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 연동 시뮬레이터로 교체될 때까지 유효하다.