Skip to content

Prove a receiver-only obstruction to a root-2 stage deletion (no κ) - #6163

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w7-1022ak-frontier-obstruction
Oct 28, 2026
Merged

Prove a receiver-only obstruction to a root-2 stage deletion (no κ)#6163
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w7-1022ak-frontier-obstruction

feat(research): bound repair of a root-2 descent deletion

1743bba
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 28, 2026 in 5m 4s