Repository navigation

Cursor/pr5427 hold head receipt b562 - #5539

Merged

Mister-Meeseeks merged 7 commits into

CrocSwap:mainfrom

unpaidmoon:cursor/pr5427-hold-head-receipt-b562

Oct 25, 2026

Merged

Cursor/pr5427 hold head receipt b562#5539
Mister-Meeseeks merged 7 commits into
CrocSwap:mainfrom
unpaidmoon:cursor/pr5427-hold-head-receipt-b562

Commits on Oct 24, 2026
- Certify that the coupled-exit observation b = Z Q Y is not retained (negative result, no new kappa)
  
  Matarener
  and
  claude
  committed
  2c06582
- Point the current CI section at frontier5413 (exact repair from #5420)
  
  Matarener
  and
  claude
  committed
  2b6316d
- Add part 2: no paid native or caller response is reusable (response-reuse census)
  
  Matarener
  and
  claude
  committed
  389578f
- Compute every ZQY span exactly over Q instead of modulo 2^61-1
  
  Matarener
  and
  claude
  committed
  dacc35b
- Merge remote-tracking branch 'origin/main' into zqy-observation-unavailable
  Matarener
  committed
  e0192de
Commits on Oct 25, 2026
- Record PR 5427 head history without taking its tree.
  
  cursoragent
  and
  unpaidmoon
  committed
  56a610c
- Record that the queue-oct24a hold on #5427 names the modular head.
  
  cursoragent
  and
  unpaidmoon
  committed
  b1a46d3