gator-command 1.0.0__py3-none-any.whl

gator_command/scripts/dashboard/views/settings.js

@@ -0,0 +1,173 @@
+/**
+ * settings.js — Settings view for Gator Dashboard.
+ *
+ * Per-repo settings: enforcement level and governance topology.
+ * No dashboard-wide mode toggle — topology is per-repo.
+ */
+
+(function () {
+  "use strict";
+
+  window.GatorViews = window.GatorViews || {};
+
+  function escHtml(str) {
+    return String(str)
+      .replace(/&/g, "&")
+      .replace(/</g, "&lt;")
+      .replace(/>/g, "&gt;")
+      .replace(/"/g, "&quot;");
+  }
+
+  window.GatorViews.settings = function (data, container, opts) {
+    const standalone = opts.standalone || false;
+    const repos = data.standalone ? (data.repos || []) : ((data.fleet || {}).repos || []);
+
+    let html = `
+      <div class="view-header">
+        <span class="view-title">Settings</span>
+        <span class="view-subtitle">Per-repo governance configuration</span>
+      </div>
+    `;
+
+    if (repos.length > 0) {
+      html += `
+        <div class="section">
+          <h3 style="margin:0 0 12px 0;font-size:14px;font-weight:600">Repo Governance</h3>
+          <p class="muted" style="font-size:12px;margin:0 0 12px 0">
+            <strong>Enforcement</strong>: controls whether the pre-commit hook blocks commits (strict), warns only (warn), or skips checks (off).<br>
+            <strong>Topology</strong>: controls whether the repo syncs org policy from the command post (policy-synced) or operates independently (standalone).
+          </p>
+          <table class="data-table">
+            <thead>
+              <tr>
+                <th>Repo</th>
+                <th>Enforcement</th>
+                <th>Topology</th>
+              </tr>
+            </thead>
+            <tbody>
+      `;
+
+      for (const repo of repos) {
+        const name = repo.name || "";
+        const accessible = repo.accessible !== false;
+        html += `
+          <tr>
+            <td>${escHtml(name)}</td>
+            <td>
+              <select class="enforce-select" data-repo="${escHtml(name)}" ${accessible ? "" : "disabled"}>
+                <option value="strict">strict</option>
+                <option value="warn">warn</option>
+                <option value="off">off</option>
+              </select>
+              <span class="enforce-status"></span>
+              ${accessible ? "" : '<span class="muted" style="font-size:11px"> (not accessible)</span>'}
+            </td>
+            <td>
+              <select class="topology-select" data-repo="${escHtml(name)}" ${accessible ? "" : "disabled"}>
+                <option value="policy-synced">policy-synced</option>
+                <option value="standalone">standalone</option>
+                <option value="inconsistent" disabled>inconsistent (needs repair)</option>
+              </select>
+              <span class="topology-status"></span>
+              ${standalone ? '<span class="muted" style="font-size:11px"> (no command post)</span>' : ""}
+            </td>
+          </tr>
+        `;
+      }
+
+      html += `</tbody></table></div>`;
+    } else {
+      html += `<div class="section"><p class="muted">No repos registered.</p></div>`;
+    }
+
+    container.innerHTML = html;
+
+    // Load current values from each repo
+    container.querySelectorAll(".enforce-select").forEach(select => {
+      const repoName = select.dataset.repo;
+      fetch(`/api/repo/${encodeURIComponent(repoName)}`)
+        .then(r => r.json())
+        .then(repoData => {
+          const level = (repoData.config || {}).enforcement_level || "strict";
+          select.value = level;
+          // Set topology — show inconsistent if that's the actual state
+          const topoSelect = container.querySelector(`.topology-select[data-repo="${repoName}"]`);
+          if (topoSelect && repoData.topology) {
+            if (repoData.topology === "inconsistent") {
+              // Enable the inconsistent option so it can be displayed
+              const inconsistentOpt = topoSelect.querySelector('option[value="inconsistent"]');
+              if (inconsistentOpt) inconsistentOpt.disabled = false;
+              topoSelect.value = "inconsistent";
+              const statusSpan = topoSelect.nextElementSibling;
+              if (statusSpan) {
+                statusSpan.textContent = " needs repair";
+                statusSpan.style.color = "var(--color-drifted, orange)";
+              }
+            } else {
+              topoSelect.value = repoData.topology;
+            }
+          }
+        })
+        .catch(() => {});
+
+      select.addEventListener("change", async function () {
+        const statusSpan = this.nextElementSibling;
+        try {
+          const resp = await fetch(`/api/repo/${encodeURIComponent(repoName)}/config`, {
+            method: "POST",
+            headers: { "Content-Type": "application/json", "X-Gator-Dashboard": "1" },
+            body: JSON.stringify({ enforcement_level: this.value }),
+          });
+          const result = await resp.json();
+          statusSpan.textContent = result.status === "ok" ? " saved" : " error";
+          statusSpan.style.color = result.status === "ok" ? "var(--color-healthy)" : "var(--color-critical)";
+          setTimeout(() => { statusSpan.textContent = ""; }, 2000);
+        } catch (err) {
+          statusSpan.textContent = " error";
+          statusSpan.style.color = "var(--color-critical)";
+        }
+      });
+    });
+
+    // Topology toggle handler
+    container.querySelectorAll(".topology-select").forEach(select => {
+      const repoName = select.dataset.repo;
+      select.addEventListener("change", async function () {
+        const statusSpan = this.nextElementSibling;
+        const newTopology = this.value;
+
+        if (newTopology === "standalone") {
+          if (!confirm(`Switch ${repoName} to standalone? This will remove the command post link and policy sync.`)) {
+            // Revert select
+            this.value = "policy-synced";
+            return;
+          }
+        }
+
+        try {
+          const resp = await fetch(`/api/repo/${encodeURIComponent(repoName)}/topology`, {
+            method: "POST",
+            headers: { "Content-Type": "application/json", "X-Gator-Dashboard": "1" },
+            body: JSON.stringify({ topology: newTopology }),
+          });
+          const result = await resp.json();
+          if (result.status === "ok") {
+            statusSpan.textContent = ` ${result.topology}`;
+            statusSpan.style.color = "var(--color-healthy)";
+            setTimeout(() => { statusSpan.textContent = ""; }, 3000);
+          } else {
+            statusSpan.textContent = ` ${result.error || "error"}`;
+            statusSpan.style.color = "var(--color-critical)";
+            // Revert select on failure
+            this.value = newTopology === "standalone" ? "policy-synced" : "standalone";
+          }
+        } catch (err) {
+          statusSpan.textContent = " error";
+          statusSpan.style.color = "var(--color-critical)";
+          this.value = newTopology === "standalone" ? "policy-synced" : "standalone";
+        }
+      });
+    });
+  };
+})();

gator_command/scripts/dashboard/views/updates.js

@@ -0,0 +1,308 @@
+/**
+ * updates.js — Updates view for Gator Dashboard.
+ *
+ * Self-update control for the local gator-command repo.
+ * Checks upstream (GitHub) for new commits and pulls them down.
+ *
+ * Data sources:
+ *   GET  /api/updates/check — read-only local ref comparison (no network)
+ *   POST /api/updates/fetch — git fetch origin (network, state-changing)
+ *   POST /api/updates/pull  — git pull to apply upstream changes
+ *
+ * Primary question answered: is the local gator-command up to date?
+ */
+
+(function () {
+  "use strict";
+
+  window.GatorViews = window.GatorViews || {};
+
+  function escHtml(str) {
+    return String(str)
+      .replace(/&/g, "&")
+      .replace(/</g, "&lt;")
+      .replace(/>/g, "&gt;")
+      .replace(/"/g, "&quot;");
+  }
+
+  window.GatorViews.updates = function (data, container) {
+    // Snapshot mode — no server, no updates possible
+    if (window.GATOR_SNAPSHOT) {
+      container.innerHTML = `
+        <div class="view-header">
+          <span class="view-title">Updates</span>
+        </div>
+        <p class="muted" style="padding:24px; text-align:center;">
+          Updates are not available in snapshot mode.
+        </p>`;
+      return;
+    }
+
+    container.innerHTML = `
+      <div class="view-header">
+        <span class="view-title">Updates</span>
+        <span class="view-subtitle">Gator command post self-update</span>
+        <button class="update-btn" id="upd-restart-btn" style="margin-left:auto; padding:6px 16px; font-size:13px;">
+          Restart Dashboard
+        </button>
+      </div>
+
+      <div class="card-row">
+        <div class="card">
+          <div class="card-label">Local version</div>
+          <div class="card-value" id="upd-local-version">…</div>
+          <div class="card-note" id="upd-local-hash"></div>
+        </div>
+        <div class="card">
+          <div class="card-label">Available upstream</div>
+          <div class="card-value" id="upd-upstream-count">…</div>
+          <div class="card-note" id="upd-upstream-note"></div>
+        </div>
+      </div>
+
+      <div class="section" id="upd-actions">
+        <button class="update-btn" id="upd-check-btn" style="padding:6px 16px; font-size:13px;">
+          Check for updates
+        </button>
+        <button class="update-btn" id="upd-pull-btn" style="padding:6px 16px; font-size:13px; margin-left:8px; display:none;">
+          Pull &amp; apply
+        </button>
+        <span id="upd-status" style="margin-left:12px; font-size:13px;"></span>
+      </div>
+
+      <div class="section" id="upd-commits-section" style="display:none;">
+        <div class="section-title">Available commits</div>
+        <div id="upd-commits-list"></div>
+      </div>
+
+      <div class="section" id="upd-result-section" style="display:none;">
+        <div class="section-title">Pull result</div>
+        <div id="upd-result"></div>
+      </div>
+
+      <div id="upd-restart-banner" style="display:none;" class="snapshot-note">
+        Dashboard server files were updated. Click <strong>Restart Dashboard</strong> above to apply server changes, or restart manually.<br>
+        <span class="muted" style="font-size:11px;">Frontend changes (CSS/JS/HTML) are already live — refresh the browser to see them.</span>
+      </div>
+
+      <div id="upd-restart-overlay" style="display:none; position:fixed; inset:0; background:rgba(255,255,255,0.92); z-index:9999; display:none; align-items:center; justify-content:center;">
+        <div style="text-align:center; font-family:var(--mono); font-size:14px; color:var(--color-muted);">
+          <div style="font-size:18px; margin-bottom:8px;">Restarting Dashboard…</div>
+          <div id="upd-restart-status">Waiting for server</div>
+        </div>
+      </div>
+    `;
+
+    const checkBtn    = document.getElementById("upd-check-btn");
+    const pullBtn     = document.getElementById("upd-pull-btn");
+    const statusSpan  = document.getElementById("upd-status");
+    const localVer    = document.getElementById("upd-local-version");
+    const localHash   = document.getElementById("upd-local-hash");
+    const upCount     = document.getElementById("upd-upstream-count");
+    const upNote      = document.getElementById("upd-upstream-note");
+    const commitsSection = document.getElementById("upd-commits-section");
+    const commitsList = document.getElementById("upd-commits-list");
+    const resultSection = document.getElementById("upd-result-section");
+    const resultDiv   = document.getElementById("upd-result");
+    const restartBanner = document.getElementById("upd-restart-banner");
+
+    // ── check for updates ────────────────────────────────────────────────────
+
+    async function loadLocalStatus() {
+      // Read-only GET — no network, no state change
+      const resp = await fetch("/api/updates/check");
+      return resp.json();
+    }
+
+    async function checkForUpdates() {
+      checkBtn.disabled = true;
+      checkBtn.textContent = "Fetching…";
+      statusSpan.textContent = "";
+      pullBtn.style.display = "none";
+      commitsSection.style.display = "none";
+      resultSection.style.display = "none";
+
+      try {
+        // POST to fetch from upstream (state-changing, requires auth header)
+        const fetchResp = await fetch("/api/updates/fetch", {
+          method: "POST",
+          headers: { "X-Gator-Dashboard": "1" },
+        });
+        const info = await fetchResp.json();
+
+        if (info.error) {
+          statusSpan.textContent = "✗ " + info.error;
+          statusSpan.style.color = "var(--color-critical)";
+          return;
+        }
+
+        // Populate cards
+        localVer.textContent = info.version || "—";
+        localHash.textContent = info.local_hash ? info.local_hash.substring(0, 8) : "";
+        const ahead = info.commits_available || 0;
+        upCount.textContent = ahead;
+        upNote.textContent = ahead > 0
+          ? `commit${ahead > 1 ? "s" : ""} behind upstream`
+          : "up to date";
+
+        if (ahead > 0) {
+          // Show available commits
+          commitsSection.style.display = "block";
+          commitsList.innerHTML = renderCommitList(info.commit_log || []);
+          pullBtn.style.display = "inline-block";
+          statusSpan.textContent = "";
+        } else {
+          statusSpan.textContent = "✓ Already up to date";
+          statusSpan.style.color = "var(--color-healthy)";
+        }
+      } catch (err) {
+        statusSpan.textContent = "✗ " + err.message;
+        statusSpan.style.color = "var(--color-critical)";
+      } finally {
+        checkBtn.disabled = false;
+        checkBtn.textContent = "Check for updates";
+      }
+    }
+
+    function renderCommitList(commits) {
+      if (!commits.length) return '<span class="muted">No details available.</span>';
+      let html = '<table class="data-table"><thead><tr><th>Hash</th><th>Message</th></tr></thead><tbody>';
+      for (const c of commits) {
+        html += `<tr>
+          <td class="mono" style="width:80px">${escHtml((c.hash || "").substring(0, 8))}</td>
+          <td>${escHtml(c.message || "")}</td>
+        </tr>`;
+      }
+      html += "</tbody></table>";
+      return html;
+    }
+
+    // ── pull & apply ─────────────────────────────────────────────────────────
+
+    async function pullUpdates() {
+      pullBtn.disabled = true;
+      pullBtn.textContent = "Pulling…";
+      statusSpan.textContent = "";
+      statusSpan.style.color = "";
+
+      try {
+        const resp = await fetch("/api/updates/pull", {
+          method: "POST",
+          headers: { "X-Gator-Dashboard": "1" },
+        });
+        const info = await resp.json();
+
+        resultSection.style.display = "block";
+
+        if (info.error) {
+          resultDiv.innerHTML = `<div class="error-block">${escHtml(info.error)}</div>`;
+          statusSpan.textContent = "✗ Pull failed";
+          statusSpan.style.color = "var(--color-critical)";
+          return;
+        }
+
+        resultDiv.innerHTML = `<pre style="font-size:12px; font-family:var(--mono); white-space:pre-wrap; padding:12px; background:#f8f8f6; border:1px solid var(--color-border); border-radius:4px;">${escHtml(info.output || "Done")}</pre>`;
+
+        if (info.restart_needed) {
+          restartBanner.style.display = "block";
+          statusSpan.textContent = "✓ Updated — restart required";
+          statusSpan.style.color = "var(--color-drifted)";
+        } else {
+          statusSpan.textContent = "✓ Updated";
+          statusSpan.style.color = "var(--color-healthy)";
+        }
+
+        // Hide pull button, refresh cards
+        pullBtn.style.display = "none";
+        commitsSection.style.display = "none";
+        upCount.textContent = "0";
+        upNote.textContent = "up to date";
+        if (info.new_hash) {
+          localHash.textContent = info.new_hash.substring(0, 8);
+        }
+
+      } catch (err) {
+        statusSpan.textContent = "✗ " + err.message;
+        statusSpan.style.color = "var(--color-critical)";
+      } finally {
+        pullBtn.disabled = false;
+        pullBtn.textContent = "Pull & apply";
+      }
+    }
+
+    // ── restart dashboard ───────────────────────────────────────────────────
+
+    const restartBtn     = document.getElementById("upd-restart-btn");
+    const restartOverlay = document.getElementById("upd-restart-overlay");
+    const restartStatus  = document.getElementById("upd-restart-status");
+
+    async function restartDashboard() {
+      restartBtn.disabled = true;
+      restartBtn.textContent = "Restarting…";
+
+      // Show overlay
+      restartOverlay.style.display = "flex";
+      restartStatus.textContent = "Sending restart signal…";
+
+      try {
+        await fetch("/api/restart", {
+          method: "POST",
+          headers: { "X-Gator-Dashboard": "1" },
+        });
+      } catch (_) {
+        // Expected — server dies before response completes
+      }
+
+      // Poll until new server is ready
+      restartStatus.textContent = "Waiting for server…";
+      let attempts = 0;
+      const maxAttempts = 30; // 30 seconds max
+
+      const poll = setInterval(async () => {
+        attempts++;
+        try {
+          const resp = await fetch("/api/updates/check");
+          if (resp.ok) {
+            clearInterval(poll);
+            restartStatus.textContent = "Server is back. Reloading…";
+            setTimeout(() => window.location.reload(), 500);
+          }
+        } catch (_) {
+          // Server not ready yet
+          restartStatus.textContent = `Waiting for server… (${attempts}s)`;
+        }
+        if (attempts >= maxAttempts) {
+          clearInterval(poll);
+          restartOverlay.style.display = "none";
+          restartBtn.disabled = false;
+          restartBtn.textContent = "Restart Dashboard";
+          statusSpan.textContent = "✗ Restart timed out — restart manually";
+          statusSpan.style.color = "var(--color-critical)";
+        }
+      }, 1000);
+    }
+
+    // ── wire up ──────────────────────────────────────────────────────────────
+
+    checkBtn.addEventListener("click", checkForUpdates);
+    pullBtn.addEventListener("click", pullUpdates);
+    restartBtn.addEventListener("click", restartDashboard);
+
+    // Auto-load: read-only local status only (no network fetch)
+    loadLocalStatus().then(info => {
+      if (info.error) return;
+      localVer.textContent = info.version || "—";
+      localHash.textContent = info.local_hash ? info.local_hash.substring(0, 8) : "";
+      const ahead = info.commits_available || 0;
+      upCount.textContent = ahead;
+      upNote.textContent = ahead > 0
+        ? `commit${ahead > 1 ? "s" : ""} behind upstream (last fetch)`
+        : "up to date (last fetch)";
+      if (ahead > 0) {
+        commitsSection.style.display = "block";
+        commitsList.innerHTML = renderCommitList(info.commit_log || []);
+        pullBtn.style.display = "inline-block";
+      }
+    }).catch(() => {});
+  };
+})();

gator_command/scripts/enforcer-prompt.md

@@ -0,0 +1,22 @@
+# Memex Enforcer Audit
+
+You are the **enforcer** for this Memex audit. You are **read-only**. Do not edit files. Produce a report.
+
+## What to Read
+
+1. [`constitution.md`](../../constitution.md)
+3. The current `gator-command/` knowledge graph
+4. Any referenced artifacts needed to verify claims or links
+
+## What to Check
+
+- thread staleness
+- cross-reference integrity
+- contradictions between threads, identity, mission, roadmap, and issues
+- charter accuracy and drift (if this Memex includes code charters)
+- constitutional compliance
+- graph-health / compression risks
+
+## Output
+
+Produce a structured audit report with clear findings and severity. Do not modify the Memex. The primary agent and PI decide what to act on.