the quantities vitepressIndexOfIndexesLaw computes for this theorem (automount, incomplete, count), drawn from its own run — no other proof returns them

VitePress automounts every index without reconfiguration

vitepressIndexOfIndexesLaw · src/wind/routes/automount · finite-complete

automount finite-complete self-contained anim/tree

Theorem.VitePress automounts every index without reconfiguration.

Proof.VitePress automounts every index without reconfiguration. Indices are discovered from src/ and displayed automatically when complete; when incomplete, gates fail — the index does not care about VitePress.

The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎

src/wind/routes/automount/index.ts#vitepressIndexOfIndexesLaw

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

"VitePress automounts every index without reconfiguration" 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 vitepressIndexOfIndexesLaw.

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 (vitepressIndexOfIndexesLaw @ 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 vitepressIndexOfIndexesLaw (src/wind/routes/automount/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.