QFD Lean4 Proofs - Complete Index

All 241 formal proofs with direct raw URLs (no GitHub navigation needed)

Base URL: https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/

Atomic/ (6 proofs)

• ChaosCore.lean
• LyapunovCore.lean
• LyapunovInstability.lean
• ResonanceDynamics.lean
• ResonanceDynamicsCore.lean
• SpinOrbitChaos.lean

BlackHole/ (2 proofs)

• BlackHole_Saturation.lean
• SaturationLimit.lean

Charge/ (7 proofs)

• Asymptotic_Charge_Fraction.lean
• Coulomb.lean
• GeometricCharge.lean
• Potential.lean
• Quantization.lean
• ShellTheorem.lean
• Vacuum.lean

Classical/ (1 proofs)

• Conservation.lean

Conservation/ (8 proofs)

• NeutrinoID.lean
• NeutrinoID_Automated.lean
• NeutrinoID_Fixed.lean
• NeutrinoID_Production.lean
• NeutrinoID_Simple.lean
• NeutrinoMixing.lean
• Noether.lean
• Unitarity.lean

Core/ (25 proofs)

• AdjointStability_Complete.lean
• AngularSelection.lean
• BivectorClasses_Complete.lean
• Cl33ImportTest.lean
• EmergentAlgebra.lean
• EmergentAlgebra_Heavy.lean
• GoldenLoop.lean
• Neutrino.lean
• NeutrinoMassTopology.lean
• Neutrino_Bleaching.lean
• Neutrino_Chirality.lean
• Neutrino_MassScale.lean
• Neutrino_MinimalRotor.lean
• Neutrino_Oscillation.lean
• Neutrino_Production.lean
• Neutrino_Topology.lean
• ProofLedger.lean
• SaturationLimit.lean
• SpacetimeEmergence_Complete.lean
• SpectralGap.lean
• StabilityCriterion.lean
• TopologyFormFactor.lean
• ToyModel.lean
• VacuumEigenvalue.lean
• VacuumHydrodynamics.lean

Cosmology/ (17 proofs)

• AxisExtraction.lean
• AxisExtraction_original_backup.lean
• CoaxialAlignment.lean
• CoaxialAlignment_original_backup.lean
• GalacticScaling.lean
• HubbleDrift.lean
• KernelAxis.lean
• LightCurveStretch.lean
• OctupoleExtraction.lean
• PhotonScatteringKdV.lean
• Polarization.lean
• RadiativeTransfer.lean
• RealTimeCosmology.lean
• ScatteringBias.lean
• VacuumDensityMatch.lean
• VacuumRefraction.lean
• VolumeBalance.lean

Electrodynamics/ (9 proofs)

• AharonovBohm.lean
• CerenkovReal.lean
• DispersionRelation.lean
• LarmorPrecession.lean
• MagneticHelicity.lean
• MaxwellReal.lean
• NoMonopoles.lean
• PoyntingTheorem.lean
• ProcaReal.lean

Electron/ (4 proofs)

• AlphaCirc.lean
• AxisAlignment.lean
• CirculationTopology.lean
• HillVortex.lean

Empirical/ (1 proofs)

• CoreCompression.lean

GA/ (13 proofs)

• BasisOperations.lean
• BasisProducts.lean
• BasisReduction.lean
• Cl33.lean
• Cl33Instances.lean
• Cl33_Minimal.lean
• Conjugation.lean
• GradeProjection.lean
• HodgeDual.lean
• MultivectorGrade.lean
• PhaseCentralizer.lean
• PhaseCentralizer_original_backup.lean
• Tactics.lean

Gravity/ (12 proofs)

• G_Derivation.lean
• GeodesicEquivalence.lean
• GeodesicForce.lean
• GeometricCoupling.lean
• GeometricProjection_Integration.lean
• Gravity_Projection.lean
• PerihelionShift.lean
• ResidualStrain.lean
• SchwarzschildLink.lean
• Shell_Theorem_Harmonic.lean
• SnellLensing.lean
• TimeRefraction.lean

Hydrogen/ (10 proofs)

• PhotonResonance.lean
• PhotonScattering.lean
• PhotonSoliton.lean
• PhotonSolitonEmergentConstants.lean
• PhotonSolitonStable.lean
• PhotonSoliton_Kinematic.lean
• SpeedOfLight.lean
• TopologicalCharge.lean
• UnifiedForces.lean
• UnifiedForces_v2.lean

Lepton/ (26 proofs)

• AnomalousMoment.lean
• Antimatter.lean
• FineStructure.lean
• FormFactorCore.lean
• FormFactors.lean
• Generations.lean
• GeometricAnomaly.lean
• GeometricG2.lean
• GeometricSignFlip.lean
• IsomerCore.lean
• KoideAlgebra.lean
• KoideRelation.lean
• LeptonG2Prediction.lean
• LeptonIsomers.lean
• MassFunctional.lean
• MassSpectrum.lean
• PairProduction.lean
• Postulates.lean
• QBallStructure.lean
• RVacDerivation.lean
• StabilityGuards.lean
• TopologicalEnergy.lean
• Topology.lean
• VortexElectron.lean
• VortexStability.lean
• VortexStability_v3.lean

Math/ (9 proofs)

• AlphaFormFactor.lean
• BetaCriticality.lean
• Exp_Bounds_Analysis.lean
• Function_Monotonicity.lean
• ReciprocalIneq.lean
• Sin_Phase_Closure.lean
• SpectralGapBounds.lean
• VacuumSaturation.lean
• VacuumSaturation_aristotle.lean

Matter/ (1 proofs)

• ProtonTopology.lean

Nuclear/ (29 proofs)

• AlphaNDerivation.lean
• AlphaNDerivation_Complete.lean
• BetaNGammaEDerivation.lean
• BetaNGammaEDerivation_Complete.lean
• BindingMassScale.lean
• BoundaryCondition.lean
• CoreCompression.lean
• CoreCompressionLaw.lean
• DecayHalfLife.lean
• DeuteronFit.lean
• FissionLimit.lean
• FissionTopology.lean
• Fission_Asymmetry.lean
• IsobarStability.lean
• IsomerDecay.lean
• MagicNumbers.lean
• NuclearScale_Bound.lean
• Nuclear_Coefficients_Derivation.lean
• ProtonBridge_Derivation.lean
• ProtonBridge_Geometry.lean
• ProtonSpin.lean
• QuarticStiffness.lean
• SelectionRules.lean
• SymmetryEnergyMinimization.lean
• TimeCliff.lean
• TimeCliff_Complete.lean
• VacuumStiffness.lean
• WellDepth.lean
• YukawaDerivation.lean

Photon/ (8 proofs)

• Casimir_Mode_Restriction.lean
• CliffordBeltrami.lean
• HelicityDecay.lean
• Interaction.lean
• Photon_KdV_Interaction.lean
• Photon_Soliton_Stability.lean
• QuantumJump.lean
• SolitonQuantization.lean

Physics/ (8 proofs)

• GoldenLoop_Existence.lean
• GoldenLoop_Solver.lean
• IntegerLadder_Quantization.lean
• Photon_Drag_Derivation.lean
• Postulates.lean
• Postulates_layered.lean
• Scale_Dependent_Hessian.lean
• Topological_Mass_Generation.lean

QM_Translation/ (11 proofs)

• DiracRealization.lean
• Heisenberg.lean
• MeasurementCollapse.lean
• PauliBridge.lean
• PauliBridge_Test.lean
• PauliBridge_Test2.lean
• PauliBridge_Test3.lean
• PauliExclusion.lean
• RealDiracEquation.lean
• RealDiracEquation_original_backup.lean
• SchrodingerEvolution.lean

Relativity/ (3 proofs)

• LorentzRotors.lean
• SagnacEffect.lean
• TimeDilationMechanism.lean

Rift/ (4 proofs)

• ChargeEscape.lean
• RotationDynamics.lean
• SequentialEruptions.lean
• SpinSorting.lean

Schema/ (3 proofs)

• Constraints.lean
• Couplings.lean
• DimensionalAnalysis.lean

Soliton/ (11 proofs)

• BreatherModes.lean
• GaussianMoments.lean
• HardWall.lean
• MassEnergyCore.lean
• MassEnergyDensity.lean
• Quantization.lean
• RickerAnalysis.lean
• Soliton_Packing_Geometry.lean
• TopologicalCore.lean
• TopologicalStability.lean
• TopologicalStability_Refactored.lean

Thermodynamics/ (1 proofs)

• BoltzmannEntropy.lean

Topology/ (2 proofs)

• FormFactorCore.lean
• IntegerBridge.lean

Vacuum/ (4 proofs)

• StrongCP.lean
• VacuumHydrodynamics.lean
• VacuumParameters.lean
• ZetaPhysics.lean

Validation/ (7 proofs)

• BackbonePredictionBridge.lean
• DerivedConstantConsistency.lean
• IntegerLadderConstraint.lean
• KdVRedshiftBridge.lean
• ShellGravityBridge.lean
• SolitonBackboneFromModel.lean
• ValidationLockstep.lean

Weak/ (4 proofs)

• CPViolation.lean
• ChiralAnomaly.lean
• DoubleBetaDecay.lean
• PionGeometry.lean

Back to main index | GitHub Repository