docs(continue): session-end cold-resume checkpoint

docs(wal): adoption COMPLETE checkpoint - v0.3 ran to its exit criteria

docs(terraform): the adoption REPORT - close-out and v0.3 input

docs(spec): the priority-cell sweep - 25 seam doctests, REQ-edged errors

docs(terraform): Phase 7 close-out - DBT-0011 fixed, P7-1 held

docs(continue): session-end cold-resume checkpoint

docs(wal): adoption COMPLETE checkpoint - v0.3 ran to its exit criteria

docs(terraform): the adoption REPORT - close-out and v0.3 input

docs(spec): the priority-cell sweep - 25 seam doctests, REQ-edged errors

docs(terraform): Phase 7 close-out - DBT-0011 fixed, P7-1 held

feat(resolver): boolean composition in context() predicates

feat(resolver): the Sat cell - backtracking lands on the naive checker

feat(xtask): codemod add-cell - one checked atomic multi-file edit

feat(resolver): the fixpoint simulator - a runnable reference model

fix(resolver): drop the unused SolveError import from the property suite

test(resolver): property net + differential socket; cell-has-oracle rule

chore(spec): index refresh after the import-placement fix

fix(resolver): test-only CapabilityTag import moves into the test module

feat(resolver): CapabilityTag types the activation seam; contracts land

docs(spec): 30 canonical doctests close the seam-has-doctest gap

feat(conform): Class F+G rules - REQ-citing diagnostics, seam doctests

feat(xtask): fast-loop - the Class-E cell checker lands green

docs(terraform): adopt-v0.3 working state - log, predictions, registry

fix(conform): correct the frozen unsafe-gate line for stop.rs (33->35)

feat(spec): mechanisms re-anchor at spec/discipline; neworder shims

feat(spec): the Discipline ships as packages; vibevm self-hosts

docs(spec): terraform plan v0.3 - adopt Discipline v0.2

docs(spec): Discipline v0.2 BETA supersedes the v0.1 package

docs(continue): session-end cold-resume checkpoint

docs(wal): session-end checkpoint

Merge branch 'new': the Discipline terraform — complete

docs(continue): cold-resume checkpoint — terraform complete

docs(wal): terraform COMPLETE checkpoint — all phases, merge recorded

docs(terraform): Phase 6 close-out — reconciliation, audit, REPORT

feat(spec): scope-grade backfill — the ratchet expands to ten crates

docs(continue): cold-resume checkpoint — terraform complete

docs(wal): terraform COMPLETE checkpoint — all phases, merge recorded

docs(terraform): Phase 6 close-out — reconciliation, audit, REPORT

feat(spec): scope-grade backfill — the ratchet expands to ten crates

feat(ledger): the local intent ledger MVP (LEDGER-INTENT v0.1)

feat(xtask): conform check gate; conform-lite retired

feat(conform): the conform engine MVP (ENGINE-CONFORM v0.1)