@riddledc/riddle-proof 0.1.1 → 0.3.0

package/dist/runner.d.cts

@@ -0,0 +1,22 @@
+import { PreflightAdapter, SetupAdapter, ImplementationAdapter, ProofAdapter, JudgeAdapter, ShipAdapter, NotificationAdapter, RiddleProofRunParams, RiddleProofRunState, RiddleProofRunResult } from './types.cjs';
+
+interface RiddleProofRunnerAdapters {
+    preflight?: PreflightAdapter;
+    setup?: SetupAdapter;
+    implementation?: ImplementationAdapter;
+    proof?: ProofAdapter;
+    judge?: JudgeAdapter;
+    ship?: ShipAdapter;
+    notification?: NotificationAdapter;
+}
+interface RunRiddleProofInput {
+    request: RiddleProofRunParams;
+    adapters: RiddleProofRunnerAdapters;
+    state?: RiddleProofRunState;
+    state_path?: string;
+    workdir?: string;
+    max_iterations?: number;
+}
+declare function runRiddleProof(input: RunRiddleProofInput): Promise<RiddleProofRunResult>;
+
+export { type RiddleProofRunnerAdapters, type RunRiddleProofInput, runRiddleProof };

package/dist/runner.d.ts

@@ -0,0 +1,22 @@
+import { PreflightAdapter, SetupAdapter, ImplementationAdapter, ProofAdapter, JudgeAdapter, ShipAdapter, NotificationAdapter, RiddleProofRunParams, RiddleProofRunState, RiddleProofRunResult } from './types.js';
+
+interface RiddleProofRunnerAdapters {
+    preflight?: PreflightAdapter;
+    setup?: SetupAdapter;
+    implementation?: ImplementationAdapter;
+    proof?: ProofAdapter;
+    judge?: JudgeAdapter;
+    ship?: ShipAdapter;
+    notification?: NotificationAdapter;
+}
+interface RunRiddleProofInput {
+    request: RiddleProofRunParams;
+    adapters: RiddleProofRunnerAdapters;
+    state?: RiddleProofRunState;
+    state_path?: string;
+    workdir?: string;
+    max_iterations?: number;
+}
+declare function runRiddleProof(input: RunRiddleProofInput): Promise<RiddleProofRunResult>;
+
+export { type RiddleProofRunnerAdapters, type RunRiddleProofInput, runRiddleProof };

package/dist/runner.js

@@ -0,0 +1,8 @@
+import {
+  runRiddleProof
+} from "./chunk-P3FUU5X4.js";
+import "./chunk-IQIEOQZF.js";
+import "./chunk-5DC6YXN4.js";
+export {
+  runRiddleProof
+};

package/dist/state.cjs

@@ -22,7 +22,9 @@ var state_exports = {};
 __export(state_exports, {
   RIDDLE_PROOF_RUN_STATE_VERSION: () => RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent: () => appendRunEvent,
+  appendStageHeartbeat: () => appendStageHeartbeat,
   createRunState: () => createRunState,
+  createRunStatusSnapshot: () => createRunStatusSnapshot,
   normalizeIntegrationContext: () => normalizeIntegrationContext,
   normalizeRunParams: () => normalizeRunParams,
   setRunStatus: () => setRunStatus
@@ -45,6 +47,17 @@ var RIDDLE_PROOF_RUN_STATE_VERSION = "riddle-proof.run-state.v1";
 function timestamp() {
   return (/* @__PURE__ */ new Date()).toISOString();
 }
+function createRunId(createdAt) {
+  const stamp = createdAt.replace(/\D/g, "").slice(0, 14) || "unknown";
+  const entropy = Math.random().toString(36).slice(2, 8) || "run";
+  return `rp_${stamp}_${entropy}`;
+}
+function elapsedMs(start, end) {
+  const startMs = start ? Date.parse(start) : NaN;
+  const endMs = end ? Date.parse(end) : NaN;
+  if (!Number.isFinite(startMs) || !Number.isFinite(endMs)) return void 0;
+  return Math.max(0, endMs - startMs);
+}
 function normalizeIntegrationContext(input, fallbackSource) {
   const value = recordValue(input);
   if (!value) {
@@ -95,7 +108,12 @@ function createRunState(input) {
   const createdAt = input.created_at || timestamp();
   return compactRecord({
     version: RIDDLE_PROOF_RUN_STATE_VERSION,
+    run_id: input.run_id || createRunId(createdAt),
     state_path: input.state_path,
+    worktree_path: input.worktree_path,
+    branch: input.branch || input.request.branch,
+    current_stage: input.current_stage ?? null,
+    stage_started_at: input.stage_started_at ?? null,
     status: input.status || "running",
     created_at: createdAt,
     updated_at: input.updated_at || createdAt,
@@ -123,9 +141,49 @@ function appendRunEvent(state, input) {
     details: event.details
   }));
   if (input.checkpoint !== void 0) state.last_checkpoint = input.checkpoint;
+  if (input.stage !== void 0) {
+    if (state.current_stage !== input.stage) state.stage_started_at = event.ts;
+    state.current_stage = input.stage;
+  }
   state.updated_at = event.ts;
   return state;
 }
+function appendStageHeartbeat(state, input) {
+  const at = input.ts || timestamp();
+  return appendRunEvent(state, {
+    ts: at,
+    kind: "stage.heartbeat",
+    checkpoint: input.checkpoint || `${input.stage}_heartbeat`,
+    stage: input.stage,
+    summary: input.summary || `${input.stage} stage is active.`,
+    details: compactRecord({
+      elapsed_ms: elapsedMs(state.created_at, at),
+      stage_elapsed_ms: elapsedMs(state.stage_started_at, at),
+      wait_reason: input.wait_reason,
+      blocker: input.blocker,
+      ...input.details
+    })
+  });
+}
+function createRunStatusSnapshot(state, at = timestamp()) {
+  const latestEvent = state.events[state.events.length - 1];
+  const runId = state.run_id || "unknown";
+  return compactRecord({
+    run_id: runId,
+    status: state.status,
+    current_stage: state.current_stage ?? null,
+    state_path: state.state_path ?? null,
+    worktree_path: state.worktree_path ?? null,
+    branch: state.branch ?? null,
+    iterations: state.iterations,
+    last_checkpoint: state.last_checkpoint ?? null,
+    updated_at: state.updated_at,
+    elapsed_ms: elapsedMs(state.created_at, at),
+    stage_elapsed_ms: elapsedMs(state.stage_started_at, at),
+    blocker: state.blocker,
+    latest_event: latestEvent
+  });
+}
 function setRunStatus(state, status, at = timestamp()) {
   state.status = status;
   state.ok = status !== "blocked" && status !== "failed";
@@ -136,7 +194,9 @@ function setRunStatus(state, status, at = timestamp()) {
 0 && (module.exports = {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
+  appendStageHeartbeat,
   createRunState,
+  createRunStatusSnapshot,
   normalizeIntegrationContext,
   normalizeRunParams,
   setRunStatus

package/dist/state.d.cts

@@ -1,10 +1,15 @@
-import { RiddleProofRunParams, RiddleProofStatus, RiddleProofEvent, RiddleProofRunState, IntegrationContext } from './types.cjs';
+import { RiddleProofRunParams, RiddleProofStatus, RiddleProofStage, RiddleProofEvent, RiddleProofRunState, RiddleProofRunStatusSnapshot, IntegrationContext } from './types.cjs';
 
 declare const RIDDLE_PROOF_RUN_STATE_VERSION: "riddle-proof.run-state.v1";
 interface CreateRunStateInput {
     request: RiddleProofRunParams;
+    run_id?: string;
     status?: RiddleProofStatus;
     state_path?: string;
+    worktree_path?: string;
+    branch?: string;
+    current_stage?: RiddleProofStage | null;
+    stage_started_at?: string | null;
     created_at?: string;
     updated_at?: string;
     iterations?: number;
@@ -18,6 +23,16 @@ declare function normalizeIntegrationContext(input?: Partial<IntegrationContext>
 declare function normalizeRunParams(input: RiddleProofRunParams): RiddleProofRunParams;
 declare function createRunState(input: CreateRunStateInput): RiddleProofRunState;
 declare function appendRunEvent<T extends RiddleProofRunState>(state: T, input: RunEventInput): T;
+declare function appendStageHeartbeat<T extends RiddleProofRunState>(state: T, input: {
+    stage: RiddleProofStage;
+    summary?: string;
+    checkpoint?: string;
+    wait_reason?: string;
+    blocker?: string;
+    details?: Record<string, unknown>;
+    ts?: string;
+}): T;
+declare function createRunStatusSnapshot(state: RiddleProofRunState, at?: string): RiddleProofRunStatusSnapshot;
 declare function setRunStatus<T extends RiddleProofRunState>(state: T, status: RiddleProofStatus, at?: string): T;
 
-export { type CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, type RunEventInput, appendRunEvent, createRunState, normalizeIntegrationContext, normalizeRunParams, setRunStatus };
+export { type CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, type RunEventInput, appendRunEvent, appendStageHeartbeat, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizeRunParams, setRunStatus };

package/dist/state.d.ts

@@ -1,10 +1,15 @@
-import { RiddleProofRunParams, RiddleProofStatus, RiddleProofEvent, RiddleProofRunState, IntegrationContext } from './types.js';
+import { RiddleProofRunParams, RiddleProofStatus, RiddleProofStage, RiddleProofEvent, RiddleProofRunState, RiddleProofRunStatusSnapshot, IntegrationContext } from './types.js';
 
 declare const RIDDLE_PROOF_RUN_STATE_VERSION: "riddle-proof.run-state.v1";
 interface CreateRunStateInput {
     request: RiddleProofRunParams;
+    run_id?: string;
     status?: RiddleProofStatus;
     state_path?: string;
+    worktree_path?: string;
+    branch?: string;
+    current_stage?: RiddleProofStage | null;
+    stage_started_at?: string | null;
     created_at?: string;
     updated_at?: string;
     iterations?: number;
@@ -18,6 +23,16 @@ declare function normalizeIntegrationContext(input?: Partial<IntegrationContext>
 declare function normalizeRunParams(input: RiddleProofRunParams): RiddleProofRunParams;
 declare function createRunState(input: CreateRunStateInput): RiddleProofRunState;
 declare function appendRunEvent<T extends RiddleProofRunState>(state: T, input: RunEventInput): T;
+declare function appendStageHeartbeat<T extends RiddleProofRunState>(state: T, input: {
+    stage: RiddleProofStage;
+    summary?: string;
+    checkpoint?: string;
+    wait_reason?: string;
+    blocker?: string;
+    details?: Record<string, unknown>;
+    ts?: string;
+}): T;
+declare function createRunStatusSnapshot(state: RiddleProofRunState, at?: string): RiddleProofRunStatusSnapshot;
 declare function setRunStatus<T extends RiddleProofRunState>(state: T, status: RiddleProofStatus, at?: string): T;
 
-export { type CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, type RunEventInput, appendRunEvent, createRunState, normalizeIntegrationContext, normalizeRunParams, setRunStatus };
+export { type CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, type RunEventInput, appendRunEvent, appendStageHeartbeat, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizeRunParams, setRunStatus };

package/dist/state.js

@@ -1,16 +1,20 @@
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
+  appendStageHeartbeat,
   createRunState,
+  createRunStatusSnapshot,
   normalizeIntegrationContext,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-EPVZKWUS.js";
-import "./chunk-2ZQNXVQC.js";
+} from "./chunk-IQIEOQZF.js";
+import "./chunk-5DC6YXN4.js";
 export {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
+  appendStageHeartbeat,
   createRunState,
+  createRunStatusSnapshot,
   normalizeIntegrationContext,
   normalizeRunParams,
   setRunStatus

package/dist/types.d.cts

@@ -6,7 +6,8 @@ type JsonObject = {
 type RiddleProofStatus = "running" | "blocked" | "failed" | "ready_to_ship" | "shipped" | "completed";
 type RiddleProofVerificationMode = "proof" | "visual" | "interaction" | "render" | "data" | "json" | "audio" | "log" | "logs" | "metric" | "metrics" | (string & {});
 type RiddleProofDecision = "ready_to_ship" | "needs_richer_proof" | "revise_capture" | "needs_recon" | "needs_implementation" | (string & {});
-type RiddleProofStage = "setup" | "recon" | "author" | "implement" | "verify" | "ship" | (string & {});
+type RiddleProofStage = "preflight" | "setup" | "recon" | "author" | "implement" | "prove" | "verify" | "ship" | "notify" | (string & {});
+type RiddleProofArtifactRole = "baseline" | "after_proof" | "incidental" | "diagnostic" | (string & {});
 interface RiddleProofRunParams {
     repo?: string;
     branch?: string;
@@ -60,7 +61,12 @@ interface RiddleProofEvent {
 }
 interface RiddleProofRunState {
     version: "riddle-proof.run-state.v1";
+    run_id?: string;
     state_path?: string;
+    worktree_path?: string;
+    branch?: string;
+    current_stage?: RiddleProofStage | null;
+    stage_started_at?: string | null;
     status: RiddleProofStatus;
     ok?: boolean;
     created_at: string;
@@ -80,7 +86,11 @@ interface RiddleProofRunState {
 interface RiddleProofRunResult {
     ok: boolean;
     status: RiddleProofStatus;
+    run_id?: string;
     state_path?: string | null;
+    worktree_path?: string | null;
+    branch?: string | null;
+    current_stage?: RiddleProofStage | null;
     iterations?: number;
     last_checkpoint?: string | null;
     last_summary?: string | null;
@@ -95,6 +105,21 @@ interface RiddleProofRunResult {
     evidence_bundle?: RiddleProofEvidenceBundle;
     raw?: Record<string, unknown>;
 }
+interface RiddleProofRunStatusSnapshot {
+    run_id: string;
+    status: RiddleProofStatus;
+    current_stage?: RiddleProofStage | null;
+    state_path?: string | null;
+    worktree_path?: string | null;
+    branch?: string | null;
+    iterations: number;
+    last_checkpoint?: string | null;
+    updated_at: string;
+    elapsed_ms?: number;
+    stage_elapsed_ms?: number;
+    blocker?: RiddleProofBlocker;
+    latest_event?: RiddleProofEvent;
+}
 interface RiddleProofEvidenceBundle {
     verification_mode: RiddleProofVerificationMode;
     baselines?: EvidenceReference[];
@@ -108,6 +133,7 @@ interface RiddleProofEvidenceBundle {
 }
 interface EvidenceReference {
     kind: "before" | "prod" | "after" | "comparison" | (string & {});
+    role?: RiddleProofArtifactRole;
     url?: string;
     path?: string;
     observed_path?: string;
@@ -117,6 +143,7 @@ interface EvidenceReference {
 interface EvidenceArtifact {
     name: string;
     kind?: "screenshot" | "json" | "log" | "metric" | "audio" | "video" | (string & {});
+    role?: RiddleProofArtifactRole;
     url?: string;
     path?: string;
     content_type?: string;
@@ -132,6 +159,37 @@ interface RiddleProofAssessment {
     reasons?: string[];
     source?: "supervising_agent" | "supervisor" | "human" | (string & {});
 }
+interface PreflightAdapterInput {
+    request: RiddleProofRunParams;
+    state: RiddleProofRunState;
+}
+interface PreflightAdapterResult {
+    ok: boolean;
+    warnings?: string[];
+    degraded_capabilities?: string[];
+    blockers?: string[];
+    raw?: Record<string, unknown>;
+}
+interface PreflightAdapter {
+    preflight(input: PreflightAdapterInput): Promise<PreflightAdapterResult>;
+}
+interface SetupAdapterInput {
+    request: RiddleProofRunParams;
+    state: RiddleProofRunState;
+}
+interface SetupAdapterResult {
+    ok: boolean;
+    workdir?: string;
+    worktree_path?: string;
+    branch?: string;
+    cleanup_policy?: "reuse" | "delete_on_success" | "delete_on_finish" | "leave_for_debug" | (string & {});
+    evidence_context?: RiddleProofEvidenceBundle;
+    blockers?: string[];
+    raw?: Record<string, unknown>;
+}
+interface SetupAdapter {
+    setup(input: SetupAdapterInput): Promise<SetupAdapterResult>;
+}
 interface ImplementationAdapterInput {
     workdir: string;
     change_request: string;
@@ -149,6 +207,20 @@ interface ImplementationAdapterResult {
 interface ImplementationAdapter {
     implement(input: ImplementationAdapterInput): Promise<ImplementationAdapterResult>;
 }
+interface ProofAdapterInput {
+    state: RiddleProofRunState;
+    implementation?: ImplementationAdapterResult;
+    evidence_context?: RiddleProofEvidenceBundle;
+}
+interface ProofAdapterResult {
+    ok: boolean;
+    evidence_bundle?: RiddleProofEvidenceBundle;
+    blockers?: string[];
+    raw?: Record<string, unknown>;
+}
+interface ProofAdapter {
+    prove(input: ProofAdapterInput): Promise<ProofAdapterResult>;
+}
 interface JudgeAdapter {
     assessProof(input: {
         state: RiddleProofRunState;
@@ -176,4 +248,4 @@ interface RiddleProofTerminalMetadata {
     finalized?: boolean;
 }
 
-export type { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, RiddleProofAssessment, RiddleProofBlocker, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofStage, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, ShipAdapter };
+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, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter };

package/dist/types.d.ts

@@ -6,7 +6,8 @@ type JsonObject = {
 type RiddleProofStatus = "running" | "blocked" | "failed" | "ready_to_ship" | "shipped" | "completed";
 type RiddleProofVerificationMode = "proof" | "visual" | "interaction" | "render" | "data" | "json" | "audio" | "log" | "logs" | "metric" | "metrics" | (string & {});
 type RiddleProofDecision = "ready_to_ship" | "needs_richer_proof" | "revise_capture" | "needs_recon" | "needs_implementation" | (string & {});
-type RiddleProofStage = "setup" | "recon" | "author" | "implement" | "verify" | "ship" | (string & {});
+type RiddleProofStage = "preflight" | "setup" | "recon" | "author" | "implement" | "prove" | "verify" | "ship" | "notify" | (string & {});
+type RiddleProofArtifactRole = "baseline" | "after_proof" | "incidental" | "diagnostic" | (string & {});
 interface RiddleProofRunParams {
     repo?: string;
     branch?: string;
@@ -60,7 +61,12 @@ interface RiddleProofEvent {
 }
 interface RiddleProofRunState {
     version: "riddle-proof.run-state.v1";
+    run_id?: string;
     state_path?: string;
+    worktree_path?: string;
+    branch?: string;
+    current_stage?: RiddleProofStage | null;
+    stage_started_at?: string | null;
     status: RiddleProofStatus;
     ok?: boolean;
     created_at: string;
@@ -80,7 +86,11 @@ interface RiddleProofRunState {
 interface RiddleProofRunResult {
     ok: boolean;
     status: RiddleProofStatus;
+    run_id?: string;
     state_path?: string | null;
+    worktree_path?: string | null;
+    branch?: string | null;
+    current_stage?: RiddleProofStage | null;
     iterations?: number;
     last_checkpoint?: string | null;
     last_summary?: string | null;
@@ -95,6 +105,21 @@ interface RiddleProofRunResult {
     evidence_bundle?: RiddleProofEvidenceBundle;
     raw?: Record<string, unknown>;
 }
+interface RiddleProofRunStatusSnapshot {
+    run_id: string;
+    status: RiddleProofStatus;
+    current_stage?: RiddleProofStage | null;
+    state_path?: string | null;
+    worktree_path?: string | null;
+    branch?: string | null;
+    iterations: number;
+    last_checkpoint?: string | null;
+    updated_at: string;
+    elapsed_ms?: number;
+    stage_elapsed_ms?: number;
+    blocker?: RiddleProofBlocker;
+    latest_event?: RiddleProofEvent;
+}
 interface RiddleProofEvidenceBundle {
     verification_mode: RiddleProofVerificationMode;
     baselines?: EvidenceReference[];
@@ -108,6 +133,7 @@ interface RiddleProofEvidenceBundle {
 }
 interface EvidenceReference {
     kind: "before" | "prod" | "after" | "comparison" | (string & {});
+    role?: RiddleProofArtifactRole;
     url?: string;
     path?: string;
     observed_path?: string;
@@ -117,6 +143,7 @@ interface EvidenceReference {
 interface EvidenceArtifact {
     name: string;
     kind?: "screenshot" | "json" | "log" | "metric" | "audio" | "video" | (string & {});
+    role?: RiddleProofArtifactRole;
     url?: string;
     path?: string;
     content_type?: string;
@@ -132,6 +159,37 @@ interface RiddleProofAssessment {
     reasons?: string[];
     source?: "supervising_agent" | "supervisor" | "human" | (string & {});
 }
+interface PreflightAdapterInput {
+    request: RiddleProofRunParams;
+    state: RiddleProofRunState;
+}
+interface PreflightAdapterResult {
+    ok: boolean;
+    warnings?: string[];
+    degraded_capabilities?: string[];
+    blockers?: string[];
+    raw?: Record<string, unknown>;
+}
+interface PreflightAdapter {
+    preflight(input: PreflightAdapterInput): Promise<PreflightAdapterResult>;
+}
+interface SetupAdapterInput {
+    request: RiddleProofRunParams;
+    state: RiddleProofRunState;
+}
+interface SetupAdapterResult {
+    ok: boolean;
+    workdir?: string;
+    worktree_path?: string;
+    branch?: string;
+    cleanup_policy?: "reuse" | "delete_on_success" | "delete_on_finish" | "leave_for_debug" | (string & {});
+    evidence_context?: RiddleProofEvidenceBundle;
+    blockers?: string[];
+    raw?: Record<string, unknown>;
+}
+interface SetupAdapter {
+    setup(input: SetupAdapterInput): Promise<SetupAdapterResult>;
+}
 interface ImplementationAdapterInput {
     workdir: string;
     change_request: string;
@@ -149,6 +207,20 @@ interface ImplementationAdapterResult {
 interface ImplementationAdapter {
     implement(input: ImplementationAdapterInput): Promise<ImplementationAdapterResult>;
 }
+interface ProofAdapterInput {
+    state: RiddleProofRunState;
+    implementation?: ImplementationAdapterResult;
+    evidence_context?: RiddleProofEvidenceBundle;
+}
+interface ProofAdapterResult {
+    ok: boolean;
+    evidence_bundle?: RiddleProofEvidenceBundle;
+    blockers?: string[];
+    raw?: Record<string, unknown>;
+}
+interface ProofAdapter {
+    prove(input: ProofAdapterInput): Promise<ProofAdapterResult>;
+}
 interface JudgeAdapter {
     assessProof(input: {
         state: RiddleProofRunState;
@@ -176,4 +248,4 @@ interface RiddleProofTerminalMetadata {
     finalized?: boolean;
 }
 
-export type { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, RiddleProofAssessment, RiddleProofBlocker, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofStage, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, ShipAdapter };
+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, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof",
-  "version": "0.1.1",
+  "version": "0.3.0",
   "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"
     },
+    "./runner": {
+      "types": "./dist/runner.d.ts",
+      "import": "./dist/runner.js",
+      "require": "./dist/runner.cjs"
+    },
     "./openclaw": {
       "types": "./dist/openclaw.d.ts",
       "import": "./dist/openclaw.js",
@@ -55,7 +60,7 @@
     "typescript": "^5.4.5"
   },
   "scripts": {
-    "build": "tsup src/index.ts src/types.ts src/result.ts src/state.ts src/openclaw.ts --format cjs,esm --dts --out-dir dist --clean",
+    "build": "tsup src/index.ts src/types.ts src/result.ts src/state.ts src/runner.ts src/openclaw.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"