Skip to content

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
Merged

chore(spec): re-anchor six liveness ledgers to consuming symbols (#13003 batch 3)#13039
os-trump merged 3 commits into
mainfrom
claude/issue-13003-anchor-adoption-b3

test(spec): lower the two line-citation non-vacuity floors to `> 0` (…

fb3a27f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar