Beam the upper-layer descent so a local minimum cannot strand a search - #2

Merged

kriszyp merged 11 commits into

mainfrom

fix/upper-descent-beam

Sep 4, 2026

Commits on Sep 3, 2026

Beam the upper-layer descent so a local minimum cannot strand a query

kriszyp
and
claude
committed
d88f471
Name the layer-0 budget instead of shadowing the parameter

kriszyp
and
claude
committed
315b39b
Pin the descent's tied-distance bound, and ship the width sweep

kriszyp
and
claude
committed
c3d8c82
Tighten the descent comments, and record the width and cost facts in DESIGN.md

kriszyp
and
claude
committed
d6e1794
Scratch-owned beam heaps, a filter-budget test, and a width knob on the sweep

kriszyp
and
claude
committed
ca3f6e2
Apply the scratch heaps to search_predicated too, and floor the sweep width

kriszyp
and
claude
committed
c6f5521
Take the descent's last per-level allocation out, and test that it stays out

kriszyp
and
claude
committed
5bf4b80
Test the predicate budget rebase, and trim comments that read back the code

kriszyp
and
claude
committed
a080525
Bound the result reservation by the plane, not by the caller's ef

kriszyp
and
claude
committed
c6acc3c
Stop sizing any allocation by ef, and scope the allocation counter to one thread

kriszyp
and
claude
committed
611ae47
Make the allocation counter portable — pthread_self is not on Windows

kriszyp
and
claude
committed
8a5eb71