Skip to content

Prove adaptive gate criterion and critical-root leaf bounds (no κ) - #4532

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
dillona:research/adaptive-gate-existence
Oct 22, 2026
Merged

Prove adaptive gate criterion and critical-root leaf bounds (no κ)#4532
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
dillona:research/adaptive-gate-existence

Record offline verification and upstream CI planning limitation

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

Annotations

1 error
plan
failed Oct 22, 2026 in 2m 10s