docs: comprehensive v1.4.0 documentation update

- Restored original name: "Cognitive Hybrid" (not "Computational Heuristic")
- Updated README.md with 17 provers and 3 consolidated interfaces
- Updated ROADMAP.adoc to reflect v1.4.0 complete, v2.0 planned
- Updated AI.a2ml with architecture facts and critical invariants
- Updated META.scm with correct name expansion
- Updated STATE.scm to v1.4.0 (100% complete)

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>

Author: Jonathan D.A. Jewell

.machine_readable/META.scm

@@ -4,7 +4,7 @@
 (define echidna-meta
   `((metadata
       ((name . "ECHIDNA")
-       (full-name . "Extensible Computational Heuristic for Interactive Decision-making in Neural Architectures")
+       (full-name . "Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance")
        (tagline . "Neurosymbolic Theorem Proving with Formal Guarantees")
        (version . "1.3.0")
        (status . "production-ready")