allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Research-Stack/0-Core-Formalism/lean
History
Brandon Schneider bad5571705 feat(physics): Jupiter moons — 400-year invariant test of torsion at 10^11 m 
Galileo (1610) -> Cassini -> Römer (1676, first c measurement)
-> JPL DE440 (modern, 3 cm precision on 4.2e8 m orbits).

Cross-scale anchor at 10^11 m between CERN (10^-20) and DESI (10^24).
Torsion effect suppressed by (E_Jup/E_wall)^2 = 10^-38 — 27 orders
below JPL detectability. 400 years of consistent null result.
2026-05-13 21:22:47 -05:00
..
external/OTOM Refactor provenance sources for open witness backends 2026-05-12 05:57:04 -05:00
LeanGPT initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
Semantics feat(physics): Jupiter moons — 400-year invariant test of torsion at 10^11 m 2026-05-13 21:22:47 -05:00
CHAIN_ALL_REVIEW_REPORT.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00