Repository navigation

Proof repair: bootstrap cutoffs need only a stock constant (repair (b) of #1956; κ unchanged) - #1965

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

JosieElliston:research/bootstrap-repair-b

Oct 14, 2026

Merged

Proof repair: bootstrap cutoffs need only a stock constant (repair (b) of #1956; κ unchanged)#1965
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JosieElliston:research/bootstrap-repair-b

Commits on Oct 14, 2026
- Research: bootstrap cutoffs need only a stock constant (repair (b) of #1956)
  
  JosieElliston
  and
  claude
  committed
  30b1ee5
- Narrow receipt claim and qualify H2 after independent review
  
  JosieElliston
  and
  claude
  committed
  c9819a9