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/scala
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
..
.bsp verify(wolfram): 35/35 spectral gap chain confirmed by Wolfram Alpha 2026-06-30 20:01:31 -05:00
.scala-build feat(cartan-dna): Cartan-DNA bridge — derive spectral gap from encoder 2026-06-30 20:06:38 -05:00
AVMIsa feat(tests): Python AVM port rewrite + test harness, Go test harness 2026-06-30 17:56:09 -05:00
avm.scala feat(cartan-dna): Cartan-DNA bridge — derive spectral gap from encoder 2026-06-30 20:06:38 -05:00
hachimoji_encode.scala wip: durability snapshot of local working tree (pre-existing, uncommitted) 2026-07-02 20:49:53 -05:00
TestAVM.scala feat(tests): add C, C++, Scala, Fortran, Octave test harnesses 2026-06-30 17:59:19 -05:00