@riddledc/riddle-proof 0.5.45 → 0.5.47

package/dist/state.js

@@ -9,8 +9,10 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-7S7O3NKF.js";
-import "./chunk-W7VTDN4T.js";
+} from "./chunk-JOXTKWX6.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;
@@ -152,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;
@@ -217,6 +275,7 @@ interface RiddleProofRunState {
     checkpoint_summary?: RiddleProofCheckpointSummary;
     state_paths?: RiddleProofStatePaths;
     proof_contract?: RiddleProofProofContract;
+    run_card?: RiddleProofRunCard;
     checkpoint_history?: Array<{
         ts: string;
         packet?: RiddleProofCheckpointPacket;
@@ -261,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>;
@@ -296,6 +356,7 @@ interface RiddleProofRunStatusSnapshot {
     checkpoint_summary?: RiddleProofCheckpointSummary;
     state_paths?: RiddleProofStatePaths;
     proof_contract?: RiddleProofProofContract;
+    run_card?: RiddleProofRunCard;
     latest_event?: RiddleProofEvent;
 }
 interface RiddleProofEvidenceBundle {
@@ -516,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;
@@ -152,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;
@@ -217,6 +275,7 @@ interface RiddleProofRunState {
     checkpoint_summary?: RiddleProofCheckpointSummary;
     state_paths?: RiddleProofStatePaths;
     proof_contract?: RiddleProofProofContract;
+    run_card?: RiddleProofRunCard;
     checkpoint_history?: Array<{
         ts: string;
         packet?: RiddleProofCheckpointPacket;
@@ -261,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>;
@@ -296,6 +356,7 @@ interface RiddleProofRunStatusSnapshot {
     checkpoint_summary?: RiddleProofCheckpointSummary;
     state_paths?: RiddleProofStatePaths;
     proof_contract?: RiddleProofProofContract;
+    run_card?: RiddleProofRunCard;
     latest_event?: RiddleProofEvent;
 }
 interface RiddleProofEvidenceBundle {
@@ -516,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.45",
+  "version": "0.5.47",
   "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,16 @@
       "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"
+    },
+    "./local-agent": {
+      "types": "./dist/local-agent.d.ts",
+      "import": "./dist/local-agent.js",
+      "require": "./dist/local-agent.cjs"
+    },
     "./diagnostics": {
       "types": "./dist/diagnostics.d.ts",
       "import": "./dist/diagnostics.js",
@@ -80,6 +95,9 @@
       "require": "./dist/proof-run-engine.cjs"
     }
   },
+  "bin": {
+    "riddle-proof-loop": "./dist/cli.js"
+  },
   "files": [
     "dist",
     "lib",
@@ -97,7 +115,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/local-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"