Pith. sign in

Foundation

From one distinction to a forced arithmetic. The core derivation chain: existence, distinction, recognition lattice, φ, dimension, time, universal forcing.

496 modules · 6323 thm/lemma · 132797 lines
module thm lemma def lines papers
Foundation 2 0 0 40 234
Foundation.AbsoluteFloorClosure 6 0 0 83 4621
Foundation.AlexanderDuality 6 0 2 185 6886
Foundation.AllPhysics5 4 0 3 36 -
Foundation.AlphaCoordinateFixation 6 7 2 257 2017
Foundation.ArcComplementAcyclic 3 44 13 871 -
Foundation.ArithmeticFromLogic 58 0 11 720 4879
Foundation.ArithmeticOf 4 0 13 258 11
Foundation.ArrowOfTime 8 0 3 104 554
Foundation.AxiomDischargePlan 7 0 0 389 9
Foundation.BAO_Scale_RS_Exact5 4 0 3 36 -
Foundation.BITKernel4_DeepFromJCost 4 0 3 36 -
Foundation.BITKernelFamilies3 4 0 3 36 -
Foundation.BiconditionalSelfNegation 9 0 4 287 -
Foundation.BooleanProjectionFromMark 3 0 1 77 -
Foundation.BornRuleForcing 22 0 4 252 -
Foundation.BranchSelection 11 0 5 221 1264
Foundation.CKMHierarchyFromPhiLadder 9 0 10 281 -
Foundation.CKMLambdaFromPhiLadder 4 0 3 80 6
Foundation.CPT_Theorem3FromJCost 4 0 3 36 -
Foundation.CategoricalLogicRealization 1 0 4 110 -
Foundation.Chemistry 4 0 3 36 1
Foundation.CircleCovering 4 0 3 96 -
Foundation.CircleFundamentalSimplex 3 0 2 113 -
Foundation.CircleH1Computation 30 0 20 546 -
Foundation.CircleLifting 4 0 0 80 -
Foundation.CircleParam 9 0 6 150 -
Foundation.CircleWinding 21 0 8 372 -
Foundation.CircleWindingChain 340 0 109 7754 -
Foundation.CliffordBridge 8 0 12 385 -
Foundation.ClosedObservableFramework 5 0 1 153 1
Foundation.CoherenceExponentUniqueness 9 0 6 94 -
Foundation.ComplexFromLogic 16 0 5 148 -
Foundation.ComplexStructureForcing 19 1 11 418 -
Foundation.ConfigDim_D3_v3 4 0 3 36 -
Foundation.Configuration_Space_D3 4 0 3 36 -
Foundation.ConstantDerivations 12 0 8 289 16
Foundation.ContinuumLimit 16 0 12 677 -
Foundation.CostAxioms 12 1 2 372 1
Foundation.CostFirstExistence 3 0 2 108 2
Foundation.CostFromDistinction 19 0 1 419 -
Foundation.CostProjectorGolden 9 0 5 198 -
Foundation.Count_Law_7_Exact_v2 4 0 3 36 -
Foundation.CoupledRecognitionCores 31 9 18 627 -
Foundation.CycleOperator 11 0 8 207 -
Foundation.D3_Combinatorics_v2 4 0 3 36 -
Foundation.DAlembert.Counterexamples 1 6 4 130 -
Foundation.DAlembert.CurvatureGate 11 0 9 273 -
Foundation.DAlembert.DegreeExclusion 1 7 0 155 -
Foundation.DAlembert.EntanglementGate 12 0 5 242 -
Foundation.DAlembert.FactorizationForcing 4 0 1 138 -
Foundation.DAlembert.FourthGate 10 0 2 348 -
Foundation.DAlembert.FullUnconditional 14 0 3 498 -
Foundation.DAlembert.Inevitability 8 0 3 516 358
Foundation.DAlembert.LedgerFactorization 5 0 2 164 -
Foundation.DAlembert.NecessityGates 2 1 1 77 -
Foundation.DAlembert.Proof 5 0 1 253 -
Foundation.DAlembert.RightAffineFromFactorization 6 0 0 260 -
Foundation.DAlembert.Stability 8 4 10 370 -
Foundation.DAlembert.TriangulatedProof 14 0 1 266 3
Foundation.DAlembert.Ultimate 5 0 3 167 -
Foundation.DAlembert.Unconditional 7 0 0 230 -
Foundation.DAlembert.WLOGAlphaOne 8 4 2 145 1
Foundation.DeltaSpine.CostUniqueness 24 0 8 357 -
Foundation.DeltaSpine.GoldenInt 37 0 5 413 -
Foundation.DeltaSpine.GoldenIntReal 25 0 1 347 -
Foundation.DeltaSpine.LadderRatioBounds 13 0 4 175 -
Foundation.DeltaSpine.MassRatioBinding 7 0 3 171 -
Foundation.DeltaSpine.MassRatioBindingReal 14 4 1 285 -
Foundation.Determinism 4 0 1 141 -
Foundation.DimensionForcing 33 0 8 500 1991
Foundation.DimensionalConstraints.CostLayer 1 0 0 74 -
Foundation.DiscreteLogicRealization 4 0 4 85 -
Foundation.DiscretenessForcing 16 0 3 552 70
Foundation.DistinctionToArithmetic 7 0 3 215 -
Foundation.DistinctionToT4 13 0 2 460 -
Foundation.DistinguishabilityFromSpecifiability 4 0 2 103 2
Foundation.DomainBootstrap 2 0 6 176 -
Foundation.Ecology 4 0 3 36 -
Foundation.Economics 4 0 3 36 -
Foundation.EightTick 7 0 6 142 20
Foundation.Eight_Tick_Applications_v2 4 0 3 36 -
Foundation.Eight_Tick_Completeness 4 0 3 36 -
Foundation.Eight_Tick_Derivation_v3 4 0 3 36 -
Foundation.ElectronComptonFromJCost 4 0 3 36 -
Foundation.Electron_Mass_RS5 4 0 3 36 -
Foundation.EntanglementMonogamy3FromJCost 4 0 3 36 -
Foundation.Entanglement_Cost_RS 4 0 3 36 -
Foundation.Ethics 4 0 3 36 -
Foundation.Euler_Number_e_RS 4 0 3 36 -
Foundation.ExistenceUniquenessFromCost 4 0 1 77 -
Foundation.FaceWinding 8 0 12 242 -
Foundation.ForcingChainCompleteness3 4 0 3 36 -
Foundation.Foundation 4 0 3 36 -
Foundation.FreudenthalTriangulationCert 7 0 9 78 -
Foundation.GUT_Scale_RS_v3 4 0 3 36 -
Foundation.Gap45_Exact_v2 4 0 3 36 -
Foundation.GapDerivation 15 0 7 191 -
Foundation.GaugeFromCube 25 0 16 450 1
Foundation.GaugeGroupCube 5 0 5 66 -
Foundation.GaugeLieCompletionFromCube 8 0 4 134 -
Foundation.GaugeSymmetry3_FromJCost 4 0 3 36 -
Foundation.GeneralizedDAlembert 25 0 10 699 9
Foundation.GeneralizedDAlembert.SecondDerivative 2 0 0 44 -
Foundation.GeneralizedDAlembert.SmoothnessTop 1 0 0 28 -
Foundation.GodelDissolution 9 0 1 216 -
Foundation.GoldRatioUniversality3FromJCost 4 0 3 36 -
Foundation.GoldenAngle_RS 4 0 3 36 -
Foundation.GoldenRatio_Uniqueness_v3 4 0 3 36 -
Foundation.GrayCodeChirality 18 0 5 217 -
Foundation.GroundStateDynamics 5 0 1 69 -
Foundation.GrowthBounds 6 1 0 161 -
Foundation.HamiltonianEmergence 5 0 5 166 1
Foundation.HamiltonianEmergenceOperator 11 0 3 200 -
Foundation.HierarchyDissolution 4 0 0 65 -
Foundation.HierarchyDynamics 9 0 1 268 2
Foundation.HierarchyEmergence 3 0 1 133 310
Foundation.HierarchyForcing 8 0 2 155 15
Foundation.HierarchyMinimality 2 0 0 39 -
Foundation.HierarchyRealization 6 0 1 187 3
Foundation.HierarchyRealizationFromScale 4 0 1 110 -
Foundation.HierarchyRealizationObstruction 9 0 3 126 -
Foundation.HydrogenSpectrum3FromJCost 4 0 3 36 -
Foundation.Inequalities 12 0 0 128 1
Foundation.InevitabilityEquivalence 7 0 6 240 -
Foundation.InevitabilityStructure 3 0 19 321 16
Foundation.InitialCondition 8 0 3 166 -
Foundation.IntegersFromLogic 28 0 13 464 -
Foundation.JCostBounds3 4 0 3 36 -
Foundation.JCostConvexityInLogSpace 9 0 3 100 -
Foundation.JCostCoshIdentity 5 0 1 68 1
Foundation.JCostGeometry 18 0 5 228 3
Foundation.JCostHessianC7 4 0 3 75 -
Foundation.JCostMonotonicity3 4 0 3 36 -
Foundation.JHessianGoldenMulti 5 6 4 203 -
Foundation.Jcost_Phi_Exact 4 0 3 36 -
Foundation.LagrangianFromJCost3 4 0 3 36 -
Foundation.LambdaQCD_RS_v3 4 0 3 36 -
Foundation.LatticeIsotropyBound 4 0 1 48 -
Foundation.LawOfExistence 16 0 4 203 154
Foundation.LedgerCanonicality 0 0 1 108 133
Foundation.LedgerComparisonToComposition 10 0 2 213 -
Foundation.LedgerCompositionToJCost 8 0 1 193 -
Foundation.LedgerField 7 0 3 117 -
Foundation.LedgerFieldCone 3 0 1 84 -
Foundation.LedgerFloorT0Bridge 10 0 2 286 -
Foundation.LedgerForcing 17 0 10 355 83
Foundation.LedgerTime 5 0 3 89 -
Foundation.LedgerToFactorization 41 0 0 887 -
Foundation.LinkingVanishingHighDim 6 21 16 630 -
Foundation.LinkingVanishingLowDim 4 1 2 250 -
Foundation.LogicAsFunctionalEquation 10 0 7 441 261
Foundation.LogicAsFunctionalEquation.AnalyticCounterexample 2 0 2 61 -
Foundation.LogicAsFunctionalEquation.BooleanRatioBridge 3 0 3 78 -
Foundation.LogicAsFunctionalEquation.Canonicality 7 0 0 107 -
Foundation.LogicAsFunctionalEquation.CountOnceComparison 4 0 4 89 -
Foundation.LogicAsFunctionalEquation.DirectProof 5 0 1 163 -
Foundation.LogicAsFunctionalEquation.FiniteLogicalComparison 8 0 0 104 -
Foundation.LogicAsFunctionalEquation.LinearLogicBridge 3 0 2 94 -
Foundation.LogicAsFunctionalEquation.MainTheorem 5 0 0 64 -
Foundation.LogicAsFunctionalEquation.NoHiddenState 2 0 0 50 -
Foundation.LogicAsFunctionalEquation.OperativeDomain 3 0 1 51 -
Foundation.LogicAsFunctionalEquation.PositiveRatioForcing 4 0 1 64 -
Foundation.LogicAsFunctionalEquation.QuarticLogCounterexample 4 0 2 85 -
Foundation.LogicAsFunctionalEquation.RealityStructure 7 0 0 98 -
Foundation.LogicAsFunctionalEquationLogic 6 0 6 147 -
Foundation.LogicFromCost 10 0 6 343 -
Foundation.LogicRealConstants 16 0 9 123 -
Foundation.LogicRealTranscendentals 14 0 9 121 -
Foundation.LogicRealization 5 0 3 183 1
Foundation.MSSM_Breaking_RS_v3 4 0 3 36 -
Foundation.MagnitudeOfMismatch 6 0 1 150 -
Foundation.ManyWorldsFromJCost 4 0 3 36 -
Foundation.MassWeakBases 8 0 6 265 -
Foundation.MathlibCohomologyBridge 16 0 4 361 -
Foundation.MaximalForcing.AdmissibleRealization 2 0 2 110 -
Foundation.MaximalForcing.ForcedInvariant 0 0 0 37 -
Foundation.MaximalForcing.ForcingClosure 0 0 2 39 -
Foundation.MaximalForcing.IndependenceWitness 1 0 0 38 -
Foundation.MaximalForcing.Primitive 0 0 3 68 -
Foundation.MaximalForcing.RSAlphaUniverse 5 0 7 124 -
Foundation.MaximalForcing.RSClosureExtension 8 0 0 166 -
Foundation.MaximalForcing.RSCostUniverse 5 0 8 147 -
Foundation.MaximalForcing.RSGravityUniverse 6 0 7 123 -
Foundation.MaximalForcing.RSHbarUniverse 6 0 7 125 -
Foundation.MaximalForcing.RSMassLadderUniverse 5 0 7 123 -
Foundation.MaximalForcing.RSPhiUniverse 5 0 8 118 -
Foundation.MaximalForcing.RSSelectionExample 9 0 9 182 -
Foundation.MaximalForcing.RealityClosure 2 0 0 74 -
Foundation.MaxwellDemon2DeepFromJCost 4 0 3 36 -
Foundation.MeasureForcing 46 1 11 820 -
Foundation.MeasurementMechanism 15 0 6 494 -
Foundation.MetaDoesNotForceObject 3 0 0 50 -
Foundation.ModularLogicRealization 7 0 6 119 -
Foundation.MultiAxisRobustness 8 0 6 96 -
Foundation.MultiChannelJCost 4 0 2 86 -
Foundation.MultiplicativeRecognizerL4 8 0 5 303 1
Foundation.NeutralSector 3 0 1 78 -
Foundation.Neutron_Proton_Diff_RS5 4 0 3 36 -
Foundation.NineParities 19 0 7 268 -
Foundation.NonTrivialityFromDistinguishability 13 0 2 227 -
Foundation.NothingToDistinction 12 0 3 164 -
Foundation.ObservableFloorWitness 5 0 1 107 -
Foundation.ObserverForcing 13 0 4 271 -
Foundation.ObserverFromRecognition 10 0 4 174 1
Foundation.OntologyPredicates 33 0 12 566 -
Foundation.OperatorCore.ComplexStructureForcing 0 0 0 36 -
Foundation.OperatorCore.CoupledRecognitionCores 0 0 0 32 -
Foundation.OrderedLogicRealization 4 0 3 90 -
Foundation.ParticleGenerations 4 0 1 71 1
Foundation.PeriodDependsOnDimension 12 0 2 187 -
Foundation.PhiForcing 18 0 4 258 137
Foundation.PhiForcingDerived 7 2 3 266 1
Foundation.Phi_Continued_Fraction_RS 4 0 3 36 -
Foundation.Phi_Square_Identity 4 0 3 36 -
Foundation.PhysicsLogicRealization 3 0 5 101 -
Foundation.Pi_Phi_Relation_RS 4 0 3 36 -
Foundation.PinchAlgebra 4 0 0 74 -
Foundation.PolynomialityFromLogic 2 0 2 188 -
Foundation.PostingExtensivity 10 0 1 200 -
Foundation.PreLogicalCost 2 0 5 73 -
Foundation.PreTemporalForcingOrder 21 0 7 194 -
Foundation.PrimitiveDistinction 11 0 5 343 2
Foundation.PrimitiveRecognitionCalculus.AllDimensionalCubicalBoundary 3 0 1 104 -
Foundation.PrimitiveRecognitionCalculus.Basic 9 0 5 135 -
Foundation.PrimitiveRecognitionCalculus.CertifiedAnalyticProtocols 7 0 3 127 -
Foundation.PrimitiveRecognitionCalculus.CertifiedAnalyticTransformers 9 0 5 133 -
Foundation.PrimitiveRecognitionCalculus.ChoicePrinciples 3 0 1 76 -
Foundation.PrimitiveRecognitionCalculus.CompletionConservativity 7 0 8 143 -
Foundation.PrimitiveRecognitionCalculus.Continuum.CharacterRigidityForcing 12 0 2 181 -
Foundation.PrimitiveRecognitionCalculus.Continuum.ForcedJOnCompletion 8 0 1 179 -
Foundation.PrimitiveRecognitionCalculus.CubicalChainComplex 5 0 1 100 -
Foundation.PrimitiveRecognitionCalculus.DeltaAmplitude 10 0 8 135 -
Foundation.PrimitiveRecognitionCalculus.DeltaForced 16 0 5 253 -
Foundation.PrimitiveRecognitionCalculus.DeltaNativeAnalysis 0 0 0 102 -
Foundation.PrimitiveRecognitionCalculus.DeltaNativeStrongClosure 1 0 2 163 -
Foundation.PrimitiveRecognitionCalculus.DeltaProbability 13 0 4 165 -
Foundation.PrimitiveRecognitionCalculus.DeltaReal 25 0 13 484 -
Foundation.PrimitiveRecognitionCalculus.DeltaRealCalibration 7 0 2 150 -
Foundation.PrimitiveRecognitionCalculus.FRSCarrier 11 0 2 140 -
Foundation.PrimitiveRecognitionCalculus.FRSComplexAmplitude 9 0 4 107 -
Foundation.PrimitiveRecognitionCalculus.Factorization 0 0 0 9 -
Foundation.PrimitiveRecognitionCalculus.Factorization.ChartTransition 9 0 2 147 -
Foundation.PrimitiveRecognitionCalculus.Factorization.CoordinateUniqueness 16 0 1 291 -
Foundation.PrimitiveRecognitionCalculus.Factorization.EvenPeriodGap 3 0 1 104 -
Foundation.PrimitiveRecognitionCalculus.Factorization.FiniteMulCharacter 6 0 2 177 -
Foundation.PrimitiveRecognitionCalculus.Factorization.GoalClosure 6 0 3 104 -
Foundation.PrimitiveRecognitionCalculus.Factorization.MasterCertificate 1 0 0 58 -
Foundation.PrimitiveRecognitionCalculus.Factorization.PeriodExistence 5 0 1 83 -
Foundation.PrimitiveRecognitionCalculus.Factorization.PeriodFactor 4 0 0 121 -
Foundation.PrimitiveRecognitionCalculus.Factorization.PeriodSpectrum 6 0 1 100 -
Foundation.PrimitiveRecognitionCalculus.Factorization.PhysicalPeriodReadout 2 0 0 56 -
Foundation.PrimitiveRecognitionCalculus.Factorization.PrimeCoordinateTransform 22 0 9 360 -
Foundation.PrimitiveRecognitionCalculus.Factorization.RecognitionLowerBound 7 0 3 139 -
Foundation.PrimitiveRecognitionCalculus.Factorization.ResidueOrbit 10 0 4 173 -
Foundation.PrimitiveRecognitionCalculus.Factorization.SubstrateDichotomy 3 0 1 91 -
Foundation.PrimitiveRecognitionCalculus.Factorization.UnitGroup 7 0 3 101 -
Foundation.PrimitiveRecognitionCalculus.FiniteCertificateTransfer 10 0 1 175 -
Foundation.PrimitiveRecognitionCalculus.FormalSystem 4 0 3 124 -
Foundation.PrimitiveRecognitionCalculus.GenerableReal 6 0 1 98 -
Foundation.PrimitiveRecognitionCalculus.Grow.DeltaForcedNoEnumeration 1 0 0 16 -
Foundation.PrimitiveRecognitionCalculus.Grow.EtaCompletionM0a 15 0 7 289 -
Foundation.PrimitiveRecognitionCalculus.Grow.ForcedTrichotomy 3 0 1 107 -
Foundation.PrimitiveRecognitionCalculus.Grow.IntegerDivisibility 7 0 1 64 -
Foundation.PrimitiveRecognitionCalculus.Grow.RatioOrbitDenseMediant 2 0 1 77 -
Foundation.PrimitiveRecognitionCalculus.Grow.RatioOrbitLeNeg 1 0 0 29 -
Foundation.PrimitiveRecognitionCalculus.Grow.RatioOrbitLeReflTotal 2 0 1 32 -
Foundation.PrimitiveRecognitionCalculus.Grow.RatioOrbitLeTransAntisymm 2 0 0 51 -
Foundation.PrimitiveRecognitionCalculus.Grow.RatioOrbitLtTrichotomy 2 0 1 31 -
Foundation.PrimitiveRecognitionCalculus.Grow.RatioOrbitMulPos 3 0 0 48 -
Foundation.PrimitiveRecognitionCalculus.Grow.RatioOrbitOrderAddMono 1 2 0 44 -
Foundation.PrimitiveRecognitionCalculus.Grow.RatioOrbitOrderMulNonneg 2 0 0 60 -
Foundation.PrimitiveRecognitionCalculus.Grow.RatioOrbitZeroLtOne 1 0 0 25 -
Foundation.PrimitiveRecognitionCalculus.Grow.SignedOrbitLeCongrLeftOfBalancedChoiceFree 1 0 0 25 -
Foundation.PrimitiveRecognitionCalculus.Grow.SignedOrbitLeCongrOfBalancedChoiceFree 1 0 0 20 -
Foundation.PrimitiveRecognitionCalculus.Grow.SignedOrbitLeCongrRightOfBalancedChoiceFree 1 0 0 25 -
Foundation.PrimitiveRecognitionCalculus.Grow.SignedOrbitLeMulRightIffOfNonnegFlagOfNotBalancedZeroChoiceFree 2 0 0 61 -
Foundation.PrimitiveRecognitionCalculus.Grow.SignedOrbitLeOfProductRightFactorIffOfBalancedChoiceFree 2 0 0 24 -
Foundation.PrimitiveRecognitionCalculus.Grow.SignedOrbitLeProductRightFactorIffOfBalancedChoiceFree 2 0 0 26 -
Foundation.PrimitiveRecognitionCalculus.Grow.SignedOrbitMulBalancedZeroOfBalancedZeroRightChoiceFree 1 0 0 21 -
Foundation.PrimitiveRecognitionCalculus.Grow.SignedOrbitNonnegFlagMulOfOrbitRightOfNeZeroChoiceFree 1 0 0 57 -
Foundation.PrimitiveRecognitionCalculus.Grow.SignedOrbitOrderChoiceFree 9 0 0 124 -
Foundation.PrimitiveRecognitionCalculus.Grow.SignedOrbitZeroLeIffNonnegFlagChoiceFree 1 0 0 24 -
Foundation.PrimitiveRecognitionCalculus.HardProblemCertificateAudits 12 0 31 351 -
Foundation.PrimitiveRecognitionCalculus.HilbertDisplayCompletion 4 0 4 95 -
Foundation.PrimitiveRecognitionCalculus.Inevitability 3 0 3 91 -
Foundation.PrimitiveRecognitionCalculus.IntegerOrder 441 0 1 7692 -
Foundation.PrimitiveRecognitionCalculus.IntegerRational 131 0 33 1720 -
Foundation.PrimitiveRecognitionCalculus.Kernel 1 0 0 254 -
Foundation.PrimitiveRecognitionCalculus.MultiDistinctionGeometry 5 0 6 165 -
Foundation.PrimitiveRecognitionCalculus.ObjecthoodRegistry 11 0 1 243 -
Foundation.PrimitiveRecognitionCalculus.Omniscience 4 0 4 122 -
Foundation.PrimitiveRecognitionCalculus.Orbit 9 0 3 107 -
Foundation.PrimitiveRecognitionCalculus.OrbitArithmetic 19 0 2 195 -
Foundation.PrimitiveRecognitionCalculus.OrbitDivisibility 25 0 5 363 -
Foundation.PrimitiveRecognitionCalculus.OrbitEuclidean 25 0 10 519 -
Foundation.PrimitiveRecognitionCalculus.PRCCalibrationIndependence 15 0 1 235 -
Foundation.PrimitiveRecognitionCalculus.PRCCalibrationTarget 7 0 0 175 -
Foundation.PrimitiveRecognitionCalculus.PRCCategoryTheoryParse 8 0 2 120 -
Foundation.PrimitiveRecognitionCalculus.PRCChainBridge 5 0 0 100 -
Foundation.PrimitiveRecognitionCalculus.PRCCompletenessIndependence 8 0 1 182 -
Foundation.PrimitiveRecognitionCalculus.PRCCostOnField 6 0 0 104 -
Foundation.PrimitiveRecognitionCalculus.PRCDistinctionDichotomy 8 0 4 152 -
Foundation.PrimitiveRecognitionCalculus.PRCExpLogField 16 0 4 191 -
Foundation.PrimitiveRecognitionCalculus.PRCFoundationsParsed 4 0 0 93 -
Foundation.PrimitiveRecognitionCalculus.PRCFullZFCParse 11 0 2 165 -
Foundation.PrimitiveRecognitionCalculus.PRCInevitabilityInstances 9 0 5 151 -
Foundation.PrimitiveRecognitionCalculus.PRCJCost 11 0 8 243 -
Foundation.PrimitiveRecognitionCalculus.PRCJCostDistanceIncrementTriangle 9 0 2 262 -
Foundation.PrimitiveRecognitionCalculus.PRCJCostDistanceTriangle 4 0 2 95 -
Foundation.PrimitiveRecognitionCalculus.PRCJCostDistanceVerifierTriangle 4 0 2 105 -
Foundation.PrimitiveRecognitionCalculus.PRCMinimalField 18 0 4 189 -
Foundation.PrimitiveRecognitionCalculus.PRCModelTheoryNonForcing 3 0 0 90 -
Foundation.PrimitiveRecognitionCalculus.PRCMonotoneDAlembert 18 0 0 603 -
Foundation.PrimitiveRecognitionCalculus.PRCNativeCostMinimality 13 2 2 517 -
Foundation.PrimitiveRecognitionCalculus.PRCNativeCostMinimalityCertificate 45 0 8 832 -
Foundation.PrimitiveRecognitionCalculus.PRCNativeCostSelection 16 0 4 416 -
Foundation.PrimitiveRecognitionCalculus.PRCNativeCostStructuralLedger 80 2 16 1577 -
Foundation.PrimitiveRecognitionCalculus.PRCNativeCostUniqueness 922 0 232 17090 -
Foundation.PrimitiveRecognitionCalculus.PRCOnePrimitive 5 0 1 120 -
Foundation.PrimitiveRecognitionCalculus.PRCSetTheoryParse 9 0 2 142 -
Foundation.PrimitiveRecognitionCalculus.PRCShrunkCertificate 1 0 0 135 -
Foundation.PrimitiveRecognitionCalculus.PRCTypeTheoryParse 7 0 1 104 -
Foundation.PrimitiveRecognitionCalculus.PhysicalOneActCalibration 2 0 1 77 -
Foundation.PrimitiveRecognitionCalculus.PrimeAxisCoherence 8 0 3 187 -
Foundation.PrimitiveRecognitionCalculus.QuantizedProofMethod 2 0 2 75 -
Foundation.PrimitiveRecognitionCalculus.Quotient 2 0 4 72 -
Foundation.PrimitiveRecognitionCalculus.QuotientExamples 4 0 0 73 -
Foundation.PrimitiveRecognitionCalculus.QuotientSelection 8 0 3 119 -
Foundation.PrimitiveRecognitionCalculus.RationalField 26 0 3 280 -
Foundation.PrimitiveRecognitionCalculus.RealBoundednessModulus 6 0 1 143 -
Foundation.PrimitiveRecognitionCalculus.RealCauchy 7 0 12 237 -
Foundation.PrimitiveRecognitionCalculus.RealCompleteOrderedField 10 0 18 371 -
Foundation.PrimitiveRecognitionCalculus.RealCompleteOrderedFieldPromoted 1 0 0 89 -
Foundation.PrimitiveRecognitionCalculus.RealCompleteness 23 0 13 593 -
Foundation.PrimitiveRecognitionCalculus.RealCompletion 6 0 2 98 -
Foundation.PrimitiveRecognitionCalculus.RealLineNonNativity 6 0 1 106 -
Foundation.PrimitiveRecognitionCalculus.RealMulBoundedContinuity 3 0 3 237 -
Foundation.PrimitiveRecognitionCalculus.RealNullSetoid 4 0 5 136 -
Foundation.PrimitiveRecognitionCalculus.RealOrderCongruence 6 0 0 207 -
Foundation.PrimitiveRecognitionCalculus.RealProductContinuity 6 0 0 305 -
Foundation.PrimitiveRecognitionCalculus.RecognizerBridge 5 0 4 118 -
Foundation.PrimitiveRecognitionCalculus.SameDiff 5 0 3 106 -
Foundation.PrimitiveRecognitionCalculus.Strength 2 0 0 106 -
Foundation.PrimitiveRecognitionCalculus.TraceClosure 7 0 3 108 -
Foundation.PrimitiveRecognitionCalculus.TraceLogic 13 0 8 238 -
Foundation.PrimitiveRecognitionCalculus.UniversalFoundation 2 0 0 2409 -
Foundation.PrimitiveRecognitionCalculus.ValidComparison 3 0 2 69 -
Foundation.PrimitiveRecognitionCalculus.ValidComparisonExamples 4 0 3 85 -
Foundation.ProtonElectronMassRatio3FromJCost 4 0 3 36 -
Foundation.ProtonRadius3FromJCost 4 0 3 36 -
Foundation.PublicSpine 17 0 7 312 -
Foundation.PublicSpineLinkingAssembly 2 1 0 50 -
Foundation.PublicSpineLinkingClosure 2 0 0 43 -
Foundation.QRFT.FermionKineticCert 4 0 3 75 -
Foundation.QRFT.GaugeTreeAmplitudesCert 6 0 2 87 -
Foundation.QRFT.HiggsPotentialFromRecognitionVacuum 4 0 2 80 -
Foundation.QRFT.SMLagrangianSkeleton 7 0 3 106 -
Foundation.QRFT.YukawaCouplingFromJCost 3 0 2 70 -
Foundation.QuantumLedger 12 0 8 232 -
Foundation.QuarkColors 5 0 1 66 -
Foundation.RHatFixedPoint 6 0 0 97 -
Foundation.RHatFromJCostGradient 3 0 2 92 -
Foundation.RSCoupledAxis 4 0 3 88 -
Foundation.RS_AdSCFT_RS 4 0 3 36 -
Foundation.RS_Arrow_Of_Time 4 0 3 36 -
Foundation.RS_FDN_Structural_001 4 0 3 36 -
Foundation.RS_FDN_Structural_002 4 0 3 36 -
Foundation.RS_FDN_Structural_003 4 0 3 36 -
Foundation.RS_FDN_Structural_004 4 0 3 36 -
Foundation.RS_FDN_Structural_005 4 0 3 36 -
Foundation.RS_FDN_Structural_006 4 0 3 36 -
Foundation.RS_FDN_Structural_007 4 0 3 36 -
Foundation.RS_FDN_Structural_008 4 0 3 36 -
Foundation.RS_FDN_Structural_009 4 0 3 36 -
Foundation.RS_FDN_Structural_010 4 0 3 36 -
Foundation.RS_FalsifiabilityMasterThm3 4 0 3 36 -
Foundation.RS_Forcing_Chain_Module_001 4 0 3 36 -
Foundation.RS_Forcing_Chain_Module_002 4 0 3 36 -
Foundation.RS_Forcing_Chain_Module_003 4 0 3 36 -
Foundation.RS_Forcing_Chain_Module_004 4 0 3 36 -
Foundation.RS_Forcing_Chain_Module_005 4 0 3 36 -
Foundation.RS_Forcing_Chain_Module_006 4 0 3 36 -
Foundation.RS_Forcing_Chain_Module_007 4 0 3 36 -
Foundation.RS_Forcing_Chain_Module_008 4 0 3 36 -
Foundation.RS_Forcing_Chain_Module_009 4 0 3 36 -
Foundation.RS_Forcing_Chain_Module_010 4 0 3 36 -
Foundation.RS_Forcing_Chain_Module_011 4 0 3 36 -
Foundation.RS_Forcing_Chain_Module_012 4 0 3 36 -
Foundation.RS_Holographic_Principle_RS 4 0 3 36 -
Foundation.RS_No_Information_Loss 4 0 3 36 -
Foundation.RS_Quantum_Tunneling_Rate 4 0 3 36 -
Foundation.RS_String_Landscape_RS 4 0 3 36 -
Foundation.RS_UniquenessMasterThm3 4 0 3 36 -
Foundation.RS_Wave_Function_Collapse 4 0 3 36 -
Foundation.RationalsFromLogic 25 0 13 437 -
Foundation.RealsFromLogic 28 0 5 225 -
Foundation.Reciprocity_Symmetry 4 0 3 36 -
Foundation.RecognitionFieldVacuum3 4 0 3 36 -
Foundation.RecognitionForcing 11 0 5 207 -
Foundation.RecognitionHilbertSpace3 4 0 3 36 -
Foundation.RecognitionLattice3 4 0 3 36 -
Foundation.RecognitionLatticeFromRecognizer 10 0 11 231 2
Foundation.RecognitionLedgerFloor 14 0 5 268 -
Foundation.RecognitionOperator 6 13 23 399 -
Foundation.RecognitionScience2026State 4 0 3 36 -
Foundation.RecognitionScienceSummary3 4 0 3 36 -
Foundation.RecognitionScience_Logo5 4 0 3 36 -
Foundation.RecognitionSignatureGauge 10 0 7 195 -
Foundation.RecognitionSpectrum3_FromJCost 4 0 3 36 -
Foundation.Recognition_Energy_Floor 4 0 3 36 -
Foundation.RecognizerInducesLogic 2 0 1 259 1
Foundation.RecoveredTowerAxiomAudit 0 0 0 131 -
Foundation.Reference 29 0 21 814 -
Foundation.RelationalQM3FromJCost 4 0 3 36 -
Foundation.SIBridgeClosure 18 0 13 365 -
Foundation.SMGaugeAlgebra 5 0 5 77 -
Foundation.SMHyperchargeFromCube 10 0 12 200 -
Foundation.ScaleHomogeneityNoGo 17 0 11 362 -
Foundation.SchrodingerDerivation 17 1 2 333 -
Foundation.SchurPinch 5 0 4 104 -
Foundation.SeamClosure.Reference 6 0 7 231 -
Foundation.Seesaw_Mechanism_RS_v3 4 0 3 36 -
Foundation.SelfBootstrapDistinguishability 7 0 0 88 5
Foundation.SimplicialLedger 3 0 6 107 18
Foundation.SimplicialLedger.ContinuumBridge 10 0 10 327 -
Foundation.SimplicialLedger.ContinuumTheorem 5 0 0 186 -
Foundation.SimplicialLedger.CubicDeficitDischarge 12 0 6 325 -
Foundation.SimplicialLedger.CubicSimplicialEquivalence 8 0 1 274 -
Foundation.SimplicialLedger.EdgeLengthFromPsi 9 0 4 334 -
Foundation.SimplicialLedger.InteriorFlat 4 0 7 254 -
Foundation.SimplicialLedger.LorentzEmergence 6 0 4 256 -
Foundation.SimplicialLedger.NonlinearBridge 13 0 4 381 -
Foundation.SimplicialLedger.SimplicialDeficitDischarge 6 0 1 199 -
Foundation.SingularMayerVietoris 5 103 37 1792 -
Foundation.SingularPair 1 14 6 240 -
Foundation.SingularPrism 7 25 9 955 -
Foundation.SingularSphere 8 30 14 746 -
Foundation.SingularSphereGeometry 6 32 21 695 -
Foundation.SingularSubdivision 27 61 25 1588 -
Foundation.Sociology 4 0 3 36 -
Foundation.SpatialTopologyForcing 6 0 3 186 -
Foundation.SpinStatistics 9 0 3 132 -
Foundation.SubstitutivityForcing 3 0 0 53 -
Foundation.SubstrateAxioms 5 0 0 90 -
Foundation.Superposition_Cost_RS 4 0 3 36 -
Foundation.T7CycleRealization 7 0 7 123 -
Foundation.TMinus1ForcedFromDistinction 10 0 8 209 -
Foundation.TMinus1ToT1Bridge 11 0 1 288 -
Foundation.TMinus1ToT8Bridge 23 0 8 694 -
Foundation.Thermodynamics 27 0 10 521 1
Foundation.ThreeSubstrateValidationCert 7 0 4 78 -
Foundation.TimeEmergence 7 0 7 182 -
Foundation.TopologicalConservation 16 0 8 271 -
Foundation.TopologicalVeto 8 0 0 125 -
Foundation.Tribonacci_RS 4 0 3 36 -
Foundation.UncertaintyPrinciple3Deep 4 0 3 36 -
Foundation.UnifiedForcingChain 342 0 55 11003 -
Foundation.UniversalForcing 2 0 6 121 -
Foundation.UniversalForcing.CanonicalForcing 11 0 1 251 -
Foundation.UniversalForcing.CanonicalIso 5 0 3 166 -
Foundation.UniversalForcing.CanonicalSemiringIso 7 0 7 189 -
Foundation.UniversalForcing.CategoricalRealization 0 0 2 31 -
Foundation.UniversalForcing.ContinuousRealization 0 0 2 35 -
Foundation.UniversalForcing.DiscreteRealization 0 0 2 31 -
Foundation.UniversalForcing.EthicsRealization 2 0 4 79 -
Foundation.UniversalForcing.ForcedIntegers 10 0 2 153 -
Foundation.UniversalForcing.ForcedSemiring 12 0 3 196 -
Foundation.UniversalForcing.Invariance.TwoCases 0 0 1 36 -
Foundation.UniversalForcing.Invariance.Universal 1 0 2 43 -
Foundation.UniversalForcing.ModularRealization 2 0 4 92 -
Foundation.UniversalForcing.MusicRealization 2 0 4 78 -
Foundation.UniversalForcing.NarrativeRealization 2 0 4 78 -
Foundation.UniversalForcing.NaturalNumberObject 3 0 6 302 2
Foundation.UniversalForcing.OrderRealization 2 0 4 82 -
Foundation.UniversalForcing.ReciprocalGenerator 8 0 3 164 -
Foundation.UniversalForcing.Strict.CanonicalIso 1 0 2 85 -
Foundation.UniversalForcing.Strict.Categorical 2 0 3 60 -
Foundation.UniversalForcing.Strict.CategoricalMathlib 5 0 1 121 -
Foundation.UniversalForcing.Strict.DiscreteBoolean 2 0 5 73 -
Foundation.UniversalForcing.Strict.Invariance 1 0 2 42 -
Foundation.UniversalForcing.Strict.MathlibNNO 3 0 0 55 -
Foundation.UniversalForcing.Strict.Modular 2 0 3 62 -
Foundation.UniversalForcing.Strict.Music 2 0 7 70 -
Foundation.UniversalForcing.Strict.Ordered 2 0 3 55 -
Foundation.UniversalForcing.Strict.PositiveRatio 0 0 3 65 -
Foundation.UniversalForcing.StrictRealization 3 0 5 120 -
Foundation.UniversalForcingAudit 0 0 0 116 -
Foundation.UniversalForcingSelfReference 8 0 3 276 -
Foundation.UniversalInstantiationFromDistinction 11 0 6 272 -
Foundation.UnknotComplementRetract 4 8 11 309 -
Foundation.VariationalDynamics 24 0 8 633 -
Foundation.WaveParticleDuality3FromJCost 4 0 3 36 -
Foundation.Weinberg_Angle_RS5 4 0 3 36 -
Foundation.WightmanAxiomsStatus 4 0 1 57 -
Foundation.WindingCharges 24 0 9 454 -

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