allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
393 commits 7 branches 0 tags 461 MiB
Commit graph

148 commits

Author SHA1 Message Date
Allaun Silverfox
46acba8dbf Remove transform_series.md 2026-07-02 03:41:42 +02:00
Allaun Silverfox
397913ae3f Remove rotational_wave_braid_correspondence.md 2026-07-02 03:41:30 +02:00
Allaun Silverfox
2132c67e78 Remove rossby_e8_completion_roadmap.md 2026-07-02 03:41:17 +02:00
Allaun Silverfox
3ee676c66b Remove noether_route.md 2026-07-02 03:41:05 +02:00
Allaun Silverfox
f73d2cab0c Remove milestone_avm_11_port_coverage.md 2026-07-02 03:40:39 +02:00
Allaun Silverfox
e09543d082 Remove hopf_portability_criterion.md 2026-07-02 03:40:27 +02:00
Allaun Silverfox
93bfe3e753 Remove hopf_ingest_bridge.md 2026-07-02 03:40:15 +02:00
Allaun Silverfox
821d71f8d0 Remove helical_encoding.md 2026-07-02 03:40:03 +02:00
Allaun Silverfox
f9a30e6d82 Remove hachimoji_torsor_consequences.md 2026-07-02 03:39:50 +02:00
Allaun Silverfox
02804f2981 Remove gemma4_pdf_benchmark.md 2026-07-02 03:39:25 +02:00
Allaun Silverfox
455d9a4f42 Remove cartan_fingerprint.md 2026-07-02 03:39:13 +02:00
Allaun Silverfox
cf17c12f6c Remove cartan_dna_derivation.md 2026-07-02 03:39:01 +02:00
Allaun Silverfox
77c47248a5 Remove avm_ports_audit.md 2026-07-02 03:38:49 +02:00
Allaun Silverfox
9772cb99a8 Remove avm_isa_audit.md 2026-07-02 03:38:36 +02:00
Allaun Silverfox
138b3b97f6 Remove avmisa_audit_report.md 2026-07-02 03:37:23 +02:00
Allaun Silverfox
f04430079f Remove BREAKGLASS_NR_BRACKET_PROPOSAL.md 2026-07-02 03:37:11 +02:00
Allaun Silverfox
5767e9b3ab Remove BOSONIC_MONTE_CARLO_PIPELINE_REVIEW.md 2026-07-02 03:36:58 +02:00
Allaun Silverfox
4a01b1a203 Remove HACHIMOJI_DNA_SYNTAX.md 2026-07-02 03:36:34 +02:00
Allaun Silverfox
5d9f4e83e4 Remove HACHIMOJI_DNA_ENCODING.md 2026-07-02 03:36:22 +02:00
Allaun Silverfox
573455bf05 Remove GODEL_BOUNDARY_AND_CLASSIFIERS.md 2026-07-02 03:36:10 +02:00
Allaun Silverfox
9e13152fa4 Remove DOCUMENT_SETS.md 2026-07-02 03:35:47 +02:00
Allaun Silverfox
11a12caacd Remove LIBRARY_MANIFEST.md 2026-07-02 03:35:35 +02:00
Allaun Silverfox
97cae66453 Remove UNIFIED_THEORY.md 2026-07-02 03:35:23 +02:00
Allaun Silverfox
4873c3ab4e Remove UNCOMPUTABILITY.md 2026-07-02 03:35:10 +02:00
Allaun Silverfox
bba1fed219 Remove SOS_CERTIFICATE_FORMULAS.md 2026-07-02 03:34:57 +02:00
Allaun Silverfox
2203edeb27 Remove SMUGGLE_MODEL.md 2026-07-02 03:34:34 +02:00
Allaun Silverfox
ac790eb826 Remove RESUMABLE_DAG_MODEL.md 2026-07-02 03:34:21 +02:00
Allaun Silverfox
1915651e71 Remove RRC_REFACTOR_READINESS.md 2026-07-02 03:34:08 +02:00
Allaun Silverfox
d245aec253 Remove RRC_PLACEMENT.md 2026-07-02 03:33:55 +02:00
Allaun Silverfox
0aac5b00dc Remove PURE_MATH_DESCRIPTION.md 2026-07-02 03:33:42 +02:00
Allaun Silverfox
8e6a5a6419 Remove PURE_FORMULAS.md 2026-07-02 03:33:19 +02:00
Allaun Silverfox
2fbf67b0ff Remove PURE_EQUATION_MAP.md 2026-07-02 03:33:06 +02:00
Allaun Silverfox
1233ca0834 Remove FOUNDATIONAL_GUIDANCE.md 2026-07-02 03:32:53 +02:00
Allaun Silverfox
92476cc0a0 Remove FINITE_INFINITY_DUALITY.md 2026-07-02 03:32:41 +02:00
Allaun Silverfox
186523d0d9 Remove EPIGENETIC_COMPUTATION.md 2026-07-02 03:32:28 +02:00
Allaun Silverfox
648dbab954 Remove research_stack_usage_graph.md 2026-07-02 03:32:05 +02:00
Allaun Silverfox
f2798730a1 Remove research_stack_porting_candidates.md 2026-07-02 03:31:53 +02:00
Allaun Silverfox
4524c56f7d Remove SYMBOLIC_REGRESSION_DESIGN.md 2026-07-02 03:31:39 +02:00
Allaun Silverfox
487e076850 Remove ENHANCEMENT_PISSS_BRAID_INTEGRATION.md 2026-07-02 03:31:27 +02:00
Allaun Silverfox
af56eab7dd Remove BMS_VERIFICATION.md 2026-07-02 03:31:14 +02:00
Allaun Silverfox
2f036c1206 Remove FISHER_METRIC_BRIDGE.md 2026-07-02 03:30:41 +02:00
Allaun Silverfox
fc7d5a89ae Remove AVM_DERIVATION.md 2026-07-02 03:30:28 +02:00
Allaun Silverfox
092644defb Remove FIRST_PRINCIPLES_VERIFICATION.md 2026-07-02 03:30:15 +02:00
Allaun Silverfox
b4c73e5965 Remove 2026-07-02 03:29:51 +02:00
Allaun Silverfox
c30d609867 Remove INVESTIGATE_HYPOTHESIS.md - archived to archive/2026-07-02/docs/INVESTIGATE_HYPOTHESIS.md 2026-07-02 03:29:03 +02:00
Allaun Silverfox
ea6d22abec Remove TESTING.md - archived to archive/2026-07-02/docs/ 2026-07-02 03:27:50 +02:00
allaunthefox
4abd17ffeb docs: complete mathematical dependency tree (THEOREM_STACK.md) 
Reconstructs the full theorem stack from first principles:
- 27 nodes with prerequisites, derived results, files, and status
- Baker → BMS → exhaustive → Goormaghtigh pipeline
- Ramanujan-Nagell subchain
- H-KdF sieve connection
- Spectral codebook observations
- Independent derivation path for researchers
 2026-07-01 23:02:40 +00:00
allaunthefox
3aa3261205 docs: Goormaghtigh-Spectral codebook connection 
Key finding: both Goormaghtigh collisions have exact rho=3.0

This follows from the structure:
- Repunit digits are all 1 → collision graph is K_{m,n}
- Spectral radius of K_{m,n} = min(m,n)
- Goormaghtigh constraint m,n>=3 → rho>=3
- Both known collisions have min(m,n)=3 → rho=3

The Goormaghtigh conjecture restated spectrally:
  The only integer lattice points on the eigensolid rho=3
  in the (m,n) plane with m,n>=3 are (5,3) and (13,3).

Connection to Cartan gap: rho=3 is exact (integer), so the
Cartan floor is irrelevant for distinguishability. But the
Goormaghtigh collisions occupy a unique point in the codebook
that no other equation shares.
 2026-07-01 21:40:42 +00:00
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
f44a36e2fa docs: correct spectral codebook analysis per independent review 
Corrections:
- Mid-band was power-iteration artifact (all 20 peripheral matrices have exact rho=1.0)
- 190 unique lambda → 180 unique rho (exact) + 192 unique char polynomials
- 7.57 bits was a count → 1.257 bits Shannon band entropy
- 7-cluster table fabricated → 3 active bands (null/peripheral/bulk)
- 12 duplicate matrices in 250-row corpus (238 distinct)

Preserved:
- Density-rho correlation 0.9806 (confirmed exact)
- Top spectral gap 4.88 at rho=[11.68, 16.56] (confirmed exact)
- Cartan gap 17/1792 as principled distinguishability floor
- F function orthogonal to Cartan structure
- Characteristic polynomial > spectral radius as codebook key

Known bugs documented:
- Power iteration non-convergence (22 matrices, >1e-3 error)
- Phinary packing not injective (float accumulation)
- Torus winding saturates at n>=65536 (Q16.16 clamp)
 2026-07-01 21:03:50 +00:00