{
  "captured": "2026-10-14T19:26:32.883287+00:00",
  "model": "jev-latest",
  "identity": {
    "fixed_sha256": "d582d3d27cff9562e737e38646b165fc551b1b7312886912b26b37f168b1f411",
    "broken_sha256": "29d228fe4dc94d91fc0ba405e89f2333c7f3ee44b99aed03a2bc5165e1ae97e7",
    "rule_sha256": "daee810e96bf031174edfb515cae5f6965da5d566a08eb1c05bf6d0e6cfd27b4"
  },
  "rule": "reserve must reject quantity greater than available while holding the mutex, before decrementing stock.",
  "results": {
    "broken": {
      "command": [
        "perch",
        "check",
        "inventory.h",
        "--rules",
        "reservation-checks-locked-stock",
        "--json"
      ],
      "exit_code": 3,
      "stdout": "{\n  \"path\": \"inventory.h\",\n  \"name\": \"inventory.h\",\n  \"line\": 1,\n  \"checked\": 1,\n  \"broken\": [\n    {\n      \"rule\": \"reservation-checks-locked-stock\",\n      \"said\": \"reserve must reject quantity greater than available while holding the mutex, before decrementing stock.\",\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",
        "inventory.h",
        "--rules",
        "reservation-checks-locked-stock",
        "--json"
      ],
      "exit_code": 0,
      "stdout": "{\n  \"path\": \"inventory.h\",\n  \"name\": \"inventory.h\",\n  \"line\": 1,\n  \"checked\": 1,\n  \"broken\": [],\n  \"issues\": null,\n  \"note\": null,\n  \"clean\": true\n}\n",
      "stderr": ""
    }
  }
}