only complete Open Graph objects based on microdata may be computed and wired — fail-closed
Theorem.only complete Open Graph objects based on microdata may be computed and wired — fail-closed.
Proof.a fail-closed gate: only COMPLETE Open Graph objects built from microdata may be computed and wired (user, 2026-07-25: "which means only complete open graph objects based on microdata may be computed and wired"). Each page's OG object (og:title · og:description · og:type · og:url · og:image) is derived from its schema.org microdata (pageMicrodata) — one content-addressed source — and an OG missing any of the five required properties is REJECTED (allow never the default). Because the microdata carries name · description · identifier · url, a well-formed page maps to a complete OG. SCOPE: Open Graph and microdata are real SEO / social markup, content-addressed; "computed and wired" = generated and consumed via the meta tags, not scraped; the gate enforces completeness, not richness. HARMONY ≠ TRUTH.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/mountain/og/index.ts#onlyCompleteOpenGraphObjectsFromMicrodataMayBeWired
1 · Classification
finite-complete — self-contained computation, no external lean
2 · Provenance
Documented theorem re-derived by exhaustive computation (humanityNovel=false); first-in-this-registry is the only sense of discovered.
Acknowledgment
"only complete Open Graph objects based on microdata may be computed and wired — fail-closed" 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 onlyCompleteOpenGraphObjectsFromMicrodataMayBeWired.
- 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 (onlyCompleteOpenGraphObjectsFromMicrodataMayBeWired @ src/mountain/og) 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 onlyCompleteOpenGraphObjectsFromMicrodataMayBeWired (src/mountain/og/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.