`falsifierClass`

definition

show as: view math explainer →

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

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

 106  decide
 107
 108/-- The empirical test class for each Option A combination. -/
 109def falsifierClass : CombinationID → TestClass
 110  | .c1CognitiveTensor => .eegDecoder
 111  | .c2PlanetStrata => .seismicAtmosphericRatio
 112  | .c3OncologyTensor => .tcgaClinicalResponse
 113  | .c4QuantumMolecularDepth => .quantumCircuitDepth
 114  | .c5AttentionTensor => .attentionBlinkPlateaus
 115  | .c6EriksonReverse => .adniDementiaProgression
 116  | .c7UniversalResponse => .crossFieldEquilibriumResponse
 117  | .c8MillerSpan => .workingMemorySpanReduction
 118  | .c9RegulatoryCeiling => .encodeTcgaRegulatoryModule
 119
 120/-- Whether the implemented Lean content is purely structural or paired with an
 121empirical hypothesis. -/
 122def empiricalStatus : CombinationID → EmpiricalStatus
 123  | .c1CognitiveTensor => .theoremPlusHypothesis
 124  | .c2PlanetStrata => .theoremPlusHypothesis
 125  | .c3OncologyTensor => .theoremPlusHypothesis
 126  | .c4QuantumMolecularDepth => .theoremPlusHypothesis
 127  | .c5AttentionTensor => .theoremPlusHypothesis
 128  | .c6EriksonReverse => .scaffoldPlusHypothesis
 129  | .c7UniversalResponse => .theoremPlusHypothesis
 130  | .c8MillerSpan => .theoremPlusHypothesis
 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

papers checked against this theorem

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