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 |
|
allaunthefox
|
7d59ad5739
|
docs: spectral codebook analysis of 250-equation corpus
Key findings:
- 190 distinguishable spectral states (7.57 bits/equation)
- Density-Lambda correlation: 0.9807 (near-perfect)
- Largest spectral gap: 4.88 at lambda=[11.68, 16.56]
- 7 natural clusters from gap-aware boundary detection
- Mid band (9 matrices, lambda=[0.67, 0.95]) is compression sweet spot
Raw data: data/spectral_codebook_raw.json (250 entries)
|
2026-07-01 20:17:46 +00:00 |
|
|
|
e6d5a0a8d4
|
feat: README, CI pipeline, Dependabot config
- README.md: project overview, quick start, verification commands
- GitHub Actions: anti-smuggle entry gate runs on push (4 layers)
- Dependabot: ignore transitive dependencies (h11, opentelemetry, etc.)
- predictions JSON committed to data/ for CI reproducibility
- build_pist_matrices_250.py / build_manifold.py now default to data/
|
2026-06-30 05:48:50 -05:00 |
|
