{ "schema_version": "d30-postgresql-evidence-v1", "evidence_class": "observed independent-session PostgreSQL behavior", "existing_service_connections": false, "cases": [ { "id": "DB00-settings-and-distinct-login", "passed": true, "detail": { "settings": { "port": "55430", "fsync": "on", "full_page_writes": "on", "synchronous_commit": "on", "server_version": "18.1" }, "identity": { "session_user": "d30_writer", "current_user": "d30_writer" } } }, { "id": "DB01-independent-oracle-journals", "passed": true, "detail": [ { "case": "P01-funding", "result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-P01-funding", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-P01-funding" }, "sequence": "1", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-P01-funding", "debit_minor": "100000", "recorded_at": "2026-10-24T21:42:47.927Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-P01-funding" } }, { "case": "P02-internal-transfer", "result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "deposits_ada_usd", "amount_minor": "25000" }, { "side": "credit", "account_id": "deposits_ben_usd", "amount_minor": "25000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-P02-internal-transfer", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-P02-internal-transfer" }, "sequence": "2", "movements": [ { "account_id": "deposits_ada_usd", "raw_delta_minor": "25000", "normal_delta_minor": "-25000" }, { "account_id": "deposits_ben_usd", "raw_delta_minor": "-25000", "normal_delta_minor": "25000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-P02-internal-transfer", "debit_minor": "25000", "recorded_at": "2026-10-24T21:42:48.225Z", "credit_minor": "25000", "residual_minor": "0", "business_operation_id": "OP-P02-internal-transfer" } }, { "case": "P03-fee", "result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "deposits_ada_usd", "amount_minor": "250" }, { "side": "credit", "account_id": "fee_income_usd", "amount_minor": "250" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-P03-fee", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-P03-fee" }, "sequence": "3", "movements": [ { "account_id": "deposits_ada_usd", "raw_delta_minor": "250", "normal_delta_minor": "-250" }, { "account_id": "fee_income_usd", "raw_delta_minor": "-250", "normal_delta_minor": "250" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-P03-fee", "debit_minor": "250", "recorded_at": "2026-10-24T21:42:48.561Z", "credit_minor": "250", "residual_minor": "0", "business_operation_id": "OP-P03-fee" } }, { "case": "P04-three-leg-funding-with-fee", "result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "10000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "9700" }, { "side": "credit", "account_id": "fee_income_usd", "amount_minor": "300" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-P04-three-leg-funding-with-fee", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-P04-three-leg-funding-with-fee" }, "sequence": "4", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "10000", "normal_delta_minor": "10000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-9700", "normal_delta_minor": "9700" }, { "account_id": "fee_income_usd", "raw_delta_minor": "-300", "normal_delta_minor": "300" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-P04-three-leg-funding-with-fee", "debit_minor": "10000", "recorded_at": "2026-10-24T21:42:48.982Z", "credit_minor": "10000", "residual_minor": "0", "business_operation_id": "OP-P04-three-leg-funding-with-fee" } }, { "case": "P05-huge-string-exactness", "result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "9007199254740993" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "9007199254740000" }, { "side": "credit", "account_id": "fee_income_usd", "amount_minor": "993" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-P05-huge-string-exactness", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-P05-huge-string-exactness" }, "sequence": "5", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "9007199254740993", "normal_delta_minor": "9007199254740993" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-9007199254740000", "normal_delta_minor": "9007199254740000" }, { "account_id": "fee_income_usd", "raw_delta_minor": "-993", "normal_delta_minor": "993" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-P05-huge-string-exactness", "debit_minor": "9007199254740993", "recorded_at": "2026-10-24T21:42:49.366Z", "credit_minor": "9007199254740993", "residual_minor": "0", "business_operation_id": "OP-P05-huge-string-exactness" } }, { "case": "P06-abnormal-normal-side-is-not-generic-rejection", "result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "fee_income_usd", "amount_minor": "100" }, { "side": "credit", "account_id": "cash_usd", "amount_minor": "100" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-P06-abnormal-normal-side-is-not-generic-rejection", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-P06-abnormal-normal-side-is-not-generic-rejection" }, "sequence": "6", "movements": [ { "account_id": "fee_income_usd", "raw_delta_minor": "100", "normal_delta_minor": "-100" }, { "account_id": "cash_usd", "raw_delta_minor": "-100", "normal_delta_minor": "-100" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-P06-abnormal-normal-side-is-not-generic-rejection", "debit_minor": "100", "recorded_at": "2026-10-24T21:42:49.656Z", "credit_minor": "100", "residual_minor": "0", "business_operation_id": "OP-P06-abnormal-normal-side-is-not-generic-rejection" } }, { "case": "P07-independent-eur-journal", "result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_eur", "amount_minor": "10000" }, { "side": "credit", "account_id": "deposits_ada_eur", "amount_minor": "10000" } ], "currency": "EUR", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-P07-independent-eur-journal", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-P07-independent-eur-journal" }, "sequence": "7", "movements": [ { "account_id": "cash_eur", "raw_delta_minor": "10000", "normal_delta_minor": "10000" }, { "account_id": "deposits_ada_eur", "raw_delta_minor": "-10000", "normal_delta_minor": "10000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-P07-independent-eur-journal", "debit_minor": "10000", "recorded_at": "2026-10-24T21:42:50.044Z", "credit_minor": "10000", "residual_minor": "0", "business_operation_id": "OP-P07-independent-eur-journal" } } ] }, { "id": "DB02-invalid-inputs-no-committed-change", "passed": true, "detail": [ { "case": "R01-unbalanced-by-one", "reason": "UNBALANCED_JOURNAL", "sqlstate": "P0001" }, { "case": "R02-unknown-account-last-leg", "reason": "UNKNOWN_ACCOUNT", "sqlstate": "P0001" }, { "case": "R03-closed-account", "reason": "ACCOUNT_CLOSED", "sqlstate": "P0001" }, { "case": "R04-currency-mismatch-balanced-numbers", "reason": "CURRENCY_MISMATCH", "sqlstate": "P0001" }, { "case": "R05-cross-entity-ledger", "reason": "ACCOUNT_SCOPE_MISMATCH", "sqlstate": "P0001" }, { "case": "R06-empty-journal", "reason": "INVALID_LEGS", "sqlstate": "P0001" }, { "case": "R07-one-leg", "reason": "INVALID_LEGS", "sqlstate": "P0001" }, { "case": "R08-same-account-only", "reason": "DISTINCT_ACCOUNTS_REQUIRED", "sqlstate": "P0001" }, { "case": "R09-invalid-side", "reason": "INVALID_SIDE", "sqlstate": "P0001" }, { "case": "R12-invalid-gregorian-date", "reason": "INVALID_TIMESTAMP", "sqlstate": "P0001" }, { "case": "R13-no-timezone", "reason": "INVALID_TIMESTAMP", "sqlstate": "P0001" }, { "case": "R14-unfrozen-precision", "reason": "INVALID_TIMESTAMP", "sqlstate": "P0001" }, { "case": "R15-closed-period", "reason": "PERIOD_CLOSED", "sqlstate": "P0001" }, { "case": "R16-silent-period-move", "reason": "UNAUTHORIZED_PERIOD_ADJUSTMENT", "sqlstate": "P0001" }, { "case": "R17-unsupported-schema", "reason": "UNSUPPORTED_SCHEMA", "sqlstate": "P0001" }, { "case": "R18-unknown-currency", "reason": "UNSUPPORTED_CURRENCY", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "case": "end-CR-journal_id", "reason": "INVALID_IDENTIFIER", "sqlstate": "P0001" }, { "case": "end-CR-amount_minor", "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "case": "end-LF-journal_id", "reason": "INVALID_IDENTIFIER", "sqlstate": "P0001" }, { "case": "end-LF-amount_minor", "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "case": "end-LS-journal_id", "reason": "INVALID_IDENTIFIER", "sqlstate": "P0001" }, { "case": "end-LS-amount_minor", "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "case": "end-PS-journal_id", "reason": "INVALID_IDENTIFIER", "sqlstate": "P0001" }, { "case": "end-PS-amount_minor", "reason": "INVALID_AMOUNT", "sqlstate": "P0001" }, { "reason": "FUTURE_EFFECTIVE_TIME", "sqlstate": "P0001" }, { "reason": "FUTURE_SOURCE_AVAILABILITY", "sqlstate": "P0001" }, { "reason": "INVALID_LEGS", "sqlstate": "P0001" } ] }, { "id": "DB03-rollback-releases-identity-and-counter", "passed": true, "detail": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-ROLLBACK", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-ROLLBACK" }, "sequence": "8", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-ROLLBACK", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:17.315Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-ROLLBACK" } }, { "id": "DB04-disconnected-uncommitted-transaction", "passed": true, "detail": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-DISCONNECT", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-DISCONNECT" }, "sequence": "9", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-DISCONNECT", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:21.282Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-DISCONNECT" } }, { "id": "DB05-discarded-response-replay", "passed": true, "detail": { "original": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-LOST-RESPONSE", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-LOST-RESPONSE" }, "sequence": "10", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-LOST-RESPONSE", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:22.223Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-LOST-RESPONSE" }, "replay": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-LOST-RESPONSE", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-LOST-RESPONSE" }, "sequence": "10", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-LOST-RESPONSE", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:22.223Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-LOST-RESPONSE" } } }, { "id": "DB06-concurrent-identical-command", "passed": true, "detail": { "session_count": 2, "barrier": "READY sentinel then pg_blocking_pids observed before release", "blocked": true, "release": "COMMIT", "first_result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-RACE-SAME", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-RACE-SAME" }, "sequence": "11", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-RACE-SAME", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:25.559Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-RACE-SAME" }, "second_result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-RACE-SAME", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-RACE-SAME" }, "sequence": "11", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-RACE-SAME", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:25.559Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-RACE-SAME" } } }, { "id": "DB07-concurrent-first-rollback", "passed": true, "detail": { "session_count": 2, "barrier": "READY sentinel then pg_blocking_pids observed before release", "blocked": true, "release": "ROLLBACK", "first_result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-RACE-ROLLBACK", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-RACE-ROLLBACK" }, "sequence": "12", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-RACE-ROLLBACK", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:28.767Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-RACE-ROLLBACK" }, "second_result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-RACE-ROLLBACK", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-RACE-ROLLBACK" }, "sequence": "12", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-RACE-ROLLBACK", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:29.744Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-RACE-ROLLBACK" } } }, { "id": "DB08-concurrent-changed-identity", "passed": true, "detail": { "session_count": 2, "barrier": "READY sentinel then pg_blocking_pids observed before release", "blocked": true, "release": "COMMIT", "first_result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-RACE-CONFLICT", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-RACE-CONFLICT" }, "sequence": "13", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-RACE-CONFLICT", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:30.904Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-RACE-CONFLICT" }, "second_result": { "reason": "IDEMPOTENCY_CONFLICT" } } }, { "id": "DB08b-ordered-legs-conflict", "passed": true, "detail": { "reason": "IDEMPOTENCY_CONFLICT", "sqlstate": "P0001" } }, { "id": "DB09-authorized-independent-scope", "passed": true, "detail": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "other_entity_cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "other_deposit_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-B", "ledger_id": "CB-OTHER", "journal_id": "J-SCOPE", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-SCOPE" }, "sequence": "1", "movements": [ { "account_id": "other_entity_cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "other_deposit_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-SCOPE", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:33.118Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-SCOPE" } }, { "id": "DB09b-unauthorized-replay-does-not-disclose", "passed": true, "detail": { "reason": "permission denied", "sqlstate": "42501" } }, { "id": "DB09c-unauthorized-scope-read-does-not-disclose", "passed": true, "detail": { "reason": "SCOPE_FORBIDDEN", "sqlstate": "P0001" } }, { "id": "DB10-per-ledger-commit-order", "passed": true, "detail": { "session_count": 2, "barrier": "READY sentinel then pg_blocking_pids observed before release", "blocked": true, "release": "COMMIT", "first_result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-ORDER-FIRST", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-ORDER-FIRST" }, "sequence": "15", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-ORDER-FIRST", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:34.837Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-ORDER-FIRST" }, "second_result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-ORDER-SECOND", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-ORDER-SECOND" }, "sequence": "16", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-ORDER-SECOND", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:35.715Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-ORDER-SECOND" } } }, { "id": "DB11-runtime-grants-deny-mutation-and-owner-role", "passed": true, "detail": [ { "reason": "42501", "sqlstate": "42501" }, { "reason": "42501", "sqlstate": "42501" }, { "reason": "42501", "sqlstate": "42501" }, { "reason": "42501", "sqlstate": "42501" }, { "reason": "42501", "sqlstate": "42501" }, { "reason": "42501", "sqlstate": "42501" }, { "reason": "42501", "sqlstate": "42501" }, { "reason": "42501", "sqlstate": "42501" }, { "reason": "42501", "sqlstate": "42501" }, { "reason": "42501", "sqlstate": "42501" }, { "reason": "42501", "sqlstate": "42501" } ] }, { "id": "DB12-safe-definer-search-path", "passed": true, "detail": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-PATH", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-PATH" }, "sequence": "17", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-PATH", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:54.756Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-PATH" } }, { "id": "DB18-original-replay-before-changed-current-policy", "passed": true, "detail": { "original": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-REPLAY-POLICY", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-REPLAY-POLICY" }, "sequence": "18", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-REPLAY-POLICY", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:55.140Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-REPLAY-POLICY" }, "replay": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-REPLAY-POLICY", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-REPLAY-POLICY" }, "sequence": "18", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-REPLAY-POLICY", "debit_minor": "100000", "recorded_at": "2026-10-24T21:44:55.140Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-REPLAY-POLICY" } } }, { "id": "DB14-invalid-replacement-rolls-back-whole-correction", "passed": true, "detail": { "reason": "UNBALANCED_JOURNAL", "sqlstate": "P0001" } }, { "id": "DB13-exact-correction-replay-and-one-reversal", "passed": true, "detail": { "result": { "reason": "Correct beneficiary and amount", "status": "committed", "reversal": { "status": "committed", "command": { "legs": [ { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "2500" }, { "side": "debit", "account_id": "deposits_ben_usd", "amount_minor": "2500" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-REVERSE-TRANSFER", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-REVERSE-TRANSFER" }, "sequence": "26", "movements": [ { "account_id": "deposits_ada_usd", "raw_delta_minor": "-2500", "normal_delta_minor": "2500" }, { "account_id": "deposits_ben_usd", "raw_delta_minor": "2500", "normal_delta_minor": "-2500" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-REVERSE-TRANSFER", "debit_minor": "2500", "recorded_at": "2026-10-24T21:45:05.088Z", "credit_minor": "2500", "residual_minor": "0", "business_operation_id": "OP-REVERSE-TRANSFER" }, "replacement": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "deposits_ada_usd", "amount_minor": "2400" }, { "side": "credit", "account_id": "deposits_cora_usd", "amount_minor": "2400" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-CORRECT-TRANSFER", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-CORRECT-TRANSFER" }, "sequence": "27", "movements": [ { "account_id": "deposits_ada_usd", "raw_delta_minor": "2400", "normal_delta_minor": "-2400" }, { "account_id": "deposits_cora_usd", "raw_delta_minor": "-2400", "normal_delta_minor": "2400" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-CORRECT-TRANSFER", "debit_minor": "2400", "recorded_at": "2026-10-24T21:45:05.097Z", "credit_minor": "2400", "residual_minor": "0", "business_operation_id": "OP-CORRECT-TRANSFER" }, "correction_id": "CORR-TRANSFER-1", "original_journal_id": "J-WRONG-TRANSFER" }, "second_independent_correction": { "reason": "ALREADY_REVERSED", "sqlstate": "P0001" }, "original_unchanged": true, "unicode_reason_rejections": [ { "reason": "INVALID_REASON", "sqlstate": "P0001" }, { "reason": "INVALID_REASON", "sqlstate": "P0001" }, { "reason": "INVALID_REASON", "sqlstate": "P0001" }, { "reason": "INVALID_REASON", "sqlstate": "P0001" }, { "reason": "INVALID_REASON", "sqlstate": "P0001" } ], "unicode_reason_acceptance": [ { "label": "BOM", "unicode_scalar_length": 1, "reason_retained_exactly": true }, { "label": "240EMOJI", "unicode_scalar_length": 240, "reason_retained_exactly": true } ] } }, { "id": "DB13b-concurrent-independent-corrections", "passed": true, "detail": { "session_count": 2, "barrier": "READY sentinel then pg_blocking_pids observed before release", "blocked": true, "release": "COMMIT", "first_result": { "reason": "Correct beneficiary and amount", "status": "committed", "reversal": { "status": "committed", "command": { "legs": [ { "side": "credit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "debit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-CORR-RACE-A", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-CORR-RACE-A" }, "sequence": "29", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "-100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "100000", "normal_delta_minor": "-100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-CORR-RACE-A", "debit_minor": "100000", "recorded_at": "2026-10-24T21:45:07.690Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-CORR-RACE-A" }, "replacement": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "deposits_ada_usd", "amount_minor": "2400" }, { "side": "credit", "account_id": "deposits_cora_usd", "amount_minor": "2400" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-REPLACEMENT-RACE-A", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-REPLACEMENT-RACE-A" }, "sequence": "30", "movements": [ { "account_id": "deposits_ada_usd", "raw_delta_minor": "2400", "normal_delta_minor": "-2400" }, { "account_id": "deposits_cora_usd", "raw_delta_minor": "-2400", "normal_delta_minor": "2400" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-REPLACEMENT-RACE-A", "debit_minor": "2400", "recorded_at": "2026-10-24T21:45:07.699Z", "credit_minor": "2400", "residual_minor": "0", "business_operation_id": "OP-REPLACEMENT-RACE-A" }, "correction_id": "CORR-RACE-A", "original_journal_id": "J-CORRECTION-RACE-ORIGINAL" }, "second_result": { "reason": "ALREADY_REVERSED" } } }, { "id": "DB19-explicit-authorized-prior-effective-adjustment", "passed": true, "detail": { "default_rejection": { "reason": "UNAUTHORIZED_PERIOD_ADJUSTMENT", "sqlstate": "P0001" }, "unicode_whitespace_reason_rejections": [ { "reason": "UNAUTHORIZED_PERIOD_ADJUSTMENT", "sqlstate": "P0001" }, { "reason": "UNAUTHORIZED_PERIOD_ADJUSTMENT", "sqlstate": "P0001" } ], "authorized_result": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-ADJUSTMENT", "effective_at": "2026-09-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-ADJUSTMENT" }, "sequence": "31", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "Authorized teaching adjustment", "authorized": true }, "journal_id": "J-ADJUSTMENT", "debit_minor": "100000", "recorded_at": "2026-10-24T21:45:12.208Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-ADJUSTMENT" } } }, { "id": "DB16-durable-identity-after-controlled-restart", "passed": true, "detail": { "status": "committed", "command": { "legs": [ { "side": "debit", "account_id": "cash_usd", "amount_minor": "100000" }, { "side": "credit", "account_id": "deposits_ada_usd", "amount_minor": "100000" } ], "currency": "USD", "entity_id": "CB-A", "ledger_id": "CB-GENERAL", "journal_id": "J-DURABLE", "effective_at": "2026-10-20T09:00:00.000Z", "booking_period": "2026-10", "schema_version": "d30-journal-v1", "source_available_at": "2026-10-20T09:01:00.000Z", "business_operation_id": "OP-DURABLE" }, "sequence": "32", "movements": [ { "account_id": "cash_usd", "raw_delta_minor": "100000", "normal_delta_minor": "100000" }, { "account_id": "deposits_ada_usd", "raw_delta_minor": "-100000", "normal_delta_minor": "100000" } ], "adjustment": { "reason": "", "authorized": false }, "journal_id": "J-DURABLE", "debit_minor": "100000", "recorded_at": "2026-10-24T21:45:12.625Z", "credit_minor": "100000", "residual_minor": "0", "business_operation_id": "OP-DURABLE" } }, { "id": "DB20-defence-in-depth-trigger-rejects-owner-dml", "passed": true, "detail": { "reason": "APPEND_ONLY_VIOLATION", "sqlstate": "P0001" } }, { "id": "DB17-owner-can-remove-trigger-explicit-boundary", "passed": true, "detail": { "owner_override_observed": true, "sacrificial_journal": "J-DURABLE" } } ], "limitations": [ "Process restart is not a hardware power-loss experiment.", "Administrator/owner mutation is outside the runtime append-only guarantee.", "Read Committed plus ledger lock is the baseline; no Serializable retry claim." ], "binary_version": "postgres (PostgreSQL) 18.1", "server_settings": { "port": "55430", "fsync": "on", "full_page_writes": "on", "synchronous_commit": "on", "server_version": "18.1" }, "isolated_data_directory_verified": true, "final_snapshot": { "journals": 33, "corrections": 4, "heads": [ { "ledger_id": "CB-GENERAL", "sequence": "32" }, { "ledger_id": "CB-OTHER", "sequence": "1" } ] }, "passed": true, "task_cluster_stopped_and_removed": true }