Repository navigation

Prove an unbounded FULL/QUERY controller ceiling (no κ gain) - #5405

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

aliromman:codex/native-kappa-next-1023

Oct 24, 2026

Merged

Prove an unbounded FULL/QUERY controller ceiling (no κ gain)#5405
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/native-kappa-next-1023

Commits on Oct 23, 2026
- Retain the owned native profile for the controller ceiling
  aliromman
  committed
  6919161
- Prove the unbounded FULL/QUERY controller ceiling
  aliromman
  committed
  314b56a