{
  "certificate_id": "FPRD-RESULT-REVIEW-2026-09-01-BATCH-14",
  "review_units": [
    "Collatz guard chambers",
    "Reverse-and-add cross-length mirror-profile atlas"
  ],
  "status": "pass",
  "independent_checker": {
    "path": "collatz_reverse_add_audit.py",
    "sha256": "e22d8ac0c617c513cf15b685902c7d565ec27f71fca9e683036fd2eafb1acf15"
  },
  "canonical_output": {
    "path": "collatz_reverse_add_audit_output.json",
    "sha256": "49a6650fa5d9199a3757479be313cee4d581851368e16ba31b27b05a735c0b61"
  },
  "checks": {
    "collatz_parity_words": 131070,
    "collatz_concatenation_seams": 98304,
    "collatz_adjacent_swaps": 98305,
    "collatz_primitive_necklaces": 8800,
    "collatz_selectors": 65812,
    "reverse_add_profiles": 1208130,
    "reverse_add_overlap_outputs": 310,
    "reverse_add_bases": [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12]
  },
  "hostile_controls": [
    "the Collatz word 001 has a unique 2-adic lift 4/5 but no integral lift",
    "the least residues 2^k-1 converge to -1 outside the nonnegative integers",
    "modulus 2^(h+k-1) cannot determine a k-step response modulo 2^h",
    "the base-two sources 110_2 and 1000_2 share output 1001_2"
  ],
  "deferred_items": [
    "Reverse-and-add Stage 6 archival records without recoverable proof payloads remain at L1 and were not included in this theorem-family review"
  ]
}