From 9f81fc0817faee6016c2123561eb9732c674d9bb Mon Sep 17 00:00:00 2001 From: Stephen Waits Date: Tue, 13 Oct 2026 21:03:26 -0600 Subject: [PATCH] ci: weekly fuzz_import_csv; testing.md: import in progress Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01GWVo7x3UHw5kwCUaWxiejX --- .github/workflows/scheduled.yml | 2 +- docs/testing.md | 6 ++++-- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/scheduled.yml b/.github/workflows/scheduled.yml index 56a821b..a61aca5 100644 --- a/.github/workflows/scheduled.yml +++ b/.github/workflows/scheduled.yml @@ -22,7 +22,7 @@ jobs: strategy: fail-fast: false matrix: - target: [fuzz_journal_line, fuzz_entry_validate, fuzz_op_sequence, fuzz_core_serde, fuzz_store_open, fuzz_store_replay] + target: [fuzz_journal_line, fuzz_entry_validate, fuzz_op_sequence, fuzz_core_serde, fuzz_store_open, fuzz_store_replay, fuzz_import_csv] steps: - uses: actions/checkout@v4 - uses: jdx/mise-action@v2 diff --git a/docs/testing.md b/docs/testing.md index ddaba7a..64a577d 100644 --- a/docs/testing.md +++ b/docs/testing.md @@ -4,7 +4,8 @@ How wanderbooks knows its books are right. Strongest oracle first: a test's worth is where its idea of "correct" comes from, not what it runs. Formal proofs are in `docs/verification.md`; the authorities every rule comes from are in `docs/spec/`. Scope so far: `ledger-core` in full, and -the store's journal safety; the other crates come next (gap list). +the store in full; the import crate in progress; MCP, config, and GUI +next (gap list). ## Layers @@ -110,4 +111,5 @@ B-14) are the first. | Lean: apportion's sum law for any n | OPEN | Kani covers n <= 3, properties n <= 5; needs a permutation lemma | | ASC paragraphs not yet read | OPEN | ASC 360-10-35-4, 340-10, 230-10-45-10, 606-10-55-37B, 210: needs a FASB basic-view login | | GnuCash's own close | OPEN | the oracle books closes as ordinary entries; comparing GnuCash's Close Book needs its Scheme API | -| Store: differential replay vs. projection, concurrency (writer + snapshot reader), benchmarks at 10k, mutation | NEXT | then import, MCP, config, GUI, the same playbook | +| Import: spec-blind suite, footing properties, mutation | IN PROGRESS | sources vendored (Intuit bank CSV and IIF, ECMA-376/Excel numbers, IRS form lines); fuzz_import_csv; templates checked against the engine's control accounts | +| MCP, config, GUI crates | NEXT | the same playbook |