@nahisaho/musubix-library-learner 2.0.0

package/dist/abstraction/Abstractor.js

@@ -0,0 +1,290 @@
+/**
+ * Abstractor - Hierarchical abstraction of patterns
+ *
+ * REQ-LL-001: 階層的抽象化
+ * DES-PHASE2-001: Abstraction Engine / Abstractor
+ */
+/**
+ * Default Abstractor implementation
+ */
+class AbstractorImpl {
+    extractConcretePatterns(candidates) {
+        if (!candidates || candidates.length === 0) {
+            return [];
+        }
+        return candidates.map((candidate) => ({
+            id: candidate.id,
+            ast: candidate.ast,
+            occurrenceCount: candidate.occurrences.length,
+            locations: candidate.occurrences,
+        }));
+    }
+    parameterize(patterns) {
+        if (!patterns || patterns.length === 0) {
+            return [];
+        }
+        const templates = [];
+        const groups = this.groupSimilarPatterns(patterns);
+        for (const group of groups) {
+            if (group.length < 2) {
+                // Single pattern - create simple template
+                templates.push(this.createSimpleTemplate(group[0]));
+            }
+            else {
+                // Multiple similar patterns - find common structure
+                const template = this.findCommonTemplate(group);
+                if (template) {
+                    templates.push(template);
+                }
+            }
+        }
+        return templates;
+    }
+    generalize(templates) {
+        if (!templates || templates.length === 0) {
+            return [];
+        }
+        const concepts = [];
+        const categories = this.categorizeTemplates(templates);
+        let conceptId = 0;
+        for (const [category, categoryTemplates] of categories) {
+            concepts.push({
+                id: `CONCEPT-${++conceptId}`,
+                name: this.generateConceptName(category),
+                description: this.generateConceptDescription(category, categoryTemplates),
+                templates: categoryTemplates.map((t) => t.id),
+                category,
+            });
+        }
+        return concepts;
+    }
+    abstract(candidates) {
+        const concrete = this.extractConcretePatterns(candidates);
+        const templates = this.parameterize(concrete);
+        const concepts = this.generalize(templates);
+        return { concrete, templates, concepts };
+    }
+    // =========================================================================
+    // Private methods
+    // =========================================================================
+    groupSimilarPatterns(patterns) {
+        const groups = [];
+        const used = new Set();
+        for (const pattern of patterns) {
+            if (used.has(pattern.id))
+                continue;
+            const group = [pattern];
+            used.add(pattern.id);
+            for (const other of patterns) {
+                if (used.has(other.id))
+                    continue;
+                if (this.isSimilar(pattern, other)) {
+                    group.push(other);
+                    used.add(other.id);
+                }
+            }
+            groups.push(group);
+        }
+        return groups;
+    }
+    isSimilar(a, b) {
+        // Compare AST structure similarity
+        return this.computeSimilarity(a.ast, b.ast) > 0.7;
+    }
+    computeSimilarity(a, b) {
+        if (typeof a !== 'object' || typeof b !== 'object') {
+            return a === b ? 1 : 0;
+        }
+        if (a === null || b === null) {
+            return a === b ? 1 : 0;
+        }
+        const aObj = a;
+        const bObj = b;
+        // Compare type
+        if (aObj.type !== bObj.type) {
+            return 0;
+        }
+        let score = 1;
+        let count = 1;
+        // Compare children
+        const aChildren = aObj.children ?? [];
+        const bChildren = bObj.children ?? [];
+        if (aChildren.length === bChildren.length) {
+            for (let i = 0; i < aChildren.length; i++) {
+                score += this.computeSimilarity(aChildren[i], bChildren[i]);
+                count++;
+            }
+        }
+        else {
+            // Different number of children - less similar
+            score += 0.5;
+            count++;
+        }
+        return score / count;
+    }
+    createSimpleTemplate(pattern) {
+        return {
+            id: `TMPL-${pattern.id}`,
+            template: this.astToTemplate(pattern.ast),
+            parameters: [],
+            concretePatterns: [pattern.id],
+        };
+    }
+    findCommonTemplate(patterns) {
+        if (patterns.length === 0)
+            return null;
+        // Use first pattern as base and find differences with others
+        const base = patterns[0];
+        const template = this.astToTemplate(base.ast);
+        const parameters = [];
+        let paramCount = 0;
+        for (let i = 1; i < patterns.length; i++) {
+            const diffs = this.findDifferences(base.ast, patterns[i].ast);
+            for (const diff of diffs) {
+                const paramName = `$${++paramCount}`;
+                parameters.push({
+                    name: paramName,
+                    type: this.inferType(diff.value),
+                });
+                this.markAsHole(template, diff.path, paramName);
+            }
+        }
+        return {
+            id: `TMPL-${patterns.map((p) => p.id).join('-')}`,
+            template,
+            parameters,
+            concretePatterns: patterns.map((p) => p.id),
+        };
+    }
+    astToTemplate(ast) {
+        if (typeof ast !== 'object' || ast === null) {
+            return { type: 'Literal', value: ast };
+        }
+        const node = ast;
+        const template = {
+            type: String(node.type ?? 'Unknown'),
+        };
+        if (node.value !== undefined) {
+            template.value = node.value;
+        }
+        if (Array.isArray(node.children)) {
+            template.children = node.children.map((c) => this.astToTemplate(c));
+        }
+        return template;
+    }
+    findDifferences(a, b, path = []) {
+        const diffs = [];
+        if (typeof a !== typeof b) {
+            diffs.push({ path, value: b });
+            return diffs;
+        }
+        if (typeof a !== 'object' || a === null) {
+            if (a !== b) {
+                diffs.push({ path, value: b });
+            }
+            return diffs;
+        }
+        const aObj = a;
+        const bObj = b;
+        // Compare properties
+        const keys = new Set([...Object.keys(aObj), ...Object.keys(bObj)]);
+        for (const key of keys) {
+            if (key === 'children')
+                continue;
+            if (aObj[key] !== bObj[key]) {
+                diffs.push({ path: [...path, key], value: bObj[key] });
+            }
+        }
+        // Compare children
+        const aChildren = aObj.children ?? [];
+        const bChildren = bObj.children ?? [];
+        const minLen = Math.min(aChildren.length, bChildren.length);
+        for (let i = 0; i < minLen; i++) {
+            diffs.push(...this.findDifferences(aChildren[i], bChildren[i], [...path, 'children', String(i)]));
+        }
+        return diffs;
+    }
+    markAsHole(template, path, holeName) {
+        let current = template;
+        for (let i = 0; i < path.length - 1; i++) {
+            const key = path[i];
+            if (key === 'children') {
+                const index = parseInt(path[++i], 10);
+                if (current.children && current.children[index]) {
+                    current = current.children[index];
+                }
+                else {
+                    return;
+                }
+            }
+        }
+        current.isHole = true;
+        current.holeName = holeName;
+    }
+    inferType(value) {
+        if (value === null || value === undefined) {
+            return { kind: 'primitive', name: 'null' };
+        }
+        switch (typeof value) {
+            case 'string':
+                return { kind: 'primitive', name: 'string' };
+            case 'number':
+                return { kind: 'primitive', name: 'number' };
+            case 'boolean':
+                return { kind: 'primitive', name: 'boolean' };
+            case 'object':
+                if (Array.isArray(value)) {
+                    return { kind: 'array', elementType: { kind: 'primitive', name: 'unknown' } };
+                }
+                return { kind: 'object', properties: {} };
+            default:
+                return { kind: 'primitive', name: 'unknown' };
+        }
+    }
+    categorizeTemplates(templates) {
+        const categories = new Map();
+        for (const template of templates) {
+            const category = this.determineCategory(template);
+            const existing = categories.get(category) ?? [];
+            existing.push(template);
+            categories.set(category, existing);
+        }
+        return categories;
+    }
+    determineCategory(template) {
+        const type = template.template.type;
+        // Map AST types to semantic categories
+        const categoryMap = {
+            Declaration: 'declaration',
+            IfStatement: 'control-flow',
+            ForLoop: 'iteration',
+            WhileLoop: 'iteration',
+            ReturnStatement: 'return',
+            FunctionCall: 'invocation',
+            Assignment: 'assignment',
+        };
+        return categoryMap[type] ?? 'general';
+    }
+    generateConceptName(category) {
+        const nameMap = {
+            declaration: 'Variable Declaration Pattern',
+            'control-flow': 'Conditional Logic Pattern',
+            iteration: 'Loop Pattern',
+            return: 'Return Statement Pattern',
+            invocation: 'Function Call Pattern',
+            assignment: 'Assignment Pattern',
+            general: 'General Pattern',
+        };
+        return nameMap[category] ?? 'Unknown Pattern';
+    }
+    generateConceptDescription(category, templates) {
+        return `A ${category} pattern abstracted from ${templates.length} template(s)`;
+    }
+}
+/**
+ * Factory function to create an Abstractor
+ */
+export function createAbstractor() {
+    return new AbstractorImpl();
+}
+//# sourceMappingURL=Abstractor.js.map

package/dist/abstraction/Abstractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Abstractor.js","sourceRoot":"","sources":["../../src/abstraction/Abstractor.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAiCH;;GAEG;AACH,MAAM,cAAc;IAClB,uBAAuB,CAAC,UAA8B;QACpD,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACpC,EAAE,EAAE,SAAS,CAAC,EAAE;YAChB,GAAG,EAAE,SAAS,CAAC,GAAG;YAClB,eAAe,EAAE,SAAS,CAAC,WAAW,CAAC,MAAM;YAC7C,SAAS,EAAE,SAAS,CAAC,WAAW;SACjC,CAAC,CAAC,CAAC;IACN,CAAC;IAED,YAAY,CAAC,QAA2B;QACtC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,SAAS,GAA4B,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAEnD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,0CAA0C;gBAC1C,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,CAAC;iBAAM,CAAC;gBACN,oDAAoD;gBACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;gBAChD,IAAI,QAAQ,EAAE,CAAC;oBACb,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,UAAU,CAAC,SAAkC;QAC3C,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,QAAQ,GAAsB,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAEvD,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,IAAI,UAAU,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC;gBACZ,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE;gBAC5B,IAAI,EAAE,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC;gBACxC,WAAW,EAAE,IAAI,CAAC,0BAA0B,CAAC,QAAQ,EAAE,iBAAiB,CAAC;gBACzE,SAAS,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7C,QAAQ;aACT,CAAC,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,QAAQ,CAAC,UAA8B;QAKrC,MAAM,QAAQ,GAAG,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAE5C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC3C,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAEpE,oBAAoB,CAAC,QAA2B;QACtD,MAAM,MAAM,GAAwB,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAE/B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAAE,SAAS;YAEnC,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC;YACxB,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAErB,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gBAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACjC,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;oBACnC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAClB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACrB,CAAC;YACH,CAAC;YAED,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,SAAS,CAAC,CAAkB,EAAE,CAAkB;QACtD,mCAAmC;QACnC,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IACpD,CAAC;IAEO,iBAAiB,CAAC,CAAU,EAAE,CAAU;QAC9C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACnD,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAC7B,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,CAAC;QAED,MAAM,IAAI,GAAG,CAA4B,CAAC;QAC1C,MAAM,IAAI,GAAG,CAA4B,CAAC;QAE1C,eAAe;QACf,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,OAAO,CAAC,CAAC;QACX,CAAC;QAED,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,mBAAmB;QACnB,MAAM,SAAS,GAAI,IAAI,CAAC,QAAsB,IAAI,EAAE,CAAC;QACrD,MAAM,SAAS,GAAI,IAAI,CAAC,QAAsB,IAAI,EAAE,CAAC;QAErD,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;YAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,KAAK,IAAI,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5D,KAAK,EAAE,CAAC;YACV,CAAC;QACH,CAAC;aAAM,CAAC;YACN,8CAA8C;YAC9C,KAAK,IAAI,GAAG,CAAC;YACb,KAAK,EAAE,CAAC;QACV,CAAC;QAED,OAAO,KAAK,GAAG,KAAK,CAAC;IACvB,CAAC;IAEO,oBAAoB,CAAC,OAAwB;QACnD,OAAO;YACL,EAAE,EAAE,QAAQ,OAAO,CAAC,EAAE,EAAE;YACxB,QAAQ,EAAE,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC;YACzC,UAAU,EAAE,EAAE;YACd,gBAAgB,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;SAC/B,CAAC;IACJ,CAAC;IAEO,kBAAkB,CAAC,QAA2B;QACpD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAEvC,6DAA6D;QAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAwB,EAAE,CAAC;QAE3C,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC9D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,SAAS,GAAG,IAAI,EAAE,UAAU,EAAE,CAAC;gBACrC,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;iBACjC,CAAC,CAAC;gBACH,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QAED,OAAO;YACL,EAAE,EAAE,QAAQ,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YACjD,QAAQ;YACR,UAAU;YACV,gBAAgB,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5C,CAAC;IACJ,CAAC;IAEO,aAAa,CAAC,GAAY;QAChC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAC5C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACzC,CAAC;QAED,MAAM,IAAI,GAAG,GAA8B,CAAC;QAC5C,MAAM,QAAQ,GAAiB;YAC7B,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC;SACrC,CAAC;QAEF,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC7B,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QAC9B,CAAC;QAED,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAEO,eAAe,CACrB,CAAU,EACV,CAAU,EACV,OAAiB,EAAE;QAEnB,MAAM,KAAK,GAA8C,EAAE,CAAC;QAE5D,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YAC/B,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACxC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YACjC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,IAAI,GAAG,CAA4B,CAAC;QAC1C,MAAM,IAAI,GAAG,CAA4B,CAAC;QAE1C,qBAAqB;QACrB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,GAAG,KAAK,UAAU;gBAAE,SAAS;YACjC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;QAED,mBAAmB;QACnB,MAAM,SAAS,GAAI,IAAI,CAAC,QAAsB,IAAI,EAAE,CAAC;QACrD,MAAM,SAAS,GAAI,IAAI,CAAC,QAAsB,IAAI,EAAE,CAAC;QAErD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;QAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpG,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,UAAU,CAAC,QAAsB,EAAE,IAAc,EAAE,QAAgB;QACzE,IAAI,OAAO,GAAiB,QAAQ,CAAC;QAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;gBACvB,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACtC,IAAI,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBAChD,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACpC,CAAC;qBAAM,CAAC;oBACN,OAAO;gBACT,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;QACtB,OAAO,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC9B,CAAC;IAEO,SAAS,CAAC,KAAc;QAC9B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7C,CAAC;QAED,QAAQ,OAAO,KAAK,EAAE,CAAC;YACrB,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC/C,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC/C,KAAK,SAAS;gBACZ,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAChD,KAAK,QAAQ;gBACX,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBACzB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC;gBAChF,CAAC;gBACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;YAC5C;gBACE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAClD,CAAC;IACH,CAAC;IAEO,mBAAmB,CAAC,SAAkC;QAC5D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmC,CAAC;QAE9D,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YAChD,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACxB,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACrC,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAEO,iBAAiB,CAAC,QAA+B;QACvD,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;QAEpC,uCAAuC;QACvC,MAAM,WAAW,GAA2B;YAC1C,WAAW,EAAE,aAAa;YAC1B,WAAW,EAAE,cAAc;YAC3B,OAAO,EAAE,WAAW;YACpB,SAAS,EAAE,WAAW;YACtB,eAAe,EAAE,QAAQ;YACzB,YAAY,EAAE,YAAY;YAC1B,UAAU,EAAE,YAAY;SACzB,CAAC;QAEF,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;IACxC,CAAC;IAEO,mBAAmB,CAAC,QAAgB;QAC1C,MAAM,OAAO,GAA2B;YACtC,WAAW,EAAE,8BAA8B;YAC3C,cAAc,EAAE,2BAA2B;YAC3C,SAAS,EAAE,cAAc;YACzB,MAAM,EAAE,0BAA0B;YAClC,UAAU,EAAE,uBAAuB;YACnC,UAAU,EAAE,oBAAoB;YAChC,OAAO,EAAE,iBAAiB;SAC3B,CAAC;QAEF,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,iBAAiB,CAAC;IAChD,CAAC;IAEO,0BAA0B,CAAC,QAAgB,EAAE,SAAkC;QACrF,OAAO,KAAK,QAAQ,4BAA4B,SAAS,CAAC,MAAM,cAAc,CAAC;IACjF,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB;IAC9B,OAAO,IAAI,cAAc,EAAE,CAAC;AAC9B,CAAC"}

package/dist/abstraction/PatternMiner.d.ts

@@ -0,0 +1,23 @@
+/**
+ * PatternMiner - Extracts patterns from code corpus
+ *
+ * REQ-LL-001: 階層的抽象化
+ * DES-PHASE2-001: Abstraction Engine / PatternMiner
+ */
+import type { CodeCorpus, PatternCandidate, PatternMinerConfig } from '../types.js';
+/**
+ * PatternMiner interface
+ */
+export interface PatternMiner {
+    /** Mine patterns from a code corpus */
+    mine(corpus: CodeCorpus): Promise<PatternCandidate[]>;
+    /** Set minimum occurrences threshold */
+    setMinOccurrences(count: number): void;
+    /** Get current configuration */
+    getConfig(): PatternMinerConfig;
+}
+/**
+ * Factory function to create a PatternMiner
+ */
+export declare function createPatternMiner(config?: PatternMinerConfig): PatternMiner;
+//# sourceMappingURL=PatternMiner.d.ts.map

package/dist/abstraction/PatternMiner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PatternMiner.d.ts","sourceRoot":"","sources":["../../src/abstraction/PatternMiner.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,gBAAgB,EAChB,kBAAkB,EAGnB,MAAM,aAAa,CAAC;AAGrB;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,uCAAuC;IACvC,IAAI,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAEtD,wCAAwC;IACxC,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAEvC,gCAAgC;IAChC,SAAS,IAAI,kBAAkB,CAAC;CACjC;AAuTD;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,CAAC,EAAE,kBAAkB,GAAG,YAAY,CAE5E"}

package/dist/abstraction/PatternMiner.js

@@ -0,0 +1,263 @@
+/**
+ * PatternMiner - Extracts patterns from code corpus
+ *
+ * REQ-LL-001: 階層的抽象化
+ * DES-PHASE2-001: Abstraction Engine / PatternMiner
+ */
+import { PatternMiningError } from '../errors.js';
+/**
+ * Default PatternMiner implementation
+ */
+class PatternMinerImpl {
+    config;
+    constructor(config = {}) {
+        this.config = {
+            minOccurrences: config.minOccurrences ?? 2,
+            maxDepth: config.maxDepth ?? 10,
+            minSize: config.minSize ?? 3,
+            maxSize: config.maxSize ?? 50,
+        };
+    }
+    async mine(corpus) {
+        if (!corpus || !corpus.files || corpus.files.length === 0) {
+            throw new PatternMiningError('Corpus is empty or invalid');
+        }
+        const candidates = [];
+        const patternMap = new Map();
+        // Parse and extract subtrees from each file
+        for (const file of corpus.files) {
+            try {
+                const ast = this.parseFile(file.content);
+                const subtrees = this.extractSubtrees(ast, file.path);
+                for (const { hash, occurrence } of subtrees) {
+                    const occurrences = patternMap.get(hash) ?? [];
+                    occurrences.push(occurrence);
+                    patternMap.set(hash, occurrences);
+                }
+            }
+            catch (error) {
+                // Skip files that fail to parse
+                console.warn(`Failed to parse ${file.path}: ${error}`);
+            }
+        }
+        // Filter by minimum occurrences and create candidates
+        let idCounter = 0;
+        for (const [hash, occurrences] of patternMap) {
+            if (occurrences.length >= this.config.minOccurrences) {
+                const ast = this.hashToAST(hash);
+                if (ast && this.isValidPatternSize(ast)) {
+                    candidates.push({
+                        id: `PAT-${++idCounter}`,
+                        ast,
+                        occurrences,
+                        score: this.computeScore(occurrences.length, ast),
+                    });
+                }
+            }
+        }
+        // Sort by score descending
+        candidates.sort((a, b) => b.score - a.score);
+        return candidates;
+    }
+    setMinOccurrences(count) {
+        if (count < 1) {
+            throw new PatternMiningError('minOccurrences must be at least 1');
+        }
+        this.config.minOccurrences = count;
+    }
+    getConfig() {
+        return { ...this.config };
+    }
+    // =========================================================================
+    // Private methods
+    // =========================================================================
+    parseFile(content) {
+        // Simplified parser - in production, use a real parser like TypeScript compiler API
+        // For now, we create a simple token-based AST
+        const tokens = this.tokenize(content);
+        return this.buildAST(tokens);
+    }
+    tokenize(content) {
+        // Simple tokenization
+        return content
+            .replace(/\/\/.*$/gm, '') // Remove single-line comments
+            .replace(/\/\*[\s\S]*?\*\//g, '') // Remove multi-line comments
+            .split(/(\s+|[{}()\[\];,.:=<>+\-*/&|!?])/g)
+            .filter((t) => t.trim().length > 0);
+    }
+    buildAST(tokens) {
+        // Simplified AST building
+        const root = { type: 'Program', children: [] };
+        let i = 0;
+        while (i < tokens.length) {
+            const node = this.parseStatement(tokens, i);
+            if (node.node) {
+                root.children.push(node.node);
+            }
+            i = node.nextIndex;
+        }
+        return root;
+    }
+    parseStatement(tokens, start) {
+        if (start >= tokens.length) {
+            return { node: null, nextIndex: start };
+        }
+        const token = tokens[start];
+        // Handle different statement types
+        if (token === 'function' || token === 'const' || token === 'let' || token === 'var') {
+            return this.parseDeclaration(tokens, start);
+        }
+        if (token === 'if') {
+            return this.parseIfStatement(tokens, start);
+        }
+        if (token === 'for' || token === 'while') {
+            return this.parseLoop(tokens, start);
+        }
+        if (token === 'return') {
+            return this.parseReturn(tokens, start);
+        }
+        // Default: wrap as expression
+        return {
+            node: { type: 'Expression', value: token },
+            nextIndex: start + 1,
+        };
+    }
+    parseDeclaration(tokens, start) {
+        const kind = tokens[start];
+        const name = tokens[start + 1] ?? 'unknown';
+        return {
+            node: {
+                type: 'Declaration',
+                kind,
+                name,
+                children: [],
+            },
+            nextIndex: this.findStatementEnd(tokens, start),
+        };
+    }
+    parseIfStatement(tokens, start) {
+        return {
+            node: {
+                type: 'IfStatement',
+                children: [],
+            },
+            nextIndex: this.findBlockEnd(tokens, start),
+        };
+    }
+    parseLoop(tokens, start) {
+        const kind = tokens[start];
+        return {
+            node: {
+                type: kind === 'for' ? 'ForLoop' : 'WhileLoop',
+                children: [],
+            },
+            nextIndex: this.findBlockEnd(tokens, start),
+        };
+    }
+    parseReturn(tokens, start) {
+        return {
+            node: {
+                type: 'ReturnStatement',
+                children: [],
+            },
+            nextIndex: this.findStatementEnd(tokens, start),
+        };
+    }
+    findStatementEnd(tokens, start) {
+        let i = start;
+        while (i < tokens.length && tokens[i] !== ';' && tokens[i] !== '}') {
+            i++;
+        }
+        return Math.min(i + 1, tokens.length);
+    }
+    findBlockEnd(tokens, start) {
+        let depth = 0;
+        let i = start;
+        while (i < tokens.length) {
+            if (tokens[i] === '{')
+                depth++;
+            if (tokens[i] === '}') {
+                depth--;
+                if (depth === 0)
+                    return i + 1;
+            }
+            i++;
+        }
+        return tokens.length;
+    }
+    extractSubtrees(ast, filePath, depth = 0) {
+        const results = [];
+        if (depth > this.config.maxDepth) {
+            return results;
+        }
+        // Add current node as potential pattern
+        const hash = this.hashAST(ast);
+        results.push({
+            hash,
+            node: ast,
+            occurrence: {
+                file: filePath,
+                startLine: 1, // Simplified - would need source map in production
+                endLine: 1,
+                bindings: new Map(),
+            },
+        });
+        // Recurse into children
+        if (ast.children) {
+            for (const child of ast.children) {
+                results.push(...this.extractSubtrees(child, filePath, depth + 1));
+            }
+        }
+        return results;
+    }
+    hashAST(node) {
+        // Create a structural hash of the AST
+        const parts = [node.type];
+        if (node.kind)
+            parts.push(String(node.kind));
+        if (node.value !== undefined)
+            parts.push(String(node.value));
+        if (node.children) {
+            for (const child of node.children) {
+                parts.push(this.hashAST(child));
+            }
+        }
+        return parts.join('|');
+    }
+    hashToAST(hash) {
+        // Reconstruct AST from hash (simplified)
+        const parts = hash.split('|');
+        if (parts.length === 0)
+            return null;
+        return {
+            type: parts[0],
+            children: [],
+        };
+    }
+    isValidPatternSize(ast) {
+        const size = this.countNodes(ast);
+        return size >= this.config.minSize && size <= this.config.maxSize;
+    }
+    countNodes(ast) {
+        let count = 1;
+        if (ast.children) {
+            for (const child of ast.children) {
+                count += this.countNodes(child);
+            }
+        }
+        return count;
+    }
+    computeScore(occurrences, ast) {
+        // Score based on occurrences and pattern complexity
+        const size = this.countNodes(ast);
+        // Higher occurrences and moderate size = better score
+        return occurrences * Math.log2(size + 1);
+    }
+}
+/**
+ * Factory function to create a PatternMiner
+ */
+export function createPatternMiner(config) {
+    return new PatternMinerImpl(config);
+}
+//# sourceMappingURL=PatternMiner.js.map

package/dist/abstraction/PatternMiner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PatternMiner.js","sourceRoot":"","sources":["../../src/abstraction/PatternMiner.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAgBlD;;GAEG;AACH,MAAM,gBAAgB;IACZ,MAAM,CAAqB;IAEnC,YAAY,SAA6B,EAAE;QACzC,IAAI,CAAC,MAAM,GAAG;YACZ,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,CAAC;YAC1C,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,EAAE;YAC/B,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,CAAC;YAC5B,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,EAAE;SAC9B,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,MAAkB;QAC3B,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1D,MAAM,IAAI,kBAAkB,CAAC,4BAA4B,CAAC,CAAC;QAC7D,CAAC;QAED,MAAM,UAAU,GAAuB,EAAE,CAAC;QAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,EAA+B,CAAC;QAE1D,4CAA4C;QAC5C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAEtD,KAAK,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,QAAQ,EAAE,CAAC;oBAC5C,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC/C,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC7B,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,gCAAgC;gBAChC,OAAO,CAAC,IAAI,CAAC,mBAAmB,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,UAAU,EAAE,CAAC;YAC7C,IAAI,WAAW,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,cAAe,EAAE,CAAC;gBACtD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,GAAG,IAAI,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC;oBACxC,UAAU,CAAC,IAAI,CAAC;wBACd,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE;wBACxB,GAAG;wBACH,WAAW;wBACX,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC;qBAClD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,2BAA2B;QAC3B,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAE7C,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,iBAAiB,CAAC,KAAa;QAC7B,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,IAAI,kBAAkB,CAAC,mCAAmC,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,cAAc,GAAG,KAAK,CAAC;IACrC,CAAC;IAED,SAAS;QACP,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5B,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAEpE,SAAS,CAAC,OAAe;QAC/B,oFAAoF;QACpF,8CAA8C;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IAEO,QAAQ,CAAC,OAAe;QAC9B,sBAAsB;QACtB,OAAO,OAAO;aACX,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,8BAA8B;aACvD,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC,6BAA6B;aAC9D,KAAK,CAAC,mCAAmC,CAAC;aAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACxC,CAAC;IAEO,QAAQ,CAAC,MAAgB;QAC/B,0BAA0B;QAC1B,MAAM,IAAI,GAAY,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAExD,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC5C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,IAAI,CAAC,QAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,CAAC;YACD,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QACrB,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,cAAc,CACpB,MAAgB,EAChB,KAAa;QAEb,IAAI,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QAC1C,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAE5B,mCAAmC;QACnC,IAAI,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;YACpF,OAAO,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC;QAED,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC;QAED,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACzC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACvC,CAAC;QAED,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;QAED,8BAA8B;QAC9B,OAAO;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE;YAC1C,SAAS,EAAE,KAAK,GAAG,CAAC;SACrB,CAAC;IACJ,CAAC;IAEO,gBAAgB,CACtB,MAAgB,EAChB,KAAa;QAEb,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,SAAS,CAAC;QAE5C,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,aAAa;gBACnB,IAAI;gBACJ,IAAI;gBACJ,QAAQ,EAAE,EAAE;aACb;YACD,SAAS,EAAE,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;SAChD,CAAC;IACJ,CAAC;IAEO,gBAAgB,CACtB,MAAgB,EAChB,KAAa;QAEb,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,aAAa;gBACnB,QAAQ,EAAE,EAAE;aACb;YACD,SAAS,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC;SAC5C,CAAC;IACJ,CAAC;IAEO,SAAS,CACf,MAAgB,EAChB,KAAa;QAEb,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW;gBAC9C,QAAQ,EAAE,EAAE;aACb;YACD,SAAS,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC;SAC5C,CAAC;IACJ,CAAC;IAEO,WAAW,CACjB,MAAgB,EAChB,KAAa;QAEb,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,iBAAiB;gBACvB,QAAQ,EAAE,EAAE;aACb;YACD,SAAS,EAAE,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;SAChD,CAAC;IACJ,CAAC;IAEO,gBAAgB,CAAC,MAAgB,EAAE,KAAa;QACtD,IAAI,CAAC,GAAG,KAAK,CAAC;QACd,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACnE,CAAC,EAAE,CAAC;QACN,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC;IAEO,YAAY,CAAC,MAAgB,EAAE,KAAa;QAClD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,KAAK,CAAC;QAEd,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;YACzB,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACtB,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC;YAChC,CAAC;YACD,CAAC,EAAE,CAAC;QACN,CAAC;QAED,OAAO,MAAM,CAAC,MAAM,CAAC;IACvB,CAAC;IAEO,eAAe,CACrB,GAAY,EACZ,QAAgB,EAChB,KAAK,GAAG,CAAC;QAET,MAAM,OAAO,GAA0E,EAAE,CAAC;QAE1F,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAS,EAAE,CAAC;YAClC,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,wCAAwC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC;YACX,IAAI;YACJ,IAAI,EAAE,GAAG;YACT,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,SAAS,EAAE,CAAC,EAAE,mDAAmD;gBACjE,OAAO,EAAE,CAAC;gBACV,QAAQ,EAAE,IAAI,GAAG,EAAE;aACpB;SACF,CAAC,CAAC;QAEH,wBAAwB;QACxB,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjB,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,OAAO,CAAC,IAAa;QAC3B,sCAAsC;QACtC,MAAM,KAAK,GAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEpC,IAAI,IAAI,CAAC,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAE7D,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAEO,SAAS,CAAC,IAAY;QAC5B,yCAAyC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAEpC,OAAO;YACL,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACd,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAEO,kBAAkB,CAAC,GAAY;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAClC,OAAO,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,OAAQ,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,OAAQ,CAAC;IACtE,CAAC;IAEO,UAAU,CAAC,GAAY;QAC7B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjB,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,YAAY,CAAC,WAAmB,EAAE,GAAY;QACpD,oDAAoD;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAClC,sDAAsD;QACtD,OAAO,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC3C,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA2B;IAC5D,OAAO,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAC;AACtC,CAAC"}

package/dist/abstraction/TypeAnalyzer.d.ts

@@ -0,0 +1,27 @@
+/**
+ * TypeAnalyzer - Type-directed search and analysis
+ *
+ * REQ-LL-003: 型指向探索
+ * DES-PHASE2-001: Abstraction Engine / TypeAnalyzer
+ */
+import type { TypeSignature, TypeContext, PatternCandidate } from '../types.js';
+/**
+ * TypeAnalyzer interface
+ */
+export interface TypeAnalyzer {
+    /** Check if two types are compatible */
+    isCompatible(source: TypeSignature, target: TypeSignature): boolean;
+    /** Filter candidates by expected type */
+    filterByType(candidates: PatternCandidate[], expectedType: TypeSignature): PatternCandidate[];
+    /** Score a candidate by type match quality */
+    scoreByTypeMatch(candidate: PatternCandidate, context: TypeContext): number;
+    /** Infer type of an expression */
+    inferType(expression: unknown): TypeSignature;
+    /** Check if type A is subtype of type B */
+    isSubtype(sub: TypeSignature, sup: TypeSignature): boolean;
+}
+/**
+ * Factory function to create a TypeAnalyzer
+ */
+export declare function createTypeAnalyzer(): TypeAnalyzer;
+//# sourceMappingURL=TypeAnalyzer.d.ts.map

package/dist/abstraction/TypeAnalyzer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeAnalyzer.d.ts","sourceRoot":"","sources":["../../src/abstraction/TypeAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,aAAa,EACb,WAAW,EACX,gBAAgB,EACjB,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,wCAAwC;IACxC,YAAY,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC;IAEpE,yCAAyC;IACzC,YAAY,CAAC,UAAU,EAAE,gBAAgB,EAAE,EAAE,YAAY,EAAE,aAAa,GAAG,gBAAgB,EAAE,CAAC;IAE9F,8CAA8C;IAC9C,gBAAgB,CAAC,SAAS,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,GAAG,MAAM,CAAC;IAE5E,kCAAkC;IAClC,SAAS,CAAC,UAAU,EAAE,OAAO,GAAG,aAAa,CAAC;IAE9C,2CAA2C;IAC3C,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC;CAC5D;AAyRD;;GAEG;AACH,wBAAgB,kBAAkB,IAAI,YAAY,CAEjD"}