Audience-segmented map of the GSA documentation. Start here, then pick your role.
|
Note
|
Status legend: live = written and current; thin = exists but covers only
setup/basic-run; planned = a known gap, scoped below, tracked for the v1.0.0
documentation pass. See |
You run and administer game servers via the Gossamer GUI and the gsa CLI.
| Document | Status | Covers |
|---|---|---|
|
live |
Overview, quick-start, |
|
live |
Nickel config: defaults, favourites, troubleshooting |
|
thin |
One-liner pointer — not a real getting-started |
|
live |
Illustrated wiki — narrative tour with Mermaid diagrams; start here |
|
live |
Honest install guide: what works today, exact prereqs, verify steps |
|
live |
All 8 panels + the 7-step |
|
live |
Probe pipeline + the 18-game profile/protocol/format table |
|
live |
Symptom → cause → fix for the common first-run failures |
Admin workflows |
thin |
Covered piecewise in the wiki (server-actions, config-history); a single end-to-end runbook is still a gap |
You build GSA, extend it, or contribute code across the Gossamer GUI → Zig FFI → Idris2 ABI → VeriSimDB stack.
| Document | Status | Covers |
|---|---|---|
|
live |
Architecture diagram, module map, "Adding a Game Profile" snippet |
|
live |
Idris2 ABI + Zig FFI standard; C/Idris2/Rust/Julia examples (strong) |
|
live |
System architecture + data flow |
|
live |
Architecture decision records (RSR adoption) |
|
live |
Per-module docs for the FFI modules (every |
|
live |
Panel anatomy + the clade system; |
|
live |
The machine-checked ABI contract (codegen pipeline, 18 codes, linear handles) — the differentiator, illustrated |
|
live |
How outbound HTTP is a declared, deadline-bounded, default-deny capability |
|
live |
Build/test, the ABI regen rule, conventions, tri-license SPDX, branch/PR flow |
Game-profile authoring |
thin |
See |
|
live |
The 8 formats, detection order, |
|
live |
Why Ephapax / Idris2 / Zig / VeriSimDB; when to touch each layer |
You release, run CI/CD, operate containers, and manage governance + security scanning.
| Document | Status | Covers |
|---|---|---|
|
live |
Three-axis model, hygiene, ABI purity, panic-attack (strong) |
|
live |
STRIDE, assets, trust boundaries, mitigations |
|
live |
Build, container, VeriSimDB main+backup, health, backup/restore |
|
live |
Vulnerability reporting |
|
live |
CI gates (6 suites + ABI contract), version/license/docs gates, manual gates, tag steps |
|
live |
All 16 workflows, the ABI-contract + version-drift gates, standards-estate reusable pins, adding a check |
|
live |
Running/interpreting Hypatia + panic-attack + Scorecard; the |
|
live |
Podman quadlets, the two VeriSimDB instances ( |
Container/quadlet ops |
thin |
The wiki covers the topology; a day-to-day systemd-unit ops guide is still a gap |
|
Note
|
the standards-estate reusable-workflow pin cited historically as 4ddc926
has since been bumped (governance/scorecard and secret-scanner/mirror now pin
newer SHAs — see docs/maintainer/CI-CD-GUIDE.adoc for the current values).
.machine_readable/6a2/NEUROSYM.a2ml still cites the stale SHA and should be
updated in a follow-up.
|
For AI agents and tooling. Read 0-AI-MANIFEST.a2ml FIRST.
-
0-AI-MANIFEST.a2ml— canonical entry point, invariants, startup checklist. -
.machine_readable/6a2/—STATE.a2ml(status, blockers, session history),META,ECOSYSTEM,AGENTIC,NEUROSYM(Hypatia config +.hypatia-ignorescope),PLAYBOOK. -
.machine_readable/contractiles —INTENT/MUST/TRUST/DUST(purpose, hard CI rules, trust boundaries, cleanup). -
.hypatia-ignore— reviewed false-positive suppressions (the active mechanism). -
.claude/CLAUDE.md— human-friendly codebase guide.
docs/wikis/ is now the illustrated narrative tour of GSA — a 10-page,
Mermaid-diagrammed wiki that complements the audience-segmented reference docs
above. Start at docs/wikis/Home.md; it links every page.
| Page | Covers |
|---|---|
|
Landing page + ecosystem diagram + navigation |
|
The four layers, data-flow sequence, graceful degradation |
|
Honest install guide (what works today) |
|
Probe pipeline + the 18-game table |
|
The machine-checked ABI contract (the differentiator) |
|
Outbound HTTP as a declared, deadline-bounded capability |
|
The 8 panels + the 7-step provisioning wizard |
|
Podman quadlets + the two VeriSimDB instances |
|
Symptom → cause → fix for common first-run failures |
|
Build/test, ABI regen, conventions, tri-license, PR flow |
The wiki is written in GitHub-flavoured Markdown with native Mermaid diagrams, so
it renders both in-repo and if synced to a forge-hosted wiki. The remaining docs/
scaffolding decision (below) is unchanged.
|
Note
|
a mechanical prune is not clean — verification/, docs/theory/,
docs/reports/, and docs/wikis/ are referenced by the governance layer
(.machine_readable/anchors/ANCHOR.a2ml, docs/governance/MAINTENANCE-CHECKLIST,
features/panic-attacker/). Deleting the trees without updating those references
risks breaking governance/CI expectations, so the prune is deferred to a
dedicated, reviewed change that updates the references in lockstep rather than
bundled into an automated docs pass.
|