docs: drop architecture/; invariants are tests, contracts are decisions - #424

Merged

lesnik512 merged 18 commits into

mainfrom

docs/drop-architecture-dir

Aug 13, 2026

Commits on Aug 11, 2026

test: add the invariant census and mark the frame-budget invariants
lesnik512
committed
3e66c42
test: mark the invariants architecture/ used to state
lesnik512
committed
7974cde
test: attribute the unwireable-override and skip-navigation claims to their real tests
lesnik512
committed
98a2a5c
test: narrow the validated-flag invariant to what its test actually proves
lesnik512
committed
8d1c1de
test: mark the never-auto-validates invariant on its four tests
lesnik512
committed
e19a607

Commits on Aug 13, 2026