Skip to content

Prove exact star budgets for prescribed odd-unicyclic targets (no κ) - #6157

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

Prove exact star budgets for prescribed odd-unicyclic targets (no κ)#6157
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w15-1022ak-frontier-step

feat(research): prove exact odd-cycle target deletion budgets

4fece6d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 28, 2026 in 3m 55s