@nahisaho/musubix-synthesis 2.0.0

package/dist/synthesis/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/synthesis/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,372 @@
+/**
+ * Type Definitions for MUSUBIX Synthesis
+ * @module @nahisaho/musubix-synthesis
+ * @description DSL-based program synthesis types
+ */
+/**
+ * Type signature
+ */
+export type TypeSignature = string | {
+    kind: 'function';
+    inputs: TypeSignature[];
+    output: TypeSignature;
+} | {
+    kind: 'generic';
+    name: string;
+};
+/**
+ * Type definition
+ */
+export interface TypeDefinition {
+    readonly name: string;
+    readonly kind: 'primitive' | 'composite' | 'function' | 'generic';
+    readonly parameters?: TypeSignature[];
+    readonly fields?: Map<string, TypeSignature>;
+}
+/**
+ * Type check result
+ */
+export interface TypeCheckResult {
+    readonly valid: boolean;
+    readonly inferredType?: TypeSignature;
+    readonly errors: TypeCheckError[];
+}
+/**
+ * Type check error
+ */
+export interface TypeCheckError {
+    readonly message: string;
+    readonly location?: ExpressionLocation;
+    readonly expected?: TypeSignature;
+    readonly actual?: TypeSignature;
+}
+/**
+ * Expression location
+ */
+export interface ExpressionLocation {
+    readonly path: number[];
+}
+/**
+ * DSL operator
+ * Traces to: REQ-SYN-001 (DSL Definition Framework)
+ */
+export interface Operator {
+    readonly name: string;
+    readonly inputTypes: TypeSignature[];
+    readonly outputType: TypeSignature;
+    readonly implementation?: (...args: unknown[]) => unknown;
+    readonly semantics?: (...args: unknown[]) => unknown;
+    readonly description?: string;
+    readonly cost?: number;
+}
+/**
+ * DSL constant
+ */
+export interface Constant {
+    readonly name: string;
+    readonly type: TypeSignature;
+    readonly value: unknown;
+}
+/**
+ * DSL configuration
+ */
+export interface DSLConfig {
+    readonly name?: string;
+    readonly operators: Operator[];
+    readonly constants: Constant[];
+    readonly types: TypeDefinition[];
+}
+/**
+ * DSL interface
+ */
+export interface IDSL {
+    readonly name: string;
+    readonly operators: Map<string, Operator>;
+    readonly constants: Map<string, Constant>;
+    readonly types: Map<string, TypeDefinition>;
+    execute(program: Program, input: unknown): unknown;
+    validate(program: Program): boolean;
+    validateWithDetails?(program: Program): ValidationResult;
+    getOperator(name: string): Operator | undefined;
+    getConstant(name: string): Constant | undefined;
+    getType(name: string): TypeDefinition | undefined;
+    getOperators(): Operator[];
+    getConstants(): Constant[];
+    getConstant(name: string): Constant | undefined;
+    getType(name: string): TypeDefinition | undefined;
+}
+/**
+ * Validation result
+ */
+export interface ValidationResult {
+    readonly valid: boolean;
+    readonly errors: ValidationError[];
+}
+/**
+ * Validation error
+ */
+export interface ValidationError {
+    readonly message: string;
+    readonly path?: number[];
+}
+/**
+ * Program expression
+ */
+export type Expression = ConstantExpression | VariableExpression | ApplicationExpression | LambdaExpression;
+/**
+ * Constant expression
+ */
+export interface ConstantExpression {
+    readonly kind: 'constant';
+    readonly name: string;
+}
+/**
+ * Variable expression
+ */
+export interface VariableExpression {
+    readonly kind: 'variable';
+    readonly name: string;
+    readonly index?: number;
+}
+/**
+ * Application expression
+ */
+export interface ApplicationExpression {
+    readonly kind: 'application';
+    readonly operator: string;
+    readonly args: Expression[];
+}
+/**
+ * Lambda expression
+ */
+export interface LambdaExpression {
+    readonly kind: 'lambda';
+    readonly parameter: string;
+    readonly parameterType: TypeSignature;
+    readonly body: Expression;
+}
+/**
+ * Program
+ */
+export interface Program {
+    readonly id?: string;
+    readonly expression: Expression;
+    readonly type?: TypeSignature;
+    readonly cost?: number;
+    readonly metadata?: Record<string, unknown>;
+}
+/**
+ * Input-output example
+ * Traces to: REQ-SYN-003 (PBE Synthesis)
+ */
+export interface Example {
+    readonly input: unknown;
+    readonly output: unknown;
+    readonly metadata?: Record<string, unknown>;
+}
+/**
+ * Specification
+ */
+export interface Specification {
+    readonly examples: Example[];
+    readonly inputType?: TypeSignature;
+    readonly outputType?: TypeSignature;
+    readonly constraints?: Constraint[];
+}
+/**
+ * Constraint
+ */
+export interface Constraint {
+    readonly kind: 'type' | 'size' | 'custom';
+    readonly predicate: (program: Program) => boolean;
+    readonly description?: string;
+}
+/**
+ * Synthesis options
+ */
+export interface SynthesisOptions {
+    readonly maxDepth?: number;
+    readonly maxCost?: number;
+    readonly timeout?: number;
+    readonly maxCandidates?: number;
+    readonly useNeuralGuidance?: boolean;
+    readonly pruneThreshold?: number;
+}
+/**
+ * Synthesis result
+ */
+export interface SynthesisResult {
+    readonly success: boolean;
+    readonly program?: Program;
+    readonly candidates?: Program[];
+    readonly duration: number;
+    readonly synthesisTime: number;
+    readonly searchNodes: number;
+    readonly candidatesExplored: number;
+    readonly pruned: number;
+    readonly error?: string;
+}
+/**
+ * PBE synthesizer interface
+ */
+export interface IPBESynthesizer {
+    synthesize(spec: Specification, dsl: IDSL, options?: SynthesisOptions): Promise<SynthesisResult>;
+    getCandidates?(spec: Specification, dsl: IDSL, limit?: number): Program[];
+    disambiguate(candidates: Program[], example: Example): Program[];
+}
+/**
+ * Witness function
+ * Traces to: REQ-SYN-002 (Witness Functions)
+ */
+export interface WitnessFunction {
+    readonly operator: string;
+    readonly argIndex: number;
+    witness?(spec: Specification): Specification[];
+    inverse?(outputSpec: Specification): Specification[];
+}
+/**
+ * Decomposed specification
+ */
+export interface DecomposedSpec {
+    readonly operator: string;
+    readonly argSpecs: Specification[];
+    readonly confidence: number;
+}
+/**
+ * Witness engine interface
+ */
+export interface IWitnessEngine {
+    register(witness: WitnessFunction): void;
+    registerWitness(witness: WitnessFunction): void;
+    getWitnesses(operator: string): WitnessFunction[];
+    clearWitnesses(): void;
+    decompose(spec: Specification, operator: string): DecomposedSpec;
+    synthesizeDeductively(dsl: IDSL, spec: Specification): Promise<Program | null>;
+    synthesizeWithWitness(spec: Specification, options?: SynthesisOptions): Promise<SynthesisResult>;
+}
+/**
+ * Version space interface
+ */
+export interface IVersionSpace {
+    add(program: Program): void;
+    refine(example: Example, dsl: IDSL): IVersionSpace;
+    isConverged(): boolean;
+    getProgram(): Program | null;
+    size(): number;
+    getCandidates(limit?: number): Program[];
+}
+/**
+ * Specification pattern
+ */
+export interface SpecPattern {
+    readonly inputPattern?: unknown;
+    readonly outputPattern?: unknown;
+    readonly typeConstraints?: TypeSignature[];
+    readonly inputCount?: number;
+    readonly exampleCount?: number;
+    readonly outputType?: string;
+}
+/**
+ * Program template
+ */
+export interface ProgramTemplate {
+    readonly expression: Expression;
+    readonly holes: HoleDefinition[];
+}
+/**
+ * Hole definition in template
+ */
+export interface HoleDefinition {
+    readonly name: string;
+    readonly type: TypeSignature;
+    readonly path: number[];
+}
+/**
+ * Synthesis rule
+ * Traces to: REQ-SYN-004 (Rule Learning)
+ */
+export interface SynthesisRule {
+    readonly id: string;
+    readonly name?: string;
+    readonly pattern: SpecPattern;
+    readonly template: ProgramTemplate;
+    readonly confidence: number;
+    readonly usageCount?: number;
+    readonly successCount?: number;
+}
+/**
+ * Rule library interface
+ */
+export interface IRuleLibrary {
+    add(rule: SynthesisRule): Promise<void>;
+    get(id: string): Promise<SynthesisRule | null>;
+    match(spec: Specification): Promise<SynthesisRule[]>;
+    recordUsage(ruleId: string, success: boolean): Promise<void>;
+    prune(threshold: number): Promise<number>;
+    getAll(): Promise<SynthesisRule[]>;
+}
+/**
+ * Rule extractor interface
+ */
+export interface IRuleExtractor {
+    extract(spec: Specification, program: Program): SynthesisRule[];
+    generalize(rules: SynthesisRule[]): SynthesisRule[];
+}
+/**
+ * Meta learner interface
+ */
+export interface IMetaLearner {
+    learn(result: SynthesisResult, usedRules: SynthesisRule[]): Promise<void>;
+    updateConfidence(ruleId: string, success: boolean): Promise<void>;
+    suggestRules(): Promise<SynthesisRule[]>;
+}
+/**
+ * Synthesis statistics
+ */
+export interface SynthesisStatistics {
+    readonly totalSyntheses: number;
+    readonly successfulSyntheses: number;
+    readonly averageDuration: number;
+    readonly averageSearchNodes: number;
+    readonly rulesUsed: number;
+}
+/**
+ * Type system interface
+ */
+export interface ITypeSystem {
+    check(program: Program, env?: TypeContext): boolean;
+    checkWithDetails?(program: Program, env?: TypeContext): TypeCheckResult;
+    infer(expression: Expression, env?: TypeContext): TypeSignature | null;
+    unify?(a: TypeSignature, b: TypeSignature): TypeSignature | null;
+    isSubtype(sub: TypeSignature, sup: TypeSignature): boolean;
+}
+/**
+ * Type context
+ */
+export interface TypeContext {
+    readonly variables: Map<string, TypeSignature>;
+}
+/**
+ * Enumeration options
+ */
+export interface EnumerationOptions {
+    readonly maxDepth: number;
+    readonly maxCost: number;
+    readonly targetType?: TypeSignature;
+    readonly yieldInterval?: number;
+}
+/**
+ * Enumerator interface
+ */
+export interface IEnumerator {
+    enumerate(options: {
+        maxDepth: number;
+        maxPrograms?: number;
+        targetType?: TypeSignature;
+    }): Program[];
+    enumerateExpressions(depth: number): Expression[];
+    getExpressionDepth(expr: Expression): number;
+    countPrograms(depth: number): number;
+    enumerateForSpec(spec: Specification, options: EnumerationOptions): AsyncGenerator<Program, void, unknown>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,aAAa,EAAE,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9I;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,WAAW,GAAG,UAAU,GAAG,SAAS,CAAC;IAClE,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC;IACtC,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAC9C;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;CACzB;AAMD;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,aAAa,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC;IAC1D,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC;IACrD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,cAAc,EAAE,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB,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;IAE5C,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC;IACpC,mBAAmB,CAAC,CAAC,OAAO,EAAE,OAAO,GAAG,gBAAgB,CAAC;IACzD,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAChD,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAChD,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAAC;IAClD,YAAY,IAAI,QAAQ,EAAE,CAAC;IAC3B,YAAY,IAAI,QAAQ,EAAE,CAAC;IAC3B,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAChD,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAAC;CACnD;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAMD;;GAEG;AACH,MAAM,MAAM,UAAU,GAClB,kBAAkB,GAClB,kBAAkB,GAClB,qBAAqB,GACrB,gBAAgB,CAAC;AAErB;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC7C;AAMD;;;GAGG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;IACpC,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;CACrC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC;IAClD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,UAAU,CACR,IAAI,EAAE,aAAa,EACnB,GAAG,EAAE,IAAI,EACT,OAAO,CAAC,EAAE,gBAAgB,GACzB,OAAO,CAAC,eAAe,CAAC,CAAC;IAE5B,aAAa,CAAC,CACZ,IAAI,EAAE,aAAa,EACnB,GAAG,EAAE,IAAI,EACT,KAAK,CAAC,EAAE,MAAM,GACb,OAAO,EAAE,CAAC;IAEb,YAAY,CACV,UAAU,EAAE,OAAO,EAAE,EACrB,OAAO,EAAE,OAAO,GACf,OAAO,EAAE,CAAC;CACd;AAMD;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B,OAAO,CAAC,CAAC,IAAI,EAAE,aAAa,GAAG,aAAa,EAAE,CAAC;IAC/C,OAAO,CAAC,CAAC,UAAU,EAAE,aAAa,GAAG,aAAa,EAAE,CAAC;CACtD;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,aAAa,EAAE,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,eAAe,GAAG,IAAI,CAAC;IACzC,eAAe,CAAC,OAAO,EAAE,eAAe,GAAG,IAAI,CAAC;IAChD,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,eAAe,EAAE,CAAC;IAClD,cAAc,IAAI,IAAI,CAAC;IACvB,SAAS,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,GAAG,cAAc,CAAC;IACjE,qBAAqB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;IAC/E,qBAAqB,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;CAClG;AAMD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,GAAG,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IAC5B,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,GAAG,aAAa,CAAC;IACnD,WAAW,IAAI,OAAO,CAAC;IACvB,UAAU,IAAI,OAAO,GAAG,IAAI,CAAC;IAC7B,IAAI,IAAI,MAAM,CAAC;IACf,aAAa,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,OAAO,EAAE,CAAC;CAC1C;AAMD;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,eAAe,CAAC,EAAE,aAAa,EAAE,CAAC;IAC3C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,cAAc,EAAE,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IACrD,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7D,KAAK,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,GAAG,aAAa,EAAE,CAAC;IAChE,UAAU,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,aAAa,EAAE,CAAC;CACrD;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,KAAK,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAClE,YAAY,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;CAC1C;AAMD;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC;IACpD,gBAAgB,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,WAAW,GAAG,eAAe,CAAC;IACxE,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,WAAW,GAAG,aAAa,GAAG,IAAI,CAAC;IACvE,KAAK,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,aAAa,GAAG,IAAI,CAAC;IACjE,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC;CAC5D;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAChD;AAMD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,SAAS,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,aAAa,CAAA;KAAE,GAAG,OAAO,EAAE,CAAC;IAEtG,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,EAAE,CAAC;IAElD,kBAAkB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC;IAE7C,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;IAErC,gBAAgB,CACd,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,kBAAkB,GAC1B,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;CAC3C"}

package/dist/types.js

@@ -0,0 +1,7 @@
+/**
+ * Type Definitions for MUSUBIX Synthesis
+ * @module @nahisaho/musubix-synthesis
+ * @description DSL-based program synthesis types
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/package.json

@@ -0,0 +1,52 @@
+{
+  "name": "@nahisaho/musubix-synthesis",
+  "version": "2.0.0",
+  "description": "MUSUBIX synthesis - DSL-based program synthesis with PBE and rule learning",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "test:coverage": "vitest run --coverage",
+    "clean": "rm -rf dist",
+    "prepublishOnly": "npm run build"
+  },
+  "keywords": [
+    "musubix",
+    "synthesis",
+    "program-synthesis",
+    "pbe",
+    "dsl",
+    "witness-functions",
+    "version-space"
+  ],
+  "author": "nahisaho",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/nahisaho/MUSUBIX.git",
+    "directory": "packages/synthesis"
+  },
+  "dependencies": {
+    "@nahisaho/musubix-core": "^1.8.5",
+    "@nahisaho/musubix-neural-search": "^2.5.0"
+  },
+  "devDependencies": {
+    "typescript": "^5.3.0",
+    "vitest": "^1.2.0"
+  },
+  "engines": {
+    "node": ">=20.0.0"
+  }
+}