{
  "protocol": "fprd-quotient-arsenal-public-reconciliation.v1",
  "reviewed_at": "2026-08-30",
  "scope": "Complete durable Quotient Arsenal inventory reconciled to public result and maturity records",
  "public_claim_records": 131,
  "families": [
    "matrix conjugation and future observations",
    "cohomological obstruction and sewing",
    "Collatz guard chambers",
    "move-graph lifting and monodromy",
    "reverse-and-add atlases and response towers",
    "Hurwitz factorization fibres",
    "graph-deck synchronization"
  ],
  "reproductions": [
    {
      "packet": "QA-MX-STAGE1 revision 3",
      "command": "python3 verify_matrix_stage1_certificate.py",
      "status": "pass",
      "checks": {
        "partitions": 44,
        "dominance_pairs": 233,
        "centralizer_formula": "pass",
        "future_observation": "pass",
        "nullity_receipt_recovery": "pass"
      }
    },
    {
      "packet": "QA-STAGE2-RECEIPTS revision 3",
      "commands": [
        "python3 verify_stage2_receipts.py",
        "python3 check_cech_and_stages.py",
        "python3 check_probe_obstruction.py"
      ],
      "status": "pass",
      "checks": {
        "probe_complex": "pass",
        "connecting_receipt": "pass",
        "cech_transport": "pass",
        "primary_secondary_stages": "pass",
        "nonzero_controls": "pass"
      }
    },
    {
      "packet": "QA-COL-GUARD-STAGE3 revision 1",
      "commands": [
        "python3 verify_guard_census.py",
        "python3 check_atlas_cokernel.py",
        "python3 check_fixed_slope.py",
        "python3 check_rotation_repetition.py"
      ],
      "status": "pass",
      "checks": {
        "parity_cylinders": 8190,
        "affine_compositions": 20910,
        "guard_seams": 4284,
        "primitive_necklaces": 8800,
        "deterministic_selectors": 65812,
        "rotation_cuts": 81924,
        "repetitions": 10230
      }
    },
    {
      "packet": "QA-MG-STAGE4 revision 1",
      "commands": [
        "python3 verify_knight_move_certificate.py",
        "python3 check_knight_move_quotients.py"
      ],
      "status": "pass",
      "checks": {
        "board_counts": "pass",
        "parallel_edge_monodromy": "pass",
        "six_by_six_voltage_zero_components": 2,
        "six_by_six_voltage_one_cycle_vertices": 36
      }
    },
    {
      "packet": "QA-RA-STAGE5 revision 1",
      "command": "python3 check_cross_length_atlas.py",
      "status": "pass",
      "checks": {
        "profiles": 1208130,
        "overlap_values": 310,
        "bases": "2 through 12",
        "lengths": "1 through 8"
      }
    },
    {
      "packet": "Stage 6 separated-flank and all-horizon response",
      "commands": [
        "python3 verify_separated_flank_independent.py",
        "python3 verify_all_horizon_independent.py"
      ],
      "status": "pass",
      "checks": {
        "separated_flank_samples": 125000,
        "two_step_samples": 109475,
        "delayed_pairs": 79,
        "largest_sanity_horizon": 483
      }
    },
    {
      "packet": "Hurwitz factorization fibre working revision 10",
      "commands": [
        "python3 check_relative_nielsen_translation.py",
        "python3 check_two_layer_quadratic_receipt.py",
        "python3 verify_quadratic_fibre_certificate.py"
      ],
      "status": "partial-pass",
      "checks": {
        "relative_nielsen_tuples": 125,
        "relative_nielsen_identities": 1625,
        "two_layer_algebra_checks": 69632,
        "quadratic_certificate_hostile_checks": "8 of 8 pass"
      },
      "blocker": "The full degree-four product-fibre replay and four dependent scripts import audit_winding_mitm_hits.py, which is absent from the durable archive. Affected computational claims remain at L3."
    },
    {
      "packet": "Graph reconstruction working revision 2",
      "commands": [
        "python3 verify_two_p3_matching_defect.py",
        "python3 verify_two_p3_slot_obstruction.py"
      ],
      "status": "pass",
      "checks": {
        "slot_synchronizations": 18,
        "symmetry_orbits": 2,
        "row_namings_per_chamber": 4096,
        "equivariance_checks": 216,
        "zero_defect_synchronizations": 6,
        "nonzero_defect_synchronizations": 12
      }
    }
  ],
  "reconciliation_decisions": {
    "superseded_revisions": "Collapsed to the latest inspected mathematical statement; no duplicate public rows.",
    "provenance_aliases": "Preserved in the synthesis; QA-BUCK-HUR-008 maps to existing public claim QA-BK-T05.",
    "missing_reverse_add_payloads": "Eight archival records remain L1 with no reconstructed theorem content.",
    "source_audit_dispute": "Kept outside the public claim set; the cross-axis theorem uses a self-consistent convention without an erratum claim.",
    "benchmark_receipts": "Not issued because the available immutable benchmark manifests retain aggregate packet-identity inconsistencies."
  },
  "scope_boundaries": [
    "No Collatz-conjecture progress is claimed.",
    "No decimal Lychrel result is claimed.",
    "Finite Hurwitz quotient obstructions do not classify the full positive factorization problem.",
    "Graph-deck results concern the declared synchronization quotient, not the graph reconstruction conjecture.",
    "No external or specialist review event is recorded."
  ]
}