@riddledc/riddle-proof 0.5.44 → 0.5.46

package/dist/state.cjs

@@ -1,7 +1,9 @@
 "use strict";
+var __create = Object.create;
 var __defProp = Object.defineProperty;
 var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
 var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
 var __hasOwnProp = Object.prototype.hasOwnProperty;
 var __export = (target, all) => {
   for (var name in all)
@@ -15,6 +17,14 @@ var __copyProps = (to, from, except, desc) => {
   }
   return to;
 };
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
 var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
 
 // src/state.ts
@@ -47,6 +57,163 @@ function recordValue(value) {
   return value && typeof value === "object" && !Array.isArray(value) ? value : void 0;
 }
 
+// src/checkpoint.ts
+var import_node_crypto = __toESM(require("crypto"), 1);
+function statePathsForRunState(state, engineStatePath) {
+  return compactRecord({
+    wrapper_state_path: state.state_path || state.request.harness_state_path || null,
+    engine_state_path: engineStatePath || state.request.engine_state_path || null,
+    resume_state_path: engineStatePath || state.request.engine_state_path || null
+  });
+}
+
+// src/run-card.ts
+var RIDDLE_PROOF_RUN_CARD_VERSION = "riddle-proof.run-card.v1";
+function elapsedMs(start, end) {
+  const startMs = start ? Date.parse(start) : NaN;
+  const endMs = end ? Date.parse(end) : NaN;
+  if (!Number.isFinite(startMs) || !Number.isFinite(endMs)) return void 0;
+  return Math.max(0, endMs - startMs);
+}
+function jsonCloneRecord(value) {
+  const record = recordValue(value);
+  if (!record) return void 0;
+  try {
+    return JSON.parse(JSON.stringify(record));
+  } catch {
+    return { ...record };
+  }
+}
+function compactText(value, limit = 600) {
+  const text = nonEmptyString(value);
+  if (!text) return void 0;
+  return text.length <= limit ? text : `${text.slice(0, limit - 20).trimEnd()}...`;
+}
+function visualDeltaFrom(input) {
+  const fullState = input.fullRiddleState || {};
+  const bundle = recordValue(fullState.evidence_bundle);
+  const after = recordValue(bundle?.after);
+  const afterDelta = recordValue(after?.visual_delta);
+  if (afterDelta && Object.keys(afterDelta).length) return afterDelta;
+  const requestDelta = recordValue(recordValue(fullState.proof_assessment_request)?.visual_delta);
+  if (requestDelta && Object.keys(requestDelta).length) return requestDelta;
+  const packetDelta = recordValue(input.runState.checkpoint_packet?.evidence_excerpt?.visual_delta);
+  return packetDelta && Object.keys(packetDelta).length ? packetDelta : void 0;
+}
+function artifactsFrom(input) {
+  const packetArtifacts = input.runState.checkpoint_packet?.artifacts;
+  if (packetArtifacts?.length) return packetArtifacts.slice(0, 12);
+  const fullState = input.fullRiddleState || {};
+  const artifacts = [];
+  for (const role of ["before", "prod", "after"]) {
+    const url = nonEmptyString(fullState[`${role}_cdn`]) || nonEmptyString(input.runState[`${role}_artifact_url`]);
+    if (url) artifacts.push({ role, url, name: `${role}.png`, mime_type: "image/png" });
+  }
+  return artifacts.length ? artifacts : void 0;
+}
+function ownerFor(state) {
+  if (state.status === "awaiting_checkpoint") {
+    const role = nonEmptyString(state.checkpoint_packet?.routing_hint?.suggested_role);
+    return role || "supervising_agent";
+  }
+  if (state.status === "running") return "engine";
+  if (state.status === "blocked" || state.status === "failed") return "human_or_operator";
+  return "none";
+}
+function actionFor(state) {
+  if (state.status === "awaiting_checkpoint") return state.checkpoint_packet?.question || "Answer the pending checkpoint.";
+  if (state.status === "running") return "Continue the current Riddle Proof stage.";
+  if (state.status === "blocked" || state.status === "failed") return state.blocker?.message || "Inspect the blocker and decide whether a new run or infrastructure repair is needed.";
+  if (state.status === "ready_to_ship") return "Ship is held by policy; review PR/ship policy before advancing.";
+  return "No next action; run is terminal.";
+}
+function evidenceIssueCode(input) {
+  const packetIssue = nonEmptyString(input.runState.checkpoint_packet?.evidence_excerpt?.evidence_issue_code);
+  if (packetIssue) return packetIssue;
+  const assessmentIssue = nonEmptyString(recordValue(input.fullRiddleState?.proof_assessment)?.evidence_issue_code);
+  if (assessmentIssue) return assessmentIssue;
+  const delta = visualDeltaFrom(input);
+  const status = nonEmptyString(delta?.status);
+  if (status === "unmeasured") {
+    const reason = `${nonEmptyString(delta?.reason) || ""}
+${input.runState.blocker?.message || ""}`.toLowerCase();
+    return reason.includes("fetch") || reason.includes("allowlist") || reason.includes("registered domain") || reason.includes("high risk") || reason.includes("comparator") ? "comparator_fetch_blocked" : "visual_delta_unmeasured";
+  }
+  if (status === "measured" && delta?.passed === false) return "semantic_proof_failed";
+  return void 0;
+}
+function createRiddleProofRunCard(state, input = {}) {
+  const at = input.at || (/* @__PURE__ */ new Date()).toISOString();
+  const fullState = input.fullRiddleState || {};
+  const packet = state.checkpoint_packet;
+  const latestEvent = state.events[state.events.length - 1];
+  const bundle = recordValue(fullState.evidence_bundle);
+  const artifactContract = jsonCloneRecord(packet?.artifact_contract) || jsonCloneRecord(recordValue(fullState.proof_assessment_request)?.artifact_contract) || jsonCloneRecord(recordValue(bundle?.artifact_contract)) || jsonCloneRecord(state.proof_contract?.artifact_contract);
+  const required = jsonCloneRecord(recordValue(artifactContract)?.required);
+  const statePaths = input.state_paths || state.state_paths || statePathsForRunState(state);
+  const visualDelta = visualDeltaFrom({ fullRiddleState: fullState, runState: state });
+  const artifacts = artifactsFrom({ fullRiddleState: fullState, runState: state });
+  return {
+    version: RIDDLE_PROOF_RUN_CARD_VERSION,
+    run_id: state.run_id || "unknown",
+    status: state.status,
+    goal: compactRecord({
+      repo: state.request.repo || nonEmptyString(fullState.repo),
+      branch: state.request.branch || nonEmptyString(fullState.branch),
+      change_request: state.request.change_request || nonEmptyString(fullState.change_request),
+      verification_mode: state.request.verification_mode || nonEmptyString(fullState.verification_mode),
+      success_criteria: state.request.success_criteria
+    }),
+    durable_state: compactRecord({
+      ...statePaths,
+      worktree_path: state.worktree_path || nonEmptyString(fullState.after_worktree) || null,
+      branch: state.branch || nonEmptyString(fullState.branch) || null
+    }),
+    current_phase: compactRecord({
+      stage: state.current_stage ?? null,
+      checkpoint: state.last_checkpoint ?? packet?.checkpoint ?? null,
+      latest_event: latestEvent?.kind ?? null,
+      elapsed_ms: elapsedMs(state.created_at, at),
+      stage_elapsed_ms: elapsedMs(state.stage_started_at, at),
+      iterations: state.iterations
+    }),
+    owner_next_action: compactRecord({
+      owner: ownerFor(state),
+      action: actionFor(state),
+      checkpoint_kind: packet?.kind || null,
+      allowed_decisions: packet?.allowed_decisions,
+      retryable: state.status === "running" || state.status === "awaiting_checkpoint",
+      reason: state.blocker?.code || packet?.summary || latestEvent?.summary || null
+    }),
+    evidence_contract: compactRecord({
+      verification_mode: state.request.verification_mode || nonEmptyString(fullState.verification_mode),
+      required,
+      artifact_contract: artifactContract,
+      proof_plan: compactText(state.proof_contract?.proof_plan || fullState.proof_plan, 600),
+      stop_condition: compactText(state.proof_contract?.stop_condition, 400)
+    }),
+    latest_evidence: compactRecord({
+      before_url: nonEmptyString(fullState.before_cdn) || state.before_artifact_url || null,
+      prod_url: nonEmptyString(fullState.prod_cdn) || state.prod_artifact_url || null,
+      after_url: nonEmptyString(fullState.after_cdn) || state.after_artifact_url || null,
+      visual_delta: visualDelta || null,
+      evidence_issue_code: evidenceIssueCode({ fullRiddleState: fullState, runState: state }) || null,
+      proof_evidence_present: fullState.proof_evidence_present === true || Boolean(bundle?.proof_evidence || bundle?.proof_evidence_sample),
+      artifacts
+    }),
+    stop_condition: compactRecord({
+      status: state.status,
+      terminal: isTerminalStatus(state.status),
+      blocker_code: state.blocker?.code || null,
+      blocker_message: state.blocker?.message || null,
+      proof_decision: state.proof_decision,
+      merge_recommendation: state.merge_recommendation,
+      monitor_should_continue: !isTerminalStatus(state.status)
+    }),
+    updated_at: state.updated_at
+  };
+}
+
 // src/state.ts
 var RIDDLE_PROOF_RUN_STATE_VERSION = "riddle-proof.run-state.v1";
 function timestamp() {
@@ -57,7 +224,7 @@ function createRunId(createdAt) {
   const entropy = Math.random().toString(36).slice(2, 8) || "run";
   return `rp_${stamp}_${entropy}`;
 }
-function elapsedMs(start, end) {
+function elapsedMs2(start, end) {
   const startMs = start ? Date.parse(start) : NaN;
   const endMs = end ? Date.parse(end) : NaN;
   if (!Number.isFinite(startMs) || !Number.isFinite(endMs)) return void 0;
@@ -173,6 +340,7 @@ function createRunState(input) {
     checkpoint_summary: input.checkpoint_summary,
     state_paths: input.state_paths,
     proof_contract: input.proof_contract,
+    run_card: input.run_card,
     checkpoint_history: input.checkpoint_history,
     events: input.events ? [...input.events] : []
   });
@@ -211,8 +379,8 @@ function appendStageHeartbeat(state, input) {
     stage: input.stage,
     summary: input.summary || `${input.stage} stage is active.`,
     details: compactRecord({
-      elapsed_ms: elapsedMs(state.created_at, at),
-      stage_elapsed_ms: elapsedMs(state.stage_started_at, at),
+      elapsed_ms: elapsedMs2(state.created_at, at),
+      stage_elapsed_ms: elapsedMs2(state.stage_started_at, at),
       wait_reason: input.wait_reason,
       blocker: input.blocker,
       ...input.details
@@ -244,13 +412,14 @@ function createRunStatusSnapshot(state, at = timestamp()) {
     iterations: state.iterations,
     last_checkpoint: state.last_checkpoint ?? null,
     updated_at: state.updated_at,
-    elapsed_ms: elapsedMs(state.created_at, at),
-    stage_elapsed_ms: elapsedMs(state.stage_started_at, at),
+    elapsed_ms: elapsedMs2(state.created_at, at),
+    stage_elapsed_ms: elapsedMs2(state.stage_started_at, at),
     blocker: state.blocker,
     checkpoint_packet: state.checkpoint_packet,
     checkpoint_summary: state.checkpoint_summary,
     state_paths: state.state_paths,
     proof_contract: state.proof_contract,
+    run_card: createRiddleProofRunCard(state, { at }),
     latest_event: latestEvent
   });
 }

package/dist/state.d.cts

@@ -1,4 +1,4 @@
-import { RiddleProofRunParams, RiddleProofStatus, RiddleProofStage, RiddleProofCheckpointPacket, RiddleProofCheckpointSummary, RiddleProofStatePaths, RiddleProofProofContract, RiddleProofCheckpointResponse, RiddleProofEvent, RiddleProofRunState, RiddleProofPrLifecycleState, RiddleProofRunStatusSnapshot, IntegrationContext } from './types.cjs';
+import { RiddleProofRunParams, RiddleProofStatus, RiddleProofStage, RiddleProofCheckpointPacket, RiddleProofCheckpointSummary, RiddleProofStatePaths, RiddleProofProofContract, RiddleProofRunCard, RiddleProofCheckpointResponse, RiddleProofEvent, RiddleProofRunState, RiddleProofPrLifecycleState, RiddleProofRunStatusSnapshot, IntegrationContext } from './types.cjs';
 
 declare const RIDDLE_PROOF_RUN_STATE_VERSION: "riddle-proof.run-state.v1";
 interface CreateRunStateInput {
@@ -18,6 +18,7 @@ interface CreateRunStateInput {
     checkpoint_summary?: RiddleProofCheckpointSummary;
     state_paths?: RiddleProofStatePaths;
     proof_contract?: RiddleProofProofContract;
+    run_card?: RiddleProofRunCard;
     checkpoint_history?: Array<{
         ts: string;
         packet?: RiddleProofCheckpointPacket;

package/dist/state.d.ts

@@ -1,4 +1,4 @@
-import { RiddleProofRunParams, RiddleProofStatus, RiddleProofStage, RiddleProofCheckpointPacket, RiddleProofCheckpointSummary, RiddleProofStatePaths, RiddleProofProofContract, RiddleProofCheckpointResponse, RiddleProofEvent, RiddleProofRunState, RiddleProofPrLifecycleState, RiddleProofRunStatusSnapshot, IntegrationContext } from './types.js';
+import { RiddleProofRunParams, RiddleProofStatus, RiddleProofStage, RiddleProofCheckpointPacket, RiddleProofCheckpointSummary, RiddleProofStatePaths, RiddleProofProofContract, RiddleProofRunCard, RiddleProofCheckpointResponse, RiddleProofEvent, RiddleProofRunState, RiddleProofPrLifecycleState, RiddleProofRunStatusSnapshot, IntegrationContext } from './types.js';
 
 declare const RIDDLE_PROOF_RUN_STATE_VERSION: "riddle-proof.run-state.v1";
 interface CreateRunStateInput {
@@ -18,6 +18,7 @@ interface CreateRunStateInput {
     checkpoint_summary?: RiddleProofCheckpointSummary;
     state_paths?: RiddleProofStatePaths;
     proof_contract?: RiddleProofProofContract;
+    run_card?: RiddleProofRunCard;
     checkpoint_history?: Array<{
         ts: string;
         packet?: RiddleProofCheckpointPacket;

package/dist/state.js

@@ -9,8 +9,10 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-7S7O3NKF.js";
-import "./chunk-W7VTDN4T.js";
+} from "./chunk-JTNMEH57.js";
+import "./chunk-PLSGW2GI.js";
+import "./chunk-R6SCWJCI.js";
+import "./chunk-DUFDZJOF.js";
 export {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,

package/dist/types.d.cts

@@ -74,7 +74,7 @@ interface RiddleProofCheckpointPacket {
     state_path?: string;
     stage: RiddleProofStage;
     checkpoint: string;
-    kind: "assess_recon" | "author_proof" | "implement_change" | "assess_proof" | "human_review" | "advance_decision" | (string & {});
+    kind: "assess_recon" | "author_proof" | "implement_change" | "assess_proof" | "recover_evidence" | "human_review" | "advance_decision" | (string & {});
     summary: string;
     question: string;
     change_request: string;
@@ -82,6 +82,7 @@ interface RiddleProofCheckpointPacket {
     artifacts?: RiddleProofCheckpointArtifact[];
     state_excerpt?: Record<string, unknown>;
     evidence_excerpt?: Record<string, unknown>;
+    artifact_contract?: Record<string, unknown>;
     allowed_decisions: string[];
     response_schema: Record<string, unknown>;
     routing_hint?: RiddleProofCheckpointRoutingHint;
@@ -151,6 +152,64 @@ interface RiddleProofProofContract {
     payload?: Record<string, unknown>;
     created_at: string;
 }
+interface RiddleProofRunCard {
+    version: "riddle-proof.run-card.v1";
+    run_id: string;
+    status: RiddleProofStatus;
+    goal: {
+        repo?: string;
+        branch?: string;
+        change_request?: string;
+        verification_mode?: RiddleProofVerificationMode;
+        success_criteria?: string;
+    };
+    durable_state: RiddleProofStatePaths & {
+        worktree_path?: string | null;
+        branch?: string | null;
+    };
+    current_phase: {
+        stage?: RiddleProofStage | null;
+        checkpoint?: string | null;
+        latest_event?: string | null;
+        elapsed_ms?: number;
+        stage_elapsed_ms?: number;
+        iterations?: number;
+    };
+    owner_next_action: {
+        owner?: string;
+        action?: string;
+        checkpoint_kind?: string | null;
+        allowed_decisions?: string[];
+        retryable?: boolean;
+        reason?: string | null;
+    };
+    evidence_contract: {
+        verification_mode?: RiddleProofVerificationMode;
+        required?: Record<string, unknown>;
+        artifact_contract?: Record<string, unknown>;
+        proof_plan?: string;
+        stop_condition?: string;
+    };
+    latest_evidence: {
+        before_url?: string | null;
+        prod_url?: string | null;
+        after_url?: string | null;
+        visual_delta?: Record<string, unknown> | null;
+        evidence_issue_code?: string | null;
+        proof_evidence_present?: boolean;
+        artifacts?: RiddleProofCheckpointArtifact[];
+    };
+    stop_condition: {
+        status: RiddleProofStatus;
+        terminal?: boolean;
+        blocker_code?: string | null;
+        blocker_message?: string | null;
+        proof_decision?: RiddleProofDecision;
+        merge_recommendation?: string;
+        monitor_should_continue?: boolean;
+    };
+    updated_at: string;
+}
 interface IntegrationContext {
     source?: "openclaw" | "discord" | "github" | "cli" | "riddle" | (string & {});
     channel_id?: string;
@@ -216,6 +275,7 @@ interface RiddleProofRunState {
     checkpoint_summary?: RiddleProofCheckpointSummary;
     state_paths?: RiddleProofStatePaths;
     proof_contract?: RiddleProofProofContract;
+    run_card?: RiddleProofRunCard;
     checkpoint_history?: Array<{
         ts: string;
         packet?: RiddleProofCheckpointPacket;
@@ -260,6 +320,7 @@ interface RiddleProofRunResult {
     checkpoint_summary?: RiddleProofCheckpointSummary;
     state_paths?: RiddleProofStatePaths;
     proof_contract?: RiddleProofProofContract;
+    run_card?: RiddleProofRunCard;
     proof_session?: RiddleProofVisualSession;
     evidence_bundle?: RiddleProofEvidenceBundle;
     raw?: Record<string, unknown>;
@@ -295,6 +356,7 @@ interface RiddleProofRunStatusSnapshot {
     checkpoint_summary?: RiddleProofCheckpointSummary;
     state_paths?: RiddleProofStatePaths;
     proof_contract?: RiddleProofProofContract;
+    run_card?: RiddleProofRunCard;
     latest_event?: RiddleProofEvent;
 }
 interface RiddleProofEvidenceBundle {
@@ -515,4 +577,4 @@ interface RiddleProofVisualSessionFingerprintBasis {
     capture_script_hash?: string;
 }
 
-export type { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter };
+export type { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunCard, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter };

package/dist/types.d.ts

@@ -74,7 +74,7 @@ interface RiddleProofCheckpointPacket {
     state_path?: string;
     stage: RiddleProofStage;
     checkpoint: string;
-    kind: "assess_recon" | "author_proof" | "implement_change" | "assess_proof" | "human_review" | "advance_decision" | (string & {});
+    kind: "assess_recon" | "author_proof" | "implement_change" | "assess_proof" | "recover_evidence" | "human_review" | "advance_decision" | (string & {});
     summary: string;
     question: string;
     change_request: string;
@@ -82,6 +82,7 @@ interface RiddleProofCheckpointPacket {
     artifacts?: RiddleProofCheckpointArtifact[];
     state_excerpt?: Record<string, unknown>;
     evidence_excerpt?: Record<string, unknown>;
+    artifact_contract?: Record<string, unknown>;
     allowed_decisions: string[];
     response_schema: Record<string, unknown>;
     routing_hint?: RiddleProofCheckpointRoutingHint;
@@ -151,6 +152,64 @@ interface RiddleProofProofContract {
     payload?: Record<string, unknown>;
     created_at: string;
 }
+interface RiddleProofRunCard {
+    version: "riddle-proof.run-card.v1";
+    run_id: string;
+    status: RiddleProofStatus;
+    goal: {
+        repo?: string;
+        branch?: string;
+        change_request?: string;
+        verification_mode?: RiddleProofVerificationMode;
+        success_criteria?: string;
+    };
+    durable_state: RiddleProofStatePaths & {
+        worktree_path?: string | null;
+        branch?: string | null;
+    };
+    current_phase: {
+        stage?: RiddleProofStage | null;
+        checkpoint?: string | null;
+        latest_event?: string | null;
+        elapsed_ms?: number;
+        stage_elapsed_ms?: number;
+        iterations?: number;
+    };
+    owner_next_action: {
+        owner?: string;
+        action?: string;
+        checkpoint_kind?: string | null;
+        allowed_decisions?: string[];
+        retryable?: boolean;
+        reason?: string | null;
+    };
+    evidence_contract: {
+        verification_mode?: RiddleProofVerificationMode;
+        required?: Record<string, unknown>;
+        artifact_contract?: Record<string, unknown>;
+        proof_plan?: string;
+        stop_condition?: string;
+    };
+    latest_evidence: {
+        before_url?: string | null;
+        prod_url?: string | null;
+        after_url?: string | null;
+        visual_delta?: Record<string, unknown> | null;
+        evidence_issue_code?: string | null;
+        proof_evidence_present?: boolean;
+        artifacts?: RiddleProofCheckpointArtifact[];
+    };
+    stop_condition: {
+        status: RiddleProofStatus;
+        terminal?: boolean;
+        blocker_code?: string | null;
+        blocker_message?: string | null;
+        proof_decision?: RiddleProofDecision;
+        merge_recommendation?: string;
+        monitor_should_continue?: boolean;
+    };
+    updated_at: string;
+}
 interface IntegrationContext {
     source?: "openclaw" | "discord" | "github" | "cli" | "riddle" | (string & {});
     channel_id?: string;
@@ -216,6 +275,7 @@ interface RiddleProofRunState {
     checkpoint_summary?: RiddleProofCheckpointSummary;
     state_paths?: RiddleProofStatePaths;
     proof_contract?: RiddleProofProofContract;
+    run_card?: RiddleProofRunCard;
     checkpoint_history?: Array<{
         ts: string;
         packet?: RiddleProofCheckpointPacket;
@@ -260,6 +320,7 @@ interface RiddleProofRunResult {
     checkpoint_summary?: RiddleProofCheckpointSummary;
     state_paths?: RiddleProofStatePaths;
     proof_contract?: RiddleProofProofContract;
+    run_card?: RiddleProofRunCard;
     proof_session?: RiddleProofVisualSession;
     evidence_bundle?: RiddleProofEvidenceBundle;
     raw?: Record<string, unknown>;
@@ -295,6 +356,7 @@ interface RiddleProofRunStatusSnapshot {
     checkpoint_summary?: RiddleProofCheckpointSummary;
     state_paths?: RiddleProofStatePaths;
     proof_contract?: RiddleProofProofContract;
+    run_card?: RiddleProofRunCard;
     latest_event?: RiddleProofEvent;
 }
 interface RiddleProofEvidenceBundle {
@@ -515,4 +577,4 @@ interface RiddleProofVisualSessionFingerprintBasis {
     capture_script_hash?: string;
 }
 
-export type { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter };
+export type { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunCard, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof",
-  "version": "0.5.44",
+  "version": "0.5.46",
   "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
   "license": "MIT",
   "author": "RiddleDC",
@@ -39,6 +39,11 @@
       "import": "./dist/checkpoint.js",
       "require": "./dist/checkpoint.cjs"
     },
+    "./run-card": {
+      "types": "./dist/run-card.d.ts",
+      "import": "./dist/run-card.js",
+      "require": "./dist/run-card.cjs"
+    },
     "./runner": {
       "types": "./dist/runner.d.ts",
       "import": "./dist/runner.js",
@@ -49,6 +54,11 @@
       "import": "./dist/engine-harness.js",
       "require": "./dist/engine-harness.cjs"
     },
+    "./codex-exec-agent": {
+      "types": "./dist/codex-exec-agent.d.ts",
+      "import": "./dist/codex-exec-agent.js",
+      "require": "./dist/codex-exec-agent.cjs"
+    },
     "./diagnostics": {
       "types": "./dist/diagnostics.d.ts",
       "import": "./dist/diagnostics.js",
@@ -80,6 +90,9 @@
       "require": "./dist/proof-run-engine.cjs"
     }
   },
+  "bin": {
+    "riddle-proof-loop": "./dist/cli.js"
+  },
   "files": [
     "dist",
     "lib",
@@ -97,7 +110,7 @@
     "typescript": "^5.4.5"
   },
   "scripts": {
-    "build": "tsup src/index.ts src/types.ts src/result.ts src/state.ts src/checkpoint.ts src/runner.ts src/engine-harness.ts src/diagnostics.ts src/proof-session.ts src/playability.ts src/openclaw.ts src/proof-run-core.ts src/proof-run-engine.ts --format cjs,esm --dts --out-dir dist --clean",
+    "build": "tsup src/index.ts src/types.ts src/result.ts src/state.ts src/checkpoint.ts src/run-card.ts src/runner.ts src/engine-harness.ts src/codex-exec-agent.ts src/cli.ts src/diagnostics.ts src/proof-session.ts src/playability.ts src/openclaw.ts src/proof-run-core.ts src/proof-run-engine.ts --format cjs,esm --dts --out-dir dist --clean",
     "clean": "rm -rf dist",
     "lint": "echo 'lint: (not configured)'",
     "test": "npm run build && node test.js && node proof-run.test.js"