ralph-research 0.1.0

package/dist/core/manifest/schema.js

@@ -0,0 +1,254 @@
+import { z } from "zod";
+import { DEFAULT_ALLOWED_GLOBS, DEFAULT_COMMAND_TIMEOUT_SEC, DEFAULT_LOW_CONFIDENCE_THRESHOLD, DEFAULT_MANIFEST_FILENAME, DEFAULT_MAX_FILES_CHANGED, DEFAULT_MAX_LINE_DELTA, DEFAULT_MAX_PATCH_COUNT, DEFAULT_PROPOSER_HISTORY_MAX_RUNS, DEFAULT_PROPOSER_EXPLORATION_RATIO, DEFAULT_PROJECT_BASELINE_REF, DEFAULT_PROJECT_WORKSPACE, DEFAULT_SCHEMA_VERSION, DEFAULT_STAGNATION_AFTER_REJECTIONS, DEFAULT_STORAGE_ROOT, manifestDefaults, } from "./defaults.js";
+const recordOfStringsSchema = z.record(z.string(), z.string()).default({});
+export const commandSpecSchema = z.object({
+    command: z.string().min(1),
+    cwd: z.string().optional(),
+    env: recordOfStringsSchema,
+    timeoutSec: z.number().int().positive().default(DEFAULT_COMMAND_TIMEOUT_SEC),
+});
+export const scopeSchema = z.object({
+    allowedGlobs: z.array(z.string().min(1)).min(1).default(DEFAULT_ALLOWED_GLOBS),
+    maxFilesChanged: z.number().int().positive().default(DEFAULT_MAX_FILES_CHANGED),
+    maxLineDelta: z.number().int().positive().default(DEFAULT_MAX_LINE_DELTA),
+});
+export const projectSchema = z.object({
+    name: z.string().min(1),
+    artifact: z.enum(["code", "manuscript", "literature_review", "prompt", "generic"]),
+    baselineRef: z.string().min(1).default(DEFAULT_PROJECT_BASELINE_REF),
+    workspace: z.enum(["git", "copy"]).default(DEFAULT_PROJECT_WORKSPACE),
+});
+export const proposerHistorySchema = z.object({
+    enabled: z.boolean().default(false),
+    maxRuns: z.number().int().min(1).default(DEFAULT_PROPOSER_HISTORY_MAX_RUNS),
+});
+export const commandProposerSchema = z.object({
+    type: z.literal("command"),
+    ...commandSpecSchema.shape,
+    history: proposerHistorySchema.default(manifestDefaults.proposer.history),
+});
+export const operatorLlmProposerSchema = z.object({
+    type: z.literal("operator_llm"),
+    model: z.string().min(1),
+    prompt: z.string().min(1),
+    operators: z.array(z.string().min(1)).min(1),
+    explorationRatio: z.number().min(0).max(1).default(DEFAULT_PROPOSER_EXPLORATION_RATIO),
+    stagnationAfterRejections: z.number().int().min(1).default(DEFAULT_STAGNATION_AFTER_REJECTIONS),
+    maxPatchCount: z.number().int().min(1).default(DEFAULT_MAX_PATCH_COUNT),
+    history: proposerHistorySchema.default(manifestDefaults.proposer.history),
+});
+const leafProposerSchema = z.discriminatedUnion("type", [
+    commandProposerSchema,
+    operatorLlmProposerSchema,
+]);
+export const parallelProposerSchema = z.object({
+    type: z.literal("parallel"),
+    strategies: z.array(leafProposerSchema).min(2),
+    pickBest: z.enum(["highest_metric", "judge_pairwise"]),
+    history: proposerHistorySchema.default(manifestDefaults.proposer.history),
+});
+export const proposerSchema = z.discriminatedUnion("type", [
+    commandProposerSchema,
+    operatorLlmProposerSchema,
+    parallelProposerSchema,
+]);
+export const experimentSchema = z.object({
+    run: commandSpecSchema,
+    outputs: z
+        .array(z.object({
+        id: z.string().min(1),
+        path: z.string().min(1),
+    }))
+        .default([]),
+});
+export const judgePackSchema = z.object({
+    id: z.string().min(1),
+    mode: z.enum(["absolute", "pairwise"]),
+    blindPairwise: z.boolean().default(true),
+    orderRandomized: z.boolean().default(true),
+    repeats: z.number().int().min(1).default(manifestDefaults.judgePack.repeats),
+    aggregation: z.enum(["mean", "median", "majority_vote", "sign_test"]).default("majority_vote"),
+    judges: z
+        .array(z.object({
+        model: z.string().min(1),
+        weight: z.number().positive().default(1),
+    }))
+        .min(1),
+    lowConfidenceThreshold: z.number().min(0).max(1).default(DEFAULT_LOW_CONFIDENCE_THRESHOLD),
+    anchors: z
+        .object({
+        path: z.string().min(1),
+        minAgreementWithHuman: z.number().min(0).max(1).default(manifestDefaults.judgePack.anchors.minAgreementWithHuman),
+    })
+        .optional(),
+    audit: z
+        .object({
+        sampleRate: z.number().min(0).max(1).default(manifestDefaults.judgePack.audit.sampleRate),
+        freezeAutoAcceptIfAnchorFails: z.boolean().default(manifestDefaults.judgePack.audit.freezeAutoAcceptIfAnchorFails),
+    })
+        .default(manifestDefaults.judgePack.audit),
+});
+export const commandMetricExtractorSchema = z.object({
+    type: z.literal("command"),
+    ...commandSpecSchema.shape,
+    parser: z.enum(["json_path", "regex", "plain_number"]).default("json_path"),
+    valuePath: z.string().optional(),
+    pattern: z.string().optional(),
+});
+export const llmJudgeMetricExtractorSchema = z.object({
+    type: z.literal("llm_judge"),
+    judgePack: z.string().min(1),
+    prompt: z.string().min(1),
+    mode: z.enum(["absolute", "pairwise"]).default("pairwise"),
+    compareAgainst: z.enum(["frontier.best", "none"]).default("frontier.best"),
+    inputs: z.record(z.string(), z.string()).default({}),
+    outputKey: z.string().min(1).default("score"),
+});
+export const metricExtractorSchema = z.discriminatedUnion("type", [
+    commandMetricExtractorSchema,
+    llmJudgeMetricExtractorSchema,
+]);
+const metricDefinitionBaseSchema = z.object({
+    id: z.string().min(1),
+    direction: z.enum(["maximize", "minimize"]),
+});
+export const numericMetricDefinitionSchema = metricDefinitionBaseSchema.extend({
+    kind: z.literal("numeric"),
+    extractor: commandMetricExtractorSchema,
+});
+export const llmScoreMetricDefinitionSchema = metricDefinitionBaseSchema.extend({
+    kind: z.literal("llm_score"),
+    extractor: llmJudgeMetricExtractorSchema,
+});
+export const metricDefinitionSchema = z.discriminatedUnion("kind", [
+    numericMetricDefinitionSchema,
+    llmScoreMetricDefinitionSchema,
+]);
+export const constraintSchema = z.object({
+    metric: z.string().min(1),
+    op: z.enum([">=", ">", "<=", "<", "=="]),
+    value: z.number(),
+});
+const singleBestFrontierSchema = z.object({
+    strategy: z.literal("single_best"),
+    primaryMetric: z.string().min(1),
+});
+export const paretoObjectiveSchema = z.object({
+    metric: z.string().min(1),
+    epsilon: z.number().nonnegative().default(0),
+});
+const paretoFrontierSchema = z.object({
+    strategy: z.literal("pareto"),
+    objectives: z.array(paretoObjectiveSchema).min(2),
+    tieBreaker: z.enum(["hypervolume", "none"]).default("hypervolume"),
+    referencePoint: z.record(z.string(), z.number()).optional(),
+});
+export const frontierSchema = z.discriminatedUnion("strategy", [
+    singleBestFrontierSchema,
+    paretoFrontierSchema,
+]);
+export const epsilonImproveRatchetSchema = z.object({
+    type: z.literal("epsilon_improve"),
+    metric: z.string().min(1).optional(),
+    epsilon: z.number().default(0),
+});
+export const approvalGateRatchetSchema = z.object({
+    type: z.literal("approval_gate"),
+    metric: z.string().min(1).optional(),
+    minConfidence: z.number().min(0).max(1).default(DEFAULT_LOW_CONFIDENCE_THRESHOLD),
+    graduation: z
+        .object({
+        consecutiveAccepts: z.number().int().min(1),
+        epsilon: z.number().default(0),
+    })
+        .optional(),
+});
+export const paretoDominanceRatchetSchema = z.object({
+    type: z.literal("pareto_dominance"),
+});
+export const ratchetSchema = z.discriminatedUnion("type", [
+    epsilonImproveRatchetSchema,
+    approvalGateRatchetSchema,
+    paretoDominanceRatchetSchema,
+]);
+export const storageSchema = z.object({
+    root: z.string().min(1).default(DEFAULT_STORAGE_ROOT),
+});
+const manifestShapeSchema = z.object({
+    schemaVersion: z.literal(DEFAULT_SCHEMA_VERSION),
+    project: projectSchema,
+    scope: scopeSchema.default(manifestDefaults.scope),
+    proposer: proposerSchema,
+    experiment: experimentSchema,
+    judgePacks: z.array(judgePackSchema).default([]),
+    metrics: z.object({
+        catalog: z.array(metricDefinitionSchema).min(1),
+    }),
+    constraints: z.array(constraintSchema).default([]),
+    frontier: frontierSchema,
+    ratchet: ratchetSchema,
+    storage: storageSchema.default(manifestDefaults.storage),
+});
+export const RalphManifestSchema = manifestShapeSchema.superRefine((manifest, ctx) => {
+    const metricIds = new Set(manifest.metrics.catalog.map((metric) => metric.id));
+    const judgePackIds = new Set(manifest.judgePacks.map((pack) => pack.id));
+    if (manifest.frontier.strategy === "single_best" && !metricIds.has(manifest.frontier.primaryMetric)) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: `frontier.primaryMetric references unknown metric "${manifest.frontier.primaryMetric}"`,
+            path: ["frontier", "primaryMetric"],
+        });
+    }
+    if (manifest.frontier.strategy === "pareto") {
+        for (const [index, objective] of manifest.frontier.objectives.entries()) {
+            if (!metricIds.has(objective.metric)) {
+                ctx.addIssue({
+                    code: z.ZodIssueCode.custom,
+                    message: `frontier objective references unknown metric "${objective.metric}"`,
+                    path: ["frontier", "objectives", index, "metric"],
+                });
+            }
+        }
+        if (manifest.ratchet.type !== "pareto_dominance") {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: "frontier.strategy=pareto requires ratchet.type=pareto_dominance",
+                path: ["ratchet", "type"],
+            });
+        }
+    }
+    if (manifest.frontier.strategy === "single_best" && manifest.ratchet.type === "pareto_dominance") {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: "ratchet.type=pareto_dominance requires frontier.strategy=pareto",
+            path: ["frontier", "strategy"],
+        });
+    }
+    if ("metric" in manifest.ratchet && manifest.ratchet.metric && !metricIds.has(manifest.ratchet.metric)) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: `ratchet.metric references unknown metric "${manifest.ratchet.metric}"`,
+            path: ["ratchet", "metric"],
+        });
+    }
+    for (const [index, constraint] of manifest.constraints.entries()) {
+        if (!metricIds.has(constraint.metric)) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `constraint references unknown metric "${constraint.metric}"`,
+                path: ["constraints", index, "metric"],
+            });
+        }
+    }
+    for (const [index, metric] of manifest.metrics.catalog.entries()) {
+        if (metric.extractor.type === "llm_judge" && !judgePackIds.has(metric.extractor.judgePack)) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `metric extractor references unknown judgePack "${metric.extractor.judgePack}"`,
+                path: ["metrics", "catalog", index, "extractor", "judgePack"],
+            });
+        }
+    }
+});
+export { DEFAULT_MANIFEST_FILENAME };
+//# sourceMappingURL=schema.js.map

package/dist/core/manifest/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../src/core/manifest/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EACL,qBAAqB,EACrB,2BAA2B,EAC3B,gCAAgC,EAChC,yBAAyB,EACzB,yBAAyB,EACzB,sBAAsB,EACtB,uBAAuB,EACvB,iCAAiC,EACjC,kCAAkC,EAClC,4BAA4B,EAC5B,yBAAyB,EACzB,sBAAsB,EACtB,mCAAmC,EACnC,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,eAAe,CAAC;AAEvB,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAE3E,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC1B,GAAG,EAAE,qBAAqB;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,2BAA2B,CAAC;CAC7E,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAC9E,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC;IAC/E,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC;CAC1E,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,mBAAmB,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAClF,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC;IACpE,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,yBAAyB,CAAC;CACtE,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACnC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,iCAAiC,CAAC;CAC5E,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,GAAG,iBAAiB,CAAC,KAAK;IAC1B,OAAO,EAAE,qBAAqB,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC;CAC1E,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;IAC/B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,kCAAkC,CAAC;IACtF,yBAAyB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,mCAAmC,CAAC;IAC/F,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACvE,OAAO,EAAE,qBAAqB,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC;CAC1E,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACtD,qBAAqB;IACrB,yBAAyB;CAC1B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;IAC3B,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IACtD,OAAO,EAAE,qBAAqB,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC;CAC1E,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACzD,qBAAqB;IACrB,yBAAyB;IACzB,sBAAsB;CACvB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,GAAG,EAAE,iBAAiB;IACtB,OAAO,EAAE,CAAC;SACP,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KACxB,CAAC,CACH;SACA,OAAO,CAAC,EAAE,CAAC;CACf,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACtC,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IACxC,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IAC1C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,OAAO,CAAC;IAC5E,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,eAAe,EAAE,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;IAC9F,MAAM,EAAE,CAAC;SACN,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;KACzC,CAAC,CACH;SACA,GAAG,CAAC,CAAC,CAAC;IACT,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gCAAgC,CAAC;IAC1F,OAAO,EAAE,CAAC;SACP,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACvB,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,OAAO,CAAC,qBAAqB,CAAC;KAClH,CAAC;SACD,QAAQ,EAAE;IACb,KAAK,EAAE,CAAC;SACL,MAAM,CAAC;QACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC;QACzF,6BAA6B,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,6BAA6B,CAAC;KACnH,CAAC;SACD,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC;CAC7C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC,MAAM,CAAC;IACnD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,GAAG,iBAAiB,CAAC,KAAK;IAC1B,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IAC3E,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC/B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC,MAAM,CAAC;IACpD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IAC5B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;IAC1D,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;IAC1E,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACpD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;CAC9C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAChE,4BAA4B;IAC5B,6BAA6B;CAC9B,CAAC,CAAC;AAEH,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;CAC5C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,6BAA6B,GAAG,0BAA0B,CAAC,MAAM,CAAC;IAC7E,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,SAAS,EAAE,4BAA4B;CACxC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,8BAA8B,GAAG,0BAA0B,CAAC,MAAM,CAAC;IAC9E,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IAC5B,SAAS,EAAE,6BAA6B;CACzC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACjE,6BAA6B;IAC7B,8BAA8B;CAC/B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;CAClB,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAClC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACjC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;CAC7C,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC7B,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAClE,cAAc,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC5D,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,kBAAkB,CAAC,UAAU,EAAE;IAC7D,wBAAwB;IACxB,oBAAoB;CACrB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAClC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACpC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;CAC/B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;IAChC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACpC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gCAAgC,CAAC;IACjF,UAAU,EAAE,CAAC;SACV,MAAM,CAAC;QACN,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;KAC/B,CAAC;SACD,QAAQ,EAAE;CACd,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC,MAAM,CAAC;IACnD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;CACpC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACxD,2BAA2B;IAC3B,yBAAyB;IACzB,4BAA4B;CAC7B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;CACtD,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC;IAChD,OAAO,EAAE,aAAa;IACtB,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC;IAClD,QAAQ,EAAE,cAAc;IACxB,UAAU,EAAE,gBAAgB;IAC5B,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAChD,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;QAChB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;KAChD,CAAC;IACF,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAClD,QAAQ,EAAE,cAAc;IACxB,OAAO,EAAE,aAAa;IACtB,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC;CACzD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE;IACnF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAEzE,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,KAAK,aAAa,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACpG,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,qDAAqD,QAAQ,CAAC,QAAQ,CAAC,aAAa,GAAG;YAChG,IAAI,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC;SACpC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACxE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrC,GAAG,CAAC,QAAQ,CAAC;oBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;oBAC3B,OAAO,EAAE,iDAAiD,SAAS,CAAC,MAAM,GAAG;oBAC7E,IAAI,EAAE,CAAC,UAAU,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,CAAC;iBAClD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACjD,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,iEAAiE;gBAC1E,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC;aAC1B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,KAAK,aAAa,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACjG,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,iEAAiE;YAC1E,IAAI,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;IAED,IAAI,QAAQ,IAAI,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACvG,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,6CAA6C,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG;YAChF,IAAI,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;SAC5B,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;QACjE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,yCAAyC,UAAU,CAAC,MAAM,GAAG;gBACtE,IAAI,EAAE,CAAC,aAAa,EAAE,KAAK,EAAE,QAAQ,CAAC;aACvC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACjE,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3F,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,kDAAkD,MAAM,CAAC,SAAS,CAAC,SAAS,GAAG;gBACxF,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,CAAC;aAC9D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAkBH,OAAO,EAAE,yBAAyB,EAAE,CAAC"}

package/dist/core/model/decision-record.d.ts

@@ -0,0 +1,38 @@
+import { z } from "zod";
+export declare const decisionOutcomeSchema: z.ZodEnum<{
+    accepted: "accepted";
+    rejected: "rejected";
+    needs_human: "needs_human";
+}>;
+export declare const decisionRecordSchema: z.ZodObject<{
+    decisionId: z.ZodString;
+    runId: z.ZodString;
+    outcome: z.ZodEnum<{
+        accepted: "accepted";
+        rejected: "rejected";
+        needs_human: "needs_human";
+    }>;
+    actorType: z.ZodEnum<{
+        system: "system";
+        human: "human";
+    }>;
+    actorId: z.ZodOptional<z.ZodString>;
+    policyType: z.ZodString;
+    metricId: z.ZodOptional<z.ZodString>;
+    delta: z.ZodOptional<z.ZodNumber>;
+    reason: z.ZodString;
+    createdAt: z.ZodString;
+    frontierChanged: z.ZodBoolean;
+    beforeFrontierIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    afterFrontierIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    commitSha: z.ZodOptional<z.ZodString>;
+    auditRequired: z.ZodDefault<z.ZodBoolean>;
+    graduation: z.ZodOptional<z.ZodObject<{
+        activatedPolicy: z.ZodLiteral<"epsilon_improve">;
+        consecutiveAccepts: z.ZodNumber;
+        epsilon: z.ZodNumber;
+        effectiveNextCycle: z.ZodDefault<z.ZodBoolean>;
+        reason: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type DecisionRecord = z.infer<typeof decisionRecordSchema>;

package/dist/core/model/decision-record.js

@@ -0,0 +1,29 @@
+import { z } from "zod";
+export const decisionOutcomeSchema = z.enum(["accepted", "rejected", "needs_human"]);
+export const decisionRecordSchema = z.object({
+    decisionId: z.string().min(1),
+    runId: z.string().min(1),
+    outcome: decisionOutcomeSchema,
+    actorType: z.enum(["system", "human"]),
+    actorId: z.string().min(1).optional(),
+    policyType: z.string().min(1),
+    metricId: z.string().min(1).optional(),
+    delta: z.number().optional(),
+    reason: z.string().min(1),
+    createdAt: z.string().datetime(),
+    frontierChanged: z.boolean(),
+    beforeFrontierIds: z.array(z.string().min(1)).default([]),
+    afterFrontierIds: z.array(z.string().min(1)).default([]),
+    commitSha: z.string().min(1).optional(),
+    auditRequired: z.boolean().default(false),
+    graduation: z
+        .object({
+        activatedPolicy: z.literal("epsilon_improve"),
+        consecutiveAccepts: z.number().int().min(1),
+        epsilon: z.number(),
+        effectiveNextCycle: z.boolean().default(true),
+        reason: z.string().min(1),
+    })
+        .optional(),
+});
+//# sourceMappingURL=decision-record.js.map

package/dist/core/model/decision-record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-record.js","sourceRoot":"","sources":["../../../src/core/model/decision-record.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC;AAErF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,OAAO,EAAE,qBAAqB;IAC9B,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACtC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACrC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACtC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE;IAC5B,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACzD,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACxD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACvC,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACzC,UAAU,EAAE,CAAC;SACV,MAAM,CAAC;QACN,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC;QAC7C,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;QACnB,kBAAkB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;QAC7C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC1B,CAAC;SACD,QAAQ,EAAE;CACd,CAAC,CAAC"}

package/dist/core/model/frontier-entry.d.ts

@@ -0,0 +1,24 @@
+import { z } from "zod";
+export declare const frontierEntrySchema: z.ZodObject<{
+    frontierId: z.ZodString;
+    runId: z.ZodString;
+    candidateId: z.ZodString;
+    acceptedAt: z.ZodString;
+    commitSha: z.ZodOptional<z.ZodString>;
+    metrics: z.ZodRecord<z.ZodString, z.ZodObject<{
+        metricId: z.ZodString;
+        value: z.ZodNumber;
+        confidence: z.ZodOptional<z.ZodNumber>;
+        direction: z.ZodEnum<{
+            maximize: "maximize";
+            minimize: "minimize";
+        }>;
+        judgeTracePath: z.ZodOptional<z.ZodString>;
+        details: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strip>>;
+    artifacts: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        path: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type FrontierEntry = z.infer<typeof frontierEntrySchema>;

package/dist/core/model/frontier-entry.js

@@ -0,0 +1,15 @@
+import { z } from "zod";
+import { metricResultSchema } from "./metric.js";
+export const frontierEntrySchema = z.object({
+    frontierId: z.string().min(1),
+    runId: z.string().min(1),
+    candidateId: z.string().min(1),
+    acceptedAt: z.string().datetime(),
+    commitSha: z.string().min(1).optional(),
+    metrics: z.record(z.string(), metricResultSchema),
+    artifacts: z.array(z.object({
+        id: z.string().min(1),
+        path: z.string().min(1),
+    })),
+});
+//# sourceMappingURL=frontier-entry.js.map

package/dist/core/model/frontier-entry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"frontier-entry.js","sourceRoot":"","sources":["../../../src/core/model/frontier-entry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEjD,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACvC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC;IACjD,SAAS,EAAE,CAAC,CAAC,KAAK,CAChB,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KACxB,CAAC,CACH;CACF,CAAC,CAAC"}

package/dist/core/model/metric.d.ts

@@ -0,0 +1,13 @@
+import { z } from "zod";
+export declare const metricResultSchema: z.ZodObject<{
+    metricId: z.ZodString;
+    value: z.ZodNumber;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    direction: z.ZodEnum<{
+        maximize: "maximize";
+        minimize: "minimize";
+    }>;
+    judgeTracePath: z.ZodOptional<z.ZodString>;
+    details: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strip>;
+export type MetricResult = z.infer<typeof metricResultSchema>;

package/dist/core/model/metric.js

@@ -0,0 +1,10 @@
+import { z } from "zod";
+export const metricResultSchema = z.object({
+    metricId: z.string().min(1),
+    value: z.number(),
+    confidence: z.number().min(0).max(1).optional(),
+    direction: z.enum(["maximize", "minimize"]),
+    judgeTracePath: z.string().min(1).optional(),
+    details: z.record(z.string(), z.unknown()).default({}),
+});
+//# sourceMappingURL=metric.js.map

package/dist/core/model/metric.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metric.js","sourceRoot":"","sources":["../../../src/core/model/metric.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC/C,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC3C,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC5C,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;CACvD,CAAC,CAAC"}

package/dist/core/model/run-record.d.ts

@@ -0,0 +1,110 @@
+import { z } from "zod";
+export declare const runPhaseSchema: z.ZodEnum<{
+    proposed: "proposed";
+    executed: "executed";
+    evaluated: "evaluated";
+    decision_written: "decision_written";
+    committed: "committed";
+    frontier_updated: "frontier_updated";
+    completed: "completed";
+    failed: "failed";
+}>;
+export declare const pendingActionSchema: z.ZodEnum<{
+    none: "none";
+    execute_experiment: "execute_experiment";
+    evaluate_metrics: "evaluate_metrics";
+    write_decision: "write_decision";
+    commit_candidate: "commit_candidate";
+    update_frontier: "update_frontier";
+    cleanup_workspace: "cleanup_workspace";
+}>;
+export declare const runStatusSchema: z.ZodEnum<{
+    accepted: "accepted";
+    rejected: "rejected";
+    needs_human: "needs_human";
+    evaluated: "evaluated";
+    failed: "failed";
+    running: "running";
+}>;
+export declare const runRecordSchema: z.ZodObject<{
+    runId: z.ZodString;
+    cycle: z.ZodNumber;
+    candidateId: z.ZodString;
+    status: z.ZodEnum<{
+        accepted: "accepted";
+        rejected: "rejected";
+        needs_human: "needs_human";
+        evaluated: "evaluated";
+        failed: "failed";
+        running: "running";
+    }>;
+    phase: z.ZodEnum<{
+        proposed: "proposed";
+        executed: "executed";
+        evaluated: "evaluated";
+        decision_written: "decision_written";
+        committed: "committed";
+        frontier_updated: "frontier_updated";
+        completed: "completed";
+        failed: "failed";
+    }>;
+    pendingAction: z.ZodDefault<z.ZodEnum<{
+        none: "none";
+        execute_experiment: "execute_experiment";
+        evaluate_metrics: "evaluate_metrics";
+        write_decision: "write_decision";
+        commit_candidate: "commit_candidate";
+        update_frontier: "update_frontier";
+        cleanup_workspace: "cleanup_workspace";
+    }>>;
+    startedAt: z.ZodString;
+    endedAt: z.ZodOptional<z.ZodString>;
+    manifestHash: z.ZodString;
+    workspaceRef: z.ZodString;
+    workspacePath: z.ZodOptional<z.ZodString>;
+    proposal: z.ZodObject<{
+        proposerType: z.ZodString;
+        summary: z.ZodString;
+        operators: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        patchPath: z.ZodOptional<z.ZodString>;
+        diffLines: z.ZodOptional<z.ZodNumber>;
+        filesChanged: z.ZodOptional<z.ZodNumber>;
+        changedPaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        withinBudget: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strip>;
+    artifacts: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        path: z.ZodString;
+    }, z.core.$strip>>;
+    metrics: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+        metricId: z.ZodString;
+        value: z.ZodNumber;
+        confidence: z.ZodOptional<z.ZodNumber>;
+        direction: z.ZodEnum<{
+            maximize: "maximize";
+            minimize: "minimize";
+        }>;
+        judgeTracePath: z.ZodOptional<z.ZodString>;
+        details: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strip>>>;
+    constraints: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        metric: z.ZodString;
+        passed: z.ZodBoolean;
+        actual: z.ZodNumber;
+        expected: z.ZodNumber;
+        op: z.ZodString;
+    }, z.core.$strip>>>;
+    decisionId: z.ZodOptional<z.ZodString>;
+    logs: z.ZodDefault<z.ZodObject<{
+        proposeStdoutPath: z.ZodOptional<z.ZodString>;
+        runStdoutPath: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    error: z.ZodOptional<z.ZodObject<{
+        message: z.ZodString;
+        stack: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type RunRecord = z.infer<typeof runRecordSchema>;
+export type RunPhase = z.infer<typeof runPhaseSchema>;
+export type RunStatus = z.infer<typeof runStatusSchema>;
+export type PendingAction = z.infer<typeof pendingActionSchema>;

package/dist/core/model/run-record.js

@@ -0,0 +1,104 @@
+import { z } from "zod";
+import { metricResultSchema } from "./metric.js";
+export const runPhaseSchema = z.enum([
+    "proposed",
+    "executed",
+    "evaluated",
+    "decision_written",
+    "committed",
+    "frontier_updated",
+    "completed",
+    "failed",
+]);
+export const pendingActionSchema = z.enum([
+    "none",
+    "execute_experiment",
+    "evaluate_metrics",
+    "write_decision",
+    "commit_candidate",
+    "update_frontier",
+    "cleanup_workspace",
+]);
+export const runStatusSchema = z.enum([
+    "running",
+    "evaluated",
+    "accepted",
+    "rejected",
+    "needs_human",
+    "failed",
+]);
+export const runRecordSchema = z
+    .object({
+    runId: z.string().min(1),
+    cycle: z.number().int().nonnegative(),
+    candidateId: z.string().min(1),
+    status: runStatusSchema,
+    phase: runPhaseSchema,
+    pendingAction: pendingActionSchema.default("none"),
+    startedAt: z.string().datetime(),
+    endedAt: z.string().datetime().optional(),
+    manifestHash: z.string().min(1),
+    workspaceRef: z.string().min(1),
+    workspacePath: z.string().min(1).optional(),
+    proposal: z.object({
+        proposerType: z.string().min(1),
+        summary: z.string().min(1),
+        operators: z.array(z.string().min(1)).default([]),
+        patchPath: z.string().min(1).optional(),
+        diffLines: z.number().int().nonnegative().optional(),
+        filesChanged: z.number().int().nonnegative().optional(),
+        changedPaths: z.array(z.string().min(1)).optional(),
+        withinBudget: z.boolean().optional(),
+    }),
+    artifacts: z.array(z.object({
+        id: z.string().min(1),
+        path: z.string().min(1),
+    })),
+    metrics: z.record(z.string(), metricResultSchema).default({}),
+    constraints: z
+        .array(z.object({
+        metric: z.string().min(1),
+        passed: z.boolean(),
+        actual: z.number(),
+        expected: z.number(),
+        op: z.string().min(1),
+    }))
+        .default([]),
+    decisionId: z.string().min(1).optional(),
+    logs: z
+        .object({
+        proposeStdoutPath: z.string().min(1).optional(),
+        runStdoutPath: z.string().min(1).optional(),
+    })
+        .default({}),
+    error: z
+        .object({
+        message: z.string().min(1),
+        stack: z.string().min(1).optional(),
+    })
+        .optional(),
+})
+    .superRefine((record, ctx) => {
+    if (record.phase === "completed" && !record.endedAt) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: "completed runs must include endedAt",
+            path: ["endedAt"],
+        });
+    }
+    if (record.phase === "failed" && !record.error) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: "failed runs must include error information",
+            path: ["error"],
+        });
+    }
+    if (record.phase === "decision_written" && !record.decisionId) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: "decision_written runs must include a decisionId",
+            path: ["decisionId"],
+        });
+    }
+});
+//# sourceMappingURL=run-record.js.map

package/dist/core/model/run-record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-record.js","sourceRoot":"","sources":["../../../src/core/model/run-record.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEjD,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,CAAC;IACnC,UAAU;IACV,UAAU;IACV,WAAW;IACX,kBAAkB;IAClB,WAAW;IACX,kBAAkB;IAClB,WAAW;IACX,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,IAAI,CAAC;IACxC,MAAM;IACN,oBAAoB;IACpB,kBAAkB;IAClB,gBAAgB;IAChB,kBAAkB;IAClB,iBAAiB;IACjB,mBAAmB;CACpB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC;IACpC,SAAS;IACT,WAAW;IACX,UAAU;IACV,UAAU;IACV,aAAa;IACb,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACrC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,MAAM,EAAE,eAAe;IACvB,KAAK,EAAE,cAAc;IACrB,aAAa,EAAE,mBAAmB,CAAC,OAAO,CAAC,MAAM,CAAC;IAClD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACzC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC3C,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC;QACjB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QACvC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;QACpD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;QACvD,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QACnD,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;KACrC,CAAC;IACF,SAAS,EAAE,CAAC,CAAC,KAAK,CAChB,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KACxB,CAAC,CACH;IACD,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC7D,WAAW,EAAE,CAAC;SACX,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;QACnB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;QAClB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;QACpB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KACtB,CAAC,CACH;SACA,OAAO,CAAC,EAAE,CAAC;IACd,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACxC,IAAI,EAAE,CAAC;SACJ,MAAM,CAAC;QACN,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QAC/C,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KAC5C,CAAC;SACD,OAAO,CAAC,EAAE,CAAC;IACd,KAAK,EAAE,CAAC;SACL,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KACpC,CAAC;SACD,QAAQ,EAAE;CACd,CAAC;KACD,WAAW,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;IAC3B,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,qCAAqC;YAC9C,IAAI,EAAE,CAAC,SAAS,CAAC;SAClB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAC/C,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,4CAA4C;YACrD,IAAI,EAAE,CAAC,OAAO,CAAC;SAChB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,kBAAkB,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QAC9D,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,iDAAiD;YAC1D,IAAI,EAAE,CAAC,YAAY,CAAC;SACrB,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/core/ports/decision-store.d.ts

@@ -0,0 +1,6 @@
+import type { DecisionRecord } from "../model/decision-record.js";
+export interface DecisionStore {
+    put(record: DecisionRecord): Promise<void>;
+    get(decisionId: string): Promise<DecisionRecord | null>;
+    list(): Promise<DecisionRecord[]>;
+}