feat(lithoglyph/studio): replace Tauri with Gossamer — 12 commands migrated

Removed src-tauri/. New gossamer-rs backend with 12 commands: service
status, GQL-DT generation/validation, query execution/explanation,
document insert/validation, FD discovery, normalization, proof obligations,
and tactic application. RuntimeBridge cleaned to Gossamer-only.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

lithoglyph/.claude/CLAUDE.md

@@ -14,7 +14,7 @@ Multi-language stack in dependency order:
 7. **Lean 4** (gql-dt/) — Dependently-typed Glyph Query Language
 8. **Zig + Rust** (beam/) — BEAM NIFs for Elixir/Erlang integration
 9. **Elixir** (lith-http/) — Phoenix HTTP API, control plane
-10. **Rust + Web** (studio/) — Tauri desktop GUI (mock data, early stage)
+10. **Rust + Web** (studio/) — Gossamer desktop GUI (mock data, early stage)
 11. **Zig** (api/) — REST + gRPC API (BROKEN — needs Zig 0.15.2 migration)
 
 Subprojects with own `.machine_readable/`: gql-dt/, glyphbase/, lith-http/
@@ -109,7 +109,7 @@ cd lith-http && mix deps.get && mix compile && mix test
 # GQL-DT (Lean 4)
 cd gql-dt && lake build
 
-# Studio (Tauri — mostly mock data)
+# Studio (Gossamer — mostly mock data)
 cd studio && cargo build
 ```
 
@@ -135,7 +135,7 @@ just build-all # everything in dependency order
 | gql-dt | PASS | claims 100% | Needs honest audit |
 | glyphbase | ? | ? | Needs honest audit |
 | api (Zig) | BROKEN | N/A | 83 old std.http.Server call sites |
-| studio | PASS | N/A | 11 commands return mock data |
+| studio | PASS | N/A | 11 Gossamer commands return mock data |
 
 ## Patterns and Anti-Patterns
 

lithoglyph/.tool-versions

@@ -5,5 +5,3 @@
 # Primary runtime
 deno 2.1.4
 
-# Build tools
-just 1.30.0

lithoglyph/justfile

@@ -10,10 +10,8 @@
 node_modules/
 package-lock.json
 
-# Tauri
-/src-tauri/target
-/src-tauri/gen/
-/src-tauri/Cargo.lock
+# Cargo
+Cargo.lock
 
 # ReScript
 *.res.js

lithoglyph/studio/.gitignore

@@ -3,20 +3,13 @@
 name = "lithoglyph-studio"
 version = "0.1.0"
 description = "Zero-friction interface for Lith with dependently-typed GQL"
-authors = ["Hyperpolymath"]
+authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
 license = "PMPL-1.0-or-later"
 repository = "https://github.com/hyperpolymath/lithoglyph-studio"
 edition = "2021"
 
-[build-dependencies]
-tauri-build = { version = "2", features = [] }
-
 [dependencies]
-tauri = { version = "2", features = [] }
+gossamer-rs = { path = "../../../../gossamer/bindings/rust" }
 serde = { version = "1", features = ["derive"] }
 serde_json = "1"
 uuid = { version = "1", features = ["v4"] }
-
-[features]
-default = ["custom-protocol"]
-custom-protocol = ["tauri/custom-protocol"]

lithoglyph/studio/src-tauri/Cargo.toml lithoglyph/studio/Cargo.tomllithoglyph/studio/src-tauri/Cargo.toml renamed to lithoglyph/studio/Cargo.toml

@@ -77,7 +77,7 @@ Lith Studio provides a visual interface:
 ----
 ┌─────────────────────────────────────────────────────────────┐
 │  Lith Studio (This Project)                               │
-│  ├── Tauri 2.0 (Rust) - Cross-platform desktop app          │
+│  ├── Gossamer (Rust) - Cross-platform desktop app             │
 │  ├── ReScript UI - Type-safe reactive interface             │
 │  └── Visual builders for schemas, queries, data entry,      │
 │      and schema normalization                               │
@@ -174,8 +174,8 @@ See https://github.com/hyperpolymath/lithoglyph/blob/main/spec/self-normalizing.
 | Component | Technology | Rationale
 
 | Desktop App
-| Tauri 2.0
-| Cross-platform (Mac, Windows, Linux), Rust backend
+| Gossamer
+| Cross-platform (Mac, Windows, Linux), Rust backend via gossamer-rs
 
 | Frontend UI
 | ReScript
@@ -212,9 +212,9 @@ See https://github.com/hyperpolymath/lithoglyph/blob/main/spec/self-normalizing.
 | 18+ (for npm/npx)
 | https://nodejs.org/ or `asdf install nodejs 20.10.0`
 
-| Tauri CLI
-| 2.x
-| `cargo install tauri-cli`
+| Gossamer
+| 0.1+
+| Built from `gossamer/bindings/rust` (path dependency)
 |===
 
 ==== Linux-Specific Dependencies
@@ -258,10 +258,10 @@ npx rescript build
 npx esbuild src/App.res.js --bundle --outfile=dist/app.js
 
 # Development mode (hot reload)
-cd src-tauri && cargo tauri dev
+cargo run
 
 # Build for production
-cd src-tauri && cargo tauri build
+cargo build --release
 ----
 
 === Quick Start (TL;DR)
@@ -270,39 +270,31 @@ cd src-tauri && cargo tauri build
 ----
 npm install && npx rescript build && \
 npx esbuild src/App.res.js --bundle --outfile=dist/app.js && \
-cd src-tauri && cargo tauri dev
+cargo run
 ----
 
 === Build Outputs
 
-After `cargo tauri build`:
+After `cargo build --release`:
 
 [cols="1,2"]
 |===
 | Format | Location
 
 | Binary
-| `src-tauri/target/release/lithoglyph-studio`
-
-| Debian package
-| `src-tauri/target/release/bundle/deb/Lith Studio_*.deb`
-
-| RPM package
-| `src-tauri/target/release/bundle/rpm/Lith Studio-*.rpm`
+| `target/release/lithoglyph-studio`
 |===
 
 === Project Structure
 
 [source,text]
 ----
 lithoglyph-studio/
-├── src-tauri/              # Rust backend (Tauri 2.0)
-│   ├── src/
-│   │   └── main.rs         # Entry point + all Tauri commands
-│   ├── icons/              # App icons (indigo theme)
-│   ├── Cargo.toml          # Rust dependencies
-│   └── tauri.conf.json     # Tauri configuration
-├── src/                    # ReScript frontend
+├── Cargo.toml              # Rust dependencies (gossamer-rs path dep)
+├── gossamer.conf.json      # Gossamer configuration
+├── src/                    # ReScript frontend + Gossamer backend
+│   ├── backend/
+│   │   └── main.rs         # Entry point + all Gossamer command handlers
 │   ├── App.res             # Main app with navigation
 │   ├── Types.res           # Shared type definitions
 │   ├── SchemaBuilder.res   # Collection creator UI

lithoglyph/studio/README.adoc

@@ -35,7 +35,7 @@
         (version "0.1.0")
         (completion 45)
         (role "Zero-friction GUI")
-        (tech "ReScript + Tauri 2.0 + Rust"))
+        (tech "ReScript + Gossamer + Rust"))
       (lith-debugger
         (version "0.1.0")
         (completion 55)
@@ -86,7 +86,7 @@
       (focus "Studio and Debugger completion")
 
       (studio-tasks
-        (task "Verify ReScript/Tauri build pipeline" priority: critical status: pending)
+        (task "Verify ReScript/Gossamer build pipeline" priority: critical status: pending)
         (task "Wire ReScript UI to GQLdt code generation" priority: high status: pending)
         (task "Connect to Lith HTTP API" priority: high status: blocked)
         (task "Test schema creation → query → results flow" priority: medium status: pending))

lithoglyph/studio/UNIFIED-ROADMAP.scm

@@ -3,17 +3,14 @@
   "version": "0.1.0",
   "exports": "./src/main.ts",
   "tasks": {
-    "dev": "cargo tauri dev",
-    "build": "cargo tauri build",
-    "gossamer:dev": "gossamer dev",
-    "gossamer:build": "gossamer build",
+    "dev": "gossamer dev",
+    "build": "gossamer build",
     "rescript": "^12.0.0",
     "rescript:build": "npx rescript build",
-    "bundle": "deno run -A npm:esbuild src/main.tsx --bundle --outfile=dist/app.js --format=esm --external:@tauri-apps/api --external:@gossamer/api",
+    "bundle": "deno run -A npm:esbuild src/main.tsx --bundle --outfile=dist/app.js --format=esm --external:@gossamer/api",
     "fmt": "deno fmt src/"
   },
   "imports": {
-    "@tauri-apps/api": "npm:@tauri-apps/api@^2",
     "@gossamer/api": "npm:@gossamer/api@^0.1",
     "react": "npm:react@^18",
     "react-dom": "npm:react-dom@^18",
@@ -26,4 +23,4 @@
     "indentWidth": 2,
     "singleQuote": true
   }
-}
+}