From 6c155932d6edf1d793aa57edfb9bc3060d639706 Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Sat, 30 May 2026 17:59:49 +0100 Subject: [PATCH] =?UTF-8?q?docs:=20drop=20stale=20Tauri=20refs=20in=20QUIC?= =?UTF-8?q?KSTART-FOR-SON=20+=20canonicalise=20panic-attacker=E2=86=92pani?= =?UTF-8?q?c-attack?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Follows panll#65 (npm→Deno migration), panll#66 (doc sweep), and panll#67 (stale rescript install/watch). Closes the remaining two items from panll#66's adjacent-gap meander. QUICKSTART-FOR-SON.md (Gossamer migration cleanup): - Terminal 4 step `cd src-tauri && cargo run` → `cargo run --bin panll-gossamer` - "(Tauri wraps this)" → "(Gossamer wraps this)" panic-attacker → panic-attack (canonical estate name, per .claude/CLAUDE.md critical-rules `panic-attack` references + the panic-attack repo at hyperpolymath/panic-attack): - QUICKSTART-DEV.adoc — `just assail` comment - docs/guides/llm-warmup-dev.md — Related-Projects table row + pre-commit comment - docs/guides/llm-warmup-user.md — Related Projects prose Historical snapshot docs/status/PANLL-COMPLETE-STATUS-2026-02-11.md intentionally left alone — it's a dated audit. --- QUICKSTART-DEV.adoc | 2 +- docs/guides/QUICKSTART-FOR-SON.md | 6 +++--- docs/guides/llm-warmup-dev.md | 4 ++-- docs/guides/llm-warmup-user.md | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) 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).