{
  "implementation": "independent standard-library exhaustive enumeration",
  "protocol": "fprd-result-review.v1",
  "results": {
    "connecting_obstruction": {
      "cases": [
        {
          "closed_lifts": [0, 2],
          "lifts": [0, 2],
          "obstruction": 0,
          "quotient_class": 0
        },
        {
          "closed_lifts": [],
          "lifts": [1, 3],
          "obstruction": 2,
          "quotient_class": 1
        }
      ],
      "lift_criterion_passed": true
    },
    "missing_subcomplex_boundary": {
      "distinct_differentials": [0, 2],
      "quotient_differential_well_defined": false,
      "same_proposed_quotient_class": [0, 2]
    },
    "staged_obstruction": {
      "closed_global_lifts": [],
      "correction_image": [0, 2],
      "direct_receipt": [4],
      "odd_lifts": [1, 3, 5, 7],
      "primary_receipt_mod_N": [0],
      "primary_zero_secondary_nonzero": true,
      "raw_secondary_values": [0, 2],
      "secondary_coset_choice_independent": true,
      "secondary_receipt": [4]
    },
    "transport_comparison": {
      "coefficient_group": "Z/7",
      "overlap_cycle_connecting_agreement": true,
      "twists": [
        {"compatible_lifts": 7, "cycle_class": 0, "lifts_checked": 343, "twist": 0},
        {"compatible_lifts": 0, "cycle_class": 1, "lifts_checked": 343, "twist": 1},
        {"compatible_lifts": 0, "cycle_class": 2, "lifts_checked": 343, "twist": 2},
        {"compatible_lifts": 0, "cycle_class": 3, "lifts_checked": 343, "twist": 3},
        {"compatible_lifts": 0, "cycle_class": 4, "lifts_checked": 343, "twist": 4},
        {"compatible_lifts": 0, "cycle_class": 5, "lifts_checked": 343, "twist": 5},
        {"compatible_lifts": 0, "cycle_class": 6, "lifts_checked": 343, "twist": 6}
      ]
    }
  },
  "review_unit": "cohomological sewing core",
  "status": "pass"
}