@riddledc/riddle-proof 0.2.0 → 0.4.0

package/dist/engine-harness.d.cts

@@ -0,0 +1,68 @@
+import { RiddleProofRunParams, RiddleProofRunState, RiddleProofBlocker, RiddleProofRunStatusSnapshot, RiddleProofRunResult } from './types.cjs';
+
+type RiddleProofShipMode = "none" | "ship";
+interface RiddleProofWorkflowParams extends Record<string, unknown> {
+    action: string;
+    state_path?: string;
+}
+interface RiddleProofEngineResult extends Record<string, unknown> {
+    ok?: boolean;
+    state_path?: string;
+    checkpoint?: string | null;
+    checkpointContract?: Record<string, unknown> | null;
+    decisionRequest?: Record<string, unknown> | null;
+    state?: Record<string, unknown> | null;
+    summary?: string;
+    shipGate?: Record<string, unknown> | null;
+}
+interface RiddleProofEngine {
+    execute(params: RiddleProofWorkflowParams): Promise<RiddleProofEngineResult>;
+}
+interface RiddleProofEngineHarnessConfig {
+    riddleProofDir?: string;
+    defaultReviewer?: string;
+    riddleEngineModuleUrl?: string;
+    stateDir?: string;
+    defaultMaxIterations?: number;
+    defaultShipMode?: RiddleProofShipMode;
+}
+interface RiddleProofAgentPayload {
+    ok?: boolean;
+    payload?: Record<string, unknown>;
+    summary?: string;
+    blocker?: RiddleProofBlocker;
+    diffDetected?: boolean;
+    changedFiles?: string[];
+    implementationNotes?: string;
+}
+interface RiddleProofEngineHarnessContext {
+    request: RiddleProofRunParams;
+    state: RiddleProofRunState;
+    engineResult: RiddleProofEngineResult;
+    fullRiddleState: Record<string, unknown> | null;
+    checkpoint: string;
+}
+interface RiddleProofAgentAdapter {
+    assessRecon(context: RiddleProofEngineHarnessContext): Promise<RiddleProofAgentPayload>;
+    authorProofPacket(context: RiddleProofEngineHarnessContext): Promise<RiddleProofAgentPayload>;
+    implementChange(context: RiddleProofEngineHarnessContext & {
+        workdir?: string | null;
+    }): Promise<RiddleProofAgentPayload>;
+    assessProof(context: RiddleProofEngineHarnessContext): Promise<RiddleProofAgentPayload>;
+}
+interface RunRiddleProofEngineHarnessInput {
+    request: RiddleProofRunParams;
+    engine?: RiddleProofEngine | (() => Promise<RiddleProofEngine>);
+    agent?: RiddleProofAgentAdapter;
+    config?: RiddleProofEngineHarnessConfig;
+    state?: RiddleProofRunState;
+    state_path?: string;
+    max_iterations?: number;
+    dry_run?: boolean;
+    auto_approve?: boolean;
+}
+declare function createDisabledRiddleProofAgentAdapter(): RiddleProofAgentAdapter;
+declare function readRiddleProofRunStatus(state_path: string): RiddleProofRunStatusSnapshot | null;
+declare function runRiddleProofEngineHarness(input: RunRiddleProofEngineHarnessInput): Promise<RiddleProofRunResult>;
+
+export { type RiddleProofAgentAdapter, type RiddleProofAgentPayload, type RiddleProofEngine, type RiddleProofEngineHarnessConfig, type RiddleProofEngineHarnessContext, type RiddleProofEngineResult, type RiddleProofShipMode, type RiddleProofWorkflowParams, type RunRiddleProofEngineHarnessInput, createDisabledRiddleProofAgentAdapter, readRiddleProofRunStatus, runRiddleProofEngineHarness };

package/dist/engine-harness.d.ts

@@ -0,0 +1,68 @@
+import { RiddleProofRunParams, RiddleProofRunState, RiddleProofBlocker, RiddleProofRunStatusSnapshot, RiddleProofRunResult } from './types.js';
+
+type RiddleProofShipMode = "none" | "ship";
+interface RiddleProofWorkflowParams extends Record<string, unknown> {
+    action: string;
+    state_path?: string;
+}
+interface RiddleProofEngineResult extends Record<string, unknown> {
+    ok?: boolean;
+    state_path?: string;
+    checkpoint?: string | null;
+    checkpointContract?: Record<string, unknown> | null;
+    decisionRequest?: Record<string, unknown> | null;
+    state?: Record<string, unknown> | null;
+    summary?: string;
+    shipGate?: Record<string, unknown> | null;
+}
+interface RiddleProofEngine {
+    execute(params: RiddleProofWorkflowParams): Promise<RiddleProofEngineResult>;
+}
+interface RiddleProofEngineHarnessConfig {
+    riddleProofDir?: string;
+    defaultReviewer?: string;
+    riddleEngineModuleUrl?: string;
+    stateDir?: string;
+    defaultMaxIterations?: number;
+    defaultShipMode?: RiddleProofShipMode;
+}
+interface RiddleProofAgentPayload {
+    ok?: boolean;
+    payload?: Record<string, unknown>;
+    summary?: string;
+    blocker?: RiddleProofBlocker;
+    diffDetected?: boolean;
+    changedFiles?: string[];
+    implementationNotes?: string;
+}
+interface RiddleProofEngineHarnessContext {
+    request: RiddleProofRunParams;
+    state: RiddleProofRunState;
+    engineResult: RiddleProofEngineResult;
+    fullRiddleState: Record<string, unknown> | null;
+    checkpoint: string;
+}
+interface RiddleProofAgentAdapter {
+    assessRecon(context: RiddleProofEngineHarnessContext): Promise<RiddleProofAgentPayload>;
+    authorProofPacket(context: RiddleProofEngineHarnessContext): Promise<RiddleProofAgentPayload>;
+    implementChange(context: RiddleProofEngineHarnessContext & {
+        workdir?: string | null;
+    }): Promise<RiddleProofAgentPayload>;
+    assessProof(context: RiddleProofEngineHarnessContext): Promise<RiddleProofAgentPayload>;
+}
+interface RunRiddleProofEngineHarnessInput {
+    request: RiddleProofRunParams;
+    engine?: RiddleProofEngine | (() => Promise<RiddleProofEngine>);
+    agent?: RiddleProofAgentAdapter;
+    config?: RiddleProofEngineHarnessConfig;
+    state?: RiddleProofRunState;
+    state_path?: string;
+    max_iterations?: number;
+    dry_run?: boolean;
+    auto_approve?: boolean;
+}
+declare function createDisabledRiddleProofAgentAdapter(): RiddleProofAgentAdapter;
+declare function readRiddleProofRunStatus(state_path: string): RiddleProofRunStatusSnapshot | null;
+declare function runRiddleProofEngineHarness(input: RunRiddleProofEngineHarnessInput): Promise<RiddleProofRunResult>;
+
+export { type RiddleProofAgentAdapter, type RiddleProofAgentPayload, type RiddleProofEngine, type RiddleProofEngineHarnessConfig, type RiddleProofEngineHarnessContext, type RiddleProofEngineResult, type RiddleProofShipMode, type RiddleProofWorkflowParams, type RunRiddleProofEngineHarnessInput, createDisabledRiddleProofAgentAdapter, readRiddleProofRunStatus, runRiddleProofEngineHarness };

package/dist/engine-harness.js

@@ -0,0 +1,12 @@
+import {
+  createDisabledRiddleProofAgentAdapter,
+  readRiddleProofRunStatus,
+  runRiddleProofEngineHarness
+} from "./chunk-US63AYQU.js";
+import "./chunk-5FHUOSNO.js";
+import "./chunk-5DC6YXN4.js";
+export {
+  createDisabledRiddleProofAgentAdapter,
+  readRiddleProofRunStatus,
+  runRiddleProofEngineHarness
+};