formula_id: DOTNET_FORMULA_CANONICAL_COVERAGE_V1
version: 1
authority:
  registry: spec/13b_harness_formulas.yaml
  lifecycle: spec/51_formula_lifecycle_registry.yaml
implementation: src/dotnet/QuantEngine.Core/Domain/FormulaCanonicalCoverage.cs
verification: src/dotnet/QuantEngine.Core.Tests/FormulaCanonicalCoverageTests.cs
active_formula_ids:
  - ANTI_CHASE_V1
  - CASH_RECOVERY_V1
  - COMPREHENSIVE_PROPOSAL_V1
  - DFG_V1
  - INTRADAY_V1
  - PORTFOLIO_HEALTH_V1
  - RS_V2_FUSION
  - STOP_BREACH_V1
  - TICK_NORM_V1
success_criteria:
  coverage_audit_true_missing_count: 0
  dotnet_build_errors: 0
  canonical_test_gate: PASS