c2_falsifier
plain-language theorem explainer
Recognition Science maps the C2 planet-strata combination to the seismic-atmospheric ratio as its designated empirical test class. Cross-domain researchers citing the Option A theorems reference this assignment to keep each claim tied to a concrete observable. The equality follows at once from the explicit case in the registry definition.
Claim. The empirical test class assigned to the planet-strata combination is the seismic-to-atmospheric ratio observable.
background
The Option A Falsifier Registry maintains a finite pairing of each C1-C9 cross-domain theorem with one empirical test class. The falsifierClass function implements this mapping by cases, returning the appropriate TestClass for every CombinationID. The module states that the registry does not prove empirical claims; it only attaches falsifiers so the cross-domain work cannot drift into unfalsifiable numerology.
proof idea
The proof is a one-line reflexivity step on the definition of falsifierClass, which lists the planet-strata case explicitly as seismicAtmosphericRatio.
why it matters
This mapping populates the falsifierRegistryCert that records the nine combinations, nine test classes, and related counts. It directly supports the framework requirement that every cross-domain theorem carries an attached empirical observable, consistent with the Recognition Science goal of deriving physics from the functional equation while remaining testable.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.