Order the ledger by write time, and make every state write honest - #21

Merged

leeovery merged 21 commits into

fix3/e1-semanticsfrom

fix3/e2-ledger

Aug 25, 2026

Commits on Aug 23, 2026

Resolve last-per-hash by write time, not union-merge order

leeovery
and
claude
committed
2ddb684
Drop untranslatable ledger lines instead of quarantining them

leeovery
and
claude
committed
0242ab0
Purge the excluded item's ledger entries

leeovery
and
claude
committed
809ae98
Keep a line whose write timestamp is junk, drop only the value

leeovery
and
claude
committed
7f9516f
Sweep ledger entries whose corpus item no longer exists

leeovery
and
claude
committed
071eabf
Attribute a ledger line from the tree before its recorded path

leeovery
and
claude
committed
c99fde4
Purge work units on exclude, not item names

leeovery
and
claude
committed
abaa343
Delete the ghost-item sweep migration

leeovery
and
claude
committed
a9092ed
Attribute a ledger line only to a live corpus item

leeovery
and
claude
committed
8056e4a
Refuse a write timestamp the clock could not have produced

leeovery
and
claude
committed
a8aae03
Resolve a migration's hashes by the rule load resolves by

leeovery
and
claude
committed
65f2e42
Keep a line whose write timestamp is junk of any JSON type

leeovery
and
claude
committed
aae7c92
Refuse an exclusion id that is not a corpus item id

leeovery
and
claude
committed
f1f19ae
Refuse the whole exclusion batch, never half of it

leeovery
and
claude
committed
2583ad8
Hold the ledger purge when a corpus file cannot be read

leeovery
and
claude
committed
c90611b
Name both callers of the containment check

leeovery
and
claude
committed
dbe147d
Read a ledger write back before reporting it landed

leeovery
and
claude
committed
1b53510
Collapse a duplicate exclusion id inside one batch

leeovery
and
claude
committed
d452851
Move an output file onto the identity its unit was re-keyed to

leeovery
and
claude
committed
f4c4929
Remove an excluded item's digest with the rest of it

leeovery
and
claude
committed
b6d30cd
Write down the three behaviours this branch gave the engine

leeovery
and
claude
committed
8b18648

Navigation Menu

Order the ledger by write time, and make every state write honest - #21

Order the ledger by write time, and make every state write honest#21
leeovery merged 21 commits into
fix3/e1-semanticsfrom
fix3/e2-ledger

Commits on Aug 23, 2026

Resolve last-per-hash by write time, not union-merge order

Drop untranslatable ledger lines instead of quarantining them

Purge the excluded item's ledger entries

Keep a line whose write timestamp is junk, drop only the value

Sweep ledger entries whose corpus item no longer exists

Attribute a ledger line from the tree before its recorded path

Purge work units on exclude, not item names

Delete the ghost-item sweep migration

Attribute a ledger line only to a live corpus item

Refuse a write timestamp the clock could not have produced

Resolve a migration's hashes by the rule load resolves by

Keep a line whose write timestamp is junk of any JSON type

Refuse an exclusion id that is not a corpus item id

Refuse the whole exclusion batch, never half of it

Hold the ledger purge when a corpus file cannot be read

Name both callers of the containment check

Read a ledger write back before reporting it landed

Collapse a duplicate exclusion id inside one batch

Move an output file onto the identity its unit was re-keyed to

Remove an excluded item's digest with the rest of it

Write down the three behaviours this branch gave the engine