@riddledc/riddle-proof 0.5.47 → 0.5.49

package/dist/index.js

@@ -17,7 +17,7 @@ import {
 } from "./chunk-ODORKNSO.js";
 import {
   runRiddleProof
-} from "./chunk-N3ZNBRIG.js";
+} from "./chunk-YJPQOAZG.js";
 import {
   DEFAULT_DIAGNOSTIC_ARRAY_LIMIT,
   DEFAULT_DIAGNOSTIC_HISTORY_LIMIT,
@@ -32,14 +32,14 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-ALP5KOS2.js";
+} from "./chunk-722PW3X3.js";
 import "./chunk-4ASMX4R6.js";
 import "./chunk-JFQXAJH2.js";
 import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-NOBFZDZG.js";
+} from "./chunk-YW77WDTR.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -51,11 +51,11 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-JOXTKWX6.js";
+} from "./chunk-U7Q3RB5D.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-PLSGW2GI.js";
+} from "./chunk-CI2F66EE.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,

package/dist/local-agent.cjs

@@ -41,6 +41,13 @@ var import_node_child_process = require("child_process");
 var import_node_fs = require("fs");
 var import_node_os = __toESM(require("os"), 1);
 var import_node_path = __toESM(require("path"), 1);
+
+// src/result.ts
+function compactRecord(input) {
+  return Object.fromEntries(Object.entries(input).filter(([, value]) => value !== void 0 && value !== null && value !== ""));
+}
+
+// src/codex-exec-agent.ts
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
@@ -166,10 +173,10 @@ var PROOF_SCHEMA = {
     source: { type: "string", enum: ["supervising_agent"] }
   }
 };
-var PROMPT_STRING_LIMIT = 2e3;
-var PROMPT_ARRAY_LIMIT = 12;
-var PROMPT_OBJECT_KEY_LIMIT = 70;
-var PROMPT_BLOCK_LIMIT = 12e4;
+var PROMPT_STRING_LIMIT = 1400;
+var PROMPT_ARRAY_LIMIT = 8;
+var PROMPT_OBJECT_KEY_LIMIT = 50;
+var PROMPT_BLOCK_LIMIT = 7e4;
 var PROMPT_KEY_PRIORITY = [
   "ok",
   "status",
@@ -191,6 +198,16 @@ var PROMPT_KEY_PRIORITY = [
   "after_cdn",
   "before_baseline",
   "prod_baseline",
+  "route_hints",
+  "route_candidates",
+  "keyword_hits",
+  "observations",
+  "latest_attempt",
+  "attempt_history",
+  "current_plan",
+  "plan_history",
+  "decision_history",
+  "refined_inputs",
   "recon_assessment",
   "baseline_understanding",
   "supervisor_author_packet",
@@ -214,6 +231,7 @@ var PROMPT_KEY_PRIORITY = [
   "shipGate",
   "last_error",
   "errors",
+  "runtime_events",
   "events"
 ];
 var PROMPT_PRIORITY_INDEX = new Map(PROMPT_KEY_PRIORITY.map((key, index) => [key, index]));
@@ -230,7 +248,7 @@ function compactPromptValue(value, depth = 0, key = "") {
     if (!looksLikeUrl && (lowerKey.includes("base64") || lowerKey.includes("data_url") || lowerKey.includes("screenshot_blob"))) {
       return `[omitted ${value.length} chars from ${key || "large artifact"}]`;
     }
-    const limit = looksLikeUrl ? 1e3 : depth <= 1 ? PROMPT_STRING_LIMIT : 1200;
+    const limit = looksLikeUrl ? 1e3 : depth <= 1 ? PROMPT_STRING_LIMIT : 900;
     return truncatePromptString(value, limit);
   }
   if (Array.isArray(value)) {
@@ -361,11 +379,39 @@ function isHarnessVerificationOnlyBlocker(blocker) {
   const text = blocker.toLowerCase();
   return (text.includes("erofs") || text.includes("read-only file system")) && text.includes("node_modules") && (text.includes(".vite-temp") || text.includes("vite.config"));
 }
+function runnerMetrics(input) {
+  const schemaText = JSON.stringify(input.request.schema);
+  const finishedAt = (/* @__PURE__ */ new Date()).toISOString();
+  return compactRecord({
+    purpose: input.request.purpose,
+    workdir: input.request.workdir,
+    started_at: input.startedAt,
+    finished_at: finishedAt,
+    duration_ms: Date.now() - input.startedMs,
+    prompt_chars: input.request.prompt.length,
+    prompt_lines: input.request.prompt.split(/\r?\n/).length,
+    schema_chars: schemaText.length,
+    stdout_chars: (input.stdout || "").length,
+    stderr_chars: (input.stderr || "").length,
+    final_message_chars: (input.finalText || "").length,
+    exit_status: input.status ?? null,
+    timed_out: input.timedOut || false,
+    error_code: input.errorCode,
+    codex_command: input.config.codexCommand || "codex",
+    codex_model: input.config.codexModel,
+    codex_sandbox: input.config.codexSandbox || "workspace-write",
+    codex_full_auto: input.config.codexFullAuto !== false,
+    timeout_ms: Number(input.config.codexTimeoutMs || 6e5)
+  });
+}
 function createCodexExecJsonRunner(config = {}) {
   return (request) => {
+    const startedAt = (/* @__PURE__ */ new Date()).toISOString();
+    const startedMs = Date.now();
     if (!request.workdir || !(0, import_node_fs.existsSync)(request.workdir)) {
       return {
         ok: false,
+        metrics: runnerMetrics({ request, config, startedAt, startedMs, errorCode: "workdir_missing" }),
         blocker: {
           code: "codex_workdir_missing",
           message: `Codex workdir does not exist for ${request.purpose}.`,
@@ -410,6 +456,17 @@ function createCodexExecJsonRunner(config = {}) {
           ok: false,
           stdout: proc.stdout || "",
           stderr: proc.stderr || "",
+          metrics: runnerMetrics({
+            request,
+            config,
+            startedAt,
+            startedMs,
+            stdout: proc.stdout || "",
+            stderr: proc.stderr || "",
+            status: proc.status,
+            timedOut,
+            errorCode: proc.error.code || "spawn_error"
+          }),
           blocker: {
             code: timedOut ? "codex_timeout" : "codex_exec_error",
             message: timedOut ? `Codex timed out during ${request.purpose}.` : `Codex failed to start or complete ${request.purpose}.`,
@@ -422,6 +479,16 @@ function createCodexExecJsonRunner(config = {}) {
           ok: false,
           stdout: proc.stdout || "",
           stderr: proc.stderr || "",
+          metrics: runnerMetrics({
+            request,
+            config,
+            startedAt,
+            startedMs,
+            stdout: proc.stdout || "",
+            stderr: proc.stderr || "",
+            status: proc.status,
+            errorCode: "nonzero_exit"
+          }),
           blocker: {
             code: "codex_nonzero_exit",
             message: `Codex exited with status ${proc.status} during ${request.purpose}.`,
@@ -436,6 +503,17 @@ function createCodexExecJsonRunner(config = {}) {
           ok: false,
           stdout: proc.stdout || "",
           stderr: proc.stderr || "",
+          metrics: runnerMetrics({
+            request,
+            config,
+            startedAt,
+            startedMs,
+            stdout: proc.stdout || "",
+            stderr: proc.stderr || "",
+            finalText,
+            status: proc.status,
+            errorCode: "invalid_json"
+          }),
           blocker: {
             code: "codex_invalid_json",
             message: `Codex completed ${request.purpose}, but did not return valid JSON.`,
@@ -447,7 +525,17 @@ function createCodexExecJsonRunner(config = {}) {
         ok: true,
         json: parsed,
         stdout: proc.stdout || "",
-        stderr: proc.stderr || ""
+        stderr: proc.stderr || "",
+        metrics: runnerMetrics({
+          request,
+          config,
+          startedAt,
+          startedMs,
+          stdout: proc.stdout || "",
+          stderr: proc.stderr || "",
+          finalText,
+          status: proc.status
+        })
       };
     } finally {
       (0, import_node_fs.rmSync)(tmpDir, { recursive: true, force: true });
@@ -468,14 +556,21 @@ function payloadOrBlocker(raw, checkpoint) {
       ok: false,
       blocker: {
         ...blocker,
-        checkpoint
+        checkpoint,
+        details: {
+          ...blocker.details || {},
+          runner_metrics: raw.metrics || null
+        }
       }
     };
   }
   return {
     ok: true,
     payload: raw.json,
-    summary: typeof raw.json.summary === "string" ? raw.json.summary : void 0
+    summary: typeof raw.json.summary === "string" ? raw.json.summary : void 0,
+    details: compactRecord({
+      runner_metrics: raw.metrics || null
+    })
   };
 }
 function stringArray(value) {
@@ -611,14 +706,16 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           agent_summary: summary,
           agent_changed_files: changedFiles,
           agent_tests_run: testsRun,
-          agent_blockers: blockers
+          agent_blockers: blockers,
+          runner_metrics: raw.metrics || null
         };
         attemptSummaries.push({
           purpose,
           summary,
           changed_files: changedFiles,
           tests_run: testsRun,
-          blockers
+          blockers,
+          runner_metrics: raw.metrics || null
         });
         if (hardBlockers.length) {
           return {

package/dist/local-agent.js

@@ -3,7 +3,8 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-NOBFZDZG.js";
+} from "./chunk-YW77WDTR.js";
+import "./chunk-DUFDZJOF.js";
 export {
   createCodexExecAgentAdapter as createLocalAgentAdapter,
   createCodexExecJsonRunner as createLocalAgentJsonRunner,

package/dist/openclaw.js

@@ -1,8 +1,8 @@
 import {
   normalizeIntegrationContext,
   normalizeRunParams
-} from "./chunk-JOXTKWX6.js";
-import "./chunk-PLSGW2GI.js";
+} from "./chunk-U7Q3RB5D.js";
+import "./chunk-CI2F66EE.js";
 import "./chunk-R6SCWJCI.js";
 import {
   compactRecord

package/dist/proof-run-core.d.cts

@@ -115,7 +115,7 @@ declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeo
     target_image_hash: string;
     viewport_matrix_json: string;
     deterministic_setup_json: string;
-    reference: "prod" | "before" | "both";
+    reference: "before" | "prod" | "both";
     base_branch: string;
     before_ref: string;
     allow_static_preview_fallback: string;

package/dist/proof-run-core.d.ts

@@ -115,7 +115,7 @@ declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeo
     target_image_hash: string;
     viewport_matrix_json: string;
     deterministic_setup_json: string;
-    reference: "prod" | "before" | "both";
+    reference: "before" | "prod" | "both";
     base_branch: string;
     before_ref: string;
     allow_static_preview_fallback: string;

package/dist/proof-run-engine.cjs

@@ -1745,9 +1745,27 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     }
     return "inspect the ship gate details, repair the missing invariant, then resume the run";
   };
+  const shipGateRecoveryStage = (shipGate) => {
+    const reasons = shipGate.reasons || [];
+    if (reasons.some((reason) => reason.includes("before_cdn") || reason.includes("prod_cdn") || reason.includes("prod_url"))) {
+      return "recon";
+    }
+    if (reasons.some((reason) => reason.includes("implementation"))) {
+      return "implement";
+    }
+    if (reasons.some((reason) => reason.includes("after_cdn") || reason.includes("verify_status") || reason.includes("visual_delta"))) {
+      return "verify";
+    }
+    if (reasons.some((reason) => reason.includes("proof_assessment"))) {
+      return "verify";
+    }
+    return "verify";
+  };
   const shipGateBlocked = (state, executed, details = {}) => {
     const shipGate = validateShipGate(state);
     const nextAction = primaryShipGateNextAction(shipGate);
+    const recoveryStage = shipGateRecoveryStage(shipGate);
+    const advanceOptions = Array.from(/* @__PURE__ */ new Set([recoveryStage, "verify", "author", "implement", "recon", "ship"]));
     return checkpoint(
       "verify",
       "ship_gate_blocked",
@@ -1755,12 +1773,13 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       {
         ok: false,
         nextActions: ["inspect_ship_gate", "advance_run_to_verify", "supply_proof_assessment_json", "return_to_recon_if_baseline_is_missing"],
-        advanceOptions: ["verify", "author", "implement", "recon"],
-        recommendedAdvanceStage: "verify",
-        continueWithStage: "verify",
+        advanceOptions,
+        recommendedAdvanceStage: recoveryStage,
+        continueWithStage: recoveryStage,
         blocking: true,
-        details: { ...details, shipGate, next_action: nextAction, executed },
+        details: { ...details, shipGate, next_action: nextAction, recovery_stage: recoveryStage, executed },
         nextAction,
+        recoveryStage,
         shipGate,
         verifyStatus: state?.verify_status || null,
         mergeRecommendation: state?.merge_recommendation || null,

package/dist/proof-run-engine.d.cts

@@ -277,7 +277,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     blocking?: boolean;
     details?: Record<string, unknown>;
     ok: boolean;
-    action: "run" | "ship" | "setup" | "recon" | "author" | "implement" | "verify";
+    action: "recon" | "author" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     summary: string;
@@ -362,7 +362,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     continueWithStage?: WorkflowStage | null;
     blocking?: boolean;
     details?: Record<string, unknown>;
-    action: "run" | "ship" | "setup" | "recon" | "author" | "implement" | "verify";
+    action: "recon" | "author" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     checkpoint: string;
@@ -624,7 +624,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     error?: undefined;
 } | {
     ok: boolean;
-    action: "run" | "ship" | "setup" | "recon" | "author" | "implement" | "verify";
+    action: "recon" | "author" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     summary: string;

package/dist/proof-run-engine.d.ts

@@ -277,7 +277,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     blocking?: boolean;
     details?: Record<string, unknown>;
     ok: boolean;
-    action: "run" | "ship" | "setup" | "recon" | "author" | "implement" | "verify";
+    action: "recon" | "author" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     summary: string;
@@ -362,7 +362,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     continueWithStage?: WorkflowStage | null;
     blocking?: boolean;
     details?: Record<string, unknown>;
-    action: "run" | "ship" | "setup" | "recon" | "author" | "implement" | "verify";
+    action: "recon" | "author" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     checkpoint: string;
@@ -624,7 +624,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     error?: undefined;
 } | {
     ok: boolean;
-    action: "run" | "ship" | "setup" | "recon" | "author" | "implement" | "verify";
+    action: "recon" | "author" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     summary: string;

package/dist/proof-run-engine.js

@@ -781,9 +781,27 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     }
     return "inspect the ship gate details, repair the missing invariant, then resume the run";
   };
+  const shipGateRecoveryStage = (shipGate) => {
+    const reasons = shipGate.reasons || [];
+    if (reasons.some((reason) => reason.includes("before_cdn") || reason.includes("prod_cdn") || reason.includes("prod_url"))) {
+      return "recon";
+    }
+    if (reasons.some((reason) => reason.includes("implementation"))) {
+      return "implement";
+    }
+    if (reasons.some((reason) => reason.includes("after_cdn") || reason.includes("verify_status") || reason.includes("visual_delta"))) {
+      return "verify";
+    }
+    if (reasons.some((reason) => reason.includes("proof_assessment"))) {
+      return "verify";
+    }
+    return "verify";
+  };
   const shipGateBlocked = (state, executed, details = {}) => {
     const shipGate = validateShipGate(state);
     const nextAction = primaryShipGateNextAction(shipGate);
+    const recoveryStage = shipGateRecoveryStage(shipGate);
+    const advanceOptions = Array.from(/* @__PURE__ */ new Set([recoveryStage, "verify", "author", "implement", "recon", "ship"]));
     return checkpoint(
       "verify",
       "ship_gate_blocked",
@@ -791,12 +809,13 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       {
         ok: false,
         nextActions: ["inspect_ship_gate", "advance_run_to_verify", "supply_proof_assessment_json", "return_to_recon_if_baseline_is_missing"],
-        advanceOptions: ["verify", "author", "implement", "recon"],
-        recommendedAdvanceStage: "verify",
-        continueWithStage: "verify",
+        advanceOptions,
+        recommendedAdvanceStage: recoveryStage,
+        continueWithStage: recoveryStage,
         blocking: true,
-        details: { ...details, shipGate, next_action: nextAction, executed },
+        details: { ...details, shipGate, next_action: nextAction, recovery_stage: recoveryStage, executed },
         nextAction,
+        recoveryStage,
         shipGate,
         verifyStatus: state?.verify_status || null,
         mergeRecommendation: state?.merge_recommendation || null,

package/dist/run-card.cjs

@@ -81,6 +81,68 @@ function compactText(value, limit = 600) {
   if (!text) return void 0;
   return text.length <= limit ? text : `${text.slice(0, limit - 20).trimEnd()}...`;
 }
+function numericValue(value) {
+  const number = typeof value === "number" ? value : typeof value === "string" ? Number(value) : NaN;
+  return Number.isFinite(number) ? number : void 0;
+}
+function eventDetails(event) {
+  return recordValue(recordValue(event)?.details) || {};
+}
+function collectRunnerMetrics(details) {
+  const metrics = [];
+  const adapterDetails = recordValue(details.adapter_details);
+  const direct = recordValue(adapterDetails?.runner_metrics);
+  if (direct) metrics.push(direct);
+  const attempts = Array.isArray(adapterDetails?.attempt_summaries) ? adapterDetails.attempt_summaries : [];
+  for (const attempt of attempts) {
+    const attemptMetrics = recordValue(recordValue(attempt)?.runner_metrics);
+    if (attemptMetrics) metrics.push(attemptMetrics);
+  }
+  return metrics;
+}
+function observabilityFrom(state) {
+  const engineEvents = state.events.filter((event) => event.kind === "engine.result").map((event) => ({ event, details: eventDetails(event) }));
+  const agentEvents = state.events.filter((event) => event.kind.startsWith("agent.")).map((event) => ({ event, details: eventDetails(event) })).filter(({ details }) => numericValue(details.duration_ms) !== void 0);
+  const retryEvents = state.events.filter((event) => /retry|recovery/i.test(event.kind) || /retry|recovery/i.test(event.summary || "")).slice(-8);
+  const runnerMetrics = agentEvents.flatMap(({ details }) => collectRunnerMetrics(details));
+  const promptChars = runnerMetrics.map((metrics) => numericValue(metrics.prompt_chars)).filter((value) => value !== void 0);
+  const sum = (values) => values.reduce((total, value) => total + (value ?? 0), 0);
+  const recentEngineTimings = engineEvents.slice(-8).map(({ event, details }) => compactRecord({
+    checkpoint: event.checkpoint || null,
+    stage: event.stage || null,
+    duration_ms: numericValue(details.duration_ms),
+    ok: details.ok ?? null
+  }));
+  const recentAgentTimings = agentEvents.slice(-8).map(({ event, details }) => {
+    const metrics = collectRunnerMetrics(details);
+    const localPromptChars = metrics.map((item) => numericValue(item.prompt_chars)).filter((value) => value !== void 0);
+    return compactRecord({
+      kind: event.kind,
+      checkpoint: event.checkpoint || null,
+      stage: event.stage || null,
+      duration_ms: numericValue(details.duration_ms),
+      prompt_chars: localPromptChars.length ? Math.max(...localPromptChars) : void 0,
+      attempt_count: numericValue(recordValue(details.adapter_details)?.attempt_count)
+    });
+  });
+  return compactRecord({
+    engine_call_count: engineEvents.length,
+    agent_call_count: agentEvents.length,
+    engine_total_ms: sum(engineEvents.map(({ details }) => numericValue(details.duration_ms))),
+    agent_total_ms: sum(agentEvents.map(({ details }) => numericValue(details.duration_ms))),
+    max_agent_prompt_chars: promptChars.length ? Math.max(...promptChars) : void 0,
+    total_agent_prompt_chars: promptChars.length ? sum(promptChars) : void 0,
+    recent_engine_timings: recentEngineTimings.length ? recentEngineTimings : void 0,
+    recent_agent_timings: recentAgentTimings.length ? recentAgentTimings : void 0,
+    retry_event_count: retryEvents.length,
+    recent_retry_reasons: retryEvents.length ? retryEvents.map((event) => compactRecord({
+      kind: event.kind,
+      checkpoint: event.checkpoint || null,
+      stage: event.stage || null,
+      summary: compactText(event.summary, 240)
+    })) : void 0
+  });
+}
 function visualDeltaFrom(input) {
   const fullState = input.fullRiddleState || {};
   const bundle = recordValue(fullState.evidence_bundle);
@@ -193,6 +255,7 @@ function createRiddleProofRunCard(state, input = {}) {
       proof_evidence_present: fullState.proof_evidence_present === true || Boolean(bundle?.proof_evidence || bundle?.proof_evidence_sample),
       artifacts
     }),
+    observability: observabilityFrom(state),
     stop_condition: compactRecord({
       status: state.status,
       terminal: isTerminalStatus(state.status),

package/dist/run-card.js

@@ -1,7 +1,7 @@
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-PLSGW2GI.js";
+} from "./chunk-CI2F66EE.js";
 import "./chunk-R6SCWJCI.js";
 import "./chunk-DUFDZJOF.js";
 export {

package/dist/runner.js

@@ -1,8 +1,8 @@
 import {
   runRiddleProof
-} from "./chunk-N3ZNBRIG.js";
-import "./chunk-JOXTKWX6.js";
-import "./chunk-PLSGW2GI.js";
+} from "./chunk-YJPQOAZG.js";
+import "./chunk-U7Q3RB5D.js";
+import "./chunk-CI2F66EE.js";
 import "./chunk-R6SCWJCI.js";
 import "./chunk-DUFDZJOF.js";
 export {

package/dist/state.cjs

@@ -89,6 +89,68 @@ function compactText(value, limit = 600) {
   if (!text) return void 0;
   return text.length <= limit ? text : `${text.slice(0, limit - 20).trimEnd()}...`;
 }
+function numericValue(value) {
+  const number = typeof value === "number" ? value : typeof value === "string" ? Number(value) : NaN;
+  return Number.isFinite(number) ? number : void 0;
+}
+function eventDetails(event) {
+  return recordValue(recordValue(event)?.details) || {};
+}
+function collectRunnerMetrics(details) {
+  const metrics = [];
+  const adapterDetails = recordValue(details.adapter_details);
+  const direct = recordValue(adapterDetails?.runner_metrics);
+  if (direct) metrics.push(direct);
+  const attempts = Array.isArray(adapterDetails?.attempt_summaries) ? adapterDetails.attempt_summaries : [];
+  for (const attempt of attempts) {
+    const attemptMetrics = recordValue(recordValue(attempt)?.runner_metrics);
+    if (attemptMetrics) metrics.push(attemptMetrics);
+  }
+  return metrics;
+}
+function observabilityFrom(state) {
+  const engineEvents = state.events.filter((event) => event.kind === "engine.result").map((event) => ({ event, details: eventDetails(event) }));
+  const agentEvents = state.events.filter((event) => event.kind.startsWith("agent.")).map((event) => ({ event, details: eventDetails(event) })).filter(({ details }) => numericValue(details.duration_ms) !== void 0);
+  const retryEvents = state.events.filter((event) => /retry|recovery/i.test(event.kind) || /retry|recovery/i.test(event.summary || "")).slice(-8);
+  const runnerMetrics = agentEvents.flatMap(({ details }) => collectRunnerMetrics(details));
+  const promptChars = runnerMetrics.map((metrics) => numericValue(metrics.prompt_chars)).filter((value) => value !== void 0);
+  const sum = (values) => values.reduce((total, value) => total + (value ?? 0), 0);
+  const recentEngineTimings = engineEvents.slice(-8).map(({ event, details }) => compactRecord({
+    checkpoint: event.checkpoint || null,
+    stage: event.stage || null,
+    duration_ms: numericValue(details.duration_ms),
+    ok: details.ok ?? null
+  }));
+  const recentAgentTimings = agentEvents.slice(-8).map(({ event, details }) => {
+    const metrics = collectRunnerMetrics(details);
+    const localPromptChars = metrics.map((item) => numericValue(item.prompt_chars)).filter((value) => value !== void 0);
+    return compactRecord({
+      kind: event.kind,
+      checkpoint: event.checkpoint || null,
+      stage: event.stage || null,
+      duration_ms: numericValue(details.duration_ms),
+      prompt_chars: localPromptChars.length ? Math.max(...localPromptChars) : void 0,
+      attempt_count: numericValue(recordValue(details.adapter_details)?.attempt_count)
+    });
+  });
+  return compactRecord({
+    engine_call_count: engineEvents.length,
+    agent_call_count: agentEvents.length,
+    engine_total_ms: sum(engineEvents.map(({ details }) => numericValue(details.duration_ms))),
+    agent_total_ms: sum(agentEvents.map(({ details }) => numericValue(details.duration_ms))),
+    max_agent_prompt_chars: promptChars.length ? Math.max(...promptChars) : void 0,
+    total_agent_prompt_chars: promptChars.length ? sum(promptChars) : void 0,
+    recent_engine_timings: recentEngineTimings.length ? recentEngineTimings : void 0,
+    recent_agent_timings: recentAgentTimings.length ? recentAgentTimings : void 0,
+    retry_event_count: retryEvents.length,
+    recent_retry_reasons: retryEvents.length ? retryEvents.map((event) => compactRecord({
+      kind: event.kind,
+      checkpoint: event.checkpoint || null,
+      stage: event.stage || null,
+      summary: compactText(event.summary, 240)
+    })) : void 0
+  });
+}
 function visualDeltaFrom(input) {
   const fullState = input.fullRiddleState || {};
   const bundle = recordValue(fullState.evidence_bundle);
@@ -201,6 +263,7 @@ function createRiddleProofRunCard(state, input = {}) {
       proof_evidence_present: fullState.proof_evidence_present === true || Boolean(bundle?.proof_evidence || bundle?.proof_evidence_sample),
       artifacts
     }),
+    observability: observabilityFrom(state),
     stop_condition: compactRecord({
       status: state.status,
       terminal: isTerminalStatus(state.status),

package/dist/state.js

@@ -9,8 +9,8 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-JOXTKWX6.js";
-import "./chunk-PLSGW2GI.js";
+} from "./chunk-U7Q3RB5D.js";
+import "./chunk-CI2F66EE.js";
 import "./chunk-R6SCWJCI.js";
 import "./chunk-DUFDZJOF.js";
 export {

package/dist/types.d.cts

@@ -199,6 +199,18 @@ interface RiddleProofRunCard {
         proof_evidence_present?: boolean;
         artifacts?: RiddleProofCheckpointArtifact[];
     };
+    observability?: {
+        engine_call_count?: number;
+        agent_call_count?: number;
+        engine_total_ms?: number;
+        agent_total_ms?: number;
+        max_agent_prompt_chars?: number;
+        total_agent_prompt_chars?: number;
+        recent_engine_timings?: Array<Record<string, unknown>>;
+        recent_agent_timings?: Array<Record<string, unknown>>;
+        retry_event_count?: number;
+        recent_retry_reasons?: Array<Record<string, unknown>>;
+    };
     stop_condition: {
         status: RiddleProofStatus;
         terminal?: boolean;