Design/progressive disclosure - #145

Merged

josealekhine merged 11 commits into

mainfrom

design/progressive-disclosure

Jul 18, 2026

Commits on Jul 17, 2026

design: progressive disclosure for canonical knowledge files
josealekhine
committed
2d4647c
plan: decompose progressive disclosure milestone 1 (guards + invariants)
josealekhine
committed
0b12257
fix: AfterHeader dropped everything after the insert point
josealekhine
committed
434ddc7
context: capture the AfterHeader-fix learnings
josealekhine
committed
1f8ed61
Merge branch 'fix/afterheader-tail-truncation' into design/progressive-disclosure
josealekhine
committed
bc48883
feat(pd-m1): E4 layout proofs — the add-path measurement gate (T10-T12)
josealekhine
committed
2166520
feat(pd-m1): disclosure guards, invariants, and vocabulary (E1-E3,E5)
josealekhine
committed
5e02ace

Commits on Jul 18, 2026