Stephen Waits

swaits pushed to main at swaits/wanderbooks

2026-10-13 17:16:45 -06:00

1212367138 fix(store): a full disk mid-command leaves the books whole

swaits pushed to main at swaits/wanderbooks

2026-10-13 17:10:02 -06:00

725b9beaac fix(store): a blob id never reaches outside the blob store

swaits pushed to main at swaits/wanderbooks

2026-10-13 17:00:47 -06:00

d0490bf106 test(core): every surviving mutant killed or argued equivalent

swaits pushed to main at swaits/wanderbooks

2026-10-13 16:06:00 -06:00

8c8ba19471 fix(store): one writer at a time; a second is refused, not allowed to corrupt the books

swaits pushed to main at swaits/wanderbooks

2026-10-13 15:09:23 -06:00

c539004d1a test: fuzzing, Miri, benchmarks, CI, and a strategy note; the journal refuses floats

swaits pushed to main at swaits/wanderbooks

2026-10-13 14:49:47 -06:00

8a9a2485cf test(core): model-based stateful test against the Lean state machine

swaits pushed to main at swaits/wanderbooks

2026-10-13 14:47:11 -06:00

c9810ea0a3 fix(core): payments never predate their documents; aging as of a date; refusals leave no draft

swaits pushed to main at swaits/wanderbooks

2026-10-13 14:39:19 -06:00

cece4c4554 test: restore properties.proptest-regressions (deleted by mistake)

swaits pushed to main at swaits/wanderbooks

2026-10-13 14:39:07 -06:00

beb1fcf233 test(core): spec-blind suites and a live GnuCash oracle; four fixes they found

swaits pushed to main at swaits/wanderbooks

2026-10-13 14:21:44 -06:00

0d4a5f8f53 docs(core): written specs, with sources, for the commands and reports

swaits pushed to main at swaits/wanderbooks

2026-10-13 14:16:52 -06:00

925c3ba523 fix(core,store): child accounts share their parent's type; periods nest; lines checked when added

swaits pushed to main at swaits/wanderbooks

2026-10-13 14:07:23 -06:00

df38dcccf9 feat(core,mcp,gui): never apply a legal rule past what wanderbooks knows

swaits pushed to main at swaits/wanderbooks

2026-10-13 12:29:25 -06:00

e2bebce051 fix(core,store): refuse control accounts of the wrong type, with a reason

swaits pushed to main at swaits/wanderbooks

2026-10-13 12:18:58 -06:00

ad572ae89d docs(spec): every rule traced to an authority; public-domain sources vendored

swaits pushed to main at swaits/wanderbooks

2026-10-13 12:10:56 -06:00

0340f316ee fix(core): due-today is Current; odd cents split by largest remainder

swaits pushed to main at swaits/wanderbooks

2026-10-13 11:40:52 -06:00

a09c1fb218 fix(store,core): a refused command never reaches the journal; reversal rules

swaits pushed to main at swaits/wanderbooks

2026-10-13 11:12:22 -06:00

3609bf065e feat(core): prove the accounting laws (Kani + Lean); fix three engine gaps

d5c4e38b18 build: pin every dev tool in mise.toml

Compare 2 commits »

swaits pushed to main at swaits/wanderbooks

2026-10-12 20:21:20 -06:00

bea2ee2dc2 gui: Save PDF on the general ledger too

swaits pushed to main at swaits/wanderbooks

2026-10-12 20:14:46 -06:00

a6566e801f Cargo.lock: ledger-gui depends on ledger-import

swaits pushed to main at swaits/wanderbooks

2026-10-12 20:14:36 -06:00

12308fe3e9 gui: Save PDF on every report; short and narrow windows hold up