phi_ne_zero

used by (40)

From the project-wide theorem graph. These declarations reference this one in their body.

• adjacencyGap_eq in IndisputableMonolith.Archaeology.PotterySerialFromJCost decl_use
• goldenDivision_ratio in IndisputableMonolith.ArtHistory.FibonacciInComposition decl_use
• phi_ladder_step in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
• lyapunovAt_succ_ratio in IndisputableMonolith.Astrophysics.PICSimulationLyapunov decl_use
• r_orbit_gap_skip_band in IndisputableMonolith.Astrophysics.PlanetaryFormationFromJCost decl_use
• forecastSkill_decay in IndisputableMonolith.Climate.ClimateForecastSkillFromJCost decl_use
• horizonAtRung_succ_ratio in IndisputableMonolith.Climate.OperationalForecastSkillFromJCost decl_use
• predictability_threshold_band in IndisputableMonolith.Climate.PredictabilityFromJCost decl_use
• ignition_threshold_band in IndisputableMonolith.Combustion.IgnitionThresholdFromJCost decl_use
• Jcost_phi_val in IndisputableMonolith.Constants decl_use
• kappa_einstein_eq in IndisputableMonolith.Constants decl_use
• mass_ratio_structural in IndisputableMonolith.Constants.ProtonElectronMassRatio decl_use
• phiRung_add in IndisputableMonolith.Constants.RSNativeUnits decl_use
• etaBAt_succ_ratio in IndisputableMonolith.Cosmology.BaryogenesisTrajectory decl_use
• crossSectionRatio_band in IndisputableMonolith.Cosmology.DarkMatterCrossSectionBound decl_use
• phi_cost_fixed_point in IndisputableMonolith.Cost.FrequencyLadder decl_use
• recidivismRate_decay in IndisputableMonolith.Criminology.RecidivismFromZRungDecay decl_use
• ledgerConservation_eq_one in IndisputableMonolith.Econ.LedgerEconomics decl_use
• cycleDuration_succ_ratio in IndisputableMonolith.Economics.BusinessCycleFromPhiLadder decl_use
• policy_balance in IndisputableMonolith.Economics.CounterCyclicalPolicyFromGap45 decl_use
• giniCeiling_eq_phi_minus_one in IndisputableMonolith.Economics.InequalityCeilingFromSigma decl_use
• mobility_threshold_band in IndisputableMonolith.Economics.LorenzCurveFromSigmaBudget decl_use
• inv_phi_eq in IndisputableMonolith.Economics.WealthDistributionFromSigma decl_use
• phi_rung_energy_ratio in IndisputableMonolith.Engineering.EnergyStorageDensityStructure decl_use
• phi_ladder_tc_monotone in IndisputableMonolith.Engineering.RoomTempSuperconductivityStructure decl_use
• compression_has_cost in IndisputableMonolith.Flight.TeslaTurbine decl_use
• fibonacci_compression_step in IndisputableMonolith.Flight.TeslaTurbine decl_use
• phi_is_optimal_compression in IndisputableMonolith.Flight.TeslaTurbine decl_use
• eventRate_ratio in IndisputableMonolith.Geology.EarthquakeScalingFromJCost decl_use
• echoAmplitude_succ_ratio in IndisputableMonolith.Gravity.BHEchoAmplitudes decl_use

… and 10 more