# Mathematical scope

Conditional formulas only. No article-specific numerical result or factual claim is certified by this record.

The Lean library checks complementary fractions, the deduction of nonnegative costs, and the conversion of a percentage-point gap to a probability gap. Their assumptions must be established separately.

Source: [ResearchModels.lean](../ResearchModels.lean). Proof log: [verification.json](../verification.json).

Body SHA-256: `141d4e12c5b28330e20e6d28e03c60aa357b19ad7d692ea615beed45187b111a`. This identifies the scoped publication content; it is not a proof of its truth.

The original article keeps its existing publication date and access rules.

25 Oct 2026: the body hash now leaves out the photograph block (image), as it already left out sources and updatedAt. The scope is unchanged. Previous body SHA-256: b74efd86152c891e9288a8f6f3222865d08f30076e69f7dcd217c7fb3c9ea0cb.