@nahisaho/musubix-core 2.1.0 → 2.2.0

package/dist/pipeline/PipelineConfig.js

@@ -0,0 +1,310 @@
+/**
+ * PipelineConfig - Integrated Synthesis Pipeline Configuration
+ *
+ * Configures and executes a 7-stage synthesis pipeline with support for
+ * parallel execution of independent stages.
+ *
+ * @module @nahisaho/musubix-core
+ * @see TSK-INT-102
+ * @see DES-INT-102
+ * @see REQ-INT-102
+ *
+ * Pipeline Stages:
+ * 1. Parse - Source code parsing
+ * 2. Analyze - Type and semantic analysis
+ * 3. Extract - Pattern extraction
+ * 4. Prune - Search space pruning
+ * 5. Synthesize - Code synthesis
+ * 6. Optimize - E-Graph optimization
+ * 7. Generate - Code generation
+ *
+ * @example
+ * ```typescript
+ * import { createPipelineConfig } from './PipelineConfig.js';
+ *
+ * const config = createPipelineConfig({ enableParallel: true });
+ * const result = await config.execute({ source: 'input code' });
+ * ```
+ */
+// =============================================================================
+// Default Stages
+// =============================================================================
+function createDefaultStages() {
+    return [
+        {
+            name: 'parse',
+            description: 'Parse source code into AST',
+            order: 1,
+            enabled: true,
+            execute: async (input) => {
+                const pipelineInput = input;
+                // Simple mock parsing
+                return {
+                    source: pipelineInput.source,
+                    targetType: pipelineInput.targetType,
+                    context: pipelineInput.context,
+                    ast: { type: 'Program', body: [], source: pipelineInput.source },
+                };
+            },
+        },
+        {
+            name: 'analyze',
+            description: 'Type and semantic analysis',
+            order: 2,
+            enabled: true,
+            dependencies: ['parse'],
+            execute: async (input) => {
+                // Add type information
+                const data = input;
+                return {
+                    ...data,
+                    types: { inferred: true },
+                };
+            },
+        },
+        {
+            name: 'extract',
+            description: 'Extract patterns from code',
+            order: 3,
+            enabled: true,
+            dependencies: ['parse'],
+            execute: async (input) => {
+                // Extract patterns
+                const data = input;
+                return {
+                    ...data,
+                    patterns: [],
+                };
+            },
+        },
+        {
+            name: 'prune',
+            description: 'Prune search space using type information',
+            order: 4,
+            enabled: true,
+            dependencies: ['analyze', 'extract'],
+            execute: async (input) => {
+                // Prune candidates
+                const data = input;
+                return {
+                    ...data,
+                    prunedCandidates: [],
+                };
+            },
+        },
+        {
+            name: 'synthesize',
+            description: 'Synthesize code candidates',
+            order: 5,
+            enabled: true,
+            dependencies: ['prune'],
+            execute: async (input) => {
+                // Synthesize
+                const data = input;
+                return {
+                    ...data,
+                    candidates: [],
+                };
+            },
+        },
+        {
+            name: 'optimize',
+            description: 'Optimize using E-Graph',
+            order: 6,
+            enabled: true,
+            dependencies: ['synthesize'],
+            execute: async (input) => {
+                // Optimize
+                const data = input;
+                return {
+                    ...data,
+                    optimized: true,
+                };
+            },
+        },
+        {
+            name: 'generate',
+            description: 'Generate final code',
+            order: 7,
+            enabled: true,
+            dependencies: ['optimize'],
+            execute: async (input) => {
+                const data = input;
+                // Generate output
+                return {
+                    code: '// Generated code',
+                    ast: data.ast,
+                    patterns: data.patterns,
+                    intermediates: data,
+                };
+            },
+        },
+    ];
+}
+// =============================================================================
+// Default Implementation
+// =============================================================================
+/**
+ * Default PipelineConfig implementation
+ */
+export class DefaultPipelineConfig {
+    stages = new Map();
+    options;
+    constructor(options = {}) {
+        this.options = {
+            enableParallel: options.enableParallel ?? false,
+            maxParallelStages: options.maxParallelStages ?? 2,
+            parallelGroups: options.parallelGroups ?? [],
+            stageTimeout: options.stageTimeout ?? 30000,
+        };
+        // Initialize default stages
+        createDefaultStages().forEach((stage) => {
+            this.stages.set(stage.name, stage);
+        });
+    }
+    /**
+     * Get all configured stages
+     */
+    getStages() {
+        return Array.from(this.stages.values()).sort((a, b) => a.order - b.order);
+    }
+    /**
+     * Get a specific stage by name
+     */
+    getStage(name) {
+        return this.stages.get(name);
+    }
+    /**
+     * Enable a stage
+     */
+    enableStage(name) {
+        const stage = this.stages.get(name);
+        if (stage) {
+            stage.enabled = true;
+        }
+    }
+    /**
+     * Disable a stage
+     */
+    disableStage(name) {
+        const stage = this.stages.get(name);
+        if (stage) {
+            stage.enabled = false;
+        }
+    }
+    /**
+     * Check if a stage is enabled
+     */
+    isStageEnabled(name) {
+        const stage = this.stages.get(name);
+        return stage?.enabled ?? false;
+    }
+    /**
+     * Add a custom stage
+     */
+    addStage(stage) {
+        if (stage.enabled === undefined) {
+            stage.enabled = true;
+        }
+        this.stages.set(stage.name, stage);
+    }
+    /**
+     * Remove a stage
+     */
+    removeStage(name) {
+        this.stages.delete(name);
+    }
+    /**
+     * Execute the pipeline
+     */
+    async execute(input) {
+        const startTime = Date.now();
+        const stageTimes = {};
+        let stagesExecuted = 0;
+        let currentData = input;
+        try {
+            const stages = this.getStages().filter((s) => s.enabled);
+            for (const stage of stages) {
+                const stageStart = Date.now();
+                try {
+                    currentData = await stage.execute(currentData);
+                    stagesExecuted++;
+                    stageTimes[stage.name] = Date.now() - stageStart;
+                }
+                catch (error) {
+                    return {
+                        success: false,
+                        error: error instanceof Error ? error : new Error(String(error)),
+                        stagesExecuted,
+                        totalTimeMs: Date.now() - startTime,
+                        stageTimes,
+                    };
+                }
+            }
+            return {
+                success: true,
+                output: currentData,
+                stagesExecuted,
+                totalTimeMs: Date.now() - startTime,
+                stageTimes,
+            };
+        }
+        catch (error) {
+            return {
+                success: false,
+                error: error instanceof Error ? error : new Error(String(error)),
+                stagesExecuted,
+                totalTimeMs: Date.now() - startTime,
+                stageTimes,
+            };
+        }
+    }
+    /**
+     * Check if parallel execution is enabled
+     */
+    isParallelEnabled() {
+        return this.options.enableParallel;
+    }
+    /**
+     * Serialize to JSON
+     */
+    toJSON() {
+        return {
+            stages: this.getStages().map((s) => ({
+                name: s.name,
+                description: s.description,
+                order: s.order,
+                enabled: s.enabled ?? true,
+                dependencies: s.dependencies,
+            })),
+            options: { ...this.options },
+        };
+    }
+    /**
+     * Deserialize from JSON
+     */
+    fromJSON(json) {
+        // Update options
+        this.options = {
+            ...this.options,
+            ...json.options,
+        };
+        // Update stage enabled states
+        for (const stageConfig of json.stages) {
+            const stage = this.stages.get(stageConfig.name);
+            if (stage) {
+                stage.enabled = stageConfig.enabled;
+            }
+        }
+    }
+}
+// =============================================================================
+// Factory Function
+// =============================================================================
+/**
+ * Create a new PipelineConfig instance
+ */
+export function createPipelineConfig(options = {}) {
+    return new DefaultPipelineConfig(options);
+}
+//# sourceMappingURL=PipelineConfig.js.map

package/dist/pipeline/PipelineConfig.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PipelineConfig.js","sourceRoot":"","sources":["../../src/pipeline/PipelineConfig.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AA2IH,gFAAgF;AAChF,iBAAiB;AACjB,gFAAgF;AAEhF,SAAS,mBAAmB;IAC1B,OAAO;QACL;YACE,IAAI,EAAE,OAAO;YACb,WAAW,EAAE,4BAA4B;YACzC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,KAAK,EAAE,KAAc,EAAE,EAAE;gBAChC,MAAM,aAAa,GAAG,KAAsB,CAAC;gBAC7C,sBAAsB;gBACtB,OAAO;oBACL,MAAM,EAAE,aAAa,CAAC,MAAM;oBAC5B,UAAU,EAAE,aAAa,CAAC,UAAU;oBACpC,OAAO,EAAE,aAAa,CAAC,OAAO;oBAC9B,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,EAAE;iBACjE,CAAC;YACJ,CAAC;SACF;QACD;YACE,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,4BAA4B;YACzC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,IAAI;YACb,YAAY,EAAE,CAAC,OAAO,CAAC;YACvB,OAAO,EAAE,KAAK,EAAE,KAAc,EAAE,EAAE;gBAChC,uBAAuB;gBACvB,MAAM,IAAI,GAAG,KAAgC,CAAC;gBAC9C,OAAO;oBACL,GAAG,IAAI;oBACP,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE;iBAC1B,CAAC;YACJ,CAAC;SACF;QACD;YACE,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,4BAA4B;YACzC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,IAAI;YACb,YAAY,EAAE,CAAC,OAAO,CAAC;YACvB,OAAO,EAAE,KAAK,EAAE,KAAc,EAAE,EAAE;gBAChC,mBAAmB;gBACnB,MAAM,IAAI,GAAG,KAAgC,CAAC;gBAC9C,OAAO;oBACL,GAAG,IAAI;oBACP,QAAQ,EAAE,EAAE;iBACb,CAAC;YACJ,CAAC;SACF;QACD;YACE,IAAI,EAAE,OAAO;YACb,WAAW,EAAE,2CAA2C;YACxD,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,IAAI;YACb,YAAY,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;YACpC,OAAO,EAAE,KAAK,EAAE,KAAc,EAAE,EAAE;gBAChC,mBAAmB;gBACnB,MAAM,IAAI,GAAG,KAAgC,CAAC;gBAC9C,OAAO;oBACL,GAAG,IAAI;oBACP,gBAAgB,EAAE,EAAE;iBACrB,CAAC;YACJ,CAAC;SACF;QACD;YACE,IAAI,EAAE,YAAY;YAClB,WAAW,EAAE,4BAA4B;YACzC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,IAAI;YACb,YAAY,EAAE,CAAC,OAAO,CAAC;YACvB,OAAO,EAAE,KAAK,EAAE,KAAc,EAAE,EAAE;gBAChC,aAAa;gBACb,MAAM,IAAI,GAAG,KAAgC,CAAC;gBAC9C,OAAO;oBACL,GAAG,IAAI;oBACP,UAAU,EAAE,EAAE;iBACf,CAAC;YACJ,CAAC;SACF;QACD;YACE,IAAI,EAAE,UAAU;YAChB,WAAW,EAAE,wBAAwB;YACrC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,IAAI;YACb,YAAY,EAAE,CAAC,YAAY,CAAC;YAC5B,OAAO,EAAE,KAAK,EAAE,KAAc,EAAE,EAAE;gBAChC,WAAW;gBACX,MAAM,IAAI,GAAG,KAAgC,CAAC;gBAC9C,OAAO;oBACL,GAAG,IAAI;oBACP,SAAS,EAAE,IAAI;iBAChB,CAAC;YACJ,CAAC;SACF;QACD;YACE,IAAI,EAAE,UAAU;YAChB,WAAW,EAAE,qBAAqB;YAClC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,IAAI;YACb,YAAY,EAAE,CAAC,UAAU,CAAC;YAC1B,OAAO,EAAE,KAAK,EAAE,KAAc,EAAE,EAAE;gBAChC,MAAM,IAAI,GAAG,KAAgC,CAAC;gBAC9C,kBAAkB;gBAClB,OAAO;oBACL,IAAI,EAAE,mBAAmB;oBACzB,GAAG,EAAE,IAAI,CAAC,GAAG;oBACb,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,aAAa,EAAE,IAAI;iBACF,CAAC;YACtB,CAAC;SACF;KACF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,OAAO,qBAAqB;IACxB,MAAM,GAA+B,IAAI,GAAG,EAAE,CAAC;IAC/C,OAAO,CAAkC;IAEjD,YAAY,UAAiC,EAAE;QAC7C,IAAI,CAAC,OAAO,GAAG;YACb,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,KAAK;YAC/C,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,IAAI,CAAC;YACjD,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,EAAE;YAC5C,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,KAAK;SAC5C,CAAC;QAEF,4BAA4B;QAC5B,mBAAmB,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YACtC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,SAAS;QACP,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5E,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,IAAY;QACnB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,IAAY;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;QACvB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,IAAY;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC;QACxB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,IAAY;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,OAAO,KAAK,EAAE,OAAO,IAAI,KAAK,CAAC;IACjC,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,KAAoB;QAC3B,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAChC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;QACvB,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,IAAY;QACtB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,OAAO,CAAC,KAAoB;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,UAAU,GAA2B,EAAE,CAAC;QAC9C,IAAI,cAAc,GAAG,CAAC,CAAC;QACvB,IAAI,WAAW,GAAY,KAAK,CAAC;QAEjC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAEzD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAE9B,IAAI,CAAC;oBACH,WAAW,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;oBAC/C,cAAc,EAAE,CAAC;oBACjB,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,UAAU,CAAC;gBACnD,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,OAAO;wBACL,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;wBAChE,cAAc;wBACd,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;wBACnC,UAAU;qBACX,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,WAA6B;gBACrC,cAAc;gBACd,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;gBACnC,UAAU;aACX,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAChE,cAAc;gBACd,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;gBACnC,UAAU;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;OAEG;IACH,iBAAiB;QACf,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,MAAM;QACJ,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACnC,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,IAAI;gBAC1B,YAAY,EAAE,CAAC,CAAC,YAAY;aAC7B,CAAC,CAAC;YACH,OAAO,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE;SAC7B,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,IAAwB;QAC/B,iBAAiB;QACjB,IAAI,CAAC,OAAO,GAAG;YACb,GAAG,IAAI,CAAC,OAAO;YACf,GAAG,IAAI,CAAC,OAAO;SAChB,CAAC;QAEF,8BAA8B;QAC9B,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,CAAC,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAAiC,EAAE;IACtE,OAAO,IAAI,qBAAqB,CAAC,OAAO,CAAC,CAAC;AAC5C,CAAC"}

package/dist/pipeline/index.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Pipeline Module - Synthesis Pipeline Configuration
+ *
+ * @module @nahisaho/musubix-core/pipeline
+ * @see TSK-INT-102
+ */
+export type { PipelineConfig, PipelineStage, PipelineInput, PipelineOutput, PipelineExecutionResult, PipelineConfigOptions, PipelineConfigJSON, ParallelGroup, } from './PipelineConfig.js';
+export { createPipelineConfig, DefaultPipelineConfig } from './PipelineConfig.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/pipeline/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/pipeline/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EACV,cAAc,EACd,aAAa,EACb,aAAa,EACb,cAAc,EACd,uBAAuB,EACvB,qBAAqB,EACrB,kBAAkB,EAClB,aAAa,GACd,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/pipeline/index.js

@@ -0,0 +1,8 @@
+/**
+ * Pipeline Module - Synthesis Pipeline Configuration
+ *
+ * @module @nahisaho/musubix-core/pipeline
+ * @see TSK-INT-102
+ */
+export { createPipelineConfig, DefaultPipelineConfig } from './PipelineConfig.js';
+//# sourceMappingURL=index.js.map

package/dist/pipeline/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/pipeline/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAaH,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/synthesis/SynthesisOrchestrator.d.ts

@@ -0,0 +1,181 @@
+/**
+ * SynthesisOrchestrator - E2E Synthesis Pipeline Integration
+ * @module @nahisaho/musubix-core
+ * @see TSK-INT-101
+ * @see DES-INT-101
+ * @see REQ-INT-101
+ *
+ * 3パッケージ（library-learner, neural-search, synthesis）を統合した
+ * エンドツーエンドのプログラム合成パイプラインを提供
+ *
+ * Flow: NL仕様 → 構造化仕様 → ライブラリ検索 → ニューラル探索 → 合成
+ */
+/**
+ * Pipeline preset configuration
+ */
+export type PipelinePreset = 'fast' | 'balanced' | 'accurate';
+/**
+ * Orchestrator configuration
+ */
+export interface OrchestratorConfig {
+    /** Pipeline preset (default: 'balanced') */
+    pipelinePreset?: PipelinePreset;
+    /** Synthesis timeout in ms (default: 30000) */
+    timeout?: number;
+    /** Maximum iterations (default: 1000) */
+    maxIterations?: number;
+    /** Enable library learning integration (default: true) */
+    enableLibraryLearning?: boolean;
+    /** Enable neural search integration (default: true) */
+    enableNeuralSearch?: boolean;
+}
+/**
+ * Input/Output example for synthesis
+ */
+export interface IOExample {
+    input: unknown;
+    output: unknown;
+}
+/**
+ * Synthesis request
+ */
+export interface SynthesisRequest {
+    /** Natural language or structured specification */
+    specification: string;
+    /** Input/output examples */
+    examples: IOExample[];
+    /** Additional constraints */
+    constraints: string[];
+    /** Optional hints for synthesis */
+    hints: string[];
+}
+/**
+ * Timing information for synthesis
+ */
+export interface SynthesisTiming {
+    /** Total synthesis time in ms */
+    totalMs: number;
+    /** Parse stage time */
+    parseMs: number;
+    /** Analysis stage time */
+    analyzeMs: number;
+    /** Search stage time */
+    searchMs: number;
+    /** Synthesis stage time */
+    synthesisMs: number;
+}
+/**
+ * Synthesis status
+ */
+export type SynthesisStatus = 'success' | 'partial' | 'failure' | 'timeout';
+/**
+ * Synthesis response
+ */
+export interface SynthesisResponse {
+    /** Synthesis status */
+    status: SynthesisStatus;
+    /** Synthesized program (if successful) */
+    program?: string;
+    /** Confidence score (0-1) */
+    confidence: number;
+    /** Timing information */
+    timing: SynthesisTiming;
+    /** Stages executed */
+    stagesExecuted: string[];
+    /** Number of library patterns used */
+    libraryPatternsUsed: number;
+    /** Error message (if failed) */
+    error?: string;
+}
+/**
+ * Orchestrator statistics
+ */
+export interface OrchestratorStatistics {
+    /** Total synthesis requests */
+    totalRequests: number;
+    /** Successful syntheses */
+    successCount: number;
+    /** Failed syntheses */
+    failureCount: number;
+    /** Timeout count */
+    timeoutCount: number;
+    /** Average synthesis time in ms */
+    averageSynthesisTimeMs: number;
+    /** Total library patterns used */
+    totalLibraryPatternsUsed: number;
+}
+/**
+ * Library pattern for synthesis
+ */
+export interface LibraryPattern {
+    id: string;
+    name: string;
+    code?: string;
+    confidence?: number;
+}
+/**
+ * SynthesisOrchestrator interface
+ */
+export interface SynthesisOrchestrator {
+    /**
+     * Synthesize program from request
+     */
+    synthesize(request: SynthesisRequest): Promise<SynthesisResponse>;
+    /**
+     * Synthesize from natural language specification
+     */
+    synthesizeFromNL(spec: string, examples?: unknown[]): Promise<SynthesisResponse>;
+    /**
+     * Synthesize with library pattern assistance
+     */
+    synthesizeWithLibrary(request: SynthesisRequest, libraryPatterns: LibraryPattern[]): Promise<SynthesisResponse>;
+    /**
+     * Get orchestrator statistics
+     */
+    getStatistics(): OrchestratorStatistics;
+    /**
+     * Reset statistics and state
+     */
+    reset(): void;
+    /**
+     * Serialize orchestrator state
+     */
+    toJSON(): string;
+    /**
+     * Restore orchestrator state
+     */
+    fromJSON(json: string): void;
+}
+/**
+ * Default implementation of SynthesisOrchestrator
+ */
+declare class DefaultSynthesisOrchestrator implements SynthesisOrchestrator {
+    private config;
+    private statistics;
+    constructor(config?: OrchestratorConfig);
+    synthesize(request: SynthesisRequest): Promise<SynthesisResponse>;
+    synthesizeFromNL(spec: string, examples?: unknown[]): Promise<SynthesisResponse>;
+    synthesizeWithLibrary(request: SynthesisRequest, libraryPatterns: LibraryPattern[]): Promise<SynthesisResponse>;
+    getStatistics(): OrchestratorStatistics;
+    reset(): void;
+    toJSON(): string;
+    fromJSON(json: string): void;
+    private createInitialStatistics;
+    private updateStatistics;
+    private isTimedOut;
+    private createTimeoutResponse;
+    private parseSpecification;
+    private analyzeSpecification;
+    private searchCandidates;
+    private synthesizeProgram;
+    private matchLibraryPatterns;
+    private synthesizeWithPatterns;
+}
+/**
+ * Create a SynthesisOrchestrator instance
+ * @param config - Optional configuration
+ * @returns SynthesisOrchestrator instance
+ */
+export declare function createSynthesisOrchestrator(config?: OrchestratorConfig): SynthesisOrchestrator;
+export { DefaultSynthesisOrchestrator };
+//# sourceMappingURL=SynthesisOrchestrator.d.ts.map

package/dist/synthesis/SynthesisOrchestrator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SynthesisOrchestrator.d.ts","sourceRoot":"","sources":["../../src/synthesis/SynthesisOrchestrator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAMH;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,UAAU,GAAG,UAAU,CAAC;AAE9D;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,4CAA4C;IAC5C,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,+CAA+C;IAC/C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,yCAAyC;IACzC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,0DAA0D;IAC1D,qBAAqB,CAAC,EAAE,OAAO,CAAC;IAChC,uDAAuD;IACvD,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,mDAAmD;IACnD,aAAa,EAAE,MAAM,CAAC;IACtB,4BAA4B;IAC5B,QAAQ,EAAE,SAAS,EAAE,CAAC;IACtB,6BAA6B;IAC7B,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,mCAAmC;IACnC,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,iCAAiC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,uBAAuB;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,wBAAwB;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,2BAA2B;IAC3B,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;AAE5E;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,uBAAuB;IACvB,MAAM,EAAE,eAAe,CAAC;IACxB,0CAA0C;IAC1C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,6BAA6B;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,yBAAyB;IACzB,MAAM,EAAE,eAAe,CAAC;IACxB,sBAAsB;IACtB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,sCAAsC;IACtC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gCAAgC;IAChC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,+BAA+B;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,2BAA2B;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,uBAAuB;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,oBAAoB;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,mCAAmC;IACnC,sBAAsB,EAAE,MAAM,CAAC;IAC/B,kCAAkC;IAClC,wBAAwB,EAAE,MAAM,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC;;OAEG;IACH,UAAU,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAElE;;OAEG;IACH,gBAAgB,CACd,IAAI,EAAE,MAAM,EACZ,QAAQ,CAAC,EAAE,OAAO,EAAE,GACnB,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAE9B;;OAEG;IACH,qBAAqB,CACnB,OAAO,EAAE,gBAAgB,EACzB,eAAe,EAAE,cAAc,EAAE,GAChC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAE9B;;OAEG;IACH,aAAa,IAAI,sBAAsB,CAAC;IAExC;;OAEG;IACH,KAAK,IAAI,IAAI,CAAC;IAEd;;OAEG;IACH,MAAM,IAAI,MAAM,CAAC;IAEjB;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAkBD;;GAEG;AACH,cAAM,4BAA6B,YAAW,qBAAqB;IACjE,OAAO,CAAC,MAAM,CAA+B;IAC7C,OAAO,CAAC,UAAU,CAAyB;gBAE/B,MAAM,GAAE,kBAAuB;IAerC,UAAU,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAkFjE,gBAAgB,CACpB,IAAI,EAAE,MAAM,EACZ,QAAQ,GAAE,OAAO,EAAO,GACvB,OAAO,CAAC,iBAAiB,CAAC;IAsBvB,qBAAqB,CACzB,OAAO,EAAE,gBAAgB,EACzB,eAAe,EAAE,cAAc,EAAE,GAChC,OAAO,CAAC,iBAAiB,CAAC;IAmE7B,aAAa,IAAI,sBAAsB;IAIvC,KAAK,IAAI,IAAI;IAIb,MAAM,IAAI,MAAM;IAOhB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAW5B,OAAO,CAAC,uBAAuB;IAW/B,OAAO,CAAC,gBAAgB;IAsBxB,OAAO,CAAC,UAAU;IAIlB,OAAO,CAAC,qBAAqB;IAiB7B,OAAO,CAAC,kBAAkB;IAU1B,OAAO,CAAC,oBAAoB;IA+B5B,OAAO,CAAC,gBAAgB;IAUxB,OAAO,CAAC,iBAAiB;IA8BzB,OAAO,CAAC,oBAAoB;IAc5B,OAAO,CAAC,sBAAsB;CAgB/B;AAMD;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,GAAE,kBAAuB,GAC9B,qBAAqB,CAEvB;AAED,OAAO,EAAE,4BAA4B,EAAE,CAAC"}