Repository navigation

P104: certify residual-preserving all-cut stability and 265-axis range bounds - #5557

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

thu-nmrc:codex/p104-cut-stability

Oct 25, 2026

Merged

P104: certify residual-preserving all-cut stability and 265-axis range bounds#5557
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
thu-nmrc:codex/p104-cut-stability

Commits on Oct 25, 2026
- Certify P104 all-cut residual stability and whole-caller range bounds
  thu-nmrc
  committed
  1ce6038
- Retain P104 cold replay and assembled proof review evidence
  thu-nmrc
  committed
  3b154c5