Skip to content

Prove repeat-aware matching balance for singleton walks (no κ) - #6432

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w13-1102c-repeat-matching-debt
Nov 10, 2026
Merged

Prove repeat-aware matching balance for singleton walks (no κ)#6432
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w13-1102c-repeat-matching-debt

feat(research): prove repeat-aware matching-balance bounds

907f977
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 2, 2026 in 4m 25s