Repository navigation

Prove sharp deferred-delivery restoration/error boundary (no κ) - #6493

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

petalas:research/w4-1102f-new-obstruction

Nov 10, 2026

Merged

Prove sharp deferred-delivery restoration/error boundary (no κ)#6493
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
petalas:research/w4-1102f-new-obstruction

Commits on Nov 3, 2026
- feat(research): prove a deferred-delivery restoration bound
  petalas
  committed
  a6f54b6
- docs(research): specify the linear target in the opening claim
  petalas
  committed
  7839e2a