{
  "status": "PASS",
  "physical_promotion": 0,
  "source_pairs": 64,
  "response_states": 125,
  "idle_potential_histogram": [
    27,
    27,
    9,
    1
  ],
  "cardinality_orbits_checked": 112,
  "reduced_deterministic_symmetry_cases": 64,
  "ordered_response_pairs": 15625,
  "frame_covariance_cases": 93750,
  "hostile_receipts_rejected": [
    "endpoint_exposed",
    "release_before_freeze",
    "timezone_missing",
    "idle_outside_I",
    "source_values_rebound",
    "frame_not_permutation",
    "bits_not_integer",
    "invalid_prior_domain",
    "native_program_missing",
    "physical_clock_inserted",
    "event_null_undefined",
    "tie_undefined",
    "bad_hash",
    "missing_bytes",
    "unsafe_path",
    "duplicate_construction"
  ],
  "synthetic_example_verdict": "STRUCTURE_PASS__SYNTHETIC_ONLY",
  "native_candidate_authority": "STRUCTURE_PASS never establishes native validation or score eligibility",
  "review": "Constructor verification; independent adversarial proof review pending",
  "theorem_sha256": "5337a05b7ead54cada83df5e51adf6cb9ff7213cc5aaf3c844988adf39f946e4"
}