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"
