Skip to content

Prove source gauges cannot help before the third use (no new κ) - #6130

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w13-1022aj-transfer-obstruction
Oct 28, 2026
Merged

Prove source gauges cannot help before the third use (no new κ)#6130
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w13-1022aj-transfer-obstruction

feat(research): prove sharp source-gauge use threshold

00675f5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

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