kjh2064
5166750b53
2026-06-21 비판적 리뷰에서 spec/governance YAML이 코드 상태와 어긋난 채로 방치되던 3개 구체적 사례를 발견하고 정정했다. 근본 원인(동기화를 보장하는 장치 없음)에 대응하는 신규 CI 게이트도 함께 추가한다. - spec/aliases.yaml: deprecated alias 17건 제거(활성 참조 0건 확인 후, 2026-06-30 데드라인 전). role: deprecated_redirect인 spec/03_risk_policy.yaml, spec/04_strategy_rules.yaml 2개만 실삭제 — spec/06_exit_policy.yaml은 role: compatibility_index(영구유지 설계)였음을 재확인해 보존 - governance/gas_logic_migration_ledger_v1.yaml: 존재하지 않는 파일을 canonical 구현으로 인용하던 오류 2건 발견·정정, parity 테스트 부재로 GAS 코드 삭제 보류(F12/F13/F14) - spec/13_formula_registry.yaml: OVERHANG_PRESSURE_V1의 "-500000" 절대값 폴백을 avg_volume_5d 비례식으로 교체(EXPERT_PRIOR 등록) - tools/validate_specs.py: validate_spec_code_sync() 신규 — has_code_implementation/ code_path 필드가 있는 spec만 검사(점진적 롤아웃, 기존 PASS 상태 비파괴), 12개 파일 1차 태깅
71 lines
2.4 KiB
YAML
71 lines
2.4 KiB
YAML
schema_version: execution_simulator_contract.v1
|
|
contract_id: H004_EXECUTION_SIMULATOR
|
|
harness_file: tools/validate_execution_simulator_v1.py
|
|
authority: spec/55_execution_simulator_contract.yaml
|
|
has_code_implementation: true
|
|
code_path: "tools/validate_execution_simulator_v1.py"
|
|
created_at: '2026-06-10T23:29:00+09:00'
|
|
purpose: >
|
|
틱 정규화, 최소주문수량, 예수금, D+2 현금, 슬리피지 적용 후
|
|
실제 주문 가능성을 검증한다. 유효하지 않은 주문이 단 1건이라도
|
|
있으면 릴리즈를 차단한다.
|
|
|
|
simulation_parameters:
|
|
tick_normalization:
|
|
rule: 가격은 해당 종목의 호가단위(tick size)로 내림하여 정규화
|
|
source: spec/13_formula_registry.yaml → TICK_NORMALIZATION_V1
|
|
minimum_order_quantity:
|
|
krx_stock: 1주
|
|
etf: 1주
|
|
slippage_model:
|
|
type: fixed_spread
|
|
bps: 5
|
|
note: 시장가 주문 기준 평균 슬리피지. 추후 실측 데이터로 보정 예정.
|
|
cash_floor:
|
|
d_plus_2_recognition: true
|
|
minimum_reserve_krw: 10000000
|
|
note: D+2 결제 예정 현금은 즉시 가용 현금으로 인정하되, 매수 후 잔여 현금이 최소 준비금 미만이면 차단
|
|
goal_target_krw: 500000000
|
|
|
|
inputs:
|
|
- field: final_decision_packet_active.json
|
|
source: Temp/final_decision_packet_active.json
|
|
required: true
|
|
- field: account_snapshot
|
|
source: spec/15_account_snapshot_contract.yaml
|
|
required: true
|
|
|
|
output_fields:
|
|
- name: invalid_order_count
|
|
type: int
|
|
description: 틱·수량·현금 조건 위반 주문 수
|
|
- name: cash_floor_after_orders_krw
|
|
type: float
|
|
description: 모든 매수 주문 실행 후 예상 잔여 현금
|
|
- name: slippage_adjusted_orders
|
|
type: list[dict]
|
|
description: 슬리피지 반영 후 최종 주문 목록
|
|
- name: gate
|
|
type: str
|
|
enum: [PASS, FAIL]
|
|
|
|
acceptance_criteria:
|
|
- invalid_order_count: 0
|
|
- cash_floor_after_orders_krw_gte_required: true
|
|
|
|
hard_gates:
|
|
- gate_id: NO_INVALID_ORDERS
|
|
condition: invalid_order_count == 0
|
|
on_fail: BLOCK_RELEASE
|
|
- gate_id: CASH_FLOOR_MAINTAINED
|
|
condition: cash_floor_after_orders_krw >= minimum_reserve_krw
|
|
on_fail: BLOCK_RELEASE
|
|
- gate_id: TICK_NORMALIZED
|
|
condition: all order prices are tick-normalized
|
|
on_fail: BLOCK_RELEASE
|
|
|
|
owner: risk_manager
|
|
lifecycle_state: active
|
|
retirement_condition: >
|
|
실제 증권사 API 연동 시뮬레이터로 교체될 때까지 유효하다.
|