chore: pin pre-commit hooks to commit SHAs (#4)

* chore: pin pre-commit hooks to commit SHAs

Replace mutable version tags with immutable commit SHAs to prevent
supply-chain attacks from tag rewriting. Version tags preserved in
comments for readability.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

* docs: align index h1 with site_name convention

Change h1 from "Creative Determinant — Lean 4 Formalization" to
"cd-formalization" to match the convention used across all other
Project Navi docs sites.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>

Author: Fieldnote-Echo

.pre-commit-config.yaml

@@ -1,6 +1,6 @@
 repos:
   - repo: https://github.com/pre-commit/pre-commit-hooks
-    rev: v6.0.0
+    rev: 3e8a8703264a2f4a69428a0aa4dcb512790b2c8c  # v6.0.0
     hooks:
       - id: trailing-whitespace
       - id: end-of-file-fixer

docs/index.md

@@ -6,7 +6,7 @@ hide:
 
 <div class="hero-glow" markdown>
 
-# Creative Determinant — Lean 4 Formalization
+# cd-formalization
 
 **Machine-checked existence theory for coherent presence on Riemannian manifolds.**