{
  "schema_version": 1,
  "case_id": "binary-guarded-division",
  "case_type": "negative-near-miss",
  "origin": "synthetic",
  "backend": "binary",
  "name": "binary_guarded_division",
  "description": "Portable binary P-Code golden: guarded machine division must not report div-by-zero.",
  "build_source": "fixtures/guarded_division.c",
  "compiler": "cc",
  "cflags": ["-O1", "-g0", "-fno-stack-protector"],
  "detectors": "security",
  "expect": {
    "require_physical_location": true,
    "require_backend": true,
    "budgets": {
      "max_wall_seconds": 5.0,
      "max_cpu_seconds": 10.0,
      "max_rss_mb": 1024
    },
    "max_by_rule": {
      "fold.div-by-zero": 0
    },
    "must_not_report": [
      {
        "ruleId": "fold.div-by-zero",
        "messageRegex": "division by zero|guarded_divide"
      }
    ]
  }
}