Positive-factor Mellin identity: d = 4..30, k = -2..24 passed.
Direct Jacobi products and mixed cancellation: d = 4..16, j = 1..12 passed.
Endpoint geometric sum including dyadic boundaries: passed.
Degree-one fidelity multiplier and quotient: exact checks passed.
Multiplier grid: d = 4..12, n = 1..400, 110 fidelities plus endpoint passed.
Largest ratio to the proved bound on this grid: 0.062499224575
Normalization: exact m_1(n)=1 and kernel dimensions, d=4..12, n=0..24 passed.
d=4 endpoint: exact |m_0_prime(n)|=2-4/((n+1)(n+2)), n=1..400 passed.
Wrong denominator diagnostic, d=5,n=2: binomial gives 1; n+a gives 2.
t=1/n^2: independent Jacobi series; d=5 target n*|q| = 4.6566553251526
     n        |q| d=4        |q| d=5        n*|q| d=5
    16 1.4741305341e+00 2.4128281579e-01 3.8605250527e+00
    64 1.5332287319e+00 6.9400942907e-02 4.4416603461e+00
   256 1.5475251138e+00 1.7976216769e-02 4.6019114929e+00
  1024 1.5510488805e+00 4.5340895624e-03 4.6429077119e+00
  4096 1.5519262935e+00 1.1360387157e-03 4.6532145794e+00
Independent series agrees with SciPy: relative error < 2e-8.
d=5, f_n=(2*z1*conj(z2))^n, ||f_n||_inf=1, t=1/n^2:
     n         LHS=||T f||_3^3        RHS/C_5=||f||_2^2       LHS/(RHS/C_5)
    16       4.528904460583e-07       1.213040054284e-04       3.733516007646e-03
    64       9.748407405337e-11       1.175834228576e-06       8.290630744048e-05
   256       1.374356206739e-14       9.718087468647e-09       1.414224981173e-06
  1024       1.739360238139e-18       7.701056941582e-11       2.258599373221e-08
  4096       2.142504863718e-22       6.037950990133e-13       3.548397241413e-10
Predicted limit n^3*LHS/(RHS/C_5) = 24.428841642728
These tests show decay, not the proposed numerical divergence.
{
  "exact": {
    "scale": "1/256",
    "outcomes": 12,
    "enumerated_blocks": 18,
    "exact_residual": "0",
    "mutant_mass_failures": 6,
    "vertices_with_negative_effect_scores": 0,
    "mean": [
      "6148914688373205675/18446744082299486209",
      "17179869184/55340232246898458627",
      "0",
      "0",
      "309334502548568994083758081/928908432419179609523773443",
      "100547197052514141388800/309636144139726536507924481",
      "0",
      "0",
      "166034207659833425929/1383505806172461465675",
      "98378131465884576432/461168602057487155225",
      "0",
      "0"
    ],
    "born": [
      "6148914688373205675/18446744082299486209",
      "17179869184/55340232246898458627",
      "0",
      "0",
      "309334502548568994083758081/928908432419179609523773443",
      "100547197052514141388800/309636144139726536507924481",
      "0",
      "0",
      "166034207659833425929/1383505806172461465675",
      "98378131465884576432/461168602057487155225",
      "0",
      "0"
    ],
    "blocks": [
      {
        "vertex": 0,
        "gate": 0,
        "interval": [
          "0",
          "4398046511104/18446748463166128129"
        ],
        "probability": "724903927028249251853132023227473655176941403111424/6277103234887362058798476527892230578650200855148754894849",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 0,
        "gate": 0,
        "interval": [
          "4398046511104/18446748463166128129",
          "77220247336330860586598400/386705257013595925624381441"
        ],
        "probability": "12727740273868920104167194597455867087539901804031759303944699904/131588980279908048780709808152982506164104536442564692801079992321",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 0,
        "gate": 0,
        "interval": [
          "77220247336330860586598400/386705257013595925624381441",
          "1"
        ],
        "probability": "102021157941374062033419882971077219292702136411038318311619158017/263177960559816097561419616305965012328209072885129385602159984642",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 0,
        "gate": 1,
        "interval": [
          "0",
          "4398046511104/18446748463166128129"
        ],
        "probability": "39297129940633497617121165705216/340282367237851113631112422265381191681",
        "near_mass": "1110257/189576384",
        "correct_total": "1",
        "faulty_total": "190686641/189576384"
      },
      {
        "vertex": 0,
        "gate": 1,
        "interval": [
          "4398046511104/18446748463166128129",
          "77220247336330860586598400/386705257013595925624381441"
        ],
        "probability": "689972346326342815373795520310363721130049536/7133451217305894148065394343936111231620866049",
        "near_mass": "1233137/379152768",
        "correct_total": "1",
        "faulty_total": "380385905/379152768"
      },
      {
        "vertex": 0,
        "gate": 1,
        "interval": [
          "77220247336330860586598400/386705257013595925624381441",
          "1"
        ],
        "probability": "5530579364842970217422398263322729470748516353/14266902434611788296130788687872222463241732098",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 0,
        "interval": [
          "0",
          "4398046511104/18446748463166128129"
        ],
        "probability": "713623677208717476937283783942967281108123648/6277103234887362058798476527892230578650200855148754894849",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 0,
        "interval": [
          "4398046511104/18446748463166128129",
          "77220247336330860586598400/386705257013595925624381441"
        ],
        "probability": "12529683559628272549438132553753450497690028287934341316608/131588980279908048780709808152982506164104536442564692801079992321",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 0,
        "interval": [
          "77220247336330860586598400/386705257013595925624381441",
          "1"
        ],
        "probability": "50216801957245800027898553150466006019217005983662543470592/131588980279908048780709808152982506164104536442564692801079992321",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 1,
        "interval": [
          "0",
          "4398046511104/18446748463166128129"
        ],
        "probability": "38685626227668133590597632/340282367237851113631112422265381191681",
        "near_mass": "1110257/189576384",
        "correct_total": "1",
        "faulty_total": "190686641/189576384"
      },
      {
        "vertex": 1,
        "gate": 1,
        "interval": [
          "4398046511104/18446748463166128129",
          "77220247336330860586598400/386705257013595925624381441"
        ],
        "probability": "679235667788765599699002556308911030272/7133451217305894148065394343936111231620866049",
        "near_mass": "1233137/379152768",
        "correct_total": "1",
        "faulty_total": "380385905/379152768"
      },
      {
        "vertex": 1,
        "gate": 1,
        "interval": [
          "77220247336330860586598400/386705257013595925624381441",
          "1"
        ],
        "probability": "2722258934100166592636090706817898774528/7133451217305894148065394343936111231620866049",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 0,
        "interval": [
          "0",
          "4398046511104/18446748463166128129"
        ],
        "probability": "23384020649330737704014210648871540966907214561280/6277103234887362058798476527892230578650200855148754894849",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 0,
        "interval": [
          "4398046511104/18446748463166128129",
          "77220247336330860586598400/386705257013595925624381441"
        ],
        "probability": "24151333575665019745403985391166193067205157355949329628528640/7740528251759296987100576950175441539064972731915570164769411313",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 0,
        "interval": [
          "77220247336330860586598400/386705257013595925624381441",
          "1"
        ],
        "probability": "96794362714818034181453199211152339200102943962388848034447360/7740528251759296987100576950175441539064972731915570164769411313",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 1,
        "interval": [
          "0",
          "4398046511104/18446748463166128129"
        ],
        "probability": "1267650599933081496317350379520/340282367237851113631112422265381191681",
        "near_mass": "1110257/189576384",
        "correct_total": "1",
        "faulty_total": "190686641/189576384"
      },
      {
        "vertex": 2,
        "gate": 1,
        "interval": [
          "4398046511104/18446748463166128129",
          "77220247336330860586598400/386705257013595925624381441"
        ],
        "probability": "1309246726877653781275256806976394111221760/419614777488582008709729079055065366565933297",
        "near_mass": "1233137/379152768",
        "correct_total": "1",
        "faulty_total": "380385905/379152768"
      },
      {
        "vertex": 2,
        "gate": 1,
        "interval": [
          "77220247336330860586598400/386705257013595925624381441",
          "1"
        ],
        "probability": "5247234160695592440178185596437480593162240/419614777488582008709729079055065366565933297",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      }
    ]
  },
  "exact_theorem_scale": {
    "scale": "1/128",
    "outcomes": 12,
    "enumerated_blocks": 18,
    "exact_residual": "0",
    "mutant_mass_failures": 6,
    "vertices_with_negative_effect_scores": 0,
    "mean": [
      "6148914688373205675/18446744082299486209",
      "17179869184/55340232246898458627",
      "0",
      "0",
      "309334502548568994083758081/928908432419179609523773443",
      "100547197052514141388800/309636144139726536507924481",
      "0",
      "0",
      "166034207659833425929/1383505806172461465675",
      "98378131465884576432/461168602057487155225",
      "0",
      "0"
    ],
    "born": [
      "6148914688373205675/18446744082299486209",
      "17179869184/55340232246898458627",
      "0",
      "0",
      "309334502548568994083758081/928908432419179609523773443",
      "100547197052514141388800/309636144139726536507924481",
      "0",
      "0",
      "166034207659833425929/1383505806172461465675",
      "98378131465884576432/461168602057487155225",
      "0",
      "0"
    ],
    "blocks": [
      {
        "vertex": 0,
        "gate": 0,
        "interval": [
          "0",
          "2199023255552/18446746264142872577"
        ],
        "probability": "368298190986947475422617263227755103678336688193536/6277102486598523048477894710134707773323121818526795431937",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 0,
        "gate": 0,
        "interval": [
          "2199023255552/18446746264142872577",
          "319091931141863060275200/2876194876805026341538249"
        ],
        "probability": "587865270936202469067378307113714101522559255461421668392501248/10765902414482533070105776562615008244980899492808036532883172259",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 0,
        "gate": 0,
        "interval": [
          "319091931141863060275200/2876194876805026341538249",
          "1"
        ],
        "probability": "856540636100487684217695378014821520724997618686626369341049289/1957436802633187830928323011384546953632890816874188460524213138",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 0,
        "gate": 1,
        "interval": [
          "0",
          "2199023255552/18446746264142872577"
        ],
        "probability": "19965487291706576099673318096896/340282367237851113631112422265381191681",
        "near_mass": "5941931/537133088",
        "correct_total": "1",
        "faulty_total": "543075019/537133088"
      },
      {
        "vertex": 0,
        "gate": 1,
        "interval": [
          "2199023255552/18446746264142872577",
          "319091931141863060275200/2876194876805026341538249"
        ],
        "probability": "31868243948361817111431546083415364209737728/583620670026209109946516333214311139520424867",
        "near_mass": "18866177/3222798528",
        "correct_total": "1",
        "faulty_total": "3241664705/3222798528"
      },
      {
        "vertex": 0,
        "gate": 1,
        "interval": [
          "319091931141863060275200/2876194876805026341538249",
          "1"
        ],
        "probability": "510764830339627875884594715773244777917197219/1167241340052418219893032666428622279040849734",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 0,
        "interval": [
          "0",
          "2199023255552/18446746264142872577"
        ],
        "probability": "178405940569827301792974912446654784762544128/6277102486598523048477894710134707773323121818526795431937",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 0,
        "interval": [
          "2199023255552/18446746264142872577",
          "319091931141863060275200/2876194876805026341538249"
        ],
        "probability": "284765603405927325656910570323713125195219530953317679104/10765902414482533070105776562615008244980899492808036532883172259",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 0,
        "interval": [
          "319091931141863060275200/2876194876805026341538249",
          "1"
        ],
        "probability": "207456812929609732464690349047403757646313487240565620736/978718401316593915464161505692273476816445408437094230262106569",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 1,
        "interval": [
          "0",
          "2199023255552/18446746264142872577"
        ],
        "probability": "9671406556917033397649408/340282367237851113631112422265381191681",
        "near_mass": "5941931/537133088",
        "correct_total": "1",
        "faulty_total": "543075019/537133088"
      },
      {
        "vertex": 1,
        "gate": 1,
        "interval": [
          "2199023255552/18446746264142872577",
          "319091931141863060275200/2876194876805026341538249"
        ],
        "probability": "15437176111781909416038278456770822144/583620670026209109946516333214311139520424867",
        "near_mass": "18866177/3222798528",
        "correct_total": "1",
        "faulty_total": "3241664705/3222798528"
      },
      {
        "vertex": 1,
        "gate": 1,
        "interval": [
          "319091931141863060275200/2876194876805026341538249",
          "1"
        ],
        "probability": "123708834575784002124043566398157357056/583620670026209109946516333214311139520424867",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 0,
        "interval": [
          "0",
          "2199023255552/18446746264142872577"
        ],
        "probability": "5846005859230971717826249005995717870410090414080/6277102486598523048477894710134707773323121818526795431937",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 0,
        "interval": [
          "2199023255552/18446746264142872577",
          "319091931141863060275200/2876194876805026341538249"
        ],
        "probability": "9331199290232837469812357256165660367398898130720059230781440/10765902414482533070105776562615008244980899492808036532883172259",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 0,
        "interval": [
          "319091931141863060275200/2876194876805026341538249",
          "1"
        ],
        "probability": "6797944844494681839367254573522442197807484474301369769000960/978718401316593915464161505692273476816445408437094230262106569",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 1,
        "interval": [
          "0",
          "2199023255552/18446746264142872577"
        ],
        "probability": "316912649983270374079337594880/340282367237851113631112422265381191681",
        "near_mass": "5941931/537133088",
        "correct_total": "1",
        "faulty_total": "543075019/537133088"
      },
      {
        "vertex": 2,
        "gate": 1,
        "interval": [
          "2199023255552/18446746264142872577",
          "319091931141863060275200/2876194876805026341538249"
        ],
        "probability": "505845386713093300739570270080060977315840/583620670026209109946516333214311139520424867",
        "near_mass": "18866177/3222798528",
        "correct_total": "1",
        "faulty_total": "3241664705/3222798528"
      },
      {
        "vertex": 2,
        "gate": 1,
        "interval": [
          "319091931141863060275200/2876194876805026341538249",
          "1"
        ],
        "probability": "4053691090435466675620862204248403906396160/583620670026209109946516333214311139520424867",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      }
    ]
  },
  "stress": {
    "frames": 720,
    "fixed_tape_vectors": 6480,
    "largest_mass_error": 1.1102230246251565e-15,
    "largest_mean_error": 4.996003610813204e-16,
    "minimum_component": 0.0,
    "min_far_ratio": 0.7573792417078107,
    "near_cases": 3115,
    "far_cases": 5525,
    "negative_raw_score_cases": 1071,
    "mutant_max_mass_error": 0.05562001083108692
  }
}
ok test_zonal_orthonormality
ok test_lemma_A1
ok test_scale_law
ok test_band_mean_vs_mc
ok test_cap_response_endpoints
ok test_endpoint_runs
ok test_protocol_exact
ok test_binomial_intervals
ok test_packets
ok test_exhaustion
ok test_tagged_band_and_mutation
Panel verified: 93 cells; 6,943,070 anchors; 62,487,630 bits; 2,681,733,120 centre comparisons; 3,145,728 packet trials.
Largest Born residual: 0.0021948944 (d=7, target=0.5, 97638/196137).
CPU / numpy • results in <temporary-run-directory>
[w0000-packets-d0-n0] 0.7s
[w0000-born-d4-n0] 0.2s
[w0000-born-d5-n0] 0.2s
[w0000-born-d6-n0] 0.3s
[w0000-born-d7-n0] 0.4s
[w0000-born-d8-n0] 0.5s
[w0000-witness-d4-n2] 0.1s
[w0000-witness-d5-n2] 0.1s
[w0000-witness-d6-n2] 0.1s
[w0000-witness-d7-n2] 0.1s
[w0000-witness-d8-n2] 0.1s
[w0000-witness-d4-n8] 0.1s
[w0000-witness-d5-n8] 0.1s
[w0000-witness-d6-n8] 0.2s
[w0000-witness-d7-n8] 0.1s
[w0000-witness-d8-n8] 0.1s
[w0000-witness-d4-n32] 0.1s
[w0000-witness-d5-n32] 0.1s
[w0000-witness-d6-n32] 0.1s
[w0000-witness-d7-n32] 0.1s
[w0000-witness-d8-n32] 0.1s
[w0000-witness-d4-n128] 0.2s
[w0000-witness-d5-n128] 0.2s
[w0000-witness-d6-n128] 0.2s
[w0000-witness-d7-n128] 0.3s
[w0000-witness-d8-n128] 0.3s
[w0000-witness-d4-n512] 0.6s
[w0000-witness-d5-n512] 0.6s
[w0000-witness-d6-n512] 0.7s
[w0000-witness-d7-n512] 0.7s
[w0000-witness-d8-n512] 0.8s
Wave 1 complete / INCOMPLETE / elapsed 0.3 min
[w0001-packets-d0-n0] 0.8s
[w0001-born-d4-n0] 0.2s
[w0001-born-d5-n0] 0.3s
[w0001-born-d6-n0] 0.3s
[w0001-born-d7-n0] 0.4s
[w0001-born-d8-n0] 0.5s
[w0001-witness-d4-n2] 0.1s
[w0001-witness-d5-n2] 0.1s
[w0001-witness-d6-n2] 0.1s
[w0001-witness-d7-n2] 0.1s
[w0001-witness-d8-n2] 0.1s
[w0001-witness-d4-n8] 0.1s
[w0001-witness-d5-n8] 0.1s
[w0001-witness-d6-n8] 0.1s
[w0001-witness-d7-n8] 0.1s
[w0001-witness-d8-n8] 0.1s
[w0001-witness-d4-n32] 0.1s
[w0001-witness-d5-n32] 0.1s
[w0001-witness-d6-n32] 0.1s
[w0001-witness-d7-n32] 0.1s
[w0001-witness-d8-n32] 0.1s
[w0001-witness-d4-n128] 0.2s
[w0001-witness-d5-n128] 0.2s
[w0001-witness-d6-n128] 0.2s
[w0001-witness-d7-n128] 0.3s
[w0001-witness-d8-n128] 0.3s
[w0001-witness-d4-n512] 0.6s
[w0001-witness-d5-n512] 0.6s
[w0001-witness-d6-n512] 0.7s
[w0001-witness-d7-n512] 0.7s
[w0001-witness-d8-n512] 0.7s
Wave 2 complete / INCOMPLETE / elapsed 0.5 min
[w0002-packets-d0-n0] 0.7s
[w0002-born-d4-n0] 0.2s
[w0002-born-d5-n0] 0.2s
[w0002-born-d6-n0] 0.3s
[w0002-born-d7-n0] 0.4s
[w0002-born-d8-n0] 0.4s
[w0002-witness-d4-n2] 0.1s
[w0002-witness-d5-n2] 0.1s
[w0002-witness-d6-n2] 0.1s
[w0002-witness-d7-n2] 0.1s
[w0002-witness-d8-n2] 0.1s
[w0002-witness-d4-n8] 0.1s
[w0002-witness-d5-n8] 0.1s
[w0002-witness-d6-n8] 0.1s
[w0002-witness-d7-n8] 0.1s
[w0002-witness-d8-n8] 0.1s
[w0002-witness-d4-n32] 0.1s
[w0002-witness-d5-n32] 0.1s
[w0002-witness-d6-n32] 0.1s
[w0002-witness-d7-n32] 0.1s
[w0002-witness-d8-n32] 0.1s
[w0002-witness-d4-n128] 0.2s
[w0002-witness-d5-n128] 0.2s
[w0002-witness-d6-n128] 0.2s
[w0002-witness-d7-n128] 0.2s
[w0002-witness-d8-n128] 0.3s
[w0002-witness-d4-n512] 0.6s
[w0002-witness-d5-n512] 0.6s
[w0002-witness-d6-n512] 0.6s
[w0002-witness-d7-n512] 0.7s
[w0002-witness-d8-n512] 0.7s
FINITE CHECKS PASSED • <temporary-run-directory>/REPORT.md • <temporary-run-directory>/evidence.zip
Panel verified: 93 cells; 6,943,070 anchors; 62,487,630 bits; 2,681,733,120 centre comparisons; 3,145,728 packet trials.
Largest Born residual: 0.0021948944 (d=7, target=0.5, 97638/196137).
Fresh CPU replay matched all 93 archived cells, excluding elapsed times.
PASS