@nahisaho/musubix-synthesis 2.0.0

package/README.md

@@ -0,0 +1,100 @@
+# @nahisaho/musubix-synthesis
+
+DSL-based program synthesis with PBE (Programming by Example) and rule learning.
+
+## Features
+
+- **DSL Framework**: Declarative DSL definition with operators, types, and semantics
+- **PBE Synthesis**: Programming by Example using enumeration and neural guidance
+- **Witness Functions**: Deductive synthesis with inverse semantics
+- **Version Space**: Efficient representation of candidate programs
+- **Rule Learning**: Meta-learning from successful synthesis
+
+## Installation
+
+```bash
+npm install @nahisaho/musubix-synthesis
+```
+
+## Usage
+
+### DSL Definition
+
+```typescript
+import { DSLBuilder } from '@nahisaho/musubix-synthesis';
+
+const dsl = new DSLBuilder('string-transform')
+  .addType('string', { kind: 'primitive' })
+  .addType('int', { kind: 'primitive' })
+  .addOperator('concat', ['string', 'string'], 'string', (a, b) => a + b)
+  .addOperator('substring', ['string', 'int', 'int'], 'string', (s, i, j) => s.slice(i, j))
+  .addOperator('length', ['string'], 'int', (s) => s.length)
+  .addConstant('empty', 'string', '')
+  .build();
+```
+
+### PBE Synthesis
+
+```typescript
+import { PBESynthesizer } from '@nahisaho/musubix-synthesis';
+
+const synthesizer = new PBESynthesizer();
+
+const result = await synthesizer.synthesize(dsl, [
+  { input: 'hello', output: 'HELLO' },
+  { input: 'world', output: 'WORLD' },
+]);
+
+if (result.success) {
+  console.log('Synthesized program:', result.program);
+}
+```
+
+### Rule Learning
+
+```typescript
+import { RuleLibrary, MetaLearner } from '@nahisaho/musubix-synthesis';
+
+const library = new RuleLibrary();
+const learner = new MetaLearner(library);
+
+// Learn from successful synthesis
+await learner.learn(result, usedRules);
+
+// Apply learned rules for future synthesis
+const rules = await library.match(newSpec);
+```
+
+## API Reference
+
+### DSL Framework
+
+- `DSLBuilder` - Declarative DSL definition
+- `TypeSystem` - Type checking and inference
+- `Semantics` - Execution semantics
+
+### Synthesis Engine
+
+- `PBESynthesizer` - Programming by example
+- `WitnessEngine` - Deductive synthesis
+- `VersionSpace` - Candidate program representation
+- `Enumerator` - Exhaustive enumeration
+
+### Rule Learning
+
+- `RuleExtractor` - Extract rules from synthesis
+- `RuleLibrary` - Store and query rules
+- `MetaLearner` - Continuous rule improvement
+
+## Requirements
+
+| Requirement | Description |
+|-------------|-------------|
+| REQ-SYN-001 | DSL Definition Framework |
+| REQ-SYN-002 | Witness Functions |
+| REQ-SYN-003 | PBE Synthesis |
+| REQ-SYN-004 | Rule Learning |
+
+## License
+
+MIT

package/dist/dsl/DSL.d.ts

@@ -0,0 +1,73 @@
+/**
+ * DSL Implementation
+ * @module @nahisaho/musubix-synthesis
+ * @description Domain-specific language for program synthesis
+ * Traces to: REQ-SYN-001 (DSL Definition Framework)
+ */
+import type { Constant, DSLConfig, IDSL, Operator, Program, TypeDefinition, ValidationResult } from '../types.js';
+/**
+ * DSL implementation
+ */
+export declare class DSL implements IDSL {
+    readonly name: string;
+    readonly operators: Map<string, Operator>;
+    readonly constants: Map<string, Constant>;
+    readonly types: Map<string, TypeDefinition>;
+    constructor(config: DSLConfig);
+    /**
+     * Execute a program with input
+     */
+    execute(program: Program, input: Record<string, unknown>): unknown;
+    /**
+     * Validate a program
+     */
+    validate(program: Program): boolean;
+    /**
+     * Validate with detailed result
+     */
+    validateWithDetails(program: Program): ValidationResult;
+    /**
+     * Enumerate programs up to max depth
+     */
+    enumerate(maxDepth: number, maxResults?: number): Program[];
+    /**
+     * Get an operator by name
+     */
+    getOperator(name: string): Operator | undefined;
+    /**
+     * Get a constant by name
+     */
+    getConstant(name: string): Constant | undefined;
+    /**
+     * Get a type by name
+     */
+    getType(name: string): TypeDefinition | undefined;
+    /**
+     * Get all operators
+     */
+    getOperators(): Operator[];
+    /**
+     * Get all constants
+     */
+    getConstants(): Constant[];
+    /**
+     * Enumerate expressions up to max depth
+     */
+    private enumerateExpressions;
+    /**
+     * Generate argument combinations
+     */
+    private generateArgCombinations;
+    /**
+     * Cartesian product of arrays
+     */
+    private cartesianProduct; /**
+     * Evaluate an expression
+     */
+    private evaluateExpression;
+    /**
+     * Validate an expression
+     */
+    private validateExpression;
+}
+//# sourceMappingURL=DSL.d.ts.map

package/dist/dsl/DSL.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DSL.d.ts","sourceRoot":"","sources":["../../src/dsl/DSL.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,QAAQ,EACR,SAAS,EAET,IAAI,EACJ,QAAQ,EACR,OAAO,EACP,cAAc,EAEd,gBAAgB,EACjB,MAAM,aAAa,CAAC;AAGrB;;GAEG;AACH,qBAAa,GAAI,YAAW,IAAI;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;gBAEhC,MAAM,EAAE,SAAS;IAS7B;;OAEG;IACH,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO;IAKlE;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO;IAMnC;;OAEG;IACH,mBAAmB,CAAC,OAAO,EAAE,OAAO,GAAG,gBAAgB;IAUvD;;OAEG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,EAAE;IAM3D;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS;IAI/C;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS;IAI/C;;OAEG;IACH,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAIjD;;OAEG;IACH,YAAY,IAAI,QAAQ,EAAE;IAI1B;;OAEG;IACH,YAAY,IAAI,QAAQ,EAAE;IAI1B;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAqC5B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAwB/B;;OAEG;IACH,OAAO,CAAE,gBAAgB,EAYtB;;OAEA;IACH,OAAO,CAAC,kBAAkB;IAiE1B;;OAEG;IACH,OAAO,CAAC,kBAAkB;CAwD3B"}

package/dist/dsl/DSL.js

@@ -0,0 +1,250 @@
+/**
+ * DSL Implementation
+ * @module @nahisaho/musubix-synthesis
+ * @description Domain-specific language for program synthesis
+ * Traces to: REQ-SYN-001 (DSL Definition Framework)
+ */
+import { ExecutionError, OperatorNotFoundError } from '../errors.js';
+/**
+ * DSL implementation
+ */
+export class DSL {
+    name;
+    operators;
+    constants;
+    types;
+    constructor(config) {
+        this.name = config.name ?? 'dsl';
+        // Convert arrays to maps for efficient lookup
+        this.operators = new Map(config.operators.map(op => [op.name, op]));
+        this.constants = new Map(config.constants.map(c => [c.name, c]));
+        this.types = new Map(config.types.map(t => [t.name, t]));
+    }
+    /**
+     * Execute a program with input
+     */
+    execute(program, input) {
+        const variables = new Map(Object.entries(input));
+        return this.evaluateExpression(program.expression, { input, variables });
+    }
+    /**
+     * Validate a program
+     */
+    validate(program) {
+        const errors = [];
+        this.validateExpression(program.expression, errors, []);
+        return errors.length === 0;
+    }
+    /**
+     * Validate with detailed result
+     */
+    validateWithDetails(program) {
+        const errors = [];
+        this.validateExpression(program.expression, errors, []);
+        return {
+            valid: errors.length === 0,
+            errors,
+        };
+    }
+    /**
+     * Enumerate programs up to max depth
+     */
+    enumerate(maxDepth, maxResults) {
+        const programs = [];
+        this.enumerateExpressions(maxDepth, programs, maxResults);
+        return programs;
+    }
+    /**
+     * Get an operator by name
+     */
+    getOperator(name) {
+        return this.operators.get(name);
+    }
+    /**
+     * Get a constant by name
+     */
+    getConstant(name) {
+        return this.constants.get(name);
+    }
+    /**
+     * Get a type by name
+     */
+    getType(name) {
+        return this.types.get(name);
+    }
+    /**
+     * Get all operators
+     */
+    getOperators() {
+        return Array.from(this.operators.values());
+    }
+    /**
+     * Get all constants
+     */
+    getConstants() {
+        return Array.from(this.constants.values());
+    }
+    /**
+     * Enumerate expressions up to max depth
+     */
+    enumerateExpressions(maxDepth, programs, maxResults) {
+        // Add constants
+        for (const constant of this.constants.values()) {
+            if (maxResults && programs.length >= maxResults)
+                return;
+            programs.push({ expression: { kind: 'constant', name: constant.name } });
+        }
+        if (maxDepth < 2)
+            return;
+        // Add applications
+        for (const operator of this.operators.values()) {
+            if (maxResults && programs.length >= maxResults)
+                return;
+            // Generate combinations of arguments
+            const argCombinations = this.generateArgCombinations(operator.inputTypes.length, maxDepth - 1, maxResults ? maxResults - programs.length : undefined);
+            for (const args of argCombinations) {
+                if (maxResults && programs.length >= maxResults)
+                    return;
+                programs.push({
+                    expression: {
+                        kind: 'application',
+                        operator: operator.name,
+                        args,
+                    },
+                });
+            }
+        }
+    }
+    /**
+     * Generate argument combinations
+     */
+    generateArgCombinations(arity, _depth, _maxResults) {
+        if (arity === 0)
+            return [[]];
+        const baseExprs = Array.from(this.constants.values()).map((c) => ({ kind: 'constant', name: c.name }));
+        // Simple: just use constants for now
+        const result = [];
+        const gen = this.cartesianProduct(Array(arity).fill(baseExprs));
+        for (const combo of gen) {
+            result.push(combo);
+        }
+        return result;
+    }
+    /**
+     * Cartesian product of arrays
+     */
+    *cartesianProduct(arrays) {
+        if (arrays.length === 0) {
+            yield [];
+            return;
+        }
+        const [first, ...rest] = arrays;
+        for (const item of first) {
+            for (const combo of this.cartesianProduct(rest)) {
+                yield [item, ...combo];
+            }
+        }
+    } /**
+     * Evaluate an expression
+     */
+    evaluateExpression(expr, context) {
+        switch (expr.kind) {
+            case 'constant': {
+                const constant = this.constants.get(expr.name);
+                if (!constant) {
+                    throw new ExecutionError(`Unknown constant: ${expr.name}`);
+                }
+                return constant.value;
+            }
+            case 'variable': {
+                const value = context.variables?.get(expr.name);
+                if (value === undefined) {
+                    throw new ExecutionError(`Unknown variable: ${expr.name}`);
+                }
+                return value;
+            }
+            case 'application': {
+                const operator = this.operators.get(expr.operator);
+                if (!operator) {
+                    throw new OperatorNotFoundError(expr.operator);
+                }
+                const args = expr.args.map((arg) => this.evaluateExpression(arg, context));
+                const impl = operator.implementation ?? operator.semantics;
+                if (!impl) {
+                    throw new ExecutionError(`Operator ${expr.operator} has no implementation defined`);
+                }
+                try {
+                    return impl(...args);
+                }
+                catch (error) {
+                    throw new ExecutionError(`Error executing operator ${expr.operator}: ${error}`, JSON.stringify(expr));
+                }
+            }
+            case 'lambda': {
+                // Return a function that evaluates the body with the parameter bound
+                return (arg) => {
+                    const newVariables = new Map(context.variables ?? []);
+                    newVariables.set(expr.parameter, arg);
+                    return this.evaluateExpression(expr.body, {
+                        input: context.input,
+                        variables: newVariables,
+                    });
+                };
+            }
+            default:
+                throw new ExecutionError(`Unknown expression kind: ${expr.kind}`);
+        }
+    }
+    /**
+     * Validate an expression
+     */
+    validateExpression(expr, errors, path) {
+        switch (expr.kind) {
+            case 'constant': {
+                if (!this.constants.has(expr.name)) {
+                    errors.push({
+                        message: `Unknown constant: ${expr.name}`,
+                        path,
+                    });
+                }
+                break;
+            }
+            case 'variable': {
+                // Variables are always valid (checked at runtime)
+                break;
+            }
+            case 'application': {
+                if (!this.operators.has(expr.operator)) {
+                    errors.push({
+                        message: `Unknown operator: ${expr.operator}`,
+                        path,
+                    });
+                }
+                else {
+                    const operator = this.operators.get(expr.operator);
+                    if (expr.args.length !== operator.inputTypes.length) {
+                        errors.push({
+                            message: `Operator ${expr.operator} expects ${operator.inputTypes.length} arguments, got ${expr.args.length}`,
+                            path,
+                        });
+                    }
+                }
+                // Validate arguments
+                for (let i = 0; i < expr.args.length; i++) {
+                    this.validateExpression(expr.args[i], errors, [...path, i]);
+                }
+                break;
+            }
+            case 'lambda': {
+                this.validateExpression(expr.body, errors, [...path, 0]);
+                break;
+            }
+            default:
+                errors.push({
+                    message: `Unknown expression kind: ${expr.kind}`,
+                    path,
+                });
+        }
+    }
+}
+//# sourceMappingURL=DSL.js.map

package/dist/dsl/DSL.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DSL.js","sourceRoot":"","sources":["../../src/dsl/DSL.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAaH,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAErE;;GAEG;AACH,MAAM,OAAO,GAAG;IACL,IAAI,CAAS;IACb,SAAS,CAAwB;IACjC,SAAS,CAAwB;IACjC,KAAK,CAA8B;IAE5C,YAAY,MAAiB;QAC3B,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC;QAEjC,8CAA8C;QAC9C,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACpE,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,OAAgB,EAAE,KAA8B;QACtD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACjD,OAAO,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,OAAgB;QACvB,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QACxD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,mBAAmB,CAAC,OAAgB;QAClC,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QAExD,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;YAC1B,MAAM;SACP,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,QAAgB,EAAE,UAAmB;QAC7C,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,oBAAoB,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC1D,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,IAAY;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,IAAY;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,IAAY;QAClB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED;;OAEG;IACH,YAAY;QACV,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7C,CAAC;IAED;;OAEG;IACH,YAAY;QACV,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7C,CAAC;IAED;;OAEG;IACK,oBAAoB,CAC1B,QAAgB,EAChB,QAAmB,EACnB,UAAmB;QAEnB,gBAAgB;QAChB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YAC/C,IAAI,UAAU,IAAI,QAAQ,CAAC,MAAM,IAAI,UAAU;gBAAE,OAAO;YACxD,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3E,CAAC;QAED,IAAI,QAAQ,GAAG,CAAC;YAAE,OAAO;QAEzB,mBAAmB;QACnB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YAC/C,IAAI,UAAU,IAAI,QAAQ,CAAC,MAAM,IAAI,UAAU;gBAAE,OAAO;YAExD,qCAAqC;YACrC,MAAM,eAAe,GAAG,IAAI,CAAC,uBAAuB,CAClD,QAAQ,CAAC,UAAU,CAAC,MAAM,EAC1B,QAAQ,GAAG,CAAC,EACZ,UAAU,CAAC,CAAC,CAAC,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CACtD,CAAC;YAEF,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;gBACnC,IAAI,UAAU,IAAI,QAAQ,CAAC,MAAM,IAAI,UAAU;oBAAE,OAAO;gBACxD,QAAQ,CAAC,IAAI,CAAC;oBACZ,UAAU,EAAE;wBACV,IAAI,EAAE,aAAa;wBACnB,QAAQ,EAAE,QAAQ,CAAC,IAAI;wBACvB,IAAI;qBACL;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,uBAAuB,CAC7B,KAAa,EACb,MAAc,EACd,WAAoB;QAEpB,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,CAAC,EAAE,CAAC,CAAC;QAE7B,MAAM,SAAS,GAAiB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CACrE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CACrD,CAAC;QAEF,qCAAqC;QACrC,MAAM,MAAM,GAAmB,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAC/B,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAmB,CAC/C,CAAC;QAEF,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,CAAC,gBAAgB,CAAC,MAAsB;QAC9C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,EAAE,CAAC;YACT,OAAO;QACT,CAAC;QAED,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,CAAC;QAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,MAAM,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC,CAAE;;OAEA;IACK,kBAAkB,CACxB,IAAgB,EAChB,OAA6D;QAE7D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,MAAM,IAAI,cAAc,CAAC,qBAAqB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC7D,CAAC;gBACD,OAAO,QAAQ,CAAC,KAAK,CAAC;YACxB,CAAC;YAED,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,MAAM,IAAI,cAAc,CAAC,qBAAqB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC7D,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACnD,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,MAAM,IAAI,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACjD,CAAC;gBAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACjC,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,OAAO,CAAC,CACtC,CAAC;gBAEF,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,IAAI,QAAQ,CAAC,SAAS,CAAC;gBAC3D,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,MAAM,IAAI,cAAc,CACtB,YAAY,IAAI,CAAC,QAAQ,gCAAgC,CAC1D,CAAC;gBACJ,CAAC;gBAED,IAAI,CAAC;oBACH,OAAO,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;gBACvB,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,MAAM,IAAI,cAAc,CACtB,4BAA4B,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,EACrD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CACrB,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,qEAAqE;gBACrE,OAAO,CAAC,GAAY,EAAE,EAAE;oBACtB,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;oBACtD,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;oBACtC,OAAO,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE;wBACxC,KAAK,EAAE,OAAO,CAAC,KAAK;wBACpB,SAAS,EAAE,YAAY;qBACxB,CAAC,CAAC;gBACL,CAAC,CAAC;YACJ,CAAC;YAED;gBACE,MAAM,IAAI,cAAc,CAAC,4BAA6B,IAAmB,CAAC,IAAI,EAAE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IAED;;OAEG;IACK,kBAAkB,CACxB,IAAgB,EAChB,MAAyB,EACzB,IAAc;QAEd,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnC,MAAM,CAAC,IAAI,CAAC;wBACV,OAAO,EAAE,qBAAqB,IAAI,CAAC,IAAI,EAAE;wBACzC,IAAI;qBACL,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM;YACR,CAAC;YAED,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,kDAAkD;gBAClD,MAAM;YACR,CAAC;YAED,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACvC,MAAM,CAAC,IAAI,CAAC;wBACV,OAAO,EAAE,qBAAqB,IAAI,CAAC,QAAQ,EAAE;wBAC7C,IAAI;qBACL,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAE,CAAC;oBACpD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;wBACpD,MAAM,CAAC,IAAI,CAAC;4BACV,OAAO,EAAE,YAAY,IAAI,CAAC,QAAQ,YAAY,QAAQ,CAAC,UAAU,CAAC,MAAM,mBAAmB,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;4BAC7G,IAAI;yBACL,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAED,qBAAqB;gBACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC9D,CAAC;gBACD,MAAM;YACR,CAAC;YAED,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;gBACzD,MAAM;YACR,CAAC;YAED;gBACE,MAAM,CAAC,IAAI,CAAC;oBACV,OAAO,EAAE,4BAA6B,IAAmB,CAAC,IAAI,EAAE;oBAChE,IAAI;iBACL,CAAC,CAAC;QACP,CAAC;IACH,CAAC;CACF"}

package/dist/dsl/DSLBuilder.d.ts

@@ -0,0 +1,33 @@
+/**
+ * DSL Builder
+ * @module @nahisaho/musubix-synthesis
+ * @description Declarative DSL definition builder
+ * Traces to: REQ-SYN-001 (DSL Definition Framework)
+ */
+import type { Constant, DSLConfig, Operator, TypeDefinition } from '../types.js';
+/**
+ * DSL Builder implementation
+ */
+export declare class DSLBuilder {
+    private readonly typeList;
+    private readonly operatorList;
+    private readonly constantList;
+    constructor();
+    /**
+     * Add a type to the DSL
+     */
+    type(name: string, def: TypeDefinition): DSLBuilder;
+    /**
+     * Add an operator to the DSL
+     */
+    operator(name: string, op: Operator): DSLBuilder;
+    /**
+     * Add a constant to the DSL
+     */
+    constant(name: string, c: Constant): DSLBuilder;
+    /**
+     * Build the DSL config
+     */
+    build(): DSLConfig;
+}
+//# sourceMappingURL=DSLBuilder.d.ts.map

package/dist/dsl/DSLBuilder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DSLBuilder.d.ts","sourceRoot":"","sources":["../../src/dsl/DSLBuilder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,cAAc,EACf,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,qBAAa,UAAU;IACrB,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAmB;IAC5C,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAa;IAC1C,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAa;;IAQ1C;;OAEG;IACH,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,GAAG,UAAU;IAKnD;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,GAAG,UAAU;IAKhD;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,GAAG,UAAU;IAK/C;;OAEG;IACH,KAAK,IAAI,SAAS;CAOnB"}

package/dist/dsl/DSLBuilder.js

@@ -0,0 +1,51 @@
+/**
+ * DSL Builder
+ * @module @nahisaho/musubix-synthesis
+ * @description Declarative DSL definition builder
+ * Traces to: REQ-SYN-001 (DSL Definition Framework)
+ */
+/**
+ * DSL Builder implementation
+ */
+export class DSLBuilder {
+    typeList;
+    operatorList;
+    constantList;
+    constructor() {
+        this.typeList = [];
+        this.operatorList = [];
+        this.constantList = [];
+    }
+    /**
+     * Add a type to the DSL
+     */
+    type(name, def) {
+        this.typeList.push({ ...def, name });
+        return this;
+    }
+    /**
+     * Add an operator to the DSL
+     */
+    operator(name, op) {
+        this.operatorList.push({ ...op, name });
+        return this;
+    }
+    /**
+     * Add a constant to the DSL
+     */
+    constant(name, c) {
+        this.constantList.push({ ...c, name });
+        return this;
+    }
+    /**
+     * Build the DSL config
+     */
+    build() {
+        return {
+            types: [...this.typeList],
+            operators: [...this.operatorList],
+            constants: [...this.constantList],
+        };
+    }
+}
+//# sourceMappingURL=DSLBuilder.js.map

package/dist/dsl/DSLBuilder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DSLBuilder.js","sourceRoot":"","sources":["../../src/dsl/DSLBuilder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH;;GAEG;AACH,MAAM,OAAO,UAAU;IACJ,QAAQ,CAAmB;IAC3B,YAAY,CAAa;IACzB,YAAY,CAAa;IAE1C;QACE,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC;QACnB,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;IACzB,CAAC;IAED;;OAEG;IACH,IAAI,CAAC,IAAY,EAAE,GAAmB;QACpC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,IAAY,EAAE,EAAY;QACjC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,IAAY,EAAE,CAAW;QAChC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,KAAK;QACH,OAAO;YACL,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;YACzB,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC;YACjC,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC;SAClC,CAAC;IACJ,CAAC;CACF"}

package/dist/dsl/TypeSystem.d.ts

@@ -0,0 +1,51 @@
+/**
+ * Type System
+ * @module @nahisaho/musubix-synthesis
+ * @description Type checking and inference for DSL
+ */
+import type { DSLConfig, Expression, IDSL, ITypeSystem, Program, TypeCheckResult, TypeContext, TypeSignature } from '../types.js';
+/**
+ * Type system implementation
+ */
+export declare class TypeSystem implements ITypeSystem {
+    private readonly operators;
+    private readonly constants;
+    constructor(configOrDsl: DSLConfig | IDSL);
+    /**
+     * Type check a program (returns boolean for simple check)
+     */
+    check(program: Program, env?: TypeContext | Record<string, TypeSignature>): boolean;
+    /**
+     * Type check a program with full results
+     */
+    checkWithDetails(program: Program, env?: TypeContext | Record<string, TypeSignature>): TypeCheckResult;
+    /**
+     * Infer the type of an expression
+     */
+    infer(expression: Expression, env?: TypeContext | Record<string, TypeSignature>): TypeSignature | null;
+    /**
+     * Normalize context from Record or TypeContext
+     */
+    private normalizeContext;
+    /**
+     * Unify two types
+     */
+    unify(a: TypeSignature, b: TypeSignature): TypeSignature | null;
+    /**
+     * Check if sub is a subtype of sup
+     */
+    isSubtype(sub: TypeSignature, sup: TypeSignature): boolean;
+    /**
+     * Check if two types are equal
+     */
+    private typeEquals;
+    /**
+     * Infer expression type with error collection
+     */
+    private inferExpression;
+    /**
+     * Convert type to string
+     */
+    private typeToString;
+}
+//# sourceMappingURL=TypeSystem.d.ts.map

package/dist/dsl/TypeSystem.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeSystem.d.ts","sourceRoot":"","sources":["../../src/dsl/TypeSystem.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAEV,SAAS,EACT,UAAU,EACV,IAAI,EACJ,WAAW,EAEX,OAAO,EAEP,eAAe,EACf,WAAW,EACX,aAAa,EACd,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,qBAAa,UAAW,YAAW,WAAW;IAC5C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAwB;IAClD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAwB;gBAEtC,WAAW,EAAE,SAAS,GAAG,IAAI;IAYzC;;OAEG;IACH,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,OAAO;IAKnF;;OAEG;IACH,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,eAAe;IAiBtG;;OAEG;IACH,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,aAAa,GAAG,IAAI;IAMtG;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAexB;;OAEG;IACH,KAAK,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,aAAa,GAAG,IAAI;IAwC/D;;OAEG;IACH,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO;IA6B1D;;OAEG;IACH,OAAO,CAAC,UAAU;IAwBlB;;OAEG;IACH,OAAO,CAAC,eAAe;IAoFvB;;OAEG;IACH,OAAO,CAAC,YAAY;CASrB"}