ledger: rung 5 of the application ladder (Tasks 1-16 of 26) - #132

Open

Yaraslaut wants to merge 53 commits into

ladder-ledger-rung5

Commits on Aug 19, 2026

journal: add causalParentId + isReplaying() to LogEntry/replay()

Yaraslau Tamashevich
and
claude
committed
9da9d43
docs: correct the DecimalPlaces floor-of-1 claim in LADDER.md and ledger's README

Yaraslau Tamashevich
and
claude
committed
6c2a135
docs: add the ledger (rung 5) implementation design spec

Yaraslau Tamashevich
and
claude
committed
54abd75
testkit: action_driver.hpp -- SeededScript weighted generator + burst invariant hook

Yaraslau Tamashevich
and
claude
committed
fb4e333
testkit: offline_rig.hpp -- scripted connectivity drop/revive

Yaraslau Tamashevich
and
claude
committed
7f78e65
testkit: client_pool.hpp + convergence.hpp -- N-client convergence assertion (absorbed from rung 3)
Yaraslau Tamashevich
committed
12db1b5
docs: expand ledger's cherry-pick set from one commit to four (testkit deps)

Yaraslau Tamashevich
and
claude
committed
d85fd34
docs: add the ledger (rung 5) implementation plan

Yaraslau Tamashevich
and
claude
committed
79713bc
ledger: rung scaffolding (empty lib/server/tests targets)
Yaraslau Tamashevich
committed
8292c23
ledger: strong ids, enums, error hierarchy
Yaraslau Tamashevich
committed
325e9bc
ledger: Currency unit system (dp=2 USD/EUR, dp=0 JPY/KRW)

Yaraslau Tamashevich
and
claude
committed
daf54ae
ledger: database.hpp + schema migrations for every table

Yaraslau Tamashevich
and
claude
committed
2edc381
docs: correct ledger plan's Task 4 (db::setup signature, migration DDL)

Yaraslau Tamashevich
and
claude
committed
8f5d58f
docs: correct ledger plan's Task 5 (setup() call, entity code, real API)

Yaraslau Tamashevich
and
claude
committed
830c05e
ledger: entities for every table (Light::Field records)

Yaraslau Tamashevich
and
claude
committed
39311a0
ledger: fix stale schema comment on causal_parent_id (nullable, not empty-string sentinel)

Yaraslau Tamashevich
and
claude
committed
dc08131
docs: correct ledger plan's Task 6 (AccountInfo.balance as plain Rational, not Quantity<Currency::USD,2>)

Yaraslau Tamashevich
and
claude
committed
16c0955
ledger: account_dto.hpp -- OpenAccount, GetLedger
Yaraslau Tamashevich
committed
4ef192f
docs: bulk-fix recurring ledger::db::setup() defect across Tasks 7-23

Yaraslau Tamashevich
and
claude
committed
f7e982f
docs: correct ledger plan's Task 7 (keyed-model construction, BRIDGE_MODEL_KEY vs BRIDGE_KEY_FROM)

Yaraslau Tamashevich
and
claude
committed
ee317b9
docs: correct ledger plan's Tasks 8-10 (real code, seeded ledgers, key-per-model caveat)

Yaraslau Tamashevich
and
claude
committed
ab7ab86
ledger: LedgerModel skeleton -- OpenAccount, GetLedger

Yaraslau Tamashevich
and
claude
committed
527d794
ledger: fix review findings on Task 7 (return-value coverage + balance precision)

Yaraslau Tamashevich
and
claude
committed
2b9be32
docs: correct ledger plan's Task 8 (real SqlTransaction/DateTime API, execute() return-type propagation)

Yaraslau Tamashevich
and
claude
committed
230aa1c
ledger: StoreTransaction -- per-currency zero-sum invariant

Yaraslau Tamashevich
and
claude
committed
e894c33
docs: verify Task 10's ALTER TABLE migration against real Lightweight API

Yaraslau Tamashevich
and
claude
committed
4fc8ee8
ledger: foreign-amount pairs -- multi-currency, per-currency zero-sum stays intact

Yaraslau Tamashevich
and
claude
committed
dbca676
docs: correct ledger plan's Task 11 (real Context/session API, ScopedPrincipal test helper)

Yaraslau Tamashevich
and
claude
committed
d6ab9cf
ledger: BudgetModel -- budgets, limits, in-model spent-so-far aggregation
Yaraslau Tamashevich
committed
31f267a

Commits on Aug 20, 2026

ledger: fix Task 10 review findings -- untested date filter, missing ledger_id scope, unvalidated month

Yaraslau Tamashevich
and
claude
committed
ea2e61e
docs: insert Task 11a -- LedgerModel/BudgetModel self-journaling infrastructure

Yaraslau Tamashevich
and
claude
committed
02772d5
ledger: refuse empty-principal writes at the model (design spec §11)

Yaraslau Tamashevich
and
claude
committed
44ad762
ledger: self-journaling infrastructure on LedgerModel/BudgetModel (attachActionLog/logAction, retrofit for Task 12)

Yaraslau Tamashevich
and
claude
committed
87da87b
docs: insert Task 11b (StoreTransaction exactly-once) + fully correct Task 12 (RuleModel/cascade)

Yaraslau Tamashevich
and
claude
committed
baacdaf
ledger: StoreTransaction exactly-once via opId + applied-ops ledger (replay-safety prerequisite for Task 12)

Yaraslau Tamashevich
and
claude
committed
2765491
ledger: RuleModel + cascade-journaling with causalParentId and rule-version pinning

Yaraslau Tamashevich
and
claude
committed
4a30f10
ledger: Rational overflow fuzz test + two named framework findings (design spec §7)

Yaraslau Tamashevich
and
claude
committed
1948410
ledger: fix Task 13 review findings C1/C2 -- real wire decode, fast exact overflow boundary

Yaraslau Tamashevich
and
claude
committed
c5994b5
ledger: fix real signed-overflow UB in Task 13's binary-search fuzz test

Yaraslau Tamashevich
and
claude
committed
4eebe69
ledger: fix second real signed-overflow UB in Task 13's binary-search fuzz test

Yaraslau Tamashevich
and
claude
committed
207bac1
docs: fully correct and concretize Task 14 (UndoTransaction)

Yaraslau Tamashevich
and
claude
committed
d5ba12c
ledger: UndoTransaction -- compensating action, never undoLast()

Yaraslau Tamashevich
and
claude
committed
3907f62
docs: fully correct and concretize Task 15 (CSV import with dedup)

Yaraslau Tamashevich
and
claude
committed
9960726
ledger: CSV import -- content-hash cross-import dedup, opId ledger populated

Yaraslau Tamashevich
and
claude
committed
ba532c0
docs: fully correct and concretize Task 16 (reports: submit->poll, WAL snapshot)

Yaraslau Tamashevich
and
claude
committed
e711143
ledger: reports -- submit->poll job idiom, snapshot semantics, model-owned executor

Yaraslau Tamashevich
and
claude
committed
a479d31
ledger: fix Task 16 review finding -- leaked read transaction can stall a pooled connection for 60s

Yaraslau Tamashevich
and
claude
committed
38a84d6
ledger: fix Task 16 Minor review note -- comments stated fix history, not just current behavior

Yaraslau Tamashevich
and
claude
committed
3146628
docs: link filed GitHub issues to findings 001-003, add finding 004

Yaraslau Tamashevich
and
claude
committed
ef61c53
tests: opt morph_tests out of fastcache-cc, matching ledger's own existing precedent

Yaraslau Tamashevich
and
claude
committed
c60b3e3
docs: commit a snapshot of the SDD progress ledger for rung-5 (ledger)

Yaraslau Tamashevich
and
claude
committed
4dc38a9
ledger: fix CI-only -Wsign-compare error on GCC/Clang (Linux legs)

Yaraslau Tamashevich
and
claude
committed
e5e2b25

Commits on Aug 21, 2026

testkit: bring this rung's action-driver/convergence self-tests up to rung 4's

Yaraslaut
and
claude
committed
10bac3f