Jcost_unit0

used by (40)

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

• pitchCost_at_unison in IndisputableMonolith.Acoustics.MusicPitchJNDFromJCost decl_use
• hearingLossPenalty_zero in IndisputableMonolith.Acoustics.SpeechIntelligibilityFromJCost decl_use
• srCost_zero_at_threshold in IndisputableMonolith.Acoustics.SpeechIntelligibilityFromJCost decl_use
• actionJ_const_one in IndisputableMonolith.Action.PathSpace decl_use
• Jcost_taylor_quadratic in IndisputableMonolith.Action.QuadraticLimit decl_use
• pleasure_max_at_one in IndisputableMonolith.Aesthetics.BerlyneInvertedU decl_use
• aestheticCost_zero_at_optimum in IndisputableMonolith.Aesthetics.CulturalAestheticFromJCost decl_use
• narrativeTension_resolution in IndisputableMonolith.Aesthetics.NarrativeGeodesic decl_use
• wallpaperJ_p6m_eq_zero in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• beautyScore_at_one in IndisputableMonolith.Aesthetics.VisualBeauty decl_use
• yieldGapCost_at_potential in IndisputableMonolith.Agronomy.YieldGapFromJCost decl_use
• J_at_one in IndisputableMonolith.Algebra.CostAlgebra decl_use
• resonant_minimization in IndisputableMonolith.Applied.CoherenceTechnology decl_use
• settlementCost_at_fit in IndisputableMonolith.Archaeology.UrbanDensityFromPhiLadder decl_use
• proportionCost_at_ideal in IndisputableMonolith.Architecture.GoldenSectionInProportion decl_use
• eccentricity_penalty_zero in IndisputableMonolith.Astrophysics.ExoplanetHabitability decl_use
• solarWindCost_at_eq in IndisputableMonolith.Astrophysics.SolarWindFromMHD decl_use
• J_unit_zero in IndisputableMonolith.Astrophysics.StellarAssembly decl_use
• moon_J_cost_zero in IndisputableMonolith.Astrophysics.TidalLockingFromPhiResonance decl_use
• haberBoschTempCost_at_min in IndisputableMonolith.Chemistry.HaberBoschFromPhiLadder decl_use
• below_threshold_equilibrium in IndisputableMonolith.Chemistry.MaillardThresholdFromJCost decl_use
• physiological_ros in IndisputableMonolith.Chemistry.ReactiveOxygenSpeciesFromJCost decl_use
• vacuum_climate_zero_cost in IndisputableMonolith.Climate.AttractorStructure decl_use
• forecastCost_zero_at_unit in IndisputableMonolith.Climate.PredictabilityFromJCost decl_use
• chainCost_zero_at_unit in IndisputableMonolith.Combustion.IgnitionThresholdFromJCost decl_use
• damkohlerCost_at_critical in IndisputableMonolith.Combustion.StabilizationTimescaleFromJCost decl_use
• abundanceCost_at_predicted in IndisputableMonolith.Cosmochemistry.StellarAbundanceFromPhiLadder decl_use
• matter_balance_equilibrium in IndisputableMonolith.Cosmology.BaryogenesisFromJCost decl_use
• vacuum_mode in IndisputableMonolith.Cosmology.DarkEnergyEOS decl_use
• flat_minimizes_cost in IndisputableMonolith.Cosmology.FlatnessProblem decl_use

… and 10 more