Corgi hash key lane - #832

Merged

frankmcsherry merged 16 commits into

master-nextfrom

corgi-hash-key-lane

Aug 16, 2026

Commits on Aug 15, 2026

Arrangements present an integer key, and are sorted by it

frankmcsherry
and
claude
committed
cb16928
Keep the seek-vs-scan choice; the identifier lane makes both branches cheap

frankmcsherry
and
claude
committed
488dc4a
The join seeks the identifier lane, so every key shape blocks and resumes

frankmcsherry
and
claude
committed
41a5f4a
Decide the block's extent before reading it, then read exactly that

frankmcsherry
and
claude
committed
0d6607c
Reduce proxy pending-state rebuild overhead
frankmcsherry
committed
03710d4
Merge ordered Corgi reduce presentations
frankmcsherry
committed
5378573
Add SCC backend comparison benchmark
frankmcsherry
committed
c698646
Remove profiling and benchmark scaffolding
frankmcsherry
committed
f6124cb

Commits on Aug 16, 2026

Assert proxy pending frontier invariant
frankmcsherry
committed
482f607
Move due proxy timestamps without cloning
frankmcsherry
committed
fba14a2
Tighten Corgi presentation merge contract
frankmcsherry
committed
fac98b4
Make proxy reduce invariants explicit
frankmcsherry
committed
c9824fb
Merge presentation performance work into hash-key lane
frankmcsherry
committed
3cf871c
Filter hash collisions without restarting join blocks
frankmcsherry
committed
a435f98
Keep collision handling off join and reduce fast paths
frankmcsherry
committed
a92e481
Merge remote-tracking branch 'timely/master-next' into corgi-hash-key-lane
frankmcsherry
committed
d928b97