soloforge 1.2.2 → 1.2.3

package/dist/engine/mutation_audit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation_audit.js","sourceRoot":"","sources":["../../src/engine/mutation_audit.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AA4BH,MAAM,kBAAkB,GAAG;IACzB,2BAA2B,CAAC,MAAM;IAClC,2BAA2B,CAAC,MAAM;IAClC,WAAW,CAAC,MAAM;IAClB,YAAY,CAAC,MAAM;CACpB,CAAC;AAEF,MAAM,YAAY,GAAG,IAAI,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAE9D,MAAM,gBAAgB,GAAG;IACvB,UAAU;IACV,QAAQ;IACR,UAAU;IACV,aAAa;IACb,aAAa;IACb,eAAe;IACf,oCAAoC;IACpC,cAAc;CACf,CAAC;AAEF,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAChE,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACpC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,WAA0D,EAC1D,iBAAqC;IAErC,MAAM,MAAM,GAAoB,EAAE,CAAC;IAEnC,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YAEzC,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE;gBAC9C,MAAM,QAAQ,GAAG,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC3D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3F,CAAC,CAAC,CAAC;YAEH,MAAM,CAAC,IAAI,CAAC;gBACV,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,WAAW,EAAE,CAAC,GAAG,CAAC;gBAClB,aAAa,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC9B,oBAAoB,EAAE,SAAS,EAAE,EAAE;aACpC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,cAA+B,EAC/B,iBAAqC,EACrC,WAAmB,EACnB,UAAkB;IAElB,MAAM,cAAc,GAAyB,EAAE,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IAEvC,KAAK,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CACpC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,oBAAoB,KAAK,EAAE,CAAC,EAAE,CAC1C,CAAC;QACF,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC;QAEhC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChB,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACxB,mCAAmC;YACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CACvB,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,EAC7D,OAAO,CACR,CAAC;YACF,cAAc,CAAC,IAAI,CAAC;gBAClB,oBAAoB,EAAE,EAAE,CAAC,EAAE;gBAC3B,eAAe,EAAE,OAAO;gBACxB,cAAc,EAAE,QAAQ;gBACxB,aAAa,EAAE,OAAO;gBACtB,QAAQ,EACN,QAAQ,KAAK,OAAO;oBAClB,CAAC,CAAC,oBAAoB;oBACtB,CAAC,CAAC,aAAa,OAAO,GAAG,QAAQ,IAAI,OAAO,2BAA2B,EAAE,CAAC,EAAE,EAAE;aACnF,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,cAAc,CAAC,IAAI,CAAC;gBAClB,oBAAoB,EAAE,EAAE,CAAC,EAAE;gBAC3B,eAAe,EAAE,CAAC;gBAClB,cAAc,EAAE,CAAC;gBACjB,aAAa,EAAE,CAAC;gBAChB,QAAQ,EAAE,sDAAsD,EAAE,CAAC,EAAE,EAAE;aACxE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,MAAM,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC;IAC9E,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,cAAc,CAAC,IAAI,CAAC;YAClB,oBAAoB,EAAE,UAAU;YAChC,eAAe,EAAE,aAAa,CAAC,MAAM;YACrC,cAAc,EAAE,CAAC;YACjB,aAAa,EAAE,aAAa,CAAC,MAAM;YACnC,QAAQ,EAAE,aAAa,aAAa,CAAC,MAAM,+CAA+C;SAC3F,CAAC,CAAC;IACL,CAAC;IAED,MAAM,qBAAqB,GAAG,iBAAiB;SAC5C,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACxC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAEtB,MAAM,SAAS,GAAG,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhE,OAAO;QACL,mBAAmB,EAAE,WAAW;QAChC,kBAAkB,EAAE,UAAU;QAC9B,UAAU,EAAE,SAAS;QACrB,eAAe,EAAE,cAAc;QAC/B,sBAAsB,EAAE,qBAAqB;QAC7C,OAAO,EACL,qBAAqB,CAAC,MAAM,GAAG,CAAC;YAC9B,CAAC,CAAC,aAAa,qBAAqB,CAAC,MAAM,2CAA2C,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACxH,CAAC,CAAC,mBAAmB,WAAW,IAAI,UAAU,mBAAmB,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;KACtG,CAAC;AACJ,CAAC"}

package/dist/engine/policy_drift_detector.d.ts

@@ -0,0 +1,46 @@
+/**
+ * Policy ID 漂移检测 — 检查 policy_id 在代码、测试、知识、Prompt 间的交叉引用一致性。
+ * P1-5 范围: 检测 + 只读报告摘要，不做自动修复，不改能力状态。
+ */
+export type DriftType = "code_without_policy" | "policy_without_code" | "policy_without_tests" | "tests_without_policy" | "prompt_without_policy" | "enforced_without_lifecycle_tests" | "removed_but_documented";
+export { type PolicyRef } from "./capability_registry.js";
+import type { PolicyRef as PolicyRefType } from "./capability_registry.js";
+type PolicyRef = PolicyRefType;
+export interface DriftEntry {
+    type: DriftType;
+    policy_id?: string;
+    path?: string;
+    detail: string;
+}
+export interface DriftReport {
+    total_policies: number;
+    drift_count: number;
+    drifts: DriftEntry[];
+    by_type: Record<DriftType, number>;
+}
+export interface DriftScanInput {
+    policies: PolicyRef[];
+    existingFiles: Set<string>;
+    knownCodeFiles: string[];
+    knownTestFiles: string[];
+    knownPromptFiles: string[];
+}
+export declare function detectPolicyDrift(input: DriftScanInput): DriftReport;
+export type PolicyStatus = "missing" | "stale" | "ok";
+export interface PolicyDriftSummary {
+    policy_id: string;
+    capability_id: string;
+    state: PolicyRefType["state"];
+    status: PolicyStatus;
+    drifts: DriftEntry[];
+}
+export interface DriftSummaryReport {
+    total: number;
+    missing: number;
+    stale: number;
+    ok: number;
+    unassigned_drifts: DriftEntry[];
+    policies: PolicyDriftSummary[];
+}
+export declare function generateDriftSummary(policies: PolicyRefType[], report: DriftReport): DriftSummaryReport;
+//# sourceMappingURL=policy_drift_detector.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"policy_drift_detector.d.ts","sourceRoot":"","sources":["../../src/engine/policy_drift_detector.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,MAAM,SAAS,GACjB,qBAAqB,GACrB,qBAAqB,GACrB,sBAAsB,GACtB,sBAAsB,GACtB,uBAAuB,GACvB,kCAAkC,GAClC,wBAAwB,CAAC;AAE7B,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC3E,KAAK,SAAS,GAAG,aAAa,CAAC;AAE/B,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,SAAS,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,WAAW;IAC1B,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;CACpC;AAgBD,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,SAAS,EAAE,CAAC;IACtB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,GAAG,WAAW,CAiIpE;AAED,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,OAAO,GAAG,IAAI,CAAC;AAEtD,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,EAAE,YAAY,CAAC;IACrB,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,iBAAiB,EAAE,UAAU,EAAE,CAAC;IAChC,QAAQ,EAAE,kBAAkB,EAAE,CAAC;CAChC;AAED,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,aAAa,EAAE,EACzB,MAAM,EAAE,WAAW,GAClB,kBAAkB,CAuCpB"}

package/dist/engine/policy_drift_detector.js

@@ -0,0 +1,181 @@
+/**
+ * Policy ID 漂移检测 — 检查 policy_id 在代码、测试、知识、Prompt 间的交叉引用一致性。
+ * P1-5 范围: 检测 + 只读报告摘要，不做自动修复，不改能力状态。
+ */
+const ALL_DRIFT_TYPES = [
+    "code_without_policy",
+    "policy_without_code",
+    "policy_without_tests",
+    "tests_without_policy",
+    "prompt_without_policy",
+    "enforced_without_lifecycle_tests",
+    "removed_but_documented",
+];
+function emptyByType() {
+    return Object.fromEntries(ALL_DRIFT_TYPES.map((t) => [t, 0]));
+}
+export function detectPolicyDrift(input) {
+    const { policies, existingFiles, knownCodeFiles, knownTestFiles, knownPromptFiles } = input;
+    const drifts = [];
+    const claimedCode = new Set(policies.flatMap((p) => p.code_files));
+    const claimedTest = new Set(policies.flatMap((p) => p.test_files));
+    const claimedPrompt = new Set(policies.flatMap((p) => p.prompt_files));
+    for (const f of knownCodeFiles) {
+        if (!claimedCode.has(f)) {
+            drifts.push({
+                type: "code_without_policy",
+                path: f,
+                detail: `code file ${f} not covered by any policy_id`,
+            });
+        }
+    }
+    for (const p of policies) {
+        if (p.code_files.length === 0) {
+            drifts.push({
+                type: "policy_without_code",
+                policy_id: p.policy_id,
+                detail: `policy ${p.policy_id} has no code file references`,
+            });
+        }
+        else {
+            for (const f of p.code_files) {
+                if (!existingFiles.has(f)) {
+                    drifts.push({
+                        type: "policy_without_code",
+                        policy_id: p.policy_id,
+                        path: f,
+                        detail: `policy ${p.policy_id} claims code file ${f} which does not exist`,
+                    });
+                }
+            }
+        }
+    }
+    for (const p of policies) {
+        if (p.test_files.length === 0) {
+            drifts.push({
+                type: "policy_without_tests",
+                policy_id: p.policy_id,
+                detail: `policy ${p.policy_id} has no test references`,
+            });
+        }
+        else {
+            for (const f of p.test_files) {
+                if (!existingFiles.has(f)) {
+                    drifts.push({
+                        type: "policy_without_tests",
+                        policy_id: p.policy_id,
+                        path: f,
+                        detail: `policy ${p.policy_id} claims test file ${f} which does not exist`,
+                    });
+                }
+            }
+        }
+    }
+    for (const f of knownTestFiles) {
+        if (!claimedTest.has(f)) {
+            drifts.push({
+                type: "tests_without_policy",
+                path: f,
+                detail: `test file ${f} not covered by any policy_id`,
+            });
+        }
+    }
+    for (const f of knownPromptFiles) {
+        if (!claimedPrompt.has(f)) {
+            drifts.push({
+                type: "prompt_without_policy",
+                path: f,
+                detail: `prompt file ${f} not covered by any policy_id`,
+            });
+        }
+    }
+    for (const p of policies) {
+        if (p.state === "enforced") {
+            if (p.lifecycle_test_files.length === 0) {
+                drifts.push({
+                    type: "enforced_without_lifecycle_tests",
+                    policy_id: p.policy_id,
+                    detail: `enforced policy ${p.policy_id} has no lifecycle/handler tests`,
+                });
+            }
+            else {
+                for (const f of p.lifecycle_test_files) {
+                    if (!existingFiles.has(f)) {
+                        drifts.push({
+                            type: "enforced_without_lifecycle_tests",
+                            policy_id: p.policy_id,
+                            path: f,
+                            detail: `enforced policy ${p.policy_id} claims lifecycle test file ${f} which does not exist`,
+                        });
+                    }
+                }
+            }
+        }
+    }
+    for (const p of policies) {
+        if (p.state === "removed") {
+            for (const doc of p.knowledge_docs) {
+                if (existingFiles.has(doc)) {
+                    drifts.push({
+                        type: "removed_but_documented",
+                        policy_id: p.policy_id,
+                        path: doc,
+                        detail: `removed policy ${p.policy_id} still has documented knowledge at ${doc}`,
+                    });
+                }
+            }
+        }
+    }
+    const by_type = emptyByType();
+    for (const d of drifts) {
+        by_type[d.type]++;
+    }
+    return {
+        total_policies: policies.length,
+        drift_count: drifts.length,
+        drifts,
+        by_type,
+    };
+}
+export function generateDriftSummary(policies, report) {
+    const driftsByPolicy = new Map();
+    const unassigned = [];
+    for (const d of report.drifts) {
+        if (d.policy_id) {
+            if (!driftsByPolicy.has(d.policy_id))
+                driftsByPolicy.set(d.policy_id, []);
+            driftsByPolicy.get(d.policy_id).push(d);
+        }
+        else {
+            unassigned.push(d);
+        }
+    }
+    let missing = 0;
+    let stale = 0;
+    let ok = 0;
+    const summaries = policies.map((p) => {
+        const drifts = driftsByPolicy.get(p.policy_id) ?? [];
+        let status;
+        if (drifts.length === 0) {
+            status = "ok";
+            ok++;
+        }
+        else if (drifts.some((d) => d.path === undefined)) {
+            status = "missing";
+            missing++;
+        }
+        else {
+            status = "stale";
+            stale++;
+        }
+        return {
+            policy_id: p.policy_id,
+            capability_id: p.capability_id,
+            state: p.state,
+            status,
+            drifts,
+        };
+    });
+    return { total: summaries.length, missing, stale, ok, unassigned_drifts: unassigned, policies: summaries };
+}
+//# sourceMappingURL=policy_drift_detector.js.map

package/dist/engine/policy_drift_detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy_drift_detector.js","sourceRoot":"","sources":["../../src/engine/policy_drift_detector.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA6BH,MAAM,eAAe,GAAgB;IACnC,qBAAqB;IACrB,qBAAqB;IACrB,sBAAsB;IACtB,sBAAsB;IACtB,uBAAuB;IACvB,kCAAkC;IAClC,wBAAwB;CACzB,CAAC;AAEF,SAAS,WAAW;IAClB,OAAO,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAA8B,CAAC;AAC7F,CAAC;AAUD,MAAM,UAAU,iBAAiB,CAAC,KAAqB;IACrD,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC;IAC5F,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACnE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAEvE,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,aAAa,CAAC,+BAA+B;aACtD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,qBAAqB;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,MAAM,EAAE,UAAU,CAAC,CAAC,SAAS,8BAA8B;aAC5D,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;gBAC7B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,qBAAqB;wBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,IAAI,EAAE,CAAC;wBACP,MAAM,EAAE,UAAU,CAAC,CAAC,SAAS,qBAAqB,CAAC,uBAAuB;qBAC3E,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,MAAM,EAAE,UAAU,CAAC,CAAC,SAAS,yBAAyB;aACvD,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;gBAC7B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,sBAAsB;wBAC5B,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,IAAI,EAAE,CAAC;wBACP,MAAM,EAAE,UAAU,CAAC,CAAC,SAAS,qBAAqB,CAAC,uBAAuB;qBAC3E,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,aAAa,CAAC,+BAA+B;aACtD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACjC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,uBAAuB;gBAC7B,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,eAAe,CAAC,+BAA+B;aACxD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,kCAAkC;oBACxC,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,MAAM,EAAE,mBAAmB,CAAC,CAAC,SAAS,iCAAiC;iBACxE,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,oBAAoB,EAAE,CAAC;oBACvC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC1B,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,kCAAkC;4BACxC,SAAS,EAAE,CAAC,CAAC,SAAS;4BACtB,IAAI,EAAE,CAAC;4BACP,MAAM,EAAE,mBAAmB,CAAC,CAAC,SAAS,+BAA+B,CAAC,uBAAuB;yBAC9F,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,cAAc,EAAE,CAAC;gBACnC,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC3B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,IAAI,EAAE,GAAG;wBACT,MAAM,EAAE,kBAAkB,CAAC,CAAC,SAAS,sCAAsC,GAAG,EAAE;qBACjF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACpB,CAAC;IAED,OAAO;QACL,cAAc,EAAE,QAAQ,CAAC,MAAM;QAC/B,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,MAAM;QACN,OAAO;KACR,CAAC;AACJ,CAAC;AAqBD,MAAM,UAAU,oBAAoB,CAClC,QAAyB,EACzB,MAAmB;IAEnB,MAAM,cAAc,GAAG,IAAI,GAAG,EAAwB,CAAC;IACvD,MAAM,UAAU,GAAiB,EAAE,CAAC;IAEpC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YAChB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;gBAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC1E,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,MAAM,SAAS,GAAyB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACzD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACrD,IAAI,MAAoB,CAAC;QACzB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,GAAG,IAAI,CAAC;YACd,EAAE,EAAE,CAAC;QACP,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;YACpD,MAAM,GAAG,SAAS,CAAC;YACnB,OAAO,EAAE,CAAC;QACZ,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,OAAO,CAAC;YACjB,KAAK,EAAE,CAAC;QACV,CAAC;QACD,OAAO;YACL,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,aAAa,EAAE,CAAC,CAAC,aAAa;YAC9B,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,MAAM;YACN,MAAM;SACP,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,iBAAiB,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AAC7G,CAAC"}

package/dist/engine/regression_matrix.d.ts

@@ -0,0 +1,102 @@
+/**
+ * 回归矩阵 + 复杂度预算 — fixture 项目回归测试 + capability 代码量预算。
+ *
+ * 职责:
+ * - fixture 项目模板: Spring Boot, React, Go 的标准结构
+ * - 回归矩阵: 对 fixture 验证 classify/expand/verify 兼容性
+ * - 复杂度预算: 每个能力模块的代码行数预算，超出 advisory 告警
+ */
+export interface FixtureRepo {
+    name: string;
+    tech_stack: string;
+    files: Record<string, string>;
+}
+export declare const FIXTURE_SPRING_BOOT: FixtureRepo;
+export declare const FIXTURE_REACT: FixtureRepo;
+export declare const FIXTURE_GO: FixtureRepo;
+export declare const FIXTURE_NODE_TS: FixtureRepo;
+export declare const FIXTURE_MONOREPO: FixtureRepo;
+export declare const FIXTURE_DOCS: FixtureRepo;
+export interface RegressionCheck {
+    fixture: string;
+    check: string;
+    passed: boolean;
+    detail: string;
+}
+export interface RegressionReport {
+    fixture: string;
+    checks: RegressionCheck[];
+    passed: boolean;
+    summary: string;
+}
+/**
+ * 对 fixture 项目运行回归检查矩阵。
+ * 纯确定性检查，不依赖 LLM。
+ */
+export declare function runRegressionMatrix(fixture: FixtureRepo, fingerprintFn: (files: Record<string, string>) => {
+    backend: {
+        framework: string;
+    } | null;
+    frontend: {
+        framework: string;
+    } | null;
+    test_frameworks: string[];
+}): RegressionReport;
+export interface RealFingerprintCheck {
+    fixture: string;
+    expected_backend: string | null;
+    detected_backend: string | null;
+    expected_frontend: string | null;
+    detected_frontend: string | null;
+    backend_match: boolean;
+    frontend_match: boolean;
+    passed: boolean;
+    advisory: string;
+}
+export interface RealFingerprintReport {
+    checks: RealFingerprintCheck[];
+    all_passed: boolean;
+    summary: string;
+}
+/**
+ * Write fixture files to a temp directory and run real detectFingerprint.
+ * Cleanup is automatic via temp dir removal.
+ */
+export declare function runRealFingerprintRegression(fixtures?: FixtureRepo[]): Promise<RealFingerprintReport>;
+export interface E2EPipelineStep {
+    step: string;
+    passed: boolean;
+    detail: string;
+}
+export interface E2EPipelineReport {
+    fixture: string;
+    steps: E2EPipelineStep[];
+    passed: boolean;
+    summary: string;
+}
+/**
+ * Run minimal classify → expand → verify → learn (evolve) → governance report
+ * on a fixture written to a temp directory.
+ */
+export declare function runE2EPipeline(fixture: FixtureRepo): Promise<E2EPipelineReport>;
+export interface ModuleBudget {
+    module: string;
+    budget_lines: number;
+    actual_lines: number;
+    exceeded: boolean;
+    advisory: string;
+}
+export interface ComplexityBudgetReport {
+    modules: ModuleBudget[];
+    total_budget: number;
+    total_actual: number;
+    exceeded_modules: number;
+    summary: string;
+}
+/**
+ * 检查能力模块的复杂度预算。
+ * @param fileLineCounts - 模块名到行数的映射
+ * @returns 复杂度预算报告
+ */
+export declare function checkComplexityBudget(fileLineCounts: Record<string, number>): ComplexityBudgetReport;
+//# sourceMappingURL=regression_matrix.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"regression_matrix.d.ts","sourceRoot":"","sources":["../../src/engine/regression_matrix.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AASH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC/B;AAED,eAAO,MAAM,mBAAmB,EAAE,WAWjC,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,WAU3B,CAAC;AAEF,eAAO,MAAM,UAAU,EAAE,WAQxB,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE,WAS7B,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,WAY9B,CAAC;AAEF,eAAO,MAAM,YAAY,EAAE,WAQ1B,CAAC;AAIF,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,WAAW,EACpB,aAAa,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK;IAChD,OAAO,EAAE;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACtC,QAAQ,EAAE;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACvC,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B,GACA,gBAAgB,CA+DlB;AAID,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,aAAa,EAAE,OAAO,CAAC;IACvB,cAAc,EAAE,OAAO,CAAC;IACxB,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,oBAAoB,EAAE,CAAC;IAC/B,UAAU,EAAE,OAAO,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,wBAAsB,4BAA4B,CAChD,QAAQ,GAAE,WAAW,EAAsG,GAC1H,OAAO,CAAC,qBAAqB,CAAC,CA8DhC;AAID,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,eAAe,EAAE,CAAC;IACzB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,wBAAsB,cAAc,CAClC,OAAO,EAAE,WAAW,GACnB,OAAO,CAAC,iBAAiB,CAAC,CAgJ5B;AAID,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;CACjB;AAsBD;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACrC,sBAAsB,CA8BxB"}