BAT-062 Verification

Acceptance Mapping

AC	결과	근거
REQ-127 AC-1	PASS	`test_mega_two_million_excludes_hynix_and_uses_samsung_lane`
REQ-127 AC-2	PASS	`test_mega_three_million_flexes_one_share_into_hynix_lane`
REQ-127 AC-3	PASS	`test_top50_three_slots_exclude_unaffordable_high_price_candidate`
REQ-127 AC-4	PASS	`test_zero_cash_fails_closed_with_explicit_reason`
REQ-127 AC-5	PASS	잘못된 보호가격·현금·슬롯·후보·중복·유동 여유 입력 단위 테스트
REQ-127 AC-6	PASS	고정 시드 10,000건 최악 활성 슬롯 현금 불변식
REQ-127 AC-7	PASS	이전 어댑터 커밋 `46f5936`과 고정 시드 50,000건 결과 완전 일치
REQ-127 AC-8	PASS	최신 선행 Core 919 passed/51 skipped, Core 연결 어댑터 161 passed/4 skipped
REQ-127 AC-9	PASS	탑50 월간 요약 동일, `trade_ledger.csv`·`allocation_decisions.csv` 바이트 동일
REQ-127 AC-10	PASS	Core·docker-local 격리 작업트리만 변경, 실전 런타임·주문 게이트·계좌·Hub 변경 없음

Test:
- Core 정책: 16 passed.
- 최신 선행 Core 전체: 919 passed, 51 skipped.
- Core 대상 Ruff: PASS.
- 로컬 어댑터 연결부: 11 passed.
- 로컬 어댑터 전체: 161 passed, 4 skipped.
- 기존 공식 완전 일치: 50,000 cases PASS, seed 20260729.
- 탑50 월간 가상계좌: PASS, 111 signals, 71 completed trades, max active 3, minimum cash 40,500원, open orders 0, positions 0, duplicate orders/fills 0, restart equivalent true.
- 공용 가상 인증: logic→regression→virtual contract→virtual end-to-end →fault injection→restart recovery→ledger reconcile 1~7단계 PASS.
- 선행 Core 가상 KIS 복구 3건은 거래 가능 시각을 고정해 야간 회귀에서도 주문 결과불명·재시작·거부 후 재시도 경로가 결정적으로 통과한다.
- Core 공용 인증은 테스트 도구를 명시적으로 설치해 격리 작업트리에서도 같은 1~7단계를 실행한다.
Manual:
- Core는 순수 계산, 어댑터는 현금·호가, 전략은 후보·슬롯·최종 수량, Portfolio Hub는 원장 정본으로 책임 경계를 대조했다.
Logs:
- 탑50 월간 최종 재실행: /tmp/top50-core-policy-final.AhUjsm
- 공용 인증: /Volumes/J_HDD/virtual_exchange/artifacts/validation/trex-top50-swing-v1/top50-core-allocation-20260729-1953-kst/run.json
- Core 실행 인증: /Volumes/J_HDD/virtual_exchange/artifacts/validation/trex-core-execution/core-capital-allocation-20260729-2005-kst/run.json