@riddledc/riddle-proof 0.5.39 → 0.5.41

package/dist/index.d.cts

@@ -1,7 +1,7 @@
-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, RiddleProofCheckpointVisibility, 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, normalizeCheckpointResponse } from './checkpoint.cjs';
+export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.cjs';
 export { RiddleProofRunnerAdapters, RunRiddleProofInput, runRiddleProof } from './runner.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';

package/dist/index.d.ts

@@ -1,7 +1,7 @@
-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, RiddleProofCheckpointVisibility, 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, normalizeCheckpointResponse } from './checkpoint.js';
+export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.js';
 export { RiddleProofRunnerAdapters, RunRiddleProofInput, runRiddleProof } from './runner.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';

package/dist/index.js

@@ -9,7 +9,7 @@ import {
 } from "./chunk-ODORKNSO.js";
 import {
   runRiddleProof
-} from "./chunk-RDTMR7XR.js";
+} from "./chunk-MRSYJMF4.js";
 import "./chunk-6F4PWJZI.js";
 import {
   DEFAULT_DIAGNOSTIC_ARRAY_LIMIT,
@@ -25,14 +25,19 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-ORRP7CXT.js";
+} from "./chunk-ZBM67XGB.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
   authorPacketPayloadFromCheckpointResponse,
   buildAuthorCheckpointPacket,
-  normalizeCheckpointResponse
-} from "./chunk-UQPTCP4D.js";
+  checkpointResponseIdentity,
+  checkpointSummaryFromState,
+  isDuplicateCheckpointResponse,
+  normalizeCheckpointResponse,
+  proofContractFromAuthorCheckpointResponse,
+  statePathsForRunState
+} from "./chunk-RI25RGQP.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -44,7 +49,7 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-Z3BWCHFV.js";
+} from "./chunk-7S7O3NKF.js";
 import {
   applyTerminalMetadata,
   compactRecord,
@@ -54,7 +59,7 @@ import {
   nonEmptyString,
   normalizeTerminalMetadata,
   recordValue
-} from "./chunk-Z7QUCDPT.js";
+} from "./chunk-W7VTDN4T.js";
 import {
   RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
   RIDDLE_PROOF_PLAYABILITY_VERSION,
@@ -84,6 +89,8 @@ export {
   authorPacketPayloadFromCheckpointResponse,
   buildAuthorCheckpointPacket,
   buildVisualProofSession,
+  checkpointResponseIdentity,
+  checkpointSummaryFromState,
   compactRecord,
   compareVisualProofSessionFingerprint,
   createCaptureDiagnostic,
@@ -92,6 +99,7 @@ export {
   createRunState,
   createRunStatusSnapshot,
   extractPlayabilityEvidence,
+  isDuplicateCheckpointResponse,
   isRiddleProofPlayabilityMode,
   isSuccessfulStatus,
   isTerminalStatus,
@@ -102,12 +110,14 @@ export {
   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-Z3BWCHFV.js";
+} from "./chunk-7S7O3NKF.js";
 import {
   compactRecord
-} from "./chunk-Z7QUCDPT.js";
+} from "./chunk-W7VTDN4T.js";
 
 // src/openclaw.ts
 function parseOpenClawAssertions(value) {

package/dist/result.cjs

@@ -234,6 +234,9 @@ function createRunResult(input) {
     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-Z7QUCDPT.js";
+} from "./chunk-W7VTDN4T.js";
 export {
   applyTerminalMetadata,
   compactRecord,

package/dist/runner.cjs

@@ -124,6 +124,9 @@ function createRunResult(input) {
     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
@@ -223,6 +226,9 @@ function createRunState(input) {
     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-RDTMR7XR.js";
-import "./chunk-Z3BWCHFV.js";
-import "./chunk-Z7QUCDPT.js";
+} from "./chunk-MRSYJMF4.js";
+import "./chunk-7S7O3NKF.js";
+import "./chunk-W7VTDN4T.js";
 export {
   runRiddleProof
 };

package/dist/state.cjs

@@ -170,6 +170,9 @@ function createRunState(input) {
     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] : []
   });
@@ -245,6 +248,9 @@ function createRunStatusSnapshot(state, at = timestamp()) {
     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, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, 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 {
@@ -15,6 +15,9 @@ interface CreateRunStateInput {
     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;

package/dist/state.d.ts

@@ -1,4 +1,4 @@
-import { RiddleProofRunParams, RiddleProofStatus, RiddleProofStage, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, 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 {
@@ -15,6 +15,9 @@ interface CreateRunStateInput {
     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;

package/dist/state.js

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

package/dist/types.d.cts

@@ -105,6 +105,52 @@ interface RiddleProofCheckpointResponse {
     };
     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;
+    duplicate_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;
@@ -167,6 +213,9 @@ interface RiddleProofRunState {
     finalized?: boolean;
     blocker?: RiddleProofBlocker;
     checkpoint_packet?: RiddleProofCheckpointPacket;
+    checkpoint_summary?: RiddleProofCheckpointSummary;
+    state_paths?: RiddleProofStatePaths;
+    proof_contract?: RiddleProofProofContract;
     checkpoint_history?: Array<{
         ts: string;
         packet?: RiddleProofCheckpointPacket;
@@ -208,6 +257,9 @@ interface RiddleProofRunResult {
     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>;
@@ -240,6 +292,9 @@ interface RiddleProofRunStatusSnapshot {
     stage_elapsed_ms?: number;
     blocker?: RiddleProofBlocker;
     checkpoint_packet?: RiddleProofCheckpointPacket;
+    checkpoint_summary?: RiddleProofCheckpointSummary;
+    state_paths?: RiddleProofStatePaths;
+    proof_contract?: RiddleProofProofContract;
     latest_event?: RiddleProofEvent;
 }
 interface RiddleProofEvidenceBundle {
@@ -460,4 +515,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, RiddleProofCheckpointVisibility, 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 };

package/dist/types.d.ts

@@ -105,6 +105,52 @@ interface RiddleProofCheckpointResponse {
     };
     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;
+    duplicate_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;
@@ -167,6 +213,9 @@ interface RiddleProofRunState {
     finalized?: boolean;
     blocker?: RiddleProofBlocker;
     checkpoint_packet?: RiddleProofCheckpointPacket;
+    checkpoint_summary?: RiddleProofCheckpointSummary;
+    state_paths?: RiddleProofStatePaths;
+    proof_contract?: RiddleProofProofContract;
     checkpoint_history?: Array<{
         ts: string;
         packet?: RiddleProofCheckpointPacket;
@@ -208,6 +257,9 @@ interface RiddleProofRunResult {
     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>;
@@ -240,6 +292,9 @@ interface RiddleProofRunStatusSnapshot {
     stage_elapsed_ms?: number;
     blocker?: RiddleProofBlocker;
     checkpoint_packet?: RiddleProofCheckpointPacket;
+    checkpoint_summary?: RiddleProofCheckpointSummary;
+    state_paths?: RiddleProofStatePaths;
+    proof_contract?: RiddleProofProofContract;
     latest_event?: RiddleProofEvent;
 }
 interface RiddleProofEvidenceBundle {
@@ -460,4 +515,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, RiddleProofCheckpointVisibility, 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 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof",
-  "version": "0.5.39",
+  "version": "0.5.41",
   "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
   "license": "MIT",
   "author": "RiddleDC",