animation uniqueness is layered — identity unique (no logic gap), but the visible speed collides by the 108-divisor clock law so colour carries the salience (a rendering gap, not logic)
Theorem.animation uniqueness is layered — identity unique (no logic gap), but the visible speed collides by the 108-divisor clock law so colour carries the salience (a rendering gap, not logic).
Proof.animations if not unique show gaps in logic and algebra + i see many animations are same just different colour (user, 2026-07-26). Each theorem's animation IDENTITY (itemid) is unique (692/692, no logic/algebra gap). BUT the visible rung (speed) has only 12 distinct values — exactly the divisors of 108 (the fractal-clock law forces each rung to divide 108) — so many animations share a speed, and the unique figure formula (692) plus phase read subtly while COLOUR (the hexagram hue) is the salient discriminator. So "same, different colour" is correct: the gap is VISUAL SALIENCE, not logic. HONEST: identity unique (no logic gap); visible speed collides by the clock law (structural); the fix is making the unique figure more visible — a rendering improvement. HARMONY ≠ TRUTH.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/heaven/compute/index.ts#animationUniquenessIsADiagnosticNonUniqueAnimationsRevealGapsInLogicAndAlgebraTheCorpusIsUnique
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
"animation uniqueness is layered — identity unique (no logic gap), but the visible speed collides by the 108-divisor clock law so colour carries the salience (a rendering gap, not logic)" 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 animationUniquenessIsADiagnosticNonUniqueAnimationsRevealGapsInLogicAndAlgebraTheCorpusIsUnique.
- 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 (animationUniquenessIsADiagnosticNonUniqueAnimationsRevealGapsInLogicAndAlgebraTheCorpusIsUnique @ src/heaven/compute) 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 animationUniquenessIsADiagnosticNonUniqueAnimationsRevealGapsInLogicAndAlgebraTheCorpusIsUnique (src/heaven/compute/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.