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/Semantics
History
Brandon Schneider aeed9b7bf3 feat(physics): torsion = RG rotation, frame-drags spacetime at extreme scales 
RGManifoldSeams.lean:
  The SM coupling manifold has intrinsic torsion omega = 0.05775 rad/e-fold,
  derived from 5 CERN-measured couplings. At extreme scales (BH interiors,
  Planck scale), this torsion couples to spacetime via Einstein-Cartan:
    torsion ∝ omega * H(z)
  The seam at lambda = 0 is where torsion-spacetime coupling becomes order 1.
  Above: torsion dominates (frame-dragging). Below: curvature dominates (GR).

ClusterBHAnchors.lean:
  Void fraction between cluster (~5 Mpc, n=3) and BAO (~147 Mpc, n=4) scales:
    59% → 70% — consistent with DESI observed void fractions.
  Model s8 = 0.812: consistent with DES+SPT (0.795, 0.6s).
                    tension with Planck SZ (0.77, 2.1s).
  BH M-sigma: Koch under-predicts exponent by 5x — genuine failure mode.
2026-05-13 21:14:55 -05:00
..
.github/workflows initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
Ancillary Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
blackboard initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
build-static initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
Core Address fixed-point review findings 2026-05-05 21:26:18 -05:00
ExtensionScaffold Track compiling Lean source slice 2026-05-11 22:14:31 -05:00
legacy initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
OpenWormKernelFieldBenchmark initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
Quarantine initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
scripts initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
Semantics feat(physics): torsion = RG rotation, frame-drags spacetime at extreme scales 2026-05-13 21:14:55 -05:00
.gitignore initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
AdaptivePrecision.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
AdaptivePrecision.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
AdaptivePrecision.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
AGENTS.md Update repository agent operating contracts 2026-05-11 22:48:54 -05:00
BindServer.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
BindServer.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
BindServer.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
CombinatorialPrecision.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
CombinatorialPrecision.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
CombinatorialPrecision.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
debug_eval.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
EQUATIONS_EXTRACTION.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
EvolutionaryTransfold.lean Track compiling Lean source slice 2026-05-11 22:14:31 -05:00
EvolutionaryTransfoldExpanded.lean Track compiling Lean source slice 2026-05-11 22:14:31 -05:00
ExtensionScaffold.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
EXTERNAL_REVIEW_REQUIREMENTS.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
ExtremeParameterTestEval.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
ExtremeParameterTestEval.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
ExtremeParameterTestEval.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
ExtremeParameterTestEval_output.txt initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
F01_Q16_16_FixedPoint.lean collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
F01_Q16_16_FixedPoint.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
F01_Q16_16_FixedPoint.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
FPGAExtraction.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
FPGAExtraction.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
FPGAExtraction.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
GenerateLUTMain.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
GenerateSparklePhiS3C.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
GenerateSparklePhiS3C.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
GenerateSparklePhiS3C.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
lake-manifest.json Consolidate research stack updates 2026-05-05 21:09:48 -05:00
lakefile.toml Consolidate research stack updates 2026-05-05 21:09:48 -05:00
lean-toolchain Consolidate research stack updates 2026-05-05 21:09:48 -05:00
Main.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
Main.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
Main.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
MANIFOLD_NETWORKING_V0.1_ACCEPTANCE.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
ManifoldCompressionAgnostic.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
ManifoldCompressionAgnostic.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
ManifoldCompressionAgnostic.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
MATH_MODEL_MAP.tsv initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
MetadataOverheadBudget.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
MetadataOverheadBudget.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
MetadataOverheadBudget.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
MetaManifoldLanguageMerging.lean Consolidate research stack updates 2026-05-05 21:09:48 -05:00
MetaManifoldLanguageMerging.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
MetaManifoldLanguageMerging.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
MinimumNeuralCompression.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
MinimumNeuralCompression.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
MinimumNeuralCompression.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
MOIMBenchmarkMain.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
MOIMBenchmarkMain.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
MOIMBenchmarkMain.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
NominalParameterTestEval.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
NominalParameterTestEval.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
NominalParameterTestEval.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
OpenWormBenchmark.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
OpenWormBenchmark.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
OpenWormBenchmark.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
OriginProtocol.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
OriginProtocol.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
OriginProtocol.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
PHASE_COMPLETION_SUMMARY.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
PUBLIC_BENCHMARK_RELEASE.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
PUBLIC_THEORY_RELEASE.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
PurifyMain.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
QuizTest.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
QuizTest.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
QuizTest.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
README.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
SearchServer.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
SearchServer.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
SearchServer.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
Semantics.lean feat(codebase-memory): FAMM-based persistent multi-domain memory for Hermes 2026-05-13 16:11:27 -05:00
Semantics.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
Semantics.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
SIGNAL_ANALYSIS_GENETIC_IMPLICATIONS.md Track compiling Lean source slice 2026-05-11 22:14:31 -05:00
TangNano9KEmitter.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
TangNano9KEmitter.lean.pist collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
TangNano9KEmitter.lean.pist.meta collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
test.lean initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
TRANSFOLD_COMPARISON.md Track compiling Lean source slice 2026-05-11 22:14:31 -05:00
TransfoldEquation.lean Track compiling Lean source slice 2026-05-11 22:14:31 -05:00
TransfoldEquationBaseline.lean Track compiling Lean source slice 2026-05-11 22:14:31 -05:00
UrbanAdaptationTransfold.lean Track compiling Lean source slice 2026-05-11 22:14:31 -05:00

README.md

Semantics