UK local solve doctrine: uniform operator, declared bounds, past-cap census (#495 increment 4) - #503

Merged

MaxGhenis merged 2 commits into

mainfrom

uk-local-solve-doctrine

Jul 22, 2026

Commits on Jul 22, 2026

UK local solve doctrine: one uniform operator with declared bounds and a past-cap census

MaxGhenis
and
claude
committed
ee24936
Close the doctrine bypasses per cross-family review: no injection point, uniform-surface refusal, doctrine-mode runner, unbounded pushed-out list

MaxGhenis
and
claude
committed
7e4c6bd