{
  "schema_version": 1,
  "case_id": "source-div-zero-guarded",
  "case_type": "finding-set",
  "origin": "synthetic",
  "backend": "source",
  "name": "source_div_zero_guarded",
  "description": "Source golden for div-by-zero: constant zero must report; guarded nonzero divisor must not report.",
  "sources": [
    "../../fixtures/security/div_const_zero.cpp",
    "../../fixtures/security/div_guarded.cpp"
  ],
  "detectors": "div-by-zero",
  "processes": 1,
  "expect": {
    "require_physical_location": true,
    "require_backend": true,
    "budgets": {
      "max_wall_seconds": 5.0,
      "max_cpu_seconds": 10.0,
      "max_rss_mb": 1024
    },
    "max_total": 1,
    "min_total": 1,
    "must_report": [
      {
        "ruleId": "fold.div-by-zero",
        "backend": "source",
        "messageRegex": "div_const_zero\\.cpp:3"
      }
    ],
    "must_not_report": [
      {
        "ruleId": "fold.div-by-zero",
        "messageRegex": "div_guarded\\.cpp"
      }
    ]
  }
}