ralph-research 0.1.0

package/dist/core/manifest/schema.d.ts

@@ -0,0 +1,647 @@
+import { z } from "zod";
+import { DEFAULT_MANIFEST_FILENAME } from "./defaults.js";
+export declare const commandSpecSchema: z.ZodObject<{
+    command: z.ZodString;
+    cwd: z.ZodOptional<z.ZodString>;
+    env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    timeoutSec: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const scopeSchema: z.ZodObject<{
+    allowedGlobs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    maxFilesChanged: z.ZodDefault<z.ZodNumber>;
+    maxLineDelta: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const projectSchema: z.ZodObject<{
+    name: z.ZodString;
+    artifact: z.ZodEnum<{
+        code: "code";
+        manuscript: "manuscript";
+        literature_review: "literature_review";
+        prompt: "prompt";
+        generic: "generic";
+    }>;
+    baselineRef: z.ZodDefault<z.ZodString>;
+    workspace: z.ZodDefault<z.ZodEnum<{
+        git: "git";
+        copy: "copy";
+    }>>;
+}, z.core.$strip>;
+export declare const proposerHistorySchema: z.ZodObject<{
+    enabled: z.ZodDefault<z.ZodBoolean>;
+    maxRuns: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const commandProposerSchema: z.ZodObject<{
+    history: z.ZodDefault<z.ZodObject<{
+        enabled: z.ZodDefault<z.ZodBoolean>;
+        maxRuns: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+    command: z.ZodString;
+    cwd: z.ZodOptional<z.ZodString>;
+    env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    timeoutSec: z.ZodDefault<z.ZodNumber>;
+    type: z.ZodLiteral<"command">;
+}, z.core.$strip>;
+export declare const operatorLlmProposerSchema: z.ZodObject<{
+    type: z.ZodLiteral<"operator_llm">;
+    model: z.ZodString;
+    prompt: z.ZodString;
+    operators: z.ZodArray<z.ZodString>;
+    explorationRatio: z.ZodDefault<z.ZodNumber>;
+    stagnationAfterRejections: z.ZodDefault<z.ZodNumber>;
+    maxPatchCount: z.ZodDefault<z.ZodNumber>;
+    history: z.ZodDefault<z.ZodObject<{
+        enabled: z.ZodDefault<z.ZodBoolean>;
+        maxRuns: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+declare const leafProposerSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    history: z.ZodDefault<z.ZodObject<{
+        enabled: z.ZodDefault<z.ZodBoolean>;
+        maxRuns: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+    command: z.ZodString;
+    cwd: z.ZodOptional<z.ZodString>;
+    env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    timeoutSec: z.ZodDefault<z.ZodNumber>;
+    type: z.ZodLiteral<"command">;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"operator_llm">;
+    model: z.ZodString;
+    prompt: z.ZodString;
+    operators: z.ZodArray<z.ZodString>;
+    explorationRatio: z.ZodDefault<z.ZodNumber>;
+    stagnationAfterRejections: z.ZodDefault<z.ZodNumber>;
+    maxPatchCount: z.ZodDefault<z.ZodNumber>;
+    history: z.ZodDefault<z.ZodObject<{
+        enabled: z.ZodDefault<z.ZodBoolean>;
+        maxRuns: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>], "type">;
+export declare const parallelProposerSchema: z.ZodObject<{
+    type: z.ZodLiteral<"parallel">;
+    strategies: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        history: z.ZodDefault<z.ZodObject<{
+            enabled: z.ZodDefault<z.ZodBoolean>;
+            maxRuns: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strip>>;
+        command: z.ZodString;
+        cwd: z.ZodOptional<z.ZodString>;
+        env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        timeoutSec: z.ZodDefault<z.ZodNumber>;
+        type: z.ZodLiteral<"command">;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"operator_llm">;
+        model: z.ZodString;
+        prompt: z.ZodString;
+        operators: z.ZodArray<z.ZodString>;
+        explorationRatio: z.ZodDefault<z.ZodNumber>;
+        stagnationAfterRejections: z.ZodDefault<z.ZodNumber>;
+        maxPatchCount: z.ZodDefault<z.ZodNumber>;
+        history: z.ZodDefault<z.ZodObject<{
+            enabled: z.ZodDefault<z.ZodBoolean>;
+            maxRuns: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>], "type">>;
+    pickBest: z.ZodEnum<{
+        highest_metric: "highest_metric";
+        judge_pairwise: "judge_pairwise";
+    }>;
+    history: z.ZodDefault<z.ZodObject<{
+        enabled: z.ZodDefault<z.ZodBoolean>;
+        maxRuns: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const proposerSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    history: z.ZodDefault<z.ZodObject<{
+        enabled: z.ZodDefault<z.ZodBoolean>;
+        maxRuns: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+    command: z.ZodString;
+    cwd: z.ZodOptional<z.ZodString>;
+    env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    timeoutSec: z.ZodDefault<z.ZodNumber>;
+    type: z.ZodLiteral<"command">;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"operator_llm">;
+    model: z.ZodString;
+    prompt: z.ZodString;
+    operators: z.ZodArray<z.ZodString>;
+    explorationRatio: z.ZodDefault<z.ZodNumber>;
+    stagnationAfterRejections: z.ZodDefault<z.ZodNumber>;
+    maxPatchCount: z.ZodDefault<z.ZodNumber>;
+    history: z.ZodDefault<z.ZodObject<{
+        enabled: z.ZodDefault<z.ZodBoolean>;
+        maxRuns: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"parallel">;
+    strategies: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        history: z.ZodDefault<z.ZodObject<{
+            enabled: z.ZodDefault<z.ZodBoolean>;
+            maxRuns: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strip>>;
+        command: z.ZodString;
+        cwd: z.ZodOptional<z.ZodString>;
+        env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        timeoutSec: z.ZodDefault<z.ZodNumber>;
+        type: z.ZodLiteral<"command">;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"operator_llm">;
+        model: z.ZodString;
+        prompt: z.ZodString;
+        operators: z.ZodArray<z.ZodString>;
+        explorationRatio: z.ZodDefault<z.ZodNumber>;
+        stagnationAfterRejections: z.ZodDefault<z.ZodNumber>;
+        maxPatchCount: z.ZodDefault<z.ZodNumber>;
+        history: z.ZodDefault<z.ZodObject<{
+            enabled: z.ZodDefault<z.ZodBoolean>;
+            maxRuns: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>], "type">>;
+    pickBest: z.ZodEnum<{
+        highest_metric: "highest_metric";
+        judge_pairwise: "judge_pairwise";
+    }>;
+    history: z.ZodDefault<z.ZodObject<{
+        enabled: z.ZodDefault<z.ZodBoolean>;
+        maxRuns: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>], "type">;
+export declare const experimentSchema: z.ZodObject<{
+    run: z.ZodObject<{
+        command: z.ZodString;
+        cwd: z.ZodOptional<z.ZodString>;
+        env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        timeoutSec: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>;
+    outputs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        path: z.ZodString;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+export declare const judgePackSchema: z.ZodObject<{
+    id: z.ZodString;
+    mode: z.ZodEnum<{
+        absolute: "absolute";
+        pairwise: "pairwise";
+    }>;
+    blindPairwise: z.ZodDefault<z.ZodBoolean>;
+    orderRandomized: z.ZodDefault<z.ZodBoolean>;
+    repeats: z.ZodDefault<z.ZodNumber>;
+    aggregation: z.ZodDefault<z.ZodEnum<{
+        mean: "mean";
+        median: "median";
+        majority_vote: "majority_vote";
+        sign_test: "sign_test";
+    }>>;
+    judges: z.ZodArray<z.ZodObject<{
+        model: z.ZodString;
+        weight: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+    lowConfidenceThreshold: z.ZodDefault<z.ZodNumber>;
+    anchors: z.ZodOptional<z.ZodObject<{
+        path: z.ZodString;
+        minAgreementWithHuman: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+    audit: z.ZodDefault<z.ZodObject<{
+        sampleRate: z.ZodDefault<z.ZodNumber>;
+        freezeAutoAcceptIfAnchorFails: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const commandMetricExtractorSchema: z.ZodObject<{
+    parser: z.ZodDefault<z.ZodEnum<{
+        json_path: "json_path";
+        regex: "regex";
+        plain_number: "plain_number";
+    }>>;
+    valuePath: z.ZodOptional<z.ZodString>;
+    pattern: z.ZodOptional<z.ZodString>;
+    command: z.ZodString;
+    cwd: z.ZodOptional<z.ZodString>;
+    env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    timeoutSec: z.ZodDefault<z.ZodNumber>;
+    type: z.ZodLiteral<"command">;
+}, z.core.$strip>;
+export declare const llmJudgeMetricExtractorSchema: z.ZodObject<{
+    type: z.ZodLiteral<"llm_judge">;
+    judgePack: z.ZodString;
+    prompt: z.ZodString;
+    mode: z.ZodDefault<z.ZodEnum<{
+        absolute: "absolute";
+        pairwise: "pairwise";
+    }>>;
+    compareAgainst: z.ZodDefault<z.ZodEnum<{
+        "frontier.best": "frontier.best";
+        none: "none";
+    }>>;
+    inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    outputKey: z.ZodDefault<z.ZodString>;
+}, z.core.$strip>;
+export declare const metricExtractorSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    parser: z.ZodDefault<z.ZodEnum<{
+        json_path: "json_path";
+        regex: "regex";
+        plain_number: "plain_number";
+    }>>;
+    valuePath: z.ZodOptional<z.ZodString>;
+    pattern: z.ZodOptional<z.ZodString>;
+    command: z.ZodString;
+    cwd: z.ZodOptional<z.ZodString>;
+    env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    timeoutSec: z.ZodDefault<z.ZodNumber>;
+    type: z.ZodLiteral<"command">;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"llm_judge">;
+    judgePack: z.ZodString;
+    prompt: z.ZodString;
+    mode: z.ZodDefault<z.ZodEnum<{
+        absolute: "absolute";
+        pairwise: "pairwise";
+    }>>;
+    compareAgainst: z.ZodDefault<z.ZodEnum<{
+        "frontier.best": "frontier.best";
+        none: "none";
+    }>>;
+    inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    outputKey: z.ZodDefault<z.ZodString>;
+}, z.core.$strip>], "type">;
+export declare const numericMetricDefinitionSchema: z.ZodObject<{
+    id: z.ZodString;
+    direction: z.ZodEnum<{
+        maximize: "maximize";
+        minimize: "minimize";
+    }>;
+    kind: z.ZodLiteral<"numeric">;
+    extractor: z.ZodObject<{
+        parser: z.ZodDefault<z.ZodEnum<{
+            json_path: "json_path";
+            regex: "regex";
+            plain_number: "plain_number";
+        }>>;
+        valuePath: z.ZodOptional<z.ZodString>;
+        pattern: z.ZodOptional<z.ZodString>;
+        command: z.ZodString;
+        cwd: z.ZodOptional<z.ZodString>;
+        env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        timeoutSec: z.ZodDefault<z.ZodNumber>;
+        type: z.ZodLiteral<"command">;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export declare const llmScoreMetricDefinitionSchema: z.ZodObject<{
+    id: z.ZodString;
+    direction: z.ZodEnum<{
+        maximize: "maximize";
+        minimize: "minimize";
+    }>;
+    kind: z.ZodLiteral<"llm_score">;
+    extractor: z.ZodObject<{
+        type: z.ZodLiteral<"llm_judge">;
+        judgePack: z.ZodString;
+        prompt: z.ZodString;
+        mode: z.ZodDefault<z.ZodEnum<{
+            absolute: "absolute";
+            pairwise: "pairwise";
+        }>>;
+        compareAgainst: z.ZodDefault<z.ZodEnum<{
+            "frontier.best": "frontier.best";
+            none: "none";
+        }>>;
+        inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        outputKey: z.ZodDefault<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export declare const metricDefinitionSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    id: z.ZodString;
+    direction: z.ZodEnum<{
+        maximize: "maximize";
+        minimize: "minimize";
+    }>;
+    kind: z.ZodLiteral<"numeric">;
+    extractor: z.ZodObject<{
+        parser: z.ZodDefault<z.ZodEnum<{
+            json_path: "json_path";
+            regex: "regex";
+            plain_number: "plain_number";
+        }>>;
+        valuePath: z.ZodOptional<z.ZodString>;
+        pattern: z.ZodOptional<z.ZodString>;
+        command: z.ZodString;
+        cwd: z.ZodOptional<z.ZodString>;
+        env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        timeoutSec: z.ZodDefault<z.ZodNumber>;
+        type: z.ZodLiteral<"command">;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    id: z.ZodString;
+    direction: z.ZodEnum<{
+        maximize: "maximize";
+        minimize: "minimize";
+    }>;
+    kind: z.ZodLiteral<"llm_score">;
+    extractor: z.ZodObject<{
+        type: z.ZodLiteral<"llm_judge">;
+        judgePack: z.ZodString;
+        prompt: z.ZodString;
+        mode: z.ZodDefault<z.ZodEnum<{
+            absolute: "absolute";
+            pairwise: "pairwise";
+        }>>;
+        compareAgainst: z.ZodDefault<z.ZodEnum<{
+            "frontier.best": "frontier.best";
+            none: "none";
+        }>>;
+        inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        outputKey: z.ZodDefault<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip>], "kind">;
+export declare const constraintSchema: z.ZodObject<{
+    metric: z.ZodString;
+    op: z.ZodEnum<{
+        ">=": ">=";
+        ">": ">";
+        "<=": "<=";
+        "<": "<";
+        "==": "==";
+    }>;
+    value: z.ZodNumber;
+}, z.core.$strip>;
+export declare const paretoObjectiveSchema: z.ZodObject<{
+    metric: z.ZodString;
+    epsilon: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const frontierSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    strategy: z.ZodLiteral<"single_best">;
+    primaryMetric: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    strategy: z.ZodLiteral<"pareto">;
+    objectives: z.ZodArray<z.ZodObject<{
+        metric: z.ZodString;
+        epsilon: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+    tieBreaker: z.ZodDefault<z.ZodEnum<{
+        none: "none";
+        hypervolume: "hypervolume";
+    }>>;
+    referencePoint: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+}, z.core.$strip>], "strategy">;
+export declare const epsilonImproveRatchetSchema: z.ZodObject<{
+    type: z.ZodLiteral<"epsilon_improve">;
+    metric: z.ZodOptional<z.ZodString>;
+    epsilon: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const approvalGateRatchetSchema: z.ZodObject<{
+    type: z.ZodLiteral<"approval_gate">;
+    metric: z.ZodOptional<z.ZodString>;
+    minConfidence: z.ZodDefault<z.ZodNumber>;
+    graduation: z.ZodOptional<z.ZodObject<{
+        consecutiveAccepts: z.ZodNumber;
+        epsilon: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const paretoDominanceRatchetSchema: z.ZodObject<{
+    type: z.ZodLiteral<"pareto_dominance">;
+}, z.core.$strip>;
+export declare const ratchetSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"epsilon_improve">;
+    metric: z.ZodOptional<z.ZodString>;
+    epsilon: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"approval_gate">;
+    metric: z.ZodOptional<z.ZodString>;
+    minConfidence: z.ZodDefault<z.ZodNumber>;
+    graduation: z.ZodOptional<z.ZodObject<{
+        consecutiveAccepts: z.ZodNumber;
+        epsilon: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"pareto_dominance">;
+}, z.core.$strip>], "type">;
+export declare const storageSchema: z.ZodObject<{
+    root: z.ZodDefault<z.ZodString>;
+}, z.core.$strip>;
+export declare const RalphManifestSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"0.1">;
+    project: z.ZodObject<{
+        name: z.ZodString;
+        artifact: z.ZodEnum<{
+            code: "code";
+            manuscript: "manuscript";
+            literature_review: "literature_review";
+            prompt: "prompt";
+            generic: "generic";
+        }>;
+        baselineRef: z.ZodDefault<z.ZodString>;
+        workspace: z.ZodDefault<z.ZodEnum<{
+            git: "git";
+            copy: "copy";
+        }>>;
+    }, z.core.$strip>;
+    scope: z.ZodDefault<z.ZodObject<{
+        allowedGlobs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        maxFilesChanged: z.ZodDefault<z.ZodNumber>;
+        maxLineDelta: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+    proposer: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        history: z.ZodDefault<z.ZodObject<{
+            enabled: z.ZodDefault<z.ZodBoolean>;
+            maxRuns: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strip>>;
+        command: z.ZodString;
+        cwd: z.ZodOptional<z.ZodString>;
+        env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        timeoutSec: z.ZodDefault<z.ZodNumber>;
+        type: z.ZodLiteral<"command">;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"operator_llm">;
+        model: z.ZodString;
+        prompt: z.ZodString;
+        operators: z.ZodArray<z.ZodString>;
+        explorationRatio: z.ZodDefault<z.ZodNumber>;
+        stagnationAfterRejections: z.ZodDefault<z.ZodNumber>;
+        maxPatchCount: z.ZodDefault<z.ZodNumber>;
+        history: z.ZodDefault<z.ZodObject<{
+            enabled: z.ZodDefault<z.ZodBoolean>;
+            maxRuns: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"parallel">;
+        strategies: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            history: z.ZodDefault<z.ZodObject<{
+                enabled: z.ZodDefault<z.ZodBoolean>;
+                maxRuns: z.ZodDefault<z.ZodNumber>;
+            }, z.core.$strip>>;
+            command: z.ZodString;
+            cwd: z.ZodOptional<z.ZodString>;
+            env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+            timeoutSec: z.ZodDefault<z.ZodNumber>;
+            type: z.ZodLiteral<"command">;
+        }, z.core.$strip>, z.ZodObject<{
+            type: z.ZodLiteral<"operator_llm">;
+            model: z.ZodString;
+            prompt: z.ZodString;
+            operators: z.ZodArray<z.ZodString>;
+            explorationRatio: z.ZodDefault<z.ZodNumber>;
+            stagnationAfterRejections: z.ZodDefault<z.ZodNumber>;
+            maxPatchCount: z.ZodDefault<z.ZodNumber>;
+            history: z.ZodDefault<z.ZodObject<{
+                enabled: z.ZodDefault<z.ZodBoolean>;
+                maxRuns: z.ZodDefault<z.ZodNumber>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>], "type">>;
+        pickBest: z.ZodEnum<{
+            highest_metric: "highest_metric";
+            judge_pairwise: "judge_pairwise";
+        }>;
+        history: z.ZodDefault<z.ZodObject<{
+            enabled: z.ZodDefault<z.ZodBoolean>;
+            maxRuns: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>], "type">;
+    experiment: z.ZodObject<{
+        run: z.ZodObject<{
+            command: z.ZodString;
+            cwd: z.ZodOptional<z.ZodString>;
+            env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+            timeoutSec: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strip>;
+        outputs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            path: z.ZodString;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>;
+    judgePacks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        mode: z.ZodEnum<{
+            absolute: "absolute";
+            pairwise: "pairwise";
+        }>;
+        blindPairwise: z.ZodDefault<z.ZodBoolean>;
+        orderRandomized: z.ZodDefault<z.ZodBoolean>;
+        repeats: z.ZodDefault<z.ZodNumber>;
+        aggregation: z.ZodDefault<z.ZodEnum<{
+            mean: "mean";
+            median: "median";
+            majority_vote: "majority_vote";
+            sign_test: "sign_test";
+        }>>;
+        judges: z.ZodArray<z.ZodObject<{
+            model: z.ZodString;
+            weight: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strip>>;
+        lowConfidenceThreshold: z.ZodDefault<z.ZodNumber>;
+        anchors: z.ZodOptional<z.ZodObject<{
+            path: z.ZodString;
+            minAgreementWithHuman: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strip>>;
+        audit: z.ZodDefault<z.ZodObject<{
+            sampleRate: z.ZodDefault<z.ZodNumber>;
+            freezeAutoAcceptIfAnchorFails: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>>;
+    metrics: z.ZodObject<{
+        catalog: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            id: z.ZodString;
+            direction: z.ZodEnum<{
+                maximize: "maximize";
+                minimize: "minimize";
+            }>;
+            kind: z.ZodLiteral<"numeric">;
+            extractor: z.ZodObject<{
+                parser: z.ZodDefault<z.ZodEnum<{
+                    json_path: "json_path";
+                    regex: "regex";
+                    plain_number: "plain_number";
+                }>>;
+                valuePath: z.ZodOptional<z.ZodString>;
+                pattern: z.ZodOptional<z.ZodString>;
+                command: z.ZodString;
+                cwd: z.ZodOptional<z.ZodString>;
+                env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+                timeoutSec: z.ZodDefault<z.ZodNumber>;
+                type: z.ZodLiteral<"command">;
+            }, z.core.$strip>;
+        }, z.core.$strip>, z.ZodObject<{
+            id: z.ZodString;
+            direction: z.ZodEnum<{
+                maximize: "maximize";
+                minimize: "minimize";
+            }>;
+            kind: z.ZodLiteral<"llm_score">;
+            extractor: z.ZodObject<{
+                type: z.ZodLiteral<"llm_judge">;
+                judgePack: z.ZodString;
+                prompt: z.ZodString;
+                mode: z.ZodDefault<z.ZodEnum<{
+                    absolute: "absolute";
+                    pairwise: "pairwise";
+                }>>;
+                compareAgainst: z.ZodDefault<z.ZodEnum<{
+                    "frontier.best": "frontier.best";
+                    none: "none";
+                }>>;
+                inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+                outputKey: z.ZodDefault<z.ZodString>;
+            }, z.core.$strip>;
+        }, z.core.$strip>], "kind">>;
+    }, z.core.$strip>;
+    constraints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        metric: z.ZodString;
+        op: z.ZodEnum<{
+            ">=": ">=";
+            ">": ">";
+            "<=": "<=";
+            "<": "<";
+            "==": "==";
+        }>;
+        value: z.ZodNumber;
+    }, z.core.$strip>>>;
+    frontier: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        strategy: z.ZodLiteral<"single_best">;
+        primaryMetric: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        strategy: z.ZodLiteral<"pareto">;
+        objectives: z.ZodArray<z.ZodObject<{
+            metric: z.ZodString;
+            epsilon: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strip>>;
+        tieBreaker: z.ZodDefault<z.ZodEnum<{
+            none: "none";
+            hypervolume: "hypervolume";
+        }>>;
+        referencePoint: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    }, z.core.$strip>], "strategy">;
+    ratchet: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        type: z.ZodLiteral<"epsilon_improve">;
+        metric: z.ZodOptional<z.ZodString>;
+        epsilon: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"approval_gate">;
+        metric: z.ZodOptional<z.ZodString>;
+        minConfidence: z.ZodDefault<z.ZodNumber>;
+        graduation: z.ZodOptional<z.ZodObject<{
+            consecutiveAccepts: z.ZodNumber;
+            epsilon: z.ZodDefault<z.ZodNumber>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"pareto_dominance">;
+    }, z.core.$strip>], "type">;
+    storage: z.ZodDefault<z.ZodObject<{
+        root: z.ZodDefault<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type RalphManifest = z.infer<typeof RalphManifestSchema>;
+export type ProposerConfig = z.infer<typeof proposerSchema>;
+export type MetricExtractor = z.infer<typeof metricExtractorSchema>;
+export type JudgePack = z.infer<typeof judgePackSchema>;
+export type FrontierConfig = z.infer<typeof frontierSchema>;
+export type RatchetConfig = z.infer<typeof ratchetSchema>;
+export type CommandProposerConfig = z.infer<typeof commandProposerSchema>;
+export type ParallelProposerConfig = z.infer<typeof parallelProposerSchema>;
+export type CommandMetricExtractorConfig = z.infer<typeof commandMetricExtractorSchema>;
+export type CommandSpecConfig = z.infer<typeof commandSpecSchema>;
+export type ScopeConfig = z.infer<typeof scopeSchema>;
+export type LlmJudgeMetricExtractorConfig = z.infer<typeof llmJudgeMetricExtractorSchema>;
+export type ProposerHistoryConfig = z.infer<typeof proposerHistorySchema>;
+export type ParetoObjectiveConfig = z.infer<typeof paretoObjectiveSchema>;
+export type LeafProposerConfig = z.infer<typeof leafProposerSchema>;
+export { DEFAULT_MANIFEST_FILENAME };