feat: canonical singleton-lineage walk composed from primitive reads - #4

Merged

MichaelTaylor3d merged 16 commits into

mainfrom

feat/2572-canonical-lineage-walk

Aug 10, 2026

Commits on Aug 10, 2026

feat: add the canonical singleton lineage walk

MichaelTaylor3d
and
claude
committed
0f60ca5
test(walk): red — an unreadable spend is reported as the tip

MichaelTaylor3d
and
claude
committed
7eb47c1
fix(walk): refuse a spent coin whose spend the source cannot serve

MichaelTaylor3d
and
claude
committed
a5fa0bd
test(walk): pin the condition decoder against a phantom melt

MichaelTaylor3d
and
claude
committed
c0f86d4
docs(spec): state the unreadable-spend refusal and the unspent-eve case

MichaelTaylor3d
and
claude
committed
513bda8
test(walk): pin the canonical nil-puzzle-hash melt, and two unpinned decoder guards

MichaelTaylor3d
and
claude
committed
ed80097
fix(walk): decode the melt marker before demanding a 32-byte puzzle hash

MichaelTaylor3d
and
claude
committed
5e38fa9
fix(walk): read a puzzle reveal with the back-reference deserializer

MichaelTaylor3d
and
claude
committed
6b2c2b2
fix(walk): reset the CLVM allocator per hop and bound the walk in wall-clock time

MichaelTaylor3d
and
claude
committed
a84c850
docs(walk): cite this crate's own measured allocator-per-hop figures
MichaelTaylor3d
committed
a85c412
test(walk): pin four guards whose deletion left every test green

MichaelTaylor3d
and
claude
committed
2c30f40
docs(spec): state the melt-marker ordering, the backref reader, and both walk bounds

MichaelTaylor3d
and
claude
committed
6325607
fix(walk): memoize the reveal tree hash, closing a back-reference decompression bomb

MichaelTaylor3d
and
claude
committed
51ba101
fix(walk): bound a puzzle reveal's EXPANDED size, closing the bomb the memoizing hash left open

MichaelTaylor3d
and
claude
committed
9e98754
fix(walk): bound one hop's CLVM cost, and decode a CREATE_COIN hash before the parity skip

MichaelTaylor3d
and
claude
committed
81166e5
chore(release): 0.3.1 — the lineage walk is additive, so no breaking bump

MichaelTaylor3d
and
claude
committed
f1a0609

Navigation Menu

Uh oh!

feat: canonical singleton-lineage walk composed from primitive reads - #4

feat: canonical singleton-lineage walk composed from primitive reads#4
MichaelTaylor3d merged 16 commits into
mainfrom
feat/2572-canonical-lineage-walk

Commits on Aug 10, 2026

feat: add the canonical singleton lineage walk

test(walk): red — an unreadable spend is reported as the tip

fix(walk): refuse a spent coin whose spend the source cannot serve

test(walk): pin the condition decoder against a phantom melt

docs(spec): state the unreadable-spend refusal and the unspent-eve case

test(walk): pin the canonical nil-puzzle-hash melt, and two unpinned decoder guards

fix(walk): decode the melt marker before demanding a 32-byte puzzle hash

fix(walk): read a puzzle reveal with the back-reference deserializer

fix(walk): reset the CLVM allocator per hop and bound the walk in wall-clock time

docs(walk): cite this crate's own measured allocator-per-hop figures

test(walk): pin four guards whose deletion left every test green

docs(spec): state the melt-marker ordering, the backref reader, and both walk bounds

fix(walk): memoize the reveal tree hash, closing a back-reference decompression bomb

fix(walk): bound a puzzle reveal's EXPANDED size, closing the bomb the memoizing hash left open

fix(walk): bound one hop's CLVM cost, and decode a CREATE_COIN hash before the parity skip

chore(release): 0.3.1 — the lineage walk is additive, so no breaking bump