Skip to content

run_to_absorbing — actor-side run-NaN proven green (full Rubicon cycle, lance-free)#580

Merged
AdaWorldAPI merged 1 commit into
mainfrom
claude/jirak-math-theorems-harvest-rfii13
Jun 21, 2026
Merged

run_to_absorbing — actor-side run-NaN proven green (full Rubicon cycle, lance-free)#580
AdaWorldAPI merged 1 commit into
mainfrom
claude/jirak-math-theorems-harvest-rfii13

feat(supervisor): run_to_absorbing — actor-side run-NaN proven green

d5652d4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar