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
SilverSight/julia
History
Exact
allaun 3b6baec64e wip: durability snapshot of local working tree (pre-existing, uncommitted) 
Snapshot of previously-uncommitted local work so nothing is lost after the
power outage. NOT reviewed for correctness — a WIP checkpoint, not a feature:
- multi-language hachimoji encoders (c/cpp/fortran/julia/octave/r/scala/go/rust/coq)
- formal Lean WIP (BraidTree, Eisenstein, HachimojiCapture, MathlibConnect,
  ModularFormBridge, ClusterManifold) + lakefile + E8Sidon edit
- docs/, experiments/ (epyc oisc benches), deploy/, scripts, test scaffolding
- .gitignore: exclude **/target/ and Coq build artifacts

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
2026-07-02 20:49:53 -05:00
..
AVMIsa wip: durability snapshot of local working tree (pre-existing, uncommitted) 2026-07-02 20:49:53 -05:00
CoreFormalism fix(go): type conversion errors in floorDiv/avmClamp 2026-06-30 18:10:48 -05:00
nuvmap feat(wolfram): add Wolfram Alpha MCP server + SOPS-encrypted API key 2026-06-30 17:28:22 -05:00
PIST docs: Hopf Portability Criterion + Ingest Bridge — 4-agent synthesis 2026-06-30 19:53:58 -05:00
SilverSight docs: Hopf Portability Criterion + Ingest Bridge — 4-agent synthesis 2026-06-30 19:53:58 -05:00
hachimoji_encode.jl wip: durability snapshot of local working tree (pre-existing, uncommitted) 2026-07-02 20:49:53 -05:00
README.md feat(wolfram): add Wolfram Alpha MCP server + SOPS-encrypted API key 2026-06-30 17:28:22 -05:00

README.md

SilverSight — Language Port

Source of truth: /home/allaun/SilverSight/formal/ (Lean 4)

This directory mirrors the Lean module structure. Each file implements the same theorems/algorithms in this language, providing independent cross-validation across runtimes.

Module map: CoreFormalism/ → formal/CoreFormalism/ (braid, Q16_16, Sidon) SilverSight/ → formal/SilverSight/ (PIST, AVMIsa, RRC) BindingSite/ → formal/BindingSite/ (DNA, hachimoji) PVGS_DQ_Bridge/ → formal/PVGS_DQ_Bridge/ UniversalEncoding/ → formal/UniversalEncoding/ nuvmap/ → python/nuvmap/ (NUVMAP projection)