`failureMode`

definition

show as: view math explainer →

module: IndisputableMonolith.Foundation.OptionAFalsifierRegistry
domain: Foundation
line: 158 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Foundation.OptionAFalsifierRegistry on GitHub at line 158.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

used by

formal source

 155  | .c9RegulatoryCeiling => .regulatoryCeiling70
 156
 157/-- Failure mode assigned to each implemented combination. -/
 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
 169theorem c1_falsifier :
 170    falsifierClass .c1CognitiveTensor = .eegDecoder := rfl
 171
 172theorem c2_falsifier :
 173    falsifierClass .c2PlanetStrata = .seismicAtmosphericRatio := rfl
 174
 175theorem c3_falsifier :
 176    falsifierClass .c3OncologyTensor = .tcgaClinicalResponse := rfl
 177
 178theorem c4_falsifier :
 179    falsifierClass .c4QuantumMolecularDepth = .quantumCircuitDepth := rfl
 180
 181theorem c5_falsifier :
 182    falsifierClass .c5AttentionTensor = .attentionBlinkPlateaus := rfl
 183
 184theorem c6_falsifier :
 185    falsifierClass .c6EriksonReverse = .adniDementiaProgression := rfl
 186
 187theorem c7_falsifier :
 188    falsifierClass .c7UniversalResponse = .crossFieldEquilibriumResponse := rfl

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.