Skip to content

Research audit: exact interior-carry criterion for compact controls (no new kappa) - #1219

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/compact-guard-audit-seed71
Oct 14, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/compact-guard-audit-seed71

Audit compact-control interior carries and invariant repair envelope

dfb453c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (3.14)
succeeded Oct 14, 2026 in 3m 31s