@riddledc/riddle-proof 0.5.38 → 0.5.40

package/dist/index.d.cts

@@ -1,8 +1,9 @@
-export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from './types.cjs';
+export { 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 } from './types.cjs';
 export { TerminalMetadataInput, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue } from './result.cjs';
 export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.cjs';
+export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, checkpointSummaryFromState, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.cjs';
 export { RiddleProofRunnerAdapters, RunRiddleProofInput, runRiddleProof } from './runner.cjs';
-export { RiddleProofAgentAdapter, RiddleProofAgentPayload, RiddleProofEngine, RiddleProofEngineHarnessConfig, RiddleProofEngineHarnessContext, RiddleProofEngineResult, RiddleProofShipMode, RiddleProofWorkflowParams, RunRiddleProofEngineHarnessInput, createDisabledRiddleProofAgentAdapter, readRiddleProofRunStatus, runRiddleProofEngineHarness } from './engine-harness.cjs';
+export { RiddleProofAgentAdapter, RiddleProofAgentPayload, RiddleProofCheckpointMode, RiddleProofEngine, RiddleProofEngineHarnessConfig, RiddleProofEngineHarnessContext, RiddleProofEngineResult, RiddleProofShipMode, RiddleProofWorkflowParams, RunRiddleProofEngineHarnessInput, createDisabledRiddleProofAgentAdapter, readRiddleProofRunStatus, runRiddleProofEngineHarness } from './engine-harness.cjs';
 export { CreateCaptureDiagnosticInput, DEFAULT_DIAGNOSTIC_ARRAY_LIMIT, DEFAULT_DIAGNOSTIC_HISTORY_LIMIT, DEFAULT_DIAGNOSTIC_STRING_LIMIT, RIDDLE_PROOF_CAPTURE_DIAGNOSTIC_VERSION, RiddleProofArtifactSummary, RiddleProofCaptureArtifactSummary, RiddleProofCaptureDiagnostic, RiddleProofDiagnosticRedactionOptions, appendCaptureDiagnostic, createCaptureDiagnostic, redactForProofDiagnostics, summarizeCaptureArtifacts } from './diagnostics.cjs';
 export { BuildVisualProofSessionInput, RIDDLE_PROOF_VISUAL_SESSION_FINGERPRINT_VERSION, RIDDLE_PROOF_VISUAL_SESSION_VERSION, VisualProofSessionMismatch, buildVisualProofSession, compareVisualProofSessionFingerprint, parseVisualProofSession, visualSessionFingerprint, visualSessionFingerprintBasis } from './proof-session.cjs';
 export { AssessPlayabilityOptions, RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION, RIDDLE_PROOF_PLAYABILITY_VERSION, RiddleProofPlayabilityAssessment, RiddleProofPlayabilityEvidence, assessPlayabilityEvidence, extractPlayabilityEvidence, isRiddleProofPlayabilityMode } from './playability.cjs';

package/dist/index.d.ts

@@ -1,8 +1,9 @@
-export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from './types.js';
+export { 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 } from './types.js';
 export { TerminalMetadataInput, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue } from './result.js';
 export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.js';
+export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, checkpointSummaryFromState, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.js';
 export { RiddleProofRunnerAdapters, RunRiddleProofInput, runRiddleProof } from './runner.js';
-export { RiddleProofAgentAdapter, RiddleProofAgentPayload, RiddleProofEngine, RiddleProofEngineHarnessConfig, RiddleProofEngineHarnessContext, RiddleProofEngineResult, RiddleProofShipMode, RiddleProofWorkflowParams, RunRiddleProofEngineHarnessInput, createDisabledRiddleProofAgentAdapter, readRiddleProofRunStatus, runRiddleProofEngineHarness } from './engine-harness.js';
+export { RiddleProofAgentAdapter, RiddleProofAgentPayload, RiddleProofCheckpointMode, RiddleProofEngine, RiddleProofEngineHarnessConfig, RiddleProofEngineHarnessContext, RiddleProofEngineResult, RiddleProofShipMode, RiddleProofWorkflowParams, RunRiddleProofEngineHarnessInput, createDisabledRiddleProofAgentAdapter, readRiddleProofRunStatus, runRiddleProofEngineHarness } from './engine-harness.js';
 export { CreateCaptureDiagnosticInput, DEFAULT_DIAGNOSTIC_ARRAY_LIMIT, DEFAULT_DIAGNOSTIC_HISTORY_LIMIT, DEFAULT_DIAGNOSTIC_STRING_LIMIT, RIDDLE_PROOF_CAPTURE_DIAGNOSTIC_VERSION, RiddleProofArtifactSummary, RiddleProofCaptureArtifactSummary, RiddleProofCaptureDiagnostic, RiddleProofDiagnosticRedactionOptions, appendCaptureDiagnostic, createCaptureDiagnostic, redactForProofDiagnostics, summarizeCaptureArtifacts } from './diagnostics.js';
 export { BuildVisualProofSessionInput, RIDDLE_PROOF_VISUAL_SESSION_FINGERPRINT_VERSION, RIDDLE_PROOF_VISUAL_SESSION_VERSION, VisualProofSessionMismatch, buildVisualProofSession, compareVisualProofSessionFingerprint, parseVisualProofSession, visualSessionFingerprint, visualSessionFingerprintBasis } from './proof-session.js';
 export { AssessPlayabilityOptions, RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION, RIDDLE_PROOF_PLAYABILITY_VERSION, RiddleProofPlayabilityAssessment, RiddleProofPlayabilityEvidence, assessPlayabilityEvidence, extractPlayabilityEvidence, isRiddleProofPlayabilityMode } from './playability.js';

package/dist/index.js

@@ -1,6 +1,15 @@
+import {
+  RIDDLE_PROOF_VISUAL_SESSION_FINGERPRINT_VERSION,
+  RIDDLE_PROOF_VISUAL_SESSION_VERSION,
+  buildVisualProofSession,
+  compareVisualProofSessionFingerprint,
+  parseVisualProofSession,
+  visualSessionFingerprint,
+  visualSessionFingerprintBasis
+} from "./chunk-ODORKNSO.js";
 import {
   runRiddleProof
-} from "./chunk-MQ2BHHLX.js";
+} from "./chunk-MRSYJMF4.js";
 import "./chunk-6F4PWJZI.js";
 import {
   DEFAULT_DIAGNOSTIC_ARRAY_LIMIT,
@@ -16,7 +25,18 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-GN7HSZ6G.js";
+} from "./chunk-COFOLRUW.js";
+import {
+  RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
+  RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
+  authorPacketPayloadFromCheckpointResponse,
+  buildAuthorCheckpointPacket,
+  checkpointSummaryFromState,
+  isDuplicateCheckpointResponse,
+  normalizeCheckpointResponse,
+  proofContractFromAuthorCheckpointResponse,
+  statePathsForRunState
+} from "./chunk-5LVCGDSD.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -28,7 +48,7 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-OASB3CYU.js";
+} from "./chunk-7S7O3NKF.js";
 import {
   applyTerminalMetadata,
   compactRecord,
@@ -38,7 +58,7 @@ import {
   nonEmptyString,
   normalizeTerminalMetadata,
   recordValue
-} from "./chunk-J2MERROF.js";
+} from "./chunk-W7VTDN4T.js";
 import {
   RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
   RIDDLE_PROOF_PLAYABILITY_VERSION,
@@ -47,20 +67,13 @@ import {
   isRiddleProofPlayabilityMode
 } from "./chunk-NSWT3VSV.js";
 import "./chunk-4YCWZVBN.js";
-import {
-  RIDDLE_PROOF_VISUAL_SESSION_FINGERPRINT_VERSION,
-  RIDDLE_PROOF_VISUAL_SESSION_VERSION,
-  buildVisualProofSession,
-  compareVisualProofSessionFingerprint,
-  parseVisualProofSession,
-  visualSessionFingerprint,
-  visualSessionFingerprintBasis
-} from "./chunk-ODORKNSO.js";
 export {
   DEFAULT_DIAGNOSTIC_ARRAY_LIMIT,
   DEFAULT_DIAGNOSTIC_HISTORY_LIMIT,
   DEFAULT_DIAGNOSTIC_STRING_LIMIT,
   RIDDLE_PROOF_CAPTURE_DIAGNOSTIC_VERSION,
+  RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
+  RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
   RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
   RIDDLE_PROOF_PLAYABILITY_VERSION,
   RIDDLE_PROOF_RUN_STATE_VERSION,
@@ -72,7 +85,10 @@ export {
   applyPrLifecycleState,
   applyTerminalMetadata,
   assessPlayabilityEvidence,
+  authorPacketPayloadFromCheckpointResponse,
+  buildAuthorCheckpointPacket,
   buildVisualProofSession,
+  checkpointSummaryFromState,
   compactRecord,
   compareVisualProofSessionFingerprint,
   createCaptureDiagnostic,
@@ -81,21 +97,25 @@ export {
   createRunState,
   createRunStatusSnapshot,
   extractPlayabilityEvidence,
+  isDuplicateCheckpointResponse,
   isRiddleProofPlayabilityMode,
   isSuccessfulStatus,
   isTerminalStatus,
   nonEmptyString,
+  normalizeCheckpointResponse,
   normalizeIntegrationContext,
   normalizePrLifecycleState,
   normalizeRunParams,
   normalizeTerminalMetadata,
   parseVisualProofSession,
+  proofContractFromAuthorCheckpointResponse,
   readRiddleProofRunStatus,
   recordValue,
   redactForProofDiagnostics,
   runRiddleProof,
   runRiddleProofEngineHarness,
   setRunStatus,
+  statePathsForRunState,
   summarizeCaptureArtifacts,
   visualSessionFingerprint,
   visualSessionFingerprintBasis

package/dist/openclaw.js

@@ -1,10 +1,10 @@
 import {
   normalizeIntegrationContext,
   normalizeRunParams
-} from "./chunk-OASB3CYU.js";
+} from "./chunk-7S7O3NKF.js";
 import {
   compactRecord
-} from "./chunk-J2MERROF.js";
+} from "./chunk-W7VTDN4T.js";
 
 // src/openclaw.ts
 function parseOpenClawAssertions(value) {

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: "ship" | "setup" | "recon" | "author" | "implement" | "verify" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "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: "ship" | "setup" | "recon" | "author" | "implement" | "verify" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "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: "ship" | "setup" | "recon" | "author" | "implement" | "verify" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "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: "ship" | "setup" | "recon" | "author" | "implement" | "verify" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "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: "ship" | "setup" | "recon" | "author" | "implement" | "verify" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "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: "ship" | "setup" | "recon" | "author" | "implement" | "verify" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;

package/dist/result.cjs

@@ -233,6 +233,10 @@ function createRunResult(input) {
     merge_recommendation: state.merge_recommendation,
     finalized: state.finalized,
     blocker: state.blocker,
+    checkpoint_packet: state.checkpoint_packet,
+    checkpoint_summary: state.checkpoint_summary,
+    state_paths: state.state_paths,
+    proof_contract: state.proof_contract,
     proof_session: state.proof_session,
     evidence_bundle: input.evidence_bundle,
     raw: input.raw

package/dist/result.js

@@ -7,7 +7,7 @@ import {
   nonEmptyString,
   normalizeTerminalMetadata,
   recordValue
-} from "./chunk-J2MERROF.js";
+} from "./chunk-W7VTDN4T.js";
 export {
   applyTerminalMetadata,
   compactRecord,

package/dist/runner.cjs

@@ -123,6 +123,10 @@ function createRunResult(input) {
     merge_recommendation: state.merge_recommendation,
     finalized: state.finalized,
     blocker: state.blocker,
+    checkpoint_packet: state.checkpoint_packet,
+    checkpoint_summary: state.checkpoint_summary,
+    state_paths: state.state_paths,
+    proof_contract: state.proof_contract,
     proof_session: state.proof_session,
     evidence_bundle: input.evidence_bundle,
     raw: input.raw
@@ -221,6 +225,11 @@ function createRunState(input) {
     request: normalizeRunParams(input.request),
     iterations: input.iterations ?? 0,
     last_checkpoint: input.last_checkpoint ?? null,
+    checkpoint_packet: input.checkpoint_packet,
+    checkpoint_summary: input.checkpoint_summary,
+    state_paths: input.state_paths,
+    proof_contract: input.proof_contract,
+    checkpoint_history: input.checkpoint_history,
     events: input.events ? [...input.events] : []
   });
 }

package/dist/runner.js

@@ -1,8 +1,8 @@
 import {
   runRiddleProof
-} from "./chunk-MQ2BHHLX.js";
-import "./chunk-OASB3CYU.js";
-import "./chunk-J2MERROF.js";
+} from "./chunk-MRSYJMF4.js";
+import "./chunk-7S7O3NKF.js";
+import "./chunk-W7VTDN4T.js";
 export {
   runRiddleProof
 };

package/dist/state.cjs

@@ -169,6 +169,11 @@ function createRunState(input) {
     request: normalizeRunParams(input.request),
     iterations: input.iterations ?? 0,
     last_checkpoint: input.last_checkpoint ?? null,
+    checkpoint_packet: input.checkpoint_packet,
+    checkpoint_summary: input.checkpoint_summary,
+    state_paths: input.state_paths,
+    proof_contract: input.proof_contract,
+    checkpoint_history: input.checkpoint_history,
     events: input.events ? [...input.events] : []
   });
 }
@@ -242,6 +247,10 @@ function createRunStatusSnapshot(state, at = timestamp()) {
     elapsed_ms: elapsedMs(state.created_at, at),
     stage_elapsed_ms: elapsedMs(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,
     latest_event: latestEvent
   });
 }

package/dist/state.d.cts

@@ -1,4 +1,4 @@
-import { RiddleProofRunParams, RiddleProofStatus, RiddleProofStage, RiddleProofEvent, RiddleProofRunState, RiddleProofPrLifecycleState, RiddleProofRunStatusSnapshot, IntegrationContext } from './types.cjs';
+import { RiddleProofRunParams, RiddleProofStatus, RiddleProofStage, RiddleProofCheckpointPacket, RiddleProofCheckpointSummary, RiddleProofStatePaths, RiddleProofProofContract, RiddleProofCheckpointResponse, RiddleProofEvent, RiddleProofRunState, RiddleProofPrLifecycleState, RiddleProofRunStatusSnapshot, IntegrationContext } from './types.cjs';
 
 declare const RIDDLE_PROOF_RUN_STATE_VERSION: "riddle-proof.run-state.v1";
 interface CreateRunStateInput {
@@ -14,6 +14,15 @@ interface CreateRunStateInput {
     updated_at?: string;
     iterations?: number;
     last_checkpoint?: string | null;
+    checkpoint_packet?: RiddleProofCheckpointPacket;
+    checkpoint_summary?: RiddleProofCheckpointSummary;
+    state_paths?: RiddleProofStatePaths;
+    proof_contract?: RiddleProofProofContract;
+    checkpoint_history?: Array<{
+        ts: string;
+        packet?: RiddleProofCheckpointPacket;
+        response?: RiddleProofCheckpointResponse;
+    }>;
     events?: RiddleProofEvent[];
 }
 type RunEventInput = Omit<RiddleProofEvent, "ts"> & {

package/dist/state.d.ts

@@ -1,4 +1,4 @@
-import { RiddleProofRunParams, RiddleProofStatus, RiddleProofStage, RiddleProofEvent, RiddleProofRunState, RiddleProofPrLifecycleState, RiddleProofRunStatusSnapshot, IntegrationContext } from './types.js';
+import { RiddleProofRunParams, RiddleProofStatus, RiddleProofStage, RiddleProofCheckpointPacket, RiddleProofCheckpointSummary, RiddleProofStatePaths, RiddleProofProofContract, RiddleProofCheckpointResponse, RiddleProofEvent, RiddleProofRunState, RiddleProofPrLifecycleState, RiddleProofRunStatusSnapshot, IntegrationContext } from './types.js';
 
 declare const RIDDLE_PROOF_RUN_STATE_VERSION: "riddle-proof.run-state.v1";
 interface CreateRunStateInput {
@@ -14,6 +14,15 @@ interface CreateRunStateInput {
     updated_at?: string;
     iterations?: number;
     last_checkpoint?: string | null;
+    checkpoint_packet?: RiddleProofCheckpointPacket;
+    checkpoint_summary?: RiddleProofCheckpointSummary;
+    state_paths?: RiddleProofStatePaths;
+    proof_contract?: RiddleProofProofContract;
+    checkpoint_history?: Array<{
+        ts: string;
+        packet?: RiddleProofCheckpointPacket;
+        response?: RiddleProofCheckpointResponse;
+    }>;
     events?: RiddleProofEvent[];
 }
 type RunEventInput = Omit<RiddleProofEvent, "ts"> & {

package/dist/state.js

@@ -9,8 +9,8 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-OASB3CYU.js";
-import "./chunk-J2MERROF.js";
+} from "./chunk-7S7O3NKF.js";
+import "./chunk-W7VTDN4T.js";
 export {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,

package/dist/types.d.cts

@@ -3,7 +3,7 @@ type JsonValue = JsonPrimitive | JsonObject | JsonValue[];
 type JsonObject = {
     [key: string]: JsonValue;
 };
-type RiddleProofStatus = "running" | "blocked" | "failed" | "ready_to_ship" | "shipped" | "completed";
+type RiddleProofStatus = "running" | "awaiting_checkpoint" | "blocked" | "failed" | "ready_to_ship" | "shipped" | "completed";
 type RiddleProofPrLifecycleStatus = "unknown" | "open" | "merged" | "closed" | "not_found" | "unavailable" | (string & {});
 type RiddleProofVerificationMode = "proof" | "visual" | "interaction" | "playable" | "gameplay" | "render" | "data" | "json" | "audio" | "log" | "logs" | "metric" | "metrics" | (string & {});
 type RiddleProofDecision = "ready_to_ship" | "needs_richer_proof" | "revise_capture" | "needs_recon" | "needs_implementation" | (string & {});
@@ -52,6 +52,104 @@ interface RiddleProofRunParams {
     dry_run?: boolean;
     integration_context?: IntegrationContext;
 }
+type RiddleProofCheckpointVisibility = "liveblog" | "quiet" | "terminal_only" | "manual" | (string & {});
+type RiddleProofCheckpointRole = "main_agent" | "builder_agent" | "proof_author" | "proof_judge" | "human" | "mechanical" | (string & {});
+interface RiddleProofCheckpointArtifact {
+    role: "before" | "prod" | "after" | "diff" | "log" | "json" | "har" | "video" | (string & {});
+    url?: string;
+    path?: string;
+    name?: string;
+    mime_type?: string;
+    summary?: string;
+}
+interface RiddleProofCheckpointRoutingHint {
+    suggested_role?: RiddleProofCheckpointRole;
+    visibility?: RiddleProofCheckpointVisibility;
+    urgency?: "low" | "normal" | "high" | (string & {});
+    can_auto_answer?: boolean;
+}
+interface RiddleProofCheckpointPacket {
+    version: "riddle-proof.checkpoint.v1";
+    run_id: string;
+    state_path?: string;
+    stage: RiddleProofStage;
+    checkpoint: string;
+    kind: "assess_recon" | "author_proof" | "implement_change" | "assess_proof" | "human_review" | "advance_decision" | (string & {});
+    summary: string;
+    question: string;
+    change_request: string;
+    context?: string;
+    artifacts?: RiddleProofCheckpointArtifact[];
+    state_excerpt?: Record<string, unknown>;
+    evidence_excerpt?: Record<string, unknown>;
+    allowed_decisions: string[];
+    response_schema: Record<string, unknown>;
+    routing_hint?: RiddleProofCheckpointRoutingHint;
+    resume_token?: string;
+    created_at: string;
+}
+interface RiddleProofCheckpointResponse {
+    version: "riddle-proof.checkpoint_response.v1";
+    run_id: string;
+    checkpoint: string;
+    resume_token?: string;
+    decision: string;
+    summary: string;
+    payload?: Record<string, unknown>;
+    reasons?: string[];
+    continue_with_stage?: RiddleProofStage;
+    source?: {
+        kind: "openclaw-main" | "openclaw-subagent" | "codex" | "claude-code" | "human" | "ci" | (string & {});
+        session_id?: string;
+        user_id?: string;
+    };
+    created_at: string;
+}
+interface RiddleProofStatePaths {
+    wrapper_state_path?: string | null;
+    engine_state_path?: string | null;
+    resume_state_path?: string | null;
+}
+interface RiddleProofCheckpointSummary {
+    pending: boolean;
+    packet_count: number;
+    response_count: number;
+    latest_checkpoint?: string | null;
+    latest_stage?: RiddleProofStage | null;
+    latest_kind?: string | null;
+    latest_decision?: string | null;
+    latest_packet_summary?: string | null;
+    latest_response_summary?: string | null;
+    latest_resume_token?: string | null;
+    latest_response_token?: string | null;
+    token_matches?: boolean | null;
+    last_packet_at?: string | null;
+    last_response_at?: string | null;
+    state_paths?: RiddleProofStatePaths;
+}
+interface RiddleProofProofContract {
+    version: "riddle-proof.proof-contract.v1";
+    checkpoint?: string | null;
+    source_response?: {
+        run_id?: string;
+        checkpoint?: string;
+        resume_token?: string;
+        decision?: string;
+        summary?: string;
+        created_at?: string;
+    };
+    proof_plan?: string;
+    capture_script?: string;
+    artifact_contract?: Record<string, unknown>;
+    assertions?: unknown;
+    baseline_understanding?: Record<string, unknown>;
+    route_assumptions?: Record<string, unknown>;
+    stop_condition?: string;
+    rationale?: unknown;
+    verdict_dimensions?: Record<string, unknown>;
+    payload?: Record<string, unknown>;
+    created_at: string;
+}
 interface IntegrationContext {
     source?: "openclaw" | "discord" | "github" | "cli" | "riddle" | (string & {});
     channel_id?: string;
@@ -113,6 +211,15 @@ interface RiddleProofRunState {
     proof_session?: RiddleProofVisualSession;
     finalized?: boolean;
     blocker?: RiddleProofBlocker;
+    checkpoint_packet?: RiddleProofCheckpointPacket;
+    checkpoint_summary?: RiddleProofCheckpointSummary;
+    state_paths?: RiddleProofStatePaths;
+    proof_contract?: RiddleProofProofContract;
+    checkpoint_history?: Array<{
+        ts: string;
+        packet?: RiddleProofCheckpointPacket;
+        response?: RiddleProofCheckpointResponse;
+    }>;
     events: RiddleProofEvent[];
 }
 interface RiddleProofRunResult {
@@ -148,6 +255,10 @@ interface RiddleProofRunResult {
     merge_recommendation?: string;
     finalized?: boolean;
     blocker?: RiddleProofBlocker;
+    checkpoint_packet?: RiddleProofCheckpointPacket;
+    checkpoint_summary?: RiddleProofCheckpointSummary;
+    state_paths?: RiddleProofStatePaths;
+    proof_contract?: RiddleProofProofContract;
     proof_session?: RiddleProofVisualSession;
     evidence_bundle?: RiddleProofEvidenceBundle;
     raw?: Record<string, unknown>;
@@ -179,6 +290,10 @@ interface RiddleProofRunStatusSnapshot {
     elapsed_ms?: number;
     stage_elapsed_ms?: number;
     blocker?: RiddleProofBlocker;
+    checkpoint_packet?: RiddleProofCheckpointPacket;
+    checkpoint_summary?: RiddleProofCheckpointSummary;
+    state_paths?: RiddleProofStatePaths;
+    proof_contract?: RiddleProofProofContract;
     latest_event?: RiddleProofEvent;
 }
 interface RiddleProofEvidenceBundle {
@@ -399,4 +514,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, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, 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, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter };