@riddledc/riddle-proof 0.5.38 → 0.5.40

package/dist/types.d.ts

@@ -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 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof",
-  "version": "0.5.38",
+  "version": "0.5.40",
   "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
   "license": "MIT",
   "author": "RiddleDC",
@@ -34,6 +34,11 @@
       "import": "./dist/state.js",
       "require": "./dist/state.cjs"
     },
+    "./checkpoint": {
+      "types": "./dist/checkpoint.d.ts",
+      "import": "./dist/checkpoint.js",
+      "require": "./dist/checkpoint.cjs"
+    },
     "./runner": {
       "types": "./dist/runner.d.ts",
       "import": "./dist/runner.js",
@@ -92,7 +97,7 @@
     "typescript": "^5.4.5"
   },
   "scripts": {
-    "build": "tsup src/index.ts src/types.ts src/result.ts src/state.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/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",
     "clean": "rm -rf dist",
     "lint": "echo 'lint: (not configured)'",
     "test": "npm run build && node test.js && node proof-run.test.js"