{
  "certificate_id": "FPRD-RESULT-REVIEW-2026-09-01-BATCH-13",
  "review_units": [
    "Hurwitz support-packet and positivity boundary",
    "Move-graph lifting and monodromy"
  ],
  "status": "pass",
  "independent_checker": {
    "path": "quotient_arsenal_boundary_audit.py",
    "sha256": "c6e3c7ba88c95d0d97b7393786a121759a4cc3533026d0c668f5a58860104241"
  },
  "canonical_output": {
    "path": "quotient_arsenal_boundary_audit_output.json",
    "sha256": "fae5a55fe7665877ed4925e62f2f29fab5bc9b798e46fb02f2205902fb63e695"
  },
  "checks": {
    "hurwitz_support_multisets": 2925,
    "hurwitz_budget_solutions": 55,
    "hurwitz_positive_shadow_words": 256,
    "move_graph_boards": [4, 5, 6],
    "equitable_walk_horizons": [0, 1, 2, 3, 4],
    "hostile_controls": [
      "negative r=0 half-twist budget",
      "C4 parallel-edge monodromy loss",
      "6-by-6 zero-voltage cycle splitting"
    ]
  },
  "blocked_replays": [
    "QA-BUCK-COLLAPSE-016 and QA-BUCK-MOVING-017 retain L3 because the archived closure scripts still require the missing audit_winding_mitm_hits.py helper"
  ]
}