acceptance_criteria:
- every_final_verdict_has_ordered_gate_trace: true
- missing_gate_trace_blocks_release: true
- verdict_replay_match_pct: 100.0
authority: spec/52_decision_trace_replay_contract.yaml
code_path: tools/validate_decision_trace_replay_v1.py
contract_id: H001_DECISION_TRACE_REPLAY
created_at: '2026-06-10T23:29:00+09:00'
hard_gates:
- condition: all decisions have gate_trace length >= 1
  gate_id: TRACE_COMPLETE
  on_fail: BLOCK_RELEASE
- condition: verdict_replay_match_pct == 100.0
  gate_id: VERDICT_REPLAY_MATCH
  on_fail: BLOCK_RELEASE
harness_file: tools/validate_decision_trace_replay_v1.py
has_code_implementation: true
inputs:
- field: final_decision_packet_active.json
  required: true
  source: Temp/final_decision_packet_active.json
- field: computed_harness_v1.json
  required: true
  source: Temp/computed_harness_v1.json
lifecycle_state: active
meta:
  has_code_implementation: false
non_negotiable:
- LLM은 gate_trace를 번복하거나 재해석하지 않는다
- replay 시 동일 packet 입력이면 동일 결론을 내야 한다
- trace가 없는 결론은 DATA_MISSING으로 표기하고 릴리즈를 차단한다
output_fields:
- description: 결론까지 순서대로 통과한 gate ID 목록
  name: gate_trace
  type: list[str]
- description: 결론에 사용된 feature key → value 맵
  name: feature_trace
  type: dict
- description: 재실행 시 최종 verdict가 동일한지 여부
  name: verdict_replay_match
  type: bool
owner: quant_architect
purpose: '최종 매수/보유/매도 결론까지 사용된 모든 gate와 feature를 trace로 복원하여, 결정의 재현성을 보장한다. 결론이 달라지는
  trace 불일치는 릴리즈를 차단한다.

  '
retirement_condition: '대체 결정 추적 계약이 이 계약을 명시적으로 교체 선언할 때까지 유효하다.

  '
schema_version: decision_trace_replay_contract.v1
