Skip to content

feat(proofs): introduce fail-closed cross-kernel reconciliation receipts - #119

Merged
hyperpolymath merged 20 commits into
mainfrom
feat/proof-reconciliation-contract-20261101
Nov 3, 2026
Merged

hyperpolymath merged 20 commits into
mainfrom
feat/proof-reconciliation-contract-20261101

Merge branch 'main' into feat/proof-reconciliation-contract-20261101

2184f27
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar