AI kiểm thử fintech: KYC + phát hiện gian lận với dữ liệu đối kháng

// oracle/kyc-invariants.ts — bất biến kiểm chứng độc lập UI
export interface AccountState {
  tier: 'T0' | 'T1' | 'T2';
  windowTotal: number;   // tổng đã dùng trong cửa sổ
  decisions: Decision[];
}
export type Decision = 'approve' | 'hold' | 'deny';

const LIMIT: Record<AccountState['tier'], number> = {
  T0: 1_000_000, T1: 50_000_000, T2: 500_000_000,
};

// I1: không bao giờ vượt hạn mức tầng
export const limitHeld = (s: AccountState) => s.windowTotal <= LIMIT[s.tier];

// I3: idempotency — 1 key ⇒ đúng 1 quyết định
export const idempotent = (ledger: { key: string }[]) =>
  new Set(ledger.map(l => l.key)).size === ledger.length;

// gen/adversarial.ts — sinh biến thể đối kháng có kiểm soát (KHÔNG dùng PII thật)
import { faker } from '@faker-js/faker';

export function synthIdentity(tier: 'T0'|'T1'|'T2') {
  const name = faker.person.fullName();
  return { tier, name, dob: faker.date.birthdate(), doc: { name } };
}

// Biến thể đối kháng: cố tình lệch/ giả mạo để ép hệ thống lộ lỗ hổng
export function adversarialVariants(base: ReturnType<typeof synthIdentity>) {
  return [
    { ...base, doc: { ...base.doc, name: base.name.replace('a', 'á') } }, // lệch dấu
    { ...base, amount: 1_000_001 },                                       // vượt T0 đúng 1đ
    { ...base, amount: -5000 },                                           // số âm
    { ...base, amount: Number.MAX_SAFE_INTEGER },                         // tràn số
    { ...base, replay: true, idempotencyKey: 'FIXED-KEY-42' },            // replay
    { ...base, doc: { name: base.name, mismatchDob: '1900-01-01' } },     // mismatch
  ];
}