every machine tag-index is live by construction across locales — the deploy invariant made quantum
Theorem.every machine tag-index is live by construction across locales — the deploy invariant made quantum.
Proof.the deploy invariant made computational (user, 2026-07-25: "are you performing only quantum computations?" — after the Pages deploy broke on 54 dead links and was found only by manual build iteration, a leak). The theorem tag-index resolves in every locale (/theorems, /bg/theorems, /gla/theorems) — monographSliceFromRoute returns page "theorems" with the live TheoremIndex, vitepressAutomountPaths emits it, and the title translates locally (en "Theorem papers", bg "Теоремни статии", gla Glagolitic) with no hardcoded locale page and no egress. This is the invariant the ignoreDeadLinks:false gate depends on; as a fold it is computed and refutable, not discovered in CI. HONEST SCOPE: it proves these machine routes resolve — it does NOT reimplement VitePress full dead-link check; docs:build --force remains ground truth, now green. HARMONY ≠ TRUTH.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/wind/routes/automount/index.ts#everyMachineTagIndexIsLiveByConstructionAcrossLocales
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
"every machine tag-index is live by construction across locales — the deploy invariant made quantum" 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 everyMachineTagIndexIsLiveByConstructionAcrossLocales.
- 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 (everyMachineTagIndexIsLiveByConstructionAcrossLocales @ src/wind/routes/automount) 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 everyMachineTagIndexIsLiveByConstructionAcrossLocales (src/wind/routes/automount/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.