# QFD-Universe Complete File Index All files with direct raw URLs. Copy any URL to fetch content. Base URL: `https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/` ## Documentation - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/README.md - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/THEORY.md - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/LLM_CONTEXT.md - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/CL33_METHODOLOGY.md ## Zero-Dependency Proof - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/qfd_proof.py ## Validation Scripts - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/analysis/scripts/run_all_validations.py - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/analysis/scripts/validate_g2_corrected.py - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/analysis/scripts/validate_g2_noncircular.py - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/analysis/scripts/validate_conservation_law.py ## Lean4 Proofs (246 files) ### Atomic (6 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Atomic/ChaosCore.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Atomic/LyapunovCore.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Atomic/LyapunovInstability.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Atomic/ResonanceDynamics.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Atomic/ResonanceDynamicsCore.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Atomic/SpinOrbitChaos.lean ### BlackHole (2 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/BlackHole/BlackHole_Saturation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/BlackHole/SaturationLimit.lean ### Charge (7 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/Asymptotic_Charge_Fraction.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/Coulomb.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/GeometricCharge.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/Potential.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/Quantization.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/ShellTheorem.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Charge/Vacuum.lean ### Classical (1 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Classical/Conservation.lean ### Conservation (8 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/NeutrinoID.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/NeutrinoID_Automated.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/NeutrinoID_Fixed.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/NeutrinoID_Production.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/NeutrinoID_Simple.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/NeutrinoMixing.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/Noether.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Conservation/Unitarity.lean ### Cosmology (17 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/AxisExtraction.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/AxisExtraction_original_backup.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/CoaxialAlignment.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/CoaxialAlignment_original_backup.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/GalacticScaling.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/HubbleDrift.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/KernelAxis.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/LightCurveStretch.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/OctupoleExtraction.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/PhotonScatteringKdV.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/Polarization.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/RadiativeTransfer.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/RealTimeCosmology.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/ScatteringBias.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/VacuumDensityMatch.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/VacuumRefraction.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cosmology/VolumeBalance.lean ### Electrodynamics (9 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/AharonovBohm.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/CerenkovReal.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/DispersionRelation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/LarmorPrecession.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/MagneticHelicity.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/MaxwellReal.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/NoMonopoles.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/PoyntingTheorem.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electrodynamics/ProcaReal.lean ### Electron (4 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electron/AlphaCirc.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electron/AxisAlignment.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electron/CirculationTopology.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Electron/HillVortex.lean ### Empirical (1 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Empirical/CoreCompression.lean ### GA (13 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/BasisOperations.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/BasisProducts.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/BasisReduction.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/Cl33.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/Cl33Instances.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/Cl33_Minimal.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/Conjugation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/GradeProjection.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/HodgeDual.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/MultivectorGrade.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/PhaseCentralizer.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/PhaseCentralizer_original_backup.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GA/Tactics.lean ### Gravity (12 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/G_Derivation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/GeodesicEquivalence.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/GeodesicForce.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/GeometricCoupling.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/GeometricProjection_Integration.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/Gravity_Projection.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/PerihelionShift.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/ResidualStrain.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/SchwarzschildLink.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/Shell_Theorem_Harmonic.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/SnellLensing.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Gravity/TimeRefraction.lean ### Hydrogen (10 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/PhotonResonance.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/PhotonScattering.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/PhotonSoliton.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/PhotonSolitonEmergentConstants.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/PhotonSolitonStable.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/PhotonSoliton_Kinematic.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/SpeedOfLight.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/TopologicalCharge.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/UnifiedForces.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Hydrogen/UnifiedForces_v2.lean ### Lepton (26 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/AnomalousMoment.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/Antimatter.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/FineStructure.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/FormFactorCore.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/FormFactors.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/Generations.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/GeometricAnomaly.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/GeometricG2.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/GeometricSignFlip.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/IsomerCore.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/KoideAlgebra.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/KoideRelation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/LeptonG2Prediction.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/LeptonIsomers.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/MassFunctional.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/MassSpectrum.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/PairProduction.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/Physics/Postulates.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/QBallStructure.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/RVacDerivation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/StabilityGuards.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/TopologicalEnergy.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/Topology.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/VortexElectron.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/VortexStability.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Lepton/VortexStability_v3.lean ### Math (9 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/AlphaFormFactor.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/BetaCriticality.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/Exp_Bounds_Analysis.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/Function_Monotonicity.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/ReciprocalIneq.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/Sin_Phase_Closure.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/SpectralGapBounds.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/VacuumSaturation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Math/VacuumSaturation_aristotle.lean ### Matter (1 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Matter/ProtonTopology.lean ### Nuclear (29 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/AlphaNDerivation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/AlphaNDerivation_Complete.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/BetaNGammaEDerivation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/BetaNGammaEDerivation_Complete.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/BindingMassScale.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/BoundaryCondition.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/CoreCompression.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/CoreCompressionLaw.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/DecayHalfLife.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/DeuteronFit.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/FissionLimit.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/FissionTopology.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/Fission_Asymmetry.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/IsobarStability.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/IsomerDecay.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/MagicNumbers.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/NuclearScale_Bound.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/Nuclear_Coefficients_Derivation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/ProtonBridge_Derivation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/ProtonBridge_Geometry.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/ProtonSpin.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/QuarticStiffness.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/SelectionRules.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/SymmetryEnergyMinimization.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/TimeCliff.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/TimeCliff_Complete.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/VacuumStiffness.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/WellDepth.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Nuclear/YukawaDerivation.lean ### Photon (8 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/Casimir_Mode_Restriction.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/CliffordBeltrami.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/HelicityDecay.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/Interaction.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/Photon_KdV_Interaction.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/Photon_Soliton_Stability.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/QuantumJump.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Photon/SolitonQuantization.lean ### Physics (8 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/GoldenLoop_Existence.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/GoldenLoop_Solver.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/IntegerLadder_Quantization.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/Photon_Drag_Derivation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/Postulates.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/Postulates_layered.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/Scale_Dependent_Hessian.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Physics/Topological_Mass_Generation.lean ### QM_Translation (11 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/DiracRealization.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/Heisenberg.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/MeasurementCollapse.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/PauliBridge.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/PauliBridge_Test.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/PauliBridge_Test2.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/PauliBridge_Test3.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/PauliExclusion.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/RealDiracEquation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/RealDiracEquation_original_backup.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/QM_Translation/SchrodingerEvolution.lean ### Relativity (3 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Relativity/LorentzRotors.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Relativity/SagnacEffect.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Relativity/TimeDilationMechanism.lean ### Rift (4 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Rift/ChargeEscape.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Rift/RotationDynamics.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Rift/SequentialEruptions.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Rift/SpinSorting.lean ### Schema (3 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Schema/Constraints.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Schema/Couplings.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Schema/DimensionalAnalysis.lean ### Soliton (11 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/BreatherModes.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/GaussianMoments.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/HardWall.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/MassEnergyCore.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/MassEnergyDensity.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/Quantization.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/RickerAnalysis.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/Soliton_Packing_Geometry.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/TopologicalCore.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/TopologicalStability.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Soliton/TopologicalStability_Refactored.lean ### Thermodynamics (1 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Thermodynamics/BoltzmannEntropy.lean ### Topology (2 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Topology/FormFactorCore.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Topology/IntegerBridge.lean ### Vacuum (4 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Vacuum/StrongCP.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Vacuum/VacuumHydrodynamics.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Vacuum/VacuumParameters.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Vacuum/ZetaPhysics.lean ### Validation (7 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/BackbonePredictionBridge.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/DerivedConstantConsistency.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/IntegerLadderConstraint.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/KdVRedshiftBridge.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/ShellGravityBridge.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/SolitonBackboneFromModel.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Validation/ValidationLockstep.lean ### Weak (4 files) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Weak/CPViolation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Weak/ChiralAnomaly.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Weak/DoubleBetaDecay.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Weak/PionGeometry.lean ### Core (root level) - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/AdjointStability_Complete.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/AngularSelection.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/BivectorClasses_Complete.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Cl33ImportTest.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/EmergentAlgebra.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/EmergentAlgebra_Heavy.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/GoldenLoop.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/NeutrinoMassTopology.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_Bleaching.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_Chirality.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_MassScale.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_MinimalRotor.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_Oscillation.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_Production.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/Neutrino_Topology.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/ProofLedger.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/SaturationLimit.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/SpacetimeEmergence_Complete.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/SpectralGap.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/StabilityCriterion.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/TopologyFormFactor.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/ToyModel.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/VacuumEigenvalue.lean - https://raw.githubusercontent.com/tracyphasespace/QFD-Universe/main/formalization/QFD/VacuumHydrodynamics.lean