agent-inspect 6.31.29 → 6.31.31

package/CHANGELOG.md

@@ -1,5 +1,19 @@
 # Changelog
 
+## 6.31.31
+
+### Patch Changes
+
+- 1ca1c11: Oct 30 residuals: stricter saved-evidence verifiers, HTML attempt-preserving lifecycle presentation, Om beyond-budget readiness guard, Jan packed MCP SDK assertions, Roy path-scrubbed -003 packet and UNPROVABLE receipt fixtures, and status/docs reconcile.
+
+## 6.31.30
+
+### Patch Changes
+
+- 35923dd: Join sibling start/complete lifecycle rows in HTML/Markdown presentation and coalesce bundle HTML trees so completed steps are not shown as still running.
+- f1c1752: Nest tenant recipe now executes real SupportService/PolicyService seams and scores consumption from reopened saved outcomes (N01–N08), not in-memory joinOk.
+- f664b85: Om browser recipe records injected-clock wait/readiness diagnostics (document, in-flight, obstruction, elapsed/budget/remaining, stop reason) without inventing overlay from LocatorNotFound.
+
 ## 6.31.29
 
 ### Patch Changes

package/README.md

@@ -213,7 +213,7 @@ The root package is enough for custom capture, the CLI, checks, and Evidence wor
 
 ## Status and documentation
 
-**Current published baseline:** **6.31.29** · persisted schema `1.0` · Node.js `>=20` · MIT.
+**Current published baseline:** **6.31.31** · persisted schema `1.0` · Node.js `>=20` · MIT.
 
 Legacy v0.1 and v0.2 traces remain readable. Check the npm badge and [changelog](CHANGELOG.md) for the current published version.
 

package/docs/CLI.md

@@ -382,12 +382,37 @@ Rich TraceContract JSON (6.30+):
 }
 ```
 
-Supported `contract` fields: `run`, `tools` (including `arguments`, `orderRules`),
+Supported `contract` fields: `run`, `tools` (including `arguments`, `orderRules`,
+`requiredOrder`, `requiredOrderMode`), `steps` (including `orderRelations`),
 `llm`, `observations` (including `requireProvenance`), `scope`, `alternatives.anyOf`,
 `controls`, and `retry`. Unknown keys fail closed (exit 2). With `--evidence-on`,
 contract mode writes `contract.resolved.json` and binds digests into check-results.
 YAML is not supported. TypeScript config files (`.ts`, `.mts`, `.cts`) fail clearly unless a future explicit loader strategy is added; use precompiled JavaScript config instead.
 
+`steps.orderRelations` (6.31+) declares typed cross-kind ordering (for example TOOL
+before LLM). Each relation has `before` / `after` step refs (`kind` + `name`), optional
+`mode` (`first-occurrence` | `happens-before` | `all-occurrences`; default
+`first-occurrence`), and optional `requireEndpoints` (default `true`). This is separate
+from TOOL-only `tools.requiredOrder` / `orderRules`. Invalid shapes and unknown keys
+fail closed.
+
+```json
+{
+  "contract": {
+    "tools": { "required": ["retrieve_policy"] },
+    "steps": {
+      "orderRelations": [
+        {
+          "before": { "kind": "TOOL", "name": "retrieve_policy" },
+          "after": { "kind": "LLM", "name": "answer" },
+          "mode": "first-occurrence"
+        }
+      ]
+    }
+  }
+}
+```
+
 Examples:
 
 ```bash

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "agent-inspect",
-  "version": "6.31.29",
+  "version": "6.31.31",
   "license": "MIT",
   "type": "module",
   "description": "Local evidence debugger and trajectory-test toolkit for TypeScript AI agents — execution trees, TraceContract checks, Evidence v2, and read-only MCP",
@@ -252,7 +252,7 @@
     "demo:verify": "node scripts/demo-verify.mjs",
     "compat:smoke": "node scripts/compat-smoke.mjs",
     "compat:ai-sdk-matrix": "node scripts/ai-sdk-peer-matrix.mjs",
-    "fixtures:check": "node scripts/validate-fixtures.mjs",
+    "fixtures:check": "node scripts/validate-fixtures.mjs && node scripts/check-otlp-identity-003-shareable.mjs && node scripts/check-roy-437-unprovable.mjs",
     "recipes:check": "node scripts/validate-recipes.mjs",
     "test:integration-offline": "node --test examples/recipes/integration-fixtures/helpers.test.mjs examples/recipes/promptfoo-use-together/lib/matrix-interpret.test.mjs examples/reviewer-kits/promptfoo-trajectory/lib/matrix-interpret.test.mjs examples/recipes/elastic-otlp/live-controls.test.mjs examples/recipes/openai-node-chat-completions/openai-boundary.test.mjs && node examples/recipes/otel-collector-roundtrip/verify.mjs && node examples/recipes/elastic-otlp/verify.mjs",
     "perf:baseline": "node scripts/performance-baseline.mjs",

package/packages/cli/dist/index.cjs

@@ -17304,7 +17304,7 @@ var init_src = __esm({
 });
 
 // package.json
-var version = "6.31.29";
+var version = "6.31.31";
 
 // packages/cli/src/list.ts
 init_advanced();
@@ -19516,6 +19516,161 @@ function redactRunTreeForExport(tree, options) {
 
 // packages/core/src/exporters/html-exporter.ts
 init_helpers();
+
+// packages/core/src/exporters/presentation-lifecycle.ts
+function stepIdOf2(event) {
+  const value = event.attributes?.stepId;
+  return typeof value === "string" && value.trim() !== "" ? value : void 0;
+}
+function attemptIdOf3(event) {
+  const direct = event.attributes?.attemptId;
+  if (typeof direct === "string" && direct.trim() !== "") return direct;
+  const meta2 = event.attributes?.metadata;
+  if (meta2 && typeof meta2 === "object" && !Array.isArray(meta2)) {
+    const nested = meta2.attemptId;
+    if (typeof nested === "string" && nested.trim() !== "") return nested;
+  }
+  return void 0;
+}
+function lifecycleKey(event) {
+  if (event.kind === "RUN") return `run:${event.runId}`;
+  const stepId = stepIdOf2(event);
+  if (stepId !== void 0) return `step:${stepId}`;
+  return `event:${event.eventId}`;
+}
+function isTerminal(status) {
+  return status === "ok" || status === "error";
+}
+function eventTime3(event) {
+  return typeof event.timestamp === "number" ? event.timestamp : 0;
+}
+function cloneNode(node) {
+  return {
+    event: {
+      ...node.event,
+      ...node.event.attributes !== void 0 ? { attributes: { ...node.event.attributes } } : {}
+    },
+    children: node.children.map(cloneNode),
+    depth: node.depth
+  };
+}
+function joinOnePair(start, terminal) {
+  const childMap = /* @__PURE__ */ new Map();
+  if (start) {
+    for (const child of start.children) {
+      childMap.set(child.event.eventId, child);
+    }
+  }
+  for (const child of terminal.children) {
+    childMap.set(child.event.eventId, child);
+  }
+  return {
+    event: {
+      ...terminal.event,
+      name: start?.event.name ?? terminal.event.name,
+      kind: start?.event.kind ?? terminal.event.kind,
+      ...start && attemptIdOf3(terminal.event) === void 0 && attemptIdOf3(start.event) ? {
+        attributes: {
+          ...terminal.event.attributes,
+          attemptId: attemptIdOf3(start.event)
+        }
+      } : {}
+    },
+    children: presentSiblingNodes([...childMap.values()]),
+    depth: terminal.depth
+  };
+}
+function joinSiblingGroup(group) {
+  if (group.length <= 1) return group;
+  const terminals = group.filter((n) => isTerminal(n.event.status)).sort((a, b) => eventTime3(a.event) - eventTime3(b.event));
+  const runnings = group.filter((n) => n.event.status === "running").sort((a, b) => eventTime3(a.event) - eventTime3(b.event));
+  const others = group.filter(
+    (n) => !isTerminal(n.event.status) && n.event.status !== "running"
+  );
+  const terminalStatuses = new Set(terminals.map((n) => n.event.status));
+  if (terminalStatuses.size > 1) {
+    return group;
+  }
+  if (terminals.length > 1 && terminals.every((t) => attemptIdOf3(t.event) === void 0) && runnings.every((r) => attemptIdOf3(r.event) === void 0)) {
+    return group;
+  }
+  const usedRunning = /* @__PURE__ */ new Set();
+  const out = [];
+  for (const terminal of terminals) {
+    const terminalAttempt = attemptIdOf3(terminal.event);
+    const terminalTs = eventTime3(terminal.event);
+    const candidate = runnings.find((r) => {
+      if (usedRunning.has(r.event.eventId)) return false;
+      if (eventTime3(r.event) > terminalTs) return false;
+      const runningAttempt = attemptIdOf3(r.event);
+      if (terminalAttempt !== void 0) {
+        return runningAttempt === terminalAttempt;
+      }
+      if (runningAttempt !== void 0) {
+        return true;
+      }
+      return true;
+    });
+    if (candidate) {
+      usedRunning.add(candidate.event.eventId);
+      out.push(joinOnePair(candidate, terminal));
+    } else {
+      out.push({
+        ...terminal,
+        children: presentSiblingNodes(terminal.children)
+      });
+    }
+  }
+  for (const running of runnings) {
+    if (usedRunning.has(running.event.eventId)) continue;
+    out.push({
+      ...running,
+      children: presentSiblingNodes(running.children)
+    });
+  }
+  for (const other of others) {
+    out.push({
+      ...other,
+      children: presentSiblingNodes(other.children)
+    });
+  }
+  return out;
+}
+function presentSiblingNodes(nodes) {
+  const prepared = nodes.map((n) => ({
+    ...cloneNode(n),
+    children: presentSiblingNodes(n.children)
+  }));
+  const order = [];
+  const groups = /* @__PURE__ */ new Map();
+  for (const node of prepared) {
+    const key = lifecycleKey(node.event);
+    if (!groups.has(key)) {
+      groups.set(key, []);
+      order.push(key);
+    }
+    groups.get(key).push(node);
+  }
+  const out = [];
+  for (const key of order) {
+    out.push(...joinSiblingGroup(groups.get(key)));
+  }
+  return out;
+}
+function presentLifecycleJoinedTree(tree) {
+  return {
+    ...tree,
+    children: presentSiblingNodes(tree.children),
+    metadata: {
+      ...tree.metadata,
+      confidenceBreakdown: { ...tree.metadata.confidenceBreakdown },
+      kinds: { ...tree.metadata.kinds },
+      ...tree.metadata.relationshipSummary !== void 0 ? { relationshipSummary: { ...tree.metadata.relationshipSummary } } : {}
+    }
+  };
+}
+
+// packages/core/src/exporters/html-exporter.ts
 function renderTreeHtml2(nodes, ulClass = "tree") {
   if (nodes.length === 0) return "";
   const parts = [`<ul class="${ulClass}">`];
@@ -19542,32 +19697,33 @@ function exportHtml(tree, options) {
   const includeErrors = options?.includeErrors ?? true;
   const maxLen = options?.maxAttributeLength ?? 500;
   const redacted = options?.redacted ?? true;
-  const titleName = escapeHtml(tree.name ?? tree.runId);
+  const view2 = presentLifecycleJoinedTree(tree);
+  const titleName = escapeHtml(view2.name ?? view2.runId);
   const summaryRows = [];
   summaryRows.push(
-    `<tr><th scope="row">runId</th><td><code>${escapeHtml(tree.runId)}</code></td></tr>`
+    `<tr><th scope="row">runId</th><td><code>${escapeHtml(view2.runId)}</code></td></tr>`
   );
-  if (tree.name !== void 0) {
-    summaryRows.push(`<tr><th scope="row">name</th><td>${escapeHtml(tree.name)}</td></tr>`);
+  if (view2.name !== void 0) {
+    summaryRows.push(`<tr><th scope="row">name</th><td>${escapeHtml(view2.name)}</td></tr>`);
   }
   summaryRows.push(
-    `<tr><th scope="row">status</th><td>${escapeHtml(String(tree.status ?? "unknown"))}</td></tr>`
+    `<tr><th scope="row">status</th><td>${escapeHtml(String(view2.status ?? "unknown"))}</td></tr>`
   );
   summaryRows.push(
-    `<tr><th scope="row">durationMs</th><td>${tree.durationMs !== void 0 ? escapeHtml(String(tree.durationMs)) : "\u2014"}</td></tr>`
+    `<tr><th scope="row">durationMs</th><td>${view2.durationMs !== void 0 ? escapeHtml(String(view2.durationMs)) : "\u2014"}</td></tr>`
   );
   summaryRows.push(
-    `<tr><th scope="row">startedAt</th><td>${tree.startedAt !== void 0 ? escapeHtml(String(tree.startedAt)) : "\u2014"}</td></tr>`
+    `<tr><th scope="row">startedAt</th><td>${view2.startedAt !== void 0 ? escapeHtml(String(view2.startedAt)) : "\u2014"}</td></tr>`
   );
   summaryRows.push(
-    `<tr><th scope="row">endedAt</th><td>${tree.endedAt !== void 0 ? escapeHtml(String(tree.endedAt)) : "\u2014"}</td></tr>`
+    `<tr><th scope="row">endedAt</th><td>${view2.endedAt !== void 0 ? escapeHtml(String(view2.endedAt)) : "\u2014"}</td></tr>`
   );
   summaryRows.push(
-    `<tr><th scope="row">totalEvents</th><td>${escapeHtml(String(tree.metadata.totalEvents))}</td></tr>`
+    `<tr><th scope="row">totalEvents</th><td>${escapeHtml(String(view2.metadata.totalEvents))}</td></tr>`
   );
   let confidenceHtml = "";
   if (includeMetadata) {
-    const cb = tree.metadata.confidenceBreakdown;
+    const cb = view2.metadata.confidenceBreakdown;
     confidenceHtml += "<h3>Confidence breakdown</h3><table><thead><tr><th>bucket</th><th>count</th></tr></thead><tbody>";
     for (const k of Object.keys(cb).sort()) {
       const key = k;
@@ -19575,14 +19731,14 @@ function exportHtml(tree, options) {
     }
     confidenceHtml += "</tbody></table>";
     confidenceHtml += "<h3>Kind breakdown</h3><table><thead><tr><th>kind</th><th>count</th></tr></thead><tbody>";
-    for (const k of Object.keys(tree.metadata.kinds).sort()) {
+    for (const k of Object.keys(view2.metadata.kinds).sort()) {
       const key = k;
-      const c = tree.metadata.kinds[key];
+      const c = view2.metadata.kinds[key];
       if (c > 0) confidenceHtml += `<tr><td>${escapeHtml(key)}</td><td>${c}</td></tr>`;
     }
     confidenceHtml += "</tbody></table>";
   }
-  const flat = flattenTree(tree);
+  const flat = flattenTree(view2);
   const errors = flat.filter((n) => n.event.status === "error");
   let errorsHtml = "";
   if (includeErrors && errors.length > 0) {
@@ -19637,7 +19793,7 @@ footer{margin-top:2rem;font-size:0.85rem;color:#555}
 <header><h1>AgentInspect Run: ${titleName}</h1></header>
 <p class="note">Generated locally by AgentInspect.</p>
 ${includeMetadata ? `<section class="summary"><h2>Summary</h2><table>${summaryRows.join("")}</table>${confidenceHtml}</section>` : ""}
-<section class="tree"><h2>Execution tree</h2>${tree.children.length > 0 ? renderTreeHtml2(tree.children) : "<p>No steps recorded.</p>"}</section>
+<section class="tree"><h2>Execution tree</h2>${view2.children.length > 0 ? renderTreeHtml2(view2.children) : "<p>No steps recorded.</p>"}</section>
 ${errorsHtml}
 ${attrsHtml}
 <footer>Generated locally by AgentInspect. Review for sensitive data before sharing.</footer>
@@ -19679,7 +19835,8 @@ function exportMarkdown(tree, options) {
   const includeErrors = options?.includeErrors ?? true;
   const maxLen = options?.maxAttributeLength ?? 500;
   const redacted = options?.redacted ?? true;
-  const titleName = tree.name ?? tree.runId;
+  const view2 = presentLifecycleJoinedTree(tree);
+  const titleName = view2.name ?? view2.runId;
   const lines = [];
   lines.push(`# AgentInspect Run: ${escapeMarkdown(titleName)}`);
   lines.push("");
@@ -19688,28 +19845,28 @@ function exportMarkdown(tree, options) {
   if (includeMetadata) {
     lines.push("## Summary");
     lines.push("");
-    lines.push(`- **runId**: ${escapeMarkdown(tree.runId)}`);
-    if (tree.name !== void 0) lines.push(`- **name**: ${escapeMarkdown(tree.name)}`);
-    lines.push(`- **status**: ${escapeMarkdown(String(tree.status ?? "unknown"))}`);
+    lines.push(`- **runId**: ${escapeMarkdown(view2.runId)}`);
+    if (view2.name !== void 0) lines.push(`- **name**: ${escapeMarkdown(view2.name)}`);
+    lines.push(`- **status**: ${escapeMarkdown(String(view2.status ?? "unknown"))}`);
     lines.push(
-      `- **durationMs**: ${tree.durationMs !== void 0 ? escapeMarkdown(String(tree.durationMs)) : "-"}`
+      `- **durationMs**: ${view2.durationMs !== void 0 ? escapeMarkdown(String(view2.durationMs)) : "-"}`
     );
     lines.push(
-      `- **startedAt**: ${tree.startedAt !== void 0 ? escapeMarkdown(String(tree.startedAt)) : "-"}`
+      `- **startedAt**: ${view2.startedAt !== void 0 ? escapeMarkdown(String(view2.startedAt)) : "-"}`
     );
     lines.push(
-      `- **endedAt**: ${tree.endedAt !== void 0 ? escapeMarkdown(String(tree.endedAt)) : "-"}`
+      `- **endedAt**: ${view2.endedAt !== void 0 ? escapeMarkdown(String(view2.endedAt)) : "-"}`
     );
-    lines.push(`- **totalEvents**: ${tree.metadata.totalEvents}`);
+    lines.push(`- **totalEvents**: ${view2.metadata.totalEvents}`);
     lines.push("");
     lines.push("### Confidence breakdown");
     lines.push("");
     lines.push("| bucket | count |");
     lines.push("| --- | --- |");
-    for (const k of Object.keys(tree.metadata.confidenceBreakdown).sort()) {
+    for (const k of Object.keys(view2.metadata.confidenceBreakdown).sort()) {
       const key = k;
       lines.push(
-        `| ${escapeMarkdown(key)} | ${tree.metadata.confidenceBreakdown[key]} |`
+        `| ${escapeMarkdown(key)} | ${view2.metadata.confidenceBreakdown[key]} |`
       );
     }
     lines.push("");
@@ -19717,9 +19874,9 @@ function exportMarkdown(tree, options) {
     lines.push("");
     lines.push("| kind | count |");
     lines.push("| --- | --- |");
-    for (const k of Object.keys(tree.metadata.kinds).sort()) {
+    for (const k of Object.keys(view2.metadata.kinds).sort()) {
       const key = k;
-      const c = tree.metadata.kinds[key];
+      const c = view2.metadata.kinds[key];
       if (c > 0) lines.push(`| ${escapeMarkdown(key)} | ${c} |`);
     }
     lines.push("");
@@ -19728,11 +19885,11 @@ function exportMarkdown(tree, options) {
   lines.push("");
   lines.push("```text");
   lines.push(
-    tree.children.length > 0 ? renderTreeAscii(tree.children) : "(no steps)"
+    view2.children.length > 0 ? renderTreeAscii(view2.children) : "(no steps)"
   );
   lines.push("```");
   lines.push("");
-  const flat = flattenTree(tree);
+  const flat = flattenTree(view2);
   const errors = flat.filter((n) => n.event.status === "error");
   if (includeErrors && errors.length > 0) {
     lines.push("## Errors");
@@ -29434,11 +29591,14 @@ async function bundleCommand(runIdArg, options = {}) {
         ...finding.action !== void 0 ? { action: finding.action } : {}
       });
     }
-    if (artifactTree) {
-      artifactTrees.push(artifactTree);
-    } else {
-      const selected2 = read.runs.find((run) => run.runId === runId);
-      if (selected2) artifactTrees.push(selected2);
+    const persistedForRun = artifactEventsByRun.get(runId) ?? read.events.filter((event) => event.runId === runId);
+    const presentationTrees = persistedInspectEventsToRunTrees(persistedForRun, {
+      coalesceLifecycle: true,
+      skipInvalid: true
+    });
+    const presentationTree = presentationTrees.find((candidate) => candidate.runId === runId) ?? presentationTrees[0] ?? artifactTree ?? read.runs.find((run) => run.runId === runId);
+    if (presentationTree) {
+      artifactTrees.push(presentationTree);
     }
     const status = safetyStatusFromAssess(artifactSafety.status);
     checkRuns.push({
@@ -29449,8 +29609,17 @@ async function bundleCommand(runIdArg, options = {}) {
       warnings: artifactSafety.summary.warnings,
       findings: artifactSafety.summary.findings
     });
-    const selected = read.runs.find((run) => run.runId === runId);
-    const runReport = exportRunTree(selected ?? read.runs[0], {
+    if (!presentationTree) {
+      const message = `No run tree could be built for HTML presentation: ${runId}`;
+      if (options.json) {
+        console.log(writeJson4({ ok: false, error: message }).trimEnd());
+      } else {
+        console.error(`[AgentInspect] bundle failed: ${message}`);
+      }
+      process.exitCode = 1;
+      return;
+    }
+    const runReport = exportRunTree(presentationTree, {
       format: "html",
       redacted: true,
       redactionProfile: toReportProfile(profile)