feat(mcp): step 4c — ledger.update, the second single-file safe core - #41

Merged

Megaprompting merged 17 commits into

mainfrom

feat/mcp-4c-ledger-update

Aug 1, 2026

Commits on Aug 1, 2026

docs(mcp): 4c ledger.update design rev 2 — ratified, second single-file safe core

Expresiions
and
claude
committed
ad5c307
docs(mcp): 4c spec rev 3 — five-voice DO-NOT-RATIFY absorbed, D4 reopened

Expresiions
and
claude
committed
2d68414
docs(mcp): 4c spec rev 4 — D4 re-ruled, admission binds the observed bytes

Expresiions
and
claude
committed
f5dc38f
docs(mcp): 4c spec rev 5 — round-2 findings absorbed, revisions go safe-integer

Expresiions
and
claude
committed
15c8c05
docs(mcp): 4c spec rev 6 — round 3 absorbed; three findings are live in the shipped core

Expresiions
and
claude
committed
f6ec79e
docs(mcp): 4c spec — shipped-core defects resolved by PR #38, gate is round 4

Expresiions
and
claude
committed
f057911
docs(mcp): 4c spec rev 7 — round 4 absorbed; ceiling semantics coherent, publisher set closed

Expresiions
and
claude
committed
001ba65
docs(mcp): 4c spec rev 8 — round-5 precision findings absorbed

Expresiions
and
claude
committed
765da7c
docs(mcp): 4c spec rev 9 — round 6 absorbed; overflow triggers eliminated by bounds

Expresiions
and
claude
committed
652fa55
docs(mcp): 4c spec rev 10 — round 7 absorbed; 4c.1 becomes independently landable

Expresiions
and
claude
committed
ee41e43
docs(mcp): 4c spec rev 11 — round 8 absorbed; the cap verdict is compositional and says so

Expresiions
and
claude
committed
1ab470f
docs(mcp): 4c spec rev 12 — round 9 absorbed; pre-code review gate closed by ruling

Expresiions
and
claude
committed
08a4b0d
feat(mcp): 4c.1 — ledger.update, the second single-file safe core

Expresiions
and
claude
committed
6ff7748
fix(mcp): 4c.1 — the family publisher proves its base and its after-image

Expresiions
and
claude
committed
81081d5
fix(mcp): 4c.1 — the family publisher trusts the base BYTES and nothing else

Expresiions
and
claude
committed
bc7a29d
feat(mcp): 4c.2 — roster completion, tests on the wire, one era-parity fixture

Expresiions
and
claude
committed
64b2159
fix(mcp): 4c.3 — the mirror door declares its ops; generations are fixed-width

Expresiions
and
claude
committed
afe14db

Navigation Menu

feat(mcp): step 4c — ledger.update, the second single-file safe core - #41

feat(mcp): step 4c — ledger.update, the second single-file safe core#41
Megaprompting merged 17 commits into
mainfrom
feat/mcp-4c-ledger-update

Commits on Aug 1, 2026

docs(mcp): 4c ledger.update design rev 2 — ratified, second single-file safe core

docs(mcp): 4c spec rev 3 — five-voice DO-NOT-RATIFY absorbed, D4 reopened

docs(mcp): 4c spec rev 4 — D4 re-ruled, admission binds the observed bytes

docs(mcp): 4c spec rev 5 — round-2 findings absorbed, revisions go safe-integer

docs(mcp): 4c spec rev 6 — round 3 absorbed; three findings are live in the shipped core

docs(mcp): 4c spec — shipped-core defects resolved by PR #38, gate is round 4

docs(mcp): 4c spec rev 7 — round 4 absorbed; ceiling semantics coherent, publisher set closed

docs(mcp): 4c spec rev 8 — round-5 precision findings absorbed

docs(mcp): 4c spec rev 9 — round 6 absorbed; overflow triggers eliminated by bounds

docs(mcp): 4c spec rev 10 — round 7 absorbed; 4c.1 becomes independently landable

docs(mcp): 4c spec rev 11 — round 8 absorbed; the cap verdict is compositional and says so

docs(mcp): 4c spec rev 12 — round 9 absorbed; pre-code review gate closed by ruling

feat(mcp): 4c.1 — ledger.update, the second single-file safe core

fix(mcp): 4c.1 — the family publisher proves its base and its after-image

fix(mcp): 4c.1 — the family publisher trusts the base BYTES and nothing else

feat(mcp): 4c.2 — roster completion, tests on the wire, one era-parity fixture

fix(mcp): 4c.3 — the mirror door declares its ops; generations are fixed-width