Skip to content

docs: drop stale Tauri refs in QUICKSTART-FOR-SON + canonicalise panic-attacker→panic-attack #69

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 1 commit into from
May 30, 2026
+7 −7
Merged

docs: drop stale Tauri refs in QUICKSTART-FOR-SON + canonicalise panic-attacker→panic-attack #69

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion QUICKSTART-DEV.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
6 changes: 3 additions & 3 deletions docs/guides/QUICKSTART-FOR-SON.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand All @@ -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

Expand Down
4 changes: 2 additions & 2 deletions docs/guides/llm-warmup-dev.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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 |
Expand All @@ -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
```
2 changes: 1 addition & 1 deletion docs/guides/llm-warmup-user.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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).
Loading