pith. machine review for the scientific record. sign in

Gravity

Zero-parameter gravity. G = φ⁵/π, the equivalence principle from the ledger, kappa bounds.

61 modules · 479 thm/lemma · 10985 lines
module thm lemma def lines papers
Gravity 0 0 0 29
Gravity.AcousticPhaseLevitation 14 2 7 476
Gravity.BHEchoAmplitudes 6 0 3 96
Gravity.BHEchoPerEventCatalog 5 0 5 118
Gravity.BHEchoesLIGOCatalog 4 0 3 90
Gravity.BTFREmergence 5 0 5 203
Gravity.BackreactionAudit 5 0 7 127
Gravity.BlackHoleEchoesFromBounce 15 0 6 256
Gravity.BlackHoleEntropyFromLedger 7 0 4 133
Gravity.BlackHoleHorizonStates 8 0 3 202
Gravity.BlackHoleInformationPreservation 21 0 9 376
Gravity.CaldeiraLeggett 4 1 5 190
Gravity.Candidates.Li 0 0 5 70
Gravity.Candidates.Podkletnov 0 0 4 61
Gravity.Candidates.Searl 0 0 3 54
Gravity.CausalKernelChain 5 1 4 306
Gravity.CoerciveProjection 14 0 6 160
Gravity.CoherenceCollapse 9 0 7 152
Gravity.CoherenceFall 1 2 2 134
Gravity.CoherenceGain 6 0 4 160
Gravity.Connection 3 0 5 140
Gravity.DerivedFactors 2 0 5 148
Gravity.DiscreteBianchi 4 0 6 164
Gravity.DiscreteCurvature 9 0 7 169
Gravity.EightTickResonance 18 0 5 217
Gravity.EinsteinHilbertAction 5 0 4 142
Gravity.EnergyProcessingBridge 7 0 2 149
Gravity.EquivalencePrinciple 11 0 8 195
Gravity.GalacticTimescale 2 0 5 106
Gravity.GravitationalLensing 8 0 8 156
Gravity.GravityParameters 20 0 15 341
Gravity.HawkingTemperatureFromRung 11 0 4 227
Gravity.HubbleTension 7 0 11 121
Gravity.ILG 0 9 7 156
Gravity.ILGAsymptoticEnhancement 8 0 3 218
Gravity.ILGDerivation 4 0 0 53
Gravity.ILGGrowthFactor 7 0 3 147
Gravity.ILGRealExponentEnhancement 6 0 1 145
Gravity.ILGSpatialKernel 16 0 6 315
Gravity.Inflation 10 0 6 131
Gravity.JCostInflaton 24 0 5 263
Gravity.LatticeRicci 6 0 4 155
Gravity.NonlinearConvergence 3 0 5 175
Gravity.NonlinearReggeProof 4 0 3 123
Gravity.ParameterizationBridge 6 0 3 201
Gravity.PropagationSpeed 4 0 2 58
Gravity.RAREmergence 5 0 5 186
Gravity.RSBaryogenesis 14 0 7 143
Gravity.ReggeCalculus 10 0 8 250
Gravity.RicciTensor 6 0 5 143
Gravity.RiemannTensor 4 0 1 142
Gravity.Rotation 0 4 2 99
Gravity.RotationILG 1 0 2 199
Gravity.RunningG 17 0 8 291
Gravity.RunningGDerivation 2 0 1 70
Gravity.SPARCFalsifier 6 0 21 196
Gravity.StressEnergyTensor 4 0 4 153
Gravity.UltramassiveBH 15 1 8 274
Gravity.WeakFieldConformalRegge 24 2 12 761
Gravity.WeakFieldSuperposition 5 0 1 129
Gravity.ZeroParameterGravity 10 0 2 141

full source mirrored from github.com/jonwashburn/shape-of-logic