Repository navigation

Prove a global all-field COPY floor 140 for the 56-plane port decoder (no new κ) - #5560

Merged

Mister-Meeseeks merged 3 commits into

CrocSwap:mainfrom

Matarener:plane-port-global-rank-dual

Oct 25, 2026

Merged

Prove a global all-field COPY floor 140 for the 56-plane port decoder (no new κ)#5560
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
Matarener:plane-port-global-rank-dual

Commits on Oct 25, 2026
- Add global rank-dual certificate package for plane-port decoders (draft)
  
  Matarener
  and
  claude
  committed
  a07ccfa
- plane-port-global-rank-dual: proof, theory notes, bounded verifier with controls, metadata
  
  Matarener
  and
  claude
  committed
  ef13f86
- plane-port-global-rank-dual: search evidence (open triples, open quadruples, C5 run 2)
  
  Matarener
  and
  claude
  committed
  c0a3ffd