fix: reach did not terminate on nightly, and depth alone was never going to bound it - #30

Merged

sotashimozono merged 2 commits into

mainfrom

fix/reach-must-terminate

Sep 9, 2026

Commits on Sep 9, 2026

fix: reach did not terminate on nightly, and depth alone was never going to bound it

sotashimozono
and
claude
committed
d07a35a
docs: truncated makes reached a lower bound, and the docstring now says so

sotashimozono
and
claude
committed
fd116c8