update docs

media/ctrl/docs.sh

@@ -1,21 +0,0 @@
-#!/bin/bash
-# Re-render all Graphviz diagrams to SVG.
-# Run this after each phase when .dot files are updated.
-# Usage: ./docs.sh
-set -euo pipefail
-
-DOCS_DIR="$(cd "$(dirname "$0")/../docs" && pwd)"
-
-if ! command -v dot &>/dev/null; then
-    echo "graphviz not found — install with: sudo apt install graphviz" >&2
-    exit 1
-fi
-
-for f in "$DOCS_DIR"/*.dot; do
-    svg="${f%.dot}.svg"
-    echo "==> $(basename "$f") → $(basename "$svg")"
-    dot -Tsvg "$f" -o "$svg"
-done
-
-echo "==> done. Serving at http://localhost:9099 (ctrl-c to stop)"
-cd "$DOCS_DIR" && python3 -m http.server 9099