Skip to content

Audit: executed counterexample to the selected chain's cross-stage owner-map binding (no new kappa) - #2301

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
navinor:research/agent-46-ownermap-binding-f9601887
Oct 15, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
navinor:research/agent-46-ownermap-binding-f9601887

Audit the selected chain's unbound cross-stage owner-map fields (no n…

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

Annotations

1 warning and 1 notice
verify (3.11)
succeeded Oct 16, 2026 in 2m 39s