Skip to content

Generate the selected rank-one recursion on fixed tapes with paid cutoff comparison and two-sided remainder hooks - #7349

Open
CubeJerry wants to merge 1 commit into
CrocSwap:mainfrom
CubeJerry:research/selected-rank-control-20261111-1313
Open

CubeJerry wants to merge 1 commit into
CrocSwap:mainfrom
CubeJerry:research/selected-rank-control-20261111-1313

Generate rank-one recursion with paid cutoff comparisons and two-side…

9dfe674
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Nov 12, 2026 in 3m 57s