peaks-loop 4.0.0-beta.2 → 4.0.0-beta.21

package/dist/src/services/mut/report-loader.js

@@ -1,78 +0,0 @@
-/**
- * Plan 2 — Task 8: peaks-qa consumes MUT.sig from peaks-mut.
- *
- * `loadMutReport` is the read-side counterpart of `buildMutReport`
- * (which is the write-side). Both share the canonical path:
- * `.peaks/_runtime/<sessionId>/mut/mut-report.json` (per hotfix 81f00ce
- * one-axis envelope — no `.peaks/_runtime/<sessionId>/` fallback).
- *
- * Design contract (per spec lines 1292-1341):
- *   - Missing file      → `null` (gate is skipped, NOT failed)
- *   - Schema-invalid    → `null` (log via stderr; do not throw — qa is a
- *                         pre-step, not a precondition)
- *   - Schema-valid      → the parsed `MutReportJson`
- *
- * Returning `null` instead of throwing is what lets peaks-qa treat
- * "peaks mut was not run" as a no-op. If we threw, the qa gate would
- * crash on every session that hasn't run peaks-mut yet.
- */
-import { readFile } from 'node:fs/promises';
-import { posix as pathPosix } from 'node:path';
-import { MutReportSchema } from './types.js';
-export const MUT_REPORT_RELATIVE_PATH = 'mut/mut-report.json';
-/**
- * Build the canonical absolute path of a session's mut-report.json.
- * Exported so the CLI surface in qa-commands can reuse the same
- * constant for diagnostic messages.
- *
- * Uses POSIX separators intentionally: the one-axis envelope is
- * documented as `.peaks/_runtime/<sid>/mut/mut-report.json` (forward
- * slashes) and that path is what the hotfix 81f00ce audit-trail
- * contract guarantees. `node:path` would produce backslashes on
- * Windows, breaking the cross-platform invariant. POSIX join is
- * correct here because the result is a logical path stored in JSON
- * artifacts and CLI diagnostics — it never gets passed to OS
- * syscalls directly (readFile / writeFile accept both forms).
- */
-export function mutReportPath(sessionId) {
-    return pathPosix.join('.peaks', '_runtime', sessionId, MUT_REPORT_RELATIVE_PATH);
-}
-/**
- * Read and validate a session's mut-report.json.
- *
- * Returns `null` for any of these cases:
- *   - file does not exist (ENOENT)
- *   - file exists but JSON is malformed
- *   - file exists and parses but does not satisfy `MutReportSchema`
- *
- * Never throws. Never logs to stdout (per "no console.log in src/").
- * Schema-parse failures are reported via `process.stderr` so the
- * qa-runner operator can see why their report is being treated as
- * absent.
- */
-export async function loadMutReport(sessionId) {
-    const path = mutReportPath(sessionId);
-    let raw;
-    try {
-        raw = await readFile(path, 'utf8');
-    }
-    catch { // TODO(g2): legacy silent catch — grace: 1 minor release (v2.14.0)
-        // ENOENT or permission denied — both treated as "not run".
-        return null;
-    }
-    let parsedJson;
-    try {
-        parsedJson = JSON.parse(raw);
-    }
-    catch (err) {
-        const message = err instanceof Error ? err.message : String(err);
-        process.stderr.write(`[peaks-qa] mut-report at ${path} is not valid JSON; treating as absent: ${message}\n`);
-        return null;
-    }
-    const parsed = MutReportSchema.safeParse(parsedJson);
-    if (!parsed.success) {
-        process.stderr.write(`[peaks-qa] mut-report at ${path} failed schema validation; treating as absent: ${parsed.error.message}\n`);
-        return null;
-    }
-    return parsed.data;
-}

package/dist/src/services/mut/thresholds.d.ts

@@ -1,21 +0,0 @@
-/**
- * Per spec §4.2 验收审计 — Default thresholds + evaluator.
- *
- * Override via `peaks-mut.config.json` at project root.
- */
-export interface Thresholds {
-    readonly mutationKillRateMin: number;
-    readonly weakAssertionRateMax: number;
-}
-export declare const DEFAULT_THRESHOLDS: Thresholds;
-export type ThresholdViolationKind = 'mutationKillRateMin' | 'weakAssertionRateMax';
-export interface ThresholdViolation {
-    readonly kind: ThresholdViolationKind;
-    readonly actual: number;
-    readonly threshold: number;
-}
-export interface ThresholdEvaluation {
-    readonly passed: boolean;
-    readonly violations: ReadonlyArray<ThresholdViolation>;
-}
-export declare function evaluateThresholds(t: Thresholds, actualKillRate: number, actualWeakRate: number): ThresholdEvaluation;

package/dist/src/services/mut/thresholds.js

@@ -1,22 +0,0 @@
-export const DEFAULT_THRESHOLDS = Object.freeze({
-    mutationKillRateMin: 0.80,
-    weakAssertionRateMax: 0.05,
-});
-export function evaluateThresholds(t, actualKillRate, actualWeakRate) {
-    const violations = [];
-    if (actualKillRate < t.mutationKillRateMin) {
-        violations.push({
-            kind: 'mutationKillRateMin',
-            actual: actualKillRate,
-            threshold: t.mutationKillRateMin,
-        });
-    }
-    if (actualWeakRate > t.weakAssertionRateMax) {
-        violations.push({
-            kind: 'weakAssertionRateMax',
-            actual: actualWeakRate,
-            threshold: t.weakAssertionRateMax,
-        });
-    }
-    return { passed: violations.length === 0, violations };
-}

package/dist/src/services/mut/types.d.ts

@@ -1,336 +0,0 @@
-/**
- * Per spec §4.2 验收审计 + §7 阶段二 — MutReportJson v1.0.
- *
- * Hard constraints:
- *   H8 (audit trail hashable): sha256 + inputSig (chain to TACT.sig)
- *   H6 (CLI裁决, not LLM): passed boolean is computed by CLI, not LLM
- */
-import { z } from 'zod';
-export type MutVersion = '1.0';
-export type MutTool = 'stryker' | 'mutmut' | 'go-mutesting';
-export type WeakPattern = 'toBeDefined' | 'toBeTruthy' | 'toEqual-self' | 'expect-anything' | 'toBe-self';
-export interface SurvivedMutant {
-    readonly line: number;
-    readonly mutation: string;
-    readonly survivedBecause: string;
-}
-export interface FileMutationReport {
-    readonly file: string;
-    readonly killRate: number;
-    readonly survived: ReadonlyArray<SurvivedMutant>;
-}
-export interface MutationReport {
-    readonly tool: MutTool;
-    readonly mutantsTotal: number;
-    readonly mutantsKilled: number;
-    readonly mutantsSurvived: number;
-    readonly mutantsTimeout: number;
-    readonly killRate: number;
-    readonly byFile: ReadonlyArray<FileMutationReport>;
-}
-export interface WeakExample {
-    readonly file: string;
-    readonly line: number;
-    readonly code: string;
-}
-export interface WeakPatternCount {
-    readonly pattern: WeakPattern;
-    readonly count: number;
-    readonly examples: ReadonlyArray<WeakExample>;
-}
-export interface AssertionsReport {
-    readonly totalAssertions: number;
-    readonly weakAssertions: number;
-    readonly weakRate: number;
-    readonly weakPatterns: ReadonlyArray<WeakPatternCount>;
-}
-export interface ThresholdsConfig {
-    readonly mutationKillRateMin: number;
-    readonly weakAssertionRateMax: number;
-    readonly passed: boolean;
-}
-export type FollowupSeverity = 'soft' | 'hard';
-export type FollowupIssue = 'low_kill_rate' | 'high_weak_assertions';
-export interface Followup {
-    readonly file: string;
-    readonly issue: FollowupIssue;
-    readonly severity: FollowupSeverity;
-    readonly suggestion: string;
-}
-export interface MutReportJson {
-    readonly version: MutVersion;
-    readonly sha256: string;
-    readonly generatedAt: string;
-    readonly inputSig: string;
-    readonly mutation: MutationReport;
-    readonly assertions: AssertionsReport;
-    readonly thresholds: ThresholdsConfig;
-    readonly followups: ReadonlyArray<Followup>;
-}
-export declare const WeakPatternSchema: z.ZodEnum<["toBeDefined", "toBeTruthy", "toEqual-self", "expect-anything", "toBe-self"]>;
-export declare const MutReportSchema: z.ZodObject<{
-    version: z.ZodLiteral<"1.0">;
-    sha256: z.ZodString;
-    generatedAt: z.ZodString;
-    inputSig: z.ZodString;
-    mutation: z.ZodObject<{
-        tool: z.ZodEnum<["stryker", "mutmut", "go-mutesting"]>;
-        mutantsTotal: z.ZodNumber;
-        mutantsKilled: z.ZodNumber;
-        mutantsSurvived: z.ZodNumber;
-        mutantsTimeout: z.ZodNumber;
-        killRate: z.ZodNumber;
-        byFile: z.ZodArray<z.ZodObject<{
-            file: z.ZodString;
-            killRate: z.ZodNumber;
-            survived: z.ZodArray<z.ZodObject<{
-                line: z.ZodNumber;
-                mutation: z.ZodString;
-                survivedBecause: z.ZodString;
-            }, "strip", z.ZodTypeAny, {
-                line: number;
-                mutation: string;
-                survivedBecause: string;
-            }, {
-                line: number;
-                mutation: string;
-                survivedBecause: string;
-            }>, "many">;
-        }, "strip", z.ZodTypeAny, {
-            file: string;
-            killRate: number;
-            survived: {
-                line: number;
-                mutation: string;
-                survivedBecause: string;
-            }[];
-        }, {
-            file: string;
-            killRate: number;
-            survived: {
-                line: number;
-                mutation: string;
-                survivedBecause: string;
-            }[];
-        }>, "many">;
-    }, "strip", z.ZodTypeAny, {
-        tool: "stryker" | "mutmut" | "go-mutesting";
-        killRate: number;
-        mutantsTotal: number;
-        mutantsKilled: number;
-        mutantsSurvived: number;
-        mutantsTimeout: number;
-        byFile: {
-            file: string;
-            killRate: number;
-            survived: {
-                line: number;
-                mutation: string;
-                survivedBecause: string;
-            }[];
-        }[];
-    }, {
-        tool: "stryker" | "mutmut" | "go-mutesting";
-        killRate: number;
-        mutantsTotal: number;
-        mutantsKilled: number;
-        mutantsSurvived: number;
-        mutantsTimeout: number;
-        byFile: {
-            file: string;
-            killRate: number;
-            survived: {
-                line: number;
-                mutation: string;
-                survivedBecause: string;
-            }[];
-        }[];
-    }>;
-    assertions: z.ZodObject<{
-        totalAssertions: z.ZodNumber;
-        weakAssertions: z.ZodNumber;
-        weakRate: z.ZodNumber;
-        weakPatterns: z.ZodArray<z.ZodObject<{
-            pattern: z.ZodEnum<["toBeDefined", "toBeTruthy", "toEqual-self", "expect-anything", "toBe-self"]>;
-            count: z.ZodNumber;
-            examples: z.ZodArray<z.ZodObject<{
-                file: z.ZodString;
-                line: z.ZodNumber;
-                code: z.ZodString;
-            }, "strip", z.ZodTypeAny, {
-                code: string;
-                file: string;
-                line: number;
-            }, {
-                code: string;
-                file: string;
-                line: number;
-            }>, "many">;
-        }, "strip", z.ZodTypeAny, {
-            count: number;
-            examples: {
-                code: string;
-                file: string;
-                line: number;
-            }[];
-            pattern: "toBeDefined" | "toBeTruthy" | "toEqual-self" | "expect-anything" | "toBe-self";
-        }, {
-            count: number;
-            examples: {
-                code: string;
-                file: string;
-                line: number;
-            }[];
-            pattern: "toBeDefined" | "toBeTruthy" | "toEqual-self" | "expect-anything" | "toBe-self";
-        }>, "many">;
-    }, "strip", z.ZodTypeAny, {
-        weakRate: number;
-        totalAssertions: number;
-        weakAssertions: number;
-        weakPatterns: {
-            count: number;
-            examples: {
-                code: string;
-                file: string;
-                line: number;
-            }[];
-            pattern: "toBeDefined" | "toBeTruthy" | "toEqual-self" | "expect-anything" | "toBe-self";
-        }[];
-    }, {
-        weakRate: number;
-        totalAssertions: number;
-        weakAssertions: number;
-        weakPatterns: {
-            count: number;
-            examples: {
-                code: string;
-                file: string;
-                line: number;
-            }[];
-            pattern: "toBeDefined" | "toBeTruthy" | "toEqual-self" | "expect-anything" | "toBe-self";
-        }[];
-    }>;
-    thresholds: z.ZodObject<{
-        mutationKillRateMin: z.ZodNumber;
-        weakAssertionRateMax: z.ZodNumber;
-        passed: z.ZodBoolean;
-    }, "strip", z.ZodTypeAny, {
-        passed: boolean;
-        mutationKillRateMin: number;
-        weakAssertionRateMax: number;
-    }, {
-        passed: boolean;
-        mutationKillRateMin: number;
-        weakAssertionRateMax: number;
-    }>;
-    followups: z.ZodArray<z.ZodObject<{
-        file: z.ZodString;
-        issue: z.ZodEnum<["low_kill_rate", "high_weak_assertions"]>;
-        severity: z.ZodEnum<["soft", "hard"]>;
-        suggestion: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        file: string;
-        severity: "soft" | "hard";
-        issue: "low_kill_rate" | "high_weak_assertions";
-        suggestion: string;
-    }, {
-        file: string;
-        severity: "soft" | "hard";
-        issue: "low_kill_rate" | "high_weak_assertions";
-        suggestion: string;
-    }>, "many">;
-}, "strip", z.ZodTypeAny, {
-    version: "1.0";
-    sha256: string;
-    generatedAt: string;
-    inputSig: string;
-    mutation: {
-        tool: "stryker" | "mutmut" | "go-mutesting";
-        killRate: number;
-        mutantsTotal: number;
-        mutantsKilled: number;
-        mutantsSurvived: number;
-        mutantsTimeout: number;
-        byFile: {
-            file: string;
-            killRate: number;
-            survived: {
-                line: number;
-                mutation: string;
-                survivedBecause: string;
-            }[];
-        }[];
-    };
-    assertions: {
-        weakRate: number;
-        totalAssertions: number;
-        weakAssertions: number;
-        weakPatterns: {
-            count: number;
-            examples: {
-                code: string;
-                file: string;
-                line: number;
-            }[];
-            pattern: "toBeDefined" | "toBeTruthy" | "toEqual-self" | "expect-anything" | "toBe-self";
-        }[];
-    };
-    thresholds: {
-        passed: boolean;
-        mutationKillRateMin: number;
-        weakAssertionRateMax: number;
-    };
-    followups: {
-        file: string;
-        severity: "soft" | "hard";
-        issue: "low_kill_rate" | "high_weak_assertions";
-        suggestion: string;
-    }[];
-}, {
-    version: "1.0";
-    sha256: string;
-    generatedAt: string;
-    inputSig: string;
-    mutation: {
-        tool: "stryker" | "mutmut" | "go-mutesting";
-        killRate: number;
-        mutantsTotal: number;
-        mutantsKilled: number;
-        mutantsSurvived: number;
-        mutantsTimeout: number;
-        byFile: {
-            file: string;
-            killRate: number;
-            survived: {
-                line: number;
-                mutation: string;
-                survivedBecause: string;
-            }[];
-        }[];
-    };
-    assertions: {
-        weakRate: number;
-        totalAssertions: number;
-        weakAssertions: number;
-        weakPatterns: {
-            count: number;
-            examples: {
-                code: string;
-                file: string;
-                line: number;
-            }[];
-            pattern: "toBeDefined" | "toBeTruthy" | "toEqual-self" | "expect-anything" | "toBe-self";
-        }[];
-    };
-    thresholds: {
-        passed: boolean;
-        mutationKillRateMin: number;
-        weakAssertionRateMax: number;
-    };
-    followups: {
-        file: string;
-        severity: "soft" | "hard";
-        issue: "low_kill_rate" | "high_weak_assertions";
-        suggestion: string;
-    }[];
-}>;

package/dist/src/services/mut/types.js

@@ -1,59 +0,0 @@
-/**
- * Per spec §4.2 验收审计 + §7 阶段二 — MutReportJson v1.0.
- *
- * Hard constraints:
- *   H8 (audit trail hashable): sha256 + inputSig (chain to TACT.sig)
- *   H6 (CLI裁决, not LLM): passed boolean is computed by CLI, not LLM
- */
-import { z } from 'zod';
-export const WeakPatternSchema = z.enum([
-    'toBeDefined', 'toBeTruthy', 'toEqual-self', 'expect-anything', 'toBe-self',
-]);
-export const MutReportSchema = z.object({
-    version: z.literal('1.0'),
-    sha256: z.string().regex(/^[a-f0-9]{64}$/),
-    generatedAt: z.string().datetime(),
-    inputSig: z.string().regex(/^[a-f0-9]{64}$/),
-    mutation: z.object({
-        tool: z.enum(['stryker', 'mutmut', 'go-mutesting']),
-        mutantsTotal: z.number().int().nonnegative(),
-        mutantsKilled: z.number().int().nonnegative(),
-        mutantsSurvived: z.number().int().nonnegative(),
-        mutantsTimeout: z.number().int().nonnegative(),
-        killRate: z.number().min(0).max(1),
-        byFile: z.array(z.object({
-            file: z.string(),
-            killRate: z.number().min(0).max(1),
-            survived: z.array(z.object({
-                line: z.number().int(),
-                mutation: z.string(),
-                survivedBecause: z.string(),
-            })),
-        })),
-    }),
-    assertions: z.object({
-        totalAssertions: z.number().int().nonnegative(),
-        weakAssertions: z.number().int().nonnegative(),
-        weakRate: z.number().min(0).max(1),
-        weakPatterns: z.array(z.object({
-            pattern: WeakPatternSchema,
-            count: z.number().int().nonnegative(),
-            examples: z.array(z.object({
-                file: z.string(),
-                line: z.number().int(),
-                code: z.string(),
-            })),
-        })),
-    }),
-    thresholds: z.object({
-        mutationKillRateMin: z.number().min(0).max(1),
-        weakAssertionRateMax: z.number().min(0).max(1),
-        passed: z.boolean(),
-    }),
-    followups: z.array(z.object({
-        file: z.string(),
-        issue: z.enum(['low_kill_rate', 'high_weak_assertions']),
-        severity: z.enum(['soft', 'hard']),
-        suggestion: z.string(),
-    })),
-});

package/dist/src/services/openspec/openspec-archive-service.js

@@ -1,28 +0,0 @@
-import { mkdir, rename } from 'node:fs/promises';
-import { dirname, join } from 'node:path';
-import { isDirectory } from '../../shared/fs.js';
-const CHANGE_ID_PATTERN = /^[A-Za-z0-9][A-Za-z0-9._-]*$/;
-function defaultOpenSpecRoot() {
-    return join(process.cwd(), 'openspec');
-}
-export async function archiveOpenSpecChange(changeId, options = {}) {
-    if (!CHANGE_ID_PATTERN.test(changeId)) {
-        throw new Error(`Invalid changeId: ${changeId} (expected letters, digits, dots, underscores, or dashes)`);
-    }
-    const openspecRoot = options.openspecRoot ?? defaultOpenSpecRoot();
-    const archiveDir = options.archiveDirName ?? 'archive';
-    const from = join(openspecRoot, 'changes', changeId);
-    const to = join(openspecRoot, 'changes', archiveDir, changeId);
-    if (!(await isDirectory(from))) {
-        return null;
-    }
-    if (options.apply !== true) {
-        return { changeId, from, to, applied: false };
-    }
-    if (await isDirectory(to)) {
-        throw new Error(`Refusing to archive: target already exists at ${to}`);
-    }
-    await mkdir(dirname(to), { recursive: true });
-    await rename(from, to);
-    return { changeId, from, to, applied: true };
-}

package/dist/src/services/openspec/openspec-bridge-service.js

@@ -1,76 +0,0 @@
-import { readText } from '../../shared/fs.js';
-import { loadOpenSpecChange } from './openspec-scan-service.js';
-function splitTaskSections(markdown) {
-    const sections = [];
-    let current = null;
-    for (const line of markdown.split(/\r?\n/)) {
-        if (line.startsWith('## ')) {
-            if (current !== null) {
-                sections.push(current);
-            }
-            current = { heading: line.slice(3).trim(), body: [] };
-        }
-        else if (current !== null) {
-            current.body.push(line);
-        }
-    }
-    if (current !== null) {
-        sections.push(current);
-    }
-    return sections;
-}
-const TODO_PATTERN = /^- \[ \] (.+?)\s*$/;
-const DONE_PATTERN = /^- \[[xX]\] (.+?)\s*$/;
-function extractItems(body) {
-    const todos = [];
-    const doneItems = [];
-    for (const rawLine of body) {
-        const line = rawLine.trim();
-        const todoMatch = TODO_PATTERN.exec(line);
-        if (todoMatch !== null) {
-            todos.push(todoMatch[1]);
-            continue;
-        }
-        const doneMatch = DONE_PATTERN.exec(line);
-        if (doneMatch !== null) {
-            doneItems.push(doneMatch[1]);
-        }
-    }
-    return { todos, doneItems };
-}
-async function buildCommitBoundaries(tasksPath) {
-    if (tasksPath === null) {
-        return [];
-    }
-    const markdown = await readText(tasksPath);
-    const boundaries = [];
-    for (const section of splitTaskSections(markdown)) {
-        const { todos, doneItems } = extractItems(section.body);
-        if (todos.length === 0 && doneItems.length === 0) {
-            continue;
-        }
-        boundaries.push({ heading: section.heading, todos, doneItems });
-    }
-    return boundaries;
-}
-export async function projectOpenSpecToRdInput(changeId, options = {}) {
-    const detail = await loadOpenSpecChange(changeId, options);
-    if (detail === null) {
-        return null;
-    }
-    const acceptance = detail.proposal?.acceptanceCriteria ?? [];
-    const whatChanges = detail.proposal?.whatChanges ?? [];
-    const dependencies = detail.proposal?.dependencies ?? [];
-    const risks = detail.proposal?.risks ?? [];
-    const outOfScope = detail.proposal?.outOfScope ?? [];
-    const commitBoundaries = await buildCommitBoundaries(detail.paths.tasks);
-    return {
-        changeId,
-        acceptance,
-        whatChanges,
-        dependencies,
-        risks,
-        outOfScope,
-        commitBoundaries
-    };
-}