@riddledc/riddle-proof 0.1.0 → 0.2.0

package/dist/types.d.ts

@@ -6,7 +6,7 @@ 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 = "setup" | "recon" | "author" | "implement" | "prove" | "verify" | "ship" | "notify" | (string & {});
 interface RiddleProofRunParams {
     repo?: string;
     branch?: string;
@@ -132,6 +132,20 @@ interface RiddleProofAssessment {
     reasons?: string[];
     source?: "supervising_agent" | "supervisor" | "human" | (string & {});
 }
+interface SetupAdapterInput {
+    request: RiddleProofRunParams;
+    state: RiddleProofRunState;
+}
+interface SetupAdapterResult {
+    ok: boolean;
+    workdir?: 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 +163,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 +204,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, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofAssessment, RiddleProofBlocker, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofStage, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof",
-  "version": "0.1.0",
+  "version": "0.2.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"