{
  "captured": "2026-10-14T19:28:09.664428+00:00",
  "model": "jev-latest",
  "identity": {
    "fixed_sha256": "c0be56f71fb7888f88bce843d61f1fd4d0045fbc99037e81409b769fc28be9e0",
    "broken_sha256": "a5baf1ef44f605dce464034a61ed7a54147485a4ee57d2a9b0fea2acf154004d",
    "rule_sha256": "905c85dc5338d62fee1d6d28d4f49e7fd5ba7a62c3f522ea698611d88e23d8be"
  },
  "rule": "After a successful write, offset must advance by the number of bytes actually written, not assume the full buffer was accepted.",
  "results": {
    "broken": {
      "command": [
        "perch",
        "check",
        "write_all.c",
        "--rules",
        "partial-writes-advance-by-count",
        "--json"
      ],
      "exit_code": 3,
      "stdout": "{\n  \"path\": \"write_all.c\",\n  \"name\": \"write_all.c\",\n  \"line\": 1,\n  \"checked\": 1,\n  \"broken\": [\n    {\n      \"rule\": \"partial-writes-advance-by-count\",\n      \"said\": \"After a successful write, offset must advance by the number of bytes actually written, not assume the full buffer was accepted.\",\n      \"broken\": 0.75,\n      \"floor\": 0.5\n    }\n  ],\n  \"issues\": null,\n  \"note\": null,\n  \"clean\": false\n}\n",
      "stderr": ""
    },
    "fixed": {
      "command": [
        "perch",
        "check",
        "write_all.c",
        "--rules",
        "partial-writes-advance-by-count",
        "--json"
      ],
      "exit_code": 0,
      "stdout": "{\n  \"path\": \"write_all.c\",\n  \"name\": \"write_all.c\",\n  \"line\": 1,\n  \"checked\": 1,\n  \"broken\": [],\n  \"issues\": null,\n  \"note\": null,\n  \"clean\": true\n}\n",
      "stderr": ""
    }
  }
}