peaks-loop 4.0.0-beta → 4.0.0-beta.3

package/dist/src/services/evolution/evolution-types.d.ts

@@ -0,0 +1,706 @@
+import { z } from "zod";
+/**
+ * EvolutionEvaluation — spec §4.4 / §6.
+ *
+ * The Darwin-style ratchet stores one row per evolution round. The
+ * table is the durable evidence of the round; the in-memory
+ * `EvolutionProposal` is the create payload; the in-memory
+ * `EvolutionEvaluation` is the post-skeptic aggregation.
+ *
+ * Hard rules from spec §6.1 (enforced at the service layer, NOT
+ * only in the Zod schema — defense in depth):
+ *
+ *   1. Single editable asset per round (target_count === 1).
+ *   2. Single optimization dimension per round (dimensions.length === 1).
+ *   3. Independent-context evaluation (author_id !== evaluator_id).
+ *   4. Regression skeptic (skeptic_id !== evaluator_id and
+ *      skeptic_id !== author_id; skeptic is a SEPARATE agent).
+ *   5. Score delta threshold (score_delta >= score_delta_min).
+ *   6. User confirmation (user_confirmation_pointer is set on `keep`).
+ *   7. No self-scored evolution (the author cannot be the scorer).
+ *
+ * Out of scope (deferred to later slices):
+ *   - Crystallization event integration (M5).
+ *   - Revert audit trail table (M5 / M7).
+ */
+export declare const EvolutionTargetKindSchema: z.ZodEnum<["loop", "bee", "policy", "gate", "evaluator"]>;
+export type EvolutionTargetKind = z.infer<typeof EvolutionTargetKindSchema>;
+export declare const EVOLUTION_TARGET_KINDS: readonly EvolutionTargetKind[];
+export declare const EvolutionVerdictSchema: z.ZodEnum<["keep", "revert", "needs-user-decision"]>;
+export type EvolutionVerdict = z.infer<typeof EvolutionVerdictSchema>;
+export declare const EVOLUTION_VERDICTS: readonly EvolutionVerdict[];
+/**
+ * EvolutionProposal — the create payload.
+ *
+ * `single_object` and `single_optimization_dimension` are boolean
+ * markers the LLM must declare at proposal time. The service layer
+ * rejects proposals that violate them. The `target_count` is always
+ * 1; `dimensions` is always length 1.
+ *
+ * `before_score` / `after_score` are per-dimension scores on the
+ * 0..10 scale; the proposal is rejected at `keep` time when
+ * `after_score - before_score < score_delta_min` (default 1.0).
+ */
+export declare const EvolutionProposalInputSchema: z.ZodObject<{
+    target_kind: z.ZodEnum<["loop", "bee", "policy", "gate", "evaluator"]>;
+    target_release_id: z.ZodString;
+    /**
+     * Single optimization dimension (AC-8). Multi-dimension proposals
+     * must be split into multiple rounds.
+     */
+    optimization_dimension: z.ZodString;
+    before_snapshot: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    after_snapshot: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    diff: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    before_score: z.ZodNumber;
+    after_score: z.ZodNumber;
+    score_delta_min: z.ZodDefault<z.ZodNumber>;
+    author_id: z.ZodString;
+    /**
+     * The LLM-side marker that this proposal targets a SINGLE object
+     * (AC-8). Multi-object proposals must be split into multiple
+     * rounds. The service layer rejects proposals with
+     * `single_object !== true`.
+     */
+    single_object: z.ZodLiteral<true>;
+    /**
+     * The LLM-side marker that this proposal targets a SINGLE
+     * optimization dimension (AC-8). The service layer rejects
+     * proposals with `single_optimization_dimension !== true`.
+     */
+    single_optimization_dimension: z.ZodLiteral<true>;
+    rubric: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    red_lines: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    source_traces: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    diff: Record<string, unknown>;
+    target_kind: "bee" | "gate" | "loop" | "evaluator" | "policy";
+    target_release_id: string;
+    optimization_dimension: string;
+    before_snapshot: Record<string, unknown>;
+    after_snapshot: Record<string, unknown>;
+    before_score: number;
+    after_score: number;
+    score_delta_min: number;
+    author_id: string;
+    single_object: true;
+    single_optimization_dimension: true;
+    rubric: Record<string, unknown>;
+    red_lines: string[];
+    source_traces: string[];
+}, {
+    target_kind: "bee" | "gate" | "loop" | "evaluator" | "policy";
+    target_release_id: string;
+    optimization_dimension: string;
+    before_score: number;
+    after_score: number;
+    author_id: string;
+    single_object: true;
+    single_optimization_dimension: true;
+    diff?: Record<string, unknown> | undefined;
+    before_snapshot?: Record<string, unknown> | undefined;
+    after_snapshot?: Record<string, unknown> | undefined;
+    score_delta_min?: number | undefined;
+    rubric?: Record<string, unknown> | undefined;
+    red_lines?: string[] | undefined;
+    source_traces?: string[] | undefined;
+}>;
+export type EvolutionProposalInput = z.input<typeof EvolutionProposalInputSchema>;
+/**
+ * The PERSISTED proposal shape — adds `dimensions` (a length-1
+ * array) and `target_count` (always 1) for storage. The
+ * `optimization_dimension` scalar is normalized into the
+ * `dimensions` array on persist.
+ */
+export declare const EvolutionProposalSchema: z.ZodObject<{
+    target_kind: z.ZodEnum<["loop", "bee", "policy", "gate", "evaluator"]>;
+    target_release_id: z.ZodString;
+    /**
+     * Single optimization dimension (AC-8). Multi-dimension proposals
+     * must be split into multiple rounds.
+     */
+    optimization_dimension: z.ZodString;
+    before_snapshot: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    after_snapshot: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    diff: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    before_score: z.ZodNumber;
+    after_score: z.ZodNumber;
+    score_delta_min: z.ZodDefault<z.ZodNumber>;
+    author_id: z.ZodString;
+    /**
+     * The LLM-side marker that this proposal targets a SINGLE object
+     * (AC-8). Multi-object proposals must be split into multiple
+     * rounds. The service layer rejects proposals with
+     * `single_object !== true`.
+     */
+    single_object: z.ZodLiteral<true>;
+    /**
+     * The LLM-side marker that this proposal targets a SINGLE
+     * optimization dimension (AC-8). The service layer rejects
+     * proposals with `single_optimization_dimension !== true`.
+     */
+    single_optimization_dimension: z.ZodLiteral<true>;
+    rubric: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    red_lines: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    source_traces: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+} & {
+    id: z.ZodString;
+    dimensions: z.ZodArray<z.ZodString, "many">;
+    target_count: z.ZodLiteral<1>;
+    schema_version: z.ZodDefault<z.ZodLiteral<"peaks.evolution/1">>;
+    created_at: z.ZodString;
+    score_delta: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    schema_version: "peaks.evolution/1";
+    id: string;
+    diff: Record<string, unknown>;
+    created_at: string;
+    target_kind: "bee" | "gate" | "loop" | "evaluator" | "policy";
+    target_release_id: string;
+    optimization_dimension: string;
+    before_snapshot: Record<string, unknown>;
+    after_snapshot: Record<string, unknown>;
+    before_score: number;
+    after_score: number;
+    score_delta_min: number;
+    author_id: string;
+    single_object: true;
+    single_optimization_dimension: true;
+    rubric: Record<string, unknown>;
+    red_lines: string[];
+    source_traces: string[];
+    dimensions: string[];
+    target_count: 1;
+    score_delta: number;
+}, {
+    id: string;
+    created_at: string;
+    target_kind: "bee" | "gate" | "loop" | "evaluator" | "policy";
+    target_release_id: string;
+    optimization_dimension: string;
+    before_score: number;
+    after_score: number;
+    author_id: string;
+    single_object: true;
+    single_optimization_dimension: true;
+    dimensions: string[];
+    target_count: 1;
+    score_delta: number;
+    schema_version?: "peaks.evolution/1" | undefined;
+    diff?: Record<string, unknown> | undefined;
+    before_snapshot?: Record<string, unknown> | undefined;
+    after_snapshot?: Record<string, unknown> | undefined;
+    score_delta_min?: number | undefined;
+    rubric?: Record<string, unknown> | undefined;
+    red_lines?: string[] | undefined;
+    source_traces?: string[] | undefined;
+}>;
+export type EvolutionProposal = z.infer<typeof EvolutionProposalSchema>;
+/**
+ * The independent evaluator's verdict. AC-12 / AC-13: the evaluator
+ * is a SEPARATE sub-agent that only sees the evaluation package.
+ */
+export declare const IndependentEvaluatorResultSchema: z.ZodObject<{
+    score: z.ZodNumber;
+    riskTags: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    refuteParagraph: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    score: number;
+    riskTags: string[];
+    refuteParagraph: string;
+}, {
+    score: number;
+    refuteParagraph: string;
+    riskTags?: string[] | undefined;
+}>;
+export type IndependentEvaluatorResult = z.infer<typeof IndependentEvaluatorResultSchema>;
+/**
+ * The regression skeptic's verdict. AC-14: a separate sub-agent
+ * that attempts to refute the proposal.
+ */
+export declare const RegressionSkepticResultSchema: z.ZodObject<{
+    driftRisks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    overfitRisks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    safetyRegressionRisks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    blocker: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    driftRisks: string[];
+    overfitRisks: string[];
+    safetyRegressionRisks: string[];
+    blocker?: string | undefined;
+}, {
+    blocker?: string | undefined;
+    driftRisks?: string[] | undefined;
+    overfitRisks?: string[] | undefined;
+    safetyRegressionRisks?: string[] | undefined;
+}>;
+export type RegressionSkepticResult = z.infer<typeof RegressionSkepticResultSchema>;
+/**
+ * The full evolution evaluation row as persisted. Differs from the
+ * proposal in that it carries the evaluator + skeptic verdicts, the
+ * `score_delta` (computed), and the final `verdict` aggregation.
+ *
+ * Field semantics — see spec §4.4 for full prose. Highlights:
+ *
+ *   - `evaluator_id` and `skeptic_id` are SEPARATE agents (AC-14).
+ *   - `user_confirmation_pointer` is a path/ID to a user choice
+ *     record; it is REQUIRED for `verdict = 'keep'` (AC-15: user
+ *     confirmation is the final gate).
+ *   - `brief_pointer` is a path/ID to the evidence brief used in
+ *     the recommendation (spec §4.7 / §10 RL-7).
+ */
+export declare const EvolutionEvaluationInputSchema: z.ZodObject<{
+    id: z.ZodString;
+    proposal: z.ZodObject<{
+        target_kind: z.ZodEnum<["loop", "bee", "policy", "gate", "evaluator"]>;
+        target_release_id: z.ZodString;
+        /**
+         * Single optimization dimension (AC-8). Multi-dimension proposals
+         * must be split into multiple rounds.
+         */
+        optimization_dimension: z.ZodString;
+        before_snapshot: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        after_snapshot: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        diff: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        before_score: z.ZodNumber;
+        after_score: z.ZodNumber;
+        score_delta_min: z.ZodDefault<z.ZodNumber>;
+        author_id: z.ZodString;
+        /**
+         * The LLM-side marker that this proposal targets a SINGLE object
+         * (AC-8). Multi-object proposals must be split into multiple
+         * rounds. The service layer rejects proposals with
+         * `single_object !== true`.
+         */
+        single_object: z.ZodLiteral<true>;
+        /**
+         * The LLM-side marker that this proposal targets a SINGLE
+         * optimization dimension (AC-8). The service layer rejects
+         * proposals with `single_optimization_dimension !== true`.
+         */
+        single_optimization_dimension: z.ZodLiteral<true>;
+        rubric: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        red_lines: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        source_traces: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    } & {
+        id: z.ZodString;
+        dimensions: z.ZodArray<z.ZodString, "many">;
+        target_count: z.ZodLiteral<1>;
+        schema_version: z.ZodDefault<z.ZodLiteral<"peaks.evolution/1">>;
+        created_at: z.ZodString;
+        score_delta: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        schema_version: "peaks.evolution/1";
+        id: string;
+        diff: Record<string, unknown>;
+        created_at: string;
+        target_kind: "bee" | "gate" | "loop" | "evaluator" | "policy";
+        target_release_id: string;
+        optimization_dimension: string;
+        before_snapshot: Record<string, unknown>;
+        after_snapshot: Record<string, unknown>;
+        before_score: number;
+        after_score: number;
+        score_delta_min: number;
+        author_id: string;
+        single_object: true;
+        single_optimization_dimension: true;
+        rubric: Record<string, unknown>;
+        red_lines: string[];
+        source_traces: string[];
+        dimensions: string[];
+        target_count: 1;
+        score_delta: number;
+    }, {
+        id: string;
+        created_at: string;
+        target_kind: "bee" | "gate" | "loop" | "evaluator" | "policy";
+        target_release_id: string;
+        optimization_dimension: string;
+        before_score: number;
+        after_score: number;
+        author_id: string;
+        single_object: true;
+        single_optimization_dimension: true;
+        dimensions: string[];
+        target_count: 1;
+        score_delta: number;
+        schema_version?: "peaks.evolution/1" | undefined;
+        diff?: Record<string, unknown> | undefined;
+        before_snapshot?: Record<string, unknown> | undefined;
+        after_snapshot?: Record<string, unknown> | undefined;
+        score_delta_min?: number | undefined;
+        rubric?: Record<string, unknown> | undefined;
+        red_lines?: string[] | undefined;
+        source_traces?: string[] | undefined;
+    }>;
+    evaluator_id: z.ZodString;
+    skeptic_id: z.ZodString;
+    evaluator_result: z.ZodObject<{
+        score: z.ZodNumber;
+        riskTags: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        refuteParagraph: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        score: number;
+        riskTags: string[];
+        refuteParagraph: string;
+    }, {
+        score: number;
+        refuteParagraph: string;
+        riskTags?: string[] | undefined;
+    }>;
+    skeptic_result: z.ZodObject<{
+        driftRisks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        overfitRisks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        safetyRegressionRisks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        blocker: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        driftRisks: string[];
+        overfitRisks: string[];
+        safetyRegressionRisks: string[];
+        blocker?: string | undefined;
+    }, {
+        blocker?: string | undefined;
+        driftRisks?: string[] | undefined;
+        overfitRisks?: string[] | undefined;
+        safetyRegressionRisks?: string[] | undefined;
+    }>;
+    verdict: z.ZodEnum<["keep", "revert", "needs-user-decision"]>;
+    user_confirmation_pointer: z.ZodOptional<z.ZodString>;
+    brief_pointer: z.ZodOptional<z.ZodString>;
+    schema_version: z.ZodDefault<z.ZodLiteral<"peaks.evolution/1">>;
+    created_at: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    schema_version: "peaks.evolution/1";
+    id: string;
+    proposal: {
+        schema_version: "peaks.evolution/1";
+        id: string;
+        diff: Record<string, unknown>;
+        created_at: string;
+        target_kind: "bee" | "gate" | "loop" | "evaluator" | "policy";
+        target_release_id: string;
+        optimization_dimension: string;
+        before_snapshot: Record<string, unknown>;
+        after_snapshot: Record<string, unknown>;
+        before_score: number;
+        after_score: number;
+        score_delta_min: number;
+        author_id: string;
+        single_object: true;
+        single_optimization_dimension: true;
+        rubric: Record<string, unknown>;
+        red_lines: string[];
+        source_traces: string[];
+        dimensions: string[];
+        target_count: 1;
+        score_delta: number;
+    };
+    created_at: string;
+    verdict: "revert" | "keep" | "needs-user-decision";
+    evaluator_id: string;
+    skeptic_id: string;
+    evaluator_result: {
+        score: number;
+        riskTags: string[];
+        refuteParagraph: string;
+    };
+    skeptic_result: {
+        driftRisks: string[];
+        overfitRisks: string[];
+        safetyRegressionRisks: string[];
+        blocker?: string | undefined;
+    };
+    user_confirmation_pointer?: string | undefined;
+    brief_pointer?: string | undefined;
+}, {
+    id: string;
+    proposal: {
+        id: string;
+        created_at: string;
+        target_kind: "bee" | "gate" | "loop" | "evaluator" | "policy";
+        target_release_id: string;
+        optimization_dimension: string;
+        before_score: number;
+        after_score: number;
+        author_id: string;
+        single_object: true;
+        single_optimization_dimension: true;
+        dimensions: string[];
+        target_count: 1;
+        score_delta: number;
+        schema_version?: "peaks.evolution/1" | undefined;
+        diff?: Record<string, unknown> | undefined;
+        before_snapshot?: Record<string, unknown> | undefined;
+        after_snapshot?: Record<string, unknown> | undefined;
+        score_delta_min?: number | undefined;
+        rubric?: Record<string, unknown> | undefined;
+        red_lines?: string[] | undefined;
+        source_traces?: string[] | undefined;
+    };
+    created_at: string;
+    verdict: "revert" | "keep" | "needs-user-decision";
+    evaluator_id: string;
+    skeptic_id: string;
+    evaluator_result: {
+        score: number;
+        refuteParagraph: string;
+        riskTags?: string[] | undefined;
+    };
+    skeptic_result: {
+        blocker?: string | undefined;
+        driftRisks?: string[] | undefined;
+        overfitRisks?: string[] | undefined;
+        safetyRegressionRisks?: string[] | undefined;
+    };
+    schema_version?: "peaks.evolution/1" | undefined;
+    user_confirmation_pointer?: string | undefined;
+    brief_pointer?: string | undefined;
+}>;
+export type EvolutionEvaluationInput = z.input<typeof EvolutionEvaluationInputSchema>;
+/**
+ * The PERSISTED evolution evaluation row. Differs from the input
+ * in that `score_delta` is computed and stored.
+ */
+export declare const EvolutionEvaluationSchema: z.ZodObject<{
+    id: z.ZodString;
+    proposal: z.ZodObject<{
+        target_kind: z.ZodEnum<["loop", "bee", "policy", "gate", "evaluator"]>;
+        target_release_id: z.ZodString;
+        /**
+         * Single optimization dimension (AC-8). Multi-dimension proposals
+         * must be split into multiple rounds.
+         */
+        optimization_dimension: z.ZodString;
+        before_snapshot: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        after_snapshot: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        diff: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        before_score: z.ZodNumber;
+        after_score: z.ZodNumber;
+        score_delta_min: z.ZodDefault<z.ZodNumber>;
+        author_id: z.ZodString;
+        /**
+         * The LLM-side marker that this proposal targets a SINGLE object
+         * (AC-8). Multi-object proposals must be split into multiple
+         * rounds. The service layer rejects proposals with
+         * `single_object !== true`.
+         */
+        single_object: z.ZodLiteral<true>;
+        /**
+         * The LLM-side marker that this proposal targets a SINGLE
+         * optimization dimension (AC-8). The service layer rejects
+         * proposals with `single_optimization_dimension !== true`.
+         */
+        single_optimization_dimension: z.ZodLiteral<true>;
+        rubric: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        red_lines: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        source_traces: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    } & {
+        id: z.ZodString;
+        dimensions: z.ZodArray<z.ZodString, "many">;
+        target_count: z.ZodLiteral<1>;
+        schema_version: z.ZodDefault<z.ZodLiteral<"peaks.evolution/1">>;
+        created_at: z.ZodString;
+        score_delta: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        schema_version: "peaks.evolution/1";
+        id: string;
+        diff: Record<string, unknown>;
+        created_at: string;
+        target_kind: "bee" | "gate" | "loop" | "evaluator" | "policy";
+        target_release_id: string;
+        optimization_dimension: string;
+        before_snapshot: Record<string, unknown>;
+        after_snapshot: Record<string, unknown>;
+        before_score: number;
+        after_score: number;
+        score_delta_min: number;
+        author_id: string;
+        single_object: true;
+        single_optimization_dimension: true;
+        rubric: Record<string, unknown>;
+        red_lines: string[];
+        source_traces: string[];
+        dimensions: string[];
+        target_count: 1;
+        score_delta: number;
+    }, {
+        id: string;
+        created_at: string;
+        target_kind: "bee" | "gate" | "loop" | "evaluator" | "policy";
+        target_release_id: string;
+        optimization_dimension: string;
+        before_score: number;
+        after_score: number;
+        author_id: string;
+        single_object: true;
+        single_optimization_dimension: true;
+        dimensions: string[];
+        target_count: 1;
+        score_delta: number;
+        schema_version?: "peaks.evolution/1" | undefined;
+        diff?: Record<string, unknown> | undefined;
+        before_snapshot?: Record<string, unknown> | undefined;
+        after_snapshot?: Record<string, unknown> | undefined;
+        score_delta_min?: number | undefined;
+        rubric?: Record<string, unknown> | undefined;
+        red_lines?: string[] | undefined;
+        source_traces?: string[] | undefined;
+    }>;
+    evaluator_id: z.ZodString;
+    skeptic_id: z.ZodString;
+    evaluator_result: z.ZodObject<{
+        score: z.ZodNumber;
+        riskTags: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        refuteParagraph: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        score: number;
+        riskTags: string[];
+        refuteParagraph: string;
+    }, {
+        score: number;
+        refuteParagraph: string;
+        riskTags?: string[] | undefined;
+    }>;
+    skeptic_result: z.ZodObject<{
+        driftRisks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        overfitRisks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        safetyRegressionRisks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        blocker: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        driftRisks: string[];
+        overfitRisks: string[];
+        safetyRegressionRisks: string[];
+        blocker?: string | undefined;
+    }, {
+        blocker?: string | undefined;
+        driftRisks?: string[] | undefined;
+        overfitRisks?: string[] | undefined;
+        safetyRegressionRisks?: string[] | undefined;
+    }>;
+    verdict: z.ZodEnum<["keep", "revert", "needs-user-decision"]>;
+    user_confirmation_pointer: z.ZodOptional<z.ZodString>;
+    brief_pointer: z.ZodOptional<z.ZodString>;
+    schema_version: z.ZodDefault<z.ZodLiteral<"peaks.evolution/1">>;
+    created_at: z.ZodString;
+} & {
+    score_delta: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    schema_version: "peaks.evolution/1";
+    id: string;
+    proposal: {
+        schema_version: "peaks.evolution/1";
+        id: string;
+        diff: Record<string, unknown>;
+        created_at: string;
+        target_kind: "bee" | "gate" | "loop" | "evaluator" | "policy";
+        target_release_id: string;
+        optimization_dimension: string;
+        before_snapshot: Record<string, unknown>;
+        after_snapshot: Record<string, unknown>;
+        before_score: number;
+        after_score: number;
+        score_delta_min: number;
+        author_id: string;
+        single_object: true;
+        single_optimization_dimension: true;
+        rubric: Record<string, unknown>;
+        red_lines: string[];
+        source_traces: string[];
+        dimensions: string[];
+        target_count: 1;
+        score_delta: number;
+    };
+    created_at: string;
+    verdict: "revert" | "keep" | "needs-user-decision";
+    score_delta: number;
+    evaluator_id: string;
+    skeptic_id: string;
+    evaluator_result: {
+        score: number;
+        riskTags: string[];
+        refuteParagraph: string;
+    };
+    skeptic_result: {
+        driftRisks: string[];
+        overfitRisks: string[];
+        safetyRegressionRisks: string[];
+        blocker?: string | undefined;
+    };
+    user_confirmation_pointer?: string | undefined;
+    brief_pointer?: string | undefined;
+}, {
+    id: string;
+    proposal: {
+        id: string;
+        created_at: string;
+        target_kind: "bee" | "gate" | "loop" | "evaluator" | "policy";
+        target_release_id: string;
+        optimization_dimension: string;
+        before_score: number;
+        after_score: number;
+        author_id: string;
+        single_object: true;
+        single_optimization_dimension: true;
+        dimensions: string[];
+        target_count: 1;
+        score_delta: number;
+        schema_version?: "peaks.evolution/1" | undefined;
+        diff?: Record<string, unknown> | undefined;
+        before_snapshot?: Record<string, unknown> | undefined;
+        after_snapshot?: Record<string, unknown> | undefined;
+        score_delta_min?: number | undefined;
+        rubric?: Record<string, unknown> | undefined;
+        red_lines?: string[] | undefined;
+        source_traces?: string[] | undefined;
+    };
+    created_at: string;
+    verdict: "revert" | "keep" | "needs-user-decision";
+    score_delta: number;
+    evaluator_id: string;
+    skeptic_id: string;
+    evaluator_result: {
+        score: number;
+        refuteParagraph: string;
+        riskTags?: string[] | undefined;
+    };
+    skeptic_result: {
+        blocker?: string | undefined;
+        driftRisks?: string[] | undefined;
+        overfitRisks?: string[] | undefined;
+        safetyRegressionRisks?: string[] | undefined;
+    };
+    schema_version?: "peaks.evolution/1" | undefined;
+    user_confirmation_pointer?: string | undefined;
+    brief_pointer?: string | undefined;
+}>;
+export type EvolutionEvaluation = z.infer<typeof EvolutionEvaluationSchema>;
+/**
+ * Default for `score_delta_min` per spec §6.1 #5.
+ */
+export declare const EVOLUTION_DEFAULT_DELTA_MIN = 1;
+/**
+ * Convenience: strict-parse an unknown payload into an
+ * EvolutionEvaluation row. Throws ZodError on failure.
+ */
+export declare function parseEvolutionEvaluation(input: unknown): EvolutionEvaluation;
+/**
+ * Convenience: safe-parse that returns a Result-like shape so
+ * callers (CLI / service layer) can render findings without
+ * try/catch noise.
+ */
+export declare function safeParseEvolutionEvaluation(input: unknown): {
+    ok: true;
+    row: EvolutionEvaluation;
+} | {
+    ok: false;
+    findings: Array<{
+        path: string;
+        message: string;
+    }>;
+};
+/**
+ * Convenience: strict-parse an unknown payload into an
+ * EvolutionProposal. Throws ZodError on failure.
+ */
+export declare function parseEvolutionProposal(input: unknown): EvolutionProposal;