@riddledc/riddle-proof 0.5.39 → 0.5.40

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,51 @@ 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;
+    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 +212,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 +256,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 +291,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 +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, 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,51 @@ 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;
+    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 +212,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 +256,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 +291,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 +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, 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.40",
   "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
   "license": "MIT",
   "author": "RiddleDC",