Skip to content

Prove exact shared-map completion for nested capacities (no κ) - #6489

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w10-1102f-frontier
Nov 10, 2026
Merged

Prove exact shared-map completion for nested capacities (no κ)#6489
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w10-1102f-frontier

feat(research): prove nested late-capacity completion

fdb7b88
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 3, 2026 in 4m 23s