allaunthefox f96de68af8 feat: exact charpoly codebook + fix design doc ... python/charpoly_codebook.py: - Exact characteristic polynomial as codebook key - 196 unique fingerprints vs 182 from spectral radius (8% improvement) - 13 cospectral groups identified (same polynomial, different matrix) - Cartan floor Δ=17/1792 as operator resolution bound - 72 pairs within Cartan floor but distinguishable by charpoly - Cayley-Hamilton verifiable in Z (integer-only doctrine) - Verification: all checks pass data/charpoly_codebook.json: - 250 entries with exact charpoly coefficients - Spectral radius computed from polynomial (not power iteration) - Cartan-floor snapped values for operator-level grouping docs/FIX_DESIGN.md: - Fix 1: Lean charpoly via Faddeev-LeVerrier (design, not yet implemented) - Fix 2: Python charpoly codebook (IMPLEMENTED) - Fix 3: Cartan floor as distinguishability bound (IMPLEMENTED) - Fix 4: Integer spiral packing (already done in cd91eca) - Open questions for Lean-side integration		2026-07-01 21:15:46 +00:00
..
charpoly_codebook.json	feat: exact charpoly codebook + fix design doc	2026-07-01 21:15:46 +00:00
rrc_pist_predictions_250_v1.json	feat: README, CI pipeline, Dependabot config	2026-06-30 05:48:50 -05:00
spectral_codebook_raw.json	docs: spectral codebook analysis of 250-equation corpus	2026-07-01 20:17:46 +00:00