`datasetClass`

definition

show as: view math explainer →

module: IndisputableMonolith.Foundation.OptionAFalsifierRegistry
domain: Foundation
line: 134 · 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 134.

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

 131  | .c9RegulatoryCeiling => .theoremPlusHypothesis
 132
 133/-- Dataset class assigned to each implemented combination. -/
 134def datasetClass : CombinationID → DatasetClass
 135  | .c1CognitiveTensor => .eegMegDecoderCorpus
 136  | .c2PlanetStrata => .seismicAtmosphericCatalog
 137  | .c3OncologyTensor => .tcgaClinicalTrials
 138  | .c4QuantumMolecularDepth => .quantumChemistryBenchmarks
 139  | .c5AttentionTensor => .attentionBlinkMeg
 140  | .c6EriksonReverse => .adniLongitudinal
 141  | .c7UniversalResponse => .crossDomainPanel
 142  | .c8MillerSpan => .workingMemoryPerturbation
 143  | .c9RegulatoryCeiling => .encodeTcgaRegulatory
 144
 145/-- Predicted observable assigned to each implemented combination. -/
 146def predictedObservable : CombinationID → PredictedObservable
 147  | .c1CognitiveTensor => .tensorRank125
 148  | .c2PlanetStrata => .strataRatioPhiPower
 149  | .c3OncologyTensor => .multiplicativeTherapyResponse
 150  | .c4QuantumMolecularDepth => .fiveBitAddressBound
 151  | .c5AttentionTensor => .fortyStableFiveTransient
 152  | .c6EriksonReverse => .reverseEriksonOrder
 153  | .c7UniversalResponse => .unitResponseCoefficient
 154  | .c8MillerSpan => .qSpaceSpanSequence
 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

papers checked against this theorem

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