Search results

Phase 5: Tests + finalization

enhancement

v0.8.xVersion 0.8.x featuresVersion 0.8.x features

Status: Open.

#72 In djdarcy/Prime-Square-Sum;

· djdarcy opened on Feb 14, 2026

Phase 4: vals channel

enhancement

v0.8.xVersion 0.8.x featuresVersion 0.8.x features

Status: Open.

#71 In djdarcy/Prime-Square-Sum;

· djdarcy opened on Feb 14, 2026

Phase 3: CLI wiring (--show, -Q count)

enhancement

v0.8.xVersion 0.8.x featuresVersion 0.8.x features

Status: Open.

#70 In djdarcy/Prime-Square-Sum;

· djdarcy opened on Feb 14, 2026

Phase 2: THAC0 core OutputManager

enhancement

v0.8.xVersion 0.8.x featuresVersion 0.8.x features

Status: Open.

#69 In djdarcy/Prime-Square-Sum;

· djdarcy opened on Feb 14, 2026

Phase 1: Port help_lib + create log_lib skeleton

enhancement

v0.8.xVersion 0.8.x featuresVersion 0.8.x features

Status: Open.

#68 In djdarcy/Prime-Square-Sum;

· djdarcy opened on Feb 14, 2026

Named verbosity channels: selective output with -v CHANNEL

architectureArchitectural changesArchitectural changes

enhancement

v0.8.xVersion 0.8.x featuresVersion 0.8.x features

Status: Open.

#65 In djdarcy/Prime-Square-Sum;

· djdarcy opened on Feb 11, 2026

Expression-based iterator bounds: bounds as functions of other variables

enhancement

v0.8.xVersion 0.8.x featuresVersion 0.8.x features

Status: Open.

#64 In djdarcy/Prime-Square-Sum;

· djdarcy opened on Feb 10, 2026

Constant expression hoisting for iteration loops

enhancement

performancePerformance optimizationPerformance optimization

Status: Open.

#60 In djdarcy/Prime-Square-Sum;

· djdarcy opened on Feb 10, 2026

Output destination routing (--output file/clip/stdout/all) and pager research

enhancement

v1.0Version 1.0 featuresVersion 1.0 features

Status: Open.

#59 In djdarcy/Prime-Square-Sum;

· djdarcy opened on Feb 9, 2026

Surface implicit default bounds in search output

enhancement

v0.8.xVersion 0.8.x featuresVersion 0.8.x features

Status: Open.

#58 In djdarcy/Prime-Square-Sum;

· djdarcy opened on Feb 9, 2026

Structured hint and help system for CLI guidance

architectureArchitectural changesArchitectural changes

enhancement

v0.8.xVersion 0.8.x featuresVersion 0.8.x features

Status: Open.

#57 In djdarcy/Prime-Square-Sum;

· djdarcy opened on Feb 8, 2026

Formal proof: closed-form stf(b) via Lean 4 + Mathlib

proofsLean 4 formal proofsLean 4 formal proofs

researchMathematical research and conjecturesMathematical research and conjectures

v0.7.xVersion 0.7.x featuresVersion 0.7.x features

v0.8.xVersion 0.8.x featuresVersion 0.8.x features

Status: Open.

#56 In djdarcy/Prime-Square-Sum;

· djdarcy opened on Feb 8, 2026