P1: axis-aware verification harness, in-tree limitation list, conv-bias IO-dim fix - #141

Merged

chaoming0625 merged 13 commits into

mainfrom

worktree-roadmap-algorithm-axes

Jul 25, 2026

Commits on Jul 25, 2026

Remove OTTT / OSTTP / OTPE; add the algorithm-axes roadmap
chaoming0625
committed
Rewrite the algorithm-axes roadmap against the post-removal code
chaoming0625
committed
Add the P1 spec: verification harness + limitation-list reconstruction
chaoming0625
committed
Add the P1 implementation plan; sharpen the F-23 finding
chaoming0625
committed
Add oracle negative controls and document the axis-blind window
chaoming0625
committed
Pin F-23: which oracle paths can see a learning-rule axis
chaoming0625
committed
Add deterministic, live SNN model specs for oracle use
chaoming0625
committed
Assert gradient correctness on realistic SNN models
chaoming0625
committed
Retire F-22, correct F-21's attribution, and record F-29
chaoming0625
committed
Fix F-26: reduce per-position gradient leaves in the IO-dim solver
chaoming0625
committed
Add the in-tree verified known-limitations list
chaoming0625
committed
Record P1 outcomes: revised P2/P3 criteria, lessons learned
chaoming0625
committed
Close out P1: observed verification numbers and the mypy import-follow fix
chaoming0625
committed