Skip to content

fix(container)+docs(proofs): real binary build, per-batch rollback, honest wording; PROOF-STATUS ledger - #80

Merged
hyperpolymath merged 7 commits into
mainfrom
claude/gracious-darwin-vkgj6l
Nov 10, 2026
Merged

fix(container)+docs(proofs): real binary build, per-batch rollback, honest wording; PROOF-STATUS ledger#80
hyperpolymath merged 7 commits into
mainfrom
claude/gracious-darwin-vkgj6l

docs(engine,verisim): clarify recovery stub, session ID hashing, and …

68c5042
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar