chore(spec): re-anchor six liveness ledgers to consuming symbols (#13003 batch 3) - #13039

Merged

os-trump merged 3 commits into

mainfrom

claude/issue-13003-anchor-adoption-b3

Aug 28, 2026

Commits on Aug 28, 2026

chore(spec): re-anchor six liveness ledgers to consuming symbols (batch 3)
claude
committed
6c21c51
Merge origin/main (batch 2, #13038) into batch 3
claude
committed
db2d9ff
test(spec): lower the two line-citation non-vacuity floors to `> 0` (#13003 ruling)
claude
committed
fb3a27f