{
  "controls": {
    "cech_presheaf": {
      "compatible_pairs": [
        [0, 0],
        [1, 1]
      ],
      "global_image": [
        [0, 0]
      ],
      "local_pairs_checked": 4,
      "nonextendable_compatible_pairs": [
        [1, 1]
      ]
    },
    "heisenberg_curvature": {
      "central_shift_pairs_checked": 441,
      "direct_product_control_bracket": [0, 0, 0],
      "distinct_brackets": [
        [0, 0, 1]
      ]
    },
    "secondary_coset": {
      "coefficient_group": "Z/4",
      "induced_partial_image": [0, 2],
      "quotient_cosets": [
        [0, 2],
        [0, 2]
      ],
      "raw_secondary_representatives": [0, 2]
    },
    "split_exterior": {
      "direct_product_dimensions": [1, 3, 3, 1],
      "factor_dimensions": [
        [1, 1],
        [1, 2, 1]
      ],
      "split_curvature": [0, 0, 0]
    },
    "totalization_sign": {
      "degrees_checked": 8,
      "results": [
        {"internal_degree": 0, "mixed_term_coefficient": 0},
        {"internal_degree": 1, "mixed_term_coefficient": 0},
        {"internal_degree": 2, "mixed_term_coefficient": 0},
        {"internal_degree": 3, "mixed_term_coefficient": 0},
        {"internal_degree": 4, "mixed_term_coefficient": 0},
        {"internal_degree": 5, "mixed_term_coefficient": 0},
        {"internal_degree": 6, "mixed_term_coefficient": 0},
        {"internal_degree": 7, "mixed_term_coefficient": 0}
      ]
    }
  },
  "reviewed_claims": [
    "QA-CECH-A1",
    "QA-CECH-F2",
    "QA-XR-T1",
    "QA-XR-F2",
    "QA-STAGE-T1",
    "QA-STAGE-F2"
  ],
  "schema": "fprd.local-to-global-review.v1",
  "scope": "Finite exact controls for the published examples and sign conventions; the all-complex statements rely on the displayed proofs.",
  "script_sha256": "4912cff48a5b3717c911c43a08bd51fe2b3fe0832977674715a6f4b6b8cf56f7",
  "status": "pass"
}