every page is a printable formatted scientific paper
Theorem.every page is a printable formatted scientific paper.
Proof.the paper law over the whole served set (user law): every one of the served science pages maps through monographAsScientificPaper to a full article head — title · abstract · keywords · live-component results · content-address receipt — in both locales (English and Bulgarian), under the one 11-section monograph template the README roots; and every one is a theorem-science lens survivor, so the site is a corpus of science papers and nothing else. The render layer projects the data: PaperFrame leads every document with the abstract and keywords read from the computed frontmatter (transformPageData lifts them from this same model), og:type declares every paper an article, and the @media print stylesheet strips the chrome so paper output is a formatted serif article with external references keeping their addresses. The DATA completeness is the computed proof (empty an abstract and a facet flips); the visual projection is cited as the theme's job, not re-parsed.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/wind/site/index.ts#everyPageIsAPrintableScientificPaper
1 · Classification
finite-complete — computed witness within a cited frame (the unbounded form leans on the cited literature)
2 · Provenance
Documented theorem re-derived by exhaustive computation (humanityNovel=false); first-in-this-registry is the only sense of discovered.
Acknowledgment
"every page is a printable formatted scientific paper" is a re-derivation, acknowledged to documented mathematics — the original proof is the prior art this re-derivation acknowledges; not new to humanity — the contribution is the reproducible computation everyPageIsAPrintableScientificPaper.
- Prior art
- documented mathematics — the original proof is the prior art this re-derivation acknowledges
- Novelty
- not new to humanity — a re-derivation (humanityNovel = false)
- Contribution
- a reproducible computation (everyPageIsAPrintableScientificPaper @ src/wind/site) that re-derives the result at zero tokens — the contribution is the verifiable recomputation, NOT the theorem
3 · Reproducibility
Recompute from source: npm run theorems:verify recomputes everyPageIsAPrintableScientificPaper (src/wind/site/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.