soloforge 1.1.2 → 1.1.30

package/dist/engine/audit/main_path_integration_contract/gates.js

@@ -0,0 +1,307 @@
+/**
+ * Main Path Integration Contract — 孤岛模块门禁 + 集成审计 + 治理验证 + 交付验证
+ */
+import { debug } from "../../core/logger.js";
+import { isExemptFile, hasEntryTrace, hasObservability, hasIntegrationTest, hasProductionImport } from "./queries.js";
+/**
+ * 孤岛模块门禁检查。
+ */
+export function orphanGate(contract, capabilityKind) {
+    const findings = [];
+    const path = contract.module_path;
+    debug("主链路接入", `开始孤岛门禁检查 — ${path}`);
+    // 豁免文件始终允许
+    const exempt = isExemptFile(path);
+    if (exempt.exempt) {
+        debug("主链路接入", "孤岛门禁 — 豁免文件 " + path + " (" + exempt.reason + ")");
+        findings.push({
+            severity: "allow",
+            module_path: path,
+            reason: `豁免文件: ${exempt.reason}`,
+            recommended_action: "allow",
+        });
+        return findings;
+    }
+    // 规则 1: 只被测试导入 → hard_fail
+    if (contract.production_imports.length === 0 && contract.integration_tests.length > 0) {
+        debug("主链路接入", "孤岛门禁 — 规则1命中: " + path + " 只被测试导入");
+        findings.push({
+            severity: "hard_fail",
+            module_path: path,
+            reason: `模块 ${path} 只被测试导入，无生产代码调用`,
+            recommended_action: "wire_to_main_path",
+        });
+    }
+    // 规则 1b: 被导入但从未被调用（仅导入）→ hard_fail
+    if (contract.production_imports.length === 0 && contract.status === "implemented_not_integrated") {
+        debug("主链路接入", "孤岛门禁 — 规则1b命中: " + path + " 被导入但从未被调用");
+        findings.push({
+            severity: "hard_fail",
+            module_path: path,
+            reason: `模块 ${path} 被导入但从未被调用，无真实调用证据`,
+            recommended_action: "wire_to_main_path",
+        });
+    }
+    // 规则 2: enforced 能力无入口链路 → hard_fail
+    if (contract.status === "implemented_not_integrated" && !hasEntryTrace(contract)) {
+        debug("主链路接入", "孤岛门禁 — 规则2命中: " + path + " 无入口链路");
+        findings.push({
+            severity: "hard_fail",
+            module_path: path,
+            reason: `新增 enforced 能力 ${path} 无入口链路`,
+            recommended_action: "add_entry_trace",
+        });
+    }
+    // 规则 3: guard/verifier/contract 只被测试调用 → hard_fail
+    if (capabilityKind &&
+        (capabilityKind === "guard" || capabilityKind === "verifier" || capabilityKind === "contract") &&
+        !hasProductionImport(contract)) {
+        debug("主链路接入", "孤岛门禁 — 规则3命中: " + capabilityKind + " " + path + " 只被测试调用");
+        findings.push({
+            severity: "hard_fail",
+            module_path: path,
+            reason: `新增 ${capabilityKind} ${path} 只被测试调用`,
+            recommended_action: "wire_to_main_path",
+        });
+    }
+    // 规则 4: 影响交付结论但无可观测证据 → hard_fail
+    if (contract.status === "integrated" &&
+        !hasObservability(contract) &&
+        (capabilityKind === "contract" || capabilityKind === "guard" || capabilityKind === "verifier")) {
+        findings.push({
+            severity: "hard_fail",
+            module_path: path,
+            reason: `新增代码影响交付结论但无可观测证据: ${path}`,
+            recommended_action: "add_entry_trace",
+        });
+    }
+    // 规则 5: 无集成测试 → hard_fail (experimental_isolated 降级 warning)
+    if (!hasIntegrationTest(contract) && contract.status !== "experimental_isolated") {
+        debug("主链路接入", "孤岛门禁 — 规则5命中: " + path + " 缺少集成测试");
+        findings.push({
+            severity: "hard_fail",
+            module_path: path,
+            reason: `模块 ${path} 缺少集成/契约测试`,
+            recommended_action: "add_integration_test",
+        });
+    }
+    // 规则 6: experimental_isolated 无入口 → warning (not hard_fail)
+    if (contract.status === "experimental_isolated" && !hasEntryTrace(contract)) {
+        findings.push({
+            severity: "warning",
+            module_path: path,
+            reason: `experimental 代码 ${path} 无入口但已明确隔离`,
+            recommended_action: "mark_experimental",
+        });
+    }
+    // 规则 7: dead_code_candidate
+    if (contract.status === "dead_code_candidate") {
+        findings.push({
+            severity: "warning",
+            module_path: path,
+            reason: `模块 ${path} 为 dead_code_candidate`,
+            recommended_action: "retire_dead_code",
+        });
+    }
+    debug("主链路接入", "孤岛门禁完成 — " + path + " 发现 " + findings.length + " 个问题");
+    return findings;
+}
+/**
+ * 集成审计。
+ */
+export function auditIntegration(contracts, capabilityKinds) {
+    debug("主链路接入", `开始集成审计 — 共 ${contracts.length} 个契约`);
+    const report = {
+        orphan_modules: [],
+        registry_only_modules: [],
+        test_only_modules: [],
+        unreachable_capabilities: [],
+        missing_observability: [],
+        required_entry_traces: [],
+        findings: [],
+    };
+    for (const c of contracts) {
+        const kind = capabilityKinds?.get(c.module_path);
+        const gateFindings = orphanGate(c, kind);
+        report.findings.push(...gateFindings);
+        if (c.production_imports.length === 0 && c.integration_tests.length > 0) {
+            report.orphan_modules.push(c.module_path);
+        }
+        if (c.production_imports.length === 0 && c.entry_traces.length === 0) {
+            report.registry_only_modules.push(c.module_path);
+        }
+        if (!hasProductionImport(c) && c.integration_tests.length > 0) {
+            report.test_only_modules.push(c.module_path);
+        }
+        if (!hasEntryTrace(c) && c.status !== "experimental_isolated") {
+            report.unreachable_capabilities.push(c.module_path);
+        }
+        if (!hasObservability(c) && c.status === "integrated") {
+            report.missing_observability.push(c.module_path);
+        }
+        if (!hasEntryTrace(c) && c.status !== "integrated" && c.status !== "experimental_isolated") {
+            report.required_entry_traces.push({
+                entry_type: "cli",
+                entry_id: `required-for-${c.module_path}`,
+                call_chain: [],
+                trigger_example: `需要为 ${c.module_path} 建立入口链路`,
+            });
+        }
+    }
+    debug("主链路接入", "集成审计完成 — 孤岛 " + report.orphan_modules.length + ", 注册表 " + report.registry_only_modules.length + ", 仅测试 " + report.test_only_modules.length + ", 不可达 " + report.unreachable_capabilities.length);
+    return report;
+}
+/**
+ * 治理验证。
+ */
+export function validateMainPathIntegration(options) {
+    const findings = [];
+    debug("主链路接入", `开始治理验证 — 共 ${options.contracts.length} 个契约`);
+    for (const c of options.contracts) {
+        const kind = options.capabilityKinds?.get(c.module_path);
+        if (c.module_path.startsWith("src/") && !hasProductionImport(c) && c.integration_tests.length > 0 && !isExemptFile(c.module_path).exempt) {
+            findings.push({
+                severity: "hard_fail",
+                rule: "gc-test-only-module",
+                module_path: c.module_path,
+                message: `新增 src/ 生产代码 ${c.module_path} 只被测试导入，必须 hard_fail`,
+            });
+        }
+        if (kind &&
+            (kind === "contract" || kind === "guard" || kind === "verifier" || kind === "workflow") &&
+            c.status !== "experimental_isolated" &&
+            !hasEntryTrace(c)) {
+            findings.push({
+                severity: "hard_fail",
+                rule: "gc-enforced-no-entry",
+                module_path: c.module_path,
+                message: `新增 enforced ${kind} ${c.module_path} 没有入口链路和真实编排路径`,
+            });
+        }
+        if (c.status === "integrated" &&
+            !hasProductionImport(c) &&
+            !hasEntryTrace(c)) {
+            findings.push({
+                severity: "hard_fail",
+                rule: "gc-registry-only-completion",
+                module_path: c.module_path,
+                message: `模块 ${c.module_path} 只有 registry/index export 引用，不得标记为 integrated`,
+            });
+        }
+        if (c.status === "integrated" &&
+            !hasIntegrationTest(c) &&
+            !isExemptFile(c.module_path).exempt) {
+            findings.push({
+                severity: "hard_fail",
+                rule: "gc-no-integration-test",
+                module_path: c.module_path,
+                message: `已接入模块 ${c.module_path} 必须有集成测试证明真实入口能触发`,
+            });
+        }
+        if (c.status === "integrated" &&
+            !hasObservability(c) &&
+            kind &&
+            (kind === "contract" || kind === "guard" || kind === "verifier" || kind === "diagnostic_code" || kind === "governance_report")) {
+            findings.push({
+                severity: "hard_fail",
+                rule: "gc-no-observability",
+                module_path: c.module_path,
+                message: `新增 ${kind} ${c.module_path} 缺少可观测痕迹`,
+            });
+        }
+        if (kind === "diagnostic_code" && !hasEntryTrace(c)) {
+            findings.push({
+                severity: "hard_fail",
+                rule: "gc-diagnostic-no-path",
+                module_path: c.module_path,
+                message: `新增诊断码 ${c.module_path} 无法由真实路径产出`,
+            });
+        }
+        if (kind === "workflow" && c.status !== "experimental_isolated" && !hasEntryTrace(c)) {
+            findings.push({
+                severity: "hard_fail",
+                rule: "gc-workflow-no-orchestration",
+                module_path: c.module_path,
+                message: `新增 workflow ${c.module_path} 没有实际编排路径`,
+            });
+        }
+        if (kind === "cli_command" && !c.entry_traces.some(t => t.entry_type === "cli")) {
+            findings.push({
+                severity: "hard_fail",
+                rule: "gc-cli-no-bin",
+                module_path: c.module_path,
+                message: `新增 CLI 能力 ${c.module_path} 必须接入 bin/soloforge`,
+            });
+        }
+        if (c.status === "experimental_isolated" && !hasEntryTrace(c)) {
+            findings.push({
+                severity: "warning",
+                rule: "gc-advisory-no-entry",
+                module_path: c.module_path,
+                message: `advisory/experimental 能力 ${c.module_path} 有 registry 但暂无入口`,
+            });
+        }
+        if (c.status === "implemented_not_integrated") {
+            findings.push({
+                severity: "warning",
+                rule: "gc-not-integrated-status",
+                module_path: c.module_path,
+                message: `模块 ${c.module_path} 状态为 implemented_not_integrated，不能标记完成`,
+            });
+        }
+    }
+    debug("主链路接入", `治理验证完成 — 发现 ${findings.length} 个问题`);
+    return findings;
+}
+/**
+ * 验证交付答案。
+ */
+export function validateDeliveryAnswers(answers) {
+    const findings = [];
+    for (const mod of answers.new_modules) {
+        if (answers.called_by.length === 0) {
+            findings.push({
+                severity: "hard_fail",
+                module_path: mod,
+                reason: `新增模块 ${mod} 没有被任何生产代码调用`,
+                recommended_action: "wire_to_main_path",
+            });
+        }
+        if (!answers.user_trigger) {
+            findings.push({
+                severity: "hard_fail",
+                module_path: mod,
+                reason: `新增模块 ${mod} 没有用户触发路径`,
+                recommended_action: "add_entry_trace",
+            });
+        }
+    }
+    for (const f of answers.test_only_files) {
+        findings.push({
+            severity: "hard_fail",
+            module_path: f,
+            reason: `文件 ${f} 只被测试导入`,
+            recommended_action: "wire_to_main_path",
+        });
+    }
+    for (const r of answers.registered_not_executed) {
+        findings.push({
+            severity: "hard_fail",
+            module_path: r,
+            reason: `能力 ${r} 只注册未执行`,
+            recommended_action: "wire_to_main_path",
+        });
+    }
+    for (const s of answers.non_integrated_statuses) {
+        if (s === "implemented_not_integrated" || s === "dead_code_candidate") {
+            findings.push({
+                severity: "warning",
+                module_path: "*",
+                reason: `存在 ${s} 状态的模块`,
+                recommended_action: "wire_to_main_path",
+            });
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=gates.js.map

package/dist/engine/audit/main_path_integration_contract/gates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gates.js","sourceRoot":"","sources":["../../../../src/engine/audit/main_path_integration_contract/gates.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE7C,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,mBAAmB,EAA6B,MAAM,cAAc,CAAC;AAGjJ;;GAEG;AACH,MAAM,UAAU,UAAU,CACxB,QAAqC,EACrC,cAA+B;IAE/B,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC;IAClC,KAAK,CAAC,OAAO,EAAE,cAAc,IAAI,EAAE,CAAC,CAAC;IAErC,WAAW;IACX,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,KAAK,CAAC,OAAO,EAAE,cAAc,GAAG,IAAI,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC;QACnE,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,OAAO;YACjB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE;YAChC,kBAAkB,EAAE,OAAO;SAC5B,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,2BAA2B;IAC3B,IAAI,QAAQ,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtF,KAAK,CAAC,OAAO,EAAE,gBAAgB,GAAG,IAAI,GAAG,SAAS,CAAC,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,MAAM,IAAI,iBAAiB;YACnC,kBAAkB,EAAE,mBAAmB;SACxC,CAAC,CAAC;IACL,CAAC;IAED,mCAAmC;IACnC,IAAI,QAAQ,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,4BAA4B,EAAE,CAAC;QACjG,KAAK,CAAC,OAAO,EAAE,iBAAiB,GAAG,IAAI,GAAG,YAAY,CAAC,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,MAAM,IAAI,oBAAoB;YACtC,kBAAkB,EAAE,mBAAmB;SACxC,CAAC,CAAC;IACL,CAAC;IAED,qCAAqC;IACrC,IAAI,QAAQ,CAAC,MAAM,KAAK,4BAA4B,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjF,KAAK,CAAC,OAAO,EAAE,gBAAgB,GAAG,IAAI,GAAG,QAAQ,CAAC,CAAC;QACnD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,kBAAkB,IAAI,QAAQ;YACtC,kBAAkB,EAAE,iBAAiB;SACtC,CAAC,CAAC;IACL,CAAC;IAED,mDAAmD;IACnD,IACE,cAAc;QACd,CAAC,cAAc,KAAK,OAAO,IAAI,cAAc,KAAK,UAAU,IAAI,cAAc,KAAK,UAAU,CAAC;QAC9F,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAC9B,CAAC;QACD,KAAK,CAAC,OAAO,EAAE,gBAAgB,GAAG,cAAc,GAAG,GAAG,GAAG,IAAI,GAAG,SAAS,CAAC,CAAC;QAC3E,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,MAAM,cAAc,IAAI,IAAI,SAAS;YAC7C,kBAAkB,EAAE,mBAAmB;SACxC,CAAC,CAAC;IACL,CAAC;IAED,kCAAkC;IAClC,IACE,QAAQ,CAAC,MAAM,KAAK,YAAY;QAChC,CAAC,gBAAgB,CAAC,QAAQ,CAAC;QAC3B,CAAC,cAAc,KAAK,UAAU,IAAI,cAAc,KAAK,OAAO,IAAI,cAAc,KAAK,UAAU,CAAC,EAC9F,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,sBAAsB,IAAI,EAAE;YACpC,kBAAkB,EAAE,iBAAiB;SACtC,CAAC,CAAC;IACL,CAAC;IAED,6DAA6D;IAC7D,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,uBAAuB,EAAE,CAAC;QACjF,KAAK,CAAC,OAAO,EAAE,gBAAgB,GAAG,IAAI,GAAG,SAAS,CAAC,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,MAAM,IAAI,YAAY;YAC9B,kBAAkB,EAAE,sBAAsB;SAC3C,CAAC,CAAC;IACL,CAAC;IAED,4DAA4D;IAC5D,IAAI,QAAQ,CAAC,MAAM,KAAK,uBAAuB,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5E,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,SAAS;YACnB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,mBAAmB,IAAI,YAAY;YAC3C,kBAAkB,EAAE,mBAAmB;SACxC,CAAC,CAAC;IACL,CAAC;IAED,4BAA4B;IAC5B,IAAI,QAAQ,CAAC,MAAM,KAAK,qBAAqB,EAAE,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,SAAS;YACnB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,MAAM,IAAI,wBAAwB;YAC1C,kBAAkB,EAAE,kBAAkB;SACvC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,GAAG,MAAM,GAAG,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IACvE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAwC,EACxC,eAA6C;IAE7C,KAAK,CAAC,OAAO,EAAE,cAAc,SAAS,CAAC,MAAM,MAAM,CAAC,CAAC;IACrD,MAAM,MAAM,GAA2B;QACrC,cAAc,EAAE,EAAE;QAClB,qBAAqB,EAAE,EAAE;QACzB,iBAAiB,EAAE,EAAE;QACrB,wBAAwB,EAAE,EAAE;QAC5B,qBAAqB,EAAE,EAAE;QACzB,qBAAqB,EAAE,EAAE;QACzB,QAAQ,EAAE,EAAE;KACb,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,eAAe,EAAE,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACzC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC;QAEtC,IAAI,CAAC,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAC5C,CAAC;QAED,IAAI,CAAC,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrE,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAC/C,CAAC;QAED,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,uBAAuB,EAAE,CAAC;YAC9D,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACtD,CAAC;QAED,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;YACtD,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,uBAAuB,EAAE,CAAC;YAC3F,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAChC,UAAU,EAAE,KAAK;gBACjB,QAAQ,EAAE,gBAAgB,CAAC,CAAC,WAAW,EAAE;gBACzC,UAAU,EAAE,EAAE;gBACd,eAAe,EAAE,OAAO,CAAC,CAAC,WAAW,SAAS;aAC/C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,CAAC,OAAO,EAAE,cAAc,GAAE,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,QAAQ,GAAE,MAAM,CAAC,qBAAqB,CAAC,MAAM,GAAG,QAAQ,GAAE,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,QAAQ,GAAE,MAAM,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;IAC5M,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,2BAA2B,CAAC,OAG3C;IACC,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,KAAK,CAAC,OAAO,EAAE,cAAc,OAAO,CAAC,SAAS,CAAC,MAAM,MAAM,CAAC,CAAC;IAE7D,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAEzD,IAAI,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,CAAC;YACzI,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,qBAAqB;gBAC3B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,gBAAgB,CAAC,CAAC,WAAW,sBAAsB;aAC7D,CAAC,CAAC;QACL,CAAC;QAED,IACE,IAAI;YACJ,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,UAAU,CAAC;YACvF,CAAC,CAAC,MAAM,KAAK,uBAAuB;YACpC,CAAC,aAAa,CAAC,CAAC,CAAC,EACjB,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,sBAAsB;gBAC5B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,eAAe,IAAI,IAAI,CAAC,CAAC,WAAW,gBAAgB;aAC9D,CAAC,CAAC;QACL,CAAC;QAED,IACE,CAAC,CAAC,MAAM,KAAK,YAAY;YACzB,CAAC,mBAAmB,CAAC,CAAC,CAAC;YACvB,CAAC,aAAa,CAAC,CAAC,CAAC,EACjB,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,6BAA6B;gBACnC,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,+CAA+C;aAC5E,CAAC,CAAC;QACL,CAAC;QAED,IACE,CAAC,CAAC,MAAM,KAAK,YAAY;YACzB,CAAC,kBAAkB,CAAC,CAAC,CAAC;YACtB,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,EACnC,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,wBAAwB;gBAC9B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,SAAS,CAAC,CAAC,WAAW,mBAAmB;aACnD,CAAC,CAAC;QACL,CAAC;QAED,IACE,CAAC,CAAC,MAAM,KAAK,YAAY;YACzB,CAAC,gBAAgB,CAAC,CAAC,CAAC;YACpB,IAAI;YACJ,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,iBAAiB,IAAI,IAAI,KAAK,mBAAmB,CAAC,EAC9H,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,qBAAqB;gBAC3B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC,WAAW,UAAU;aAC/C,CAAC,CAAC;QACL,CAAC;QAED,IAAI,IAAI,KAAK,iBAAiB,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,uBAAuB;gBAC7B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,SAAS,CAAC,CAAC,WAAW,YAAY;aAC5C,CAAC,CAAC;QACL,CAAC;QAED,IAAI,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,uBAAuB,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACrF,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,8BAA8B;gBACpC,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,eAAe,CAAC,CAAC,WAAW,WAAW;aACjD,CAAC,CAAC;QACL,CAAC;QAED,IAAI,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,EAAE,CAAC;YAChF,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,eAAe;gBACrB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,aAAa,CAAC,CAAC,WAAW,qBAAqB;aACzD,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,CAAC,MAAM,KAAK,uBAAuB,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,sBAAsB;gBAC5B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,4BAA4B,CAAC,CAAC,WAAW,mBAAmB;aACtE,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,CAAC,MAAM,KAAK,4BAA4B,EAAE,CAAC;YAC9C,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,0BAA0B;gBAChC,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,wCAAwC;aACrE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,CAAC,OAAO,EAAE,eAAe,QAAQ,CAAC,MAAM,MAAM,CAAC,CAAC;IACrD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAA6C;IACnF,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAE1C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,GAAG;gBAChB,MAAM,EAAE,QAAQ,GAAG,cAAc;gBACjC,kBAAkB,EAAE,mBAAmB;aACxC,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,GAAG;gBAChB,MAAM,EAAE,QAAQ,GAAG,WAAW;gBAC9B,kBAAkB,EAAE,iBAAiB;aACtC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,CAAC;YACd,MAAM,EAAE,MAAM,CAAC,SAAS;YACxB,kBAAkB,EAAE,mBAAmB;SACxC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,uBAAuB,EAAE,CAAC;QAChD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,CAAC;YACd,MAAM,EAAE,MAAM,CAAC,SAAS;YACxB,kBAAkB,EAAE,mBAAmB;SACxC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,uBAAuB,EAAE,CAAC;QAChD,IAAI,CAAC,KAAK,4BAA4B,IAAI,CAAC,KAAK,qBAAqB,EAAE,CAAC;YACtE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,WAAW,EAAE,GAAG;gBAChB,MAAM,EAAE,MAAM,CAAC,QAAQ;gBACvB,kBAAkB,EAAE,mBAAmB;aACxC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/engine/audit/main_path_integration_contract/index.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Main Path Integration Contract — 统一入口
+ *
+ * 新增能力主链路接入防孤岛机制。
+ * 任何新增生产代码不能只证明"文件存在、单测通过"，必须证明它已经进入
+ * 真实主链路，并能被用户入口触发、被生产代码调用、留下可观测证据、通过集成验证。
+ *
+ * 核心完成定义:
+ * Done = implemented + wired + reachable + observable + verified
+ */
+export type { IntegrationStatus, EntryType, EntryPointTrace, MainPathIntegrationContract, RecommendedAction, IntegrationFinding, IntegrationAuditReport, CapabilityKind, MainPathGovernanceFinding, DeliveryAnswers, ScanConfig, CallEvidence, ImporterScanResult, } from "./types.js";
+export { NON_INTEGRATION_REFERENCES, EXEMPT_PATTERNS, SOLOFORGE_WIRING_RULES } from "./constants.js";
+export { isExemptFile, isNonIntegrationReference, getWiringRequirement, isTestOnlyModule, isRegistryOnlyModule, hasEntryTrace, hasObservability, hasIntegrationTest, hasProductionImport, statusLabel, entryTypeLabel, } from "./queries.js";
+export { orphanGate, auditIntegration, validateMainPathIntegration, validateDeliveryAnswers, } from "./gates.js";
+export { createMainPathIntegrationContract, createEntryPointTrace, buildIntegrationFeedback, } from "./factories.js";
+export { isProductionFile, walkDir, extractImportPaths, resolveImportPath, computeJavaFqn, scanModuleImporters, identifyProjectEntryPoints, traceModuleReachability, collectModuleObservability, findIntegrationTests, buildMainPathIntegrationContracts, collectAllProductionFiles, } from "./scanning.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/engine/audit/main_path_integration_contract/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/engine/audit/main_path_integration_contract/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,YAAY,EACV,iBAAiB,EACjB,SAAS,EACT,eAAe,EACf,2BAA2B,EAC3B,iBAAiB,EACjB,kBAAkB,EAClB,sBAAsB,EACtB,cAAc,EACd,yBAAyB,EACzB,eAAe,EACf,UAAU,EACV,YAAY,EACZ,kBAAkB,GACnB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,0BAA0B,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAGrG,OAAO,EACL,YAAY,EACZ,yBAAyB,EACzB,oBAAoB,EACpB,gBAAgB,EAChB,oBAAoB,EACpB,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,WAAW,EACX,cAAc,GACf,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,UAAU,EACV,gBAAgB,EAChB,2BAA2B,EAC3B,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,iCAAiC,EACjC,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,gBAAgB,EAChB,OAAO,EACP,kBAAkB,EAClB,iBAAiB,EACjB,cAAc,EACd,mBAAmB,EACnB,0BAA0B,EAC1B,uBAAuB,EACvB,0BAA0B,EAC1B,oBAAoB,EACpB,iCAAiC,EACjC,yBAAyB,GAC1B,MAAM,eAAe,CAAC"}

package/dist/engine/audit/main_path_integration_contract/index.js

@@ -0,0 +1,21 @@
+/**
+ * Main Path Integration Contract — 统一入口
+ *
+ * 新增能力主链路接入防孤岛机制。
+ * 任何新增生产代码不能只证明"文件存在、单测通过"，必须证明它已经进入
+ * 真实主链路，并能被用户入口触发、被生产代码调用、留下可观测证据、通过集成验证。
+ *
+ * 核心完成定义:
+ * Done = implemented + wired + reachable + observable + verified
+ */
+// ── 常量导出 ──
+export { NON_INTEGRATION_REFERENCES, EXEMPT_PATTERNS, SOLOFORGE_WIRING_RULES } from "./constants.js";
+// ── 查询函数导出 ──
+export { isExemptFile, isNonIntegrationReference, getWiringRequirement, isTestOnlyModule, isRegistryOnlyModule, hasEntryTrace, hasObservability, hasIntegrationTest, hasProductionImport, statusLabel, entryTypeLabel, } from "./queries.js";
+// ── 门禁/审计/治理导出 ──
+export { orphanGate, auditIntegration, validateMainPathIntegration, validateDeliveryAnswers, } from "./gates.js";
+// ── 工厂函数导出 ──
+export { createMainPathIntegrationContract, createEntryPointTrace, buildIntegrationFeedback, } from "./factories.js";
+// ── 扫描基础设施导出 ──
+export { isProductionFile, walkDir, extractImportPaths, resolveImportPath, computeJavaFqn, scanModuleImporters, identifyProjectEntryPoints, traceModuleReachability, collectModuleObservability, findIntegrationTests, buildMainPathIntegrationContracts, collectAllProductionFiles, } from "./scanning.js";
+//# sourceMappingURL=index.js.map

package/dist/engine/audit/main_path_integration_contract/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/engine/audit/main_path_integration_contract/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAmBH,aAAa;AACb,OAAO,EAAE,0BAA0B,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAErG,eAAe;AACf,OAAO,EACL,YAAY,EACZ,yBAAyB,EACzB,oBAAoB,EACpB,gBAAgB,EAChB,oBAAoB,EACpB,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,WAAW,EACX,cAAc,GACf,MAAM,cAAc,CAAC;AAEtB,mBAAmB;AACnB,OAAO,EACL,UAAU,EACV,gBAAgB,EAChB,2BAA2B,EAC3B,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAEpB,eAAe;AACf,OAAO,EACL,iCAAiC,EACjC,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,gBAAgB,CAAC;AAExB,iBAAiB;AACjB,OAAO,EACL,gBAAgB,EAChB,OAAO,EACP,kBAAkB,EAClB,iBAAiB,EACjB,cAAc,EACd,mBAAmB,EACnB,0BAA0B,EAC1B,uBAAuB,EACvB,0BAA0B,EAC1B,oBAAoB,EACpB,iCAAiC,EACjC,yBAAyB,GAC1B,MAAM,eAAe,CAAC"}

package/dist/engine/audit/main_path_integration_contract/queries.d.ts

@@ -0,0 +1,46 @@
+/**
+ * Main Path Integration Contract — 查询函数
+ */
+import type { MainPathIntegrationContract, CapabilityKind, IntegrationStatus, EntryType } from "./types.js";
+/**
+ * 判断文件是否为豁免文件。
+ */
+export declare function isExemptFile(modulePath: string): {
+    exempt: boolean;
+    reason?: string;
+};
+/**
+ * 判断引用类型是否为非接入引用。
+ */
+export declare function isNonIntegrationReference(refType: string): boolean;
+/**
+ * 获取指定能力类型的接入要求。
+ */
+export declare function getWiringRequirement(kind: CapabilityKind): string;
+/** 判断模块是否只被测试导入 */
+export declare function isTestOnlyModule(modulePath: string, importers: Array<{
+    path: string;
+    ref_type: string;
+}>): boolean;
+/** 判断模块是否只有 registry/index export 引用 */
+export declare function isRegistryOnlyModule(modulePath: string, importers: Array<{
+    path: string;
+    ref_type: string;
+}>): boolean;
+/** 判断契约是否有入口链路 */
+export declare function hasEntryTrace(contract: MainPathIntegrationContract): boolean;
+/** 判断契约是否有可观测证据 */
+export declare function hasObservability(contract: MainPathIntegrationContract): boolean;
+/** 判断契约是否有集成测试 */
+export declare function hasIntegrationTest(contract: MainPathIntegrationContract): boolean;
+/** 判断契约是否有生产调用 */
+export declare function hasProductionImport(contract: MainPathIntegrationContract): boolean;
+/**
+ * 获取接入状态的中文标签。
+ */
+export declare function statusLabel(status: IntegrationStatus): string;
+/**
+ * 获取入口类型的中文标签。
+ */
+export declare function entryTypeLabel(type: EntryType): string;
+//# sourceMappingURL=queries.d.ts.map

package/dist/engine/audit/main_path_integration_contract/queries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.d.ts","sourceRoot":"","sources":["../../../../src/engine/audit/main_path_integration_contract/queries.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,2BAA2B,EAAE,cAAc,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5G;;GAEG;AACH,wBAAgB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAOrF;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAElE;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,CAEjE;AAED,mBAAmB;AACnB,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,GACnD,OAAO,CAQT;AAED,wCAAwC;AACxC,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,GACnD,OAAO,CAKT;AAED,kBAAkB;AAClB,wBAAgB,aAAa,CAAC,QAAQ,EAAE,2BAA2B,GAAG,OAAO,CAG5E;AAED,mBAAmB;AACnB,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,2BAA2B,GAAG,OAAO,CAE/E;AAED,kBAAkB;AAClB,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,2BAA2B,GAAG,OAAO,CAEjF;AAED,kBAAkB;AAClB,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,2BAA2B,GAAG,OAAO,CAElF;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAS7D;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAgBtD"}

package/dist/engine/audit/main_path_integration_contract/queries.js

@@ -0,0 +1,91 @@
+/**
+ * Main Path Integration Contract — 查询函数
+ */
+import { EXEMPT_PATTERNS, NON_INTEGRATION_REFERENCES, SOLOFORGE_WIRING_RULES } from "./constants.js";
+/**
+ * 判断文件是否为豁免文件。
+ */
+export function isExemptFile(modulePath) {
+    for (const { pattern, reason } of EXEMPT_PATTERNS) {
+        if (pattern.test(modulePath)) {
+            return { exempt: true, reason };
+        }
+    }
+    return { exempt: false };
+}
+/**
+ * 判断引用类型是否为非接入引用。
+ */
+export function isNonIntegrationReference(refType) {
+    return NON_INTEGRATION_REFERENCES.includes(refType);
+}
+/**
+ * 获取指定能力类型的接入要求。
+ */
+export function getWiringRequirement(kind) {
+    return SOLOFORGE_WIRING_RULES[kind];
+}
+/** 判断模块是否只被测试导入 */
+export function isTestOnlyModule(modulePath, importers) {
+    const prodImporters = importers.filter((i) => !i.path.startsWith("tests/") &&
+        !i.path.includes(".test.") &&
+        !i.path.includes(".spec.") &&
+        !isNonIntegrationReference(i.ref_type));
+    return prodImporters.length === 0 && importers.length > 0;
+}
+/** 判断模块是否只有 registry/index export 引用 */
+export function isRegistryOnlyModule(modulePath, importers) {
+    const realImporters = importers.filter((i) => !isNonIntegrationReference(i.ref_type));
+    return realImporters.length === 0 && importers.length > 0;
+}
+/** 判断契约是否有入口链路 */
+export function hasEntryTrace(contract) {
+    return contract.entry_traces.length > 0 &&
+        contract.entry_traces.some((t) => t.call_chain.length > 0);
+}
+/** 判断契约是否有可观测证据 */
+export function hasObservability(contract) {
+    return contract.observability_refs.length > 0;
+}
+/** 判断契约是否有集成测试 */
+export function hasIntegrationTest(contract) {
+    return contract.integration_tests.length > 0;
+}
+/** 判断契约是否有生产调用 */
+export function hasProductionImport(contract) {
+    return contract.production_imports.length > 0;
+}
+/**
+ * 获取接入状态的中文标签。
+ */
+export function statusLabel(status) {
+    const labels = {
+        integrated: "已接入",
+        implemented_not_integrated: "已实现未接入",
+        experimental_isolated: "实验性隔离",
+        planned_integration: "计划接入",
+        dead_code_candidate: "废弃候选",
+    };
+    return labels[status];
+}
+/**
+ * 获取入口类型的中文标签。
+ */
+export function entryTypeLabel(type) {
+    const labels = {
+        cli: "CLI 命令",
+        mcp_tool: "MCP 工具",
+        workflow: "工作流",
+        adapter_prompt: "Adapter 提示",
+        frontend_route: "前端路由",
+        backend_route: "后端路由",
+        job: "后台任务",
+        consumer: "消费者",
+        cron: "定时任务",
+        webhook: "Webhook",
+        public_api: "公开 API",
+        command: "命令",
+    };
+    return labels[type];
+}
+//# sourceMappingURL=queries.js.map

package/dist/engine/audit/main_path_integration_contract/queries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.js","sourceRoot":"","sources":["../../../../src/engine/audit/main_path_integration_contract/queries.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,eAAe,EAAE,0BAA0B,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAErG;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,UAAkB;IAC7C,KAAK,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;QAClD,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7B,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAClC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAAe;IACvD,OAAQ,0BAAgD,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;AAC7E,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAoB;IACvD,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED,mBAAmB;AACnB,MAAM,UAAU,gBAAgB,CAC9B,UAAkB,EAClB,SAAoD;IAEpD,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAC5B,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC1B,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC1B,CAAC,yBAAyB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAC9C,CAAC;IACF,OAAO,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;AAC5D,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,oBAAoB,CAClC,UAAkB,EAClB,SAAoD;IAEpD,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAC9C,CAAC;IACF,OAAO,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;AAC5D,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,aAAa,CAAC,QAAqC;IACjE,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QACrC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,mBAAmB;AACnB,MAAM,UAAU,gBAAgB,CAAC,QAAqC;IACpE,OAAO,QAAQ,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;AAChD,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,kBAAkB,CAAC,QAAqC;IACtE,OAAO,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;AAC/C,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,mBAAmB,CAAC,QAAqC;IACvE,OAAO,QAAQ,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;AAChD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,MAAyB;IACnD,MAAM,MAAM,GAAsC;QAChD,UAAU,EAAE,KAAK;QACjB,0BAA0B,EAAE,QAAQ;QACpC,qBAAqB,EAAE,OAAO;QAC9B,mBAAmB,EAAE,MAAM;QAC3B,mBAAmB,EAAE,MAAM;KAC5B,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAe;IAC5C,MAAM,MAAM,GAA8B;QACxC,GAAG,EAAE,QAAQ;QACb,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,KAAK;QACf,cAAc,EAAE,YAAY;QAC5B,cAAc,EAAE,MAAM;QACtB,aAAa,EAAE,MAAM;QACrB,GAAG,EAAE,MAAM;QACX,QAAQ,EAAE,KAAK;QACf,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,SAAS;QAClB,UAAU,EAAE,QAAQ;QACpB,OAAO,EAAE,IAAI;KACd,CAAC;IACF,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC"}

package/dist/engine/audit/main_path_integration_contract/scanning.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Main Path Integration Contract — 核心扫描（模块导入扫描 + 可达性追踪 + 集成测试发现 + 契约构建）
+ */
+import type { EntryPointTrace, ScanConfig, ImporterScanResult, MainPathIntegrationContract } from "./types.js";
+export { isProductionFile, walkDir, extractImportPaths, resolveImportPath, computeJavaFqn } from "./scanning_infra.js";
+export declare function scanModuleImporters(projectPath: string, moduleRelPath: string): ImporterScanResult;
+export declare function identifyProjectEntryPoints(projectPath: string): EntryPointTrace[];
+export declare function traceModuleReachability(projectPath: string, moduleRelPath: string, entryPoints: EntryPointTrace[]): EntryPointTrace[];
+export declare function collectModuleObservability(projectPath: string, moduleRelPath: string): string[];
+export declare function findIntegrationTests(projectPath: string, moduleRelPath: string): string[];
+export declare function buildMainPathIntegrationContracts(projectPath: string, changedFiles: string[], config?: ScanConfig): MainPathIntegrationContract[];
+export declare function collectAllProductionFiles(projectPath: string, config?: ScanConfig): string[];
+//# sourceMappingURL=scanning.d.ts.map

package/dist/engine/audit/main_path_integration_contract/scanning.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scanning.d.ts","sourceRoot":"","sources":["../../../../src/engine/audit/main_path_integration_contract/scanning.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH,OAAO,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,kBAAkB,EAAE,2BAA2B,EAAgC,MAAM,YAAY,CAAC;AAyB7I,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAEvH,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,MAAM,EACnB,aAAa,EAAE,MAAM,GACpB,kBAAkB,CA2HpB;AAED,wBAAgB,0BAA0B,CAAC,WAAW,EAAE,MAAM,GAAG,eAAe,EAAE,CA4CjF;AAED,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EACnB,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,eAAe,EAAE,GAC7B,eAAe,EAAE,CAsCnB;AAgFD,wBAAgB,0BAA0B,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,MAAM,EAAE,CAsC/F;AAED,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,MAAM,EAAE,CAmEzF;AAED,wBAAgB,iCAAiC,CAC/C,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM,EAAE,EACtB,MAAM,CAAC,EAAE,UAAU,GAClB,2BAA2B,EAAE,CA0D/B;AAED,wBAAgB,yBAAyB,CACvC,WAAW,EAAE,MAAM,EACnB,MAAM,CAAC,EAAE,UAAU,GAClB,MAAM,EAAE,CAeV"}