Skip to content

Commit 2488ab4

Browse files
docs: drop stale Tauri refs in QUICKSTART-FOR-SON + canonicalise panic-attacker→panic-attack (#69)
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.
1 parent ed150e8 commit 2488ab4

4 files changed

Lines changed: 7 additions & 7 deletions

File tree

QUICKSTART-DEV.adoc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ just help-me # see available commands
3131

3232
[source,bash]
3333
----
34-
just assail # run panic-attacker security scan
34+
just assail # run panic-attack security scan
3535
----
3636

3737
== Contributing

docs/guides/QUICKSTART-FOR-SON.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -24,8 +24,8 @@ just bundle && just serve:dev
2424
# Terminal 3: Build Tailwind CSS
2525
just css:build
2626

27-
# Terminal 4: Start the Tauri backend
28-
cd src-tauri && cargo run
27+
# Terminal 4: Start the Gossamer backend
28+
cargo run --bin panll-gossamer
2929
```
3030

3131
Or for the full dev experience:
@@ -34,7 +34,7 @@ Or for the full dev experience:
3434
just dev
3535
```
3636

37-
The app opens at `http://localhost:8000/public/` (Tauri wraps this).
37+
The app opens at `http://localhost:8000/public/` (Gossamer wraps this).
3838

3939
## First Thing You See
4040

docs/guides/llm-warmup-dev.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -165,7 +165,7 @@ Files: TypeLLModel.res, TypeLLEngine.res, TypeLLCmd.res, TypeLLService.res, Type
165165
|---------|------|
166166
| ECHIDNA | Theorem prover dispatch |
167167
| VeriSimDB | 8-modality versioned database |
168-
| panic-attacker | Security analysis |
168+
| panic-attack | Security analysis |
169169
| BoJ server | Cartridge server, protocol gateway |
170170
| TypeLL | Type verification kernel |
171171
| contractiles | Elastic contract framework |
@@ -182,5 +182,5 @@ deno test --no-check --allow-read --allow-env tests/
182182
## Pre-commit
183183

184184
```bash
185-
just assail # panic-attacker scan
185+
just assail # panic-attack scan
186186
```

docs/guides/llm-warmup-user.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -75,5 +75,5 @@ Optional: Elixir >= 1.16 (for beam/ middleware).
7575

7676
## Related Projects
7777

78-
ECHIDNA (prover), VeriSimDB (database), panic-attacker (security),
78+
ECHIDNA (prover), VeriSimDB (database), panic-attack (security),
7979
BoJ server (protocol gateway), TypeLL (type verification).

0 commit comments

Comments
 (0)