docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652)

- CITATION.cff: created

https://orcid.org/0000-0002-3078-6652

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01B2ARtAVppZ7x7mVY5u6nAz

Author: hyperpolymath

CITATION.cff

@@ -0,0 +1,29 @@
+cff-version: 1.2.0
+message: "If you use this software, please cite it as below."
+type: software
+title: "typell"
+abstract: "Type-theoretic verification kernel for formally verified database queries, providing dependent, linear, session, quantitative, effect, and modal type coverage. Idris 2 formal specs, Rust verification kernel, Zig FFI bridge, JSON-RPC protocol. The \"LLVM of type safety\" for query validation."
+authors:
+  - family-names: "Jewell"
+    given-names: "Jonathan D.A."
+    orcid: "https://orcid.org/0000-0002-3078-6652"
+repository-code: "https://github.com/hyperpolymath/typell"
+keywords:
+  - "rust"
+  - "affinescript"
+  - "dependent-types"
+  - "ephapax"
+  - "idris2"
+  - "verification-kernel"
+  - "database"
+  - "epistemic-computing"
+  - "epistemic-infrastructure"
+  - "formal-verification"
+  - "hyperpolymath"
+  - "open-source"
+  - "research-software"
+  - "temporal-database"
+  - "typed-dsl"
+  - "veridical-computing"
+  - "proof-carrying-queries"
+  - "linear-types"