- .assurance/budget.txt: the SORRY=4/ADMIT=4 counts are axiom-budget.sh
counting the WORDS 'sorry'/'admit' inside the scaffold BANNERS that
describe the DELETED cheats, not live tactics. The proof tree has zero
theorem/lemma/axiom/sorry/admit (verified). Document this so the budget
is not misread as 8 unproven assertions.
- THBS-SPEC.md: the v1.0 framing said Combine routes via
circl/slhdsa.SignDeterministic directly; the live code uses the internal
slhSignAtom engine (byte-identical to circl on the reconstructed master).
Point to ASSEMBLE-INVARIANT.md as authoritative; reaffirm RESEARCH-ONLY.
No code or proof-state change; M-family claims unchanged (all CONFIRMED).
zooqueen