peaks-loop 4.0.53 → 4.1.0

package/dist/services/evidence/evidence-body-builders.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Pure markdown body builders for `evidence-generator.ts`.
+ *
+ * Split verbatim for the file-size cap campaign. The generator keeps its
+ * public surface (`generateEvidence` / `parseFiles` / `parseLineCounts` / the
+ * option/result types) at `evidence-generator.ts`; these builders are file-local
+ * helpers moved here unchanged. The content markers emitted below are the exact
+ * strings the CLI gates mechanically check — see
+ * `src/services/artifacts/artifact-prerequisites.ts`. Do NOT reword the marker
+ * lines.
+ */
+export declare function filesMd(files: string[]): string;
+export declare function lineCountsMd(lineCounts: Record<string, string>): string;
+export declare function buildCodeReview(rid: string, title: string, files: string[], lineCounts: Record<string, string>): string;
+export declare function buildSecurityReview(rid: string): string;
+export declare function buildKarpathyReview(rid: string, lineCounts: Record<string, string>): string;
+export declare function buildTechDoc(rid: string, title: string, files: string[], lineCounts: Record<string, string>): string;
+export declare function buildPerfAudit(rid: string): string;
+export declare function buildTestCases(rid: string): string;
+export declare function buildTestReport(rid: string): string;
+export declare function buildSecurityFindings(rid: string): string;
+export declare function buildPerformanceFindings(rid: string): string;
+export declare function buildQaRequest(rid: string, sid: string, files: string[]): string;

package/dist/services/evidence/evidence-body-builders.js

@@ -0,0 +1,197 @@
+/**
+ * Pure markdown body builders for `evidence-generator.ts`.
+ *
+ * Split verbatim for the file-size cap campaign. The generator keeps its
+ * public surface (`generateEvidence` / `parseFiles` / `parseLineCounts` / the
+ * option/result types) at `evidence-generator.ts`; these builders are file-local
+ * helpers moved here unchanged. The content markers emitted below are the exact
+ * strings the CLI gates mechanically check — see
+ * `src/services/artifacts/artifact-prerequisites.ts`. Do NOT reword the marker
+ * lines.
+ */
+export function filesMd(files) {
+    return files.map((f) => `- \`${f}\``).join('\n');
+}
+export function lineCountsMd(lineCounts) {
+    return Object.entries(lineCounts)
+        .map(([k, v]) => `- \`${k}\`: ${v} lines`)
+        .join('\n');
+}
+export function buildCodeReview(rid, title, files, lineCounts) {
+    return `# Code Review — ${rid}
+
+- reviewer: peaks-code orchestrator (full-auto)
+- reviewed: ${files.join(', ')}
+
+## Findings
+
+**CRITICAL: none**
+**HIGH: none**
+
+## Assessment
+
+Mechanical verbatim module split; no logic change; behavior-preserving. ${title}.
+
+Line counts:
+${lineCountsMd(lineCounts)}
+
+## Verdict
+
+Approve.
+`;
+}
+export function buildSecurityReview(rid) {
+    return `# Security Review — ${rid}
+
+- reviewer: peaks-code orchestrator (full-auto)
+
+## Findings
+
+**CRITICAL: none**
+**HIGH: none**
+
+## Assessment
+
+Pure verbatim module extraction; no new security surface.
+
+## Verdict
+
+Approve.
+`;
+}
+export function buildKarpathyReview(rid, lineCounts) {
+    // Matches the reference prototype: the line-count markdown list joined with
+    // `; ` (its `lc_lines.replace('\n', '; ')`).
+    const lcInline = lineCountsMd(lineCounts).replace(/\n/g, '; ');
+    return `# Karpathy Review — ${rid}
+
+## Karpathy-Gate
+
+- gate: PASS
+- verdict: \`{"passed":true,"violations":[],"gateAction":"pass"}\`
+
+## Think Before Coding
+- Assumption: extracted blocks are self-contained top-level boundaries.
+
+## Simplicity First
+- No new abstraction; plain module extraction sized to fit the 800-line cap.
+
+## Surgical Changes
+- Verbatim move only; no opportunistic cleanup; no orphan imports (tsc clean).
+
+## Goal-Driven Execution
+- Verified: ${lcInline} — all ≤ 800; tsc clean; scoped tests pass.
+`;
+}
+export function buildTechDoc(rid, title, files, lineCounts) {
+    return `# Technical Design — ${rid}
+
+## Architecture
+
+${title}. Split so every module ≤ 800 lines (behavior-preserving).
+
+Changed files:
+${filesMd(files)}
+
+Line counts:
+${lineCountsMd(lineCounts)}
+
+## Acceptance checks
+
+All modules ≤ 800; rd→implemented passes without --allow-incomplete; tsc clean; scoped tests pass.
+`;
+}
+export function buildPerfAudit(rid) {
+    return `# Performance Audit — ${rid}
+
+- auditor: peaks-code orchestrator (full-auto)
+- type: refactor
+
+## Results
+
+N/A — no perf surface. Pure verbatim module extraction, no behavior change.
+
+## Verdict
+
+Approve.
+`;
+}
+export function buildTestCases(rid) {
+    return `# QA Test Cases — ${rid}
+
+- type: refactor
+
+## Test cases
+
+Existing \`it(...)\` / \`test(...)\` blocks exercise the split (no new tests; behavior preserved).
+
+| # | When | Then |
+|---|------|------|
+| 1 | modules split | every module ≤ 800 lines |
+| 2 | imports updated | tsc clean (no orphans) |
+| 3 | scoped tests run | all pass |
+`;
+}
+export function buildTestReport(rid) {
+    return `# Test Report — ${rid}
+
+## Test execution
+
+- scoped dispatch/record test suites → pass
+- \`./node_modules/.bin/tsc -p tsconfig.build.json --noEmit\` → clean
+`;
+}
+export function buildSecurityFindings(rid) {
+    return `# Security Findings — ${rid}
+
+## Findings
+
+No findings. Pure verbatim module extraction; no new security surface.
+`;
+}
+export function buildPerformanceFindings(rid) {
+    return `# Performance Findings — ${rid}
+
+## Baseline
+
+N/A — no perf surface. Pure verbatim module extraction.
+`;
+}
+export function buildQaRequest(rid, sid, files) {
+    return `# QA Request ${rid}
+
+- session: ${sid}
+- type: refactor
+
+## Red-line boundary check
+- in-scope: ${files.join(', ')}
+- verdict: clean
+
+## OpenSpec exit gate (when openspec/ exists)
+- change-id: ${rid}
+- openspec/ dir: not present — skipped (N/A)
+- issues: none
+
+## Acceptance checks
+- all modules ≤ 800: pass
+- rd implemented without allow-incomplete: pass
+- tsc clean: pass
+- scoped tests pass: pass
+
+## Mandatory validation gates
+- unit tests: pass
+- API validation: N/A
+- browser E2E: N/A
+- security: no findings
+- performance: N/A
+
+## Regression matrix
+- behavior preserved: pass
+
+## Verdict
+- overall: pass
+
+## Status
+- state: draft
+`;
+}

package/dist/services/evidence/evidence-generator.js

@@ -31,10 +31,12 @@
 import { mkdir, readdir, writeFile } from 'node:fs/promises';
 import { join } from 'node:path';
 import { serializeHandoffFrontmatter } from '../prd/handoff-frontmatter.js';
+import { deriveGateEvidenceForRequest } from '../prd/gate-evidence-derivation.js';
 import { handoffRelativePath, sha256OfBody } from '../prd/handoff-service.js';
 import { getSessionDir } from '../session/getSessionDir.js';
 import { REQUEST_ID_PATTERN } from '../artifacts/request-artifact-service.js';
 import { isUnsafePathInput } from '../../shared/path-safety.js';
+import { buildCodeReview, buildKarpathyReview, buildPerfAudit, buildPerformanceFindings, buildQaRequest, buildSecurityFindings, buildSecurityReview, buildTechDoc, buildTestCases, buildTestReport, filesMd, lineCountsMd } from './evidence-body-builders.js';
 /** Comma/space tolerant `--files` splitter. */
 export function parseFiles(raw) {
     return raw
@@ -60,192 +62,6 @@ export function parseLineCounts(raw) {
     }
     return out;
 }
-function filesMd(files) {
-    return files.map((f) => `- \`${f}\``).join('\n');
-}
-function lineCountsMd(lineCounts) {
-    return Object.entries(lineCounts)
-        .map(([k, v]) => `- \`${k}\`: ${v} lines`)
-        .join('\n');
-}
-function buildCodeReview(rid, title, files, lineCounts) {
-    return `# Code Review — ${rid}
-
-- reviewer: peaks-code orchestrator (full-auto)
-- reviewed: ${files.join(', ')}
-
-## Findings
-
-**CRITICAL: none**
-**HIGH: none**
-
-## Assessment
-
-Mechanical verbatim module split; no logic change; behavior-preserving. ${title}.
-
-Line counts:
-${lineCountsMd(lineCounts)}
-
-## Verdict
-
-Approve.
-`;
-}
-function buildSecurityReview(rid) {
-    return `# Security Review — ${rid}
-
-- reviewer: peaks-code orchestrator (full-auto)
-
-## Findings
-
-**CRITICAL: none**
-**HIGH: none**
-
-## Assessment
-
-Pure verbatim module extraction; no new security surface.
-
-## Verdict
-
-Approve.
-`;
-}
-function buildKarpathyReview(rid, lineCounts) {
-    // Matches the reference prototype: the line-count markdown list joined with
-    // `; ` (its `lc_lines.replace('\n', '; ')`).
-    const lcInline = lineCountsMd(lineCounts).replace(/\n/g, '; ');
-    return `# Karpathy Review — ${rid}
-
-## Karpathy-Gate
-
-- gate: PASS
-- verdict: \`{"passed":true,"violations":[],"gateAction":"pass"}\`
-
-## Think Before Coding
-- Assumption: extracted blocks are self-contained top-level boundaries.
-
-## Simplicity First
-- No new abstraction; plain module extraction sized to fit the 800-line cap.
-
-## Surgical Changes
-- Verbatim move only; no opportunistic cleanup; no orphan imports (tsc clean).
-
-## Goal-Driven Execution
-- Verified: ${lcInline} — all ≤ 800; tsc clean; scoped tests pass.
-`;
-}
-function buildTechDoc(rid, title, files, lineCounts) {
-    return `# Technical Design — ${rid}
-
-## Architecture
-
-${title}. Split so every module ≤ 800 lines (behavior-preserving).
-
-Changed files:
-${filesMd(files)}
-
-Line counts:
-${lineCountsMd(lineCounts)}
-
-## Acceptance checks
-
-All modules ≤ 800; rd→implemented passes without --allow-incomplete; tsc clean; scoped tests pass.
-`;
-}
-function buildPerfAudit(rid) {
-    return `# Performance Audit — ${rid}
-
-- auditor: peaks-code orchestrator (full-auto)
-- type: refactor
-
-## Results
-
-N/A — no perf surface. Pure verbatim module extraction, no behavior change.
-
-## Verdict
-
-Approve.
-`;
-}
-function buildTestCases(rid) {
-    return `# QA Test Cases — ${rid}
-
-- type: refactor
-
-## Test cases
-
-Existing \`it(...)\` / \`test(...)\` blocks exercise the split (no new tests; behavior preserved).
-
-| # | When | Then |
-|---|------|------|
-| 1 | modules split | every module ≤ 800 lines |
-| 2 | imports updated | tsc clean (no orphans) |
-| 3 | scoped tests run | all pass |
-`;
-}
-function buildTestReport(rid) {
-    return `# Test Report — ${rid}
-
-## Test execution
-
-- scoped dispatch/record test suites → pass
-- \`./node_modules/.bin/tsc -p tsconfig.build.json --noEmit\` → clean
-`;
-}
-function buildSecurityFindings(rid) {
-    return `# Security Findings — ${rid}
-
-## Findings
-
-No findings. Pure verbatim module extraction; no new security surface.
-`;
-}
-function buildPerformanceFindings(rid) {
-    return `# Performance Findings — ${rid}
-
-## Baseline
-
-N/A — no perf surface. Pure verbatim module extraction.
-`;
-}
-function buildQaRequest(rid, sid, files) {
-    return `# QA Request ${rid}
-
-- session: ${sid}
-- type: refactor
-
-## Red-line boundary check
-- in-scope: ${files.join(', ')}
-- verdict: clean
-
-## OpenSpec exit gate (when openspec/ exists)
-- change-id: ${rid}
-- openspec/ dir: not present — skipped (N/A)
-- issues: none
-
-## Acceptance checks
-- all modules ≤ 800: pass
-- rd implemented without allow-incomplete: pass
-- tsc clean: pass
-- scoped tests pass: pass
-
-## Mandatory validation gates
-- unit tests: pass
-- API validation: N/A
-- browser E2E: N/A
-- security: no findings
-- performance: N/A
-
-## Regression matrix
-- behavior preserved: pass
-
-## Verdict
-- overall: pass
-
-## Status
-- state: draft
-`;
-}
 /**
  * Build the `prd/handoff-<rid>.md` frontmatter + body. The frontmatter comes from the
  * ONE canonical serializer and `handoffHash === sha256(body)` — the same
@@ -260,7 +76,7 @@ function buildQaRequest(rid, sid, files) {
  * producer/consumer divergence rid `2026-09-14-handoff-writer-gate-divergence`
  * exists to remove, surviving in a function the same slice edited.
  */
-function buildHandoff(rid, sid, title, files, lineCounts) {
+function buildHandoff(rid, sid, title, files, lineCounts, gateEvidence) {
     const body = `# PRD Handoff — ${rid}
 
 ${title}. Mechanical verbatim module split; behavior-preserving.
@@ -281,7 +97,13 @@ ${lineCountsMd(lineCounts)}
         goals: [],
         acceptanceCriteria: [],
         preservedBehavior: [],
-        handoffPath: handoffRelativePath(sid, rid)
+        handoffPath: handoffRelativePath(sid, rid),
+        // B2 / F1: the THIRD frontmatter producer. B1 left this one untouched and
+        // QA found it, so a `peaks evidence generate` capsule and a
+        // `peaks prd handoff init` capsule for the same slice disagreed about the
+        // same contract. Passed in rather than derived here so this function stays
+        // synchronous and disk-free; the caller derives.
+        ...(gateEvidence === undefined ? {} : { gateEvidence })
     };
     return { content: `${serializeHandoffFrontmatter(frontmatter)}${body}`, hash: handoffHash };
 }
@@ -334,7 +156,12 @@ export async function generateEvidence(options) {
         createdDirectories.push(dir);
     }
     const qaRequestPath = await resolveQaRequestPath(qaDir, rid);
-    const handoff = buildHandoff(rid, sessionId, title, files, lineCounts);
+    const gateEvidence = await deriveGateEvidenceForRequest({
+        projectRoot,
+        sessionId,
+        requestId: rid
+    });
+    const handoff = buildHandoff(rid, sessionId, title, files, lineCounts, gateEvidence);
     // Four of these twelve paths carry the rid because the `rd:qa-handoff` gate
     // requires `<rid>` in them: every slice in a session shares `rd/` and
     // `audit/`, so writing the ridless name silently destroyed the previous

package/dist/services/evolution/evolution-constraints.d.ts

@@ -0,0 +1,43 @@
+import { z } from 'zod';
+/**
+ * Evolution schema limits + the two leaf independent-verdict schemas.
+ *
+ * Relocated verbatim from `evolution-types.ts` so that module stays under the
+ * repo file-size cap. Everything here is built from `zod` and the limit
+ * constants alone, so this module has no back-edge into `evolution-types.ts`;
+ * that module re-exports the schemas and their inferred types from its own
+ * path, so every importer keeps using the path it already imports from.
+ */
+export declare const EVO_TARGET_RELEASE_ID_MAX = 256;
+export declare const EVO_OPTIMIZATION_DIMENSION_MAX = 200;
+export declare const EVO_AUTHOR_ID_MAX = 200;
+export declare const EVO_RISK_TAG_MAX = 200;
+export declare const EVO_RED_LINE_MAX = 2000;
+export declare const EVO_SOURCE_TRACE_MAX = 256;
+export declare const EVO_EVAL_ID_MAX = 128;
+export declare const EVO_DIMENSION_ITEM_MAX = 200;
+export declare const EVO_SCORING_SCALE_MAX = 10;
+export declare const EVO_REFUTE_PARAGRAPH_MAX = 8000;
+export declare const EVO_SKEPTIC_RISK_MAX = 2000;
+export declare const EVO_POINTER_MAX = 512;
+/**
+ * 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>>;
+    refuteParagraph: z.ZodString;
+}, z.core.$strip>;
+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>>;
+    overfitRisks: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    safetyRegressionRisks: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    blocker: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type RegressionSkepticResult = z.infer<typeof RegressionSkepticResultSchema>;

package/dist/services/evolution/evolution-constraints.js

@@ -0,0 +1,54 @@
+import { z } from 'zod';
+/**
+ * Evolution schema limits + the two leaf independent-verdict schemas.
+ *
+ * Relocated verbatim from `evolution-types.ts` so that module stays under the
+ * repo file-size cap. Everything here is built from `zod` and the limit
+ * constants alone, so this module has no back-edge into `evolution-types.ts`;
+ * that module re-exports the schemas and their inferred types from its own
+ * path, so every importer keeps using the path it already imports from.
+ */
+/* ---------------------------------------------------------------------- */
+/* PRD-002b slice 2 — schema-limit constants extracted from inline         */
+/* `.max(N)` calls so the no-magic-numbers rule stops flagging the        */
+/* constraint values. Names describe the field, not just the number.     */
+/* ---------------------------------------------------------------------- */
+export const EVO_TARGET_RELEASE_ID_MAX = 256;
+export const EVO_OPTIMIZATION_DIMENSION_MAX = 200;
+export const EVO_AUTHOR_ID_MAX = 200;
+export const EVO_RISK_TAG_MAX = 200;
+export const EVO_RED_LINE_MAX = 2000;
+export const EVO_SOURCE_TRACE_MAX = 256;
+export const EVO_EVAL_ID_MAX = 128;
+export const EVO_DIMENSION_ITEM_MAX = 200;
+export const EVO_SCORING_SCALE_MAX = 10;
+export const EVO_REFUTE_PARAGRAPH_MAX = 8000;
+export const EVO_SKEPTIC_RISK_MAX = 2000;
+export const EVO_POINTER_MAX = 512;
+/**
+ * The independent evaluator's verdict. AC-12 / AC-13: the evaluator
+ * is a SEPARATE sub-agent that only sees the evaluation package.
+ */
+export const IndependentEvaluatorResultSchema = z.object({
+    score: z
+        .number()
+        .finite()
+        .min(0, 'evaluator score must be >= 0')
+        .max(EVO_SCORING_SCALE_MAX, 'evaluator score must be <= 10'),
+    riskTags: z.array(z.string().min(1).max(EVO_RISK_TAG_MAX)).default([]),
+    refuteParagraph: z
+        .string()
+        .trim()
+        .min(1, 'refuteParagraph is required (one paragraph of independent-context rebuttal)')
+        .max(EVO_REFUTE_PARAGRAPH_MAX)
+});
+/**
+ * The regression skeptic's verdict. AC-14: a separate sub-agent
+ * that attempts to refute the proposal.
+ */
+export const RegressionSkepticResultSchema = z.object({
+    driftRisks: z.array(z.string().min(1).max(EVO_SKEPTIC_RISK_MAX)).default([]),
+    overfitRisks: z.array(z.string().min(1).max(EVO_SKEPTIC_RISK_MAX)).default([]),
+    safetyRegressionRisks: z.array(z.string().min(1).max(EVO_SKEPTIC_RISK_MAX)).default([]),
+    blocker: z.string().trim().min(1).max(EVO_SKEPTIC_RISK_MAX).optional()
+});

package/dist/services/evolution/evolution-evaluation-schema.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Slice `b1-filesplit-campaign` (wave 3) — verbatim extraction of the
+ * `evolution_evaluation` storage CONTRACT (the DDL, the schema-version stamp and
+ * the persisted row shape) out of `./evolution-store.ts` so that module clears
+ * the 300 raw-line cap. Every declaration is a local of the store — none is
+ * part of its exported surface — so importers are untouched and nothing is
+ * re-exported. No byte of the DDL changed: `ensureEvolutionEvaluationTable`
+ * still execs exactly these statements.
+ */
+import type { EvolutionTargetKind, EvolutionVerdict } from './evolution-types.js';
+export declare const SCHEMA_VERSION: "peaks.evolution/1";
+/**
+ * The `evolution_evaluation` table + its four indexes, as one idempotent
+ * script (CREATE TABLE / CREATE INDEX IF NOT EXISTS). Re-applied by
+ * `ensureEvolutionEvaluationTable` for callers that pass a database they built
+ * themselves (e.g. tests).
+ */
+export declare const EVOLUTION_EVALUATION_MIGRATION = "\n    CREATE TABLE IF NOT EXISTS evolution_evaluation (\n      id                          TEXT PRIMARY KEY,\n      target_kind                 TEXT NOT NULL CHECK (target_kind IN ('loop','bee','policy','gate','evaluator')),\n      target_release_id           TEXT NOT NULL,\n      optimization_dimensions_json TEXT NOT NULL,\n      target_count                INTEGER NOT NULL DEFAULT 1 CHECK (target_count = 1),\n      before_snapshot_json        TEXT NOT NULL DEFAULT '{}',\n      after_snapshot_json         TEXT NOT NULL DEFAULT '{}',\n      diff_json                   TEXT NOT NULL DEFAULT '{}',\n      before_score                REAL NOT NULL,\n      after_score                 REAL NOT NULL,\n      score_delta_min             REAL NOT NULL DEFAULT 1.0 CHECK (score_delta_min >= 0),\n      score_delta                 REAL NOT NULL,\n      author_id                   TEXT NOT NULL,\n      evaluator_id                TEXT NOT NULL,\n      skeptic_id                  TEXT NOT NULL,\n      verdict                     TEXT NOT NULL CHECK (verdict IN ('keep','revert','needs-user-decision')),\n      user_confirmation_pointer   TEXT,\n      brief_pointer               TEXT,\n      rubric_json                 TEXT NOT NULL DEFAULT '{}',\n      red_lines_json              TEXT NOT NULL DEFAULT '[]',\n      source_traces_json          TEXT NOT NULL DEFAULT '[]',\n      schema_version              TEXT NOT NULL CHECK (schema_version = 'peaks.evolution/1'),\n      created_at                  TEXT NOT NULL,\n      CHECK (length(id) > 0)\n    );\n    CREATE INDEX IF NOT EXISTS idx_evolution_evaluation_target\n      ON evolution_evaluation(target_kind, target_release_id);\n    CREATE INDEX IF NOT EXISTS idx_evolution_evaluation_verdict\n      ON evolution_evaluation(verdict);\n    CREATE INDEX IF NOT EXISTS idx_evolution_evaluation_author\n      ON evolution_evaluation(author_id);\n    CREATE INDEX IF NOT EXISTS idx_evolution_evaluation_evaluator\n      ON evolution_evaluation(evaluator_id);\n  ";
+export interface EvolutionEvaluationRow {
+    id: string;
+    target_kind: EvolutionTargetKind;
+    target_release_id: string;
+    optimization_dimensions_json: string;
+    target_count: 1;
+    before_snapshot_json: string;
+    after_snapshot_json: string;
+    diff_json: string;
+    before_score: number;
+    after_score: number;
+    score_delta_min: number;
+    score_delta: number;
+    author_id: string;
+    evaluator_id: string;
+    skeptic_id: string;
+    verdict: EvolutionVerdict;
+    user_confirmation_pointer: string | null;
+    brief_pointer: string | null;
+    rubric_json: string;
+    red_lines_json: string;
+    source_traces_json: string;
+    schema_version: 'peaks.evolution/1';
+    created_at: string;
+}

package/dist/services/evolution/evolution-evaluation-schema.js

@@ -0,0 +1,43 @@
+export const SCHEMA_VERSION = 'peaks.evolution/1';
+/**
+ * The `evolution_evaluation` table + its four indexes, as one idempotent
+ * script (CREATE TABLE / CREATE INDEX IF NOT EXISTS). Re-applied by
+ * `ensureEvolutionEvaluationTable` for callers that pass a database they built
+ * themselves (e.g. tests).
+ */
+export const EVOLUTION_EVALUATION_MIGRATION = `
+    CREATE TABLE IF NOT EXISTS evolution_evaluation (
+      id                          TEXT PRIMARY KEY,
+      target_kind                 TEXT NOT NULL CHECK (target_kind IN ('loop','bee','policy','gate','evaluator')),
+      target_release_id           TEXT NOT NULL,
+      optimization_dimensions_json TEXT NOT NULL,
+      target_count                INTEGER NOT NULL DEFAULT 1 CHECK (target_count = 1),
+      before_snapshot_json        TEXT NOT NULL DEFAULT '{}',
+      after_snapshot_json         TEXT NOT NULL DEFAULT '{}',
+      diff_json                   TEXT NOT NULL DEFAULT '{}',
+      before_score                REAL NOT NULL,
+      after_score                 REAL NOT NULL,
+      score_delta_min             REAL NOT NULL DEFAULT 1.0 CHECK (score_delta_min >= 0),
+      score_delta                 REAL NOT NULL,
+      author_id                   TEXT NOT NULL,
+      evaluator_id                TEXT NOT NULL,
+      skeptic_id                  TEXT NOT NULL,
+      verdict                     TEXT NOT NULL CHECK (verdict IN ('keep','revert','needs-user-decision')),
+      user_confirmation_pointer   TEXT,
+      brief_pointer               TEXT,
+      rubric_json                 TEXT NOT NULL DEFAULT '{}',
+      red_lines_json              TEXT NOT NULL DEFAULT '[]',
+      source_traces_json          TEXT NOT NULL DEFAULT '[]',
+      schema_version              TEXT NOT NULL CHECK (schema_version = 'peaks.evolution/1'),
+      created_at                  TEXT NOT NULL,
+      CHECK (length(id) > 0)
+    );
+    CREATE INDEX IF NOT EXISTS idx_evolution_evaluation_target
+      ON evolution_evaluation(target_kind, target_release_id);
+    CREATE INDEX IF NOT EXISTS idx_evolution_evaluation_verdict
+      ON evolution_evaluation(verdict);
+    CREATE INDEX IF NOT EXISTS idx_evolution_evaluation_author
+      ON evolution_evaluation(author_id);
+    CREATE INDEX IF NOT EXISTS idx_evolution_evaluation_evaluator
+      ON evolution_evaluation(evaluator_id);
+  `;

package/dist/services/evolution/evolution-service.d.ts

@@ -1,6 +1,6 @@
-import type Database from "better-sqlite3";
-import { ZodError } from "zod";
-import { EVOLUTION_DEFAULT_DELTA_MIN, type EvolutionEvaluation, type EvolutionProposal, type EvolutionProposalInput, type EvolutionTargetKind, type EvolutionVerdict } from "./evolution-types.js";
+import type Database from 'better-sqlite3';
+import { ZodError } from 'zod';
+import { EVOLUTION_DEFAULT_DELTA_MIN, type EvolutionEvaluation, type EvolutionProposal, type EvolutionProposalInput, type EvolutionTargetKind, type EvolutionVerdict } from './evolution-types.js';
 /**
  * EvolutionService — Darwin-style ratchet enforcement.
  *
@@ -26,7 +26,7 @@ import { EVOLUTION_DEFAULT_DELTA_MIN, type EvolutionEvaluation, type EvolutionPr
  * separate files so the author reasoning is NEVER imported into
  * the evaluator's process boundary.
  */
-export type EvolutionIntegrityErrorCode = "EVOLUTION_MULTI_OBJECT" | "EVOLUTION_MULTI_DIMENSION" | "EVOLUTION_SELF_SCORE" | "EVOLUTION_DELTA_BELOW_THRESHOLD" | "EVOLUTION_MISSING_USER_CONFIRMATION" | "EVOLUTION_BELOW_RUBRIC";
+export type EvolutionIntegrityErrorCode = 'EVOLUTION_MULTI_OBJECT' | 'EVOLUTION_MULTI_DIMENSION' | 'EVOLUTION_SELF_SCORE' | 'EVOLUTION_DELTA_BELOW_THRESHOLD' | 'EVOLUTION_MISSING_USER_CONFIRMATION' | 'EVOLUTION_BELOW_RUBRIC';
 export declare class EvolutionIntegrityError extends Error {
     readonly code: EvolutionIntegrityErrorCode;
     readonly findings: ReadonlyArray<{
@@ -81,8 +81,8 @@ export declare class EvolutionService {
     score(proposalId: string, args: {
         evaluator_id: string;
         skeptic_id: string;
-        evaluator_result: import("./evolution-types.js").IndependentEvaluatorResult;
-        skeptic_result: import("./evolution-types.js").RegressionSkepticResult;
+        evaluator_result: import('./evolution-types.js').IndependentEvaluatorResult;
+        skeptic_result: import('./evolution-types.js').RegressionSkepticResult;
         brief_pointer?: string;
         user_confirmation_pointer?: string;
     }): EvolutionEvaluation;