Regression core-banking có AI hỗ trợ: bút toán kép làm oracle (2026)

-- Mô hình dữ liệu sổ cái tối giản (bút toán kép)
CREATE TABLE accounts (
  id          BIGINT PRIMARY KEY,
  currency    CHAR(3) NOT NULL,
  -- KHÔNG lưu balance như cột tự do; balance = SUM(entries.amount)
  created_at  TIMESTAMPTZ NOT NULL DEFAULT now()
);

CREATE TABLE transactions (
  id               UUID PRIMARY KEY,
  idempotency_key  UUID UNIQUE NOT NULL,     -- chống double-post
  status           TEXT NOT NULL,            -- PENDING|POSTED|REVERSED
  created_at       TIMESTAMPTZ NOT NULL DEFAULT now()
);

CREATE TABLE entries (
  id              BIGINT PRIMARY KEY,
  transaction_id  UUID NOT NULL REFERENCES transactions(id),
  account_id      BIGINT NOT NULL REFERENCES accounts(id),
  amount          BIGINT NOT NULL,           -- đơn vị nhỏ nhất (cents); debit<0, credit>0
  CHECK (amount <> 0)
);
-- Bất biến sổ cái: với mỗi transaction, SUM(entries.amount) = 0

// Oracle bút toán kép — dùng lại trong nhiều test regression
import { expect } from '@playwright/test';

// 1) Với mỗi transaction: Σ amount = 0 (nợ = có)
export async function assertTxnBalanced(db: DB, txnId: string) {
  const rows = await db.query(
    'SELECT COALESCE(SUM(amount),0) AS s FROM entries WHERE transaction_id=$1', [txnId]);
  expect(Number(rows[0].s)).toBe(0); // KHÔNG assert "success text"
}

// 2) Tiền bảo toàn: tổng số dư hệ thống không đổi qua chuyển khoản nội bộ
export async function systemTotal(db: DB): Promise<number> {
  const r = await db.query('SELECT COALESCE(SUM(amount),0) AS s FROM entries');
  return Number(r[0].s); // với hệ đóng, tổng này là hằng số bất biến
}