kjh2064
ee3e799de1
주요 변경: - tools/build_rebalance_engine_v1.py: REBALANCE_ENGINE_V1 신규 * account_snapshot 직접 합산(_build_snap_position_map) → 소수주 분리 행 병합 * 레짐 소스 macro.REGIME_PRELIM 최우선 (GAS 와 동일) - src/gas_adapter_parts/gdf_06_rebalance.gs: runRebalanceSheet_() 신규 * Logger.log / getSpreadsheet_() 로 run_all 연동 수정 - src/gas_adapter_parts/gdc_01_fetch_fundamentals.gs * _mergePositionRecord_(): 소수주 중복 행 합산 신규 * parseInt → parseFloat (qty, availQty) - src/gas_adapter_parts/gdf_01_price_metrics.gs * 미보유 종목 SELL_READY → WATCH_EXIT_SIGNAL - spec/41_release_dag.yaml: build_rebalance_sheet 노드 추가 (step_count 63) - spec/51_formula_lifecycle_registry.yaml: REBALANCE_ENGINE_V1 등록 Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
16 lines
799 B
YAML
16 lines
799 B
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"
|