Repository navigation

Certify that b = Z Q Y is not retained and no paid response is reusable (negative result, no new kappa) - #5427

Merged

Mister-Meeseeks merged 5 commits into

CrocSwap:mainfrom

Matarener:zqy-observation-unavailable

Oct 25, 2026

Merged

Certify that b = Z Q Y is not retained and no paid response is reusable (negative result, no new kappa)#5427
Mister-Meeseeks merged 5 commits into
CrocSwap:mainfrom
Matarener:zqy-observation-unavailable

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