{
  "captured": "2026-10-14T19:19:08.543130+00:00",
  "model": "jev-latest",
  "identity": {
    "fixed_sha256": "12a15aa9907bff6e032b56fd94305b30e408fbac46560e4981f732da144074c9",
    "broken_sha256": "5c6f0d05ef461975d6ba4ad298fe1444da776bdbd065a5ed880cd39e225255de",
    "rule_sha256": "d0e53290568c8270e1c2c10e614a471bae9ff324057f224275e00245a0daabc1"
  },
  "rule": "The stock UPDATE must include available >= the requested quantity in its WHERE predicate, so concurrent reservations cannot decrement below zero.",
  "results": {
    "broken": {
      "command": [
        "perch",
        "check",
        "reserve.cjs",
        "--rules",
        "stock-never-negative",
        "--json"
      ],
      "exit_code": 3,
      "stdout": "{\n  \"path\": \"reserve.cjs\",\n  \"name\": \"reserve.cjs\",\n  \"line\": 1,\n  \"checked\": 1,\n  \"broken\": [\n    {\n      \"rule\": \"stock-never-negative\",\n      \"said\": \"The stock UPDATE must include available >= the requested quantity in its WHERE predicate, so concurrent reservations cannot decrement below zero.\",\n      \"broken\": 0.72,\n      \"floor\": 0.5\n    }\n  ],\n  \"issues\": null,\n  \"note\": null,\n  \"clean\": false\n}\n",
      "stderr": ""
    },
    "fixed": {
      "command": [
        "perch",
        "check",
        "reserve.cjs",
        "--rules",
        "stock-never-negative",
        "--json"
      ],
      "exit_code": 0,
      "stdout": "{\n  \"path\": \"reserve.cjs\",\n  \"name\": \"reserve.cjs\",\n  \"line\": 1,\n  \"checked\": 1,\n  \"broken\": [],\n  \"issues\": null,\n  \"note\": null,\n  \"clean\": true\n}\n",
      "stderr": ""
    }
  }
}