Skip to content

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

Open
hyperpolymath wants to merge 7 commits into
mainfrom
claude/gracious-darwin-vkgj6l
Open

fix(container)+docs(proofs): real binary build, per-batch rollback, honest wording; PROOF-STATUS ledger#80
hyperpolymath wants to merge 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