4c5c051830
docs(silversight): symbolic regression design + GP-ELITE citation
...
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
2026-06-22 03:03:49 -05:00
c42aa0de23
docs(silversight): document λ(p) bosonic estimator results
...
Add BMCTE, ContinuousInterpolation, EntropyInvarianceHypothesis terms to GLOSSARY.
Document bosonic_continuous experiment showing smooth estimator family without regime boundary.
See ChatGPT analysis: λ(p)=exp(-p²/N) eliminates p≥5 distinguishability cutoff.
Build: 2987 jobs, 0 errors
2026-06-22 01:33:59 -05:00
4490dc28a7
feat(rrc): bare-minimum RRC refactor into SilverSight
...
- Move canonical FixedPoint to Core/SilverSight/FixedPoint.lean
- Add SilverSightRRC library: RRC logogram gates, receipt bridge, AVM ISA
- Add AVMIsa.Emit as the sole top-level JSON output boundary
- Add rrc-emit-fixture executable and Python I/O shims
- Update AGENTS.md, glossary, project map, and build baseline
Build: 2981 jobs, 0 errors (lake build)
2026-06-21 09:08:48 -05:00
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
049aa01863
docs: bind ported concepts to CFF references
...
- Port Research Stack references with clear conceptual bindings into
SilverSight CITATION.cff:
- Saucedo 2019 → SidonSets / number-theory fixtures
- Farr & Groot 2009, Fasolo & Sollich 2004, Baranau & Tallarek 2014,
Kofke & Bolhuis 1999 → braid eigensolid / meta-solid phase models
- Arrizabalaga et al. 2026 → Q16_16 fixed-point / no-Float compute
- Yang et al. 2026 → recurrent search/classification loops
- Add a Conceptual bindings table to the porting candidates report
- Validate CFF YAML syntax
Build: 2978 jobs, 0 errors (lake build)
2026-06-21 06:49:14 -05:00
d0159ce91d
docs: enforce CFF 1.2.0 standards
...
- Convert placeholder paper references from type: article to type: unpublished
with honest notes about pending identifiers
- Remove fake journal/arXiv placeholder from Giani et al.
- Add CFF standards section to AGENTS.md with validation command and rules for
DOIs, preprints, non-academic sources, and et al. usage
Build: 2978 jobs, 0 errors (lake build)
2026-06-21 06:47:09 -05:00
6fcea90e4e
docs: update CITATION.cff for SilverSight
...
- Add proper author attribution (Brandon Schneider / allaunthefox)
- Add abstract, keywords, date-released, and preferred-citation
- Add Research Stack as a parent software reference
- Flag placeholder arXiv ID for Giani et al. pending final assignment
- Validate YAML syntax with PyYAML
Build: 2978 jobs, 0 errors (lake build)
2026-06-21 06:44:57 -05:00
SilverSight Agent
3c35fe50c2
Initial SilverSight: deterministic equation search via Fisher geometry
...
Core components:
- ChentsovFinite.lean (883 lines, 0 sorry): Fisher metric uniqueness on 8-state simplex
- HachimojiCodec.lean: Deterministic E=mc^2 -> Hachimoji state pipeline
- PVGS_DQ_Bridge (8 sections, ~6,150 lines): Photon-Varied Gaussian to Dual Quaternion
- UniversalMathEncoding.lean: 50-token math address space (~10^15 addresses)
- ChiralitySpace.lean: 4D descriptor (phase x chirality x direction x regime) ~2x10^25
- BindingSite (3 files): Amino acid vocabulary, entropy-based bindability
- Python: chaos game, Sidon addressing, Q16.16 canonical, Finsler metric, QUBO/QAOA
- CI: Lean check, Python check, Q16 roundtrip workflows
Papers: Giani-Win-Conti 2025, Chabaud-Mehraban 2022, Pizzimenti 2024, Wassner 2025
2026-06-21 18:02:05 +08:00
