docs(truth): restore doc-code consistency for proof state + bury banned-preservation framing#263

Merged

hyperpolymath merged 3 commits into

mainfrom

fix/foundational-doc-truth-and-ci-2026-06-01

Jun 1, 2026

Commits on Jun 1, 2026

docs(truth): restore doc–code consistency for proof state + bury banned-preservation framing

hyperpolymath
and
claude
committed
ci: re-trigger after coq-build apt fix (#282)
hyperpolymath
committed
Merge main into fix/foundational-doc-truth — incorporate parallel doc updates
hyperpolymath
committed