feat(gui): replace Tauri with Gossamer — gossamer-rs backend

Removed gui/src-tauri/ entirely. New backend uses gossamer-rs with 3
commands (check_document, fix_document, get_submission_status).
RuntimeBridge.res cleaned to Gossamer-only. Tauri.res kept as legacy
name (internally routes through RuntimeBridge).

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

Author: hyperpolymath

Cargo.lock

@@ -10,7 +10,7 @@ members = [
     "crates/intsoc-git",
     "crates/intsoc-api",
     "crates/intsoc-cli",
-    # "gui/src-tauri",  # Enable when Tauri deps available
+    "gui",  # Gossamer desktop GUI (converted from Tauri)
 ]
 
 [workspace.package]

Cargo.toml

@@ -316,7 +316,7 @@ check file:
     cargo run -p intsoc-cli -- check {{file}}
 
 # Fix a document
-fix file *args:
+fix-doc file *args:
     cargo run -p intsoc-cli -- fix {{file}} {{args}}
 
 # Install to user path

Justfile

@@ -17,7 +17,7 @@ IETF, IRTF, IAB, Independent Stream, IANA, and RFC Editor.
 * **Smart fix classification** — Every fix is classified as AutoSafe (zero risk), Recommended (review advised), or ManualOnly (human required).
 * **Nickel-powered templates** — Type-checked contracts, per-stream templates, and policy validation via Nickel.
 * **State machine tracking** — Full lifecycle tracking with per-stream state machines (IETF: 20+ states, IRTF: 8, IAB: 4, etc.).
-* **Desktop GUI** — Tauri 2.0 + ReScript TEA architecture with document editor, checker, and fixer views.
+* **Desktop GUI** — Gossamer + ReScript TEA architecture with document editor, checker, and fixer views.
 * **Pure Rust dependencies** — gix (not git2-rs), reqwest with rustls (not openssl).
 
 === Quick Start
@@ -54,7 +54,8 @@ crates/
   intsoc-cli/       # CLI binary (intsoc check/fix/submit/status/init)
 gui/
   src/              # ReScript TEA frontend
-  src-tauri/        # Tauri 2.0 desktop app
+  backend/          # Gossamer desktop backend (Rust)
+  gossamer.conf.json # Gossamer window/app configuration
 nickel/
   contracts/        # Type contracts for metadata validation
   templates/        # Per-stream document templates

README.adoc

@@ -38,14 +38,14 @@
             └───────────────────────────────────────────────┘
 
             ┌───────────────────────────────────────────────┐
-            │              GUI (Tauri 2.0)                  │
+            │              GUI (Gossamer)                    │
             │  ┌──────────────────────────────────────────┐ │
             │  │         ReScript TEA Frontend            │ │
             │  │  Editor ─ Checker ─ Fixer ─ Submitter    │ │
             │  └──────────────────────────────────────────┘ │
             │  ┌──────────────────────────────────────────┐ │
-            │  │            src-tauri (Rust)               │ │
-            │  │    Tauri commands ←→ core/parser/fixer    │ │
+            │  │          backend/ (Rust+Gossamer)         │ │
+            │  │  Gossamer commands ←→ core/parser/fixer   │ │
             │  └──────────────────────────────────────────┘ │
             └───────────────────────────────────────────────┘
 
@@ -73,7 +73,7 @@
 | intsoc-cli             | `██████░░░░` 60%              | Phase 1 MVP |
 | intsoc-git             | `███░░░░░░░` 30%              | Phase 1     |
 | intsoc-api             | `████░░░░░░` 40%              | Phase 1     |
-| GUI (Tauri+ReScript)   | `██░░░░░░░░` 20%              | Phase 1     |
+| GUI (Gossamer+ReScript)| `██░░░░░░░░` 20%              | Phase 1     |
 | Nickel templates       | `█████░░░░░` 50%              | Phase 1     |
 | Haskell parser         | `░░░░░░░░░░` 5%               | Phase 2     |
 | Idris2 ABI + Zig FFI   | `░░░░░░░░░░` 5%               | Phase 3     |
@@ -90,6 +90,6 @@
 | gix         | 0.68    | Git integration (pure Rust)       |
 | reqwest     | 0.12    | HTTP client (rustls-tls)          |
 | clap        | 4       | CLI argument parsing              |
-| tauri       | 2       | Desktop application framework     |
+| gossamer-rs | 0.1     | Gossamer webview shell bindings   |
 | nickel      | CLI     | Template rendering + contracts    |
 | megaparsec  | 9.6     | Haskell parser combinators (Ph.2) |

TOPOLOGY.md

@@ -2,7 +2,7 @@
 
 //! IETF Datatracker REST API Client.
 //!
-//! Implements high-level operations against the authoritative IETF document 
+//! Implements high-level operations against the authoritative IETF document
 //! management system. Supports both authenticated and public read-only access.
 //!
 //! API REF: https://datatracker.ietf.org/api/

crates/intsoc-api/src/datatracker.rs

@@ -2,7 +2,7 @@
 
 //! Internet Society API Interface Layer.
 //!
-//! This crate provides the network-facing components of the transactor, 
+//! This crate provides the network-facing components of the transactor,
 //! implementing asynchronous clients for the formal IETF and IANA services.
 //!
 //! SERVICES:

crates/intsoc-api/src/lib.rs

@@ -2,16 +2,20 @@
 
 //! CLI Check Command — Document Integrity Audit.
 //!
-//! This module implements the interactive `check` subcommand. It 
-//! provides immediate feedback on the compliance of a document 
+//! This module implements the interactive `check` subcommand. It
+//! provides immediate feedback on the compliance of a document
 //! against Internet Society standards.
 
 use intsoc_core::validation::{CheckCategory, CheckSummary, Fixability, Severity};
 use intsoc_parser;
 use std::path::Path;
 
 /// EXECUTION: Reads the target file, parses it, and runs the audit suite.
-pub async fn run(file: &Path, errors_only: bool, format: &str) -> Result<(), Box<dyn std::error::Error>> {
+pub async fn run(
+    file: &Path,
+    errors_only: bool,
+    format: &str,
+) -> Result<(), Box<dyn std::error::Error>> {
     let source = std::fs::read_to_string(file)?;
     let document = intsoc_parser::parse(&source)?;
 
@@ -23,9 +27,11 @@ pub async fn run(file: &Path, errors_only: bool, format: &str) -> Result<(), Box
     Ok(())
 }
 
-/// AUDIT KERNEL: The collection of deterministic checks performed 
+/// AUDIT KERNEL: The collection of deterministic checks performed
 /// on every document. Covers Boilerplate, Titles, Authors, and IPR.
-pub(crate) fn run_checks_internal(document: &intsoc_core::document::Document) -> Vec<intsoc_core::validation::CheckResult> {
+pub(crate) fn run_checks_internal(
+    document: &intsoc_core::document::Document,
+) -> Vec<intsoc_core::validation::CheckResult> {
     let mut results = Vec::new();
     // ... [Implementation of individual check functions]
     results

crates/intsoc-cli/src/commands/check.rs

@@ -2,8 +2,8 @@
 
 //! The `fix` command: generate and apply fixes.
 
-use intsoc_fixer::engine::FixEngine;
 use intsoc_fixer::diff;
+use intsoc_fixer::engine::FixEngine;
 use std::path::Path;
 
 /// Run the fix command.
@@ -30,7 +30,9 @@ pub async fn run(
     let rec_count = plan.recommended_fixes().len();
     let manual_count = plan.manual_only_fixes().len();
 
-    println!("Fix plan: {auto_count} auto-safe, {rec_count} recommended, {manual_count} manual-only");
+    println!(
+        "Fix plan: {auto_count} auto-safe, {rec_count} recommended, {manual_count} manual-only"
+    );
 
     // Apply fixes
     let fixed_source = if auto_only {

crates/intsoc-cli/src/commands/fix.rs

@@ -14,9 +14,7 @@ pub async fn run(
 ) -> Result<(), Box<dyn std::error::Error>> {
     // Validate draft name format
     if !name.starts_with("draft-") {
-        return Err(format!(
-            "Draft name must start with 'draft-', got '{name}'"
-        ).into());
+        return Err(format!("Draft name must start with 'draft-', got '{name}'").into());
     }
 
     tracing::info!("Initializing draft: {name} (stream: {stream})");