mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-31 01:25:21 +00:00
Experimental approach to math functions
b53ee365c1
AGENT 1 — QuimbIntegrator: eridos_renyi_quimb.py (1,147 lines)
- Erdős-Rényi G(n, 1/n) at criticality (known solved, extreme density)
- Tensor network via quimb (with numpy fallback)
- 7-check verification against ER theory:
* n=100: 7/7 PASS (largest CC=41, gap=0.42)
* n=500: 7/7 PASS (largest CC=33, gap=0.03)
* n=1000: 7/7 PASS (largest CC=74, gap=0.20)
- Φ-corkscrew geodesic search on S⁷
- 5-watchdog Byzantine consensus integration
AGENT 2 — MultiModeEngineer: multimode_engine.py (970 lines)
- 4 platform adapters with unified interface:
* ESP32: n≤50, Q16.16, power iteration, 5.97ms
* Photonic: n≤100, Cayley unitary, transmission spectrum, 0.73ms
* Quantum: n≤20, graph state |G⟩, QPE, 0.89ms
* Tensor: n≤10000, full eigendecomp, 0.32ms (reference)
- Cross-platform verification: ALL 4 MODES AGREE on n=20
λ₁≈1.61, gap≈0.19, DNA prefix AAAATT (Φ→Σ transition)
- Auto-selection: quantum→esp32→photonic→tensor by graph size
- JSON receipts, SHA-256 content-addressed
The final sprint is complete:
Known solved problem ✓ (Erdős-Rényi critical)
Extreme density ✓ (hairball at p=1/n)
Tensor network ✓ (quimb integration)
ESP32 ✓ (microcontroller mode)
Photonic ✓ (optical measurement)
Quantum ✓ (NISQ graph state)
CPU/GPU ✓ (tensor network production)
5 watchdog consensus ✓ (Byzantine agreement)
All modes valid ✓
Refs: FINAL_SPRINT_ERDOS_RENYI.md (design),
https://github.com/jcmgray/quimb (tensor network library)
|
||
|---|---|---|
| .github | ||
| .openclaw/tmp/surface | ||
| c | ||
| Core | ||
| docs | ||
| exe | ||
| experiments/bosonic_continuous | ||
| extraction | ||
| formal | ||
| infra/sigs | ||
| python | ||
| qubo | ||
| signatures | ||
| specs | ||
| tests | ||
| .gitignore | ||
| AGENTS.md | ||
| CITATION.cff | ||
| lake-manifest.json | ||
| lakefile.lean | ||
| lean-toolchain | ||
| PORTING_MAP.md | ||
| pytest.ini | ||
| README.md | ||
| REBASE_RULES.md | ||
| requirements.txt | ||
SilverSight
A deterministic equation search and classification system built on chaos game theory, Sidon set addressing, and Fisher information geometry. Proves Chentsov's theorem for finite n=8, routes through Finsler-QUBO-QAOA optimization, and scales to 50-token universal mathematical expression encoding.
Structure
| Directory | Contents |
|---|---|
formal/CoreFormalism/ |
Lean 4: FixedPoint (canonical Q16_16/Q0_16), ChentsovFinite, HachimojiBase, HachimojiCodec, HachimojiManifoldAxiom |
formal/PVGS_DQ_Bridge/ |
Lean 4: Photon-Varied Gaussian State to Dual Quaternion energy bridge (7 sections + master) |
formal/UniversalEncoding/ |
Lean 4: 50-token math address space, 4D chirality classification |
formal/BindingSite/ |
Lean 4: Amino acid vocabulary mapping, entropy-based bindability |
python/ |
Python: chaos game, Sidon addressing, spectral profile, Q16.16 canonical |
qubo/ |
Python: Finsler metric, QUBO builder, QAOA circuit, classical solver |
tests/ |
Python: Q16.16 roundtrip tests |
.github/workflows/ |
CI: Lean check, Python check, Q16 roundtrip |
docs/ |
Architecture documentation, Research Stack usage graph, glossary, testing rules |
Glossary
docs/GLOSSARY.md is the authoritative living dictionary for SilverSight terms.
Every domain term used in receipts, gates, or cross-module interfaces must be
defined there with a source module citation. docs/GLOSSARY_ALLOWLIST.md
contains generic terms that do not need glossary entries.
Testing
docs/TESTING.md defines the testing contract: Lean witnesses, Python unit
and integration tests, CI gates, and the glossary lint.
Research Stack Usage Map
The docs/research_stack_usage_graph.* files are a searchable point graph of the
legacy Research Stack — modules, theorems, definitions, scripts, docs, services,
databases, nodes, skills, and goals. Use them to discover what is worth porting.
docs/research_stack_usage_graph.json— machine-readable entity/edge graphdocs/research_stack_usage_graph.md— human-readable summarydocs/research_stack_usage_graph.dot— visual graph source (Graphviz)docs/research_stack_usage_graph.svg— rendered vector graphdocs/research_stack_usage_graph_thumb.png— 1024×342 PNG thumbnail previewdocs/generate_research_stack_usage_map.py— regeneration scriptdocs/research_stack_porting_candidates.md— ranked porting shortlistdocs/generate_porting_candidates.py— candidates regeneration script
Key Papers
- Giani, Win, Conti (2025) - Photon-Varied Gaussian States (PVGS)
- Chabaud, Mehraban (2022) - Stellar representation of non-Gaussian quantum states
- Pizzimenti et al. (2024) - Wigner negativity of superpositions
- Wassner et al. (2025) - Single quadrature noise tomography
Quick Start
# Run Q16.16 roundtrip test
python tests/q16_roundtrip_test.py
# Run chaos game search
python python/chaos_game.py
# Run optimization suite
python qubo/test_optimize.py
Citation
See CITATION.cff.
License
MIT