{
  "groups": {
    "canonical_ledger": {
      "first_residue_inversions": 32768,
      "full_reversals": 32768,
      "horizons": [
        1,
        23
      ],
      "invalid_records_rejected": 4,
      "maximum_extinction": 10,
      "prefix_identities": 753664,
      "seeds": 32768
    },
    "floor_prefix_certificate": {
      "common_floor_sum": 302541195258184,
      "first_disagreement": 42189065,
      "method": "rational interval bounds plus exact lattice floor sums",
      "rational_floor_at_boundary": 14342162,
      "real_floor_at_boundary": 14342163,
      "small_direct_crosschecks": 2430
    },
    "icosahedral_cubature": {
      "exact_monomials_degree_at_most_5": 56,
      "gram_entries": 81,
      "nodes": 12,
      "recovered_harmonic_modes": 9,
      "sixth_moment_defect_coefficients_in_1_phi": [
        "-1/7",
        "-4/21"
      ]
    },
    "relational_and_end_to_end": {
      "byte_ledgers": 62,
      "field": "p(z)=3-2z",
      "metric_pairs": 25,
      "order_adjunction_instances": 3000,
      "payload_bytes": 62,
      "recovered_offset": [
        "3",
        "0"
      ],
      "recovered_slope": [
        "-2",
        "0"
      ],
      "two_time_observer_states": 121
    },
    "six_mark_measurements": {
      "auxiliary_seed": "1/2",
      "interval_interpolation_subsets": 31,
      "point_interpolation_subsets": 63,
      "scope": "exact finite instances; general distance proof is in thesis",
      "two_error_position_pairs_one_word": 15
    },
    "symbolic_polynomials": {
      "identities": 28,
      "scope": "all substitutions into each tested polynomial identity",
      "telescoping_horizons": [
        1,
        23
      ],
      "unbounded_horizon": "proved by induction in the thesis, not this loop"
    }
  },
  "limits": [
    "Not a proof-assistant kernel certificate.",
    "Finite examples do not prove universal analytic statements.",
    "No physical or neural-performance experiment is claimed."
  ],
  "source_sha256": "e6330f8327f3ce39c61ca666864171a3470044117147b20a3237ba1931e7d506",
  "status": "PASS"
}