def definition def or abbrev

`failureMode`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 158def failureMode : CombinationID → FailureMode
 159  | .c1CognitiveTensor => .singleAxisDecoderSuffices
 160  | .c2PlanetStrata => .noSmallPhiPowerRatio
 161  | .c3OncologyTensor => .additiveTherapyResponse
 162  | .c4QuantumMolecularDepth => .depthExceedsFiveBits
 163  | .c5AttentionTensor => .nonFortyPlateauSpectrum
 164  | .c6EriksonReverse => .nonReverseDementiaOrder
 165  | .c7UniversalResponse => .nonUnitSharedCoefficient
 166  | .c8MillerSpan => .nonQSpaceSpanCollapse
 167  | .c9RegulatoryCeiling => .moduleExceedsCeiling70
 168

used by (7)

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

ProtocolFalsifiable in IndisputableMonolith.Foundation.OptionAEmpiricalProtocol decl_use
protocolFalsifiable_all in IndisputableMonolith.Foundation.OptionAEmpiricalProtocol decl_use
ProtocolMatches in IndisputableMonolith.Foundation.OptionAEmpiricalProtocol decl_use
protocolSpec in IndisputableMonolith.Foundation.OptionAEmpiricalProtocol decl_use
c5_failure in IndisputableMonolith.Foundation.OptionAFalsifierRegistry decl_use
failureMode_injective in IndisputableMonolith.Foundation.OptionAFalsifierRegistry decl_use
FalsifierRegistryCert in IndisputableMonolith.Foundation.OptionAFalsifierRegistry decl_use

depends on (5)

Lean names referenced from this declaration's body.

FailureMode in IndisputableMonolith.Engineering.StructuralSafetyFromJCost decl_use
CombinationID in IndisputableMonolith.Foundation.OptionAFalsifierRegistry decl_use
FailureMode in IndisputableMonolith.Foundation.OptionAFalsifierRegistry decl_use
FailureMode in IndisputableMonolith.Governance.InstitutionalFailureFromJCost decl_use
FailureMode in IndisputableMonolith.Materials.FatigueFractureMechanicsFromJCost decl_use