# All QFD Lean4 Proofs - Direct URLs

Fetch any proof directly using these raw URLs.

## Atomic
- [ChaosCore.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Atomic/ChaosCore.lean)
- [LyapunovCore.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Atomic/LyapunovCore.lean)
- [LyapunovInstability.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Atomic/LyapunovInstability.lean)
- [ResonanceDynamics.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Atomic/ResonanceDynamics.lean)
- [ResonanceDynamicsCore.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Atomic/ResonanceDynamicsCore.lean)
- [SpinOrbitChaos.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Atomic/SpinOrbitChaos.lean)

## BlackHole
- [BlackHole_Saturation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/BlackHole/BlackHole_Saturation.lean)
- [SaturationLimit.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/BlackHole/SaturationLimit.lean)

## Charge
- [Asymptotic_Charge_Fraction.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/Asymptotic_Charge_Fraction.lean)
- [Coulomb.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/Coulomb.lean)
- [GeometricCharge.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/GeometricCharge.lean)
- [Potential.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/Potential.lean)
- [Quantization.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/Quantization.lean)
- [ShellTheorem.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/ShellTheorem.lean)
- [Vacuum.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/Vacuum.lean)

## Classical
- [Conservation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Classical/Conservation.lean)

## Conservation
- [NeutrinoID.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/NeutrinoID.lean)
- [NeutrinoID_Automated.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/NeutrinoID_Automated.lean)
- [NeutrinoID_Fixed.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/NeutrinoID_Fixed.lean)
- [NeutrinoID_Production.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/NeutrinoID_Production.lean)
- [NeutrinoID_Simple.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/NeutrinoID_Simple.lean)
- [NeutrinoMixing.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/NeutrinoMixing.lean)
- [Noether.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/Noether.lean)
- [Unitarity.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/Unitarity.lean)

## Cosmology
- [AxisExtraction.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/AxisExtraction.lean)
- [AxisExtraction_original_backup.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/AxisExtraction_original_backup.lean)
- [CoaxialAlignment.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/CoaxialAlignment.lean)
- [CoaxialAlignment_original_backup.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/CoaxialAlignment_original_backup.lean)
- [GalacticScaling.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/GalacticScaling.lean)
- [HubbleDrift.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/HubbleDrift.lean)
- [KernelAxis.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/KernelAxis.lean)
- [LightCurveStretch.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/LightCurveStretch.lean)
- [OctupoleExtraction.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/OctupoleExtraction.lean)
- [PhotonScatteringKdV.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/PhotonScatteringKdV.lean)
- [Polarization.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/Polarization.lean)
- [RadiativeTransfer.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/RadiativeTransfer.lean)
- [RealTimeCosmology.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/RealTimeCosmology.lean)
- [ScatteringBias.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/ScatteringBias.lean)
- [VacuumDensityMatch.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/VacuumDensityMatch.lean)
- [VacuumRefraction.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/VacuumRefraction.lean)
- [VolumeBalance.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/VolumeBalance.lean)

## Electrodynamics
- [AharonovBohm.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/AharonovBohm.lean)
- [CerenkovReal.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/CerenkovReal.lean)
- [DispersionRelation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/DispersionRelation.lean)
- [LarmorPrecession.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/LarmorPrecession.lean)
- [MagneticHelicity.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/MagneticHelicity.lean)
- [MaxwellReal.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/MaxwellReal.lean)
- [NoMonopoles.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/NoMonopoles.lean)
- [PoyntingTheorem.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/PoyntingTheorem.lean)
- [ProcaReal.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/ProcaReal.lean)

## Electron
- [AlphaCirc.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electron/AlphaCirc.lean)
- [AxisAlignment.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electron/AxisAlignment.lean)
- [CirculationTopology.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electron/CirculationTopology.lean)
- [HillVortex.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electron/HillVortex.lean)

## Empirical
- [CoreCompression.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Empirical/CoreCompression.lean)

## GA
- [BasisOperations.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/BasisOperations.lean)
- [BasisProducts.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/BasisProducts.lean)
- [BasisReduction.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/BasisReduction.lean)
- [Cl33.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/Cl33.lean)
- [Cl33Instances.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/Cl33Instances.lean)
- [Cl33_Minimal.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/Cl33_Minimal.lean)
- [Conjugation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/Conjugation.lean)
- [GradeProjection.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/GradeProjection.lean)
- [HodgeDual.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/HodgeDual.lean)
- [MultivectorGrade.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/MultivectorGrade.lean)
- [PhaseCentralizer.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/PhaseCentralizer.lean)
- [PhaseCentralizer_original_backup.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/PhaseCentralizer_original_backup.lean)
- [Tactics.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/Tactics.lean)

## Gravity
- [G_Derivation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/G_Derivation.lean)
- [GeodesicEquivalence.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/GeodesicEquivalence.lean)
- [GeodesicForce.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/GeodesicForce.lean)
- [GeometricCoupling.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/GeometricCoupling.lean)
- [GeometricProjection_Integration.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/GeometricProjection_Integration.lean)
- [Gravity_Projection.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/Gravity_Projection.lean)
- [PerihelionShift.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/PerihelionShift.lean)
- [ResidualStrain.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/ResidualStrain.lean)
- [SchwarzschildLink.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/SchwarzschildLink.lean)
- [Shell_Theorem_Harmonic.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/Shell_Theorem_Harmonic.lean)
- [SnellLensing.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/SnellLensing.lean)
- [TimeRefraction.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/TimeRefraction.lean)

## Hydrogen
- [PhotonResonance.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/PhotonResonance.lean)
- [PhotonScattering.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/PhotonScattering.lean)
- [PhotonSoliton.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/PhotonSoliton.lean)
- [PhotonSolitonEmergentConstants.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/PhotonSolitonEmergentConstants.lean)
- [PhotonSolitonStable.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/PhotonSolitonStable.lean)
- [PhotonSoliton_Kinematic.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/PhotonSoliton_Kinematic.lean)
- [SpeedOfLight.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/SpeedOfLight.lean)
- [TopologicalCharge.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/TopologicalCharge.lean)
- [UnifiedForces.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/UnifiedForces.lean)
- [UnifiedForces_v2.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/UnifiedForces_v2.lean)

## Lepton
- [AnomalousMoment.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/AnomalousMoment.lean)
- [Antimatter.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/Antimatter.lean)
- [FineStructure.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/FineStructure.lean)
- [FormFactorCore.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/FormFactorCore.lean)
- [FormFactors.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/FormFactors.lean)
- [Generations.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/Generations.lean)
- [GeometricAnomaly.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/GeometricAnomaly.lean)
- [GeometricG2.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/GeometricG2.lean)
- [GeometricSignFlip.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/GeometricSignFlip.lean)
- [IsomerCore.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/IsomerCore.lean)
- [KoideAlgebra.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/KoideAlgebra.lean)
- [KoideRelation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/KoideRelation.lean)
- [LeptonG2Prediction.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/LeptonG2Prediction.lean)
- [LeptonIsomers.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/LeptonIsomers.lean)
- [MassFunctional.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/MassFunctional.lean)
- [MassSpectrum.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/MassSpectrum.lean)
- [PairProduction.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/PairProduction.lean)
- [Postulates.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/Physics/Postulates.lean)
- [QBallStructure.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/QBallStructure.lean)
- [RVacDerivation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/RVacDerivation.lean)
- [StabilityGuards.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/StabilityGuards.lean)
- [TopologicalEnergy.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/TopologicalEnergy.lean)
- [Topology.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/Topology.lean)
- [VortexElectron.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/VortexElectron.lean)
- [VortexStability.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/VortexStability.lean)
- [VortexStability_v3.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/VortexStability_v3.lean)

## Math
- [AlphaFormFactor.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/AlphaFormFactor.lean)
- [BetaCriticality.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/BetaCriticality.lean)
- [Exp_Bounds_Analysis.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/Exp_Bounds_Analysis.lean)
- [Function_Monotonicity.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/Function_Monotonicity.lean)
- [ReciprocalIneq.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/ReciprocalIneq.lean)
- [Sin_Phase_Closure.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/Sin_Phase_Closure.lean)
- [SpectralGapBounds.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/SpectralGapBounds.lean)
- [VacuumSaturation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/VacuumSaturation.lean)
- [VacuumSaturation_aristotle.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/VacuumSaturation_aristotle.lean)

## Matter
- [ProtonTopology.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Matter/ProtonTopology.lean)

## Nuclear
- [AlphaNDerivation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/AlphaNDerivation.lean)
- [AlphaNDerivation_Complete.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/AlphaNDerivation_Complete.lean)
- [BetaNGammaEDerivation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/BetaNGammaEDerivation.lean)
- [BetaNGammaEDerivation_Complete.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/BetaNGammaEDerivation_Complete.lean)
- [BindingMassScale.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/BindingMassScale.lean)
- [BoundaryCondition.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/BoundaryCondition.lean)
- [CoreCompression.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/CoreCompression.lean)
- [CoreCompressionLaw.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/CoreCompressionLaw.lean)
- [DecayHalfLife.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/DecayHalfLife.lean)
- [DeuteronFit.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/DeuteronFit.lean)
- [FissionLimit.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/FissionLimit.lean)
- [FissionTopology.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/FissionTopology.lean)
- [Fission_Asymmetry.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/Fission_Asymmetry.lean)
- [IsobarStability.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/IsobarStability.lean)
- [IsomerDecay.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/IsomerDecay.lean)
- [MagicNumbers.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/MagicNumbers.lean)
- [NuclearScale_Bound.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/NuclearScale_Bound.lean)
- [Nuclear_Coefficients_Derivation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/Nuclear_Coefficients_Derivation.lean)
- [ProtonBridge_Derivation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/ProtonBridge_Derivation.lean)
- [ProtonBridge_Geometry.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/ProtonBridge_Geometry.lean)
- [ProtonSpin.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/ProtonSpin.lean)
- [QuarticStiffness.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/QuarticStiffness.lean)
- [SelectionRules.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/SelectionRules.lean)
- [SymmetryEnergyMinimization.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/SymmetryEnergyMinimization.lean)
- [TimeCliff.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/TimeCliff.lean)
- [TimeCliff_Complete.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/TimeCliff_Complete.lean)
- [VacuumStiffness.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/VacuumStiffness.lean)
- [WellDepth.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/WellDepth.lean)
- [YukawaDerivation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/YukawaDerivation.lean)

## Photon
- [Casimir_Mode_Restriction.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/Casimir_Mode_Restriction.lean)
- [CliffordBeltrami.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/CliffordBeltrami.lean)
- [HelicityDecay.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/HelicityDecay.lean)
- [Interaction.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/Interaction.lean)
- [Photon_KdV_Interaction.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/Photon_KdV_Interaction.lean)
- [Photon_Soliton_Stability.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/Photon_Soliton_Stability.lean)
- [QuantumJump.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/QuantumJump.lean)
- [SolitonQuantization.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/SolitonQuantization.lean)

## Physics
- [GoldenLoop_Existence.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/GoldenLoop_Existence.lean)
- [GoldenLoop_Solver.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/GoldenLoop_Solver.lean)
- [IntegerLadder_Quantization.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/IntegerLadder_Quantization.lean)
- [Photon_Drag_Derivation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/Photon_Drag_Derivation.lean)
- [Postulates.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/Postulates.lean)
- [Postulates_layered.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/Postulates_layered.lean)
- [Scale_Dependent_Hessian.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/Scale_Dependent_Hessian.lean)
- [Topological_Mass_Generation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/Topological_Mass_Generation.lean)

## QM_Translation
- [DiracRealization.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/DiracRealization.lean)
- [Heisenberg.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/Heisenberg.lean)
- [MeasurementCollapse.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/MeasurementCollapse.lean)
- [PauliBridge.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/PauliBridge.lean)
- [PauliBridge_Test.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/PauliBridge_Test.lean)
- [PauliBridge_Test2.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/PauliBridge_Test2.lean)
- [PauliBridge_Test3.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/PauliBridge_Test3.lean)
- [PauliExclusion.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/PauliExclusion.lean)
- [RealDiracEquation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/RealDiracEquation.lean)
- [RealDiracEquation_original_backup.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/RealDiracEquation_original_backup.lean)
- [SchrodingerEvolution.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/SchrodingerEvolution.lean)

## Relativity
- [LorentzRotors.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Relativity/LorentzRotors.lean)
- [SagnacEffect.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Relativity/SagnacEffect.lean)
- [TimeDilationMechanism.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Relativity/TimeDilationMechanism.lean)

## Rift
- [ChargeEscape.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Rift/ChargeEscape.lean)
- [RotationDynamics.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Rift/RotationDynamics.lean)
- [SequentialEruptions.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Rift/SequentialEruptions.lean)
- [SpinSorting.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Rift/SpinSorting.lean)

## Schema
- [Constraints.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Schema/Constraints.lean)
- [Couplings.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Schema/Couplings.lean)
- [DimensionalAnalysis.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Schema/DimensionalAnalysis.lean)

## Soliton
- [BreatherModes.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/BreatherModes.lean)
- [GaussianMoments.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/GaussianMoments.lean)
- [HardWall.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/HardWall.lean)
- [MassEnergyCore.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/MassEnergyCore.lean)
- [MassEnergyDensity.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/MassEnergyDensity.lean)
- [Quantization.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/Quantization.lean)
- [RickerAnalysis.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/RickerAnalysis.lean)
- [Soliton_Packing_Geometry.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/Soliton_Packing_Geometry.lean)
- [TopologicalCore.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/TopologicalCore.lean)
- [TopologicalStability.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/TopologicalStability.lean)
- [TopologicalStability_Refactored.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/TopologicalStability_Refactored.lean)

## Thermodynamics
- [BoltzmannEntropy.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Thermodynamics/BoltzmannEntropy.lean)

## Topology
- [FormFactorCore.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Topology/FormFactorCore.lean)
- [IntegerBridge.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Topology/IntegerBridge.lean)

## Vacuum
- [StrongCP.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Vacuum/StrongCP.lean)
- [VacuumHydrodynamics.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Vacuum/VacuumHydrodynamics.lean)
- [VacuumParameters.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Vacuum/VacuumParameters.lean)
- [ZetaPhysics.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Vacuum/ZetaPhysics.lean)

## Validation
- [BackbonePredictionBridge.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/BackbonePredictionBridge.lean)
- [DerivedConstantConsistency.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/DerivedConstantConsistency.lean)
- [IntegerLadderConstraint.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/IntegerLadderConstraint.lean)
- [KdVRedshiftBridge.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/KdVRedshiftBridge.lean)
- [ShellGravityBridge.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/ShellGravityBridge.lean)
- [SolitonBackboneFromModel.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/SolitonBackboneFromModel.lean)
- [ValidationLockstep.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/ValidationLockstep.lean)

## Weak
- [CPViolation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Weak/CPViolation.lean)
- [ChiralAnomaly.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Weak/ChiralAnomaly.lean)
- [DoubleBetaDecay.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Weak/DoubleBetaDecay.lean)
- [PionGeometry.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Weak/PionGeometry.lean)

## Core
- [AdjointStability_Complete.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/AdjointStability_Complete.lean)
- [AngularSelection.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/AngularSelection.lean)
- [BivectorClasses_Complete.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/BivectorClasses_Complete.lean)
- [Cl33ImportTest.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cl33ImportTest.lean)
- [EmergentAlgebra.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/EmergentAlgebra.lean)
- [EmergentAlgebra_Heavy.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/EmergentAlgebra_Heavy.lean)
- [GoldenLoop.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GoldenLoop.lean)
- [Neutrino.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino.lean)
- [NeutrinoMassTopology.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/NeutrinoMassTopology.lean)
- [Neutrino_Bleaching.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_Bleaching.lean)
- [Neutrino_Chirality.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_Chirality.lean)
- [Neutrino_MassScale.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_MassScale.lean)
- [Neutrino_MinimalRotor.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_MinimalRotor.lean)
- [Neutrino_Oscillation.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_Oscillation.lean)
- [Neutrino_Production.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_Production.lean)
- [Neutrino_Topology.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_Topology.lean)
- [ProofLedger.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/ProofLedger.lean)
- [SaturationLimit.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/SaturationLimit.lean)
- [SpacetimeEmergence_Complete.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/SpacetimeEmergence_Complete.lean)
- [SpectralGap.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/SpectralGap.lean)
- [StabilityCriterion.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/StabilityCriterion.lean)
- [TopologyFormFactor.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/TopologyFormFactor.lean)
- [ToyModel.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/ToyModel.lean)
- [VacuumEigenvalue.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/VacuumEigenvalue.lean)
- [VacuumHydrodynamics.lean](https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/VacuumHydrodynamics.lean)