{
  "captured": "2026-10-14T19:28:04.935512+00:00",
  "model": "jev-latest",
  "identity": {
    "fixed_sha256": "9e2c601549ef3bb8fe56ea3a977ea8c4da346f65ed625952c8a24583116f8750",
    "broken_sha256": "a872b0f414ea0799f57f61d3de0e272742981ca8500cbec0bed45d98598f7bfe",
    "rule_sha256": "8a432cae4cc80e84438a1fe3beb5fe9edec7dc28f1c99474c00e58e0eeda47f4"
  },
  "rule": "The order INSERT must run only if the inventory UPDATE affected one row. A zero-row reservation must raise an error before insertion.",
  "results": {
    "broken": {
      "command": [
        "perch",
        "check",
        "src/main/scala/Reserve.scala",
        "--rules",
        "failed-stock-check-prevents-insert",
        "--json"
      ],
      "exit_code": 3,
      "stdout": "{\n  \"path\": \"src/main/scala/Reserve.scala\",\n  \"name\": \"src/main/scala/Reserve.scala\",\n  \"line\": 1,\n  \"checked\": 1,\n  \"broken\": [\n    {\n      \"rule\": \"failed-stock-check-prevents-insert\",\n      \"said\": \"The order INSERT must run only if the inventory UPDATE affected one row. A zero-row reservation must raise an error before insertion.\",\n      \"broken\": 0.86,\n      \"floor\": 0.5\n    }\n  ],\n  \"issues\": null,\n  \"note\": null,\n  \"clean\": false\n}\n",
      "stderr": ""
    },
    "fixed": {
      "command": [
        "perch",
        "check",
        "src/main/scala/Reserve.scala",
        "--rules",
        "failed-stock-check-prevents-insert",
        "--json"
      ],
      "exit_code": 0,
      "stdout": "{\n  \"path\": \"src/main/scala/Reserve.scala\",\n  \"name\": \"src/main/scala/Reserve.scala\",\n  \"line\": 1,\n  \"checked\": 1,\n  \"broken\": [],\n  \"issues\": null,\n  \"note\": null,\n  \"clean\": true\n}\n",
      "stderr": ""
    }
  }
}