Move Elixir observability dashboard to Phoenix

elixir/.gitignore

@@ -13,6 +13,9 @@
 # Temporary files, for example, from tests.
 /tmp/
 
+# Generated browser assets.
+/priv/static/assets/
+
 # Local runtime logs.
 /log/
 /logs/

elixir/Makefile

@@ -1,4 +1,4 @@
-.PHONY: help all setup deps fmt fmt-check lint test coverage ci dialyzer
+.PHONY: help all setup deps build fmt fmt-check lint test coverage ci dialyzer
 
 MIX ?= mix
 
@@ -11,6 +11,9 @@ setup:
 deps:
 	$(MIX) deps.get
 
+build:
+	$(MIX) build
+
 fmt:
 	$(MIX) format
 
@@ -31,7 +34,8 @@ dialyzer:
 	$(MIX) dialyzer --format short
 
 ci:
-	$(MAKE) deps
+	$(MAKE) setup
+	$(MAKE) build
 	$(MAKE) fmt-check
 	$(MAKE) lint
 	$(MAKE) coverage

elixir/README.md

@@ -78,7 +78,7 @@ If no path is passed, Symphony defaults to `./WORKFLOW.md`.
 Optional flags:
 
 - `--logs-root` tells Symphony to write logs under a different directory (default: `./log`)
-- `--port` also starts the HTTP observability service (default: disabled)
+- `--port` also starts the Phoenix observability service (default: disabled)
 
 The `WORKFLOW.md` file uses YAML front matter for configuration, plus a Markdown body used as the
 Codex session prompt.
@@ -145,8 +145,17 @@ codex:
 ```
 
 - If `WORKFLOW.md` is missing or has invalid YAML, startup and scheduling are halted until fixed.
-- `server.port` or CLI `--port` enables the optional HTTP dashboard and JSON API at `/`,
-  `/api/v1/state`, `/api/v1/<issue_identifier>`, and `/api/v1/refresh`.
+- `server.port` or CLI `--port` enables the optional Phoenix LiveView dashboard and JSON API at
+  `/`, `/api/v1/state`, `/api/v1/<issue_identifier>`, and `/api/v1/refresh`.
+
+## Web dashboard
+
+The observability UI now runs on a minimal Phoenix stack:
+
+- LiveView for the dashboard at `/`
+- JSON API for operational debugging under `/api/v1/*`
+- Bandit as the HTTP server
+- Phoenix dependency static assets for the LiveView client bootstrap
 
 ## Project Layout
 

elixir/config/config.exs

@@ -0,0 +1,16 @@
+import Config
+
+config :phoenix, :json_library, Jason
+
+config :symphony_elixir, SymphonyElixirWeb.Endpoint,
+  adapter: Bandit.PhoenixAdapter,
+  url: [host: "localhost"],
+  render_errors: [
+    formats: [html: SymphonyElixirWeb.ErrorHTML, json: SymphonyElixirWeb.ErrorJSON],
+    layout: false
+  ],
+  pubsub_server: SymphonyElixir.PubSub,
+  live_view: [signing_salt: "symphony-live-view"],
+  secret_key_base: String.duplicate("s", 64),
+  check_origin: false,
+  server: false

elixir/lib/symphony_elixir.ex

@@ -24,6 +24,7 @@ defmodule SymphonyElixir.Application do
     :ok = SymphonyElixir.LogFile.configure()
 
     children = [
+      {Phoenix.PubSub, name: SymphonyElixir.PubSub},
       {Task.Supervisor, name: SymphonyElixir.TaskSupervisor},
       SymphonyElixir.WorkflowStore,
       SymphonyElixir.Orchestrator,