peaks-loop 4.1.1 → 4.1.2

package/dist/services/doctor/doctor-service/checks/l3-memory-health.js

@@ -1,7 +1,6 @@
 /**
  * Checks for `.peaks/memory/` health (`L3:l3-memory-health` and siblings).
  *
- * Slice 2026-06-13-repair-pre-existing-test-failures: the
  * production MemoryIndex schema (see
  * `src/services/memory/project-memory-service.ts`) uses
  * `version: 1` as the schema marker, NOT `schema_version`.
@@ -11,7 +10,6 @@
  * When no `.peaks/memory/index.json` exists yet, the check passes
  * (fresh project — no memories have been extracted).
  *
- * Slice 2026-09-09-memory-system-overhaul (D) extends the check with the
  * drift findings the original version could not see. It used to report
  * `ok: true` for "index.json is well-formed JSON; 100 hot + 131 warm" and
  * never looked at coverage, orphans, or unclassified files. It now emits,

package/dist/services/doctor/doctor-service/checks/l3-orphan-sessions.d.ts

@@ -6,7 +6,6 @@
  * subdirs that intentionally live under `.peaks/_runtime/`
  * (e.g. `change/`, which routes reviewable artifacts per F3).
  *
- * Slice 2026-06-24-doctor-1xdetector-residual regression net: the
  * reducer MUST exclude `change/` (and other system subdirs added
  * by future F3 changes) — without the exclude-list the doctor
  * flips the summary to fail on every clean workspace, which broke

package/dist/services/doctor/doctor-service/checks/l3-orphan-sessions.js

@@ -6,7 +6,6 @@
  * subdirs that intentionally live under `.peaks/_runtime/`
  * (e.g. `change/`, which routes reviewable artifacts per F3).
  *
- * Slice 2026-06-24-doctor-1xdetector-residual regression net: the
  * reducer MUST exclude `change/` (and other system subdirs added
  * by future F3 changes) — without the exclude-list the doctor
  * flips the summary to fail on every clean workspace, which broke

package/dist/services/doctor/doctor-service/checks/multi-binary-drift.d.ts

@@ -2,7 +2,6 @@
  * Check: PATH-scoped `peaks-loop` binary drift
  * (`build:multi-binary-drift`).
  *
- * Slice 2026-08-05-statusline-sid-only-marker-and-multi-binary-drift-guard
  * (G3/G4). When more than one `peaks-loop` binary is discoverable on
  * `process.env.PATH` AND the discovered versions disagree, the doctor
  * emits a `PEAKS_MULTI_BINARY_DRIFT` warning. The user-reported

package/dist/services/doctor/doctor-service/checks/multi-binary-drift.js

@@ -2,7 +2,6 @@
  * Check: PATH-scoped `peaks-loop` binary drift
  * (`build:multi-binary-drift`).
  *
- * Slice 2026-08-05-statusline-sid-only-marker-and-multi-binary-drift-guard
  * (G3/G4). When more than one `peaks-loop` binary is discoverable on
  * `process.env.PATH` AND the discovered versions disagree, the doctor
  * emits a `PEAKS_MULTI_BINARY_DRIFT` warning. The user-reported
@@ -210,7 +209,6 @@ function run({ options }) {
         // sees the finding in the JSON report AND the check carries
         // `severity: 'warning'` so `buildReport` does NOT count it as a
         // failure when computing `summary.ok`. Slice
-        // 2026-08-05-statusline-sid-only-marker-and-multi-binary-drift-guard
         // repair cycle landed the severity-aware summary so the
         // previously-handwaved "future severity-aware summary can
         // downgrade the doctor exit code" actually fires.
@@ -236,7 +234,6 @@ function run({ options }) {
         ];
     }
 }
-// Slice S3b (rid-s3b-doctor-check-typing): `satisfies` instead of a
 // `: DoctorCheckPlugin` annotation — see the identical note in
 // `codegraph-capability.ts`. The annotation widened this object literal
 // to `readonly DoctorCheck[] | Promise<readonly DoctorCheck[]>`, which

package/dist/services/doctor/doctor-service/checks/workspace-layout.js

@@ -24,9 +24,7 @@ import { join } from 'node:path';
 import { getErrorMessage } from 'peaks-loop-shared/result';
 const SESSION_DIR_PATTERN = /^\d{4}-\d{2}-\d{2}-session-[a-f0-9]+$/;
 /**
- * Slice 007 — per-change-id top-level dir pattern. Matches the
  * F3-canonical (pre-canonicalization) layout the 5 already-shipped
- * slices left behind, e.g. `.peaks/001-2026-06-06-doctor-dist-version-check/`.
  * The pattern is intentionally narrow so it does NOT match the
  * post-F3 system dirs (`_runtime/`, `_dogfood/`, `retrospective/`,
  * `memory/`, `perf-baseline/`, `project-scan/`, `sops/`,

package/dist/services/doctor/doctor-service/index.d.ts

@@ -1,5 +1,4 @@
 /**
- * doctor-service facade (slice rid-004).
  *
  * Public entrypoint for the code-driven fixed-registry doctor
  * pipeline. Replaces the legacy 1309-line monolithic `runDoctor`

package/dist/services/doctor/doctor-service/index.js

@@ -1,5 +1,4 @@
 /**
- * doctor-service facade (slice rid-004).
  *
  * Public entrypoint for the code-driven fixed-registry doctor
  * pipeline. Replaces the legacy 1309-line monolithic `runDoctor`

package/dist/services/doctor/doctor-service/plugin-registry.d.ts

@@ -1,5 +1,4 @@
 /**
- * doctor-service plugin registry (slice rid-004).
  *
  * Holds the fixed-order, code-driven list of `DoctorCheckPlugin`
  * instances that `runDoctor` iterates. The order is the same as the
@@ -35,7 +34,6 @@ import type { DoctorCheckPlugin } from './types.js';
  * Ordered list of doctor check plugins. The order mirrors the legacy
  * monolithic `runDoctor` function body verbatim — DO NOT REORDER
  * without first re-reading the consumer-side tests in
- * `tests/doctor.test.ts` / `tests/doctor/35-checks-aggregate.test.ts`
  * and updating the expected check-id list.
  */
 export declare const PLUGINS: ReadonlyArray<DoctorCheckPlugin>;

package/dist/services/doctor/doctor-service/plugin-registry.js

@@ -1,5 +1,4 @@
 /**
- * doctor-service plugin registry (slice rid-004).
  *
  * Holds the fixed-order, code-driven list of `DoctorCheckPlugin`
  * instances that `runDoctor` iterates. The order is the same as the
@@ -56,7 +55,6 @@ import { check as l3MemoryHealth } from './checks/l3-memory-health.js';
  * Ordered list of doctor check plugins. The order mirrors the legacy
  * monolithic `runDoctor` function body verbatim — DO NOT REORDER
  * without first re-reading the consumer-side tests in
- * `tests/doctor.test.ts` / `tests/doctor/35-checks-aggregate.test.ts`
  * and updating the expected check-id list.
  */
 export const PLUGINS = [

package/dist/services/doctor/doctor-service/probe-types.d.ts

@@ -74,7 +74,6 @@ export type DistVersionComparison = {
 };
 export type DistVersionProbe = () => DistVersionComparison;
 /**
- * Slice 2026-08-05-statusline-sid-only-marker-and-multi-binary-drift-guard
  * (G3/G4) — probe for the multi-binary drift check. The probe returns
  * the discovered peaks-loop binaries on PATH (with their resolved
  * version + install date) and a `driftDetected` flag. Injected so tests
@@ -95,16 +94,13 @@ export type WorkspaceLayoutInspection = {
     topLevelSessionDirs: string[];
     legacyDotfiles: string[];
     /**
-     * Slice 007 — per-change-id top-level dirs (e.g. `.peaks/001-2026-06-06-.../`).
      * The pre-F3 canonical layout put reviewable artifacts under a
      * per-change-id top-level dir; the post-F3 canonical layout
      * consolidates them under `.peaks/_runtime/<sid>/<role>/`. Any
      * leftover per-change-id top-level dir is a regression to flag.
-     * Slice 008's migration will consolidate these; until then, the
      * check reports them as `ok: false`.
      *
      * Optional in the type for back-compat with test probes that
-     * pre-date the slice 007 broadening; the check itself falls back
      * to an empty array when the field is missing.
      */
     perChangeIdDirs?: string[];

package/dist/services/doctor/doctor-service/report/final-summary.d.ts

@@ -9,7 +9,6 @@
  * orchestration loop and the aggregation rule has a single test surface.
  *
  * Severity-aware aggregation (slice
- * 2026-08-05-statusline-sid-only-marker-and-multi-binary-drift-guard
  * repair cycle): a check with `severity: 'warning'` reports `ok: false`
  * (so operators see the finding in the JSON envelope) but does NOT
  * flip `summary.ok` and therefore does NOT flip the doctor exit code.

package/dist/services/doctor/doctor-service/report/final-summary.js

@@ -9,7 +9,6 @@
  * orchestration loop and the aggregation rule has a single test surface.
  *
  * Severity-aware aggregation (slice
- * 2026-08-05-statusline-sid-only-marker-and-multi-binary-drift-guard
  * repair cycle): a check with `severity: 'warning'` reports `ok: false`
  * (so operators see the finding in the JSON envelope) but does NOT
  * flip `summary.ok` and therefore does NOT flip the doctor exit code.

package/dist/services/doctor/doctor-service/types.d.ts

@@ -1,5 +1,4 @@
 /**
- * doctor-service types and shared interfaces (slice rid-004).
  *
  * This module is the public type surface for the code-driven fixed
  * registry of doctor checks. Each check is a `DoctorCheckPlugin`
@@ -27,7 +26,6 @@ export type { CodegraphManagedPathInfo, CodegraphCapabilityProbe, CodegraphExclu
  *
  * Optional in the type for back-compat with older check plugins that
  * pre-date the severity-aware summary (slice
- * 2026-08-05-statusline-sid-only-marker-and-multi-binary-drift-guard
  * repair cycle). When omitted, the dispatcher treats the check as
  * `'error'` — i.e. `ok: false` escalates the exit code the same way
  * it did before this slice.
@@ -54,7 +52,6 @@ export type DoctorReport = {
         failed: number;
         /**
          * Severity-aware summary (slice
-         * 2026-08-05-statusline-sid-only-marker-and-multi-binary-drift-guard
          * repair cycle): count of findings tagged
          * `severity: 'warning'`. Warnings surface in the JSON envelope
          * (`ok: false`) but do NOT flip `summary.ok` and therefore do
@@ -101,7 +98,6 @@ export type DoctorOptions = {
     /** Injected for the build:dist-version-matches-source check (defaults to compareDistVersion on disk). */
     distVersionProbe?: DistVersionProbe;
     /**
-     * Slice 2026-08-05-statusline-sid-only-marker-and-multi-binary-drift-guard
      * (G3/G4) — injected for the build:multi-binary-drift check (defaults
      * to inspectMultiBinaryDrift against `process.env.PATH`).
      */
@@ -113,7 +109,6 @@ export type DoctorOptions = {
     /** Injected for the integration:ecc-hooks-schema-drift check (defaults to defaultEccHooksDriftProbe on disk). */
     eccHooksDriftProbe?: EccHooksDriftProbe;
     /**
-     * Slice 2026-06-13-repair-pre-existing-test-failures: injected
      * root for the L3:l3-memory-health check (defaults to
      * `findProjectRoot(process.cwd())`). Tests use this to point the
      * check at a temp dir without monkey-patching `findProjectRoot`.

package/dist/services/doctor/doctor-service/types.js

@@ -1,5 +1,4 @@
 /**
- * doctor-service types and shared interfaces (slice rid-004).
  *
  * This module is the public type surface for the code-driven fixed
  * registry of doctor checks. Each check is a `DoctorCheckPlugin`

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

@@ -1,6 +1,5 @@
 /**
  * Thin shim — `doctor-service.ts` (legacy 1309-line file)
- * was split in slice rid-004 into a code-driven fixed-registry
  * tree under `./doctor-service/`. This file remains so the legacy
  * import paths (`from '../services/doctor/doctor-service.js'` and
  * `peaks-loop-doctor/services/doctor/doctor-service` package

package/dist/services/doctor/doctor-service.js

@@ -1,6 +1,5 @@
 /**
  * Thin shim — `doctor-service.ts` (legacy 1309-line file)
- * was split in slice rid-004 into a code-driven fixed-registry
  * tree under `./doctor-service/`. This file remains so the legacy
  * import paths (`from '../services/doctor/doctor-service.js'` and
  * `peaks-loop-doctor/services/doctor/doctor-service` package
@@ -13,7 +12,6 @@
 export * from './doctor-service/index.js';
 // Re-export the helper symbols the legacy monolithic doctor-service.ts
 // exposed at the package boundary. These were split into the check
-// modules during rid-004; we re-export here so legacy callers
 // (`import { compareDistVersion } from '../services/doctor/doctor-service.js'`)
 // keep working without modification.
 export { compareDistVersion } from './doctor-service/checks/dist-source-version.js';

package/dist/services/env/shell-probe.js

@@ -1,5 +1,4 @@
 /**
- * Slice 2026-07-29-dispatch-stall-governance / S6 — typed shell probe.
  *
  * Codifies the prose-only red rule recorded in
  * .peaks/memory/2026-07-27-windows-shell-pref.md: on Windows, a

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

@@ -2,7 +2,6 @@
  * peaks evidence generate — mechanical per-slice evidence artifact writer.
  *
  * Port of the reference Python prototype
- * `.peaks/_runtime/2026-09-06-session-a87ca4/sc/gen-evidence.py`. It writes the
  * ~11 evidence artifacts required by the rd:qa-handoff / qa:verdict-issued
  * gates plus the verify-pipeline, so the orchestrator no longer hand-writes
  * them per mechanical file-split (or similar) slice.
@@ -18,7 +17,6 @@
  * This paragraph used to send editors to `src/services/workflow/artifact-paths.ts`
  * as the checker of "suffixed security/performance findings". That is no longer
  * true: the `security-findings-<rid>.md` / `performance-findings-<rid>.md` gates
- * were removed in rid `2026-09-14-verify-pipeline-contract-drift` (no
  * `qa:verdict-issued` table names those paths; security and perf evidence is
  * resolved on the RD side at `audit/security-<rid>.md` / `audit/perf-<rid>.md`),
  * and `artifact-paths.ts` has had zero code consumers since. It is not a marker
@@ -73,7 +71,6 @@ export function parseLineCounts(raw) {
  * a hash computed on `frontmatter + body` rather than the body. The
  * `AUDIT_REQUIRES_HANDOFF` gate (a substring check) accepted that file while
  * `readAndVerifyHandoff` in both audit skills returned `null` — the very
- * 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, gateEvidence) {
@@ -126,7 +123,6 @@ export async function generateEvidence(options) {
     // Both values become path segments below — the rid as a filename, the sid as
     // the session directory. Guard them BEFORE the first mkdir so a rejected run
     // leaves nothing behind. `REQUEST_ID_PATTERN` is the repo's own request-id
-    // control (`request-artifact-service.ts`, F-1 slice 025 security); the sid
     // gets the segment check because `--session-id` has no pinned format.
     // Measured before these lines existed: `--rid '../../../pwned'` wrote
     // `.peaks/_runtime/pwned.md`, outside the per-session evidence dir, and a
@@ -166,14 +162,12 @@ export async function generateEvidence(options) {
     // requires `<rid>` in them: every slice in a session shares `rd/` and
     // `audit/`, so writing the ridless name silently destroyed the previous
     // slice's evidence on 2026-09-13 while the gate stayed green (slice
-    // `2026-09-14-audit-artifact-rid-scoping`).
     const writes = [
         [join(rdDir, `code-review-${rid}.md`), buildCodeReview(rid, title, files, lineCounts)],
         [join(auditDir, `security-${rid}.md`), buildSecurityReview(rid)],
         // ...but the `config` type is the one whose `rd:qa-handoff` row is
         // `SECURITY_REVIEW` — the genuinely ridless `rd/security-review.md` — and
         // this generator is request-type-agnostic (no `--request-type`). So it
-        // writes BOTH names: the rid-scoped one the fanout types resolve
         // (`AUDIT_SECURITY`) and the bare one `config` resolves. Nothing is lost
         // by having both; a `config` slice has nothing else to fall back on, and
         // dropping this write made a `config` slice fail its own gate while the
@@ -182,7 +176,6 @@ export async function generateEvidence(options) {
         [join(rdDir, 'security-review.md'), buildSecurityReview(rid)],
         [join(rdDir, `karpathy-review-${rid}.md`), buildKarpathyReview(rid, lineCounts)],
         // `rd/tech-doc.md` stays ridless on purpose: the TECH_DOC prereq was
-        // removed in v2.11.0, so nothing gates it and there is no rid-scoped
         // sibling that anything reads.
         [join(rdDir, 'tech-doc.md'), buildTechDoc(rid, title, files, lineCounts)],
         [join(auditDir, `perf-${rid}.md`), buildPerfAudit(rid)],
@@ -192,7 +185,6 @@ export async function generateEvidence(options) {
         [join(qaDir, `performance-findings-${rid}.md`), buildPerformanceFindings(rid)],
         [qaRequestPath, buildQaRequest(rid, sessionId, files)],
         // The handoff capsule carries the rid for the same reason as the four
-        // above (slice `2026-09-14-prd-capsule-rid-scoping`): one slot per
         // session means the second slice's capsule overwrites the first's.
         [join(prdDir, `handoff-${rid}.md`), handoff.content]
     ];

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

@@ -21,7 +21,6 @@ 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<{
@@ -31,7 +30,6 @@ export declare const IndependentEvaluatorResultSchema: z.ZodObject<{
 }, 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<{

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

@@ -26,7 +26,6 @@ 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({
@@ -43,7 +42,6 @@ export const IndependentEvaluatorResultSchema = z.object({
         .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({

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

@@ -1,4 +1,4 @@
-import type Database from 'better-sqlite3';
+import type { SqliteDatabase } from '../sqlite/sqlite-driver.js';
 import { ZodError } from 'zod';
 import { EVOLUTION_DEFAULT_DELTA_MIN, type EvolutionEvaluation, type EvolutionProposal, type EvolutionProposalInput, type EvolutionTargetKind, type EvolutionVerdict } from './evolution-types.js';
 /**
@@ -7,17 +7,12 @@ import { EVOLUTION_DEFAULT_DELTA_MIN, type EvolutionEvaluation, type EvolutionPr
  * Hard rules enforced at THIS layer (not just the Zod schema) so
  * the ratchet cannot be bypassed by a malformed input:
  *
- *   - AC-8:  exactly one target (target_count === 1) AND
  *            exactly one optimization dimension per round.
  *            Code:  EVOLUTION_MULTI_OBJECT, EVOLUTION_MULTI_DIMENSION.
- *   - AC-10: the scorer (evaluator) MUST NOT be the author.
  *            Code:  EVOLUTION_SELF_SCORE.
- *   - AC-11: a `keep` verdict is BLOCKED when
  *            score_delta < score_delta_min (default 1.0).
  *            Code:  EVOLUTION_DELTA_BELOW_THRESHOLD.
- *   - AC-12: evaluator_id MUST be a separate agent from
  *            author_id and skeptic_id.
- *   - AC-14: skeptic_id MUST be a separate agent from
  *            author_id and evaluator_id.
  *
  * The service is intentionally narrow: createProposal / score /
@@ -40,9 +35,8 @@ export declare class EvolutionIntegrityError extends Error {
 }
 export declare class EvolutionService {
     private readonly db;
-    constructor(db: Database.Database);
+    constructor(db: SqliteDatabase);
     /**
-     * Persist a new EvolutionProposal. Enforces AC-8 (single object /
      * single dimension) BEFORE writing the row.
      *
      * The proposal id is auto-generated (`eval-<hex>`); callers supply
@@ -58,8 +52,6 @@ export declare class EvolutionService {
      */
     createProposal(input: EvolutionProposalInput): EvolutionProposal;
     /**
-     * Score an existing proposal. Enforces AC-10 (no self-score:
-     * `evaluator_id !== proposal.author_id`) and AC-11 (delta
      * threshold: cannot mark `keep` when `score_delta <
      * score_delta_min`).
      *
@@ -89,9 +81,7 @@ export declare class EvolutionService {
     /**
      * Mark a verdict explicitly (after the user has confirmed via
      * natural-language or a pick). Enforces:
-     *   - AC-11: cannot mark `keep` when score_delta <
      *     score_delta_min.
-     *   - AC-15: `keep` requires a user_confirmation_pointer.
      *
      * Throws:
      *   - EvolutionIntegrityError(EVOLUTION_DELTA_BELOW_THRESHOLD)

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

@@ -24,7 +24,6 @@ export class EvolutionService {
         ensureEvolutionEvaluationTable(this.db);
     }
     /**
-     * Persist a new EvolutionProposal. Enforces AC-8 (single object /
      * single dimension) BEFORE writing the row.
      *
      * The proposal id is auto-generated (`eval-<hex>`); callers supply
@@ -70,7 +69,6 @@ export class EvolutionService {
             }
             throw err;
         }
-        // AC-8 defense in depth: in case a future schema version relaxes
         // the literal(true), still enforce at the service boundary.
         if (parsedInput.single_object !== true) {
             throw new EvolutionIntegrityError('EVOLUTION_MULTI_OBJECT', 'proposal must target exactly one object (single_object=true); split multi-object changes into multiple rounds', [{ path: 'single_object', message: 'must be true (AC-8)' }]);
@@ -110,8 +108,6 @@ export class EvolutionService {
         return proposal;
     }
     /**
-     * Score an existing proposal. Enforces AC-10 (no self-score:
-     * `evaluator_id !== proposal.author_id`) and AC-11 (delta
      * threshold: cannot mark `keep` when `score_delta <
      * score_delta_min`).
      *
@@ -135,11 +131,9 @@ export class EvolutionService {
         if (!existing) {
             throw new EvolutionIntegrityError('EVOLUTION_BELOW_RUBRIC', `evolution_evaluation row '${proposalId}' not found`, [{ path: 'id', message: 'row not found' }]);
         }
-        // AC-10: scorer MUST NOT be the author.
         if (args.evaluator_id === existing.proposal.author_id) {
             throw new EvolutionIntegrityError('EVOLUTION_SELF_SCORE', `evaluator_id '${args.evaluator_id}' equals author_id '${existing.proposal.author_id}'; self-scoring is forbidden (AC-10)`, [{ path: 'evaluator_id', message: 'must differ from author_id' }]);
         }
-        // AC-12 / AC-14: skeptic and evaluator are SEPARATE agents.
         if (args.skeptic_id === existing.proposal.author_id) {
             throw new EvolutionIntegrityError('EVOLUTION_SELF_SCORE', `skeptic_id '${args.skeptic_id}' equals author_id '${existing.proposal.author_id}'; the skeptic must be a separate agent (AC-14)`, [{ path: 'skeptic_id', message: 'must differ from author_id' }]);
         }
@@ -176,7 +170,6 @@ export class EvolutionService {
             schema_version: 'peaks.evolution/1',
             created_at: new Date().toISOString()
         };
-        // AC-11 (delta threshold) explicit guard: if the caller
         // explicitly asks to mark `keep` but delta < min, throw.
         if (verdict === 'needs-user-decision' && score_delta < min) {
             // The auto-derivation already pinned verdict to `revert`; the
@@ -195,9 +188,7 @@ export class EvolutionService {
     /**
      * Mark a verdict explicitly (after the user has confirmed via
      * natural-language or a pick). Enforces:
-     *   - AC-11: cannot mark `keep` when score_delta <
      *     score_delta_min.
-     *   - AC-15: `keep` requires a user_confirmation_pointer.
      *
      * Throws:
      *   - EvolutionIntegrityError(EVOLUTION_DELTA_BELOW_THRESHOLD)

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

@@ -1,11 +1,11 @@
-import type Database from 'better-sqlite3';
+import type { SqliteDatabase } from '../sqlite/sqlite-driver.js';
 import type { EvolutionEvaluation, EvolutionEvaluationInput, EvolutionProposal, EvolutionProposalInput, EvolutionTargetKind, EvolutionVerdict } from './evolution-types.js';
 /**
  * Re-apply the evolution_evaluation table migration against an
  * already-open database. Used by tests that build their own DB
  * without the openStateDb pipeline. Idempotent.
  */
-export declare function ensureEvolutionEvaluationTable(db: Database.Database): void;
+export declare function ensureEvolutionEvaluationTable(db: SqliteDatabase): void;
 /**
  * Compute the score_delta from before/after scores. Exported for
  * the service layer to use during proposal evaluation.
@@ -13,7 +13,6 @@ export declare function ensureEvolutionEvaluationTable(db: Database.Database): v
 export declare function computeScoreDelta(before: number, after: number): number;
 /**
  * Build a persisted EvolutionProposal from the input. The service
- * layer is responsible for enforcing AC-8 (single object / single
  * dimension) BEFORE calling this; the persisted shape always has
  * `target_count = 1` and `dimensions.length = 1`.
  */
@@ -24,17 +23,17 @@ export declare function buildProposal(id: string, input: EvolutionProposalInput,
  * `peaks.evolution/1`); `created_at` is stamped from the server
  * clock here, so callers cannot backdate a row.
  */
-export declare function insertEvolutionEvaluation(db: Database.Database, evalRow: EvolutionEvaluationInput): void;
+export declare function insertEvolutionEvaluation(db: SqliteDatabase, evalRow: EvolutionEvaluationInput): void;
 /**
  * Read a single EvolutionEvaluation row by id; returns undefined if
  * absent.
  */
-export declare function getEvolutionEvaluation(db: Database.Database, id: string): EvolutionEvaluation | undefined;
+export declare function getEvolutionEvaluation(db: SqliteDatabase, id: string): EvolutionEvaluation | undefined;
 /**
  * List EvolutionEvaluation rows for a specific target. Filter by
  * `verdict` to scope the listing.
  */
-export declare function listEvolutionEvaluationsByTarget(db: Database.Database, opts: {
+export declare function listEvolutionEvaluationsByTarget(db: SqliteDatabase, opts: {
     target_kind: EvolutionTargetKind;
     target_release_id: string;
     verdict?: EvolutionVerdict;
@@ -46,9 +45,8 @@ export declare function listEvolutionEvaluationsByTarget(db: Database.Database,
  *
  * The service layer is responsible for enforcing that the
  * transition `revert` is always allowed and `keep` requires
- * `user_confirmation_pointer` set (AC-15).
  */
-export declare function updateEvolutionVerdict(db: Database.Database, id: string, verdict: EvolutionVerdict, userConfirmationPointer?: string): EvolutionEvaluation | undefined;
+export declare function updateEvolutionVerdict(db: SqliteDatabase, id: string, verdict: EvolutionVerdict, userConfirmationPointer?: string): EvolutionEvaluation | undefined;
 /**
  * Test seam: produce a fresh id for an EvolutionEvaluation row.
  * Format: `eval-<hex>` (lowercase, 12 hex chars). Matches the Zod

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

@@ -55,7 +55,6 @@ export function computeScoreDelta(before, after) {
 }
 /**
  * Build a persisted EvolutionProposal from the input. The service
- * layer is responsible for enforcing AC-8 (single object / single
  * dimension) BEFORE calling this; the persisted shape always has
  * `target_count = 1` and `dimensions.length = 1`.
  */
@@ -155,7 +154,7 @@ export function insertEvolutionEvaluation(db, evalRow) {
        rubric_json, red_lines_json, source_traces_json,
        schema_version, created_at
      ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)`);
-    stmt.run(evalRow.id, evalRow.proposal.target_kind, evalRow.proposal.target_release_id, JSON.stringify(evalRow.proposal.dimensions), evalRow.proposal.target_count, JSON.stringify(evalRow.proposal.before_snapshot), JSON.stringify(evalRow.proposal.after_snapshot), JSON.stringify(evalRow.proposal.diff), evalRow.proposal.before_score, evalRow.proposal.after_score, evalRow.proposal.score_delta_min, computeScoreDelta(evalRow.proposal.before_score, evalRow.proposal.after_score), evalRow.proposal.author_id, evalRow.evaluator_id, evalRow.skeptic_id, evalRow.verdict, evalRow.user_confirmation_pointer ?? null, evalRow.brief_pointer ?? null, JSON.stringify(evalRow.proposal.rubric), JSON.stringify(evalRow.proposal.red_lines), JSON.stringify(evalRow.proposal.source_traces), evalRow.schema_version, evalRow.created_at);
+    stmt.run(evalRow.id, evalRow.proposal.target_kind, evalRow.proposal.target_release_id, JSON.stringify(evalRow.proposal.dimensions), evalRow.proposal.target_count, JSON.stringify(evalRow.proposal.before_snapshot), JSON.stringify(evalRow.proposal.after_snapshot), JSON.stringify(evalRow.proposal.diff), evalRow.proposal.before_score, evalRow.proposal.after_score, evalRow.proposal.score_delta_min ?? null, computeScoreDelta(evalRow.proposal.before_score, evalRow.proposal.after_score), evalRow.proposal.author_id, evalRow.evaluator_id, evalRow.skeptic_id, evalRow.verdict, evalRow.user_confirmation_pointer ?? null, evalRow.brief_pointer ?? null, JSON.stringify(evalRow.proposal.rubric), JSON.stringify(evalRow.proposal.red_lines), JSON.stringify(evalRow.proposal.source_traces), evalRow.schema_version ?? null, evalRow.created_at);
 }
 /**
  * Read a single EvolutionEvaluation row by id; returns undefined if
@@ -189,7 +188,6 @@ export function listEvolutionEvaluationsByTarget(db, opts) {
  *
  * The service layer is responsible for enforcing that the
  * transition `revert` is always allowed and `keep` requires
- * `user_confirmation_pointer` set (AC-15).
  */
 export function updateEvolutionVerdict(db, id, verdict, userConfirmationPointer) {
     const existing = getEvolutionEvaluation(db, id);

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

@@ -119,9 +119,7 @@ export type EvolutionProposal = z.infer<typeof EvolutionProposalSchema>;
  *
  * 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).

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

@@ -46,7 +46,6 @@ export const EVOLUTION_VERDICTS = [
     'needs-user-decision'
 ];
 /* ---------------------------------------------------------------------- */
-/* Proposal — the create payload. AC-8 enforces single object / dim.     */
 /* ---------------------------------------------------------------------- */
 /**
  * A reusable id pattern for `target_release_id`. The actual identity
@@ -71,7 +70,6 @@ export const EvolutionProposalInputSchema = z.object({
     target_kind: EvolutionTargetKindSchema,
     target_release_id: TargetReleaseIdSchema,
     /**
-     * Single optimization dimension (AC-8). Multi-dimension proposals
      * must be split into multiple rounds.
      */
     optimization_dimension: z
@@ -100,7 +98,6 @@ export const EvolutionProposalInputSchema = z.object({
     author_id: z.string().trim().min(1, 'author_id is required').max(EVO_AUTHOR_ID_MAX),
     /**
      * 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`.
      */
@@ -109,7 +106,6 @@ export const EvolutionProposalInputSchema = z.object({
     }),
     /**
      * 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.literal(true, {
@@ -151,9 +147,7 @@ export const EvolutionProposalSchema = EvolutionProposalInputSchema.extend({
  *
  * 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).

package/dist/services/evolution/independent-evaluator-runner.d.ts

@@ -1,6 +1,5 @@
 import type { EvolutionProposal, IndependentEvaluatorResult } from './evolution-types.js';
 /**
- * IndependentEvaluatorRunner — spec §6.2 / AC-12 / AC-13.
  *
  * The independent scorer is a SEPARATE sub-agent (process / model /
  * context). Its ONLY input is the evaluation package (target,
@@ -13,7 +12,6 @@ import type { EvolutionProposal, IndependentEvaluatorResult } from './evolution-
  * `invokeLlm` factory. Production wiring lives in M5; M4 ships
  * the contract + the deterministic LLM stub used by tests.
  *
- * Contract (AC-12 / AC-13):
  *   - Input: EvolutionProposal (the public package only).
  *   - Output: IndependentEvaluatorResult { score, riskTags, refuteParagraph }.
  *   - The runner MUST NOT receive the author's session id, the
@@ -70,7 +68,6 @@ export type LlmInvoke = (pkg: EvaluationPackage, prompt: string) => Promise<{
  * The prompt handed to the LLM scorer. By construction this
  * contains NO author session id, NO author reasoning, and NO
  * `推荐` / `recommendation` framing. The scorer is told the
- * AUTHOR'S score and asked to refute it (AC-13).
  */
 export declare function buildEvaluatorPrompt(pkg: EvaluationPackage): string;
 /**

package/dist/services/evolution/independent-evaluator-runner.js

@@ -21,7 +21,6 @@ export function buildEvaluationPackage(proposal) {
  * The prompt handed to the LLM scorer. By construction this
  * contains NO author session id, NO author reasoning, and NO
  * `推荐` / `recommendation` framing. The scorer is told the
- * AUTHOR'S score and asked to refute it (AC-13).
  */
 export function buildEvaluatorPrompt(pkg) {
     // Stringify in a deterministic order for test stability.

package/dist/services/evolution/regression-skeptic-runner.d.ts

@@ -1,7 +1,6 @@
 import type { EvolutionProposal, EvolutionVerdict, IndependentEvaluatorResult, RegressionSkepticResult } from './evolution-types.js';
 import { type EvaluationPackage } from './independent-evaluator-runner.js';
 /**
- * RegressionSkepticRunner — spec §6.1 #4 / AC-14.
  *
  * The regression skeptic is a SEPARATE sub-agent (independent of
  * the author AND the independent evaluator). Its job is to