mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-31 01:25:21 +00:00
allaun
8bf8781e49
- modp.rs: order-3 jet AD over 𝔽_p (multi-prime, robust exact-escalation, named edge receipts, Miller–Rabin modulus guard); 272× at Δ₇ centroid, gate-preserving (≢0 mod p is a proof; PROPER via division-free certificate) - main.rs: --mod flag, validate-modp cross-check, and collision-fixed survey filenames (numer-denom; reduced numerators silently folded ~6435 pts onto 330) - ingest_semisym_scar.rs: receipt → ene.rrc_classifications dry-run mapper, float-free exact JSONB metrics (no Q16/IEEE), --apply gated behind explicit --dsn - CITATION.cff: credit Kritchevsky "Everything Is Logarithms" for the exact / log-in-prime-basis scar-map encoding Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
361 lines
14 KiB
YAML
361 lines
14 KiB
YAML
cff-version: "1.2.0"
|
|
message: "If you use SilverSight in your work, please cite this repository using the metadata from this file."
|
|
type: software
|
|
title: "SilverSight"
|
|
version: "0.1.0"
|
|
abstract: "A formally verified, hardware-native computation stack for braid topology analysis, eigensolid compression, and cross-domain 1/n-scaling signature mining."
|
|
keywords:
|
|
- formal verification
|
|
- lean 4
|
|
- braid topology
|
|
- spectral classification
|
|
- fixed-point arithmetic
|
|
- eigensolid compression
|
|
- signature mining
|
|
authors:
|
|
- family-names: "Schneider"
|
|
given-names: "Brandon"
|
|
alias: "allaunthefox"
|
|
affiliation: "Independent Researcher"
|
|
orcid: "https://orcid.org/0009-0000-1594-0095"
|
|
repository: "https://github.com/allaunthefox/SilverSight"
|
|
repository-code: "https://github.com/allaunthefox/SilverSight"
|
|
url: "https://github.com/allaunthefox/SilverSight"
|
|
date-released: "2026-06-21"
|
|
license: Apache-2.0
|
|
commit: "4abd17ffeba2593767ecfc7ca82711de2a2eb921"
|
|
|
|
references:
|
|
|
|
- type: article
|
|
title: "Solving inverse problems with Bayes' theorem"
|
|
authors:
|
|
- family-names: "Imaginary"
|
|
given-names: "ICERM"
|
|
url: "https://www.imaginary.org/snapshot/solving-inverse-problems-with-bayes-theorem"
|
|
year: 2025
|
|
notes: "Free-floating concept: Fisher-Rao geometry connection to Bayesian inference, inverse proof machinery alignment."
|
|
|
|
- type: software
|
|
title: "Research Stack (OTOM)"
|
|
authors:
|
|
- family-names: "Schneider"
|
|
given-names: "Brandon"
|
|
- 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. SilverSight ports proven Lean modules (Semantics.FixedPoint, Semantics.SidonSets, Semantics.SieveLemmas, Semantics.InteractionGraphSidon, Semantics.BraidEigensolid, Semantics.BraidSpherionBridge)."
|
|
|
|
- type: software
|
|
title: "GP_ELITE: Regression symbolique par programmation genetique"
|
|
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), epsilon-lexicase selection, and stigmergic memory."
|
|
|
|
- type: unpublished
|
|
title: "Photon-Varied Gaussian States"
|
|
authors:
|
|
- family-names: "Giani"
|
|
given-names: "A."
|
|
- family-names: "Win"
|
|
given-names: "S."
|
|
- family-names: "Conti"
|
|
given-names: "C."
|
|
year: 2025
|
|
notes: "Binds to Research Stack Semantics.PVGS_DQ_Bridge -> SilverSight formal/PVGS_DQ_Bridge/; preprint identifier pending confirmation."
|
|
|
|
- type: unpublished
|
|
title: "Stellar representation of non-Gaussian quantum states"
|
|
authors:
|
|
- family-names: "Chabaud"
|
|
given-names: "U."
|
|
- family-names: "Mehraban"
|
|
given-names: "S."
|
|
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
|
|
title: "Wigner negativity of superpositions"
|
|
authors:
|
|
- family-names: "Pizzimenti"
|
|
given-names: "C."
|
|
- literal: "et al."
|
|
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
|
|
title: "Single quadrature noise tomography"
|
|
authors:
|
|
- family-names: "Wassner"
|
|
given-names: "M."
|
|
- literal: "et al."
|
|
year: 2025
|
|
notes: "Binds to Research Stack Semantics.PVGS_DQ_Bridge -> SilverSight formal/PVGS_DQ_Bridge/; full citation details pending DOI or arXiv ID."
|
|
|
|
- type: article
|
|
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."
|
|
|
|
- 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."
|
|
|
|
- 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; terminal polydispersity ~14% underpins the meta-solid 1/7 mixing threshold."
|
|
|
|
- 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."
|
|
|
|
- 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."
|
|
|
|
- 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 -> SilverSight formal/CoreFormalism/FixedPoint.lean; differentiable primal-dual IPM with bounded KKT systems."
|
|
|
|
- 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 and formal/CoreFormalism/ChentsovFinite.lean. Core claim: logarithms are coordinate-free objects. Also informed rust/src/bin/ingest_semisym_scar.rs (semisym scar-map ingest): the prime-factorization-as-logarithm identity (log n = Sum_p nu_p(n) log p) motivated the exact, float-free encoding of scar-map metrics (rationals kept exact, no Q16.16/IEEE float) and the planned prime-exponent nu_p log-vector field over the precomputed prime-LUT basis."
|
|
|
|
- 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."
|
|
|
|
- type: online
|
|
title: "Tangent lines to parabola at ends of focal chord are perpendicular (calculus proof)"
|
|
authors:
|
|
- literal: "Unknown"
|
|
date-published: "2025"
|
|
url: "https://www.reddit.com/r/calculus/comments/1udl2t6/show_lines_tangent_to_parabola_at_the_ends_of_a/"
|
|
notes: "Demonstrates focal chord perpendicularity. Maps to Hachimoji eigensolid conjugate pairs with 1/n scaling."
|
|
|
|
- type: article
|
|
title: "Brownian dynamics of polydisperse colloidal hard spheres: Equilibrium structures and random close packings"
|
|
authors:
|
|
- family-names: "Schaertl"
|
|
given-names: "W."
|
|
- family-names: "Sillescu"
|
|
given-names: "H."
|
|
date-published: "1994"
|
|
doi: "10.1007/bf02183148"
|
|
journal: "Journal of Statistical Physics"
|
|
notes: "Early polydisperse hard-sphere BD simulation."
|
|
|
|
- type: article
|
|
title: "On the jamming phase diagram for frictionless hard-sphere packings"
|
|
authors:
|
|
- family-names: "Baranau"
|
|
given-names: "V."
|
|
- family-names: "Tallarek"
|
|
given-names: "U."
|
|
date-published: "2014"
|
|
doi: "10.1039/c4sm01439a"
|
|
journal: "Soft Matter"
|
|
notes: "Jamming phase diagram for frictionless spheres."
|
|
|
|
- type: article
|
|
title: "Dense packing of binary and polydisperse hard spheres"
|
|
authors:
|
|
- family-names: "Santiso"
|
|
given-names: "E."
|
|
- family-names: "Muller"
|
|
given-names: "E. A."
|
|
date-published: "2002"
|
|
doi: "10.1080/00268970210125313"
|
|
journal: "Molecular Physics"
|
|
notes: "Packing of binary/tridisperse/distributed sphere mixtures."
|
|
|
|
- type: article
|
|
title: "Freezing line of polydisperse hard spheres via direct-coexistence simulations"
|
|
authors:
|
|
- family-names: "Castagnede"
|
|
given-names: "A."
|
|
- family-names: "Filion"
|
|
given-names: "L."
|
|
- family-names: "Smallenburg"
|
|
given-names: "F."
|
|
date-published: "2025"
|
|
doi: "10.1063/5.0281621"
|
|
journal: "The Journal of Chemical Physics"
|
|
notes: "Recent direct-coexistence simulation of polydisperse freezing line."
|
|
|
|
- type: article
|
|
title: "Frenkel's entropy-exchange mechanism in monodisperse, nearly hard-sphere colloids: minimal perturbations to access fluid-crystal coexistence"
|
|
authors:
|
|
- family-names: "Wang"
|
|
given-names: "J. G."
|
|
- family-names: "Dhumal"
|
|
given-names: "U."
|
|
- family-names: "Zakhari"
|
|
given-names: "M. E. A."
|
|
- family-names: "Zia"
|
|
given-names: "R."
|
|
date-published: "2025"
|
|
journal: "Journal of Fluid Mechanics"
|
|
notes: "Entropy-exchange mechanism to access monodisperse hard-sphere fluid-crystal coexistence."
|
|
|
|
- type: article
|
|
title: "The elusive fluid-and-crystal coexistence state in simulations of monodisperse, hard-sphere colloids"
|
|
authors:
|
|
- family-names: "Wang"
|
|
given-names: "J. G."
|
|
- family-names: "Dhumal"
|
|
given-names: "U."
|
|
- family-names: "Zakhari"
|
|
given-names: "M. E. A."
|
|
- family-names: "Zia"
|
|
given-names: "R."
|
|
date-published: "2024"
|
|
doi: "10.1002/aic.70275"
|
|
journal: "AIChE Journal"
|
|
notes: "Elusive nature of unbiased monodisperse hard-sphere coexistence simulation."
|
|
|
|
- type: article
|
|
title: "Local composition fluctuations act as precursors for crystal nucleation in polydisperse hard spheres"
|
|
authors:
|
|
- family-names: "De Jager"
|
|
given-names: "M."
|
|
- family-names: "Castagnede"
|
|
given-names: "A."
|
|
- family-names: "Smallenburg"
|
|
given-names: "F."
|
|
- family-names: "Filion"
|
|
given-names: "L."
|
|
date-published: "2025"
|
|
journal: "arXiv"
|
|
notes: "Composition fluctuation precursors in polydisperse nucleation."
|
|
|
|
- type: article
|
|
title: "Rheology and structure of polydisperse three-dimensional packings of spheres"
|
|
authors:
|
|
- family-names: "Cantor"
|
|
given-names: "D."
|
|
- family-names: "Azema"
|
|
given-names: "E."
|
|
- family-names: "Sornay"
|
|
given-names: "P."
|
|
- family-names: "Radjai"
|
|
given-names: "F."
|
|
date-published: "2018"
|
|
doi: "10.1103/physreve.98.052910"
|
|
journal: "Physical Review E"
|
|
notes: "Shear strength nearly unchanged despite microstructural differences in polydisperse packings."
|
|
|
|
- type: article
|
|
title: "Impact of polydispersity and confinement on diffusion in hydrodynamically interacting colloidal suspensions"
|
|
authors:
|
|
- family-names: "Gonzalez"
|
|
given-names: "E."
|
|
- family-names: "Aponte-Rivera"
|
|
given-names: "C."
|
|
- family-names: "Zia"
|
|
given-names: "R."
|
|
date-published: "2021"
|
|
doi: "10.1017/jfm.2021.563"
|
|
journal: "Journal of Fluid Mechanics"
|
|
notes: "Polydispersity + confinement effect on colloidal diffusion."
|
|
|
|
- type: article
|
|
title: "Percus-Yevick structure factors made simple"
|
|
authors:
|
|
- family-names: "Botet"
|
|
given-names: "R."
|
|
- family-names: "Kwok"
|
|
given-names: "S."
|
|
- family-names: "Cabane"
|
|
given-names: "B."
|
|
date-published: "2020"
|
|
doi: "10.1107/s1600576720014041"
|
|
journal: "Journal of Applied Crystallography"
|
|
notes: "Simplified PY structure factors for monodisperse/polydisperse fluids."
|
|
|
|
- type: thesis
|
|
title: "Microstructure and macroscopic properties of polydisperse systems of hard spheres"
|
|
authors:
|
|
- family-names: "Ogarko"
|
|
given-names: "V."
|
|
date-published: "2014"
|
|
doi: "10.3990/1.9789036536691"
|
|
institution:
|
|
name: "University of Twente"
|
|
notes: "Polydisperse hard-sphere EOS, moments, glassy regime."
|