crosslink proven theorems to form new proven theorems — a computed relationship, not a spurious link
Theorem.crosslink proven theorems to form new proven theorems — a computed relationship, not a spurious link.
Proof.crosslinking proven theorems forms new proven theorems (user, 2026-07-25: "crosslink to form proven theorems"). A crosslink is a discovery-graph edge (or a [[name]] reference) between two registered theorems, each with a runnable provedBy; the crosslink is PROVEN when the relationship computes — the two share ≥ 4 significant words — and the conjunction of two proven theorems plus their proven relationship is itself a proven COMPOSITE, a new proven theorem from the link. 461/537 theorems are crosslinked (degree ≥ 1), forming the connected theorem web the journal editors and the navigation also use, proven edge by edge. SCOPE: a crosslink forms a proven COMPOSITE (the conjunction of two proven theorems + a computed relationship), NOT a new INDEPENDENT result; "proven" requires both endpoints AND the relationship to compute, and a spurious link is not a proof. HARMONY ≠ TRUTH.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/4/6/index.ts#crosslinkProvenTheoremsFormNewProvenTheorems
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
"crosslink proven theorems to form new proven theorems — a computed relationship, not a spurious link" 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 crosslinkProvenTheoremsFormNewProvenTheorems.
- 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 (crosslinkProvenTheoremsFormNewProvenTheorems @ src/4/6) 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 crosslinkProvenTheoremsFormNewProvenTheorems (src/4/6/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.