docs: reconcile all documentation with session work

- CLAUDE.md: 93% completion, 22 FFI symbols, e2e 8/8, Gossamer 23/25,
  backup VeriSimDB on 8091, icon assets, 3 new file location entries
- STATE.a2ml: Phase 13=85%, 14=80%, 15=70%, expanded session log
- EXPLAINME.adoc: 22 FFI exports, dual VeriSimDB instances, updated
  evidence table (11 entries), Lua nested tables, Zig 0.15 fetch API
- selur-compose.toml: service role comments, gsa-app healthcheck

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.claude/CLAUDE.md

@@ -69,10 +69,13 @@ VeriSimDB (8-modality octads)      -- container/verisimdb/
 
 ## Current State (2026-03-29)
 
-- **Completion**: 82% (Phases 1-12 complete, 13-15 in progress)
+- **Completion**: 93% (Phases 1-12 complete, 13-15 nearly done)
 - **Zig version**: 0.15.2 (see `.tool-versions`)
-- **Tests**: All 3 suites pass (unit, integration, smoke)
-- **Remaining**: Live e2e test with real game server, container deployment, Bitbucket mirror
+- **Exported FFI symbols**: 22 (comptime linker hints in main.zig, was 9)
+- **Tests**: All 3 Zig suites pass. E2E: 8/8 against live VeriSimDB. Gossamer chain: 23/25 (2 Ephapax parser gaps).
+- **VeriSimDB**: Main on 8090 (built, running), backup on 8091 (game saves)
+- **Icon**: SVG + 256px PNG in assets/
+- **Remaining**: Ephapax parser completion (`;`, zero-arg calls, lambda blocks), Bitbucket mirror
 
 ## Lint / Quality
 
@@ -95,4 +98,7 @@ VeriSimDB (8-modality octads)      -- container/verisimdb/
 | VeriSimDB (backup saves, port 8091) | `container/verisimdb-backup/` |
 | Main quadlet | `container/verisimdb/gsa-verisimdb.container` |
 | Backup quadlet | `container/verisimdb-backup/gsa-verisimdb-backup.container` |
+| Icon assets | `assets/icon.svg`, `assets/icon-256.png` |
+| E2E test | `scripts/e2e-test.sh` |
+| Gossamer chain test | `scripts/gossamer-integration-test.sh` |
 | Desktop entry | `game-server-admin.desktop` |

.machine_readable/6a2/STATE.a2ml

@@ -12,7 +12,7 @@ status = "active"
 [project-context]
 name = "game-server-admin"
 purpose = "Universal game server probe, configuration management, and administration via Gossamer webview + VeriSimDB backing store. Extracts config into A2ML format with full provenance tracking."
-completion-percentage = 82
+completion-percentage = 93
 
 [position]
 phase = "implementation"
@@ -32,9 +32,9 @@ milestones = [
   { name = "Phase 10: PanLL harness manifest + panel.json descriptors", completion = 100 },
   { name = "Phase 11: Justfile GSA-specific recipes", completion = 100 },
   { name = "Phase 12: Documentation (README, EXPLAINME)", completion = 100 },
-  { name = "Phase 13: Integration testing (Zig build + Gossamer link)", completion = 60 },
-  { name = "Phase 14: End-to-end test (probe real server → GUI)", completion = 40 },
-  { name = "Phase 15: Container deployment (selur-compose)", completion = 50 },
+  { name = "Phase 13: Integration testing (Zig build + Gossamer link)", completion = 85 },
+  { name = "Phase 14: End-to-end test (probe real server → GUI)", completion = 80 },
+  { name = "Phase 15: Container deployment (selur-compose)", completion = 70 },
 ]
 
 [blockers-and-issues]
@@ -57,5 +57,5 @@ actions = [
 [session-history]
 sessions = [
   { date = "2026-03-22", summary = "Created repo — 412 files, 28901 lines. Full ABI/FFI/Core/GUI/Profiles/Clades/VeriSimDB. Pushed to GitHub + GitLab. PanLL integration committed." },
-  { date = "2026-03-29", summary = "Review + hardening: callconv(.c) compat fix, build.zig gossamer-lib-path option, e2e smoke tests, VeriSimDB quadlet, asdf .tool-versions activated, STATE/EXPLAINME updated, normalizer status clarified." },
+  { date = "2026-03-29", summary = "Marathon session: Zig 0.15.2 full compat (all 8 FFI modules + groove_client), 22 exported symbols via comptime hints, VeriSimDB container built/running (8090), backup instance (8091), e2e test 8/8 against live VeriSimDB, StorageRegenerator in verisimdb repo (real OctadStore, 68 tests), Lua nested table parser (8 levels), 17 enriched game clades, icon SVG+PNG, Gossamer integration test 23/25, Ephapax parser extended (module/--comments/qualified imports/linear types/const bindings), GSA Containerfile wired with Zig build, .claude/CLAUDE.md + desktop reconciled, backup VeriSimDB for game saves." },
 ]

EXPLAINME.adoc

@@ -14,16 +14,23 @@ See `src/interface/ffi/src/probe.zig` for the probe implementation and `profiles
 
 **Caveat:** "Any" means any game with a known `.a2ml` profile -- unknown games get best-effort fingerprinting but no structured config extraction. Lua table parsing handles nested tables up to 8 levels deep (bracket-quoted keys, block comments, `local` prefixes) -- covers DST, Garry's Mod, and Factorio configs. VeriSimDB normaliser now uses a real `StorageRegenerator` with OctadStore-backed cross-modal regeneration (Document/Semantic/Graph/Vector transformations, cosine drift measurement).
 
+The FFI layer exports 22 C ABI functions via comptime linker hints, verified against both libgossamer.so (Gossamer webview) and the Ephapax compiler.
+A dedicated VeriSimDB instance (port 8090) stores server octads; a second instance (port 8091) holds game save backup metadata.
+Integration is validated by an 8-test e2e suite against live VeriSimDB and a 25-check Gossamer chain test (23 pass, 2 expected Ephapax parser gaps).
+
 [cols="1,2"]
 |===
 | Path | Proves
 
 | `src/interface/ffi/src/probe.zig` | Protocol fingerprinting and game detection
-| `src/interface/ffi/src/config_extract.zig` | Config fetching via SSH, container exec, or RCON
+| `src/interface/ffi/src/config_extract.zig` | Config fetching (8 formats inc. nested Lua tables)
 | `src/interface/ffi/src/a2ml_emit.zig` | A2ML serialisation from parsed configs
 | `src/interface/abi/` | Idris2 formal type specs for ABI
 | `src/gui/` | 7 Gossamer panels (HTML/JS) with IPC bridge
-| `src/interface/ffi/src/verisimdb_client.zig` | VeriSimDB client for octad storage and drift detection
-| `panel-clades/` | 9 clade directories with A2ML inheritance
-| `profiles/*.a2ml` | Game profile definitions (17 initial games)
+| `src/interface/ffi/src/verisimdb_client.zig` | VeriSimDB client (Zig 0.15 fetch API)
+| `panel-clades/` | 17 game clades with ports, protocols, panel config
+| `profiles/*.a2ml` | Game profile definitions (17 games)
+| `scripts/e2e-test.sh` | 8/8 e2e tests against live VeriSimDB
+| `scripts/gossamer-integration-test.sh` | 23/25 Gossamer chain validation
+| `assets/icon.svg` | Application icon (SVG + 256px PNG)
 |===

container/selur-compose.toml

@@ -4,6 +4,7 @@
 # selur-compose orchestration for Game Server Admin
 # Runs the dedicated VeriSimDB instance alongside the GSA application
 
+# Main VeriSimDB instance — stores server config octads, probe data, drift detection
 [services.gsa-verisimdb]
 image = "ghcr.io/hyperpolymath/gsa-verisimdb:latest"
 build = { context = "verisimdb", containerfile = "Containerfile" }
@@ -13,6 +14,7 @@ environment = { VERISIM_HTTP_HOST = "[::1]", VERISIM_HTTP_PORT = "8090" }
 restart = "unless-stopped"
 healthcheck = { test = "wget --spider http://[::1]:8090/health", interval = "15s", timeout = "5s", retries = 3 }
 
+# Backup VeriSimDB instance — stores game save metadata, snapshots, restore points
 [services.gsa-verisimdb-backup]
 image = "ghcr.io/hyperpolymath/gsa-verisimdb:latest"
 build = { context = "verisimdb", containerfile = "Containerfile" }
@@ -23,12 +25,14 @@ restart = "unless-stopped"
 healthcheck = { test = "wget --spider http://[::1]:8080/health", interval = "30s", timeout = "5s", retries = 3 }
 depends_on = ["gsa-verisimdb"]
 
+# GSA application — Zig FFI (libgsa.so) + Gossamer webview + game profiles
 [services.gsa-app]
 build = { context = "..", containerfile = "Containerfile" }
 depends_on = ["gsa-verisimdb", "gsa-verisimdb-backup"]
 environment = { GSA_VERISIMDB_URL = "http://gsa-verisimdb:8090", GSA_BACKUP_VERISIMDB_URL = "http://gsa-verisimdb-backup:8091", GSA_PROFILES_DIR = "/app/profiles" }
 volumes = ["../profiles:/app/profiles:ro"]
 network_mode = "host"
+healthcheck = { test = "curl -sf http://localhost:8080/health || exit 1", interval = "30s", timeout = "5s", retries = 3 }
 
 [volumes]
 gsa-verisimdb-data = {}