@bongos/core 1.24.22 → 1.24.24

package/tests/funding_wall_db.mjs

@@ -0,0 +1,174 @@
+// tests/funding_wall_db.mjs — task 1003185 (goal 1000092 M06; ADR 0386). Real DB.
+//
+// Applies the REAL project-account migration (economy_002) and pay-terms migration
+// (lifecycle_018), then drives the real funding wall (modules/lifecycle/funding-wall.js)
+// against the real account functions (modules/economy/project-account.js) and the real
+// pay-terms read:
+//   - a funded claim books a `hold` row; an underfunded one is refused with the shortfall;
+//   - a task let go has its hold released by state (a `hold_release` row) at the next claim;
+//   - a shipped task keeps its hold until a payout is booked for it (task 1003186);
+//   - a task with no pay terms is not walled; the project's standing cash terms are;
+//   - the owner view's held figure counts only work in flight;
+//   - refuse_at_completion counts a task's own hold for it;
+//   - TWO SIMULTANEOUS CLAIMS cannot both hold the last of one balance: the second waits
+//     on the account lock and then sees the first one's hold.
+//
+// Self-skips without a reachable Postgres.
+// Run:  DATABASE_URL=... node tests/funding_wall_db.mjs
+import { createRequire } from 'node:module';
+import { readFileSync } from 'node:fs';
+import { fileURLToPath } from 'node:url';
+import { dirname, join } from 'node:path';
+import { strict as assert } from 'node:assert';
+const require = createRequire(import.meta.url);
+const { Pool } = require('pg');
+const A = require('../modules/economy/project-account.js');
+const W = require('../modules/lifecycle/funding-wall.js');
+const P = require('../modules/lifecycle/pay-terms.js');
+const here = dirname(fileURLToPath(import.meta.url));
+const sql = (...p) => readFileSync(join(here, '..', ...p), 'utf8');
+// economy_004 (task 1004910) adds module_share_id, which recordMovement writes.
+const ACCOUNT_MIGRATION = sql('modules', 'economy', 'migrations', 'economy_002_project_account.sql')
+  + sql('modules', 'economy', 'migrations', 'economy_004_module_share_payouts.sql');
+const HOLDS_INDEX_MIGRATION = sql('modules', 'economy', 'migrations', 'economy_005_project_account_holds_index.sql');
+const TERMS_MIGRATION = sql('modules', 'lifecycle', 'migrations', 'lifecycle_018_pay_terms.sql');
+
+const pgPool = new Pool({ connectionString: process.env.DATABASE_URL || undefined, max: 3 });
+let client;
+try { client = await pgPool.connect(); } catch (e) {
+  console.log(`funding_wall_db.mjs SKIPPED — no reachable Postgres (${e.code || e.message}).`);
+  await pgPool.end().catch(() => {});
+  process.exit(0);
+}
+const SCHEMA = `t1003185_${process.pid}`;
+const USD = 1_000_000;
+let pass = 0;
+const ok = (c, m) => { assert.ok(c, m); pass++; console.log(`  ok - ${m}`); };
+const account = { lockAccount: A.lockAccount, releaseSettledHolds: A.releaseSettledHolds, readAvailable: A.readAvailable, recordMovement: A.recordMovement };
+const rule = (mode) => ({ account, resolveFundingWall: async () => ({ mode, chosen: true }) });
+const claim = (db, ids, mode = 'hold_at_claim', place = true) =>
+  W.fundingWallFailures({ client: db, tasks: ids.map((id) => ({ id })), place, deps: rule(mode) });
+const setStatus = (db, id, status) => db.query('UPDATE tasks SET status = $2 WHERE id = $1', [id, status]);
+const cash = (db, taskId, amount) => P.setPayTerms({ taskId, terms: [{ pay_type: 'cash', amount, unit: 'USD', note: null }], builderId: 1 }, { db });
+const holdsFor = async (db, taskId) => (await db.query(
+  "SELECT kind, amount_micro::bigint AS a FROM economy_project_account_movements WHERE task_id = $1 AND kind IN ('hold','hold_release') ORDER BY id", [taskId])).rows
+  .map((r) => `${r.kind}:${Number(r.a) / USD}`);
+
+try {
+  await client.query(`CREATE SCHEMA ${SCHEMA}`);
+  await client.query(`SET search_path TO ${SCHEMA}`);
+  await client.query('CREATE TABLE builders (id bigserial PRIMARY KEY, display_name text, github_login text)');
+  await client.query("CREATE TABLE tasks (id bigserial PRIMARY KEY, title text, status text NOT NULL DEFAULT 'ready')");
+  await client.query('CREATE TABLE schema_migrations (version text PRIMARY KEY)');
+  await client.query("INSERT INTO builders (display_name, github_login) VALUES ('Owner', 'owner')");
+  await client.query("INSERT INTO tasks (title) SELECT 'task ' || g FROM generate_series(1, 8) g");
+  await client.query(ACCOUNT_MIGRATION);
+  await client.query(TERMS_MIGRATION);
+  await client.query(HOLDS_INDEX_MIGRATION);
+  // schemaname: a migrated database has the same index in its own schema too (task 1003186)
+  ok((await client.query("SELECT 1 FROM pg_indexes WHERE schemaname = $1 AND indexname = 'economy_project_account_holds'", [SCHEMA])).rows.length === 1, 'the hold read has its partial index');
+  await A.recordMovement(client, { kind: 'funding', amountMicro: 300 * USD, processorRef: 'ch_seed' });
+  await cash(client, 1, '250');
+  await cash(client, 2, '100');
+
+  // 1. a funded claim holds its pay
+  await client.query('BEGIN');
+  ok((await claim(client, [1])).length === 0, 'a funded claim passes the wall');
+  await setStatus(client, 1, 'active');
+  await client.query('COMMIT');
+  ok((await holdsFor(client, 1)).join() === 'hold:250', 'the claim booked a hold for the task\'s cash pay');
+
+  // 2. the next claim sees it: the project is short and the refusal says by how much
+  await client.query('BEGIN');
+  const short = await claim(client, [2]);
+  await client.query('ROLLBACK');
+  ok(short.length === 1 && short[0].refusal.code === 'FUNDING_SHORTFALL', 'a claim the project cannot cover is refused');
+  ok(short[0].refusal.shortfall_micro === 50 * USD && /\$50\.00 short/.test(short[0].refusal.message), 'the refusal names the shortfall: $50.00');
+  ok(short[0].refusal.held_micro === 250 * USD, 'and what is already held');
+
+  // 3. a task with no pay terms is never walled
+  ok((await claim(client, [3])).length === 0, 'a task that pays no cash is not walled');
+
+  // 4. task 1 is let go: its hold is released BY STATE at the next claim, and that claim fits
+  await setStatus(client, 1, 'ready');
+  ok((await A.readAvailable(client)).held_micro === 0, 'a let-go task\'s hold no longer counts, even before its release row');
+  await client.query('BEGIN');
+  ok((await claim(client, [2])).length === 0, 'with the hold gone, the claim fits');
+  await setStatus(client, 2, 'active');
+  await client.query('COMMIT');
+  ok((await holdsFor(client, 1)).join() === 'hold:250,hold_release:250', 'the next claim wrote the hold_release row');
+  const view = await A.readAccount(client);
+  ok(view.held_micro === 100 * USD && view.available_micro === 200 * USD, 'the owner view shows only work in flight as held');
+
+  // 5. the project's standing cash terms price a task with none of its own
+  await P.setPayTerms({ taskId: null, terms: [{ pay_type: 'cash', amount: '$500', unit: null, note: null }], builderId: 1 }, { db: client });
+  const standing = await claim(client, [3], 'hold_at_claim', false);
+  ok(standing.length === 1 && standing[0].refusal.price_micro === 500 * USD, 'standing cash terms are walled too');
+
+  // 6. a batch is judged cumulatively in one transaction
+  await cash(client, 4, '150'); await cash(client, 5, '150');
+  await client.query('BEGIN');
+  const batch = await claim(client, [4, 5]);
+  await client.query('ROLLBACK');
+  ok(batch.length === 1 && batch[0].task_id === 5 && batch[0].refusal.shortfall_micro === 100 * USD, 'a batch cannot over-commit: the second task is $100 short');
+  ok((await holdsFor(client, 4)).length === 0, 'a refused batch, rolled back, left no hold');
+
+  // 7. refuse at completion: the task's own hold counts for it
+  await cash(client, 6, '200');
+  await client.query('BEGIN');
+  await claim(client, [6]);
+  await setStatus(client, 6, 'active');
+  await client.query('COMMIT');
+  ok((await A.readAvailable(client)).available_micro === 0, 'two holds take the whole balance');
+  await client.query('BEGIN');
+  await W.fundingWallOnResolve(client, 6, 'shipped', rule('refuse_at_completion'));
+  await client.query('ROLLBACK');
+  ok(true, 'a task held at claim can be marked done under refuse_at_completion: its own hold covers it');
+  await cash(client, 7, '50');
+  await setStatus(client, 7, 'active');
+  let refused = null;
+  await client.query('BEGIN');
+  try { await W.fundingWallOnResolve(client, 7, 'shipped', rule('refuse_at_completion')); } catch (e) { refused = e; }
+  await client.query('ROLLBACK');
+  ok(refused && refused.code === 'FUNDING_SHORTFALL_AT_COMPLETION' && refused.shortfall_micro === 50 * USD, 'an unheld task marked done while short is refused with the shortfall');
+
+  // 8. a shipped task keeps its hold until its builder is paid (task 1003186)
+  await setStatus(client, 2, 'shipped');
+  await setStatus(client, 6, 'shipped');
+  ok((await A.readAvailable(client)).held_micro === 300 * USD, 'shipped but unpaid, both holds still count');
+  ok((await A.releaseSettledHolds(client)).length === 0, 'and neither is released');
+  await A.recordMovement(client, { kind: 'payout', amountMicro: 100 * USD, builderId: 1, taskId: 2, processorRef: 'tr_2' });
+  ok((await A.readAvailable(client)).held_micro === 200 * USD, 'a payout booked for a task lets its hold go at once');
+  await A.recordMovement(client, { kind: 'payout', amountMicro: 200 * USD, builderId: 1, taskId: 6, processorRef: 'tr_6' });
+  ok((await A.releaseSettledHolds(client)).length === 2, 'and the next release writes both hold_release rows');
+  await A.recordMovement(client, { kind: 'funding', amountMicro: 300 * USD, processorRef: 'ch_refill' }); // balance 300, nothing in flight
+
+  // 9. two simultaneous claims on the last of one balance: one wins, one is told it is short
+  await cash(client, 8, '200');
+  const other = await pgPool.connect();
+  try {
+    await other.query(`SET search_path TO ${SCHEMA}`);
+    await client.query('BEGIN');
+    await other.query('BEGIN');
+    ok((await claim(client, [4])).length === 0, 'the first claim takes the lock and holds $150');
+    let second = null;
+    const pending = claim(other, [8]).then((f) => { second = f; });
+    await new Promise((r) => setTimeout(r, 300));
+    ok(second === null, 'the second claim waits on the account lock');
+    await setStatus(client, 4, 'active');
+    await client.query('COMMIT');
+    await pending;
+    await other.query('ROLLBACK');
+    ok(second.length === 1 && second[0].refusal.code === 'FUNDING_SHORTFALL' && second[0].refusal.shortfall_micro === 50 * USD,
+      'then sees the first hold and is refused, $50 short — the balance was not committed twice');
+  } finally {
+    await other.query('ROLLBACK').catch(() => {});
+    other.release();
+  }
+  console.log(`funding_wall_db.mjs: ${pass} passed`);
+} finally {
+  await client.query('ROLLBACK').catch(() => {});
+  await client.query(`DROP SCHEMA IF EXISTS ${SCHEMA} CASCADE`).catch(() => {});
+  client.release();
+  await pgPool.end().catch(() => {});
+}

package/tests/genesis_home.mjs

@@ -146,7 +146,7 @@ test('a demo genesis reads in minutes: each stage due minutes after it began', (
 // ── the flow, end to end over fakes ──────────────────────────────────────────
 
 function world({ withGovernment = true } = {}) {
-  const store = new Map();
+  const store = new Map([['genesis.enabled', 'true']]);
   const tasks = {};
   const board = {};
   let now = new Date('2026-10-01T00:00:00Z');

package/tests/government_act_alone_buildings.mjs

@@ -244,6 +244,7 @@ const REQUESTS = {
   'PATCH /project-settings/ship-mode': ['PATCH', '/project-settings/ship-mode', { mode: 'sometimes' }],
   'PATCH /project-settings/tweak-autopickup': ['PATCH', '/project-settings/tweak-autopickup', { mode: 'sometimes' }],
   'PATCH /project-settings/pay-terms': ['PATCH', '/project-settings/pay-terms', { terms: 'not a list' }],
+  'PATCH /project-settings/funding-wall': ['PATCH', '/project-settings/funding-wall', { mode: 'sometimes' }],
   'PATCH /work-categories/:id': ['PATCH', `/work-categories/${BAD}`, {}],
   // task 1004941: the owner deciding a Market Watch proposal
   'POST /market-watch/proposals/:id/decide': ['POST', `/market-watch/proposals/${BAD}/decide`, { decision: 'approve' }],

package/tests/ledger_check.mjs

@@ -0,0 +1,189 @@
+// tests/ledger_check.mjs — the daily check of our record against the processor's (task
+// 1004912, goal 1000092 N8; ADR 0397 decision 7). Behaviour of modules/economy/ledger-check.js:
+//   - with no processor connected, the check is recorded `unchecked` and raises nothing;
+//   - agreeing figures are `clean`; a balance difference, a movement only one side has, or one
+//     with two amounts is `drift`, each finding naming the reference and both amounts;
+//   - a processor that cannot be read is `error`, never clean;
+//   - a difference opens ONE blocker, with no amounts or references in it (the queue is
+//     public); the same set the next day is `unchanged`, a changed set or a set after a clean
+//     day is filed again;
+//   - a check runs once a day by the ledger, not on every tick.
+// The SQL and the table's own rules are proven against real Postgres in tests/ledger_check_db.mjs.
+
+import { test } from 'node:test';
+import { strict as assert } from 'node:assert';
+import { createRequire } from 'node:module';
+
+const require = createRequire(import.meta.url);
+const L = require('../modules/economy/ledger-check.js');
+
+const DAY = 24 * 60 * 60_000;
+const NOW = Date.parse('2026-11-02T12:00:00Z');
+const inWin = (h) => new Date(NOW - h * 60 * 60_000).toISOString();
+
+// A store over plain arrays, recording what was inserted.
+function fakeStore({ recorded = 0, ours = [], checks = [] } = {}) {
+  const saved = [];
+  return {
+    saved,
+    async recordedBalanceMicro() { return recorded; },
+    async ourMovements({ since, until, refs } = {}) {
+      return ours.filter((o) => (refs ? refs.includes(o.ref) : true)
+        && (!since || Date.parse(o.created_at) >= since.getTime())
+        && (!until || Date.parse(o.created_at) < until.getTime()));
+    },
+    async recentChecks() { return [...saved].reverse().concat(checks); },
+    async insertCheck(row) { const r = { ...row, id: saved.length + 1, created_at: new Date(NOW) }; saved.push(r); return r; },
+  };
+}
+const ourRow = (ref, micro, hoursAgo = 5, source = 'project_account:payout') => ({ ref, amount_micro: micro, created_at: inWin(hoursAgo), source });
+const theirRow = (ref, micro, hoursAgo = 5) => ({ ref, amountMicro: micro, createdAt: inWin(hoursAgo) });
+const processor = ({ balance, list }) => ({
+  balanceMicro: async () => { if (balance instanceof Error) throw balance; return balance; },
+  listMovements: async () => { if (list instanceof Error) throw list; return list; },
+});
+const run = (store, p, extra = {}) => L.runLedgerCheck({ store, processor: p, now: () => NOW, force: true, ...extra });
+
+test('with no processor connected the check is recorded unchecked and raises nothing', async () => {
+  const store = fakeStore({ recorded: 5_000_000 });
+  let filed = 0;
+  const r = await run(store, null, { fileBlocker: async () => { filed++; return { id: 1 }; } });
+  assert.equal(r.outcome, 'unchecked');
+  assert.equal(store.saved[0].reason, 'no_processor');
+  assert.equal(store.saved[0].alarm, 'none');
+  assert.equal(store.saved[0].recorded_balance_micro, 5_000_000);
+  assert.equal(filed, 0);
+});
+
+test('agreeing figures are clean', async () => {
+  const store = fakeStore({ recorded: 7_000_000, ours: [ourRow('tr_1', 2_000_000), ourRow('ch_1', 9_000_000, 30, 'project_account:funding')] });
+  const r = await run(store, processor({ balance: 7_000_000, list: [theirRow('tr_1', 2_000_000), theirRow('ch_1', 9_000_000, 30)] }));
+  assert.equal(r.outcome, 'clean');
+  assert.equal(store.saved[0].drift_micro, 0);
+  assert.equal(store.saved[0].refs_compared, 2);
+  assert.equal(store.saved[0].fingerprint, null);
+});
+
+test('every kind of difference is a finding naming the reference and both amounts', async () => {
+  const store = fakeStore({
+    recorded: 10_000_000,
+    ours: [ourRow('tr_ours_only', 1_000_000), ourRow('tr_amt', 3_000_000),
+      // a member funding the project is two of our records for one reference
+      ourRow('tr_twice', 4_000_000, 5, 'member_payment'), ourRow('tr_twice', 5_000_000, 5, 'project_account:funding')],
+  });
+  const r = await run(store, processor({
+    balance: 9_500_000,
+    list: [theirRow('tr_amt', 2_500_000), theirRow('tr_twice', 4_000_000), theirRow('po_theirs_only', 700_000)],
+  }), { fileBlocker: async () => ({ id: 41 }) });
+  assert.equal(r.outcome, 'drift');
+  const f = store.saved[0].findings;
+  const by = (kind) => f.filter((x) => x.kind === kind);
+  assert.deepEqual(by('balance')[0], { kind: 'balance', ref: null, ours_micro: 10_000_000, theirs_micro: 9_500_000 });
+  assert.equal(store.saved[0].drift_micro, -500_000);
+  assert.equal(by('missing_at_processor')[0].ref, 'tr_ours_only');
+  assert.equal(by('amount_differs')[0].ref, 'tr_amt');
+  assert.equal(by('amount_differs')[0].theirs_micro, 2_500_000);
+  assert.equal(by('unknown_to_us')[0].ref, 'po_theirs_only');
+  assert.equal(by('records_disagree')[0].ref, 'tr_twice');
+  for (const x of f) assert.ok(L.KIND_WORDS[x.kind], `${x.kind} has words for the owner`);
+});
+
+test('a movement the processor lists but we booked outside the window is looked up, not reported unknown', async () => {
+  // ours is 8 days old (outside), theirs is timestamped inside the window
+  const store = fakeStore({ recorded: 0, ours: [ourRow('tr_old', 1_000_000, 8 * 24)] });
+  const r = await run(store, processor({ balance: 0, list: [theirRow('tr_old', 1_000_000, 10)] }));
+  assert.equal(r.outcome, 'clean');
+});
+
+test('the newest hour and the edges of the window are left alone', async () => {
+  const store = fakeStore({ recorded: 0, ours: [ourRow('tr_new', 1_000_000, 0.25)] });
+  // ours is too new to judge; theirs is too new too, and one is from before the window
+  const r = await run(store, processor({ balance: 0, list: [theirRow('tr_brand_new', 5, 0.1), theirRow('tr_ancient', 5, 8 * 24 + 2)] }));
+  assert.equal(r.outcome, 'clean');
+});
+
+test('a processor that cannot be read is an error, never clean, and is raised', async () => {
+  const store = fakeStore({ recorded: 0 });
+  let filed = null;
+  const r = await run(store, processor({ balance: new Error('stripe down'), list: [] }), { fileBlocker: async (b) => { filed = b; return { id: 7 }; } });
+  assert.equal(r.outcome, 'error');
+  assert.match(store.saved[0].reason, /unreadable: balance/);
+  assert.equal(store.saved[0].alarm, 'filed');
+  assert.match(filed.title, /could not be read/);
+  // A list that is not a list is unreadable too
+  const s2 = fakeStore({ recorded: 0 });
+  assert.equal((await run(s2, processor({ balance: 0, list: { nope: 1 } }))).outcome, 'error');
+  // a balance that is not a whole number is not taken as one
+  const s3 = fakeStore({ recorded: 0 });
+  assert.equal((await run(s3, { balanceMicro: async () => 'lots' })).outcome, 'error');
+});
+
+test('the alarm is a public blocker with no amounts and no references in it', async () => {
+  const store = fakeStore({ recorded: 12_345_678, ours: [ourRow('tr_secret_ref', 1_234_567)] });
+  let filed = null;
+  await run(store, processor({ balance: 1, list: [] }), { fileBlocker: async (b) => { filed = b; return { id: 9 }; } });
+  assert.equal(filed.source, 'ledger-check');
+  assert.match(filed.sourceRef, /^ledger-check-[0-9a-f]{16}-2026-11-02$/);
+  const text = `${filed.title}\n${filed.bodyMd}`;
+  assert.ok(!/tr_secret_ref/.test(text), 'no processor reference');
+  assert.ok(!/12[.,]?345|1[.,]?234|\$/.test(text), 'no amount');
+  assert.match(text, /Project settings/);
+  assert.equal(store.saved[0].blocker_id, '9');
+});
+
+test('the same differences are raised once; a changed set or a return after a clean day is raised again', async () => {
+  const store = fakeStore({ recorded: 100 });
+  let filed = 0;
+  const fileBlocker = async () => ({ id: ++filed });
+  const bad = processor({ balance: 90, list: [] });
+  assert.equal((await run(store, bad, { fileBlocker })).alarm, 'filed');
+  assert.equal((await run(store, bad, { fileBlocker })).alarm, 'unchanged');
+  // an unchecked day in between does not reset it
+  assert.equal((await run(store, null, { fileBlocker })).outcome, 'unchecked');
+  assert.equal((await run(store, bad, { fileBlocker })).alarm, 'unchanged');
+  assert.equal((await run(store, processor({ balance: 80, list: [] }), { fileBlocker })).alarm, 'filed');
+  assert.equal((await run(store, processor({ balance: 100, list: [] }), { fileBlocker })).outcome, 'clean');
+  assert.equal((await run(store, bad, { fileBlocker })).alarm, 'filed');
+  assert.equal(filed, 3);
+});
+
+test('with nowhere to file, the alarm is undelivered and the next day tries again', async () => {
+  const store = fakeStore({ recorded: 100 });
+  const bad = processor({ balance: 90, list: [] });
+  assert.equal((await run(store, bad, { fileBlocker: null })).alarm, 'undelivered');
+  assert.equal((await run(store, bad, { fileBlocker: async () => { throw new Error('db'); } })).alarm, 'undelivered');
+  assert.equal((await run(store, bad, { fileBlocker: async () => ({ id: 3 }) })).alarm, 'filed');
+});
+
+test('a check runs once a day by the ledger, not on every tick', async () => {
+  const store = fakeStore({ checks: [{ outcome: 'unchecked', created_at: new Date(NOW - 3 * 60 * 60_000) }] });
+  const r = await L.runLedgerCheck({ store, processor: null, now: () => NOW });
+  assert.equal(r.skipped, 'not_due');
+  assert.equal(L.isDue([{ created_at: new Date(NOW - DAY + 20 * 60_000) }], NOW), true, 'within the half-hour slack');
+  assert.equal(L.isDue([], NOW), true);
+});
+
+test('the poller never throws and is a quiet no-op without a database', async () => {
+  const P = require('../modules/economy/pollers/ledger-check.js');
+  const r = await P.tick({ pool: { connect: async () => { throw Object.assign(new Error('connect ECONNREFUSED'), { code: 'ECONNREFUSED' }); } }, processor: null, fileBlocker: null });
+  assert.equal(r.skipped, 'db_unreachable');
+  const r2 = await P.tick({ pool: { connect: async () => { throw new Error('boom'); } }, processor: null, fileBlocker: null });
+  assert.equal(r2.skipped, 'error');
+});
+
+test('the blocker port holds a server caller to the route length rules', async () => {
+  const { fileBlockerFromServer } = require('../modules/ideas/routes/blockers.js');
+  const ok = { title: 'Ledger check: x', bodyMd: 'y', source: 'ledger-check', sourceRef: 'ledger-check-abc-2026-11-02' };
+  const refused = (over) => { try { fileBlockerFromServer({ ...ok, ...over }); } catch (e) { return e.code; } return null; };
+  assert.equal(refused({ title: '' }), 'BAD_BLOCKER');
+  assert.equal(refused({ title: 'x'.repeat(201) }), 'BAD_BLOCKER');
+  assert.equal(refused({ source: undefined }), 'BAD_BLOCKER');
+  assert.equal(refused({ sourceRef: 'x'.repeat(257) }), 'BAD_BLOCKER');
+  assert.equal(refused({ bodyMd: 42 }), 'BAD_BLOCKER');
+  // the real alarm fits
+  let filed = null;
+  const store = { recordedBalanceMicro: async () => 1, ourMovements: async () => [], recentChecks: async () => [], insertCheck: async (r) => r };
+  await L.runLedgerCheck({ store, processor: { balanceMicro: async () => 2 }, now: () => NOW, force: true, fileBlocker: async (b) => { filed = b; return { id: 1 }; } });
+  assert.ok(filed.title.length <= 200 && filed.sourceRef.length <= 256 && filed.source.length <= 64);
+  assert.match(filed.bodyMd, /\(\/project-settings\)/, 'the alarm links straight to the numbers');
+});

package/tests/ledger_check_db.mjs

@@ -0,0 +1,119 @@
+// tests/ledger_check_db.mjs — task 1004912 (goal 1000092 N8). Real DB.
+//
+// Applies the REAL economy migrations (002 project account, 003 member payments, 004, 006 the
+// ledger checks) beside a stand-in for core's cash-out tables, books one movement of each kind
+// the check compares, and runs the real runLedgerCheck through its real store against a test
+// processor: agreeing figures are clean, then a drift is found and filed once. Then proves what
+// Postgres itself refuses: a check row edited or deleted, a drift with no fingerprint, a clean
+// row that claims an alarm, and a filed alarm with no blocker.
+//
+// Self-skips without a reachable Postgres.
+// Run:  DATABASE_URL=... node tests/ledger_check_db.mjs
+import { createRequire } from 'node:module';
+import { readFileSync } from 'node:fs';
+import { fileURLToPath } from 'node:url';
+import { dirname, join } from 'node:path';
+import { strict as assert } from 'node:assert';
+const require = createRequire(import.meta.url);
+const { Pool } = require('pg');
+const L = require('../modules/economy/ledger-check.js');
+const here = dirname(fileURLToPath(import.meta.url));
+const MIGRATION = ['economy_002_project_account.sql', 'economy_003_user_balances.sql', 'economy_004_module_share_payouts.sql', 'economy_006_ledger_checks.sql']
+  .map((f) => readFileSync(join(here, '..', 'modules', 'economy', 'migrations', f), 'utf8')).join('\n');
+
+const pgPool = new Pool({ connectionString: process.env.DATABASE_URL || undefined, max: 1 });
+let client;
+try { client = await pgPool.connect(); await client.query('SELECT 1'); } catch (e) {
+  console.log(`ledger_check_db.mjs SKIPPED — no reachable Postgres (${e.code || e.message}).`);
+  await pgPool.end().catch(() => {});
+  process.exit(0);
+}
+const SCHEMA = `t1004912_${process.pid}`;
+let pass = 0;
+const ok = (c, m) => { assert.ok(c, m); pass++; console.log(`  ok - ${m}`); };
+const rejects = async (sql, params) => {
+  await client.query('SAVEPOINT s');
+  let err = null;
+  try { await client.query(sql, params); } catch (e) { err = e; }
+  await client.query('ROLLBACK TO SAVEPOINT s');
+  return err;
+};
+
+try {
+  await client.query(`CREATE SCHEMA ${SCHEMA}`);
+  await client.query(`SET search_path TO ${SCHEMA}`);
+  await client.query('CREATE TABLE builders (id bigserial PRIMARY KEY, display_name text)');
+  await client.query("CREATE TABLE tasks (id bigserial PRIMARY KEY, title text, status text NOT NULL DEFAULT 'shipped')");
+  await client.query('CREATE TABLE schema_migrations (version text PRIMARY KEY)');
+  // core's cash-out tables (migrations/core_293_cash_outs.sql), only the columns the check reads
+  await client.query('CREATE TABLE cash_outs (id bigserial PRIMARY KEY, amount_cents bigint NOT NULL)');
+  await client.query(`CREATE TABLE cash_out_attempts (id bigserial PRIMARY KEY, cash_out_id bigint NOT NULL REFERENCES cash_outs(id),
+    outcome text NOT NULL, processor_ref text, created_at timestamptz NOT NULL DEFAULT now())`);
+  await client.query("INSERT INTO builders (display_name) VALUES ('Ada'), ('Bo')");
+  await client.query("INSERT INTO tasks (title) VALUES ('Build the thing')");
+  await client.query(MIGRATION);
+  await client.query(readFileSync(join(here, '..', 'migrations', 'core_294_cash_out_attempts_sent_by_time.sql'), 'utf8').replace(/^\s*(BEGIN|COMMIT);\s*$/gm, ''));
+  await client.query('BEGIN');
+
+  const ago = (h) => new Date(Date.now() - h * 3600_000).toISOString();
+  const T = 'economy_project_account_movements';
+  await client.query(`INSERT INTO ${T} (kind, direction, amount_micro, processor_ref, created_at) VALUES ('funding','in',50000000,'ch_fund',$1)`, [ago(30)]);
+  await client.query(`INSERT INTO ${T} (kind, direction, amount_micro, builder_id, task_id, processor_ref, created_at) VALUES ('payout','out',20000000,1,1,'tr_pay',$1)`, [ago(20)]);
+  await client.query(`INSERT INTO ${T} (kind, direction, amount_micro, task_id, created_at) VALUES ('hold','none',1000000,1,$1)`, [ago(20)]);
+  await client.query(`INSERT INTO economy_user_transfers (kind, from_builder_id, to_builder_id, from_account, to_account, amount_cents, instruction_id)
+                      VALUES ('pay_user', 1, 2, 'acct_a', 'acct_b', 300, 'instr-0001')`);
+  await client.query(`INSERT INTO economy_user_transfer_attempts (transfer_id, outcome, processor_ref, created_at) VALUES (1, 'sent', 'tr_member', $1)`, [ago(10)]);
+  await client.query('INSERT INTO cash_outs (amount_cents) VALUES (1500)');
+  await client.query(`INSERT INTO cash_out_attempts (cash_out_id, outcome, processor_ref, created_at) VALUES (1, 'sent', 'po_cash', $1)`, [ago(5)]);
+  // a held cash-out never reached the processor and is not compared
+  await client.query("INSERT INTO cash_out_attempts (cash_out_id, outcome) VALUES (1, 'held')");
+
+  const idx = (await client.query(`SELECT indexname FROM pg_indexes WHERE schemaname = $1`, [SCHEMA])).rows.map((r) => r.indexname);
+  ok(idx.includes('economy_user_transfer_attempts_sent_by_time') && idx.includes('cash_out_attempts_sent_by_time'),
+    "the week's sent member payments and cash-outs are read by a time index, not a scan of every attempt");
+
+  const store = L.createStore(client);
+  ok(await store.recordedBalanceMicro() === 30_000_000, 'the recorded balance is in less out, holds not counted');
+  const ours = await store.ourMovements({ since: new Date(Date.now() - 7 * 86400_000), until: new Date() });
+  const refs = Object.fromEntries(ours.map((o) => [o.ref, o.amount_micro]));
+  ok(refs.ch_fund === 50_000_000 && refs.tr_pay === 20_000_000 && refs.tr_member === 3_000_000 && refs.po_cash === 15_000_000 && ours.length === 4,
+    'our movements are read from all three records, in micro-dollars, sent only');
+  ok((await store.ourMovements({ refs: ['po_cash'] })).length === 1, 'a movement is found by its reference at any time');
+
+  const theirs = Object.entries(refs).map(([ref, amountMicro]) => ({ ref, amountMicro, createdAt: ours.find((o) => o.ref === ref).created_at }));
+  const agree = { balanceMicro: async () => 30_000_000, listMovements: async () => theirs };
+  const r1 = await L.runLedgerCheck({ client, processor: agree, force: true });
+  ok(r1.outcome === 'clean' && Number(r1.check.refs_compared) === 4, 'agreeing figures are recorded clean, through the real store');
+
+  let filed = 0;
+  const fileBlocker = async () => ({ id: 100 + (++filed) });
+  const off = { balanceMicro: async () => 29_000_000, listMovements: async () => theirs.filter((t) => t.ref !== 'po_cash') };
+  const r2 = await L.runLedgerCheck({ client, processor: off, force: true, fileBlocker });
+  ok(r2.outcome === 'drift' && r2.alarm === 'filed' && String(r2.check.blocker_id) === '101', 'a drift is recorded and filed');
+  ok(r2.check.findings.some((f) => f.kind === 'missing_at_processor' && f.ref === 'po_cash') && Number(r2.check.drift_micro) === -1_000_000,
+    'the row keeps each difference with its numbers');
+  const r3 = await L.runLedgerCheck({ client, processor: off, force: true, fileBlocker });
+  ok(r3.alarm === 'unchanged' && filed === 1, 'the same drift the next day is not filed again');
+  ok((await L.runLedgerCheck({ client, processor: agree })).skipped === 'not_due', 'a check is not run twice in a day');
+
+  const view = await L.readLedgerChecks(client, { limit: 5 });
+  ok(view.checks.length === 3 && view.checks[0].outcome === 'drift' && view.checks[0].findings.length >= 2, "the owner's view lists the checks, newest first, numbers included");
+
+  const code = (e) => e && e.code;
+  ok(code(await rejects('UPDATE economy_ledger_checks SET outcome = \'clean\'')) === '42501', 'a check row cannot be edited');
+  ok(code(await rejects('DELETE FROM economy_ledger_checks')) === '42501', 'a check row cannot be deleted');
+  const INS = 'INSERT INTO economy_ledger_checks (outcome, reason, fingerprint, alarm, blocker_id) VALUES ($1,$2,$3,$4,$5)';
+  ok(code(await rejects(INS, ['drift', null, null, 'filed', 1])) === '23514', 'a drift with no fingerprint is refused');
+  ok(code(await rejects(INS, ['clean', null, null, 'filed', 1])) === '23514', 'a clean check cannot claim an alarm');
+  ok(code(await rejects(INS, ['drift', null, 'abc', 'filed', null])) === '23514', 'a filed alarm names its blocker');
+  ok(code(await rejects(INS, ['unchecked', null, null, 'none', null])) === '23514', 'an unchecked row says why');
+  ok(code(await rejects(INS, ['drift', null, 'abc', 'none', null])) === '23514', 'a drift always says what became of its alarm');
+
+  await client.query('ROLLBACK');
+  console.log(`ledger_check_db.mjs: ${pass} passed`);
+} finally {
+  await client.query('ROLLBACK').catch(() => {});
+  await client.query(`DROP SCHEMA IF EXISTS ${SCHEMA} CASCADE`).catch(() => {});
+  client.release();
+  await pgPool.end();
+}