{
  "status": "PASS",
  "physical_promotion": 0,
  "chain_dimensions": [
    4,
    6,
    4,
    1
  ],
  "exact_arithmetic": "Python Fraction; no floating-point trig in K4 witness",
  "exact_checks": [
    "boundary composition",
    "skewness",
    "A\u00b2=\u22124(I\u2212P_H0)",
    "quarter-turn orthogonality",
    "U^4=I",
    "Av=2u and Au=\u22122v",
    "norm2=2 on orbit",
    "C/H three matching window edges and wrap mismatch",
    "original HD latent witness zero at all quarter samples; lookup is separately prepared"
  ],
  "root_prepared_graphs": {
    "C": {
      "states": 216,
      "fixed_states": 1,
      "maximum_settling_updates": 3,
      "nonfixed_cycles": 0
    },
    "H": {
      "states": 216,
      "fixed_states": 27,
      "maximum_settling_updates": 2,
      "nonfixed_cycles": 0
    }
  },
  "unbounded_scope_counterexample_checked_integers": 2001,
  "parallel_generic_factor_candidates": 855891,
  "parallel_exact_factors_all_fixed": 17507,
  "parallel_receipt_sha256": "2f24f0b337edb6b7ced28c6f11d6d626a3ac12a66587e169c56a7010e8cb97cc",
  "source_scope_review_sha256": "416a60acda848da0eaddb49c5792c30b2466d287da185ddd5c1b2ce32726e459",
  "theorem_sha256": "150be4a8437edf0d60d1536a3baedd282686c1e163e13ca7c975427f4c4c730e",
  "witness_sha256": "b0f79e2b0fed38a3670937dbaf5034d53a24431730b90fd1201b58b52ec8a80a",
  "scope": "Proofs plus bounded constructor-team AI checks. Generic finite enumeration supports the formal theorem, not every possible native decoder; no physical score or independent human review."
}