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/rust
History
Exact
allaun 8bf8781e49 feat(semisym): modular fast path + scar-map ingest skeleton 
- 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>
2026-07-03 05:04:23 -05:00
..
semisym feat(semisym): modular fast path + scar-map ingest skeleton 2026-07-03 05:04:23 -05:00
src feat(semisym): modular fast path + scar-map ingest skeleton 2026-07-03 05:04:23 -05:00
tests feat(wolfram): add Wolfram Alpha MCP server + SOPS-encrypted API key 2026-06-30 17:28:22 -05:00
Cargo.lock feat(ingest): Rust equation ingestion pipeline — Markdown → Parse → Classify → Compute 2026-06-30 20:48:20 -05:00
Cargo.toml feat(ingest): Rust equation ingestion pipeline — Markdown → Parse → Classify → Compute 2026-06-30 20:48:20 -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)