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
Experimental approach to math functions
12 commits 7 branches 0 tags 461 MiB
Find a file
allaun 8f1d30dc1c docs: make CFF reference notes module-specific 
Every reference note now states the exact Research Stack source module
and the corresponding SilverSight target path it supports, so the CFF is
not just academic soup:

- Saucedo 2019 → Semantics.SidonSets → formal/CoreFormalism/SidonSets.lean
- Farr & Groot 2009 → Semantics.BraidEigensolid → formal/BraidEigensolid.lean
- Fasolo & Sollich 2004 → meta-solid 1/7 threshold
- Baranau & Tallarek 2014 → eigensolid packing bounds
- Kofke & Bolhuis 1999 → braid/meta-solid phase transitions
- Arrizabalaga et al. 2026 → Semantics.FixedPoint → formal/CoreFormalism/FixedPoint.lean
- Yang et al. 2026 → AVMIsa.* → Core/SilverSightCore.lean
- PVGS/quantum refs → formal/PVGS_DQ_Bridge/ and formal/BindingSite/

Build: 2978 jobs, 0 errors (lake build)
2026-06-21 06:51:37 -05:00
.github/workflows Initial SilverSight: deterministic equation search via Fisher geometry 2026-06-21 18:02:05 +08:00
Core feat(core): harden SilverSightCore and port canonical FixedPoint 2026-06-21 06:30:12 -05:00
docs docs: bind ported concepts to CFF references 2026-06-21 06:49:14 -05:00
formal feat(core): harden SilverSightCore and port canonical FixedPoint 2026-06-21 06:30:12 -05:00
python feat(core): harden SilverSightCore and port canonical FixedPoint 2026-06-21 06:30:12 -05:00
qubo feat(core): harden SilverSightCore and port canonical FixedPoint 2026-06-21 06:30:12 -05:00
tests feat(core): harden SilverSightCore and port canonical FixedPoint 2026-06-21 06:30:12 -05:00
.gitignore feat(core): harden SilverSightCore and port canonical FixedPoint 2026-06-21 06:30:12 -05:00
AGENTS.md docs: enforce CFF 1.2.0 standards 2026-06-21 06:47:09 -05:00
CITATION.cff docs: make CFF reference notes module-specific 2026-06-21 06:51:37 -05:00
lake-manifest.json feat(core): harden SilverSightCore and port canonical FixedPoint 2026-06-21 06:30:12 -05:00
lakefile.lean feat(core): harden SilverSightCore and port canonical FixedPoint 2026-06-21 06:30:12 -05:00
lean-toolchain feat(core): harden SilverSightCore and port canonical FixedPoint 2026-06-21 06:30:12 -05:00
PORTING_MAP.md docs: add Research Stack porting candidates shortlist 2026-06-21 06:42:53 -05:00
README.md docs: add Research Stack porting candidates shortlist 2026-06-21 06:42:53 -05:00
REBASE_RULES.md feat(core): harden SilverSightCore and port canonical FixedPoint 2026-06-21 06:30:12 -05:00

README.md

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

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 graph
  • docs/research_stack_usage_graph.md — human-readable summary
  • docs/research_stack_usage_graph.dot — visual graph (render with Graphviz)
  • docs/generate_research_stack_usage_map.py — regeneration script
  • docs/research_stack_porting_candidates.md — ranked porting shortlist
  • docs/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