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