366a6da825
모든 spec 파일에 has_code_implementation 메타데이터 추가: - 140개 spec 파일 중 100% 태깅 완료 - 코드 참조 자동 판정 (formula_registry, decision_flow, routing 등) - tag_spec_code_implementation.py: 자동화 도구 추가 진행률: 66.4% → 100% Co-Authored-By: Claude Haiku 4.5 <noreply@anthropic.com>
51 lines
1.9 KiB
YAML
51 lines
1.9 KiB
YAML
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
|