1.5 KiB
1.5 KiB
id, status
| id | status |
|---|---|
| ac-0002 | active |
Source-independent REVERSAL 산식과 목록·단건 일치
Criterion
total_invested는 모든 source의 유효한 INVEST gross 합계, total_withdrawn은 유효한 WITHDRAW 합계, net_contributed_capital은 두 값의 차, cumulative_profit_withdrawn은 원금에서 제외한 유효한 PROFIT 합계여야 한다. 동일 portfolio에서 matching REVERSAL.target_ledger_entry_id로 참조된 original INVEST, WITHDRAW, PROFIT은 original과 reversal의 source와 무관하게 모든 return aggregate에서 제외하고 REVERSAL 자체는 금액으로 합산하지 않는다. 목록과 단건 returns/summary는 같은 repository aggregate와 네 집계값 의미를 사용해야 한다.
Verification
- 성공 조건: broker-only와 mixed-source
INVEST·WITHDRAW·PROFIT조합에서 gross·withdrawn·net·profit 값이 승인 산식과 일치하고 목록과 단건 summary가 일치한다. - 실패·경계 조건: manual reversal→broker original 또는 broker reversal→manual original에서 original 효과가 남거나,
PROFIT이 원금에 섞이거나 reversal row 자체가 합산되면 실패한다. - 검사 방법: SQL contract unit test와 실제 PostgreSQL 16 integration에서 production repository SQL, 양방향 cross-source reversal,
buffer_out제외를 검사한다. - 현재 구현 평가: source predicate가 original과 reversal 양쪽에서 제거됐고 actual PostgreSQL semantic integration 및 독립 재QC가 PASS했다.