refactor: rename FBQLdt to GQLdt across lithoglyph

Complete rename of the dependently-typed query layer from FBQLdt
(FormDB Query Language) to GQLdt (Graph Query Language) reflecting
Lithoglyph's pivot from FormDB to graph-native storage.

Includes: Lean 4 sources, Idris2 ABI, Zig bridge, test vectors,
ReScript clients, CI workflows, docs, and container configs.

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

Author: hyperpolymath

lithoglyph/.claude/CLAUDE.md

@@ -9,7 +9,7 @@ Multi-language stack in dependency order:
 2. **Zig** (core-zig/) — C ABI bridge with WAL, 19 functions, block allocator
 3. **Zig** (ffi/zig/) — Delegation layer that forwards to core-zig
 4. **Idris2** (src/Lith/) — Dependent-type ABI proofs, memory layout verification
-5. **Factor** (core-factor/) — FQL runtime: parser, planner, executor
+5. **Factor** (core-factor/) — GQL runtime: parser, planner, executor
 6. **Lean 4** (normalizer/) — Normalization proofs, FD discovery (52 proofs)
 7. **Lean 4** (gql-dt/) — Dependently-typed Glyph Query Language
 8. **Zig + Rust** (beam/) — BEAM NIFs for Elixir/Erlang integration
@@ -27,7 +27,7 @@ svalinn (TLS) → lith-http (Elixir :4000) → BEAM NIFs → core-zig (C ABI) 
                               Idris2 ABI proofs (src/Lith/) verify bridge contracts
                               Lean 4 normalizer verifies schema correctness
                               GQL-DT (Lean 4) verifies query correctness
-                              Factor FQL plans and executes queries
+                              Factor GQL plans and executes queries
 ```
 
 ## Critical Invariants
@@ -61,7 +61,7 @@ svalinn (TLS) → lith-http (Elixir :4000) → BEAM NIFs → core-zig (C ABI) 
 - **Zig** — Bridge, BEAM NIF, API layer
 - **Idris2** — ABI proofs (dependent types)
 - **Lean 4** — Normalization proofs, GQL-DT
-- **Factor** — FQL runtime (concatenative)
+- **Factor** — GQL runtime (concatenative)
 - **Elixir** — OTP control plane, HTTP API
 - **Rust** — BEAM NIF (Rustler), studio backend
 - **ReScript** — Client libraries (if needed)
@@ -128,7 +128,7 @@ just build-all # everything in dependency order
 | ffi/zig | PASS | PASS | Delegates to core-zig |
 | Idris2 ABI | PASS | N/A | 3 files type-check clean, 0 believe_me |
 | Lean 4 normalizer | PASS | 52 PASS | FD discovery proofs |
-| core-factor | PASS | N/A | FQL parser/planner/executor |
+| core-factor | PASS | N/A | GQL parser/planner/executor |
 | BEAM NIF (Zig) | PASS | N/A | Real FFI calls |
 | BEAM NIF (Rust) | PASS | N/A | Rustler 0.35, 0 warnings |
 | lith-http | PASS | PASS | M15 complete |

lithoglyph/.github/workflows/ci.yml

@@ -118,7 +118,7 @@ jobs:
       - name: Verify ABI exports
         working-directory: core-zig
         run: |
-          nm -D zig-out/lib/liblith_bridge.so | grep -q 'fdb_db_open'
-          nm -D zig-out/lib/liblith_bridge.so | grep -q 'fdb_apply'
-          nm -D zig-out/lib/liblith_bridge.so | grep -q 'fdb_version'
-          nm -D zig-out/lib/liblith_bridge.so | grep -q 'fdb_introspect_schema'
+          nm -D zig-out/lib/liblith_bridge.so | grep -q 'lith_db_open'
+          nm -D zig-out/lib/liblith_bridge.so | grep -q 'lith_apply'
+          nm -D zig-out/lib/liblith_bridge.so | grep -q 'lith_version'
+          nm -D zig-out/lib/liblith_bridge.so | grep -q 'lith_introspect_schema'

lithoglyph/.github/workflows/test-suite.yml

@@ -112,10 +112,10 @@ jobs:
         working-directory: core-zig
         run: |
           echo "=== ABI Export Check ==="
-          nm -D zig-out/lib/liblith_bridge.so | grep ' T fdb_' | sort
-          nm -D zig-out/lib/liblith_bridge.so | grep -q 'fdb_db_open'
-          nm -D zig-out/lib/liblith_bridge.so | grep -q 'fdb_apply'
-          nm -D zig-out/lib/liblith_bridge.so | grep -q 'fdb_introspect_schema'
+          nm -D zig-out/lib/liblith_bridge.so | grep ' T lith_' | sort
+          nm -D zig-out/lib/liblith_bridge.so | grep -q 'lith_db_open'
+          nm -D zig-out/lib/liblith_bridge.so | grep -q 'lith_apply'
+          nm -D zig-out/lib/liblith_bridge.so | grep -q 'lith_introspect_schema'
           echo "All expected ABI exports present"
 
   test-lean:

lithoglyph/.github/workflows/zig-tests.yml

@@ -99,20 +99,20 @@ jobs:
 
           # Generate symbol list
           zig build-lib src/bridge.zig -O ReleaseFast
-          nm -D libbridge.so | grep "fdb_" | head -20
+          nm -D libbridge.so | grep "lith_" | head -20
 
           # Verify key exports
-          if nm -D libbridge.so | grep -q "fdb_db_open"; then
-            echo "✅ fdb_db_open exported"
+          if nm -D libbridge.so | grep -q "lith_db_open"; then
+            echo "✅ lith_db_open exported"
           else
-            echo "❌ fdb_db_open missing"
+            echo "❌ lith_db_open missing"
             exit 1
           fi
 
-          if nm -D libbridge.so | grep -q "fdb_apply"; then
-            echo "✅ fdb_apply exported"
+          if nm -D libbridge.so | grep -q "lith_apply"; then
+            echo "✅ lith_apply exported"
           else
-            echo "❌ fdb_apply missing"
+            echo "❌ lith_apply missing"
             exit 1
           fi
 

lithoglyph/.machine_readable/AGENTIC.scm

@@ -38,7 +38,7 @@
       (role . "Autonomous normalization and functional dependency discovery")
       (capabilities
         "- Run Lean 4 normalization proofs on schema changes
-         - Discover functional dependencies via Factor FQL runtime
+         - Discover functional dependencies via Factor GQL runtime
          - Suggest schema improvements based on FD analysis
          - Verify normalization forms (1NF through BCNF)")
       (decision-making

lithoglyph/.machine_readable/ECOSYSTEM.scm

@@ -23,14 +23,14 @@
 
   (related-projects
     ;; Core ecosystem - Sibling projects
-    (fbql-dt
+    (gql-dt
       (relationship "sibling-language")
-      (repo "github.com/hyperpolymath/fbql-dt")
+      (repo "github.com/hyperpolymath/gql-dt")
       (status "implementation-in-progress")
       (completion 75)
-      (description "FBQLdt: Dependently-Typed Lith Query Language. Lean 4 implementation
+      (description "GQLdt: Dependently-Typed Lith Query Language. Lean 4 implementation
                     with compile-time type checking, refinement types, and proof-carrying
-                    migrations. Two-tier design: FBQLdt (admin) and FBQL (user-friendly).")
+                    migrations. Two-tier design: GQLdt (admin) and GQL (user-friendly).")
       (tech-stack "Lean 4 + Idris2 ABI + Zig FFI + ReScript bindings")
       (integration-points
         (type-system "BoundedNat, BoundedInt, NonEmptyString, Confidence, PromptScores")
@@ -39,9 +39,9 @@
         (parser "Complete parser for INSERT/SELECT/UPDATE/DELETE with type inference")
         (permissions "Two-tier permission system with TypeWhitelist"))
       (alignment-status
-        (fundep-types "Lith should adopt schema-bound FunDep S type from fbql-dt")
-        (proofs "Waiting for fbql-dt M7 (Idris2 ABI) + M8 (Zig FFI)")
-        (bindings "Waiting for fbql-dt M9 (ReScript bindings)")
+        (fundep-types "Lith should adopt schema-bound FunDep S type from gql-dt")
+        (proofs "Waiting for gql-dt M7 (Idris2 ABI) + M8 (Zig FFI)")
+        (bindings "Waiting for gql-dt M9 (ReScript bindings)")
         (ffi "Compatible - both use CBOR-encoded proof blobs via Zig FFI")))
 
     (formbase
@@ -61,20 +61,20 @@
       (repo "github.com/hyperpolymath/lithoglyph-studio")
       (status "planned")
       (description "Zero-friction admin GUI for Lith. Visual schema designer,
-                    FQL query builder, provenance explorer, journal viewer, and
+                    GQL query builder, provenance explorer, journal viewer, and
                     normalization proof visualizer."))
 
     (lithoglyph-debugger
       (relationship "sibling-tool")
       (repo "github.com/hyperpolymath/lithoglyph-debugger")
       (status "scaffolding-complete")
       (completion 35)
-      (description "Proof-carrying debugger. Step through FQL queries, inspect
+      (description "Proof-carrying debugger. Step through GQL queries, inspect
                     constraint violations, visualize normalization proofs, and
                     explore journal replay scenarios.")
       (alignment-status
         (journal-types "Need Migration/NormalizationStep entry types from Lith")
-        (provenance "Need Confidence + ProofBlob types from fbql-dt")
+        (provenance "Need Confidence + ProofBlob types from gql-dt")
         (proofs "LosslessProof stubs need real Lean 4 implementations")))
 
     (lithoglyph-analytics
@@ -154,16 +154,16 @@
 
   (what-this-is
     "A database engine that treats data history as sacred"
-    "A query language (FBQL/FBQLdt) designed for provenance and narrative"
+    "A query language (GQL/GQLdt) designed for provenance and narrative"
     "A storage format (blocks + journal) optimized for auditability"
     "A philosophy: databases should explain themselves"
     "An ecosystem of tools for narrative-first data management"
     "Layered architecture: Forth (storage) + Zig (FFI) + Factor (runtime) + Elixir (clustering)"
-    "Integration with formal methods: Lean 4 via fbql-dt for proof-carrying migrations"
+    "Integration with formal methods: Lean 4 via gql-dt for proof-carrying migrations"
     "Open source under PMPL-1.0-or-later (Palimpsest License)")
 
   (what-this-is-not
-    "Not a drop-in SQL replacement (FBQL is intentionally different)"
+    "Not a drop-in SQL replacement (GQL is intentionally different)"
     "Not optimized for OLAP workloads (narrative overhead, use lithoglyph-analytics for that)"
     "Not a distributed database yet (single-node PoC complete, clustering in M14)"
     "Not a real-time streaming platform (use CDC integration for streaming)"