WIP: Unit value optimizations - #67

Open

imlvts wants to merge 17 commits into

Adam-Vandervorst:masterfrom

imlvts:unit-value-optimizations

Commits on Aug 19, 2026

Skip value-drop work in LineListNode when V has none to do

imlvts
and
claude
committed
e2755ed
Honor Lattice::IDEMPOTENT in the node algebra, and short-circuit join_into

imlvts
and
claude
committed
12edc03
Add memory attribution by node type under the `counters` feature

imlvts
and
claude
committed
f480236
Record the layout measurements and three negative results

imlvts
and
claude
committed
ef9937e
Shelve the CoFree pointer-bit packing on a branch

imlvts
and
claude
committed
16211d4
S4: dangling paths already cost nothing; record it and assert it

imlvts
and
claude
committed
6962d2e
F3: there is nothing to elide in merkleize's value hashing

imlvts
and
claude
committed
8b91e87
S5: the payload union is sized by the child pointer, not by LocalOrHeap

imlvts
and
claude
committed
3056583
F4: the merge machinery is ~4% of runtime; the allocator is ~30%

imlvts
and
claude
committed
af247eb
F6: ValOrChild is already niche-packed; PayloadRef is not where the time goes

imlvts
and
claude
committed
bdd7a25
Don't clone a dense node until a subtraction actually changes it

imlvts
and
claude
committed
67004f8
Record the A1 result

imlvts
and
claude
committed
156bdf5
Deferring the slot vector does not pay for pjoin or prestrict; and a restrict bug

imlvts
and
claude
committed
ad67584
Record the restrict fix

imlvts
and
claude
committed
6a9e3f8
Join a dense node in place when the other side brings no new bytes

imlvts
and
claude
committed
2398bf7
Record the A5 result

imlvts
and
claude
committed
e625084
Point the notes at the rebased commits

imlvts
and
claude
committed
de7116b

Navigation Menu

WIP: Unit value optimizations - #67

WIP: Unit value optimizations#67
imlvts wants to merge 17 commits into
Adam-Vandervorst:masterfrom
imlvts:unit-value-optimizations

Commits on Aug 19, 2026

Skip value-drop work in LineListNode when V has none to do

Honor Lattice::IDEMPOTENT in the node algebra, and short-circuit join_into

Add memory attribution by node type under the `counters` feature

Record the layout measurements and three negative results

Shelve the CoFree pointer-bit packing on a branch

S4: dangling paths already cost nothing; record it and assert it

F3: there is nothing to elide in merkleize's value hashing

S5: the payload union is sized by the child pointer, not by LocalOrHeap

F4: the merge machinery is ~4% of runtime; the allocator is ~30%

F6: ValOrChild is already niche-packed; PayloadRef is not where the time goes

Don't clone a dense node until a subtraction actually changes it

Record the A1 result

Deferring the slot vector does not pay for pjoin or prestrict; and a restrict bug

Record the restrict fix

Join a dense node in place when the other side brings no new bytes

Record the A5 result

Point the notes at the rebased commits