vericify 0.1.0

package/src/tui/runtime-activity.js

@@ -0,0 +1,172 @@
+import { appendRunLedgerEntry } from "../store/run-ledger.js";
+import { appendStatusEvent } from "../store/status-events.js";
+
+function shouldWrite(recentWrites, key, signature, throttleMs, force) {
+  if (force) return true;
+  const previous = recentWrites.get(key);
+  const now = Date.now();
+  if (previous && previous.signature === signature && now - previous.timestamp_ms < throttleMs) {
+    return false;
+  }
+  recentWrites.set(key, { signature, timestamp_ms: now });
+  return true;
+}
+
+function targetRunId(runId) {
+  return runId || "workspace:current";
+}
+
+export function createRuntimeRecorder({
+  workspaceRoot,
+  traceId,
+  sourceModule = "vericify-hub",
+  isInteractive = false,
+}) {
+  const recentWrites = new Map();
+  let interactive = isInteractive;
+
+  function writeRecord({
+    throttleKey,
+    signature,
+    throttleMs = 1200,
+    force = false,
+    runId,
+    view,
+    source = "interactive",
+    eventType,
+    status,
+    summary,
+    category,
+    metadata = {},
+    payload = {},
+  }) {
+    if (!interactive) return false;
+    if (!shouldWrite(recentWrites, throttleKey, signature, throttleMs, force)) return false;
+    const resolvedRunId = targetRunId(runId);
+    appendStatusEvent(workspaceRoot, {
+      trace_id: traceId,
+      source_module: sourceModule,
+      event_type: eventType,
+      status,
+      payload: {
+        summary,
+        run_id: resolvedRunId,
+        view,
+        source,
+        interactive: true,
+        ...payload,
+      },
+    });
+    appendRunLedgerEntry(workspaceRoot, {
+      tool: sourceModule,
+      category,
+      message: summary,
+      metadata: {
+        trace_id: traceId,
+        run_id: resolvedRunId,
+        view,
+        source,
+        interactive: true,
+        ...metadata,
+      },
+    });
+    return true;
+  }
+
+  return {
+    get isInteractive() {
+      return interactive;
+    },
+    setInteractive(value) {
+      interactive = Boolean(value);
+    },
+    recordInitialSelection(runId, view) {
+      if (!runId) return false;
+      return writeRecord({
+        throttleKey: "initial-selection",
+        signature: `${runId}:${view}`,
+        force: true,
+        runId,
+        view,
+        source: "session_start",
+        eventType: "HUB_RUN_FOCUSED",
+        status: "started",
+        summary: `Focused ${runId} in ${view} view.`,
+        category: "operator_focus",
+      });
+    },
+    recordFocus(runId, { view, source = "keyboard", force = false } = {}) {
+      if (!runId) return false;
+      return writeRecord({
+        throttleKey: "focus",
+        signature: `${runId}:${view ?? "hub"}`,
+        throttleMs: 1000,
+        force,
+        runId,
+        view,
+        source,
+        eventType: "HUB_RUN_FOCUSED",
+        status: "started",
+        summary: `Focused ${runId} in ${view ?? "hub"} view.`,
+        category: "operator_focus",
+      });
+    },
+    recordViewChange(view, runId, { source = "keyboard", force = false } = {}) {
+      return writeRecord({
+        throttleKey: "view",
+        signature: `${view}:${targetRunId(runId)}`,
+        throttleMs: 1000,
+        force,
+        runId,
+        view,
+        source,
+        eventType: "HUB_VIEW_CHANGED",
+        status: "started",
+        summary: `Switched to ${view} view${runId ? ` for ${runId}` : ""}.`,
+        category: "operator_view",
+      });
+    },
+    recordRefresh(runId, { view, source = "manual", runCount, reason } = {}) {
+      return writeRecord({
+        throttleKey: `refresh:${source}`,
+        signature: `${source}:${targetRunId(runId)}:${runCount ?? "-"}:${reason ?? "-"}`,
+        throttleMs: source === "watch" ? 2000 : 800,
+        runId,
+        view,
+        source,
+        eventType: "HUB_REFRESHED",
+        status: "done",
+        summary: source === "watch" ? "Workspace artifacts changed; hub refreshed." : "Hub refreshed.",
+        category: "operator_refresh",
+        metadata: {
+          run_count: runCount,
+          reason,
+        },
+        payload: {
+          run_count: runCount,
+          reason,
+        },
+      });
+    },
+    recordCommandWrite(actionType, runId, { view } = {}) {
+      return writeRecord({
+        throttleKey: `command:${actionType}`,
+        signature: `${actionType}:${targetRunId(runId)}:${view ?? "hub"}`,
+        throttleMs: 300,
+        runId,
+        view,
+        source: "command",
+        eventType: "HUB_COMMAND_WRITTEN",
+        status: "done",
+        summary: `Applied ${actionType} from hub command palette.`,
+        category: "operator_write",
+        metadata: {
+          action_type: actionType,
+        },
+        payload: {
+          action_type: actionType,
+        },
+      });
+    },
+  };
+}