MaterialIndependence
plain-language theorem explainer
MaterialIndependence encodes the condition that fractional weight losses remain consistent across test materials to within 0.1 percent tolerance. Podkletnov experiment analysts would cite it to classify the anomaly as shielding rather than geometry-dependent thrust. The definition is a direct absolute-difference bound on two real loss parameters.
Claim. For real numbers $L_A$ and $L_B$ denoting fractional weight losses observed for two distinct materials, the material-independence condition holds precisely when $|L_A - L_B| < 0.1$.
background
The Podkletnov module formalizes a rotating YBCO disk producing 0.3 percent to 2.1 percent weight reduction in objects placed above it. The module treats the anomaly as either an ILG modification of the local metric weight kernel or a spiral-field thrust, subject to Flight falsifiers. MaterialIndependence isolates the shielding reading by requiring the loss to be independent of test-mass composition, consistent with the equivalence principle.
proof idea
The declaration is a one-line definition that directly states the absolute-value inequality with a fixed 0.1 tolerance threshold.
why it matters
The definition distinguishes the shielding/ILG interpretation from thrust models inside the Recognition Science gravity-candidate suite. It aligns with the framework's emphasis on equivalence-principle behavior for metric modifications and supplies a concrete test predicate for downstream falsification checks. No parent theorems or used-by links are recorded, leaving open its integration with phi-ladder mass formulas or RCL identities.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.