Skip to content

feat(kernel): bound, hash-verified evidence and the verified-evidence completion policy (slice 3/5) - #102

Merged
SollanSystems merged 22 commits into
mainfrom
feat/evidence-wiring
Jul 26, 2026
Merged

feat(kernel): bound, hash-verified evidence and the verified-evidence completion policy (slice 3/5)#102
SollanSystems merged 22 commits into
mainfrom
feat/evidence-wiring

fix(evidence): narrow the binding invariant to what it proves, and cl…

42c0931
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar