diff --git a/QUICKSTART-DEV.adoc b/QUICKSTART-DEV.adoc
index 56bd89f0..4521e868 100644
--- a/QUICKSTART-DEV.adoc
+++ b/QUICKSTART-DEV.adoc
@@ -31,7 +31,7 @@ just help-me   # see available commands
 
 [source,bash]
 ----
-just assail    # run panic-attacker security scan
+just assail    # run panic-attack security scan
 ----
 
 == Contributing
diff --git a/docs/guides/QUICKSTART-FOR-SON.md b/docs/guides/QUICKSTART-FOR-SON.md
index 9ec30c32..04c76a70 100644
--- a/docs/guides/QUICKSTART-FOR-SON.md
+++ b/docs/guides/QUICKSTART-FOR-SON.md
@@ -24,8 +24,8 @@ just bundle && just serve:dev
 # Terminal 3: Build Tailwind CSS
 just css:build
 
-# Terminal 4: Start the Tauri backend
-cd src-tauri && cargo run
+# Terminal 4: Start the Gossamer backend
+cargo run --bin panll-gossamer
 ```
 
 Or for the full dev experience:
@@ -34,7 +34,7 @@ Or for the full dev experience:
 just dev
 ```
 
-The app opens at `http://localhost:8000/public/` (Tauri wraps this).
+The app opens at `http://localhost:8000/public/` (Gossamer wraps this).
 
 ## First Thing You See
 
diff --git a/docs/guides/llm-warmup-dev.md b/docs/guides/llm-warmup-dev.md
index 5b99745d..e471dd62 100644
--- a/docs/guides/llm-warmup-dev.md
+++ b/docs/guides/llm-warmup-dev.md
@@ -165,7 +165,7 @@ Files: TypeLLModel.res, TypeLLEngine.res, TypeLLCmd.res, TypeLLService.res, Type
 |---------|------|
 | ECHIDNA | Theorem prover dispatch |
 | VeriSimDB | 8-modality versioned database |
-| panic-attacker | Security analysis |
+| panic-attack | Security analysis |
 | BoJ server | Cartridge server, protocol gateway |
 | TypeLL | Type verification kernel |
 | contractiles | Elastic contract framework |
@@ -182,5 +182,5 @@ deno test --no-check --allow-read --allow-env tests/
 ## Pre-commit
 
 ```bash
-just assail    # panic-attacker scan
+just assail    # panic-attack scan
 ```
diff --git a/docs/guides/llm-warmup-user.md b/docs/guides/llm-warmup-user.md
index a7299f70..73dcf1de 100644
--- a/docs/guides/llm-warmup-user.md
+++ b/docs/guides/llm-warmup-user.md
@@ -75,5 +75,5 @@ Optional: Elixir >= 1.16 (for beam/ middleware).
 
 ## Related Projects
 
-ECHIDNA (prover), VeriSimDB (database), panic-attacker (security),
+ECHIDNA (prover), VeriSimDB (database), panic-attack (security),
 BoJ server (protocol gateway), TypeLL (type verification).