@plures/praxis 0.2.0 → 1.0.0

package/dist/core/logic-engine/psf-adapter.js

@@ -0,0 +1,207 @@
+/**
+ * PSF-Aware Logic Engine Adapter
+ *
+ * This module connects the logic engine to the Praxis Schema Format (PSF).
+ * It enables schema-driven rule evaluation and constraint checking.
+ */
+/**
+ * PSF Adapter for Logic Engine
+ *
+ * Converts PSF rules and constraints to logic engine format.
+ */
+export class PSFLogicAdapter {
+    options;
+    expressionCache = new Map();
+    sandbox;
+    constructor(options = {}) {
+        this.options = {
+            cacheExpressions: options.cacheExpressions ?? true,
+            sandbox: options.sandbox ?? {},
+        };
+        this.sandbox = { ...this.options.sandbox };
+    }
+    /**
+     * Convert PSF rules to logic engine rule descriptors
+     */
+    convertRules(rules) {
+        return rules.map((rule) => this.convertRule(rule));
+    }
+    /**
+     * Convert a single PSF rule to rule descriptor
+     */
+    convertRule(rule) {
+        const whenFn = rule.when ? this.compileExpression(rule.when, ['state', 'events']) : null;
+        const thenFn = this.compileExpression(rule.then, ['state', 'events']);
+        return {
+            id: rule.id,
+            description: rule.description,
+            meta: {
+                triggers: rule.triggers,
+                priority: rule.priority,
+                ...rule.meta,
+            },
+            impl: (state, events) => {
+                // Filter events by triggers if specified
+                let filteredEvents = events;
+                if (rule.triggers && rule.triggers.length > 0) {
+                    filteredEvents = events.filter((e) => rule.triggers.includes(e.tag));
+                    if (filteredEvents.length === 0) {
+                        return [];
+                    }
+                }
+                // Check condition
+                if (whenFn) {
+                    try {
+                        const conditionResult = whenFn.fn.call(this.sandbox, state, filteredEvents);
+                        if (!conditionResult) {
+                            return [];
+                        }
+                    }
+                    catch (error) {
+                        console.error(`Error evaluating rule condition "${rule.id}":`, error);
+                        return [];
+                    }
+                }
+                // Execute action
+                try {
+                    const result = thenFn.fn.call(this.sandbox, state, filteredEvents);
+                    if (Array.isArray(result)) {
+                        return result;
+                    }
+                    return [];
+                }
+                catch (error) {
+                    console.error(`Error executing rule action "${rule.id}":`, error);
+                    return [];
+                }
+            },
+        };
+    }
+    /**
+     * Convert PSF constraints to logic engine constraint descriptors
+     */
+    convertConstraints(constraints) {
+        return constraints.map((constraint) => this.convertConstraint(constraint));
+    }
+    /**
+     * Convert a single PSF constraint to constraint descriptor
+     */
+    convertConstraint(constraint) {
+        const checkFn = this.compileExpression(constraint.check, ['state']);
+        return {
+            id: constraint.id,
+            description: constraint.description,
+            meta: {
+                severity: constraint.severity,
+                ...constraint.meta,
+            },
+            impl: (state) => {
+                try {
+                    const result = checkFn.fn.call(this.sandbox, state);
+                    if (result === true) {
+                        return true;
+                    }
+                    return constraint.errorMessage;
+                }
+                catch (error) {
+                    return `Error checking constraint "${constraint.id}": ${error}`;
+                }
+            },
+        };
+    }
+    /**
+     * Load a complete PSF schema into the logic engine
+     */
+    loadSchema(schema) {
+        // Add schema facts and events to sandbox for expression evaluation
+        this.sandbox = {
+            ...this.options.sandbox,
+            Facts: this.createFactHelpers(schema),
+            Events: this.createEventHelpers(schema),
+        };
+        return {
+            rules: this.convertRules(schema.rules),
+            constraints: this.convertConstraints(schema.constraints),
+        };
+    }
+    /**
+     * Compile a PSF expression to a function
+     */
+    compileExpression(expr, args) {
+        const source = 'inline' in expr ? expr.inline : `/* ref: ${expr.ref} */ null`;
+        const cacheKey = `${args.join(',')}:${source}`;
+        if (this.options.cacheExpressions && this.expressionCache.has(cacheKey)) {
+            return this.expressionCache.get(cacheKey);
+        }
+        try {
+            // Create function from expression
+            const fn = new Function(...args, `return (${source});`);
+            const compiled = { fn, source };
+            if (this.options.cacheExpressions) {
+                this.expressionCache.set(cacheKey, compiled);
+            }
+            return compiled;
+        }
+        catch (error) {
+            // Return a safe no-op function on compilation error
+            console.error(`Error compiling expression: ${source}`, error);
+            return {
+                fn: () => null,
+                source,
+            };
+        }
+    }
+    /**
+     * Create fact helper functions for expression evaluation
+     */
+    createFactHelpers(schema) {
+        const helpers = {};
+        for (const fact of schema.facts) {
+            helpers[fact.tag] = {
+                tag: fact.tag,
+                create: (payload) => ({ tag: fact.tag, payload }),
+                is: (f) => f.tag === fact.tag,
+            };
+        }
+        return helpers;
+    }
+    /**
+     * Create event helper functions for expression evaluation
+     */
+    createEventHelpers(schema) {
+        const helpers = {};
+        for (const event of schema.events) {
+            helpers[event.tag] = {
+                tag: event.tag,
+                create: (payload) => ({ tag: event.tag, payload }),
+                is: (e) => e.tag === event.tag,
+            };
+        }
+        return helpers;
+    }
+    /**
+     * Clear expression cache
+     */
+    clearCache() {
+        this.expressionCache.clear();
+    }
+}
+/**
+ * Create a PSF logic adapter
+ */
+export function createPSFLogicAdapter(options) {
+    return new PSFLogicAdapter(options);
+}
+/**
+ * Create a schema-aware logic engine from PSF
+ */
+export async function createSchemaAwareEngine(options) {
+    const adapter = new PSFLogicAdapter({ sandbox: options.sandbox });
+    const { rules, constraints } = adapter.loadSchema(options.schema);
+    return {
+        rules,
+        constraints,
+        adapter,
+    };
+}
+//# sourceMappingURL=psf-adapter.js.map

package/dist/core/logic-engine/psf-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"psf-adapter.js","sourceRoot":"","sources":["../../../core/logic-engine/psf-adapter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAwBH;;;;GAIG;AACH,MAAM,OAAO,eAAe;IAClB,OAAO,CAA8B;IACrC,eAAe,GAAoC,IAAI,GAAG,EAAE,CAAC;IAC7D,OAAO,CAA0B;IAEzC,YAAY,UAA6B,EAAE;QACzC,IAAI,CAAC,OAAO,GAAG;YACb,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,IAAI,IAAI;YAClD,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;SAC/B,CAAC;QACF,IAAI,CAAC,OAAO,GAAG,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7C,CAAC;IAED;;OAEG;IACH,YAAY,CAAqB,KAAgB;QAC/C,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAW,IAAI,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED;;OAEG;IACH,WAAW,CAAqB,IAAa;QAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzF,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAEtE,OAAO;YACL,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,IAAI,EAAE;gBACJ,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,GAAG,IAAI,CAAC,IAAI;aACb;YACD,IAAI,EAAE,CAAC,KAA0C,EAAE,MAAqB,EAAgB,EAAE;gBACxF,yCAAyC;gBACzC,IAAI,cAAc,GAAG,MAAM,CAAC;gBAC5B,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC9C,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBACtE,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAChC,OAAO,EAAE,CAAC;oBACZ,CAAC;gBACH,CAAC;gBAED,kBAAkB;gBAClB,IAAI,MAAM,EAAE,CAAC;oBACX,IAAI,CAAC;wBACH,MAAM,eAAe,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;wBAC5E,IAAI,CAAC,eAAe,EAAE,CAAC;4BACrB,OAAO,EAAE,CAAC;wBACZ,CAAC;oBACH,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBACf,OAAO,CAAC,KAAK,CAAC,oCAAoC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;wBACtE,OAAO,EAAE,CAAC;oBACZ,CAAC;gBACH,CAAC;gBAED,iBAAiB;gBACjB,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;oBACnE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC1B,OAAO,MAAM,CAAC;oBAChB,CAAC;oBACD,OAAO,EAAE,CAAC;gBACZ,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,OAAO,CAAC,KAAK,CAAC,gCAAgC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;oBAClE,OAAO,EAAE,CAAC;gBACZ,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAqB,WAA4B;QACjE,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAW,UAAU,CAAC,CAAC,CAAC;IACvF,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAqB,UAAyB;QAC7D,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAEpE,OAAO;YACL,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,IAAI,EAAE;gBACJ,QAAQ,EAAE,UAAU,CAAC,QAAQ;gBAC7B,GAAG,UAAU,CAAC,IAAI;aACnB;YACD,IAAI,EAAE,CAAC,KAA0C,EAAoB,EAAE;gBACrE,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;oBACpD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;wBACpB,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,OAAO,UAAU,CAAC,YAAY,CAAC;gBACjC,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,OAAO,8BAA8B,UAAU,CAAC,EAAE,MAAM,KAAK,EAAE,CAAC;gBAClE,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,UAAU,CAAqB,MAAiB;QAI9C,mEAAmE;QACnE,IAAI,CAAC,OAAO,GAAG;YACb,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO;YACvB,KAAK,EAAE,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC;YACrC,MAAM,EAAE,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC;SACxC,CAAC;QAEF,OAAO;YACL,KAAK,EAAE,IAAI,CAAC,YAAY,CAAW,MAAM,CAAC,KAAK,CAAC;YAChD,WAAW,EAAE,IAAI,CAAC,kBAAkB,CAAW,MAAM,CAAC,WAAW,CAAC;SACnE,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,IAAmB,EAAE,IAAc;QAC3D,MAAM,MAAM,GAAG,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,GAAG,UAAU,CAAC;QAC9E,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;QAE/C,IAAI,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;QAC7C,CAAC;QAED,IAAI,CAAC;YACH,kCAAkC;YAClC,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,GAAG,IAAI,EAAE,WAAW,MAAM,IAAI,CAAC,CAAC;YACxD,MAAM,QAAQ,GAAuB,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;YAEpD,IAAI,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC;gBAClC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC/C,CAAC;YAED,OAAO,QAAQ,CAAC;QAClB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,oDAAoD;YACpD,OAAO,CAAC,KAAK,CAAC,+BAA+B,MAAM,EAAE,EAAE,KAAK,CAAC,CAAC;YAC9D,OAAO;gBACL,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI;gBACd,MAAM;aACP,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,MAAiB;QACzC,MAAM,OAAO,GAA4B,EAAE,CAAC;QAE5C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;gBAClB,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,MAAM,EAAE,CAAC,OAAgB,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC;gBAC1D,EAAE,EAAE,CAAC,CAAa,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG;aAC1C,CAAC;QACJ,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,MAAiB;QAC1C,MAAM,OAAO,GAA4B,EAAE,CAAC;QAE5C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG;gBACnB,GAAG,EAAE,KAAK,CAAC,GAAG;gBACd,MAAM,EAAE,CAAC,OAAgB,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC;gBAC3D,EAAE,EAAE,CAAC,CAAc,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG;aAC5C,CAAC;QACJ,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,UAAU;QACR,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;IAC/B,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAA2B;IAC/D,OAAO,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC;AAWD;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAA2C;IAM3C,MAAM,OAAO,GAAG,IAAI,eAAe,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAClE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,UAAU,CAAW,OAAO,CAAC,MAAM,CAAC,CAAC;IAE5E,OAAO;QACL,KAAK;QACL,WAAW;QACX,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/core/logic-engine/rules.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Rules and Constraints
+ *
+ * Re-exports rules and constraints from the main source.
+ */
+export { PraxisRegistry, type RuleId, type ConstraintId, type RuleFn, type ConstraintFn, type RuleDescriptor, type ConstraintDescriptor, type PraxisModule, } from '../../src/core/rules.js';
+//# sourceMappingURL=rules.d.ts.map

package/dist/core/logic-engine/rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../../core/logic-engine/rules.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,cAAc,EACd,KAAK,MAAM,EACX,KAAK,YAAY,EACjB,KAAK,MAAM,EACX,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,oBAAoB,EACzB,KAAK,YAAY,GAClB,MAAM,yBAAyB,CAAC"}

package/dist/core/logic-engine/rules.js

@@ -0,0 +1,7 @@
+/**
+ * Rules and Constraints
+ *
+ * Re-exports rules and constraints from the main source.
+ */
+export { PraxisRegistry, } from '../../src/core/rules.js';
+//# sourceMappingURL=rules.js.map

package/dist/core/logic-engine/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../../core/logic-engine/rules.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,cAAc,GAQf,MAAM,yBAAyB,CAAC"}

package/dist/core/schema-engine/compiler.d.ts

@@ -0,0 +1,198 @@
+/**
+ * PSF Compiler
+ *
+ * Compiles TypeScript DSL definitions to PSF format.
+ * This enables code → schema synchronization.
+ */
+import type { PSFSchema } from './psf.js';
+/**
+ * Source location information for error reporting
+ */
+export interface SourceLocation {
+    file?: string;
+    line?: number;
+    column?: number;
+}
+/**
+ * Compilation error
+ */
+export interface CompilationError {
+    message: string;
+    code: string;
+    location?: SourceLocation;
+    severity: 'error' | 'warning';
+}
+/**
+ * Compilation result
+ */
+export interface CompilationResult {
+    success: boolean;
+    schema?: PSFSchema;
+    errors: CompilationError[];
+    warnings: CompilationError[];
+}
+/**
+ * DSL Fact definition input
+ */
+export interface DSLFact {
+    tag: string;
+    description?: string;
+    payload: Record<string, string>;
+}
+/**
+ * DSL Event definition input
+ */
+export interface DSLEvent {
+    tag: string;
+    description?: string;
+    payload: Record<string, string>;
+}
+/**
+ * DSL Rule definition input
+ */
+export interface DSLRule {
+    id: string;
+    description: string;
+    triggers?: string[];
+    when?: string;
+    then: string;
+    priority?: number;
+}
+/**
+ * DSL Constraint definition input
+ */
+export interface DSLConstraint {
+    id: string;
+    description: string;
+    check: string;
+    errorMessage: string;
+}
+/**
+ * DSL Model definition input
+ */
+export interface DSLModel {
+    name: string;
+    description?: string;
+    fields: DSLModelField[];
+}
+/**
+ * DSL Model Field input
+ */
+export interface DSLModelField {
+    name: string;
+    type: string;
+    optional?: boolean;
+    default?: unknown;
+    description?: string;
+}
+/**
+ * DSL Component definition input
+ */
+export interface DSLComponent {
+    name: string;
+    type: 'form' | 'display' | 'list' | 'navigation' | 'editor' | 'custom';
+    description?: string;
+    model?: string;
+    props?: Array<{
+        name: string;
+        type: string;
+        required?: boolean;
+        default?: unknown;
+        description?: string;
+    }>;
+    events?: Array<{
+        name: string;
+        payload?: string;
+        description?: string;
+    }>;
+}
+/**
+ * DSL Schema input
+ */
+export interface DSLSchema {
+    id?: string;
+    name: string;
+    description?: string;
+    facts?: DSLFact[];
+    events?: DSLEvent[];
+    rules?: DSLRule[];
+    constraints?: DSLConstraint[];
+    models?: DSLModel[];
+    components?: DSLComponent[];
+}
+/**
+ * PSF Compiler class
+ */
+export declare class PSFCompiler {
+    private errors;
+    private warnings;
+    /**
+     * Compile DSL schema to PSF format
+     */
+    compile(input: DSLSchema): CompilationResult;
+    /**
+     * Compile DSL to PSF schema
+     */
+    private compileToPSF;
+    /**
+     * Compile facts
+     */
+    private compileFacts;
+    /**
+     * Compile events
+     */
+    private compileEvents;
+    /**
+     * Compile payload to PSF format
+     */
+    private compilePayload;
+    /**
+     * Compile rules
+     */
+    private compileRules;
+    /**
+     * Compile constraints
+     */
+    private compileConstraints;
+    /**
+     * Compile models
+     */
+    private compileModels;
+    /**
+     * Compile model fields
+     */
+    private compileFields;
+    /**
+     * Compile components
+     */
+    private compileComponents;
+    /**
+     * Parse field type string to PSF field type
+     */
+    private parseFieldType;
+    /**
+     * Parse expression string to PSF expression
+     */
+    private parseExpression;
+    /**
+     * Check if string is valid JavaScript identifier
+     */
+    private isValidIdentifier;
+    /**
+     * Add error
+     */
+    private addError;
+    /**
+     * Add warning
+     */
+    private addWarning;
+}
+/**
+ * Create a PSF compiler
+ */
+export declare function createPSFCompiler(): PSFCompiler;
+/**
+ * Compile DSL to PSF (convenience function)
+ */
+export declare function compileToPSF(input: DSLSchema): CompilationResult;
+//# sourceMappingURL=compiler.d.ts.map

package/dist/core/schema-engine/compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../../core/schema-engine/compiler.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,SAAS,EAWV,MAAM,UAAU,CAAC;AAgBlB;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3B,QAAQ,EAAE,gBAAgB,EAAE,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,GAAG,EAAE,MAAM,CAAC;IACZ,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,aAAa,EAAE,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,YAAY,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACvE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,KAAK,CAAC;QACZ,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,OAAO,CAAC,EAAE,OAAO,CAAC;QAClB,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB,CAAC,CAAC;IACH,MAAM,CAAC,EAAE,KAAK,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB,CAAC,CAAC;CACJ;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;IAClB,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC;IACpB,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;IAClB,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;IAC9B,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC;IACpB,UAAU,CAAC,EAAE,YAAY,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,qBAAa,WAAW;IACtB,OAAO,CAAC,MAAM,CAA0B;IACxC,OAAO,CAAC,QAAQ,CAA0B;IAE1C;;OAEG;IACH,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,iBAAiB;IAuB5C;;OAEG;IACH,OAAO,CAAC,YAAY;IAqBpB;;OAEG;IACH,OAAO,CAAC,YAAY;IAepB;;OAEG;IACH,OAAO,CAAC,aAAa;IAerB;;OAEG;IACH,OAAO,CAAC,cAAc;IAgBtB;;OAEG;IACH,OAAO,CAAC,YAAY;IAWpB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAS1B;;OAEG;IACH,OAAO,CAAC,aAAa;IASrB;;OAEG;IACH,OAAO,CAAC,aAAa;IAUrB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAsBzB;;OAEG;IACH,OAAO,CAAC,cAAc;IA6BtB;;OAEG;IACH,OAAO,CAAC,eAAe;IAUvB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAKzB;;OAEG;IACH,OAAO,CAAC,QAAQ;IAIhB;;OAEG;IACH,OAAO,CAAC,UAAU;CAGnB;AAED;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,WAAW,CAE/C;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,GAAG,iBAAiB,CAGhE"}