{
  "status": "PASS",
  "arithmetic": "Exact rational state amplitudes, probabilities, moments, formal logarithms and proposal laws",
  "circuit": {
    "qubits": 8,
    "model": "noncommuting rational circuit",
    "depth": 4,
    "gates": "Rational real rotations, two staggered CNOT layers, final noncommuting rotations",
    "backward_cones": [
      3,
      15,
      15,
      60,
      60,
      240,
      240,
      192
    ],
    "dependency_adjacency": [
      6,
      29,
      27,
      118,
      110,
      216,
      184,
      96
    ]
  },
  "moment_component_factorizations": 256,
  "connected_log_coefficient_checks": 2040,
  "vanishing_support_checks": 1273,
  "rooted_identity_outputs": 768,
  "unique_proposal_outputs": 768,
  "rows": [
    {
      "H_mask": 0,
      "rooted_identity_outputs": 256,
      "core_count": 1,
      "polymer_count": 161,
      "Lambda": "2480111472713361974782069945623576959738927447577008/1334769618325543116057864193562531881388116455078125",
      "normalizer_bits": 3620,
      "exact_acceptance_normalization": "1/Kprop",
      "unique_representation": true,
      "all_output_acceptance_law_exact": true,
      "relative_zero_perturbation_L1": "3794313204568705959644071199965582413806910197418709/350510501772287622276795137229520872052519381103515625",
      "relative_zero_perturbation_bound": "186721850693195677035668645224729010628804373469719209/1752552508861438111383975686147604360262596905517578125",
      "clipped_normalized_TV": "564711100276302586405272825851961072218061413085231868284611895545496801267397010000897792845643088/132177306765834521936179531208895119166042331828501478378329805926624233459771655226772436826904296875",
      "truncation_checks": [
        {
          "R": 0,
          "L1": "27610145363756480466362408228890224077957093585620224/17352005038232060508752234516312914458045513916015625",
          "regrouped_bound": "169369845654963616526916410708416096170758859553703584/17352005038232060508752234516312914458045513916015625",
          "moment_bound": "67960528131273737176277439089508620486256447414469297/694080201529282420350089380652516578321820556640625"
        },
        {
          "R": 1,
          "L1": "19239780878953258516294498786638708816061869674655456/17352005038232060508752234516312914458045513916015625",
          "regrouped_bound": "1031490179518188594140798143488161833458696741541632/126656971081985843129578354133670908452886962890625",
          "moment_bound": "67960528131273737176277439089508620486256447414469297/1388160403058564840700178761305033156643641113281250"
        },
        {
          "R": 2,
          "L1": "6458239884023076342502783945459116671779301363002368/17352005038232060508752234516312914458045513916015625",
          "regrouped_bound": "87630010358684877197094800255873096616465337105353984/17352005038232060508752234516312914458045513916015625",
          "moment_bound": "67960528131273737176277439089508620486256447414469297/2776320806117129681400357522610066313287282226562500"
        },
        {
          "R": 3,
          "L1": "2049827548475888616690370643449260389881091377337856/17352005038232060508752234516312914458045513916015625",
          "regrouped_bound": "40345756644715603314498096278439953467090346942103552/17352005038232060508752234516312914458045513916015625",
          "moment_bound": "67960528131273737176277439089508620486256447414469297/5552641612234259362800715045220132626574564453125000"
        },
        {
          "R": 8,
          "L1": "0",
          "regrouped_bound": "0",
          "moment_bound": "67960528131273737176277439089508620486256447414469297/177684531591496299609622881447044244050386062500000000"
        }
      ]
    },
    {
      "H_mask": 66,
      "rooted_identity_outputs": 256,
      "core_count": 256,
      "polymer_count": 33,
      "Lambda": "199566267622038679358299567384232334763952384/218817381906423950467893325501958119384765625",
      "normalizer_bits": 840,
      "exact_acceptance_normalization": "1/Kprop",
      "unique_representation": true,
      "all_output_acceptance_law_exact": true,
      "relative_zero_perturbation_L1": "1/101",
      "relative_zero_perturbation_bound": "152606780592552187737921798184289409906423225633/3734993891760750410536471172992923139778564453125",
      "clipped_normalized_TV": "0",
      "truncation_checks": [
        {
          "R": 0,
          "L1": "35909632983823572233003751610343100347380961792/36980137542185647629073972009830922176025390625",
          "regrouped_bound": "115626643050366540108847826174458487730397835008/36980137542185647629073972009830922176025390625",
          "moment_bound": "22462115223712755764559496160809374156858301129/1479205501687425905162958880393236887041015625"
        },
        {
          "R": 1,
          "L1": "124437635423661519003122124508812449047095792/255035431325418259510854979378144290869140625",
          "regrouped_bound": "73494946713702772530673896261863021676744835008/36980137542185647629073972009830922176025390625",
          "moment_bound": "22462115223712755764559496160809374156858301129/2958411003374851810325917760786473774082031250"
        },
        {
          "R": 2,
          "L1": "3524252681126598955993735606324218748794377616/36980137542185647629073972009830922176025390625",
          "regrouped_bound": "25642759952375179762510130703605079429677102208/36980137542185647629073972009830922176025390625",
          "moment_bound": "22462115223712755764559496160809374156858301129/5916822006749703620651835521572947548164062500"
        },
        {
          "R": 3,
          "L1": "330253033295032803235659144809978094955159296/36980137542185647629073972009830922176025390625",
          "regrouped_bound": "5103371271666906138242928034072451918224945152/36980137542185647629073972009830922176025390625",
          "moment_bound": "22462115223712755764559496160809374156858301129/11833644013499407241303671043145895096328125000"
        },
        {
          "R": 8,
          "L1": "0",
          "regrouped_bound": "0",
          "moment_bound": "22462115223712755764559496160809374156858301129/378676608431981031721717473380668643082500000000"
        }
      ]
    },
    {
      "H_mask": 255,
      "rooted_identity_outputs": 256,
      "core_count": 256,
      "polymer_count": 0,
      "Lambda": "0",
      "normalizer_bits": 29,
      "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."
}
