agentskeptic 1.1.0 → 1.1.2

package/dist/compareRunManifest.d.ts

@@ -0,0 +1,32 @@
+export type OutcomeCertificateRunKindForCompare = "contract_sql" | "contract_sql_langgraph_checkpoint_trust";
+export type CertificateProfileV1 = {
+    mode: "uniform";
+    outcomeCertificateRunKind: OutcomeCertificateRunKindForCompare;
+} | {
+    mode: "perRun";
+    entries: Array<{
+        runIndex: number;
+        outcomeCertificateRunKind: OutcomeCertificateRunKindForCompare;
+    }>;
+};
+export type CompareRunManifestEntryV1 = {
+    displayLabel: string;
+    workflowResult: string;
+    events: string;
+};
+export type CompareRunManifestV1 = {
+    schemaVersion: 1;
+    baseDirectory: string;
+    certificateProfile: CertificateProfileV1;
+    runs: CompareRunManifestEntryV1[];
+};
+/**
+ * Read and validate a compare-run manifest. Resolves `baseDirectory` and validates certificate profile
+ * invariants (per-run index coverage) beyond JSON Schema.
+ */
+export declare function loadCompareRunManifest(manifestFilePath: string): {
+    manifest: CompareRunManifestV1;
+    baseDirAbs: string;
+    manifestFileAbs: string;
+};
+//# sourceMappingURL=compareRunManifest.d.ts.map

package/dist/compareRunManifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compareRunManifest.d.ts","sourceRoot":"","sources":["../src/compareRunManifest.ts"],"names":[],"mappings":"AAMA,MAAM,MAAM,mCAAmC,GAAG,cAAc,GAAG,yCAAyC,CAAC;AAE7G,MAAM,MAAM,oBAAoB,GAC5B;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,yBAAyB,EAAE,mCAAmC,CAAC;CAChE,GACD;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,yBAAyB,EAAE,mCAAmC,CAAA;KAAE,CAAC,CAAC;CACtG,CAAC;AAEN,MAAM,MAAM,yBAAyB,GAAG;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,aAAa,EAAE,CAAC,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,oBAAoB,CAAC;IACzC,IAAI,EAAE,yBAAyB,EAAE,CAAC;CACnC,CAAC;AAmCF;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,gBAAgB,EAAE,MAAM,GACvB;IAAE,QAAQ,EAAE,oBAAoB,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,CA0BjF"}

package/dist/compareRunManifest.js

@@ -0,0 +1,60 @@
+import { readFileSync } from "node:fs";
+import path from "node:path";
+import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
+import { loadSchemaValidator } from "./schemaLoad.js";
+import { TruthLayerError } from "./truthLayerError.js";
+function validateProfileAgainstRuns(m, baseDir) {
+    const n = m.runs.length;
+    if (m.certificateProfile.mode === "perRun") {
+        const e = m.certificateProfile.entries;
+        if (e.length !== n) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_MANIFEST_SCHEMA_INVALID, `certificateProfile.entries.length (${e.length}) must equal runs.length (${n})`);
+        }
+        const want = new Set(Array.from({ length: n }, (_, i) => i));
+        const got = new Set();
+        for (const ent of e) {
+            if (got.has(ent.runIndex)) {
+                throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_MANIFEST_SCHEMA_INVALID, `duplicate runIndex ${ent.runIndex} in certificateProfile.entries`);
+            }
+            got.add(ent.runIndex);
+        }
+        if (got.size !== n || ![...got].every((i) => want.has(i))) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_MANIFEST_SCHEMA_INVALID, `certificateProfile.entries must list runIndex 0..${n - 1} exactly once each`);
+        }
+    }
+}
+/**
+ * Read and validate a compare-run manifest. Resolves `baseDirectory` and validates certificate profile
+ * invariants (per-run index coverage) beyond JSON Schema.
+ */
+export function loadCompareRunManifest(manifestFilePath) {
+    const manifestFileAbs = path.resolve(manifestFilePath);
+    let raw;
+    try {
+        raw = readFileSync(manifestFileAbs, "utf8");
+    }
+    catch (e) {
+        if (e instanceof TruthLayerError)
+            throw e;
+        const msg = e instanceof Error ? e.message : String(e);
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_MANIFEST_READ_FAILED, msg);
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(raw);
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_INPUT_JSON_SYNTAX, msg);
+    }
+    const v = loadSchemaValidator("compare-run-manifest-v1");
+    if (!v(parsed)) {
+        const detail = JSON.stringify(v.errors ?? []);
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.COMPARE_MANIFEST_SCHEMA_INVALID, detail);
+    }
+    const m = parsed;
+    validateProfileAgainstRuns(m, manifestFileAbs);
+    const baseDirAbs = path.resolve(path.dirname(manifestFileAbs), m.baseDirectory);
+    return { manifest: m, baseDirAbs, manifestFileAbs };
+}
+//# sourceMappingURL=compareRunManifest.js.map

package/dist/compareRunManifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compareRunManifest.js","sourceRoot":"","sources":["../src/compareRunManifest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AA2BvD,SAAS,0BAA0B,CACjC,CAAuB,EACvB,OAAe;IAEf,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;IACxB,IAAI,CAAC,CAAC,kBAAkB,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC;QACvC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,+BAA+B,EACrD,sCAAsC,CAAC,CAAC,MAAM,6BAA6B,CAAC,GAAG,CAChF,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;YACpB,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,+BAA+B,EACrD,sBAAsB,GAAG,CAAC,QAAQ,gCAAgC,CACnE,CAAC;YACJ,CAAC;YACD,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,+BAA+B,EACrD,oDAAoD,CAAC,GAAG,CAAC,oBAAoB,CAC9E,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,gBAAwB;IAExB,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACvD,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe;YAAE,MAAM,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,4BAA4B,EAAE,GAAG,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;IACtC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,CAAC,GAAG,mBAAmB,CAAC,yBAAyB,CAAC,CAAC;IACzD,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC9C,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,+BAA+B,EAAE,MAAM,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,CAAC,GAAG,MAA8B,CAAC;IACzC,0BAA0B,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC;IAChF,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC;AACtD,CAAC"}

package/dist/debug-ui/app.css

@@ -16,6 +16,22 @@ header h1 {
   margin: 0 0 1rem;
   max-width: 52rem;
 }
+.cli-hint {
+  color: #c9d1d9;
+  margin: 0 0 1rem;
+  max-width: 52rem;
+  font-size: 0.95rem;
+}
+.cli-hint code {
+  display: block;
+  margin-top: 0.35rem;
+  padding: 0.45rem 0.6rem;
+  background: #161b22;
+  border: 1px solid #30363d;
+  border-radius: 6px;
+  color: #79c0ff;
+  font-size: 0.85rem;
+}
 .tabs {
   display: flex;
   gap: 0.5rem;
@@ -171,6 +187,32 @@ tr.selected {
   border-color: #f0883e;
   background: #2d1f12;
 }
+@keyframes tracePulseFocus {
+  0% {
+    box-shadow: 0 0 0 0 rgba(240, 136, 62, 0.55);
+  }
+  70% {
+    box-shadow: 0 0 0 10px rgba(240, 136, 62, 0);
+  }
+  100% {
+    box-shadow: 0 0 0 0 rgba(240, 136, 62, 0);
+  }
+}
+.trace-step.pulse-focus {
+  animation: tracePulseFocus 0.85s ease-out 1;
+}
+.focus-target-list {
+  display: flex;
+  flex-wrap: wrap;
+  gap: 0.5rem;
+  margin-top: 0.5rem;
+}
+.focus-target-btn {
+  text-align: left;
+  max-width: 100%;
+  font-size: 0.8rem;
+  line-height: 1.3;
+}
 button {
   cursor: pointer;
   background: #21262d;

package/dist/debug-ui/app.js

@@ -1,9 +1,16 @@
-/* global fetch, URLSearchParams, document, window */
+import {
+  DEBUG_CONSOLE_DEFAULT_TAB,
+  parseDebugConsoleUrl,
+  resolvedFilters,
+  serializeDebugConsoleUrl,
+} from "./urlState.js";
 
 const state = {
   nextCursor: null,
   filterParams: new URLSearchParams(),
   selected: new Set(),
+  currentTab: DEBUG_CONSOLE_DEFAULT_TAB,
+  openRunId: null,
 };
 
 function api(path, opts) {
@@ -35,7 +42,6 @@ function buildFilterParamsFromForm() {
       p.set(k, String(v));
     }
   }
-  // Unchecked checkboxes are omitted from FormData.
   const includeLoadErrorsEl = form.querySelector('[name="includeLoadErrors"]');
   if (includeLoadErrorsEl && !includeLoadErrorsEl.checked) {
     p.set("includeLoadErrors", "false");
@@ -47,6 +53,84 @@ function buildFilterParamsFromForm() {
   return p;
 }
 
+/** @param {Record<string, string>} filters */
+function applyFiltersToForm(filters) {
+  const form = document.getElementById("filters");
+  const r = resolvedFilters(filters);
+  for (const el of form.querySelectorAll("input[name], select[name]")) {
+    const name = el.getAttribute("name");
+    if (!name || name === "includeLoadErrors" || name === "hasPathFindings") continue;
+    if (el instanceof HTMLSelectElement || el instanceof HTMLInputElement) {
+      el.value = r[name] ?? "";
+    }
+  }
+  const inc = form.querySelector('[name="includeLoadErrors"]');
+  if (inc instanceof HTMLInputElement) {
+    inc.checked = r.includeLoadErrors !== "false";
+  }
+  const hpf = form.querySelector('[name="hasPathFindings"]');
+  if (hpf instanceof HTMLInputElement) {
+    hpf.checked = r.hasPathFindings === "true";
+  }
+}
+
+/** @param {URLSearchParams} p */
+function filterObjectFromSearchParams(p) {
+  const keys = [
+    "loadStatus",
+    "workflowId",
+    "status",
+    "failureCategory",
+    "reasonCode",
+    "toolId",
+    "customerId",
+    "timeFrom",
+    "timeTo",
+  ];
+  /** @type {Record<string, string>} */
+  const out = {};
+  for (const k of keys) {
+    const v = p.get(k);
+    if (v != null && v !== "") {
+      out[k] = v;
+    }
+  }
+  if (p.has("includeLoadErrors")) {
+    out.includeLoadErrors = p.get("includeLoadErrors") === "true" ? "true" : "false";
+  } else {
+    out.includeLoadErrors = "true";
+  }
+  if (p.has("hasPathFindings")) {
+    out.hasPathFindings = p.get("hasPathFindings") === "true" ? "true" : "false";
+  } else {
+    out.hasPathFindings = "false";
+  }
+  return out;
+}
+
+function pushUrl() {
+  const filters = filterObjectFromSearchParams(state.filterParams);
+  const q = serializeDebugConsoleUrl({
+    tab: state.currentTab,
+    run: state.openRunId,
+    filters,
+  });
+  const path = window.location.pathname || "/";
+  const url = q ? `${path}?${q}` : path;
+  history.replaceState(null, "", url);
+}
+
+function setActiveTab(tab) {
+  const t = tab === "patterns" || tab === "compare" ? tab : DEBUG_CONSOLE_DEFAULT_TAB;
+  state.currentTab = t;
+  document.querySelectorAll(".tab").forEach((b) => {
+    b.classList.toggle("active", b.dataset.tab === t);
+  });
+  document.querySelectorAll(".panel").forEach((p) => {
+    p.classList.toggle("active", p.id === `panel-${t}`);
+  });
+}
+
 async function loadRuns(append) {
   const p = new URLSearchParams(state.filterParams);
   p.set("limit", "100");
@@ -117,16 +201,69 @@ function formatVerdictSurface(vs) {
       </div>`;
 }
 
+function focusButtonLabel(t) {
+  const v = String(t.value);
+  const short = t.rationale && t.rationale.length > 72 ? `${t.rationale.slice(0, 69)}…` : t.rationale || `${t.kind}: ${v}`;
+  return `${t.kind}: ${v} — ${short}`;
+}
+
+/**
+ * @param {HTMLElement} body
+ * @param {string} kind
+ * @param {string} value
+ */
+function scrollToFocusTarget(body, kind, value) {
+  for (const el of body.querySelectorAll(".trace-step")) {
+    if (kind === "seq" && el.getAttribute("data-seq") === value) {
+      pulseEl(el);
+      return;
+    }
+    if (kind === "ingestIndex" && el.getAttribute("data-ingest-index") === value) {
+      pulseEl(el);
+      return;
+    }
+    if (kind === "runEventId" && el.getAttribute("data-run-event-id") === value) {
+      pulseEl(el);
+      return;
+    }
+  }
+}
+
+/** @param {HTMLElement} el */
+function pulseEl(el) {
+  el.scrollIntoView({ block: "nearest", behavior: "smooth" });
+  el.classList.add("pulse-focus");
+  window.setTimeout(() => {
+    el.classList.remove("pulse-focus");
+  }, 900);
+}
+
+/** @param {HTMLElement} body */
+function wireFocusButtons(body) {
+  body.addEventListener("click", (ev) => {
+    const btn = ev.target && ev.target.closest && ev.target.closest(".focus-target-btn");
+    if (!btn || !(btn instanceof HTMLElement)) return;
+    const kind = btn.dataset.kind;
+    const value = btn.dataset.value;
+    if (!kind || value == null) return;
+    scrollToFocusTarget(body, kind, value);
+  });
+}
+
 async function openDetail(runId) {
   const drawer = document.getElementById("detail-drawer");
   const body = document.getElementById("detail-body");
   const title = document.getElementById("detail-title");
   drawer.classList.remove("hidden");
+  state.openRunId = runId;
+  pushUrl();
   title.textContent = `Run: ${runId}`;
   body.innerHTML = "<p>Loading…</p>";
   try {
     const data = await api(`/api/runs/${encodeURIComponent(runId)}`);
     if (data.loadStatus === "error") {
+      state.openRunId = runId;
+      pushUrl();
       body.innerHTML = `
         <p class="focus-panel"><strong>Load error</strong> <code>${escapeHtml(data.error.code)}</code></p>
         <pre class="json-out">${escapeHtml(JSON.stringify(data, null, 2))}</pre>
@@ -135,10 +272,26 @@ async function openDetail(runId) {
     }
     let focusHtml = "";
     const focusSet = new Set();
+    /** @type {{ targets: { kind: string; value: string | number; rationale: string }[] }} */
+    let focusPayload = { targets: [] };
     try {
       const focus = await api(`/api/runs/${encodeURIComponent(runId)}/focus`);
-      focusHtml = `<div class="focus-panel"><strong>Focus targets (from API)</strong><pre>${escapeHtml(JSON.stringify(focus.targets, null, 2))}</pre></div>`;
-      for (const t of focus.targets) {
+      focusPayload = focus;
+      const buttons =
+        focus.targets && focus.targets.length
+          ? focus.targets
+              .map((t) => {
+                const v = String(t.value);
+                const label = escapeHtml(focusButtonLabel(t));
+                return `<button type="button" class="focus-target-btn" data-kind="${escapeHtml(t.kind)}" data-value="${escapeHtml(v)}" title="${escapeHtml(t.rationale)}">${label}</button>`;
+              })
+              .join("")
+          : "";
+      focusHtml =
+        focus.targets && focus.targets.length
+          ? `<div class="focus-panel" role="region" aria-label="Focus targets"><strong>Focus targets</strong><p class="meta">Click a target to scroll to the matching trace step.</p><div class="focus-target-list">${buttons}</div></div>`
+          : "";
+      for (const t of focus.targets || []) {
         if (t.kind === "seq") focusSet.add(`seq:${t.value}`);
         if (t.kind === "ingestIndex") focusSet.add(`ingest:${t.value}`);
         if (t.kind === "runEventId") focusSet.add(`runEventId:${t.value}`);
@@ -156,7 +309,13 @@ async function openDetail(runId) {
         (seqKey && focusSet.has(seqKey)) ||
         focusSet.has(ingestKey) ||
         (runEvKey && focusSet.has(runEvKey));
-      return `<div class="trace-step ${hit ? "focus-hit" : ""}" data-idx="${i}">${escapeHtml(JSON.stringify(n))}</div>`;
+      const seqAttr = seq != null ? ` data-seq="${escapeHtml(String(seq))}"` : "";
+      const ingestAttr = ` data-ingest-index="${escapeHtml(String(n.ingestIndex ?? ""))}"`;
+      const rev =
+        n.runEventId != null && n.runEventId !== ""
+          ? ` data-run-event-id="${escapeHtml(String(n.runEventId))}"`
+          : "";
+      return `<div class="trace-step ${hit ? "focus-hit" : ""}" data-idx="${i}"${seqAttr}${ingestAttr}${rev}>${escapeHtml(JSON.stringify(n))}</div>`;
     });
     const trustHtml =
       typeof data.runTrustPanelHtml === "string"
@@ -171,14 +330,25 @@ async function openDetail(runId) {
       <h3>WorkflowResult</h3>
       <pre class="json-out">${escapeHtml(JSON.stringify(data.workflowResult, null, 2))}</pre>
     `;
+    if (focusPayload.targets && focusPayload.targets.length) {
+      wireFocusButtons(body);
+    }
+    pushUrl();
   } catch (e) {
     body.innerHTML = `<p class="focus-panel">Error: ${escapeHtml(e.message)}</p>`;
   }
 }
 
+function closeDetail() {
+  document.getElementById("detail-drawer").classList.add("hidden");
+  state.openRunId = null;
+  pushUrl();
+}
+
 document.getElementById("filters").addEventListener("submit", (ev) => {
   ev.preventDefault();
   state.filterParams = buildFilterParamsFromForm();
+  pushUrl();
   loadRuns(false).catch((e) => alert(e.message));
 });
 
@@ -186,6 +356,7 @@ document.getElementById("clear-filters").addEventListener("click", () => {
   document.getElementById("filters").reset();
   document.querySelector('[name="includeLoadErrors"]').checked = true;
   state.filterParams = buildFilterParamsFromForm();
+  pushUrl();
   loadRuns(false).catch((e) => alert(e.message));
 });
 
@@ -195,10 +366,8 @@ document.getElementById("load-more").addEventListener("click", () => {
 
 document.querySelectorAll(".tab").forEach((btn) => {
   btn.addEventListener("click", () => {
-    document.querySelectorAll(".tab").forEach((b) => b.classList.remove("active"));
-    document.querySelectorAll(".panel").forEach((p) => p.classList.remove("active"));
-    btn.classList.add("active");
-    document.getElementById(`panel-${btn.dataset.tab}`).classList.add("active");
+    setActiveTab(btn.dataset.tab || DEBUG_CONSOLE_DEFAULT_TAB);
+    pushUrl();
   });
 });
 
@@ -224,10 +393,11 @@ document.getElementById("run-compare").addEventListener("click", async () => {
       headers: { "Content-Type": "application/json" },
       body: JSON.stringify({ runIds: ids }),
     });
-    if (typeof data.comparePanelHtml === "string") {
-      out.innerHTML = data.comparePanelHtml;
+    const html = data?.regression?.narrativeHtml;
+    if (typeof html === "string" && html.length > 0) {
+      out.innerHTML = html;
     } else {
-      out.textContent = "comparePanelHtml missing in response.";
+      out.textContent = "regression.narrativeHtml missing in response.";
     }
   } catch (e) {
     out.textContent = "";
@@ -236,10 +406,31 @@ document.getElementById("run-compare").addEventListener("click", async () => {
 });
 
 document.getElementById("close-detail").addEventListener("click", () => {
-  document.getElementById("detail-drawer").classList.add("hidden");
+  closeDetail();
 });
 
-state.filterParams = buildFilterParamsFromForm();
-loadRuns(false).catch((e) => {
+window.addEventListener("popstate", () => {
+  void applyUrlToUi();
+});
+
+async function applyUrlToUi() {
+  const parsed = parseDebugConsoleUrl(new URLSearchParams(window.location.search));
+  applyFiltersToForm(parsed.filters);
+  state.filterParams = buildFilterParamsFromForm();
+  setActiveTab(parsed.tab);
+  try {
+    await loadRuns(false);
+  } catch (e) {
+    document.getElementById("runs-meta").textContent = `Failed to load: ${e.message}`;
+    return;
+  }
+  if (parsed.run) {
+    await openDetail(parsed.run);
+  } else {
+    closeDetail();
+  }
+}
+
+void applyUrlToUi().catch((e) => {
   document.getElementById("runs-meta").textContent = `Failed to load: ${e.message}`;
 });

package/dist/debug-ui/index.html

@@ -3,13 +3,20 @@
   <head>
     <meta charset="UTF-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-    <title>workflow-verifier — Debug Console</title>
+    <title>agentskeptic — Debug Console</title>
     <link rel="stylesheet" href="app.css" />
   </head>
   <body>
     <header>
-      <h1>Debug Console</h1>
-      <p class="sub">Local corpus triage (127.0.0.1 only). API provides focus targets; no duplicated linking logic in the browser.</p>
+      <h1>agentskeptic Debug Console</h1>
+      <p class="sub">
+        Local corpus triage (127.0.0.1 only). Focus targets come from the API; this UI links them to trace steps—no duplicated
+        linking rules in the browser.
+      </p>
+      <p class="cli-hint">
+        After running verification from the CLI, explore saved runs here:
+        <code>agentskeptic debug --corpus examples/debug-corpus</code>
+      </p>
     </header>
 
     <nav class="tabs">
@@ -74,6 +81,6 @@
       <div id="detail-body"></div>
     </section>
 
-    <script src="app.js"></script>
+    <script type="module" src="app.js"></script>
   </body>
 </html>

package/dist/debug-ui/urlState.d.ts

@@ -0,0 +1,15 @@
+export type DebugConsoleUrlState = {
+  tab: string;
+  run: string | null;
+  filters: Record<string, string>;
+};
+
+export const DEBUG_CONSOLE_DEFAULT_TAB: string;
+
+export function parseDebugConsoleUrl(searchParams: URLSearchParams): DebugConsoleUrlState;
+
+export function defaultFilterRecord(): Record<string, string>;
+
+export function resolvedFilters(filters: Record<string, string>): Record<string, string>;
+
+export function serializeDebugConsoleUrl(state: DebugConsoleUrlState): string;

package/dist/debug-ui/urlState.js

@@ -0,0 +1,92 @@
+/** @typedef {{ tab: string, run: string | null, filters: Record<string, string> }} DebugConsoleUrlState */
+
+export const DEBUG_CONSOLE_DEFAULT_TAB = "runs";
+
+const VALID_TABS = new Set(["runs", "patterns", "compare"]);
+
+const FILTER_TEXT_KEYS = [
+  "loadStatus",
+  "workflowId",
+  "status",
+  "failureCategory",
+  "reasonCode",
+  "toolId",
+  "customerId",
+  "timeFrom",
+  "timeTo",
+];
+
+/**
+ * @param {URLSearchParams} searchParams
+ * @returns {DebugConsoleUrlState}
+ */
+export function parseDebugConsoleUrl(searchParams) {
+  const rawTab = searchParams.get("tab") || DEBUG_CONSOLE_DEFAULT_TAB;
+  const tab = VALID_TABS.has(rawTab) ? rawTab : DEBUG_CONSOLE_DEFAULT_TAB;
+  const runRaw = searchParams.get("run");
+  const run = runRaw != null && runRaw !== "" ? runRaw : null;
+
+  /** @type {Record<string, string>} */
+  const filters = {};
+  for (const k of FILTER_TEXT_KEYS) {
+    const v = searchParams.get(k);
+    if (v != null && v !== "") {
+      filters[k] = v;
+    }
+  }
+
+  if (searchParams.has("includeLoadErrors")) {
+    filters.includeLoadErrors = searchParams.get("includeLoadErrors") === "true" ? "true" : "false";
+  }
+  if (searchParams.has("hasPathFindings")) {
+    filters.hasPathFindings = searchParams.get("hasPathFindings") === "true" ? "true" : "false";
+  }
+
+  return { tab, run, filters };
+}
+
+/**
+ * Default filter semantics aligned with debug-ui/app.js (includeLoadErrors checked by default).
+ * @returns {Record<string, string>}
+ */
+export function defaultFilterRecord() {
+  return { includeLoadErrors: "true" };
+}
+
+/**
+ * Merge URL-derived filters with defaults for form population.
+ * @param {Record<string, string>} filters
+ */
+export function resolvedFilters(filters) {
+  const out = { ...defaultFilterRecord(), ...filters };
+  if (!("hasPathFindings" in out)) {
+    out.hasPathFindings = "false";
+  }
+  return out;
+}
+
+/**
+ * @param {DebugConsoleUrlState} state
+ * @returns {string} query string without leading "?"
+ */
+export function serializeDebugConsoleUrl(state) {
+  const p = new URLSearchParams();
+  p.set("tab", state.tab || DEBUG_CONSOLE_DEFAULT_TAB);
+  if (state.run) {
+    p.set("run", state.run);
+  }
+  const f = state.filters || {};
+  for (const k of FILTER_TEXT_KEYS) {
+    const v = f[k];
+    if (v != null && v !== "") {
+      p.set(k, String(v));
+    }
+  }
+  if (f.includeLoadErrors === "false") {
+    p.set("includeLoadErrors", "false");
+  }
+  if (f.hasPathFindings === "true") {
+    p.set("hasPathFindings", "true");
+  }
+  return p.toString();
+}

package/dist/debugCorpus.test.js

@@ -1,4 +1,5 @@
 import { createHash } from "node:crypto";
+import assert from "node:assert/strict";
 import { copyFileSync, mkdirSync, readFileSync, writeFileSync, rmSync, mkdtempSync } from "node:fs";
 import { join } from "node:path";
 import { tmpdir } from "node:os";
@@ -6,19 +7,44 @@ import { describe, expect, it } from "vitest";
 import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
 import { DEBUG_CORPUS_CODES, isPathUnderRoot, listCorpusRunIds, loadAllCorpusRuns, loadCorpusRun, resolveCorpusRootReal, } from "./debugCorpus.js";
 import { WORKFLOW_RESULT_RUN_LEVEL_CODES_MISMATCH_MESSAGE } from "./runLevelDriftMessages.js";
-import { fileURLToPath } from "node:url";
-const root = join(fileURLToPath(import.meta.url), "..", "..");
+import { monorepoRootForVitest } from "./vitestMonorepoRoot.js";
+const root = monorepoRootForVitest(import.meta.url);
 const negativeRoot = join(root, "test", "fixtures", "corpus-negative");
 const runOkDir = join(root, "examples", "debug-corpus", "run_ok");
 describe("debugCorpus", () => {
-    it("examples/debug-corpus has one sealed run (run_ok)", () => {
+    it("examples/debug-corpus ships the curated demo library (5 sealed ok runs)", () => {
         const corpus = join(root, "examples", "debug-corpus");
         const outcomes = loadAllCorpusRuns(corpus);
-        expect(outcomes).toHaveLength(1);
+        const runIds = listCorpusRunIds(corpus);
+        assert.equal(outcomes.length, 5, `expected 5 runs under ${corpus}; listCorpusRunIds=[${runIds.join(", ")}] cwd=${process.cwd()}`);
+        const errLines = [];
+        for (const o of outcomes) {
+            if (o.loadStatus === "error") {
+                errLines.push(`${o.runId}: ${o.error.code} – ${o.error.message}`);
+            }
+        }
+        assert.equal(errLines.length, 0, `load failures (integrity/schema/path) under ${corpus}: ${errLines.join(" | ")}`);
         const ok = outcomes.filter((o) => o.loadStatus === "ok");
-        expect(ok).toHaveLength(1);
-        expect(ok[0].runId).toBe("run_ok");
-        expect(ok[0].agentRunRecord.workflowId).toBe("wf_complete");
+        expect(ok).toHaveLength(5);
+        const ids = new Set(ok.map((o) => o.runId));
+        for (const id of [
+            "run_ok",
+            "run_value_mismatch",
+            "run_row_absent",
+            "run_path_nonempty",
+            "run_complete_b",
+        ]) {
+            expect(ids.has(id)).toBe(true);
+        }
+        const withFailureEvidence = ok.filter((o) => o.workflowResult.workflowTruthReport.failureAnalysis !== null &&
+            o.workflowResult.workflowTruthReport.failureAnalysis.evidence.length > 0);
+        expect(withFailureEvidence).toHaveLength(2);
+        expect(withFailureEvidence.map((o) => o.runId).sort()).toEqual(["run_row_absent", "run_value_mismatch"]);
+        const pathFindings = ok.filter((o) => o.workflowResult.workflowTruthReport.executionPathFindings.length > 0);
+        expect(pathFindings).toHaveLength(1);
+        expect(pathFindings[0].runId).toBe("run_path_nonempty");
+        const wfComplete = ok.filter((o) => o.workflowResult.workflowId === "wf_complete");
+        expect(wfComplete.length).toBeGreaterThanOrEqual(3);
     });
     it("corpus-negative fixtures produce expected error codes", () => {
         const rootReal = resolveCorpusRootReal(negativeRoot);