behavioral_coverage_contract: formula_id: BEHAVIORAL_COVERAGE_CONTRACT_V1 has_code_implementation: true code_path: "tools/validate_behavioral_coverage_v1.py" version: "2026-05-30" objective: | "formula_id 문자열이 .gs 텍스트에 등장한다" 는 문자열 커버리지(presence-based)를 폐기하고 "주어진 입력에 대해 golden(손계산 정답) == Python미러 == GAS미러 가 허용오차 내 일치한다" 는 행위기반 커버리지(behavioral coverage)로 전환한다. 구조적 거짓(결함 1)을 제거하기 위한 근본 측정 기반. # 수치로 정의된 완료점 (completion gate) completion_gate: behavioral_coverage_pct_min: 100.0 # decision-critical 공식 전부 1개 이상 통과 케이스 implementation_divergence_count_max: 0 # Python 미러 ≠ GAS 미러 건수 반드시 0 golden_case_min_per_formula: 1 # 공식당 최소 1개 golden case 필수 provenance_allowed: # expected 값의 허용 출처 — 구현 역복사 금지 - HAND_COMPUTED # 공식 정의(spec/13)에서 손으로 1회 계산 - SPEC_DERIVED # spec/13 expression을 기계적 치환한 결과 # 행위기반 커버리지 정의 behavioral_coverage_definition: numerator: "≥1개 golden case가 PASS인 decision-critical 공식 수" denominator: "숫자·enum 출력을 가진 decision-critical 공식 수" formula: "behavioral_coverage_pct = (numerator / denominator) * 100" pass_threshold: 100.0 # 3-way 동등성 게이트 three_way_gate: python_vs_golden_tolerance: "각 공식 케이스 yaml의 tolerance 필드 기준" gas_vs_golden_tolerance: "동일" divergence_definition: | python_output ≠ gas_output (허용오차 초과) 이면 IMPLEMENTATION_DIVERGENCE. 이는 "yaml 지침과 구현이 다른 숫자를 낸다"는 직접 증거이며 B06에서 근본 정정 필요. divergence_resolution: | spec/13_formula_registry.yaml 의 expression이 기준. GAS 또는 Python 중 spec에서 벗어난 쪽을 수정한다. LLM 추정으로 수정 금지. spec expression 기계적 적용. # decision-critical 40개 공식 명단 # milestone_1 = 이번 작업(golden case 작성 + 3-way 검증 대상) # milestone_2 = 후속 단계 decision_critical_formulas: # ── 가격 산출 공식 (6) ────────────────────────────────────────────── - id: TICK_NORMALIZER_V1 milestone: 1 category: price python_mirror: compute_formula_outputs.normalize_tick gas_function: tickNormalize_ gas_file: gas_lib.gs known_divergence: "GAS=Math.floor, Python=round → 비정확 배수에서 결과 상이" spec_intent: "KRX HTS 입력용 floor-to-tick (GAS 동작이 spec 의도에 부합)" - id: SELL_PRICE_SANITY_V1 milestone: 1 category: price python_mirror: compute_formula_outputs.check_sell_price_sanity gas_function: calcSellPriceSanityV2_ gas_file: gas_data_feed.gs note: "GAS V2 함수명 상이 — 로직 일치 여부 검증 필요" - id: PULLBACK_ENTRY_TRIGGER_V1 milestone: 1 category: price python_mirror: compute_formula_outputs.compute_pullback_trigger gas_function: null gas_file: gas_data_feed.gs note: "GAS에서 calcPullbackTrigger_ 독립 함수 미확인 — calcAntiLateEntryGateV2Impl_ 내부 로직으로 통합" - id: PROFIT_RATCHET_TIERED_V2 milestone: 1 category: price python_mirror: compute_formula_outputs.compute_trailing_stop_v2 gas_function: null gas_file: gas_data_feed.gs note: "GAS calcPrices_ 내부에 인라인 — 독립 함수 미확인" - id: PROFIT_LOCK_STAGE_V1 milestone: 1 category: price python_mirror: compute_formula_outputs.classify_profit_lock_stage gas_function: null gas_file: gas_data_feed.gs known_divergence: | Python: APEX_SUPER(>=60),APEX_TRAILING(>=40),PROFIT_LOCK_30,PROFIT_LOCK_20,PROFIT_LOCK_10,BREAKEVEN_RATCHET,NORMAL GAS calcPrices_: PROFIT_LOCK_STAGE_50(>=50),PROFIT_LOCK_STAGE_30,PROFIT_LOCK_STAGE_20,PROFIT_LOCK_STAGE_10,NORMAL stage 명칭·임계값 모두 불일치 — B06 정정 필수 - id: STOP_PRICE_ADEQUACY_V1 milestone: 1 category: price python_mirror: null gas_function: calcStopAdequacyRows_ gas_file: gas_data_feed.gs note: "Python 미러 미구현 — run_formula_golden_cases_v2.py에 추가 필요" # ── 수량·사이징 공식 (5) ──────────────────────────────────────────── - id: POSITION_SIZE_REGIME_SCALE_V1 milestone: 1 category: sizing python_mirror: null gas_function: calcRegimeSizeScale_ gas_file: gas_data_feed.gs note: "Python 미러 미구현 — run_formula_golden_cases_v2.py에 추가" - id: DRAWDOWN_GUARD_V1 milestone: 1 category: sizing python_mirror: null gas_function: calcDrawdownGuard_ gas_file: gas_data_feed.gs note: "Python 미러 미구현 — run_formula_golden_cases_v2.py에 추가" - id: CASH_RECOVERY_OPTIMIZER_V1 milestone: 1 category: sizing python_mirror: compute_formula_outputs.compute_cash_recovery_optimizer gas_function: null gas_file: null note: "Python-only formula. GAS 미러 없음(Python tool 전용)." - id: VALUE_PRESERVATION_SCORER_V1 milestone: 1 category: sizing python_mirror: null gas_function: null note: "tools/build_value_preservation_scorer_v1.py 전용 — Python 미러 추출 필요" - id: TP_QUANTITY_LADDER_V1 milestone: 2 category: sizing gas_function: calcTpQuantityLadder_ gas_file: gas_data_feed.gs # ── 진입 게이트 공식 (8) ──────────────────────────────────────────── - id: VELOCITY_V1 milestone: 1 category: entry_gate python_mirror: inline gas_function: inline_calcAntiLateEntryGateV2Impl_ note: "velocity_1d = (close-prevClose)/prevClose*100 — 양측 인라인 계산" - id: ANTI_LATE_ENTRY_GATE_V2 milestone: 1 category: entry_gate python_mirror: null gas_function: calcAntiLateEntryGateV2Impl_ gas_file: gas_apex_alpha_watch.gs note: "Python에서 gate1만 compute_anti_chasing으로 분리됨 — 전체 3-gate 검증은 GAS 위주" - id: ANTI_CHASING_VELOCITY_V1 milestone: 1 category: entry_gate python_mirror: compute_formula_outputs.compute_anti_chasing gas_function: null note: "ANTI_LATE_ENTRY_GATE_V2의 gate1 서브셋 — Python 독립 구현" - id: FLOW_CREDIT_V1 milestone: 2 category: entry_gate gas_function: null note: "GAS 내부 인라인 — spec/13_formula_registry.yaml expression 존재" - id: BREAKOUT_QUALITY_GATE_V2 milestone: 2 category: entry_gate gas_function: calcBreakoutQualityGate_ gas_file: gas_data_feed.gs - id: ANTI_WHIPSAW_GATE_V1 milestone: 2 category: entry_gate gas_function: calcAntiWhipsawGate_ gas_file: gas_data_feed.gs - id: POSITION_COUNT_LIMIT_V1 milestone: 1 category: entry_gate python_mirror: null gas_function: calcPositionCountLimit_ gas_file: gas_data_feed.gs note: "Python 미러 미구현 — run_formula_golden_cases_v2.py에 추가" - id: WIN_LOSS_STREAK_GUARD_V1 milestone: 2 category: entry_gate gas_function: calcWinLossStreakGuard_ gas_file: gas_data_feed.gs # ── 분배·설거지 탐지 공식 (3) ────────────────────────────────────── - id: DISTRIBUTION_SELL_DETECTOR_V1 milestone: 2 category: distribution gas_function: calcDistributionRiskRow_ gas_file: gas_data_feed.gs note: "6+2 신호 가중합산. SIG_5(OBV기울기) GAS 구현 확인 필요" - id: PRE_DISTRIBUTION_EARLY_WARNING_V1 milestone: 2 category: distribution gas_function: calcDistributionRiskRow_ gas_file: gas_data_feed.gs note: "calcDistributionRiskRow_ 내 pre_distribution_warning 필드로 출력" - id: SECTOR_ROTATION_MOMENTUM_V1 milestone: 2 category: distribution gas_function: calcSectorRotationMomentum_ gas_file: gas_data_feed.gs # ── 현금·매도 엔진 공식 (6) ──────────────────────────────────────── - id: DYNAMIC_HEAT_GATE_V1 milestone: 1 category: cash_sell python_mirror: null gas_function: calcDynamicHeatThresholds_ gas_file: gas_data_feed.gs note: "Python 미러 미구현 — run_formula_golden_cases_v2.py에 추가" - id: CASH_FLOOR_V1 milestone: 1 category: cash_sell python_mirror: null gas_function: calcCashFloor_ gas_file: gas_data_feed.gs note: "Python 미러 미구현 — run_formula_golden_cases_v2.py에 추가" - id: CASH_SHORTFALL_V1 milestone: 2 category: cash_sell gas_function: calcCashShortfallHarness_ gas_file: gas_data_feed.gs - id: K2_STAGED_REBOUND_SELL_V1 milestone: 2 category: cash_sell gas_function: null note: "spec/13b_harness_formulas.yaml에 정의. GAS calcApexTradePlan_ 내부" - id: SELL_WATERFALL_ENGINE_V2 milestone: 2 category: cash_sell python_mirror: null note: "tools/build_sell_waterfall_engine_v2.py 전용" - id: REGIME_TRIM_GUIDANCE_V1 milestone: 2 category: cash_sell gas_function: calcRegimeTrimGuidance_ gas_file: gas_data_feed.gs # ── 포트폴리오 게이트 공식 (12) ──────────────────────────────────── - id: REGIME_CASH_UPLIFT_V1 milestone: 1 category: portfolio_gate python_mirror: null gas_function: calcRegimeCashUplift_ gas_file: gas_data_feed.gs note: "Python 미러 미구현 — run_formula_golden_cases_v2.py에 추가" - id: SEMICONDUCTOR_CLUSTER_GATE_V1 milestone: 1 category: portfolio_gate python_mirror: null gas_function: calcSemiconductorClusterGate_ gas_file: gas_data_feed.gs note: "Python 미러 미구현" - id: SINGLE_POSITION_WEIGHT_CAP_V1 milestone: 2 category: portfolio_gate gas_function: calcSinglePositionWeightCap_ gas_file: gas_data_feed.gs - id: PORTFOLIO_BETA_GATE_V1 milestone: 2 category: portfolio_gate gas_function: calcPortfolioBetaGate_ gas_file: gas_data_feed.gs - id: SECTOR_CONCENTRATION_LIMIT_V1 milestone: 2 category: portfolio_gate gas_function: calcSectorConcentrationGate_ gas_file: gas_data_feed.gs - id: PORTFOLIO_DRAWDOWN_GATE_V1 milestone: 2 category: portfolio_gate gas_function: calcPortfolioDrawdownGate_ gas_file: gas_data_feed.gs - id: FINAL_JUDGMENT_GATE_V1 milestone: 2 category: portfolio_gate python_mirror: null note: "tools/build_final_judgment_gate_v1.py 전용 — AND-11 복합 게이트" - id: STOP_BREACH_ALERT_V1 milestone: 2 category: portfolio_gate gas_function: calcStopBreachAlert_ gas_file: gas_data_feed.gs - id: TP_TRIGGER_ALERT_V1 milestone: 2 category: portfolio_gate gas_function: calcTpTriggerAlert_ gas_file: gas_data_feed.gs - id: HEAT_CONCENTRATION_ALERT_V1 milestone: 2 category: portfolio_gate gas_function: calcHeatConcentrationAlert_ gas_file: gas_data_feed.gs - id: PORTFOLIO_HEALTH_SCORE_V1 milestone: 2 category: portfolio_gate gas_function: calcPortfolioHealthScore_ gas_file: gas_data_feed.gs - id: BREAKEVEN_RATCHET_V1 milestone: 2 category: portfolio_gate gas_function: calcProfitPreservationRow_ gas_file: gas_data_feed.gs # milestone_1+2 달성 현황 (2026-05-30 기준) — 실제 골든케이스 보유 공식 milestone_1_count: 37 milestone_1_target_formulas: # 원래 milestone_1 (18개) - TICK_NORMALIZER_V1 - SELL_PRICE_SANITY_V1 - PULLBACK_ENTRY_TRIGGER_V1 - PROFIT_RATCHET_TIERED_V2 - PROFIT_LOCK_STAGE_V1 - STOP_PRICE_ADEQUACY_V1 - POSITION_SIZE_REGIME_SCALE_V1 - DRAWDOWN_GUARD_V1 - CASH_RECOVERY_OPTIMIZER_V1 - VALUE_PRESERVATION_SCORER_V1 - VELOCITY_V1 - ANTI_LATE_ENTRY_GATE_V2 - ANTI_CHASING_VELOCITY_V1 - POSITION_COUNT_LIMIT_V1 - DYNAMIC_HEAT_GATE_V1 - CASH_FLOOR_V1 - REGIME_CASH_UPLIFT_V1 - SEMICONDUCTOR_CLUSTER_GATE_V1 # milestone_2 달성 (추가 19개) - WIN_LOSS_STREAK_GUARD_V1 - SINGLE_POSITION_WEIGHT_CAP_V1 # LEADER_POSITION_WEIGHT_CAP_V1로 강화 - REGIME_TRIM_GUIDANCE_V1 - HEAT_CONCENTRATION_ALERT_V1 - SECTOR_CONCENTRATION_LIMIT_V1 - CASH_SHORTFALL_V1 - K2_STAGED_REBOUND_SELL_V1 - PORTFOLIO_DRAWDOWN_GATE_V1 - PROFIT_LOCK_STAGE_V1 # GAS 단계명 정정 포함 (B06) # 반도체 집중 허용 하네스 (신규) - MARKET_WEIGHT_AWARE_CLUSTER_GATE_V1 - LEADER_POSITION_WEIGHT_CAP_V1 # 산출 증빙 아티팩트 evidence_artifacts: - Temp/formula_behavioral_coverage_v1.json - Temp/formula_gas_parity_v1.json # 완료 거부 조건 (Reject Conditions) reject_conditions: - "implementation_divergence_count > 0 인데 '완료' 선언" - "golden expected 값을 .gs 출력에서 역복사 (순환논리 — spec/13 expression에서 독립 계산해야 함)" - "예측 정확도를 '100% 달성'으로 서술 (truthfulness_guard 위반)" - "임계값·가격·수량을 LLM 추정으로 생성" # 명령어 목록 (저성능 LLM도 따라 실행 가능) ordered_commands: - id: B01 command: "# 이 파일 생성 완료" expect: {file_exists: "spec/26_behavioral_coverage_contract.yaml"} - id: B02 command: "# spec/formula_golden_cases_v2.yaml 작성" expect: {cases_total_min: 18, provenance: "HAND_COMPUTED or SPEC_DERIVED only"} - id: B03 command: "python tools/run_formula_golden_cases_v2.py" expect: {python_fail: 0, output: "Temp/formula_behavioral_coverage_v1.json"} fail_code: BCH_PY_MIRROR_FAIL - id: B04 command: "node tools/run_gas_golden_parity.js" expect: {gas_pass_min: 1, output: "Temp/formula_gas_parity_v1.json"} fail_code: BCH_GAS_PARITY_FAIL - id: B05 command: "python tools/validate_behavioral_coverage_v1.py" expect: status_token: BEHAVIORAL_COVERAGE_V1_OK behavioral_coverage_pct: 100.0 implementation_divergence_count: 0 fail_code: BEHAVIORAL_COVERAGE_V1_FAIL - id: B06 command: "# divergence 발견 시 spec/13 기준으로 GAS 또는 Python 수정" expect: {divergence_count: 0} fail_code: BCH_DIVERGENCE_OPEN - id: B07 command: "npm run validate-behavioral-coverage" expect: {exit_code: 0} fail_code: BCH_WIRING_FAIL