spectra-cli 4.1.1 → 4.3.0

package/dist/knowledge-graph/call-resolver.js

@@ -0,0 +1,323 @@
+/**
+ * Stage 决策表（plan §3.2）：
+ *
+ * | Stage | 条件 | confidence |
+ * |-------|------|-----------|
+ * | 1 free | calleeKind=free 且 callee 在同模块 export | high |
+ * | 2 member（双重验证）| className 在 moduleSymbol + callee 在 classMember | high |
+ * | 2 member（MRO 父类命中）| 自身 members 不含但 ≤8 层 MRO 父类含 | medium |
+ * | 2 member（占位）| 类可定位但 callee 既不在自身也不在 MRO | medium 占位 |
+ * | 2 member（类无法定位）| className 缺失或未导出 | medium |
+ * | 3 cross-module | import 表命中（非 star） | medium |
+ * | 3 cross-module（import \*）| 通配 import | low |
+ * | 4 super MRO | super() 且 ≤8 层 MRO 命中 | low |
+ * | 4 unresolved | dunder / decorator / 全部 fallthrough | low |
+ * | dynamic call | mapper 抽取层 skip，resolver 兜底 null | null（skip）|
+ */
+export function resolveCalls(callSites, codeSkeletons) {
+    // 预构建 4 个一次性索引（性能优化 + 算法清晰度）
+    const moduleSymbolIndex = buildModuleSymbolIndex(codeSkeletons);
+    const classMemberIndex = buildClassMemberIndex(codeSkeletons);
+    const importIndex = buildImportIndex(codeSkeletons);
+    const classMroIndex = buildClassMroIndex(codeSkeletons);
+    const edges = [];
+    for (const cs of callSites) {
+        const edge = resolveOne(cs, {
+            moduleSymbolIndex,
+            classMemberIndex,
+            importIndex,
+            classMroIndex,
+        });
+        if (edge)
+            edges.push(edge);
+    }
+    return edges;
+}
+export function buildModuleSymbolIndex(codeSkeletons) {
+    const idx = new Map();
+    for (const [filePath, sk] of codeSkeletons) {
+        const names = new Set();
+        for (const exp of sk.exports) {
+            names.add(exp.name);
+        }
+        idx.set(filePath, names);
+    }
+    return idx;
+}
+export function buildClassMemberIndex(codeSkeletons) {
+    const idx = new Map();
+    for (const [filePath, sk] of codeSkeletons) {
+        for (const exp of sk.exports) {
+            if (!exp.members || exp.members.length === 0)
+                continue;
+            // 仅 class / interface / struct / data_class 等"含方法"的类型才有意义
+            const classKey = `${filePath}::${exp.name}`;
+            const memberNames = new Set();
+            for (const m of exp.members) {
+                memberNames.add(m.name);
+            }
+            idx.set(classKey, memberNames);
+        }
+    }
+    return idx;
+}
+export function buildImportIndex(codeSkeletons) {
+    const idx = new Map();
+    for (const [filePath, sk] of codeSkeletons) {
+        const aliasToTarget = new Map();
+        const starImportTargets = new Set();
+        for (const imp of sk.imports) {
+            const target = imp.resolvedPath ?? null;
+            // namedImports：每个名字单独放索引
+            if (imp.namedImports && imp.namedImports.length > 0) {
+                for (const name of imp.namedImports) {
+                    // import * 在 namedImports 中通常表现为 '*' 字符串
+                    if (name === '*') {
+                        if (target)
+                            starImportTargets.add(target);
+                    }
+                    else {
+                        aliasToTarget.set(name, target);
+                    }
+                }
+            }
+            // defaultImport：作为别名直接放
+            if (imp.defaultImport) {
+                aliasToTarget.set(imp.defaultImport, target);
+            }
+            // 没有 named/default 时（如 Python 的 from X import * 或 import X），
+            // 把 moduleSpecifier 的最后一段 + 整个 module 作为 alias
+            if ((!imp.namedImports || imp.namedImports.length === 0) &&
+                !imp.defaultImport) {
+                const lastSeg = imp.moduleSpecifier.split('.').pop() ?? imp.moduleSpecifier;
+                aliasToTarget.set(lastSeg, target);
+                aliasToTarget.set(imp.moduleSpecifier, target);
+            }
+        }
+        idx.set(filePath, { aliasToTarget, starImportTargets });
+    }
+    return idx;
+}
+export function buildClassMroIndex(codeSkeletons) {
+    const idx = new Map();
+    // 简化版：从 ExportSymbol.signature 中尝试解析继承关系（如 "class Foo(Bar, Baz):"）。
+    // 这里只做 best-effort 提取；更完整的 MRO 解析留给后续 Feature。
+    // Codex P1 W-3 修订：用 bracket-aware split 而不是简单 split(',')，避免 `Generic[T, U]` 拆坏
+    const SUPERCLASS_RE = /class\s+\w+\s*\(\s*([^)]+)\s*\)/;
+    for (const [filePath, sk] of codeSkeletons) {
+        for (const exp of sk.exports) {
+            if (exp.kind !== 'class' && exp.kind !== 'interface')
+                continue;
+            const match = SUPERCLASS_RE.exec(exp.signature);
+            if (!match || !match[1])
+                continue;
+            const supers = bracketAwareSplit(match[1])
+                .map((s) => s.trim())
+                .map((s) => stripGenericParams(s)) // `Generic[T]` → `Generic`
+                .filter((s) => s.length > 0 && s !== 'object');
+            if (supers.length > 0) {
+                idx.set(`${filePath}::${exp.name}`, supers);
+            }
+        }
+    }
+    return idx;
+}
+/**
+ * 仅在顶层 `,` 处分割（忽略括号 / 方括号 / 尖括号 / 圆括号内的逗号）。
+ * 用于解析类继承列表，避免 `Generic[T, U]` 被误拆。
+ */
+function bracketAwareSplit(input) {
+    const out = [];
+    let depth = 0;
+    let buf = '';
+    for (let i = 0; i < input.length; i++) {
+        const ch = input[i];
+        if (ch === '[' || ch === '(' || ch === '<')
+            depth++;
+        else if (ch === ']' || ch === ')' || ch === '>')
+            depth = Math.max(0, depth - 1);
+        if (ch === ',' && depth === 0) {
+            if (buf.length > 0)
+                out.push(buf);
+            buf = '';
+        }
+        else {
+            buf += ch;
+        }
+    }
+    if (buf.length > 0)
+        out.push(buf);
+    return out;
+}
+/** 剥离 `Generic[T, U]` 末尾的参数化部分，返回 `Generic`。 */
+function stripGenericParams(name) {
+    const idx = name.indexOf('[');
+    if (idx < 0)
+        return name;
+    return name.slice(0, idx).trim();
+}
+// ───────────────────────────────────────────────────────────
+// resolveOne — 单个 CallSite 走 4 阶段，返回 UnifiedEdge 或 null（skip）
+// ───────────────────────────────────────────────────────────
+const MAX_MRO_DEPTH = 8; // EC-4：MRO 死循环兜底
+function resolveOne(cs, indices) {
+    const { moduleSymbolIndex, classMemberIndex, importIndex, classMroIndex } = indices;
+    // ─── Stage 1: free function ───
+    if (cs.calleeKind === 'free') {
+        const localExports = moduleSymbolIndex.get(cs.callerFile);
+        if (localExports?.has(cs.calleeName)) {
+            return mkEdge(cs, `${cs.callerFile}::${cs.calleeName}`, 'high');
+        }
+        // 否则 fallthrough 到 Stage 3（可能是 cross-module 但 calleeKind 标错为 free）
+        // 不立即返回，让后续 stage 处理
+    }
+    // ─── Stage 2: member（self.x / Class.x，Codex C-4 双重验证 + Codex P1 C-2 qualifier）───
+    if (cs.calleeKind === 'member') {
+        // Codex P1 C-2 修订：优先用 calleeQualifier 定位 className（Class.method 形式），
+        // 否则回退 callerContext（self.method / cls.method 形式）
+        const className = cs.calleeQualifier ?? extractClassName(cs.callerContext);
+        if (className && moduleSymbolIndex.get(cs.callerFile)?.has(className)) {
+            const classKey = `${cs.callerFile}::${className}`;
+            // 第一重验证：自身 class.members
+            if (classMemberIndex.get(classKey)?.has(cs.calleeName)) {
+                return mkEdge(cs, `${classKey}.${cs.calleeName}`, 'high');
+            }
+            // 第二重验证：MRO 父类（≤ MAX_MRO_DEPTH 层）
+            const mroEdge = lookupInMro(classKey, cs.calleeName, classMroIndex, classMemberIndex, importIndex.get(cs.callerFile));
+            if (mroEdge) {
+                return mkEdge(cs, mroEdge, 'medium');
+            }
+            // 类存在但方法既不在自身也不在 MRO 父类 — medium 占位
+            return mkEdge(cs, `${classKey}.${cs.calleeName}`, 'medium');
+        }
+        // className 不在本模块 export 表 — 尝试 importIndex（Class 来自其他模块）
+        if (className) {
+            const imports = importIndex.get(cs.callerFile);
+            const classFile = imports?.aliasToTarget.get(className);
+            if (classFile) {
+                const remoteClassKey = `${classFile}::${className}`;
+                if (classMemberIndex.get(remoteClassKey)?.has(cs.calleeName)) {
+                    return mkEdge(cs, `${remoteClassKey}.${cs.calleeName}`, 'medium');
+                }
+                // 类来自外部但 members 不可见（可能是非项目模块）— medium 占位
+                return mkEdge(cs, `${remoteClassKey}.${cs.calleeName}`, 'medium');
+            }
+        }
+        // 类无法定位 — medium
+        return mkEdge(cs, `?::${cs.calleeName}`, 'medium');
+    }
+    // ─── Stage 3: cross-module ───
+    // calleeKind=cross-module 显式走，或 Stage 1 free 未命中 fallthrough
+    // Codex P1 C-2 修订：优先用 calleeQualifier 定位 module，否则回退 calleeName
+    if (cs.calleeKind === 'cross-module' || cs.calleeKind === 'free') {
+        const imports = importIndex.get(cs.callerFile);
+        if (imports) {
+            const lookupKey = cs.calleeQualifier ?? cs.calleeName;
+            const target = imports.aliasToTarget.get(lookupKey);
+            if (target) {
+                const isStar = imports.starImportTargets.has(target);
+                const tier = isStar ? 'low' : 'medium';
+                return mkEdge(cs, `${target}::${cs.calleeName}`, tier);
+            }
+        }
+    }
+    // ─── Stage 4: super / dunder / decorator / unresolved ───
+    if (cs.calleeKind === 'super') {
+        const className = extractClassName(cs.callerContext);
+        if (className) {
+            const classKey = `${cs.callerFile}::${className}`;
+            const mroTarget = lookupInMro(classKey, cs.calleeName, classMroIndex, classMemberIndex, importIndex.get(cs.callerFile));
+            if (mroTarget) {
+                return mkEdge(cs, mroTarget, 'low');
+            }
+        }
+    }
+    if (cs.calleeKind === 'unresolved' ||
+        cs.calleeKind === 'dunder' ||
+        cs.calleeKind === 'decorator' ||
+        cs.calleeKind === 'super' ||
+        cs.calleeKind === 'free') {
+        // 全部 fallthrough — low confidence 占位
+        return mkEdge(cs, `?::${cs.calleeName}`, 'low');
+    }
+    // dynamic call / 未知 calleeKind — skip（不输出，不污染 precision）
+    return null;
+}
+// ───────────────────────────────────────────────────────────
+// 辅助函数
+// ───────────────────────────────────────────────────────────
+/**
+ * 从 callerContext 字符串提取 className。
+ *
+ * 约定格式：
+ * - "ClassName.method" → "ClassName"
+ * - "method" / 无点号 → undefined（顶层函数）
+ * - "Outer.Inner.method" → "Inner"（取最后一个点之前的段）
+ */
+export function extractClassName(callerContext) {
+    if (!callerContext)
+        return undefined;
+    const lastDot = callerContext.lastIndexOf('.');
+    if (lastDot < 0)
+        return undefined;
+    // 取最后一个点之前的所有内容；如果还有点（嵌套），取最后一段
+    const beforeMethod = callerContext.slice(0, lastDot);
+    const lastDotInClass = beforeMethod.lastIndexOf('.');
+    if (lastDotInClass < 0)
+        return beforeMethod;
+    return beforeMethod.slice(lastDotInClass + 1);
+}
+/**
+ * 在 ≤ MAX_MRO_DEPTH 层 MRO 父类中查找方法。
+ *
+ * 返回命中时的 target ID（"file::Class.method" 形式）；未命中返回 null。
+ * EC-4：硬上限防御类继承环。
+ */
+function lookupInMro(classKey, methodName, classMroIndex, classMemberIndex, callerImports) {
+    const visited = new Set();
+    const queue = [{ key: classKey, depth: 0 }];
+    while (queue.length > 0) {
+        const head = queue.shift();
+        if (!head)
+            break;
+        const { key, depth } = head;
+        if (visited.has(key) || depth >= MAX_MRO_DEPTH)
+            continue;
+        visited.add(key);
+        const supers = classMroIndex.get(key);
+        if (!supers)
+            continue;
+        for (const superName of supers) {
+            // 优先尝试同模块
+            const filePart = key.split('::')[0] ?? '';
+            const sameFileKey = `${filePart}::${superName}`;
+            if (classMemberIndex.get(sameFileKey)?.has(methodName)) {
+                return `${sameFileKey}.${methodName}`;
+            }
+            // 再尝试通过 import 表定位 superclass 所在 file
+            if (callerImports) {
+                const targetFile = callerImports.aliasToTarget.get(superName);
+                if (targetFile) {
+                    const importedClassKey = `${targetFile}::${superName}`;
+                    if (classMemberIndex.get(importedClassKey)?.has(methodName)) {
+                        return `${importedClassKey}.${methodName}`;
+                    }
+                    queue.push({ key: importedClassKey, depth: depth + 1 });
+                }
+            }
+            // 加入 BFS 队列继续向上
+            queue.push({ key: sameFileKey, depth: depth + 1 });
+        }
+    }
+    return null;
+}
+function mkEdge(cs, targetId, tier) {
+    return {
+        source: `${cs.callerFile}::${cs.callerContext ?? '<module>'}`,
+        target: targetId,
+        relation: 'calls',
+        confidence: tier,
+        directional: true,
+    };
+}
+//# sourceMappingURL=call-resolver.js.map

package/dist/knowledge-graph/call-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolver.js","sourceRoot":"","sources":["../../src/knowledge-graph/call-resolver.ts"],"names":[],"mappings":"AAgCA;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,YAAY,CAC1B,SAA0C,EAC1C,aAAgD;IAEhD,6BAA6B;IAC7B,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,aAAa,CAAC,CAAC;IAChE,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,aAAa,CAAC,CAAC;IAC9D,MAAM,WAAW,GAAG,gBAAgB,CAAC,aAAa,CAAC,CAAC;IACpD,MAAM,aAAa,GAAG,kBAAkB,CAAC,aAAa,CAAC,CAAC;IAExD,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,EAAE;YAC1B,iBAAiB;YACjB,gBAAgB;YAChB,WAAW;YACX,aAAa;SACd,CAAC,CAAC;QACH,IAAI,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAwBD,MAAM,UAAU,sBAAsB,CACpC,aAAgD;IAEhD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3C,KAAK,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,aAAa,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAC7B,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,aAAgD;IAEhD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3C,KAAK,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,aAAa,EAAE,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACvD,0DAA0D;YAC1D,MAAM,QAAQ,GAAG,GAAG,QAAQ,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;YAC5C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;YACtC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;gBAC5B,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1B,CAAC;YACD,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,aAAgD;IAEhD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC1C,KAAK,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,aAAa,EAAE,CAAC;QAC3C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAyB,CAAC;QACvD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC5C,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,IAAI,IAAI,CAAC;YACxC,yBAAyB;YACzB,IAAI,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACpC,yCAAyC;oBACzC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;wBACjB,IAAI,MAAM;4BAAE,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAC5C,CAAC;yBAAM,CAAC;wBACN,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;YACH,CAAC;YACD,wBAAwB;YACxB,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;gBACtB,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;YAC/C,CAAC;YACD,6DAA6D;YAC7D,+CAA+C;YAC/C,IACE,CAAC,CAAC,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC;gBACpD,CAAC,GAAG,CAAC,aAAa,EAClB,CAAC;gBACD,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,eAAe,CAAC;gBAC5E,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBACnC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,iBAAiB,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,aAAgD;IAEhD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,oEAAoE;IACpE,+CAA+C;IAC/C,+EAA+E;IAC/E,MAAM,aAAa,GAAG,iCAAiC,CAAC;IACxD,KAAK,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,aAAa,EAAE,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAC7B,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW;gBAAE,SAAS;YAC/D,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gBAAE,SAAS;YAClC,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;iBACvC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;iBACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,2BAA2B;iBAC7D,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC;YACjD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,GAAG,CAAC,GAAG,CAAC,GAAG,QAAQ,KAAK,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,KAAa;IACtC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aAC/C,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAChF,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAC9B,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,GAAG,GAAG,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gDAAgD;AAChD,SAAS,kBAAkB,CAAC,IAAY;IACtC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACnC,CAAC;AAED,8DAA8D;AAC9D,8DAA8D;AAC9D,8DAA8D;AAE9D,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,iBAAiB;AAE1C,SAAS,UAAU,CACjB,EAAoB,EACpB,OAAwB;IAExB,MAAM,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,WAAW,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC;IAEpF,iCAAiC;IACjC,IAAI,EAAE,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,YAAY,EAAE,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YACrC,OAAO,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,UAAU,KAAK,EAAE,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,CAAC;QAClE,CAAC;QACD,mEAAmE;QACnE,qBAAqB;IACvB,CAAC;IAED,mFAAmF;IACnF,IAAI,EAAE,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC/B,qEAAqE;QACrE,kDAAkD;QAClD,MAAM,SAAS,GAAG,EAAE,CAAC,eAAe,IAAI,gBAAgB,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;QAC3E,IAAI,SAAS,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACtE,MAAM,QAAQ,GAAG,GAAG,EAAE,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAClD,yBAAyB;YACzB,IAAI,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvD,OAAO,MAAM,CAAC,EAAE,EAAE,GAAG,QAAQ,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,CAAC;YAC5D,CAAC;YACD,kCAAkC;YAClC,MAAM,OAAO,GAAG,WAAW,CACzB,QAAQ,EACR,EAAE,CAAC,UAAU,EACb,aAAa,EACb,gBAAgB,EAChB,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,CAC/B,CAAC;YACF,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;YACvC,CAAC;YACD,oCAAoC;YACpC,OAAO,MAAM,CAAC,EAAE,EAAE,GAAG,QAAQ,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC9D,CAAC;QACD,0DAA0D;QAC1D,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;YAC/C,MAAM,SAAS,GAAG,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACxD,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,cAAc,GAAG,GAAG,SAAS,KAAK,SAAS,EAAE,CAAC;gBACpD,IAAI,gBAAgB,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC7D,OAAO,MAAM,CAAC,EAAE,EAAE,GAAG,cAAc,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,QAAQ,CAAC,CAAC;gBACpE,CAAC;gBACD,0CAA0C;gBAC1C,OAAO,MAAM,CAAC,EAAE,EAAE,GAAG,cAAc,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,QAAQ,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;QACD,iBAAiB;QACjB,OAAO,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,UAAU,EAAE,EAAE,QAAQ,CAAC,CAAC;IACrD,CAAC;IAED,gCAAgC;IAChC,6DAA6D;IAC7D,gEAAgE;IAChE,IAAI,EAAE,CAAC,UAAU,KAAK,cAAc,IAAI,EAAE,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;QACjE,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,SAAS,GAAG,EAAE,CAAC,eAAe,IAAI,EAAE,CAAC,UAAU,CAAC;YACtD,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACpD,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACrD,MAAM,IAAI,GAAmB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACvD,OAAO,MAAM,CAAC,EAAE,EAAE,GAAG,MAAM,KAAK,EAAE,CAAC,UAAU,EAAE,EAAE,IAAI,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,IAAI,EAAE,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,gBAAgB,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;QACrD,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,QAAQ,GAAG,GAAG,EAAE,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAClD,MAAM,SAAS,GAAG,WAAW,CAC3B,QAAQ,EACR,EAAE,CAAC,UAAU,EACb,aAAa,EACb,gBAAgB,EAChB,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,CAC/B,CAAC;YACF,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;IAED,IACE,EAAE,CAAC,UAAU,KAAK,YAAY;QAC9B,EAAE,CAAC,UAAU,KAAK,QAAQ;QAC1B,EAAE,CAAC,UAAU,KAAK,WAAW;QAC7B,EAAE,CAAC,UAAU,KAAK,OAAO;QACzB,EAAE,CAAC,UAAU,KAAK,MAAM,EACxB,CAAC;QACD,qCAAqC;QACrC,OAAO,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,UAAU,EAAE,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IAED,yDAAyD;IACzD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8DAA8D;AAC9D,OAAO;AACP,8DAA8D;AAE9D;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,aAAiC;IAChE,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IACrC,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,OAAO,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAClC,gCAAgC;IAChC,MAAM,YAAY,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACrD,MAAM,cAAc,GAAG,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,cAAc,GAAG,CAAC;QAAE,OAAO,YAAY,CAAC;IAC5C,OAAO,YAAY,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAClB,QAAgB,EAChB,UAAkB,EAClB,aAAyD,EACzD,gBAA0D,EAC1D,aAAqC;IAErC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAA0C,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAEnF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI;YAAE,MAAM;QACjB,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,aAAa;YAAE,SAAS;QACzD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEjB,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;YAC/B,UAAU;YACV,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,GAAG,QAAQ,KAAK,SAAS,EAAE,CAAC;YAChD,IAAI,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvD,OAAO,GAAG,WAAW,IAAI,UAAU,EAAE,CAAC;YACxC,CAAC;YACD,sCAAsC;YACtC,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,UAAU,GAAG,aAAa,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAC9D,IAAI,UAAU,EAAE,CAAC;oBACf,MAAM,gBAAgB,GAAG,GAAG,UAAU,KAAK,SAAS,EAAE,CAAC;oBACvD,IAAI,gBAAgB,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;wBAC5D,OAAO,GAAG,gBAAgB,IAAI,UAAU,EAAE,CAAC;oBAC7C,CAAC;oBACD,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;YACD,gBAAgB;YAChB,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,MAAM,CACb,EAAoB,EACpB,QAAgB,EAChB,IAAoB;IAEpB,OAAO;QACL,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,KAAK,EAAE,CAAC,aAAa,IAAI,UAAU,EAAE;QAC7D,MAAM,EAAE,QAAQ;QAChB,QAAQ,EAAE,OAAO;QACjB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,IAAI;KAClB,CAAC;AACJ,CAAC"}

package/dist/knowledge-graph/import-resolver.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Feature 152 — Python Import Path 智能解析
+ *
+ * 提供 Python 的 import 路径解析能力，供 batch-orchestrator 的
+ * collectPythonCodeSkeletons（P3）调用。
+ *
+ * Feature 181 收口说明：
+ * - TypeScript/JavaScript 的 resolveTsJsImport + tsconfig loader（findNearestTsConfig /
+ *   buildTsConfigContext）+ 共享类型/辅助（ResolveResult / toPosix / isInsideProjectRoot）
+ *   已收口到单一权威 `core/import-resolver.ts`。本模块仅保留 Python 解析，
+ *   并下行 import 上述共享件（knowledge-graph → core，层级方向干净）。
+ *
+ * 设计原则：
+ * - 纯函数（pure function），无状态，零新 npm 依赖（CL-01）
+ * - 所有 resolvedPath 输出为相对 projectRoot 的 POSIX 路径（W-5 修复）
+ * - 解析失败时返回 { resolvedPath: null, kind: 'unresolved' }，不抛异常（FR-2.4）
+ */
+import { type ResolveResult } from '../core/import-resolver.js';
+export type { ResolveResult };
+/**
+ * 解析 Python import 路径。
+ *
+ * 支持 5 种场景（plan §5.1）：
+ * 1. 绝对包路径（`pkg.engine` → `pkg/engine.py`）
+ * 2. `__init__.py` 兜底（包目录 import）
+ * 3. 相对 import（level ≥ 1，PEP 328：上溯 level-1 级目录）
+ * 4. 祖先包 import（from .. import X）
+ * 5. Python stdlib 内置模块返回 external
+ *
+ * C-1 修复说明：moduleSpec="." 时 stripped 为空，resolver 仅返回 __init__.py；
+ * collect 层须把 "from . import nn" 拆解为 resolvePythonImport(".nn", callerFile, root)。
+ *
+ * @param moduleSpec - import 说明符（如 "micrograd.engine"、".nn"、"..pkg"）
+ * @param callerFile  - 调用方文件的绝对路径
+ * @param projectRoot - 项目根目录绝对路径
+ * @returns ResolveResult（resolvedPath 为相对 projectRoot 的 POSIX 路径）
+ */
+export declare function resolvePythonImport(moduleSpec: string, callerFile: string, projectRoot: string): ResolveResult;
+//# sourceMappingURL=import-resolver.d.ts.map

package/dist/knowledge-graph/import-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"import-resolver.d.ts","sourceRoot":"","sources":["../../src/knowledge-graph/import-resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,OAAO,EACL,KAAK,aAAa,EAGnB,MAAM,4BAA4B,CAAC;AAGpC,YAAY,EAAE,aAAa,EAAE,CAAC;AAkH9B;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,MAAM,GAClB,aAAa,CA0Ef"}

package/dist/knowledge-graph/import-resolver.js

@@ -0,0 +1,214 @@
+/**
+ * Feature 152 — Python Import Path 智能解析
+ *
+ * 提供 Python 的 import 路径解析能力，供 batch-orchestrator 的
+ * collectPythonCodeSkeletons（P3）调用。
+ *
+ * Feature 181 收口说明：
+ * - TypeScript/JavaScript 的 resolveTsJsImport + tsconfig loader（findNearestTsConfig /
+ *   buildTsConfigContext）+ 共享类型/辅助（ResolveResult / toPosix / isInsideProjectRoot）
+ *   已收口到单一权威 `core/import-resolver.ts`。本模块仅保留 Python 解析，
+ *   并下行 import 上述共享件（knowledge-graph → core，层级方向干净）。
+ *
+ * 设计原则：
+ * - 纯函数（pure function），无状态，零新 npm 依赖（CL-01）
+ * - 所有 resolvedPath 输出为相对 projectRoot 的 POSIX 路径（W-5 修复）
+ * - 解析失败时返回 { resolvedPath: null, kind: 'unresolved' }，不抛异常（FR-2.4）
+ */
+import * as fs from 'fs';
+import * as path from 'path';
+import { toPosix, isInsideProjectRoot, } from '../core/import-resolver.js';
+// ───────────────────────────────────────────────────────────
+// 常量
+// ───────────────────────────────────────────────────────────
+/**
+ * Python 标准库内置模块集合（plan §5.1 完整列表）。
+ * 调用 resolvePythonImport 时，topModule 在此集合内则返回 external。
+ */
+const PYTHON_BUILTINS = new Set([
+    'os',
+    'sys',
+    're',
+    'io',
+    'json',
+    'math',
+    'time',
+    'datetime',
+    'collections',
+    'itertools',
+    'functools',
+    'pathlib',
+    'typing',
+    'abc',
+    'copy',
+    'string',
+    'struct',
+    'socket',
+    'threading',
+    'subprocess',
+    'logging',
+    'unittest',
+    'hashlib',
+    'base64',
+    'random',
+    'operator',
+    'contextlib',
+    'weakref',
+    'inspect',
+    'ast',
+    'dis',
+    'gc',
+    'importlib',
+    'types',
+    'enum',
+    'dataclasses',
+    'warnings',
+    'traceback',
+    'pprint',
+    'heapq',
+    'bisect',
+    'array',
+    'queue',
+    'shutil',
+    'glob',
+    'fnmatch',
+    'tempfile',
+    'pickle',
+    'csv',
+    'html',
+    'http',
+    'urllib',
+    'email',
+    'xml',
+    'sqlite3',
+    'zlib',
+    'gzip',
+    'tarfile',
+    'zipfile',
+    'argparse',
+    'textwrap',
+    'decimal',
+    'fractions',
+    'statistics',
+    'cmath',
+    'secrets',
+    'uuid',
+    'platform',
+    'signal',
+    'mmap',
+    'concurrent',
+    'asyncio',
+    'select',
+    'ssl',
+    'configparser',
+    'tomllib',
+    'gettext',
+    'locale',
+    'curses',
+    'readline',
+    'rlcompleter',
+]);
+// ───────────────────────────────────────────────────────────
+// 内部辅助函数
+// ───────────────────────────────────────────────────────────
+/**
+ * 统计字符串前缀中 '.' 的个数（用于 Python 相对 import level 计算）。
+ */
+function countLeadingDots(moduleSpec) {
+    let count = 0;
+    for (const ch of moduleSpec) {
+        if (ch === '.')
+            count++;
+        else
+            break;
+    }
+    return count;
+}
+// ───────────────────────────────────────────────────────────
+// Public API — resolvePythonImport
+// ───────────────────────────────────────────────────────────
+/**
+ * 解析 Python import 路径。
+ *
+ * 支持 5 种场景（plan §5.1）：
+ * 1. 绝对包路径（`pkg.engine` → `pkg/engine.py`）
+ * 2. `__init__.py` 兜底（包目录 import）
+ * 3. 相对 import（level ≥ 1，PEP 328：上溯 level-1 级目录）
+ * 4. 祖先包 import（from .. import X）
+ * 5. Python stdlib 内置模块返回 external
+ *
+ * C-1 修复说明：moduleSpec="." 时 stripped 为空，resolver 仅返回 __init__.py；
+ * collect 层须把 "from . import nn" 拆解为 resolvePythonImport(".nn", callerFile, root)。
+ *
+ * @param moduleSpec - import 说明符（如 "micrograd.engine"、".nn"、"..pkg"）
+ * @param callerFile  - 调用方文件的绝对路径
+ * @param projectRoot - 项目根目录绝对路径
+ * @returns ResolveResult（resolvedPath 为相对 projectRoot 的 POSIX 路径）
+ */
+export function resolvePythonImport(moduleSpec, callerFile, projectRoot) {
+    const level = countLeadingDots(moduleSpec);
+    const stripped = moduleSpec.slice(level); // 去掉前导点
+    if (level > 0) {
+        // PEP 328：from .X import Y → level=1，上溯 (level-1)=0 级，baseDir = callerFile 所在目录
+        // from ..X import Y → level=2，上溯 1 级
+        let baseDir = path.dirname(callerFile);
+        for (let i = 0; i < level - 1; i++) {
+            const parent = path.dirname(baseDir);
+            // C-5 修复：检查越界，使用 isInsideProjectRoot 而非字典序
+            if (!isInsideProjectRoot(baseDir, projectRoot) && baseDir !== projectRoot) {
+                return { resolvedPath: null, kind: 'unresolved' };
+            }
+            baseDir = parent;
+            // 上溯后再检查是否越界
+            if (!isInsideProjectRoot(baseDir, projectRoot) && baseDir !== projectRoot) {
+                return { resolvedPath: null, kind: 'unresolved' };
+            }
+        }
+        // C-1 修复：stripped 为空时，仅返回 baseDir/__init__.py（包级 import）
+        if (stripped === '') {
+            const candidate = path.join(baseDir, '__init__.py');
+            if (fs.existsSync(candidate)) {
+                return {
+                    resolvedPath: toPosix(path.relative(projectRoot, candidate)),
+                    kind: 'relative-sibling',
+                };
+            }
+            return { resolvedPath: null, kind: 'unresolved' };
+        }
+        // `from .submodule import X` 或 `from ..pkg import X`
+        const parts = stripped.split('.');
+        const candidate1 = path.join(baseDir, ...parts) + '.py';
+        const candidate2 = path.join(baseDir, ...parts, '__init__.py');
+        for (const candidate of [candidate1, candidate2]) {
+            if (fs.existsSync(candidate)) {
+                return {
+                    resolvedPath: toPosix(path.relative(projectRoot, candidate)),
+                    kind: 'relative-sibling',
+                };
+            }
+        }
+        return { resolvedPath: null, kind: 'unresolved' };
+    }
+    // 绝对 import（无前导点）
+    const topModule = moduleSpec.split('.')[0] ?? '';
+    // Python stdlib 内置模块
+    if (PYTHON_BUILTINS.has(topModule)) {
+        return { resolvedPath: null, kind: 'external' };
+    }
+    // dotted path → 文件路径
+    const parts = moduleSpec.split('.');
+    const candidate1 = path.join(projectRoot, ...parts) + '.py'; // pkg/engine.py
+    const candidate2 = path.join(projectRoot, ...parts, '__init__.py'); // pkg/engine/__init__.py
+    for (const candidate of [candidate1, candidate2]) {
+        if (fs.existsSync(candidate)) {
+            const kind = candidate.endsWith('__init__.py') ? 'package-init' : 'module';
+            // W-5 修复：Python absolute import 命中分支也必须 POSIX 化
+            return {
+                resolvedPath: toPosix(path.relative(projectRoot, candidate)),
+                kind,
+            };
+        }
+    }
+    return { resolvedPath: null, kind: 'unresolved' };
+}
+//# sourceMappingURL=import-resolver.js.map

package/dist/knowledge-graph/import-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"import-resolver.js","sourceRoot":"","sources":["../../src/knowledge-graph/import-resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,EAEL,OAAO,EACP,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AAKpC,8DAA8D;AAC9D,KAAK;AACL,8DAA8D;AAE9D;;;GAGG;AACH,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC;IACnD,IAAI;IACJ,KAAK;IACL,IAAI;IACJ,IAAI;IACJ,MAAM;IACN,MAAM;IACN,MAAM;IACN,UAAU;IACV,aAAa;IACb,WAAW;IACX,WAAW;IACX,SAAS;IACT,QAAQ;IACR,KAAK;IACL,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,WAAW;IACX,YAAY;IACZ,SAAS;IACT,UAAU;IACV,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,SAAS;IACT,SAAS;IACT,KAAK;IACL,KAAK;IACL,IAAI;IACJ,WAAW;IACX,OAAO;IACP,MAAM;IACN,aAAa;IACb,UAAU;IACV,WAAW;IACX,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,OAAO;IACP,OAAO;IACP,QAAQ;IACR,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,KAAK;IACL,MAAM;IACN,MAAM;IACN,QAAQ;IACR,OAAO;IACP,KAAK;IACL,SAAS;IACT,MAAM;IACN,MAAM;IACN,SAAS;IACT,SAAS;IACT,UAAU;IACV,UAAU;IACV,SAAS;IACT,WAAW;IACX,YAAY;IACZ,OAAO;IACP,SAAS;IACT,MAAM;IACN,UAAU;IACV,QAAQ;IACR,MAAM;IACN,YAAY;IACZ,SAAS;IACT,QAAQ;IACR,KAAK;IACL,cAAc;IACd,SAAS;IACT,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,UAAU;IACV,aAAa;CACd,CAAC,CAAC;AAEH,8DAA8D;AAC9D,SAAS;AACT,8DAA8D;AAE9D;;GAEG;AACH,SAAS,gBAAgB,CAAC,UAAkB;IAC1C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;;YACnB,MAAM;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8DAA8D;AAC9D,mCAAmC;AACnC,8DAA8D;AAE9D;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAkB,EAClB,UAAkB,EAClB,WAAmB;IAEnB,MAAM,KAAK,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ;IAElD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,gFAAgF;QAChF,qCAAqC;QACrC,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACrC,2CAA2C;YAC3C,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;gBAC1E,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;YACpD,CAAC;YACD,OAAO,GAAG,MAAM,CAAC;YACjB,aAAa;YACb,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;gBAC1E,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;YACpD,CAAC;QACH,CAAC;QAED,yDAAyD;QACzD,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;YACpB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;YACpD,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC7B,OAAO;oBACL,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;oBAC5D,IAAI,EAAE,kBAAkB;iBACzB,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;QACpD,CAAC;QAED,qDAAqD;QACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;QACxD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,KAAK,EAAE,aAAa,CAAC,CAAC;QAE/D,KAAK,MAAM,SAAS,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;YACjD,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC7B,OAAO;oBACL,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;oBAC5D,IAAI,EAAE,kBAAkB;iBACzB,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IACpD,CAAC;IAED,kBAAkB;IAClB,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAEjD,qBAAqB;IACrB,IAAI,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAClD,CAAC;IAED,qBAAqB;IACrB,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,gBAAgB;IAC7E,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,yBAAyB;IAE7F,KAAK,MAAM,SAAS,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;QACjD,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC;YAC3E,gDAAgD;YAChD,OAAO;gBACL,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;gBAC5D,IAAI;aACL,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AACpD,CAAC"}