{
  "protocol": "fprd-result-review.v1",
  "created_at": "2026-09-01T16:59:51Z",
  "review_units": [
    {
      "name": "Graph-deck synchronization",
      "claim_ids": [
        "QA-GR-D03",
        "QA-GR-T02",
        "QA-GR-C02",
        "QA-GR-X02",
        "QA-GR-D04",
        "QA-GR-C03",
        "QA-GR-X03",
        "QA-GR-T03"
      ],
      "verdict": "pass_with_wording_corrections"
    },
    {
      "name": "Hurwitz factorization-fibre core",
      "claim_ids": [
        "QA-HUR-FIB-T01",
        "QA-HUR-FIB-T02",
        "QA-HUR-FIB-T03",
        "QA-HUR-FIB-T06",
        "QA-HUR-FIB-D01",
        "QA-HUR-FIB-T08",
        "QA-HUR-FIB-C08",
        "QA-HUR-NI-T01",
        "QA-HUR-NI-T02",
        "QA-HUR-NI-C01"
      ],
      "verdict": "pass_with_scope_clarifications"
    }
  ],
  "artifacts": {
    "graph_deck_audit.py": "b6de0f8fecace35fac95deb4ee312578591acf6def624e1a020e4c37200a7b3e",
    "graph_deck_audit_output.txt": "8fe6874f6679b0032834e81a062811e5a0350eaebaed88b18674e0f26797ef3d",
    "hurwitz_fibre_audit.py": "7140a2251dbeda8277e634bb1d522506a7e92041f3d2160a9ca1df84787c52b8",
    "hurwitz_fibre_audit_output.txt": "e59a3c52e56fada2f746aca60d39e6d49a26778cb7553246481584d0a1cf26a5"
  },
  "limits": [
    "The graph theorem concerns the declared anonymous type-slot quotient, not the graph reconstruction conjecture.",
    "The Hurwitz audit checks the square-zero, mod-eight, relative Nielsen, and split-central theorem core; it does not close the separately published degree-four computations whose original helper remains unavailable."
  ]
}