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
451 commits 7 branches 0 tags 461 MiB
Commit graph

15 commits

Author SHA1 Message Date
openresearch
2120448e5d Update CITATION.cff: add all session data sources 
Added 14 new references covering every data source cited during the
2026-07-03 session:

1. OpenAI unit-distance proof (ν(n) ≥ n^(1+δ))
   - Source: cdn.openai.com PDF
   - Binds to: AngrySphinx, CollatzBraid, universal pipeline

2. Quandela Perceval SLOS
   - Source: github.com/Quandela/Perceval
   - Binds to: photonic Sidon search, GoldenSpiral

3. Erdős Problem 30 (erdosproblems.com/30)
   - Source: erdosproblems.com
   - Binds to: photonic_sidon_search.py (T8_density test)

4. Erdős PDS counterexample {1,2,4,8,13}
   - Source: 2025/2026 publication
   - Binds to: photonic_sidon_search.py (T7 test), CollatzBraid

5. mixedbread asymmetric quantization
   - Source: mixedbread.com/blog/asymmetric-quant
   - Binds to: encoder_q16.py, padic_encoder.py

6. Reddit r/Collatz Fibonacci structure
   - Source: reddit.com/r/Collatz
   - Binds to: CollatzBraid.lean §6

7. fx2-cmix (Hutter Prize winner)
   - Source: github.com/kaitz/fx2-cmix
   - Binds to: docs/cmix_epigenetic_analysis.md

8. GW250114 (gravitational wave)
   - Source: LIGO-Virgo-KAGRA, 2025-01-14
   - Binds to: astrophysical test data (proposed)

9. Oh-My-God Particle (cosmic ray)
   - Source: Fly's Eye detector, 1991
   - Binds to: delta function compression test (proposed)

10. GRB 250702B (gamma-ray burst)
    - Source: multi-telescope detection, 2025-07-02
    - Binds to: multi-channel compression test (proposed)

11. 'Meme Math That Pays Rent' (COUCH family)
    - Source: Research Stack article
    - Binds to: GCCL.lean §8b (Admit Pipeline)

12. Geometric Substance — Canonical Reconciliation
    - Source: Research Stack documentation
    - Binds to: GoldenSpiral.lean, GCCL.lean

13. BioSight DNA encoder
    - Source: github.com/allaunthefox/BioSight
    - Binds to: embed.py v3 (exact arithmetic)

14. Imaginary Semantic Time
    - Source: Research Stack Lean module
    - Binds to: HachimojiN8.lean (N=8 root theorem)

Total references in CFF: 41. All sources sighted with title, author,
date, URL/repository, and binding notes (which SilverSight file/line
the source applies to).

Also updated: commit hash to current HEAD, date-released to 2026-07-03.
 2026-07-03 19:48:17 +00:00
Allaun Silverfox
52652f23fa Reorganize CITATION.cff for CFF reader compliance: fix license to Apache-2.0, add version/abstract/keywords, remove non-standard comments, clean up references 2026-07-02 04:10:03 +02:00
allaun
6451bfba15 fix(ports): C, C++, Go, Octave test fixes 
C: type_mismatch test adjusted for C port (returns default on type error)
C++: variant comparison fixed with val_i/val_b helpers, all tests use proper accessors
Go: added go.mod to repo so go test works from any directory
Octave: test now uses addpath to find AVM class
 2026-06-30 18:21:20 -05:00
allaun
8db7e0b14a feat(fisher): Add parabola focal-chord to Fisher-Rao bridge 
- ConjugatePair structure encoding perpendicular slopes (s₁·s₂ = -1)
- parabolaConjugatePair with Q16_16 sqrt/div arithmetic
- eigensolidSpectralGapRaw = 9984 (above 1/7 threshold, proven)
- isOrthogonal predicate for Fisher orthogonality
- Build: 3300 jobs, 0 errors

refs: AGENTS.md section FisherRigidity, SpectralWitness.lean
 2026-06-25 18:06:23 -05:00
allaun
3e6f07a849 fix: address adversarial review critical issues 
1. Removed 24MB generated graph files (SVG, JSON, DOT) from git
2. Removed .openclaw/ temp directory (672KB binary images) from git
3. Updated .gitignore to prevent re-committing generated artifacts
4. Fixed CITATION.cff header (proper metadata, message references SilverSight)

Repo size reduction: ~25MB removed from git history.

Remaining issues:
- 2 files still import Semantics.FixedPoint (cross-project dependency)
- 37 sorries in PVGS_DQ_Bridge
- 5 duplicate Q16_16 definitions
- 22 Lean files not in lakefile
 2026-06-23 05:50:09 -05:00
allaun
1a26de076d fix(lean): address vacuous rfl proofs in Chentsov theorem and close Hermite sieve proofs 
- ChentsovFinite.lean: Replaced vacuous rfl proofs at uniform distribution permutation invariance, diagonal case, and off-diagonal case with explicit proof obligations and sorry.
- section2_hermite_sieve.lean: Proved repunit strict monotonicity and lower bound lemmas, closing relevant sorry placeholders.
- BindingSiteEntropy.lean: Swapped geodesicDistance placeholder with fisherRaoApprox and added counterexample sketch for fisher_implies_similar_druggability.
- FixedPoint.lean, lakefile.lean, gemma4_mcp.py: Minor fixes and enhancements.
- AGENTS.md: Tracked open Chentsov proof obligations.

Build: 2987 jobs, 0 errors (lake build)
 2026-06-23 05:11:04 -05:00
allaun
f49a8a2aba docs: merge Research Stack CITATION.cff with implementation status 
Ported 37 implemented references from Research Stack.
Commented out 11 not-yet-implemented references as TODOs.

Active references: 51 (14 existing + 37 ported)
Commented TODOs: 11 (uncomment when modules are ported)

Sections:
- Existing SilverSight references (14)
- Implemented references ported from Research Stack (37)
- TODO: Not yet implemented in SilverSight (11, commented)
 2026-06-22 23:44:26 -05:00
allaun
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
allaun
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
allaun
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
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
allaun
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
allaun
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
allaun
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