mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-31 01:25:21 +00:00
allaun
4c5c051830
Design doc for SilverSight-native symbolic regression using existing HachimojiCodec, chaos game, spectral profile, and QUBO infrastructure. No external imports — reimplement GP-ELITE concepts natively. Added GP-ELITE (Sabri Hakou, MIT) to CITATION.cff as inspiration source. Build: 2987 jobs, 0 errors
226 lines
10 KiB
YAML
226 lines
10 KiB
YAML
cff-version: 1.2.0
|
||
message: "If you use this software, please cite it as below."
|
||
type: software
|
||
title: "SilverSight: Deterministic Equation Search and Classification"
|
||
abstract: >-
|
||
SilverSight is a deterministic equation search and classification system
|
||
built on chaos game theory, Sidon set addressing, Fisher information geometry,
|
||
and Lean-backed formal semantics. It provides a minimal invariant core
|
||
(Hachimoji states, AVM transition semantics, TIC axiom) and a library-method
|
||
architecture for fixed-point computation, braid eigensolid compression, and
|
||
universal mathematical expression encoding. The repository ports proven
|
||
concepts from Research Stack (OTOM) into a hardened, no-Float compute boundary.
|
||
authors:
|
||
- family-names: "Schneider"
|
||
given-names: "Brandon"
|
||
alias: "allaunthefox"
|
||
- name: "SilverSight Contributors"
|
||
repository-code: "https://github.com/allaunthefox/SilverSight"
|
||
url: "https://github.com/allaunthefox/SilverSight"
|
||
date-released: 2026-06-21
|
||
license: MIT
|
||
keywords:
|
||
- deterministic-search
|
||
- equation-classification
|
||
- lean4
|
||
- formal-verification
|
||
- fixed-point-arithmetic
|
||
- q16_16
|
||
- sidon-sets
|
||
- braid-eigensolid
|
||
- fisher-information-geometry
|
||
- hachimoji-states
|
||
- avm-semantics
|
||
- reproducible-research
|
||
preferred-citation:
|
||
type: software
|
||
title: "SilverSight: Deterministic Equation Search and Classification"
|
||
authors:
|
||
- family-names: "Schneider"
|
||
given-names: "Brandon"
|
||
alias: "allaunthefox"
|
||
- name: "SilverSight Contributors"
|
||
repository-code: "https://github.com/allaunthefox/SilverSight"
|
||
url: "https://github.com/allaunthefox/SilverSight"
|
||
date-released: 2026-06-21
|
||
license: MIT
|
||
|
||
references:
|
||
- type: software
|
||
title: "Research Stack (OTOM)"
|
||
authors:
|
||
- family-names: "Schneider"
|
||
given-names: "Brandon"
|
||
alias: "allaunthefox"
|
||
- name: "Research Stack Contributors"
|
||
repository-code: "https://github.com/allaunthefox/Research-Stack"
|
||
url: "https://github.com/allaunthefox/Research-Stack"
|
||
date-released: 2026-05-08
|
||
license: Apache-2.0
|
||
notes: "Parent research repository (https://github.com/allaunthefox/Research-Stack). SilverSight ports proven Lean modules (`Semantics.FixedPoint`, `Semantics.SidonSets`, `Semantics.SieveLemmas`, `Semantics.InteractionGraphSidon`, `Semantics.BraidEigensolid`, `Semantics.BraidSpherionBridge`, etc.), agent contracts, and the no-Float compute doctrine from this source."
|
||
|
||
- type: software
|
||
title: "GP_ELITE: Régression symbolique par programmation génétique"
|
||
authors:
|
||
- name: "Sabri Hakou"
|
||
version: 0.1.0
|
||
date-released: 2026-06-13
|
||
license: MIT
|
||
repository-code: "https://github.com/ariel95500-create/gp-elite"
|
||
notes: "Inspired SilverSight's native symbolic regression design. GP-ELITE uses genetic programming with asymmetric island model, BIC fitness, linear scaling (Keijzer 2003), ε-lexicase selection, and stigmergic memory. SilverSight reimplements these concepts using existing infrastructure: HachimojiCodec classification, chaos game search, spectral profiles, and QUBO optimization. See `docs/SYMBOLIC_REGRESSION_DESIGN.md`."
|
||
|
||
# NOTE: The following four references are domain sources used by
|
||
# `formal/PVGS_DQ_Bridge/` and `formal/BindingSite/`. They are recorded as
|
||
# `unpublished` until DOIs, arXiv IDs, or journal pages are confirmed.
|
||
- type: unpublished
|
||
authors:
|
||
- family-names: "Giani"
|
||
given-names: "A."
|
||
- family-names: "Win"
|
||
given-names: "S."
|
||
- family-names: "Conti"
|
||
given-names: "C."
|
||
title: "Photon-Varied Gaussian States"
|
||
year: 2025
|
||
notes: "Binds to Research Stack `Semantics.PVGS_DQ_Bridge` → SilverSight `formal/PVGS_DQ_Bridge/`; preprint identifier pending confirmation."
|
||
- type: unpublished
|
||
authors:
|
||
- family-names: "Chabaud"
|
||
given-names: "U."
|
||
- family-names: "Mehraban"
|
||
given-names: "S."
|
||
title: "Stellar representation of non-Gaussian quantum states"
|
||
year: 2022
|
||
notes: "Binds to Research Stack `Semantics.PVGS_DQ_Bridge` → SilverSight `formal/PVGS_DQ_Bridge/`; full citation details pending DOI or arXiv ID."
|
||
- type: unpublished
|
||
authors:
|
||
- family-names: "Pizzimenti"
|
||
given-names: "C."
|
||
- family-names: "et al."
|
||
title: "Wigner negativity of superpositions"
|
||
year: 2024
|
||
notes: "Binds to Research Stack `Semantics.BindingSite` / `Semantics.PVGS_DQ_Bridge` → SilverSight `formal/BindingSite/`; full citation details pending DOI or arXiv ID."
|
||
- type: unpublished
|
||
authors:
|
||
- family-names: "Wassner"
|
||
given-names: "M."
|
||
- family-names: "et al."
|
||
title: "Single quadrature noise tomography"
|
||
year: 2025
|
||
notes: "Binds to Research Stack `Semantics.PVGS_DQ_Bridge` → SilverSight `formal/PVGS_DQ_Bridge/`; full citation details pending DOI or arXiv ID."
|
||
|
||
# ── Conceptual bindings ported from Research Stack ─────────────────────────
|
||
|
||
- type: thesis
|
||
title: "Pascal's Triangle, Pascal's Pyramid, and the Trinomial Triangle"
|
||
authors:
|
||
- family-names: "Saucedo"
|
||
given-names: "Antonio Jr."
|
||
date-published: 2019-06
|
||
institution:
|
||
name: "California State University, San Bernardino"
|
||
collection-title: "Electronic Theses, Projects, and Dissertations"
|
||
url: "https://scholarworks.lib.csusb.edu/etd/855"
|
||
notes: "Binds to Research Stack `Semantics.SidonSets` → SilverSight `formal/CoreFormalism/SidonSets.lean`; supports Sidon-set constructions, Singer-theorem residues, and number-theory fixtures. The chaos-game appendix was dropped during porting."
|
||
|
||
- type: article
|
||
title: "Close packing density of polydisperse hard spheres"
|
||
authors:
|
||
- family-names: "Farr"
|
||
given-names: "R."
|
||
- family-names: "Groot"
|
||
given-names: "R. D."
|
||
date-published: 2009-12
|
||
doi: 10.1063/1.3276799
|
||
journal: "The Journal of Chemical Physics"
|
||
notes: "Binds to Research Stack `Semantics.BraidEigensolid` / `Semantics.BraidSpherionBridge` / `Semantics.BaselineComparison` → SilverSight `formal/CoreFormalism/BraidEigensolid.lean` / `formal/CoreFormalism/BraidSpherionBridge.lean`; anchor paper for polydisperse close-packing theory used in eigensolid convergence proofs."
|
||
|
||
- type: article
|
||
title: "Fractionation effects in phase equilibria of polydisperse hard-sphere colloids"
|
||
authors:
|
||
- family-names: "Fasolo"
|
||
given-names: "M."
|
||
- family-names: "Sollich"
|
||
given-names: "P."
|
||
date-published: 2004-10
|
||
doi: 10.1103/physreve.70.041410
|
||
journal: "Physical Review E"
|
||
notes: "Binds to Research Stack `Semantics.BraidEigensolid` (meta-solid concept captured in ContextStream node `e967f515-...`) → SilverSight `formal/CoreFormalism/BraidEigensolid.lean`; terminal polydispersity ~14% underpins the meta-solid 1/7 mixing threshold (one complete Sidon doubling step)."
|
||
|
||
- type: article
|
||
title: "Random-close packing limits for monodisperse and polydisperse hard spheres"
|
||
authors:
|
||
- family-names: "Baranau"
|
||
given-names: "V."
|
||
- family-names: "Tallarek"
|
||
given-names: "U."
|
||
date-published: 2014
|
||
doi: 10.1039/c3sm52959b
|
||
journal: "Soft Matter"
|
||
notes: "Binds to Research Stack `Semantics.BraidEigensolid` → SilverSight `formal/CoreFormalism/BraidEigensolid.lean`; definitive random-close-packing limits for monodisperse (~0.64) and polydisperse spheres used in eigensolid packing-bound claims."
|
||
|
||
- type: article
|
||
title: "Freezing of polydisperse hard spheres"
|
||
authors:
|
||
- family-names: "Kofke"
|
||
given-names: "D."
|
||
- family-names: "Bolhuis"
|
||
given-names: "P."
|
||
date-published: 1999
|
||
doi: 10.1103/physreve.59.618
|
||
journal: "Physical Review E"
|
||
notes: "Binds to Research Stack `Semantics.BraidEigensolid` / `Semantics.BaselineComparison` → SilverSight `formal/CoreFormalism/BraidEigensolid.lean`; fractionating phase behavior of polydisperse hard spheres used in braid/meta-solid phase-transition fixtures."
|
||
|
||
- type: article
|
||
title: "A Differentiable Interior-Point Method in Single Precision"
|
||
authors:
|
||
- family-names: "Arrizabalaga"
|
||
given-names: "Jon"
|
||
- family-names: "Tracy"
|
||
given-names: "Kevin"
|
||
- family-names: "Manchester"
|
||
given-names: "Zachary"
|
||
date-published: 2026-05
|
||
url: "https://arxiv.org/abs/2605.17913"
|
||
notes: "Binds to Research Stack `Semantics.FixedPoint` (inverse-proof machinery in `Semantics.Q16InverseProof`) → SilverSight `formal/CoreFormalism/FixedPoint.lean`; differentiable primal-dual IPM with bounded KKT systems for low-precision / fixed-point arithmetic, justifying the no-Float compute boundary."
|
||
|
||
- type: article
|
||
title: "Everything Is Logarithms"
|
||
authors:
|
||
- family-names: "Kritchevsky"
|
||
given-names: "Alex"
|
||
date-published: 2026-05-25
|
||
url: "https://alexkritchevsky.com/2026/05/25/everything-is-logarithms.html"
|
||
notes: >-
|
||
Binds to SilverSight `formal/CoreFormalism/HachimojiLUT.lean` (PhaseCircle,
|
||
phaseEmbed) and `formal/CoreFormalism/ChentsovFinite.lean` (Fisher metric
|
||
uniqueness). Core claim: logarithms are coordinate-free objects; units
|
||
emerge from ratios (log N / log 2), and dim(U⊗V) = dim(U)×dim(V) mirrors
|
||
the additive structure of log. The multiplicative-to-additive isomorphism
|
||
underpins the phase-circle encoding (ℤ/360ℤ as an additive group of
|
||
logarithmic phase steps) and the Q16_16 entropy estimator (entropy_q16
|
||
computes log₂ probabilities in integer arithmetic). The coordinate-free
|
||
framing also grounds Chentsov uniqueness: the Fisher metric is invariant
|
||
under sufficient statistics, i.e., under the natural logarithmic
|
||
re-parameterisation of probability families.
|
||
|
||
- type: article
|
||
title: "Stabilizing Recurrent Dynamics for Test-Time Scalable Latent Reasoning in Looped Language Models"
|
||
authors:
|
||
- family-names: "Yang"
|
||
given-names: "Xiao-Wen"
|
||
- family-names: "Han"
|
||
given-names: "Ziyu"
|
||
- family-names: "Zhang"
|
||
given-names: "Xi-Hua"
|
||
- family-names: "Wei"
|
||
given-names: "Wen-Da"
|
||
- family-names: "Shao"
|
||
given-names: "Jie-Jing"
|
||
- family-names: "Guo"
|
||
given-names: "Lan-Zhe"
|
||
- family-names: "Li"
|
||
given-names: "Yu-Feng"
|
||
date-published: 2026-05
|
||
url: "https://arxiv.org/abs/2605.26733"
|
||
notes: "Binds to Research Stack `Semantics.AVMIsa.*` / `Semantics.Run` → SilverSight `Core/SilverSightCore.lean` AVM transition function; STARS regularizes spectral radius of the Jacobian using power iterations with JVPs, relevant to recurrent / looped AVM search dynamics."
|