{
  "status": "PASS",
  "arithmetic": "Exact rational state amplitudes, probabilities, moments, formal logarithms and proposal laws",
  "circuit": {
    "qubits": 8,
    "model": "commuting XX path / hidden-edge parity law",
    "depth": 2,
    "gates": "Commuting XX path",
    "backward_cones": [
      1,
      3,
      6,
      12,
      24,
      48,
      96,
      64
    ],
    "dependency_adjacency": [
      2,
      5,
      10,
      20,
      40,
      80,
      160,
      64
    ]
  },
  "moment_component_factorizations": 256,
  "connected_log_coefficient_checks": 2040,
  "vanishing_support_checks": 1836,
  "rooted_identity_outputs": 768,
  "unique_proposal_outputs": 768,
  "rows": [
    {
      "H_mask": 0,
      "rooted_identity_outputs": 256,
      "core_count": 1,
      "polymer_count": 36,
      "Lambda": "22247896483302/107213535210701",
      "normalizer_bits": 650,
      "exact_acceptance_normalization": "1/Kprop",
      "unique_representation": true,
      "all_output_acceptance_law_exact": true,
      "relative_zero_perturbation_L1": "133237264092301/10828567056280801",
      "relative_zero_perturbation_bound": "176602356772309/10828567056280801",
      "clipped_normalized_TV": "260785130918151851914400400/586259993811602493218666541451",
      "truncation_checks": [
        {
          "R": 0,
          "L1": "15233131201400/107213535210701",
          "regrouped_bound": "69388821561608/107213535210701",
          "moment_bound": "387727988567525/107213535210701"
        },
        {
          "R": 1,
          "L1": "846571440600/107213535210701",
          "regrouped_bound": "39918499756804/107213535210701",
          "moment_bound": "387727988567525/214427070421402"
        },
        {
          "R": 2,
          "L1": "231616750000/107213535210701",
          "regrouped_bound": "7967213144000/107213535210701",
          "moment_bound": "387727988567525/428854140842804"
        },
        {
          "R": 3,
          "L1": "10812190000/107213535210701",
          "regrouped_bound": "2940255688000/107213535210701",
          "moment_bound": "387727988567525/857708281685608"
        },
        {
          "R": 8,
          "L1": "0",
          "regrouped_bound": "0",
          "moment_bound": "387727988567525/27446665013939456"
        }
      ]
    },
    {
      "H_mask": 66,
      "rooted_identity_outputs": 256,
      "core_count": 176,
      "polymer_count": 12,
      "Lambda": "13331702/104060401",
      "normalizer_bits": 286,
      "exact_acceptance_normalization": "1/Kprop",
      "unique_representation": true,
      "all_output_acceptance_law_exact": true,
      "relative_zero_perturbation_L1": "116101601/10510100501",
      "relative_zero_perturbation_bound": "1420579059409/107213535210701",
      "clipped_normalized_TV": "21845576339210200/55799178290122496151",
      "truncation_checks": [
        {
          "R": 0,
          "L1": "107381744603/1061520150601",
          "regrouped_bound": "359058908808/1061520150601",
          "moment_bound": "2152834121025/1061520150601"
        },
        {
          "R": 1,
          "L1": "25414544401/1061520150601",
          "regrouped_bound": "150521865204/1061520150601",
          "moment_bound": "2152834121025/2123040301202"
        },
        {
          "R": 2,
          "L1": "1615851600/1061520150601",
          "regrouped_bound": "13742736000/1061520150601",
          "moment_bound": "2152834121025/4246080602404"
        },
        {
          "R": 3,
          "L1": "128750200/1061520150601",
          "regrouped_bound": "2009444800/1061520150601",
          "moment_bound": "2152834121025/8492161204808"
        },
        {
          "R": 8,
          "L1": "0",
          "regrouped_bound": "0",
          "moment_bound": "2152834121025/271749158553856"
        }
      ]
    },
    {
      "H_mask": 255,
      "rooted_identity_outputs": 256,
      "core_count": 256,
      "polymer_count": 0,
      "Lambda": "0",
      "normalizer_bits": 26,
      "exact_acceptance_normalization": "1/Kprop",
      "unique_representation": true,
      "all_output_acceptance_law_exact": true,
      "relative_zero_perturbation_L1": "1/101",
      "relative_zero_perturbation_bound": "1/101",
      "clipped_normalized_TV": "0",
      "truncation_checks": [
        {
          "R": 0,
          "L1": "0",
          "regrouped_bound": "0",
          "moment_bound": "1"
        },
        {
          "R": 1,
          "L1": "0",
          "regrouped_bound": "0",
          "moment_bound": "1/2"
        },
        {
          "R": 2,
          "L1": "0",
          "regrouped_bound": "0",
          "moment_bound": "1/4"
        },
        {
          "R": 3,
          "L1": "0",
          "regrouped_bound": "0",
          "moment_bound": "1/8"
        },
        {
          "R": 8,
          "L1": "0",
          "regrouped_bound": "0",
          "moment_bound": "1/256"
        }
      ]
    }
  ],
  "scope": "Finite exact mechanism controls. Conservative delta regime and polynomial complexity are proved analytically, not inferred from this finite circuit."
}
