chore: M5 CI/Workflow Sweep - final synchronisation

Author: hyperpolymath

.tool-versions

@@ -6,7 +6,7 @@
 rust nightly
 zig 0.15.2
 idris2 0.7.0
-just 1.40.0
+just 1.46.0
 # nickel 1.10.0
 # gleam 1.8.0
 # elixir 1.18.0

play.sh

@@ -21,7 +21,7 @@
 ||| @see GSA.ABI.Types for all type definitions
 ||| @see GSA.ABI.Layout for memory layout proofs
 
-module GSA.ABI.Foreign
+module Foreign
 
 import GSA.ABI.Types
 import GSA.ABI.Layout

src/interface/abi/Foreign.idr

@@ -18,7 +18,7 @@
 ||| @see GSA.ABI.Types for the type definitions being verified
 ||| @see GSA.ABI.Foreign for the FFI functions that use these layouts
 
-module GSA.ABI.Layout
+module Layout
 
 import GSA.ABI.Types
 

src/interface/abi/Layout.idr

@@ -14,7 +14,7 @@
 ||| @see GSA.ABI.Foreign for FFI declarations using these types
 ||| @see GSA.ABI.Layout for memory layout proofs of these types
 
-module GSA.ABI.Types
+module Types
 
 import Data.List
 import Data.List.Elem

src/interface/abi/Types.idr

@@ -0,0 +1,79 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Game Server Admin — User Configuration Template
+#
+# This file defines user-specific settings including default server connections
+# and favorite servers. Copy this to user-config.ncl and customize.
+#
+# ⚠️  IMPORTANT: user-config.ncl is gitignored — it will never be committed.
+#              This ensures your server credentials stay private.
+
+{
+  # Default server connection (used when no server is explicitly selected)
+  default_server = {
+    # Hostname or IP address of the default game server
+    host = "localhost",
+    
+    # Port number for the default game server
+    port = 25565,
+    
+    # Optional: Default game profile ID (matches profiles/*.a2ml id attribute)
+    # profile_id = "minecraft-java",
+    
+    # Optional: RCON password (if applicable)
+    # rcon_password = "",
+  },
+
+  # Favorite servers list
+  # Each entry can be selected quickly from the UI
+  favorites = [
+    # Example favorite server configuration
+    # {
+    #   name = "My Minecraft Server",
+    #   host = "mc.example.com",
+    #   port = 25565,
+    #   profile_id = "minecraft-java",
+    #   rcon_password = "",
+    # },
+    
+    # Add more favorites as needed
+    # {
+    #   name = "My CS2 Server",
+    #   host = "cs2.example.com",
+    #   port = 27015,
+    #   profile_id = "csgo-cs2",
+    # },
+  ],
+
+  # UI preferences
+  ui = {
+    # Theme: "light", "dark", or "system"
+    theme = "system",
+    
+    # Default panel to show on startup
+    default_panel = "gsa-browser",
+    
+    # Show advanced options by default
+    show_advanced = false,
+  },
+
+  # Connection settings
+  connection = {
+    # Timeout in milliseconds for server probes
+    timeout_ms = 5000,
+    
+    # Maximum retries for failed connections
+    max_retries = 3,
+    
+    # Enable verbose logging for troubleshooting
+    verbose_logging = false,
+  },
+
+  # VeriSimDB settings
+  verisimdb = {
+    # URL of the VeriSimDB instance
+    url = "http://localhost:8090",
+    
+    # Enable automatic data submission
+    auto_submit = true,
+  },
+}

src/interface/ffi/user-config.ncl.template

@@ -0,0 +1,173 @@
+// SPDX-License-Identifier: PMPL-1.0-or-later
+// Game Server Admin (GSA) GUI — AffineScript TEA Interface
+// Underpinned by Cadre Router (Affine Stack Implementation)
+//
+// Purpose: Provide a formally verified, resource-safe interface for the
+// Universal game server probe, configuration management, and administration.
+
+// ── Types ─────────────────────────────────────────────────────────────────
+
+enum Panel {
+  ServerBrowser,
+  ConfigEditor,
+  ServerActions,
+  LiveLogs,
+  HealthDashboard,
+  ConfigHistory,
+  CrossSearch
+}
+
+enum ServerStatus {
+  Running,
+  Stopped,
+  Starting,
+  Stopping,
+  Updating,
+  Error(String)
+}
+
+struct GameServer {
+  id: String,
+  display_name: String,
+  game_id: String,
+  host: String,
+  port: Int,
+  status: ServerStatus
+}
+
+// ── Model ───────────────────────────────────────────────────────────────────
+
+struct Model {
+  current_panel: Panel,
+  managed_servers: List(GameServer),
+  selected_server_id: String,
+  search_query: String,
+  is_loading: Bool,
+  history_depth: Int
+}
+
+// ── Msg ──────────────────────────────────────────────────────────────────────
+
+enum Msg {
+  Navigate(Panel),
+  SelectServer(String),
+  UpdateSearch(String),
+  ServerAction(String, String), // server_id, action
+  RefreshServers,
+  PopState
+}
+
+// ── TEA Logic ────────────────────────────────────────────────────────────────
+
+fn gsa_init() -> Model {
+  {
+    current_panel: Panel::ServerBrowser,
+    managed_servers: [],
+    selected_server_id: "",
+    search_query: "",
+    is_loading: false,
+    history_depth: 0
+  }
+}
+
+fn gsa_update(@linear msg: Msg, @linear model: Model) -> Model {
+  match model {
+    { current_panel: p, managed_servers: s, selected_server_id: id, search_query: q, is_loading: l, history_depth: h } => {
+      match msg {
+        Navigate(new_panel) => {
+          {
+            current_panel: new_panel,
+            managed_servers: s,
+            selected_server_id: id,
+            search_query: q,
+            is_loading: false,
+            history_depth: h + 1
+          }
+        }
+
+        SelectServer(new_id) => {
+          {
+            current_panel: p,
+            managed_servers: s,
+            selected_server_id: new_id,
+            search_query: q,
+            is_loading: l,
+            history_depth: h
+          }
+        }
+
+        UpdateSearch(new_query) => {
+          {
+            current_panel: p,
+            managed_servers: s,
+            selected_server_id: id,
+            search_query: new_query,
+            is_loading: l,
+            history_depth: h
+          }
+        }
+
+        ServerAction(sid, action) => {
+          // This would trigger an FFI call via Command in a full impl
+          {
+            current_panel: p,
+            managed_servers: s,
+            selected_server_id: sid,
+            search_query: q,
+            is_loading: true,
+            history_depth: h
+          }
+        }
+
+        RefreshServers => {
+          {
+            current_panel: p,
+            managed_servers: s,
+            selected_server_id: id,
+            search_query: q,
+            is_loading: true,
+            history_depth: h
+          }
+        }
+
+        PopState => {
+          if h > 0 {
+            {
+              current_panel: Panel::ServerBrowser,
+              managed_servers: s,
+              selected_server_id: "",
+              search_query: q,
+              is_loading: false,
+              history_depth: h - 1
+            }
+          } else {
+            {
+              current_panel: p,
+              managed_servers: s,
+              selected_server_id: id,
+              search_query: q,
+              is_loading: l,
+              history_depth: 0
+            }
+          }
+        }
+      }
+    }
+  }
+}
+
+fn gsa_view(model: Model) -> String {
+  match model.current_panel {
+    ServerBrowser   => "GAME HUB: Discovery & Lifecycle",
+    ConfigEditor    => "CONFIG EDITOR: " + model.selected_server_id,
+    ServerActions   => "SERVER ACTIONS: " + model.selected_server_id,
+    LiveLogs        => "LIVE LOGS: " + model.selected_server_id,
+    HealthDashboard => "HEALTH DASHBOARD",
+    ConfigHistory   => "CONFIG HISTORY: " + model.selected_server_id,
+    CrossSearch     => "CROSS-SERVER SEARCH"
+  }
+}
+
+fn gsa_subs(model: Model) -> String {
+  "None"
+}

src/ui/tea/gsa_gui.affine

@@ -0,0 +1,29 @@
+[package]
+name = "gsa-wasm"
+version = "0.1.0"
+edition = "2021"
+authors = ["Game Server Admin <j.d.a.jewell@open.ac.uk>"]
+
+[lib]
+crate-type = ["cdylib"]
+
+[dependencies]
+wasm-bindgen = "0.2"
+serde = { version = "1.0", features = ["derive"] }
+serde_json = "1.0"
+serde-wasm-bindgen = "0.6"
+thiserror = "2.0"
+js-sys = "0.3"
+
+# Network dependencies for server probing
+reqwest = { version = "0.11", features = ["json"] }
+tokio = { version = "1.0", features = ["full"] }
+
+[features]
+default = []
+
+[profile.release]
+opt-level = "z"     # Optimize for size
+lto = true          # Link-time optimization
+codegen-units = 1   # Better optimization
+strip = true        # Strip symbols