soloforge 1.2.2 → 1.2.4

package/dist/engine/diff_ownership_store.js

@@ -0,0 +1,264 @@
+/**
+ * Diff Ownership Store — 持久化文件归属快照，绑定 stateDir。
+ * CAP-011 实验性: 只做 advisory 冲突报告，不 hard block。
+ *
+ * 存储: JSON 文件，原子写入，路径绑定 stateDir。
+ * 每个 task_id 下的快照按时间顺序追加。
+ */
+import fs from "node:fs";
+import path from "node:path";
+import { captureBaseline, recordTaskWrite, casCheck, findLatestSnapshot, summarizeOwnership, } from "./diff_ownership.js";
+const DEFAULT_MAX_FILES = 500;
+const DEFAULT_MAX_TOTAL_BYTES = 50 * 1024 * 1024; // 50 MB
+const EXCLUDED_DIRS = new Set([
+    ".git", "node_modules", "dist", "build", "coverage",
+    ".next", ".nuxt", ".cache", ".turbo", "out", "target",
+    "vendor", "__pycache__", ".venv", "venv",
+]);
+const EXCLUDED_EXTENSIONS = new Set([
+    ".map", ".lock", ".woff", ".woff2", ".ttf", ".eot",
+    ".ico", ".png", ".jpg", ".jpeg", ".gif", ".webp", ".svg",
+    ".mp4", ".mp3", ".wav", ".avi", ".mov",
+    ".zip", ".tar", ".gz", ".rar", ".7z",
+    ".wasm", ".exe", ".dll", ".so", ".dylib",
+]);
+const EXCLUDED_FILES = new Set([
+    "package-lock.json", "yarn.lock", "pnpm-lock.yaml",
+    "Gemfile.lock", "composer.lock", "Cargo.lock",
+    "go.sum", "poetry.lock",
+]);
+function isExcluded(filePath) {
+    const basename = path.basename(filePath);
+    if (EXCLUDED_FILES.has(basename))
+        return true;
+    const ext = path.extname(filePath).toLowerCase();
+    if (EXCLUDED_EXTENSIONS.has(ext))
+        return true;
+    // Exclude hidden files (dotfiles)
+    if (basename.startsWith("."))
+        return true;
+    return false;
+}
+export class DiffOwnershipStore {
+    filePath;
+    states = new Map();
+    loaded = false;
+    constructor(stateDir) {
+        this.filePath = path.join(stateDir, "diff-ownership.json");
+        if (!fs.existsSync(stateDir)) {
+            fs.mkdirSync(stateDir, { recursive: true });
+        }
+    }
+    ensureLoaded() {
+        if (this.loaded)
+            return;
+        this.loaded = true;
+        try {
+            const data = fs.readFileSync(this.filePath, "utf-8");
+            const entries = JSON.parse(data);
+            for (const e of entries) {
+                this.states.set(e.task_id, e);
+            }
+        }
+        catch {
+            this.states = new Map();
+        }
+    }
+    persist() {
+        const entries = [...this.states.values()];
+        const tmpPath = `${this.filePath}.tmp`;
+        fs.writeFileSync(tmpPath, JSON.stringify(entries, null, 2));
+        fs.renameSync(tmpPath, this.filePath);
+    }
+    /**
+     * Capture baseline for a task. Call once when task starts executing.
+     */
+    captureBaseline(taskId, filePaths) {
+        this.ensureLoaded();
+        const snapshots = captureBaseline(filePaths, taskId);
+        let state = this.states.get(taskId);
+        if (!state) {
+            state = { task_id: taskId, baseline_captured_at: null, snapshots: [] };
+            this.states.set(taskId, state);
+        }
+        state.baseline_captured_at = snapshots[0]?.captured_at ?? new Date().toISOString();
+        state.snapshots.push(...snapshots);
+        this.persist();
+        return snapshots;
+    }
+    /**
+     * Capture baseline from scope paths, expanding directories into their existing files.
+     * Applies exclusion rules and size limits. Returns advisory summary if exceeded.
+     * Does NOT hard block — caller receives the summary and decides.
+     */
+    captureBaselineFromScope(taskId, scopePaths, options) {
+        const maxFiles = options?.maxFiles ?? DEFAULT_MAX_FILES;
+        const maxTotalBytes = options?.maxTotalBytes ?? DEFAULT_MAX_TOTAL_BYTES;
+        const allFiles = [];
+        const excluded = [];
+        for (const p of scopePaths) {
+            const resolved = path.resolve(p);
+            let stat = null;
+            try {
+                stat = fs.statSync(resolved);
+            }
+            catch { /* doesn't exist yet */ }
+            if (stat?.isDirectory()) {
+                const files = listFilesRecursive(resolved);
+                allFiles.push(...files);
+            }
+            else {
+                allFiles.push(resolved);
+            }
+        }
+        // Apply exclusion rules
+        const eligible = [];
+        for (const f of allFiles) {
+            if (isExcluded(f)) {
+                excluded.push(f);
+            }
+            else {
+                eligible.push(f);
+            }
+        }
+        // Check size limits
+        let totalBytes = 0;
+        const withinLimit = [];
+        let exceededLimit = false;
+        for (const f of eligible) {
+            let fileSize = 0;
+            try {
+                fileSize = fs.statSync(f).size;
+            }
+            catch { /* non-existent */ }
+            if (withinLimit.length >= maxFiles || totalBytes + fileSize > maxTotalBytes) {
+                exceededLimit = true;
+                break;
+            }
+            totalBytes += fileSize;
+            withinLimit.push(f);
+        }
+        // Keep non-existent paths from original scopePaths (they are new file placeholders)
+        for (const p of scopePaths) {
+            const resolved = path.resolve(p);
+            try {
+                fs.statSync(resolved);
+            }
+            catch {
+                if (!withinLimit.includes(resolved)) {
+                    withinLimit.push(resolved);
+                }
+            }
+        }
+        let snapshots = [];
+        if (withinLimit.length > 0) {
+            snapshots = this.captureBaseline(taskId, withinLimit);
+        }
+        const advisorySummary = exceededLimit
+            ? `baseline scope exceeded limits: ${eligible.length} eligible files found, captured ${withinLimit.length} (${maxFiles} files / ${Math.round(maxTotalBytes / 1024 / 1024)}MB limit). ${excluded.length} files excluded by rules.`
+            : excluded.length > 0
+                ? `baseline captured ${withinLimit.length} files, ${excluded.length} excluded by rules`
+                : null;
+        return {
+            snapshots,
+            advisory_summary: advisorySummary,
+            total_files_found: allFiles.length,
+            files_excluded: excluded.length,
+            files_captured: snapshots.length,
+            exceeded_limit: exceededLimit,
+        };
+    }
+    /**
+     * Record a task-owned write for a file.
+     */
+    recordWrite(taskId, filePath) {
+        this.ensureLoaded();
+        let state = this.states.get(taskId);
+        if (!state) {
+            state = { task_id: taskId, baseline_captured_at: null, snapshots: [] };
+            this.states.set(taskId, state);
+        }
+        const snap = recordTaskWrite(filePath, taskId);
+        state.snapshots.push(snap);
+        this.persist();
+        return snap;
+    }
+    /**
+     * Run CAS check before writing. Returns advisory conflict report if check fails.
+     * Does NOT block the write — caller decides what to do.
+     */
+    preWriteCheck(taskId, filePath) {
+        this.ensureLoaded();
+        const state = this.states.get(taskId);
+        const snapshots = state?.snapshots ?? [];
+        const latest = findLatestSnapshot(filePath, snapshots);
+        const expectedHash = latest?.content_hash ?? null;
+        const cas = casCheck(filePath, expectedHash, taskId, snapshots);
+        if (cas.cas_ok) {
+            return { cas, conflict: null };
+        }
+        return {
+            cas,
+            conflict: {
+                file_path: cas.file_path,
+                expected_hash: cas.expected_hash,
+                current_hash: cas.current_hash,
+                inferred_ownership: cas.inferred_ownership,
+                severity: "advisory",
+                message: `advisory: ${cas.conflict_reason}`,
+            },
+        };
+    }
+    /**
+     * Get all snapshots for a task.
+     */
+    getSnapshots(taskId) {
+        this.ensureLoaded();
+        const state = this.states.get(taskId);
+        return state ? [...state.snapshots] : [];
+    }
+    /**
+     * Get ownership summary for a task.
+     */
+    getOwnershipSummary(taskId) {
+        return summarizeOwnership(this.getSnapshots(taskId));
+    }
+    /**
+     * Clean up state for a completed/failed task.
+     */
+    clearTask(taskId) {
+        this.ensureLoaded();
+        this.states.delete(taskId);
+        this.persist();
+    }
+    clear() {
+        this.states.clear();
+        this.loaded = true;
+        this.persist();
+    }
+}
+function listFilesRecursive(dir) {
+    const result = [];
+    function walk(d) {
+        let entries;
+        try {
+            entries = fs.readdirSync(d, { withFileTypes: true });
+        }
+        catch {
+            return;
+        }
+        for (const e of entries) {
+            if (e.isDirectory()) {
+                if (!EXCLUDED_DIRS.has(e.name) && !e.name.startsWith(".")) {
+                    walk(path.join(d, e.name));
+                }
+            }
+            else if (e.isFile()) {
+                result.push(path.join(d, e.name));
+            }
+        }
+    }
+    walk(dir);
+    return result;
+}
+//# sourceMappingURL=diff_ownership_store.js.map

package/dist/engine/diff_ownership_store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff_ownership_store.js","sourceRoot":"","sources":["../../src/engine/diff_ownership_store.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACL,eAAe,EACf,eAAe,EACf,QAAQ,EACR,kBAAkB,EAClB,kBAAkB,GAInB,MAAM,qBAAqB,CAAC;AA0B7B,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAC9B,MAAM,uBAAuB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,QAAQ;AAE1D,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU;IACnD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ;IACrD,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM;CACzC,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IAClC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM;IAClD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;IACxD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;IACtC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK;IACpC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ;CACzC,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,mBAAmB,EAAE,WAAW,EAAE,gBAAgB;IAClD,cAAc,EAAE,eAAe,EAAE,YAAY;IAC7C,QAAQ,EAAE,aAAa;CACxB,CAAC,CAAC;AAEH,SAAS,UAAU,CAAC,QAAgB;IAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;IACjD,IAAI,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,kCAAkC;IAClC,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,OAAO,kBAAkB;IACrB,QAAQ,CAAS;IACjB,MAAM,GAAmC,IAAI,GAAG,EAAE,CAAC;IACnD,MAAM,GAAG,KAAK,CAAC;IAEvB,YAAY,QAAgB;QAC1B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC;QAC3D,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAEO,YAAY;QAClB,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACrD,MAAM,OAAO,GAAwB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACtD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC;IAEO,OAAO;QACb,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,QAAQ,MAAM,CAAC;QACvC,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,MAAc,EAAE,SAAmB;QACjD,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,MAAM,SAAS,GAAG,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACrD,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;YACvE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,CAAC,oBAAoB,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACnF,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;QACnC,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;OAIG;IACH,wBAAwB,CACtB,MAAc,EACd,UAAoB,EACpB,OAAuD;QAEvD,MAAM,QAAQ,GAAG,OAAO,EAAE,QAAQ,IAAI,iBAAiB,CAAC;QACxD,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,IAAI,uBAAuB,CAAC;QAExE,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,IAAI,GAAoB,IAAI,CAAC;YACjC,IAAI,CAAC;gBAAC,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,uBAAuB,CAAC,CAAC;YAEvE,IAAI,IAAI,EAAE,WAAW,EAAE,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;gBAC3C,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QAED,oBAAoB;QACpB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,IAAI,aAAa,GAAG,KAAK,CAAC;QAE1B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,QAAQ,GAAG,CAAC,CAAC;YACjB,IAAI,CAAC;gBAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC;YAEpE,IAAI,WAAW,CAAC,MAAM,IAAI,QAAQ,IAAI,UAAU,GAAG,QAAQ,GAAG,aAAa,EAAE,CAAC;gBAC5E,aAAa,GAAG,IAAI,CAAC;gBACrB,MAAM;YACR,CAAC;YACD,UAAU,IAAI,QAAQ,CAAC;YACvB,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC;QAED,oFAAoF;QACpF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC;gBAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC;gBACpC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACpC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,SAAS,GAAmB,EAAE,CAAC;QACnC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACxD,CAAC;QAED,MAAM,eAAe,GAAG,aAAa;YACnC,CAAC,CAAC,mCAAmC,QAAQ,CAAC,MAAM,mCAAmC,WAAW,CAAC,MAAM,KAAK,QAAQ,YAAY,IAAI,CAAC,KAAK,CAAC,aAAa,GAAG,IAAI,GAAG,IAAI,CAAC,cAAc,QAAQ,CAAC,MAAM,2BAA2B;YACjO,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACnB,CAAC,CAAC,qBAAqB,WAAW,CAAC,MAAM,WAAW,QAAQ,CAAC,MAAM,oBAAoB;gBACvF,CAAC,CAAC,IAAI,CAAC;QAEX,OAAO;YACL,SAAS;YACT,gBAAgB,EAAE,eAAe;YACjC,iBAAiB,EAAE,QAAQ,CAAC,MAAM;YAClC,cAAc,EAAE,QAAQ,CAAC,MAAM;YAC/B,cAAc,EAAE,SAAS,CAAC,MAAM;YAChC,cAAc,EAAE,aAAa;SAC9B,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,MAAc,EAAE,QAAgB;QAC1C,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;YACvE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC/C,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;OAGG;IACH,aAAa,CACX,MAAc,EACd,QAAgB;QAEhB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACvD,MAAM,YAAY,GAAG,MAAM,EAAE,YAAY,IAAI,IAAI,CAAC;QAElD,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QAEhE,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACf,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACjC,CAAC;QAED,OAAO;YACL,GAAG;YACH,QAAQ,EAAE;gBACR,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,aAAa,EAAE,GAAG,CAAC,aAAa;gBAChC,YAAY,EAAE,GAAG,CAAC,YAAY;gBAC9B,kBAAkB,EAAE,GAAG,CAAC,kBAAkB;gBAC1C,QAAQ,EAAE,UAAU;gBACpB,OAAO,EAAE,aAAa,GAAG,CAAC,eAAe,EAAE;aAC5C;SACF,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,MAAc;QACzB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3C,CAAC;IAED;;OAEG;IACH,mBAAmB,CAAC,MAAc;QAChC,OAAO,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,MAAc;QACtB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;IACjB,CAAC;IAED,KAAK;QACH,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACpB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,OAAO,EAAE,CAAC;IACjB,CAAC;CACF;AAED,SAAS,kBAAkB,CAAC,GAAW;IACrC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,SAAS,IAAI,CAAC,CAAS;QACrB,IAAI,OAAoB,CAAC;QACzB,IAAI,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO;QAAC,CAAC;QAC/E,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;gBACpB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;gBACtB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/engine/escape_report.d.ts

@@ -0,0 +1,45 @@
+/**
+ * 逃逸报告 — 结构化记录抽检失败、误伤、工具故障。
+ * P2-3 范围: 只落盘记录，不自动降级，不改 capability 状态。
+ * 存储: JSON 数组文件，原子写入，路径绑定 stateDir。
+ */
+export type EscapeType = "rule_gap" | "weak_test" | "bad_evidence" | "ai_escape" | "human_miss" | "tool_bug" | "false_positive";
+export type CapabilityAction = "keep" | "downgrade" | "disable" | "promote_blocked";
+export interface EscapeReport {
+    escape_id: string;
+    task_id: string;
+    policy_id: string;
+    failure_type: EscapeType;
+    expected_guard: string;
+    actual_escape: string;
+    evidence: string;
+    root_cause: string;
+    fix_required: string;
+    owner: string;
+    due_date: string;
+    capability_action: CapabilityAction;
+    created_at: string;
+}
+export interface EscapeReportStats {
+    total: number;
+    by_type: Record<EscapeType, number>;
+    by_action: Record<CapabilityAction, number>;
+}
+export declare class EscapeReportStore {
+    private filePath;
+    private reports;
+    private loaded;
+    constructor(stateDir: string);
+    private ensureLoaded;
+    private persist;
+    append(report: EscapeReport): void;
+    list(filter?: {
+        failure_type?: EscapeType;
+        policy_id?: string;
+        task_id?: string;
+    }): EscapeReport[];
+    stats(): EscapeReportStats;
+    clear(): void;
+    getFilePath(): string;
+}
+//# sourceMappingURL=escape_report.d.ts.map

package/dist/engine/escape_report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"escape_report.d.ts","sourceRoot":"","sources":["../../src/engine/escape_report.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,MAAM,MAAM,UAAU,GAClB,UAAU,GACV,WAAW,GACX,cAAc,GACd,WAAW,GACX,YAAY,GACZ,UAAU,GACV,gBAAgB,CAAC;AAErB,MAAM,MAAM,gBAAgB,GACxB,MAAM,GACN,WAAW,GACX,SAAS,GACT,iBAAiB,CAAC;AAEtB,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,UAAU,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,iBAAiB,EAAE,gBAAgB,CAAC;IACpC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACpC,SAAS,EAAE,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;CAC7C;AA+BD,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,OAAO,CAAsB;IACrC,OAAO,CAAC,MAAM,CAAS;gBAEX,QAAQ,EAAE,MAAM;IAO5B,OAAO,CAAC,YAAY;IAWpB,OAAO,CAAC,OAAO;IAMf,MAAM,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI;IAMlC,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,UAAU,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,YAAY,EAAE;IAelG,KAAK,IAAI,iBAAiB;IAW1B,KAAK,IAAI,IAAI;IAMb,WAAW,IAAI,MAAM;CAGtB"}

package/dist/engine/escape_report.js

@@ -0,0 +1,97 @@
+/**
+ * 逃逸报告 — 结构化记录抽检失败、误伤、工具故障。
+ * P2-3 范围: 只落盘记录，不自动降级，不改 capability 状态。
+ * 存储: JSON 数组文件，原子写入，路径绑定 stateDir。
+ */
+import fs from "node:fs";
+import path from "node:path";
+const ALL_ESCAPE_TYPES = [
+    "rule_gap",
+    "weak_test",
+    "bad_evidence",
+    "ai_escape",
+    "human_miss",
+    "tool_bug",
+    "false_positive",
+];
+const ALL_CAPABILITY_ACTIONS = [
+    "keep",
+    "downgrade",
+    "disable",
+    "promote_blocked",
+];
+function emptyByType() {
+    return Object.fromEntries(ALL_ESCAPE_TYPES.map((t) => [t, 0]));
+}
+function emptyByAction() {
+    return Object.fromEntries(ALL_CAPABILITY_ACTIONS.map((a) => [a, 0]));
+}
+function deepCopy(report) {
+    return { ...report };
+}
+export class EscapeReportStore {
+    filePath;
+    reports = [];
+    loaded = false;
+    constructor(stateDir) {
+        this.filePath = path.join(stateDir, "escape-reports.json");
+        if (!fs.existsSync(stateDir)) {
+            fs.mkdirSync(stateDir, { recursive: true });
+        }
+    }
+    ensureLoaded() {
+        if (this.loaded)
+            return;
+        this.loaded = true;
+        try {
+            const data = fs.readFileSync(this.filePath, "utf-8");
+            this.reports = JSON.parse(data);
+        }
+        catch {
+            this.reports = [];
+        }
+    }
+    persist() {
+        const tmpPath = `${this.filePath}.tmp`;
+        fs.writeFileSync(tmpPath, JSON.stringify(this.reports, null, 2));
+        fs.renameSync(tmpPath, this.filePath);
+    }
+    append(report) {
+        this.ensureLoaded();
+        this.reports.push(deepCopy(report));
+        this.persist();
+    }
+    list(filter) {
+        this.ensureLoaded();
+        let result = this.reports;
+        if (filter?.failure_type) {
+            result = result.filter((r) => r.failure_type === filter.failure_type);
+        }
+        if (filter?.policy_id) {
+            result = result.filter((r) => r.policy_id === filter.policy_id);
+        }
+        if (filter?.task_id) {
+            result = result.filter((r) => r.task_id === filter.task_id);
+        }
+        return result.map(deepCopy);
+    }
+    stats() {
+        this.ensureLoaded();
+        const by_type = emptyByType();
+        const by_action = emptyByAction();
+        for (const r of this.reports) {
+            by_type[r.failure_type]++;
+            by_action[r.capability_action]++;
+        }
+        return { total: this.reports.length, by_type, by_action };
+    }
+    clear() {
+        this.reports = [];
+        this.loaded = true;
+        this.persist();
+    }
+    getFilePath() {
+        return this.filePath;
+    }
+}
+//# sourceMappingURL=escape_report.js.map

package/dist/engine/escape_report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"escape_report.js","sourceRoot":"","sources":["../../src/engine/escape_report.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAuC7B,MAAM,gBAAgB,GAAiB;IACrC,UAAU;IACV,WAAW;IACX,cAAc;IACd,WAAW;IACX,YAAY;IACZ,UAAU;IACV,gBAAgB;CACjB,CAAC;AAEF,MAAM,sBAAsB,GAAuB;IACjD,MAAM;IACN,WAAW;IACX,SAAS;IACT,iBAAiB;CAClB,CAAC;AAEF,SAAS,WAAW;IAClB,OAAO,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAA+B,CAAC;AAC/F,CAAC;AAED,SAAS,aAAa;IACpB,OAAO,MAAM,CAAC,WAAW,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAqC,CAAC;AAC3G,CAAC;AAED,SAAS,QAAQ,CAAC,MAAoB;IACpC,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC;AACvB,CAAC;AAED,MAAM,OAAO,iBAAiB;IACpB,QAAQ,CAAS;IACjB,OAAO,GAAmB,EAAE,CAAC;IAC7B,MAAM,GAAG,KAAK,CAAC;IAEvB,YAAY,QAAgB;QAC1B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC;QAC3D,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAEO,YAAY;QAClB,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAmB,CAAC;QACpD,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QACpB,CAAC;IACH,CAAC;IAEO,OAAO;QACb,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,QAAQ,MAAM,CAAC;QACvC,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED,MAAM,CAAC,MAAoB;QACzB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,EAAE,CAAC;IACjB,CAAC;IAED,IAAI,CAAC,MAA4E;QAC/E,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC;QAC1B,IAAI,MAAM,EAAE,YAAY,EAAE,CAAC;YACzB,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,CAAC,YAAY,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,MAAM,EAAE,SAAS,EAAE,CAAC;YACtB,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,MAAM,EAAE,OAAO,EAAE,CAAC;YACpB,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9B,CAAC;IAED,KAAK;QACH,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,aAAa,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7B,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC;YAC1B,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACnC,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IAC5D,CAAC;IAED,KAAK;QACH,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,OAAO,EAAE,CAAC;IACjB,CAAC;IAED,WAAW;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;CACF"}

package/dist/engine/exploration.d.ts

@@ -79,6 +79,40 @@ export interface ExplorationResult {
     boundary_summary: string;
     /** 时效性信息 */
     timeliness?: TimelinessInfo;
+    /** 契约字段: 当前项目约束和已有栈 */
+    local_constraints: string;
+    /** 契约字段: 分层证据列表 */
+    evidence_sources: EvidenceSource[];
+    /** 契约字段: 被拒绝方案及原因 */
+    rejected_options: RejectedOption[];
+    /** 契约字段: 知识过时/新方案不稳定风险 */
+    freshness_risk: string;
+    /** 契约字段: 维护/安全/许可证/迁移退出成本 */
+    adoption_risk: string;
+    /** 契约字段: spike/测试/兼容性验证/回滚路径 */
+    validation_plan: string;
+    /** 契约字段: 结论何时需重新验证 */
+    decision_expiry: string;
+    /** 默认推荐方案，可直接执行 */
+    recommended_option: string;
+    /** 为什么选它，结合代码库和约束 */
+    why_this: string;
+    /** 被放弃的方案及放弃原因 */
+    rejected_decision_options: string[];
+    /** 对备选方案公平强化 */
+    steelman_alternatives: string;
+    /** 主动攻击推荐方案，列出失败条件 */
+    attack_recommended_option: string;
+    /** 如何证明推荐方案不成立 */
+    falsification_tests: string;
+    /** 执行步骤 */
+    execution_plan: string;
+    /** 验证命令和成功标准 */
+    verification_plan: string;
+    /** 失败后如何撤回 */
+    rollback_plan: string;
+    /** 是否需要人工确认 */
+    human_confirmation_required: boolean;
 }
 /** 时效性信息 */
 export interface TimelinessInfo {
@@ -91,6 +125,26 @@ export interface TimelinessInfo {
     /** 提示信息 */
     message: string;
 }
+/** 证据来源条目 */
+export interface EvidenceSource {
+    /** 来源名称 */
+    name: string;
+    /** 证据分层: local_code / official_docs / standards / maintainer_sources / community_practice / trend_signal */
+    tier: "local_code" | "official_docs" | "standards" | "maintainer_sources" | "community_practice" | "trend_signal";
+    /** 可信度: high / medium / low */
+    credibility: "high" | "medium" | "low";
+    /** 来源描述 */
+    description: string;
+}
+/** 被拒绝方案 */
+export interface RejectedOption {
+    /** 方案名称 */
+    name: string;
+    /** 拒绝原因 */
+    reason: string;
+    /** steelman: 公平强化该方案的优点 */
+    steelman: string;
+}
 /** 对比矩阵 */
 export interface ComparisonMatrix {
     /** 维度列表 */

package/dist/engine/exploration.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"exploration.d.ts","sourceRoot":"","sources":["../../src/engine/exploration.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACjE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAE3E;;;;;;;;;;GAUG;AAIH,aAAa;AACb,MAAM,WAAW,YAAY;IAC3B,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IACb,wDAAwD;IACxD,MAAM,EAAE,UAAU,GAAG,WAAW,GAAG,WAAW,CAAC;IAC/C,YAAY;IACZ,WAAW,EAAE,MAAM,CAAC;IACpB,uBAAuB;IACvB,OAAO,EAAE,eAAe,CAAC;IACzB,WAAW;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY;IACZ,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,WAAW;AACX,MAAM,WAAW,eAAe;IAC9B,0BAA0B;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,2BAA2B;IAC3B,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,WAAW;AACX,MAAM,WAAW,mBAAmB;IAClC,WAAW;IACX,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa;IACb,uBAAuB,EAAE,MAAM,EAAE,CAAC;IAClC,aAAa;IACb,oBAAoB,EAAE,MAAM,CAAC;IAC7B,YAAY;IACZ,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,eAAe;AACf,MAAM,WAAW,cAAc;IAC7B,kBAAkB;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW;IACX,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS;IACT,MAAM,EAAE,MAAM,CAAC;IACf,WAAW;IACX,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,WAAW;AACX,MAAM,WAAW,iBAAiB;IAChC,WAAW;IACX,MAAM,EAAE,MAAM,CAAC;IACf,oBAAoB;IACpB,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,aAAa;IACb,iBAAiB,EAAE,gBAAgB,CAAC;IACpC,YAAY;IACZ,wBAAwB,EAAE,uBAAuB,CAAC;IAClD,WAAW;IACX,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C,eAAe;IACf,gBAAgB,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;IACnD,eAAe;IACf,gBAAgB,EAAE,MAAM,CAAC;IACzB,YAAY;IACZ,UAAU,CAAC,EAAE,cAAc,CAAC;CAC7B;AAED,YAAY;AACZ,MAAM,WAAW,cAAc;IAC7B,iBAAiB;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW;IACX,iBAAiB,EAAE,MAAM,CAAC;IAC1B,uBAAuB;IACvB,aAAa,EAAE,OAAO,CAAC;IACvB,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,WAAW;AACX,MAAM,WAAW,gBAAgB;IAC/B,WAAW;IACX,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,iBAAiB;IACjB,IAAI,EAAE,KAAK,CAAC;QACV,aAAa,EAAE,MAAM,CAAC;QACtB,MAAM,EAAE,MAAM,EAAE,CAAC;QACjB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC,CAAC;CACJ;AAED,YAAY;AACZ,MAAM,WAAW,uBAAuB;IACtC,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW;IACX,MAAM,EAAE,MAAM,CAAC;IACf,oBAAoB;IACpB,yBAAyB,EAAE,MAAM,CAAC;IAClC,sBAAsB;IACtB,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAqOD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE;IACvC,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,aAAa,CAAC;IAC7B,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,cAAc,CAAC,EAAE,qBAAqB,CAAC;CACxC,GAAG,iBAAiB,CAuCpB"}
+{"version":3,"file":"exploration.d.ts","sourceRoot":"","sources":["../../src/engine/exploration.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACjE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAE3E;;;;;;;;;;GAUG;AAIH,aAAa;AACb,MAAM,WAAW,YAAY;IAC3B,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IACb,wDAAwD;IACxD,MAAM,EAAE,UAAU,GAAG,WAAW,GAAG,WAAW,CAAC;IAC/C,YAAY;IACZ,WAAW,EAAE,MAAM,CAAC;IACpB,uBAAuB;IACvB,OAAO,EAAE,eAAe,CAAC;IACzB,WAAW;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY;IACZ,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,WAAW;AACX,MAAM,WAAW,eAAe;IAC9B,0BAA0B;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,2BAA2B;IAC3B,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,WAAW;AACX,MAAM,WAAW,mBAAmB;IAClC,WAAW;IACX,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa;IACb,uBAAuB,EAAE,MAAM,EAAE,CAAC;IAClC,aAAa;IACb,oBAAoB,EAAE,MAAM,CAAC;IAC7B,YAAY;IACZ,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,eAAe;AACf,MAAM,WAAW,cAAc;IAC7B,kBAAkB;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW;IACX,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS;IACT,MAAM,EAAE,MAAM,CAAC;IACf,WAAW;IACX,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,WAAW;AACX,MAAM,WAAW,iBAAiB;IAChC,WAAW;IACX,MAAM,EAAE,MAAM,CAAC;IACf,oBAAoB;IACpB,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,aAAa;IACb,iBAAiB,EAAE,gBAAgB,CAAC;IACpC,YAAY;IACZ,wBAAwB,EAAE,uBAAuB,CAAC;IAClD,WAAW;IACX,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C,eAAe;IACf,gBAAgB,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;IACnD,eAAe;IACf,gBAAgB,EAAE,MAAM,CAAC;IACzB,YAAY;IACZ,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B,uBAAuB;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mBAAmB;IACnB,gBAAgB,EAAE,cAAc,EAAE,CAAC;IACnC,qBAAqB;IACrB,gBAAgB,EAAE,cAAc,EAAE,CAAC;IACnC,0BAA0B;IAC1B,cAAc,EAAE,MAAM,CAAC;IACvB,6BAA6B;IAC7B,aAAa,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,eAAe,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,eAAe,EAAE,MAAM,CAAC;IAExB,mBAAmB;IACnB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,qBAAqB;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,kBAAkB;IAClB,yBAAyB,EAAE,MAAM,EAAE,CAAC;IACpC,gBAAgB;IAChB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,sBAAsB;IACtB,yBAAyB,EAAE,MAAM,CAAC;IAClC,kBAAkB;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB;IAChB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe;IACf,2BAA2B,EAAE,OAAO,CAAC;CACtC;AAED,YAAY;AACZ,MAAM,WAAW,cAAc;IAC7B,iBAAiB;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW;IACX,iBAAiB,EAAE,MAAM,CAAC;IAC1B,uBAAuB;IACvB,aAAa,EAAE,OAAO,CAAC;IACvB,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,aAAa;AACb,MAAM,WAAW,cAAc;IAC7B,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IACb,4GAA4G;IAC5G,IAAI,EAAE,YAAY,GAAG,eAAe,GAAG,WAAW,GAAG,oBAAoB,GAAG,oBAAoB,GAAG,cAAc,CAAC;IAClH,+BAA+B;IAC/B,WAAW,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IACvC,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,YAAY;AACZ,MAAM,WAAW,cAAc;IAC7B,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW;IACX,MAAM,EAAE,MAAM,CAAC;IACf,2BAA2B;IAC3B,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,WAAW;AACX,MAAM,WAAW,gBAAgB;IAC/B,WAAW;IACX,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,iBAAiB;IACjB,IAAI,EAAE,KAAK,CAAC;QACV,aAAa,EAAE,MAAM,CAAC;QACtB,MAAM,EAAE,MAAM,EAAE,CAAC;QACjB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC,CAAC;CACJ;AAED,YAAY;AACZ,MAAM,WAAW,uBAAuB;IACtC,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW;IACX,MAAM,EAAE,MAAM,CAAC;IACf,oBAAoB;IACpB,yBAAyB,EAAE,MAAM,CAAC;IAClC,sBAAsB;IACtB,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAqOD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE;IACvC,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,aAAa,CAAC;IAC7B,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,cAAc,CAAC,EAAE,qBAAqB,CAAC;CACxC,GAAG,iBAAiB,CAkFpB"}

package/dist/engine/exploration.js

@@ -236,6 +236,23 @@ export function exploreSolutions(params) {
     const timeliness = computeTimeliness(benchmarks);
     // 环境感知提示
     const envHints = computeEnvironmentHints(projectConfig, benchmarks);
+    // 契约字段: local_constraints
+    const localConstraints = buildLocalConstraints(projectConfig);
+    // 契约字段: evidence_sources
+    const evidenceSources = buildEvidenceSources(benchmarks, knowledgeIndex);
+    // 契约字段: rejected_options
+    const rejectedOptions = buildRejectedOptions(benchmarks, recommendation);
+    // 契约字段: freshness_risk
+    const freshnessRisk = buildFreshnessRisk(timeliness, benchmarks);
+    // 契约字段: adoption_risk
+    const adoptionRisk = buildAdoptionRisk(recommendation, benchmarks);
+    // 契约字段: validation_plan
+    const validationPlan = buildValidationPlan(recommendation, benchmarks);
+    // 契约字段: decision_expiry
+    const decisionExpiry = buildDecisionExpiry(timeliness);
+    // 默认决策输出契约
+    const recommendedSolution = benchmarks.find((b) => b.name === recommendation.recommended) ?? benchmarks[0];
+    const recommendedFalsification = falsifications.find((f) => f.solution_name === recommendation.recommended);
     return {
         domain: benchmarks[0]?.name || domain_query,
         benchmarks,
@@ -245,6 +262,24 @@ export function exploreSolutions(params) {
         decision_options: decisionOptions,
         boundary_summary: boundarySummary + (envHints ? "\n" + envHints : ""),
         timeliness,
+        local_constraints: localConstraints,
+        evidence_sources: evidenceSources,
+        rejected_options: rejectedOptions,
+        freshness_risk: freshnessRisk,
+        adoption_risk: adoptionRisk,
+        validation_plan: validationPlan,
+        decision_expiry: decisionExpiry,
+        // 默认决策契约 10 字段
+        recommended_option: recommendation.recommended,
+        why_this: recommendation.reason + "；规避了: " + recommendation.fatal_weakness_mitigation,
+        rejected_decision_options: rejectedOptions.map((r) => `${r.name}: ${r.reason}`),
+        steelman_alternatives: rejectedOptions.map((r) => r.steelman).join("；"),
+        attack_recommended_option: recommendedFalsification?.self_destruct_scenarios.join("；") ?? "无已知自毁场景",
+        falsification_tests: recommendedFalsification?.ceiling_description ?? "未设置天花板测试",
+        execution_plan: decisionOptions[0].reason + "；" + decisionOptions[0].suitable_for,
+        verification_plan: validationPlan,
+        rollback_plan: `移除「${recommendedSolution.name}」相关代码和配置即可恢复原状`,
+        human_confirmation_required: recommendedSolution.source === "heuristic",
     };
 }
 // ── 行业基准检索 ──
@@ -469,4 +504,107 @@ function computeEnvironmentHints(config, benchmarks) {
     }
     return null;
 }
+// ── 契约字段构建 ──
+function buildLocalConstraints(config) {
+    const b = config.tech_stack.backend;
+    const f = config.tech_stack.frontend;
+    const parts = [];
+    if (b.framework && b.framework !== "unknown") {
+        parts.push(`后端: ${b.lang}/${b.framework} ${b.version}`);
+    }
+    if (f.framework && f.framework !== "unknown") {
+        parts.push(`前端: ${f.lang}/${f.framework} ${f.version}`);
+    }
+    if (config.scope?.backend?.length) {
+        parts.push(`后端 scope: ${config.scope.backend.join(", ")}`);
+    }
+    if (config.scope?.frontend?.length) {
+        parts.push(`前端 scope: ${config.scope.frontend.join(", ")}`);
+    }
+    return parts.length > 0 ? parts.join("；") : "未检测到技术栈约束";
+}
+function buildEvidenceSources(benchmarks, _knowledgeIndex) {
+    const sources = [];
+    sources.push({
+        name: "项目配置",
+        tier: "local_code",
+        credibility: "high",
+        description: "当前项目的技术栈、scope 和构建命令配置",
+    });
+    for (const b of benchmarks) {
+        if (b.source === "industry") {
+            sources.push({
+                name: b.name,
+                tier: "community_practice",
+                credibility: "medium",
+                description: `行业基准方案: ${b.description}`,
+            });
+        }
+    }
+    if (_knowledgeIndex) {
+        sources.push({
+            name: "项目知识库",
+            tier: "local_code",
+            credibility: "high",
+            description: "项目积累的知识模板和决策规则",
+        });
+    }
+    return sources;
+}
+function buildRejectedOptions(benchmarks, recommendation) {
+    const rejected = benchmarks.filter((b) => b.name !== recommendation.recommended);
+    return rejected.map((b) => ({
+        name: b.name,
+        reason: `致命缺点: ${b.fatal_weakness}`,
+        steelman: `适用场景: ${b.best_for}（评分: ${RATING_KEYS.reduce((s, k) => s + b.ratings[k], 0)}/20）`,
+    }));
+}
+function buildFreshnessRisk(timeliness, benchmarks) {
+    const parts = [];
+    if (timeliness.stale_warning) {
+        parts.push(`基准数据已 ${timeliness.days_since_review} 天未更新，行业方案可能已有新版本`);
+    }
+    const industryCount = benchmarks.filter((b) => b.source === "industry").length;
+    if (industryCount === 0) {
+        parts.push("未匹配到行业标准方案，使用启发式兜底");
+    }
+    if (timeliness.days_since_review > 90 && !timeliness.stale_warning) {
+        parts.push(`基准数据 ${timeliness.days_since_review} 天未更新，建议关注新版本发布`);
+    }
+    return parts.length > 0 ? parts.join("；") : "基准数据较新，知识过时风险低";
+}
+function buildAdoptionRisk(recommendation, benchmarks) {
+    const recommended = benchmarks.find((b) => b.name === recommendation.recommended);
+    if (!recommended)
+        return "无法评估采用风险";
+    const parts = [];
+    parts.push(`推荐方案「${recommended.name}」最差场景: ${recommended.worst_for}`);
+    if (recommended.fatal_weakness) {
+        parts.push(`致命弱点: ${recommended.fatal_weakness}`);
+    }
+    if (recommendation.prerequisites.length > 0) {
+        parts.push(`前提条件: ${recommendation.prerequisites.join("；")}`);
+    }
+    return parts.join("；");
+}
+function buildValidationPlan(recommendation, benchmarks) {
+    const recommended = benchmarks.find((b) => b.name === recommendation.recommended);
+    const parts = [];
+    parts.push("1. 确认项目环境满足推荐方案的前提条件");
+    if (recommended) {
+        parts.push(`2. 在非关键路径上做最小 spike 验证「${recommended.name}」`);
+        parts.push(`3. 验证推荐方案不触发致命弱点: ${recommended?.fatal_weakness ?? "无"}`);
+    }
+    parts.push("4. 执行构建和测试验证");
+    parts.push("5. 回滚路径: 移除新增代码和配置即可恢复原状");
+    return parts.join("\n");
+}
+function buildDecisionExpiry(timeliness) {
+    const days = timeliness.days_since_review;
+    if (days > 180)
+        return "基准数据已过期，决策结论需立即重新验证";
+    if (days > 90)
+        return `建议 ${180 - days} 天内重新验证（基准数据 ${days} 天前审核）`;
+    return `决策结论有效期至 ${new Date(Date.now() + (180 - days) * 86400000).toISOString().slice(0, 10)}`;
+}
 //# sourceMappingURL=exploration.js.map