docs: propose and exercise the v0 semantic architecture - #27

Draft

0xwonj wants to merge 18 commits into

mainfrom

docs/semantic-redesign

Commits on Aug 23, 2026

docs: carry the semantic redesign tree and its executable design witnesses
0xwonj
committed
5ff31d8
feat: give the witness a commitment subject with an openable third type
0xwonj
committed
594e019
feat: witness that an opening needs no new action kind
0xwonj
committed
c78c0f8
feat: witness the logup claim graph, linearity, and terminal closure
0xwonj
committed
4fde47c
fix: correct the logup witness against the registry, and add the laws it revealed
0xwonj
committed
4e3495a
feat: publish Schnorr evidence and measure invariant closure across the witnesses
0xwonj
committed
39e2b2f
feat: separate the three bridge lanes and show the projection cannot be the hardness
0xwonj
committed
654f30f
feat: settle the guard-representation cost by measurement
0xwonj
committed
24fc365
fix: give the Schnorr report the run-time verdict its runner requires
0xwonj
committed
4f1ef3d
fix: stop reporting an invariant closed by the wrong boundary
0xwonj
committed
144d030
fix: measure guard work, not guard size wearing its name
0xwonj
committed
dfb807d
feat: execute the one relation-to-Protocol law, which never ran
0xwonj
committed
8b91c46
feat: measure which declared outcomes a witness can actually reach
0xwonj
committed
1f5e765
fix: report what the witnesses establish, not what their boundary names suggest
0xwonj
committed
6a2dbba

Commits on Aug 24, 2026

Commits on Aug 25, 2026

feat: refreeze the R2 protocol witness baseline
0xwonj
committed
665ea5a
docs: normalize redesign note endings
0xwonj
committed
d91ce6b