refactor: proof golf from Aristotle — eliminate intermediate bindings - #12

Merged

Navi Bot (project-navi-bot) merged 3 commits into

mainfrom

refactor/aristotle-proof-golf

Mar 29, 2026

Commits on Mar 29, 2026

refactor: proof golf from Aristotle — eliminate intermediate bindings
Nelson Spence (Fieldnote-Echo)
committed
refactor: restore named squeeze waypoints in headline theorem
Nelson Spence (Fieldnote-Echo)
committed
Merge branch 'main' into refactor/aristotle-proof-golf
Navi Bot (project-navi-bot)
authored