ASSERT_MY_TAPTREE, the cheap identity assert - #60

Merged

EvanWinget merged 9 commits into

mainfrom

identity-assert

Aug 24, 2026

Commits on Aug 22, 2026

spec: ASSERT_MY_TAPTREE, the transaction view gains the internal key
EvanWinget
committed
ffe9a66
conditions: ASSERT_MY_TAPTREE, the internal key on the transaction model
EvanWinget
committed
c0ff4b3
vectors: the corpus gains the internal key, the taptree cases
EvanWinget
committed
d483816
tests: the internal key on every fixture, taptree coverage
EvanWinget
committed
2cbcbb5
docs: decision 28, divergence C24, glossary and corpus shape
EvanWinget
committed
1b34fda
review fold-ins: oracle snapshot restored, identity closure, spec wording, one width rule
EvanWinget
committed
5f2b217

Commits on Aug 23, 2026

ci: the provenance check asserts its row count
EvanWinget
committed
d43d462
ci: provenance reconciles the oracle file set
EvanWinget
committed
47a6e89

Commits on Aug 24, 2026

conditions: fail loudly on unhandled specifier kinds, sig parse reuses the width helper
EvanWinget
committed
2a63e2d