soloforge 1.1.40 → 1.1.43

package/dist/engine/contracts/error_path_verifier.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"error_path_verifier.js","sourceRoot":"","sources":["../../../src/engine/contracts/error_path_verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAkBH,eAAe;AAEf;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CAAC,OAAe,EAAE,QAAgB;IACxE,qBAAqB;IACrB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5D,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAElC,gCAAgC;IAChC,IAAI,aAAa,GAAG,CAAC,CAAC;IAEtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAE5B,YAAY;QACZ,IAAI,CAAC,OAAO,IAAI,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,SAAS;QAEvE,sBAAsB;QACtB,IAAI,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,SAAS;QAE7C,kBAAkB;QAClB,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,aAAa,EAAE,CAAC;QAChD,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,GAAG,CAAC,CAAC,CAAC;QAEjF,4BAA4B;QAC5B,MAAM,UAAU,GAAG,4DAA4D,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9F,IAAI,UAAU,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;YACtC,oCAAoC;YACpC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClE,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC;oBACZ,aAAa,EAAE,MAAM;oBACrB,WAAW,EAAE,CAAC,GAAG,CAAC;oBAClB,KAAK,EAAE,iBAAiB;oBACxB,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,4BAA4B,CAAC,GAAG,CAAC,iBAAiB;iBAC5D,CAAC,CAAC;YACL,CAAC;YACD,SAAS,CAAC,UAAU;QACtB,CAAC;QAED,iCAAiC;QACjC,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,SAAS,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/E,4BAA4B;YAC5B,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBAClC,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC;oBACZ,aAAa,EAAE,MAAM;oBACrB,WAAW,EAAE,CAAC,GAAG,CAAC;oBAClB,KAAK,EAAE,mBAAmB;oBAC1B,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,0BAA0B,CAAC,GAAG,CAAC,sBAAsB;iBAC/D,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,8BAA8B;QAC9B,MAAM,eAAe,GAAG,0EAA0E,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjH,IAAI,eAAe,EAAE,CAAC;YACpB,0BAA0B;YAC1B,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC;oBACZ,aAAa,EAAE,mBAAmB,CAAC,OAAO,CAAC,IAAI,IAAI;oBACnD,WAAW,EAAE,CAAC,GAAG,CAAC;oBAClB,KAAK,EAAE,qBAAqB;oBAC5B,QAAQ,EAAE,WAAW;oBACrB,OAAO,EAAE,eAAe,CAAC,GAAG,CAAC,gBAAgB;iBAC9C,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,gCAAgC;QAChC,+CAA+C;QAC/C,MAAM,WAAW,GAAG,wEAAwE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3G,IAAI,WAAW,EAAE,CAAC;YAChB,cAAc;YACd,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnD,MAAM,aAAa,GAAG,gCAAgC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtE,IAAI,aAAa,EAAE,CAAC;gBAClB,oCAAoC;gBACpC,uBAAuB;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,IAAY;IACvC,0BAA0B;IAC1B,MAAM,UAAU,GAAG,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC,CAAC,CAAE,CAAC;IAEtC,qBAAqB;IACrB,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC,CAAC,CAAE,CAAC;IAEpC,eAAe;IACf,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,WAAW;QAAE,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IAE9D,WAAW;IACX,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC,CAAC,CAAE,CAAC;IAEpC,OAAO,EAAE,CAAC;AACZ,CAAC"}

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

@@ -1,95 +0,0 @@
-/**
- * 逃逸报告 — 结构化记录抽检失败、误伤、工具故障。
- * 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 {
-    /** 逃逸 ID */
-    escape_id: string;
-    /** 关联的任务 ID */
-    task_id: string;
-    /** 关联的策略 ID */
-    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;
-    /**
-     * 创建逃逸报告存储实例。
-     * @param stateDir - 状态目录路径，报告数据将存储在此目录下
-     */
-    constructor(stateDir: string);
-    /** 确保数据已从磁盘加载 */
-    private ensureLoaded;
-    /** 持久化当前数据到磁盘（原子写入） */
-    private persist;
-    /**
-     * 追加逃逸报告并持久化。
-     * @param report - 要追加的逃逸报告
-     */
-    append(report: EscapeReport): void;
-    /**
-     * 查询逃逸报告列表，支持按失败类型、策略 ID 和任务 ID 过滤。
-     * @param filter - 可选过滤条件
-     * @param filter.failure_type - 按失败类型过滤
-     * @param filter.policy_id - 按策略 ID 过滤
-     * @param filter.task_id - 按任务 ID 过滤
-     * @returns 匹配的逃逸报告列表（深拷贝）
-     */
-    list(filter?: {
-        failure_type?: EscapeType;
-        policy_id?: string;
-        task_id?: string;
-    }): EscapeReport[];
-    /**
-     * 获取逃逸报告统计信息。
-     * @returns 包含总数和按类型/动作分布的统计信息
-     */
-    stats(): EscapeReportStats;
-    /**
-     * 清空所有逃逸报告并持久化。
-     */
-    clear(): void;
-    /**
-     * 获取逃逸报告数据文件路径。
-     * @returns 数据文件的绝对路径
-     */
-    getFilePath(): string;
-}
-//# sourceMappingURL=escape_report.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"escape_report.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/escape_report.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAOH,WAAW;AACX,MAAM,MAAM,UAAU,GAClB,UAAU,GACV,WAAW,GACX,cAAc,GACd,WAAW,GACX,YAAY,GACZ,UAAU,GACV,gBAAgB,CAAC;AAErB,aAAa;AACb,MAAM,MAAM,gBAAgB,GACxB,MAAM,GACN,WAAW,GACX,SAAS,GACT,iBAAiB,CAAC;AAEtB,WAAW;AACX,MAAM,WAAW,YAAY;IAC3B,YAAY;IACZ,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW;IACX,YAAY,EAAE,UAAU,CAAC;IACzB,aAAa;IACb,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU;IACV,KAAK,EAAE,MAAM,CAAC;IACd,WAAW;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa;IACb,iBAAiB,EAAE,gBAAgB,CAAC;IACpC,WAAW;IACX,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,eAAe;AACf,MAAM,WAAW,iBAAiB;IAChC,WAAW;IACX,KAAK,EAAE,MAAM,CAAC;IACd,cAAc;IACd,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACpC,cAAc;IACd,SAAS,EAAE,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;CAC7C;AAoCD,6BAA6B;AAC7B,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,OAAO,CAAsB;IACrC,OAAO,CAAC,MAAM,CAAS;IAEvB;;;OAGG;gBACS,QAAQ,EAAE,MAAM;IAQ5B,iBAAiB;IACjB,OAAO,CAAC,YAAY;IAWpB,uBAAuB;IACvB,OAAO,CAAC,OAAO;IAMf;;;OAGG;IACH,MAAM,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI;IAOlC;;;;;;;OAOG;IACH,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;;;OAGG;IACH,KAAK,IAAI,iBAAiB;IAW1B;;OAEG;IACH,KAAK,IAAI,IAAI;IAOb;;;OAGG;IACH,WAAW,IAAI,MAAM;CAGtB"}

package/dist/engine/contracts/escape_report.js

@@ -1,137 +0,0 @@
-/**
- * 逃逸报告 — 结构化记录抽检失败、误伤、工具故障。
- * P2-3 范围: 只落盘记录，不自动降级，不改 capability 状态。
- * 存储: JSON 数组文件，原子写入，路径绑定 stateDir。
- */
-import fs from "node:fs";
-import path from "node:path";
-import { debug } from "../core/logger.js";
-import { safeJsonParse } from "../core/helpers.js";
-/** 所有可能的逃逸类型 */
-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;
-    /**
-     * 创建逃逸报告存储实例。
-     * @param stateDir - 状态目录路径，报告数据将存储在此目录下
-     */
-    constructor(stateDir) {
-        this.filePath = path.join(stateDir, "escape-reports.json");
-        if (!fs.existsSync(stateDir)) {
-            fs.mkdirSync(stateDir, { recursive: true });
-        }
-        debug("逃逸报告", "初始化完成，数据路径: " + this.filePath);
-    }
-    /** 确保数据已从磁盘加载 */
-    ensureLoaded() {
-        if (this.loaded)
-            return;
-        this.loaded = true;
-        try {
-            const data = fs.readFileSync(this.filePath, "utf-8");
-            this.reports = safeJsonParse(data) ?? [];
-        }
-        catch {
-            this.reports = [];
-        }
-    }
-    /** 持久化当前数据到磁盘（原子写入） */
-    persist() {
-        const tmpPath = `${this.filePath}.tmp`;
-        fs.writeFileSync(tmpPath, JSON.stringify(this.reports, null, 2));
-        fs.renameSync(tmpPath, this.filePath);
-    }
-    /**
-     * 追加逃逸报告并持久化。
-     * @param report - 要追加的逃逸报告
-     */
-    append(report) {
-        this.ensureLoaded();
-        this.reports.push(deepCopy(report));
-        this.persist();
-        debug("逃逸报告", `追加报告 escape_id=${report.escape_id}, 类型=${report.failure_type}, 策略=${report.policy_id}`);
-    }
-    /**
-     * 查询逃逸报告列表，支持按失败类型、策略 ID 和任务 ID 过滤。
-     * @param filter - 可选过滤条件
-     * @param filter.failure_type - 按失败类型过滤
-     * @param filter.policy_id - 按策略 ID 过滤
-     * @param filter.task_id - 按任务 ID 过滤
-     * @returns 匹配的逃逸报告列表（深拷贝）
-     */
-    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);
-    }
-    /**
-     * 获取逃逸报告统计信息。
-     * @returns 包含总数和按类型/动作分布的统计信息
-     */
-    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();
-        debug("逃逸报告", "已清空所有报告");
-    }
-    /**
-     * 获取逃逸报告数据文件路径。
-     * @returns 数据文件的绝对路径
-     */
-    getFilePath() {
-        return this.filePath;
-    }
-}
-//# sourceMappingURL=escape_report.js.map

package/dist/engine/contracts/escape_report.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"escape_report.js","sourceRoot":"","sources":["../../../src/engine/contracts/escape_report.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AA2DnD,gBAAgB;AAChB,MAAM,gBAAgB,GAAiB;IACrC,UAAU;IACV,WAAW;IACX,cAAc;IACd,WAAW;IACX,YAAY;IACZ,UAAU;IACV,gBAAgB;CACjB,CAAC;AAEF,kBAAkB;AAClB,MAAM,sBAAsB,GAAuB;IACjD,MAAM;IACN,WAAW;IACX,SAAS;IACT,iBAAiB;CAClB,CAAC;AAEF,oBAAoB;AACpB,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,oBAAoB;AACpB,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,cAAc;AACd,SAAS,QAAQ,CAAC,MAAoB;IACpC,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC;AACvB,CAAC;AAED,6BAA6B;AAC7B,MAAM,OAAO,iBAAiB;IACpB,QAAQ,CAAS;IACjB,OAAO,GAAmB,EAAE,CAAC;IAC7B,MAAM,GAAG,KAAK,CAAC;IAEvB;;;OAGG;IACH,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;QACD,KAAK,CAAC,MAAM,EAAE,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChD,CAAC;IAED,iBAAiB;IACT,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,aAAa,CAAiB,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3D,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QACpB,CAAC;IACH,CAAC;IAED,uBAAuB;IACf,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;;;OAGG;IACH,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;QACf,KAAK,CAAC,MAAM,EAAE,kBAAkB,MAAM,CAAC,SAAS,QAAQ,MAAM,CAAC,YAAY,QAAQ,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;IACzG,CAAC;IAED;;;;;;;OAOG;IACH,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;;;OAGG;IACH,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;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC3B,CAAC;IAED;;;OAGG;IACH,WAAW;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;CACF"}

package/dist/engine/contracts/evidence_grounding_contract.d.ts

@@ -1,135 +0,0 @@
-/**
- * 证据驱动与反幻觉契约 (Evidence-Grounded / Anti-Hallucination Contract)
- *
- * 问题六十：约束任务理解、知识注入、方案生成、代码实现、验证交付必须基于证据。
- * AI 不得无证据声称项目事实、把推测当事实、把验证计划当结果。
- */
-export type EvidenceSourceType = "project_file" | "task_context" | "knowledge_asset" | "command_output" | "validation_result" | "user_confirmation" | "generated_inference";
-export type EvidenceAuthority = "authoritative" | "trusted" | "supporting" | "weak" | "forbidden";
-export type EvidenceFreshness = "current" | "recent" | "stale" | "unknown" | "deprecated";
-export type EvidencePermission = "allowed" | "scope_exceeded" | "forbidden";
-/** 证据角色：区分模板引导与真实项目证据 */
-export type EvidenceRole = "classification" | "template_guidance" | "project_source_file" | "existing_system_analysis" | "user_confirmation" | "command_result" | "validation_result" | "generated_inference";
-export type ClaimCategory = "project_fact" | "tech_stack" | "file_change" | "test_execution" | "performance" | "security" | "business_rule" | "user_confirmation" | "release_status" | "validation_result" | "architecture" | "code_implementation";
-export type HallucinationRiskLevel = "low" | "medium" | "high" | "critical";
-export type ConflictResolutionStatus = "unresolved" | "resolved" | "deferred" | "blocked";
-export interface EvidenceItem {
-    id: string;
-    source_type: EvidenceSourceType;
-    evidence_role?: EvidenceRole;
-    authority: EvidenceAuthority;
-    freshness: EvidenceFreshness;
-    permission: EvidencePermission;
-    scope: string;
-    hash?: string;
-    description: string;
-    source_ref?: string;
-    timestamp: string;
-}
-export interface FactClaim {
-    id: string;
-    category: ClaimCategory;
-    claim_text: string;
-    evidence_ids: string[];
-    is_uncertain: boolean;
-    risk_level: HallucinationRiskLevel;
-    /** 声明允许的证据源类型；未声明时使用声明类别默认规则 */
-    required_source_types?: EvidenceSourceType[];
-}
-/**
- * 声明类别对应的允许证据源类型（source_type 级别）。
- * task_context/classification 只能支撑分类/路由/意图识别，不能支撑项目事实。
- * 未列入的类别无源类型限制。
- */
-export declare const CATEGORY_REQUIRED_SOURCES: Partial<Record<ClaimCategory, EvidenceSourceType[]>>;
-/**
- * 声明类别对应的允许证据角色（evidence_role 级别）。
- * template_guidance（默认模板/规则/流程）不得支撑 project_fact/architecture/tech_stack 等事实声明。
- * 只有真实项目证据（project_source_file/existing_system_analysis/user_confirmation/command_result）才能支撑。
- */
-export declare const CATEGORY_REQUIRED_ROLES: Partial<Record<ClaimCategory, EvidenceRole[]>>;
-export interface EvidenceConflict {
-    claim_id: string;
-    conflicting_evidence_ids: string[];
-    description: string;
-    resolution_status: ConflictResolutionStatus;
-    recommended_action?: string;
-}
-export interface EvidenceMatrix {
-    task_id: string;
-    claims: FactClaim[];
-    evidence: EvidenceItem[];
-    conflicts: EvidenceConflict[];
-    unsupported_claims: string[];
-    risk_summary: Record<HallucinationRiskLevel, number>;
-    created_at: string;
-}
-export interface RetrievalPlan {
-    target_claims: string[];
-    source_types: EvidenceSourceType[];
-    keywords: string[];
-    max_results: number;
-}
-export interface EvidenceGateResult {
-    allowed: boolean;
-    reason_zh: string;
-    diagnostic_code: string;
-    unsupported_claims: string[];
-    unresolved_conflicts: string[];
-    missing_evidence: string[];
-    risk_level: HallucinationRiskLevel;
-    requires_user_confirmation: string[];
-}
-export declare class EvidenceSourceRegistry {
-    private sources;
-    register(item: Omit<EvidenceItem, "id" | "timestamp">): EvidenceItem;
-    get(id: string): EvidenceItem | undefined;
-    query(filter: Partial<Pick<EvidenceItem, "source_type" | "authority" | "freshness" | "permission" | "evidence_role">>): EvidenceItem[];
-    clear(): void;
-    size(): number;
-}
-export declare class RetrievalContract {
-    private registry;
-    constructor(registry: EvidenceSourceRegistry);
-    retrieve(plan: RetrievalPlan): EvidenceItem[];
-}
-export declare class EvidenceConflictDetector {
-    detect(evidence: EvidenceItem[], claims: FactClaim[]): EvidenceConflict[];
-}
-export declare class HallucinationRiskClassifier {
-    classify(claim: FactClaim, evidence: EvidenceItem[], taskRisk: "low" | "medium" | "high" | "critical"): HallucinationRiskLevel;
-}
-export declare class FactClaimVerifier {
-    private registry;
-    private classifier;
-    constructor(registry: EvidenceSourceRegistry, classifier: HallucinationRiskClassifier);
-    verify(claims: FactClaim[], taskRisk: "low" | "medium" | "high" | "critical"): {
-        verified: FactClaim[];
-        unsupported: FactClaim[];
-        risk_summary: Record<HallucinationRiskLevel, number>;
-    };
-    /** 检测自证模式：只用 tests/scenario/gate 调用证明主链路消费 */
-    private isSelfAttestation;
-}
-export declare class UnsupportedClaimGate {
-    constructor(_conflictDetector: EvidenceConflictDetector);
-    evaluate(matrix: EvidenceMatrix, taskRisk: "low" | "medium" | "high" | "critical"): EvidenceGateResult;
-}
-export declare class GroundedContextBuilder {
-    private retrieval;
-    constructor(_registry: EvidenceSourceRegistry, retrieval: RetrievalContract);
-    buildContext(claims: FactClaim[], plan: RetrievalPlan): EvidenceMatrix;
-}
-export declare function createEvidenceGroundingSystem(): {
-    registry: EvidenceSourceRegistry;
-    retrieval: RetrievalContract;
-    classifier: HallucinationRiskClassifier;
-    conflictDetector: EvidenceConflictDetector;
-    verifier: FactClaimVerifier;
-    gate: UnsupportedClaimGate;
-    builder: GroundedContextBuilder;
-};
-export declare function isHighRiskClaimCategory(category: ClaimCategory): boolean;
-/** 判断任务风险等级 */
-export declare function assessTaskRisk(taskType?: string, routeDecision?: string, intentKeywords?: string): "low" | "medium" | "high" | "critical";
-//# sourceMappingURL=evidence_grounding_contract.d.ts.map

package/dist/engine/contracts/evidence_grounding_contract.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"evidence_grounding_contract.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/evidence_grounding_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH,MAAM,MAAM,kBAAkB,GAC1B,cAAc,GACd,cAAc,GACd,iBAAiB,GACjB,gBAAgB,GAChB,mBAAmB,GACnB,mBAAmB,GACnB,qBAAqB,CAAC;AAE1B,MAAM,MAAM,iBAAiB,GACzB,eAAe,GACf,SAAS,GACT,YAAY,GACZ,MAAM,GACN,WAAW,CAAC;AAEhB,MAAM,MAAM,iBAAiB,GACzB,SAAS,GACT,QAAQ,GACR,OAAO,GACP,SAAS,GACT,YAAY,CAAC;AAEjB,MAAM,MAAM,kBAAkB,GAAG,SAAS,GAAG,gBAAgB,GAAG,WAAW,CAAC;AAE5E,yBAAyB;AACzB,MAAM,MAAM,YAAY,GACpB,gBAAgB,GAChB,mBAAmB,GACnB,qBAAqB,GACrB,0BAA0B,GAC1B,mBAAmB,GACnB,gBAAgB,GAChB,mBAAmB,GACnB,qBAAqB,CAAC;AAE1B,MAAM,MAAM,aAAa,GACrB,cAAc,GACd,YAAY,GACZ,aAAa,GACb,gBAAgB,GAChB,aAAa,GACb,UAAU,GACV,eAAe,GACf,mBAAmB,GACnB,gBAAgB,GAChB,mBAAmB,GACnB,cAAc,GACd,qBAAqB,CAAC;AAE1B,MAAM,MAAM,sBAAsB,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,CAAC;AAE5E,MAAM,MAAM,wBAAwB,GAAG,YAAY,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,CAAC;AAI1F,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,kBAAkB,CAAC;IAChC,aAAa,CAAC,EAAE,YAAY,CAAC;IAC7B,SAAS,EAAE,iBAAiB,CAAC;IAC7B,SAAS,EAAE,iBAAiB,CAAC;IAC7B,UAAU,EAAE,kBAAkB,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACnB;AAID,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,aAAa,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,EAAE,OAAO,CAAC;IACtB,UAAU,EAAE,sBAAsB,CAAC;IACnC,gCAAgC;IAChC,qBAAqB,CAAC,EAAE,kBAAkB,EAAE,CAAC;CAC9C;AAID;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,EAAE,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,kBAAkB,EAAE,CAAC,CAM1F,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,EAAE,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,YAAY,EAAE,CAAC,CAMlF,CAAC;AAIF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,wBAAwB,EAAE,MAAM,EAAE,CAAC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,wBAAwB,CAAC;IAC5C,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAID,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC9B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,YAAY,EAAE,MAAM,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;IACrD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,YAAY,EAAE,kBAAkB,EAAE,CAAC;IACnC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACrB;AAID,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,UAAU,EAAE,sBAAsB,CAAC;IACnC,0BAA0B,EAAE,MAAM,EAAE,CAAC;CACtC;AAID,qBAAa,sBAAsB;IACjC,OAAO,CAAC,OAAO,CAAmC;IAElD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,GAAG,WAAW,CAAC,GAAG,YAAY;IAWpE,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS;IAIzC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,aAAa,GAAG,WAAW,GAAG,WAAW,GAAG,YAAY,GAAG,eAAe,CAAC,CAAC,GAAG,YAAY,EAAE;IAWtI,KAAK,IAAI,IAAI;IAIb,IAAI,IAAI,MAAM;CAGf;AAID,qBAAa,iBAAiB;IAChB,OAAO,CAAC,QAAQ;gBAAR,QAAQ,EAAE,sBAAsB;IAEpD,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,YAAY,EAAE;CAyB9C;AAID,qBAAa,wBAAwB;IACnC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,gBAAgB,EAAE;CA+C1E;AAID,qBAAa,2BAA2B;IACtC,QAAQ,CACN,KAAK,EAAE,SAAS,EAChB,QAAQ,EAAE,YAAY,EAAE,EACxB,QAAQ,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,GAC/C,sBAAsB;CAsC1B;AAID,qBAAa,iBAAiB;IAE1B,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,UAAU;gBADV,QAAQ,EAAE,sBAAsB,EAChC,UAAU,EAAE,2BAA2B;IAGjD,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,GAAG;QAC7E,QAAQ,EAAE,SAAS,EAAE,CAAC;QACtB,WAAW,EAAE,SAAS,EAAE,CAAC;QACzB,YAAY,EAAE,MAAM,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;KACtD;IA2ED,8CAA8C;IAC9C,OAAO,CAAC,iBAAiB;CAyB1B;AAID,qBAAa,oBAAoB;gBAE7B,iBAAiB,EAAE,wBAAwB;IAG7C,QAAQ,CACN,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,GAC/C,kBAAkB;CA+EtB;AAID,qBAAa,sBAAsB;IAG/B,OAAO,CAAC,SAAS;gBADjB,SAAS,EAAE,sBAAsB,EACzB,SAAS,EAAE,iBAAiB;IAGtC,YAAY,CACV,MAAM,EAAE,SAAS,EAAE,EACnB,IAAI,EAAE,aAAa,GAClB,cAAc;CA2BlB;AAID,wBAAgB,6BAA6B;;;;;;;;EAU5C;AAQD,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,CAExE;AAED,eAAe;AACf,wBAAgB,cAAc,CAC5B,QAAQ,CAAC,EAAE,MAAM,EACjB,aAAa,CAAC,EAAE,MAAM,EACtB,cAAc,CAAC,EAAE,MAAM,GACtB,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,CAYxC"}