IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianNormGate4D

declarations in this module (24)

• def frozenPreflightEHCoefficient L31
• def exactUnitFrobeniusTTCoefficient L32
• def discreteBookkeepingFactor L35
• theorem discreteBookkeepingFactor_eq_two L37
• theorem discreteBookkeepingFactor_eq_exactAction L40
• theorem exact_unitFrobenius_ne_frozen_preflight_EH L45
• theorem frozen_EH_is_discrete_bookkeeping_times_unitF L52
• theorem frozen_EH_is_axisTTPlus_face L61
• def einsteinHilbertTTCoefficient4D_unitFrobenius L67
• abbrev einsteinHilbertTTCoefficient4D_unitFrobenius_proposed L69
• theorem unitFrobenius_EH_eq_exact L72
• theorem proposed_unitFrobenius_EH_eq_exact L76
• def NormalizationGatePass L81
• theorem normalizationGatePass_true L83
• theorem normalizationGate_historical_fail_certificate L85
• def typedBlocker_preflight_EH_unitF_mismatch L92
• def continuumEHunitFrobeniusFromFirstPrinciples L95
• theorem continuumEH_unitF_matches_exact_m2 L97
• def continuumEHDiscreteFace L102
• theorem continuumEHDiscreteFace_eq L105
• theorem continuumEHDiscreteFace_on_unitF L111
• def continuumEHScaleExplicit L118
• theorem continuumEHScaleExplicit_eq L121
• theorem continuumEHScaleExplicit_axisTTPlus_face L126