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/formal
History
Exact
allaun 2ef30d8a82 feat(prime-lut): add PrimeLut reader with embedded + binary LUT backends 
- SilverSight.PrimeLut module: pure API matching Research Stack PrimeLut.lean
- Embedded small LUT: first 168 primes, twin/safe subsets, all #eval witnesses
- BinaryLUT backend: reads primes.bin + primes.index via IO.FS.readBinFile
  for full 105M prime coverage (< 2^31)
- Added precomputed-math-data as git submodule at external/
- Registered in SilverSightFormal lake library

Build: 3307 jobs, 0 errors (lake build)
2026-07-03 05:00:22 -05:00
..
BindingSite feat(phi): Hachimoji N=8 foundation, Phi pipeline, AVMIsa audit report 2026-06-28 00:11:39 -05:00
CoreFormalism fix(e8sidon): levelset axioms → proven theorems, N=32/64 are NOT Sidon 2026-06-30 21:16:29 -05:00
PVGS_DQ_Bridge fix: eliminate all 4 PVGS sorry proofs — sorry-free compilation 2026-07-01 22:47:19 +00:00
RRCLib feat(rrc): bare-minimum RRC refactor into SilverSight 2026-06-21 09:08:48 -05:00
SilverSight feat(prime-lut): add PrimeLut reader with embedded + binary LUT backends 2026-07-03 05:00:22 -05:00
UniversalEncoding chore(quality): native_decide migration, docs, and phi pipeline cleanup 2026-06-27 01:56:54 -05:00