{
  "status": "PASS",
  "version": "0.1",
  "physical_promotion": 0,
  "fresh_native_source_cases": [
    {
      "carrier": "tetra",
      "dimension": 15,
      "boundary_squared_zero": true,
      "integer_skew_spectrum_verified": true
    },
    {
      "carrier": "minus",
      "dimension": 23,
      "boundary_squared_zero": true,
      "integer_skew_spectrum_verified": true
    },
    {
      "carrier": "plus",
      "dimension": 27,
      "boundary_squared_zero": true,
      "integer_skew_spectrum_verified": true
    }
  ],
  "exact_optimization_cases": 30,
  "exact_ordered_partition_certificates": 635,
  "disconnected_optimizer_union_controls": 2,
  "all_zero_unbounded_interval_controls": 30,
  "sufficient_copy_capacity_checks": 3,
  "dense_numeric_alias_controls": 1,
  "scope": "Exact rational/field and reconstructed incidence checks. Dense matrix alias diagnostics are numerical; general residual/minimum/sharpness/alias results have separate proofs. No source-acquired encoding, physical comparison or independent human review.",
  "source_sha256": {
    "native_admission.py": "546ac7ad5db929898158dd2d9365528ebd9dc68eaec95e86e5def3f26e8b39d5",
    "programmed_clock.py": "ab4dfcee24da59bb9d8f22e46411963a77dc30428d2338698a0b735caa06f7d6",
    "joint_carrier.py": "29f1685df53432edcf2662b07d6fefe81abcc3a35552ebe664f3bc9f2611da71"
  }
}