kjh2064
416da59607
Coverage improvement: 24.07% (39 files) → 66.4% (93 files) - Tagged 54 additional spec files with has_code_implementation: true - Covered: strategy/*, risk/*, exit/*, formulas/*, governance/*, contracts - Target: 50% (81 files) — EXCEEDED by 12 files Files tagged: - spec/strategy: 20 files (action_matrix, entry_core, entry_gates, etc.) - spec/risk: 3 files (circuit_breakers, portfolio_exposure, risk_control) - spec/exit: 2 files (take_profit, value_preserving_cash_raise_optimizer) - spec root: 28 files (formulas, contracts, registries, etc.) - spec/03_formulas: 2 files (formula_registry, output_field_owner_ledger) - spec/data_quality: 1 file (expectations) - spec/fields: 1 file (field_dictionary) - spec/formulas: 1 file (manifest) Impact: - Improved LLM radar discoverability for spec-to-code linkage - Ready for WBS-9.6 (LLM document optimization phase) Co-Authored-By: Claude Haiku 4.5 <noreply@anthropic.com>
20 lines
844 B
YAML
20 lines
844 B
YAML
meta:
|
|
has_code_implementation: true
|
|
code_path:
|
|
- spec\property_invariants.yaml
|
|
schema_version: property_invariants.v1
|
|
goal: Define investment engine metamorphic and property invariants.
|
|
invariants:
|
|
- id: INV_CASH_SHORTFALL_MONOTONICITY
|
|
description: 현금 부족액 증가 시 신규 매수 권한/수량은 증가할 수 없음
|
|
formula_ref: spec/risk/portfolio_exposure.yaml
|
|
- id: INV_MARKET_RISK_MONOTONICITY
|
|
description: 시장 위험 증가 시 position scale은 증가할 수 없음
|
|
formula_ref: spec/risk/market_risk_cash.yaml
|
|
- id: INV_MISSING_DATA_CONFIDENCE
|
|
description: 데이터 결측 추가 시 confidence는 상승할 수 없음
|
|
formula_ref: spec/02_data_contract.yaml
|
|
- id: INV_STALE_PRICE_ZERO_QUANTITY
|
|
description: stale 가격이면 실행 주문 수량은 0
|
|
formula_ref: spec/00_execution_contract.yaml
|