Skip to content

Research audit: PR741 binding accepts omitted replay evidence (no new kappa) - #838

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
ljste:audit/frontier741-receipt-coverage-seed72
Oct 13, 2026
Merged

Research audit: PR741 binding accepts omitted replay evidence (no new kappa)#838
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
ljste:audit/frontier741-receipt-coverage-seed72

Keep audit reproducible after selection metadata advances

2a50020
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs