KArtSell.Aegis/docs/v12/01_SOURCE_AND_GAP_AUDIT.md

첨부 소스 감사와 비회귀 Delta

1. 감사 대상

Source	역할	처리
K-ArtSell 12.2 complete package	연구 코드, 결과 CSV, 정량 검토, 구성안	원본 보존 + 연구 계약 하드닝
SI 누적 통합 실행기준서 v10.0	47개 장 상세, 26 Slice, 16 Sprint, Gate	최상위 기준선으로 보존
v11 implementation acceleration	최초 .NET/Vue 실행 골격	코드 Delta의 시작점
v11.1 hardening	보안·불변성·리팩터링 보강	v12.0에 누적, testfile 제거

원본 4개 첨부파일은 attachments/original에 그대로 포함한다. 압축 해제본은 attachments/extracted에 별도 보관한다.

2. 연구 번들에서 유지해야 할 결론

• 알고리즘 상태는 생산 모델이 아니라 연구후보다.
• 매도 우선순위는 Hard impairment → Portfolio survival → Profit floor → Concentration/Liquidity → Opportunity cost → Reentry다.
• 일평가는 단타 적중률이 아니라 비용후 기대효용, calibration, ES/MDD, false-exit, 재진입 포착, 운영 무결성을 누적하는 품질관리다.
• 최소 252 거래일 Shadow, 복수 시장국면, PBO/DSR, 비용 2배 스트레스, 운영·준법 Gate가 필요하다.
• 원시 데이터, PIT 재무/컨센서스, 총수익, 상폐수익, 기업행사, Fee/Tax/FX가 완전하지 않다.

3. 코드 감사에서 확인한 개선 필요점

P0

1. v11/v11.1에는 실제 .NET 빌드 증거가 없고 현재 환경에서도 SDK가 없다.
2. FE lockfile이 없어 reproducible install이 불가능하다.
3. 기존 연구 Endpoint는 Evidence/Model/Config를 클라이언트가 전달했다.
4. Decision 테이블의 sell_fraction은 Lot 비율인지 포트폴리오 비중인지 모호했다.
5. 데이터 Read Model의 owner/version/watermark/rebuild 계약이 코드에 없었다.

P1

1. 정책 구현이 Hard/Gap/Two-close에 치우쳐 Portfolio survival, Concentration, Opportunity cost가 누락됐다.
2. Context 조회, Decision append, Outbox append의 생산형 트랜잭션 예제가 없었다.
3. Fail-closed 인증은 있었으나 개발용 안전한 실행 경로가 분리되지 않았다.
4. FE 응답 계약은 TypeScript interface만 있고 runtime 검증이 없었다.
5. Architecture Test가 문자열 검색 위주라 프로젝트 의존과 SQL schema contract를 충분히 확인하지 못했다.

4. v12.0 Delta 상태

항목	상태	증거
6개 Sell Policy 순서	구현	Domain/Policies + Unit Test
Lot ratio/portfolio weight 분리	구현	Domain contract + DB migration + FE schema
생산형 Endpoint 서버 Evidence 조회	구현 템플릿	GenerateSellDecision Slice
Research Endpoint 명시적 분리	구현	EvaluateResearchSellPolicy Slice
Decision/Context/Audit 불변성	구현	0012 migration trigger
Auth fail-closed/dev-only 분리	구현	Host/Security
Python Golden Contract	실행 검증	research/hardening/TEST_RESULTS.txt
.NET build/test	미검증	G0 Decision Required
pnpm frozen install/build	미검증	lockfile 생성·승인 필요
PostgreSQL fresh/upgrade/re-run	미검증	G0 DBA rehearsal 필요