Skip to content

Preserve verification evidence and prerequisite retry budgets - #13

Merged
nsticco merged 6 commits into
mainfrom
codex/verification-evidence-ledger
Sep 12, 2026
Merged

nsticco merged 6 commits into
mainfrom
codex/verification-evidence-ledger

Bound verification retries after prerequisite budget exhaustion

9513cc4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar