Skip to content

Prove unbounded activation arity for parallel helper cuts (no κ) - #6222

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1029c-frontier-obstruction
Oct 30, 2026
Merged

Prove unbounded activation arity for parallel helper cuts (no κ)#6222
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1029c-frontier-obstruction

feat(research): construct higher-order helper-cut activation

dd40722
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 29, 2026 in 4m 34s