{
  "checks": [
    {
      "name": "actual child/root swaps equal recursive butterfly coins=0",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=1",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=2",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=3",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=4",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=5",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=6",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=7",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=8",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=9",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=10",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=11",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=12",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=13",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=14",
      "passed": true
    },
    {
      "name": "actual child/root swaps equal recursive butterfly coins=15",
      "passed": true
    },
    {
      "name": "source butterfly law is inverse physical coordinate sweep law",
      "passed": true
    },
    {
      "name": "known finite palindrome TV d=1",
      "passed": true
    },
    {
      "name": "explicit mass/gap floor d=1",
      "passed": true
    },
    {
      "name": "complete probability law d=1",
      "passed": true
    },
    {
      "name": "exact norm and projection rank d=1",
      "passed": true
    },
    {
      "name": "symmetry/projection certificate d=1",
      "passed": true
    },
    {
      "name": "nonzero sharp witness or zero operator d=1",
      "passed": true
    },
    {
      "name": "finite norm calibration d=1",
      "passed": true
    },
    {
      "name": "finite minorant calibration d=1",
      "passed": true
    },
    {
      "name": "calibration reaches squared target d=1 exact_operator_bound",
      "passed": true
    },
    {
      "name": "prior step fails when present d=1 exact_operator_bound",
      "passed": true
    },
    {
      "name": "calibration reaches squared target d=1 explicit_minorant_bound",
      "passed": true
    },
    {
      "name": "prior step fails when present d=1 explicit_minorant_bound",
      "passed": true
    },
    {
      "name": "known finite palindrome TV d=2",
      "passed": true
    },
    {
      "name": "explicit mass/gap floor d=2",
      "passed": true
    },
    {
      "name": "complete probability law d=2",
      "passed": true
    },
    {
      "name": "exact norm and projection rank d=2",
      "passed": true
    },
    {
      "name": "symmetry/projection certificate d=2",
      "passed": true
    },
    {
      "name": "nonzero sharp witness or zero operator d=2",
      "passed": true
    },
    {
      "name": "finite norm calibration d=2",
      "passed": true
    },
    {
      "name": "finite minorant calibration d=2",
      "passed": true
    },
    {
      "name": "calibration reaches squared target d=2 exact_operator_bound",
      "passed": true
    },
    {
      "name": "prior step fails when present d=2 exact_operator_bound",
      "passed": true
    },
    {
      "name": "calibration reaches squared target d=2 explicit_minorant_bound",
      "passed": true
    },
    {
      "name": "prior step fails when present d=2 explicit_minorant_bound",
      "passed": true
    },
    {
      "name": "independent all-pair palindrome enumeration",
      "passed": true
    },
    {
      "name": "independent transition construction matches centered witness",
      "passed": true
    },
    {
      "name": "constant projection annihilated",
      "passed": true
    },
    {
      "name": "bounded/typed dimension 0",
      "passed": true
    },
    {
      "name": "bounded/typed dimension 3",
      "passed": true
    },
    {
      "name": "bounded/typed dimension 63",
      "passed": true
    },
    {
      "name": "bounded/typed dimension True",
      "passed": true
    },
    {
      "name": "bounded/typed dimension 1.0",
      "passed": true
    },
    {
      "name": "bounded/typed dimension '2'",
      "passed": true
    }
  ],
  "passed": 50,
  "failed": 0,
  "scope": "Two/four-slot independent materialized/law/matrix controls and finite exact witness calibration. No arbitrary-size or source-selected universal constant, proof acceptance, RNG backend or buyer-value certificate."
}