팝업 포인트·재화 지갑의 적립·차감 거래를 멱등 처리하고, 이중적립·잔액 음수·미등록 지갑 같은 정합성 위반을 트랜잭션 규칙으로 차단하며, 잔액·거래 내역과 차단 사유 문구만 LLM이 붙이는 원장 도구입니다.

{"type":"object","properties":{"txn_id":{"type":"string"},"status":{"type":"string","enum":["applied","blocked","replayed"]},"applied":{"type":"boolean"},"balance_after":{"type":["integer","null"]},"violation":{"type":["string","null"],"enum":["double_credit","insufficient_balance","orphan_wallet","frozen_wallet","invalid_amount",null]},"cited_rule":{"type":["string","null"]},"reason":{"type":"string"}},"required":["txn_id","status","applied","balance_after","violation","reason"]}

[
  {
    "input_ref": "t_01→t_02: w_02 에 같은 idempotency_key(k1) 적립 두 번",
    "output": {
      "txn_id": "t_02",
      "status": "replayed",
      "applied": false,
      "balance_after": 1300,
      "violation": "double_credit",
      "cited_rule": "idempotency_key k1 은 t_01 에서 이미 처리됨",
      "reason": "이미 처리된 방문 인증 적립이라 중복 적립하지 않았습니다. 잔액은 1300포인트로 그대로입니다."
    }
  },
  {
    "input_ref": "t_03: w_02 잔액 1300 에서 1500 차감 시도",
    "output": {
      "txn_id": "t_03",
      "status": "blocked",
      "applied": false,
      "balance_after": null,
      "violation": "insufficient_balance",
      "cited_rule": "잔액 1300 < 차감 1500, 잔액 음수 금지",
      "reason": "굿즈 구매 1500포인트는 남은 잔액 1300포인트보다 커서 차감하지 않았습니다."
    }
  },
  {
    "input_ref": "t_04: w_05 잔액 300 에서 300 차감(경계, 잔액 0)",
    "output": {
      "txn_id": "t_04",
      "status": "applied",
      "applied": true,
      "balance_after": 0,
      "violation": null,
      "cited_rule": null,
      "reason": "사전예약 차감 300포인트를 적용했습니다. 잔액은 0포인트입니다."
    }
  },
  {
    "input_ref": "t_05: 마스터에 없는 w_99 적립",
    "output": {
      "txn_id": "t_05",
      "status": "blocked",
      "applied": false,
      "balance_after": null,
      "violation": "orphan_wallet",
      "cited_rule": "wallet_id w_99 가 지갑 마스터에 없음",
      "reason": "등록되지 않은 지갑(w_99)이라 후기 작성 적립을 적용하지 않고 미매핑으로 표시했습니다."
    }
  }
]

[자동 검증] 1. 출력이 스키마를 통과하는가(형식·필수 필드·violation enum). 2. 거래를 created_at 순서로 리플레이해 최종 잔액을 독립 재계산한 값과 balance_after 가 일치하는가(엔진 잔액이 규칙 재계산과 어긋나면 검출). 3. status·violation 이 실제 규칙 판정과 일치하고, 위반 거래가 applied=true 로 새어나가지 않았는가(사유 문구로 위반 통과 차단). 4. 같은 idempotency_key 재요청이 replayed 로 처리돼 잔액이 두 번 반영되지 않았는가(이중적립 차단). 5. reason 이 status·violation 과 모순되지 않는가(근거 밖 사유 검출). [수동 검증] 1. 운영자 페르소나 2명이 적용·차단·사유 타당성 라벨링 → bootstrap Cohen’s κ(두 사람 답이 우연 이상으로 일치하는 정도, 0~1) 하한 ≥ 0.6. 2. 위반 통과·잔액 오차 5% 사람 점검.