Proofs

This index lists all published CCFU proofs. Each proof is an independent canonical document with a deterministic SHA-256 hash.

In CCFU Logic Context

1. CCFU Proof 1 φ is the unique positive attracting fixed point of C2
   Proof 1 · 2026-05-13
2. CCFU Proof 2 — The Lorentzian Hyperboloid Identity
   Proof 2 · 2026-05-14
3. CCFU Proof 3 — Conformal Preservation J(0)ᵀGJ(0) = βG
   Proof 3 · 2026-05-15
4. CCFU Proof 4 — sig(G₄) = (3,1)
   Proof 4 · 2026-05-15
5. CCFU Proof 5 — The Minimal Parent Theorem: dim(P_min) = 5 = Δ(C₂)
   Proof 5 · 2026-05-15
6. CCFU Proof 6 — Lucas = cosh, Fibonacci = sinh (even index)
   Proof 6 · 2026-05-15
7. CCFU Proof 7 — Arctangent Identity: arctan(1/φ) + arctan(1/φ³) = π/4
   Proof 7 · 2026-05-15
8. CCFU Proof 8 — Fractal Similarity Dimension D = 1 for φ-Branching Tree
   Proof 8 · 2026-05-16
9. CCFU Proof 9 — Cassini Identity and H¹ Orbit
   Proof 9 · 2026-05-16
10. CCFU Proof 10 — The C₂ Level Set Is Isometric to H³ with K = −1/R²
    Proof 10 · 2026-05-16
11. CCFU Proof 11 — Lorentz Decomposition A₄ = B·K
    Proof 11 · 2026-05-16
12. CCFU Proof 12 — Geodesic Translation Length l(A₄²) = 2·ln φ
    Proof 12 · 2026-05-16
13. CCFU Proof 13 — Parallelism Identity Π(ln φ) = arctan(2)
    Proof 13 · 2026-05-16
14. CCFU Proof 14 — Null Vector: Q(φ,1) = 0
    Proof 14 · 2026-05-16
15. CCFU Proof 15 — One-Step Lorentz Factor γ₁ = √5/2
    Proof 15 · 2026-05-17
16. CCFU Proof 16 — Global Split Signature: sig(J(z)ᵀGJ(z)) = (2,2)
    Proof 16 · 2026-05-17
17. CCFU Proof 17 — Two Canonical Four-Mode Completions of C₂
    Proof 17 · 2026-05-17
18. CCFU Proof 18 — Uniqueness of C₂ Among ±1 Recurrences
    Proof 18 · 2026-05-17
19. CCFU Proof 19 — Explicit A₄: Companion Matrix from C₂
    Proof 19 · 2026-05-19

Out Of CCFU Logic Context

1. CCFU Proof 20 — Parent Decomposition: P = S₁ ⊕_W S₂
   Proof 1 · 2026-05-24
2. CCFU Proof 21 — Higher Alternating Closure
   Proof 2 · 2026-05-24
3. CCFU Proof 22 — Explicit Ω_W
   Proof 3 · 2026-05-24
4. CCFU Proof 23 — dim Stab(Ω_W) = 14
   Proof 4 · 2026-05-24
5. CCFU Proof 24 — sig(b_{Ω_W}) = (3,4)
   Proof 5 · 2026-05-24
6. CCFU Proof 25 — Stability of Ω_W
   Proof 6 · 2026-05-25
7. CCFU Proof 26 — Fixed-Point sig(2,2) for Degree-2 Memory Maps
   Proof 7 · 2026-05-25
8. CCFU Proof 27 — Unique GL(7)-Orbit
   Proof 8 · 2026-05-25
9. CCFU Proof 28 — Stab(Ω_W) ≅ g₂(split)
   Proof 9 · 2026-05-26
10. CCFU Proof 29 — C₂ Constructs G₂(split)
    Proof 10 · 2026-05-26