@plures/praxis 0.2.1 → 1.0.1

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

@@ -0,0 +1,612 @@
+/**
+ * Praxis Schema Format (PSF) Types
+ *
+ * PSF is the canonical AST format that serves as the single source of truth.
+ * All code, canvas, and documentation are derived from or synchronized with PSF.
+ *
+ * Design principles:
+ * - JSON-serializable for persistence and transmission
+ * - Supports bidirectional code ↔ canvas sync
+ * - Complete representation of all Praxis concepts
+ * - Extensible with metadata and custom properties
+ */
+/**
+ * PSF Schema version
+ */
+export declare const PSF_VERSION: "1.0.0";
+/**
+ * Root PSF Schema Document
+ */
+export interface PSFSchema {
+    /** PSF format version */
+    $version: typeof PSF_VERSION;
+    /** Schema identifier */
+    id: string;
+    /** Human-readable name */
+    name: string;
+    /** Description */
+    description?: string;
+    /** Creation timestamp */
+    createdAt?: string;
+    /** Last modified timestamp */
+    modifiedAt?: string;
+    /** Facts defined in this schema */
+    facts: PSFFact[];
+    /** Events defined in this schema */
+    events: PSFEvent[];
+    /** Rules defined in this schema */
+    rules: PSFRule[];
+    /** Constraints defined in this schema */
+    constraints: PSFConstraint[];
+    /** Data models */
+    models: PSFModel[];
+    /** UI Components */
+    components: PSFComponent[];
+    /** Flows/Orchestrations */
+    flows: PSFFlow[];
+    /** Documentation metadata */
+    docs?: PSFDocs;
+    /** Additional metadata */
+    metadata?: Record<string, unknown>;
+    /** Canvas layout information for visual editing */
+    canvas?: PSFCanvasLayout;
+}
+/**
+ * PSF Fact Definition
+ */
+export interface PSFFact {
+    /** Unique identifier */
+    id: string;
+    /** Fact tag (for type discrimination) */
+    tag: string;
+    /** Description */
+    description?: string;
+    /** Payload schema */
+    payload: PSFPayloadSchema;
+    /** Documentation hints */
+    docs?: PSFDocsHint;
+    /** Canvas position */
+    position?: PSFPosition;
+    /** Metadata */
+    meta?: Record<string, unknown>;
+}
+/**
+ * PSF Event Definition
+ */
+export interface PSFEvent {
+    /** Unique identifier */
+    id: string;
+    /** Event tag (for type discrimination) */
+    tag: string;
+    /** Description */
+    description?: string;
+    /** Payload schema */
+    payload: PSFPayloadSchema;
+    /** Documentation hints */
+    docs?: PSFDocsHint;
+    /** Canvas position */
+    position?: PSFPosition;
+    /** Metadata */
+    meta?: Record<string, unknown>;
+}
+/**
+ * PSF Rule Definition
+ */
+export interface PSFRule {
+    /** Unique identifier */
+    id: string;
+    /** Human-readable name */
+    name?: string;
+    /** Description */
+    description: string;
+    /** Events that trigger this rule */
+    triggers?: string[];
+    /** Condition expression (DSL or reference) */
+    when?: PSFExpression;
+    /** Action expression (DSL or reference) */
+    then: PSFExpression;
+    /** Priority (higher executes first) */
+    priority?: number;
+    /** Documentation hints */
+    docs?: PSFDocsHint;
+    /** Canvas position */
+    position?: PSFPosition;
+    /** Metadata */
+    meta?: Record<string, unknown>;
+}
+/**
+ * PSF Constraint Definition
+ */
+export interface PSFConstraint {
+    /** Unique identifier */
+    id: string;
+    /** Human-readable name */
+    name?: string;
+    /** Description */
+    description: string;
+    /** Check expression */
+    check: PSFExpression;
+    /** Error message when violated */
+    errorMessage: string;
+    /** Severity level */
+    severity?: 'error' | 'warning' | 'info';
+    /** Documentation hints */
+    docs?: PSFDocsHint;
+    /** Canvas position */
+    position?: PSFPosition;
+    /** Metadata */
+    meta?: Record<string, unknown>;
+}
+/**
+ * PSF Data Model
+ */
+export interface PSFModel {
+    /** Unique identifier */
+    id: string;
+    /** Model name */
+    name: string;
+    /** Description */
+    description?: string;
+    /** Fields */
+    fields: PSFField[];
+    /** Relationships to other models */
+    relationships?: PSFRelationship[];
+    /** Indexes */
+    indexes?: PSFIndex[];
+    /** Model-level constraints */
+    constraints?: PSFModelConstraint[];
+    /** Documentation hints */
+    docs?: PSFDocsHint;
+    /** Canvas position */
+    position?: PSFPosition;
+    /** Metadata */
+    meta?: Record<string, unknown>;
+}
+/**
+ * PSF Model Field
+ */
+export interface PSFField {
+    /** Field name */
+    name: string;
+    /** Field type */
+    type: PSFFieldType;
+    /** Is optional */
+    optional?: boolean;
+    /** Default value */
+    default?: unknown;
+    /** Description */
+    description?: string;
+    /** Validation rules */
+    validation?: PSFValidation[];
+    /** UI hints for form generation */
+    ui?: PSFUIHint;
+}
+/**
+ * PSF Field Type
+ */
+export type PSFFieldType = 'string' | 'number' | 'boolean' | 'date' | 'datetime' | 'uuid' | {
+    array: PSFFieldType;
+} | {
+    object: Record<string, PSFField>;
+} | {
+    reference: string;
+} | {
+    enum: string[];
+} | {
+    union: PSFFieldType[];
+};
+/**
+ * PSF Validation Rule
+ */
+export interface PSFValidation {
+    /** Validation type */
+    type: 'required' | 'min' | 'max' | 'minLength' | 'maxLength' | 'pattern' | 'email' | 'url' | 'custom';
+    /** Validation value */
+    value?: unknown;
+    /** Error message */
+    message?: string;
+}
+/**
+ * PSF Model Constraint
+ */
+export interface PSFModelConstraint {
+    /** Constraint identifier */
+    id: string;
+    /** Constraint type */
+    type: 'unique' | 'check' | 'foreign_key';
+    /** Fields involved */
+    fields: string[];
+    /** Description */
+    description?: string;
+    /** Additional options */
+    options?: Record<string, unknown>;
+}
+/**
+ * PSF Relationship
+ */
+export interface PSFRelationship {
+    /** Relationship name */
+    name: string;
+    /** Relationship type */
+    type: 'one-to-one' | 'one-to-many' | 'many-to-many';
+    /** Target model */
+    target: string;
+    /** Foreign key field */
+    foreignKey?: string;
+    /** Cascade behavior */
+    cascade?: boolean;
+}
+/**
+ * PSF Index
+ */
+export interface PSFIndex {
+    /** Index name */
+    name: string;
+    /** Fields to index */
+    fields: string[];
+    /** Is unique index */
+    unique?: boolean;
+    /** Index type */
+    type?: 'btree' | 'hash' | 'fulltext';
+}
+/**
+ * PSF Component Definition
+ */
+export interface PSFComponent {
+    /** Unique identifier */
+    id: string;
+    /** Component name */
+    name: string;
+    /** Component type */
+    type: 'form' | 'display' | 'list' | 'navigation' | 'editor' | 'custom';
+    /** Description */
+    description?: string;
+    /** Bound model */
+    model?: string;
+    /** Component properties */
+    props: PSFComponentProp[];
+    /** Component events */
+    events: PSFComponentEvent[];
+    /** Layout configuration */
+    layout?: PSFLayout;
+    /** Styling configuration */
+    styling?: PSFStyling;
+    /** Documentation hints */
+    docs?: PSFDocsHint;
+    /** Canvas position */
+    position?: PSFPosition;
+    /** Metadata */
+    meta?: Record<string, unknown>;
+}
+/**
+ * PSF Component Property
+ */
+export interface PSFComponentProp {
+    /** Property name */
+    name: string;
+    /** Property type */
+    type: string;
+    /** Is required */
+    required?: boolean;
+    /** Default value */
+    default?: unknown;
+    /** Description */
+    description?: string;
+    /** Binding expression */
+    binding?: PSFExpression;
+}
+/**
+ * PSF Component Event
+ */
+export interface PSFComponentEvent {
+    /** Event name */
+    name: string;
+    /** Payload type */
+    payload?: string;
+    /** Description */
+    description?: string;
+    /** Handler expression */
+    handler?: PSFExpression;
+}
+/**
+ * PSF Layout Configuration
+ */
+export interface PSFLayout {
+    /** Layout type */
+    type: 'stack' | 'grid' | 'flex' | 'absolute';
+    /** Direction */
+    direction?: 'horizontal' | 'vertical';
+    /** Gap between items */
+    gap?: number | string;
+    /** Padding */
+    padding?: number | string;
+    /** Alignment */
+    align?: 'start' | 'center' | 'end' | 'stretch';
+    /** Justify */
+    justify?: 'start' | 'center' | 'end' | 'between' | 'around';
+}
+/**
+ * PSF Styling Configuration
+ */
+export interface PSFStyling {
+    /** CSS classes */
+    classes?: string[];
+    /** Inline styles */
+    styles?: Record<string, string>;
+    /** Theme tokens */
+    theme?: Record<string, string>;
+    /** Variant */
+    variant?: string;
+}
+/**
+ * PSF Flow/Orchestration
+ */
+export interface PSFFlow {
+    /** Unique identifier */
+    id: string;
+    /** Flow name */
+    name: string;
+    /** Description */
+    description?: string;
+    /** Flow type */
+    type: 'sequence' | 'parallel' | 'state-machine' | 'saga';
+    /** Flow steps */
+    steps: PSFFlowStep[];
+    /** Initial state/step */
+    initial?: string;
+    /** Error handling */
+    errorHandling?: PSFErrorHandling;
+    /** Documentation hints */
+    docs?: PSFDocsHint;
+    /** Canvas position */
+    position?: PSFPosition;
+    /** Metadata */
+    meta?: Record<string, unknown>;
+}
+/**
+ * PSF Flow Step
+ */
+export interface PSFFlowStep {
+    /** Step identifier */
+    id: string;
+    /** Step name */
+    name?: string;
+    /** Step type */
+    type: 'action' | 'condition' | 'wait' | 'parallel' | 'terminal';
+    /** Action expression */
+    action?: PSFExpression;
+    /** Condition expression */
+    condition?: PSFExpression;
+    /** Next step(s) */
+    next?: string | {
+        [key: string]: string;
+    };
+    /** Timeout in milliseconds */
+    timeout?: number;
+    /** Retry configuration */
+    retry?: PSFRetry;
+}
+/**
+ * PSF Retry Configuration
+ */
+export interface PSFRetry {
+    /** Maximum retry attempts */
+    maxAttempts: number;
+    /** Delay between retries (ms) */
+    delay: number;
+    /** Exponential backoff factor */
+    backoff?: number;
+}
+/**
+ * PSF Error Handling
+ */
+export interface PSFErrorHandling {
+    /** Global error handler */
+    handler?: PSFExpression;
+    /** Compensation flow */
+    compensation?: string;
+    /** Error policy */
+    policy: 'fail-fast' | 'continue' | 'compensate';
+}
+/**
+ * PSF Documentation
+ */
+export interface PSFDocs {
+    /** Overview */
+    overview?: string;
+    /** Getting started guide */
+    gettingStarted?: string;
+    /** Examples */
+    examples?: PSFExample[];
+    /** Additional sections */
+    sections?: PSFDocSection[];
+    /** API documentation configuration */
+    api?: PSFAPIDoc;
+}
+/**
+ * PSF Documentation Hint (for individual elements)
+ */
+export interface PSFDocsHint {
+    /** Brief summary */
+    summary?: string;
+    /** Detailed description */
+    details?: string;
+    /** Examples */
+    examples?: string[];
+    /** See also references */
+    seeAlso?: string[];
+    /** Tags for categorization */
+    tags?: string[];
+    /** Deprecation notice */
+    deprecated?: string | boolean;
+}
+/**
+ * PSF Example
+ */
+export interface PSFExample {
+    /** Example name */
+    name: string;
+    /** Description */
+    description?: string;
+    /** Code snippet */
+    code: string;
+    /** Language */
+    language?: string;
+}
+/**
+ * PSF Documentation Section
+ */
+export interface PSFDocSection {
+    /** Section title */
+    title: string;
+    /** Section content (markdown) */
+    content: string;
+    /** Subsections */
+    children?: PSFDocSection[];
+}
+/**
+ * PSF API Documentation Configuration
+ */
+export interface PSFAPIDoc {
+    /** Generate API docs */
+    generate?: boolean;
+    /** Output format */
+    format?: 'markdown' | 'html' | 'json';
+    /** Include private members */
+    includePrivate?: boolean;
+}
+/**
+ * PSF Expression (can be inline or reference)
+ */
+export type PSFExpression = {
+    inline: string;
+    language?: 'typescript' | 'javascript';
+} | {
+    ref: string;
+};
+/**
+ * PSF Position (for canvas layout)
+ */
+export interface PSFPosition {
+    /** X coordinate */
+    x: number;
+    /** Y coordinate */
+    y: number;
+    /** Width (optional) */
+    width?: number;
+    /** Height (optional) */
+    height?: number;
+}
+/**
+ * PSF UI Hint (for form generation)
+ */
+export interface PSFUIHint {
+    /** Display label */
+    label?: string;
+    /** Placeholder text */
+    placeholder?: string;
+    /** Help text */
+    help?: string;
+    /** Input type override */
+    inputType?: string;
+    /** Component to use */
+    component?: string;
+    /** Hidden from UI */
+    hidden?: boolean;
+    /** Read-only */
+    readonly?: boolean;
+    /** Display order */
+    order?: number;
+}
+/**
+ * PSF Payload Schema
+ */
+export interface PSFPayloadSchema {
+    /** Schema type (usually 'object') */
+    type: 'object';
+    /** Properties */
+    properties: Record<string, PSFPropertySchema>;
+    /** Required properties */
+    required?: string[];
+}
+/**
+ * PSF Property Schema
+ */
+export interface PSFPropertySchema {
+    /** Property type */
+    type: PSFFieldType | 'string' | 'number' | 'boolean' | 'array' | 'object';
+    /** Description */
+    description?: string;
+    /** Default value */
+    default?: unknown;
+    /** Array items schema */
+    items?: PSFPropertySchema;
+    /** Nested properties (for object type) */
+    properties?: Record<string, PSFPropertySchema>;
+}
+/**
+ * PSF Canvas Layout (for visual editor)
+ */
+export interface PSFCanvasLayout {
+    /** Viewport settings */
+    viewport?: {
+        x: number;
+        y: number;
+        zoom: number;
+    };
+    /** Grid settings */
+    grid?: {
+        enabled: boolean;
+        size: number;
+        snap: boolean;
+    };
+    /** Node groups */
+    groups?: PSFCanvasGroup[];
+    /** Connections between nodes */
+    connections?: PSFCanvasConnection[];
+}
+/**
+ * PSF Canvas Group
+ */
+export interface PSFCanvasGroup {
+    /** Group identifier */
+    id: string;
+    /** Group name */
+    name: string;
+    /** Color */
+    color?: string;
+    /** Collapsed state */
+    collapsed?: boolean;
+    /** Position */
+    position: PSFPosition;
+    /** Member node IDs */
+    members: string[];
+}
+/**
+ * PSF Canvas Connection
+ */
+export interface PSFCanvasConnection {
+    /** Connection identifier */
+    id: string;
+    /** Source node ID */
+    source: string;
+    /** Source port */
+    sourcePort?: string;
+    /** Target node ID */
+    target: string;
+    /** Target port */
+    targetPort?: string;
+    /** Connection type */
+    type?: 'data' | 'control' | 'event';
+    /** Label */
+    label?: string;
+}
+/**
+ * Create an empty PSF Schema
+ */
+export declare function createEmptyPSFSchema(id: string, name: string): PSFSchema;
+/**
+ * Generate a unique ID for PSF elements
+ */
+export declare function generatePSFId(prefix?: string): string;
+//# sourceMappingURL=psf.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"psf.d.ts","sourceRoot":"","sources":["../../../core/schema-engine/psf.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH;;GAEG;AACH,eAAO,MAAM,WAAW,EAAG,OAAgB,CAAC;AAE5C;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,yBAAyB;IACzB,QAAQ,EAAE,OAAO,WAAW,CAAC;IAC7B,wBAAwB;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,0BAA0B;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,yBAAyB;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8BAA8B;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mCAAmC;IACnC,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,oCAAoC;IACpC,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,mCAAmC;IACnC,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,yCAAyC;IACzC,WAAW,EAAE,aAAa,EAAE,CAAC;IAC7B,kBAAkB;IAClB,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,oBAAoB;IACpB,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,2BAA2B;IAC3B,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,6BAA6B;IAC7B,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,0BAA0B;IAC1B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnC,mDAAmD;IACnD,MAAM,CAAC,EAAE,eAAe,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,wBAAwB;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,yCAAyC;IACzC,GAAG,EAAE,MAAM,CAAC;IACZ,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,qBAAqB;IACrB,OAAO,EAAE,gBAAgB,CAAC;IAC1B,0BAA0B;IAC1B,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,sBAAsB;IACtB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,eAAe;IACf,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,wBAAwB;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,0CAA0C;IAC1C,GAAG,EAAE,MAAM,CAAC;IACZ,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,qBAAqB;IACrB,OAAO,EAAE,gBAAgB,CAAC;IAC1B,0BAA0B;IAC1B,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,sBAAsB;IACtB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,eAAe;IACf,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,wBAAwB;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,0BAA0B;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,kBAAkB;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,oCAAoC;IACpC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,8CAA8C;IAC9C,IAAI,CAAC,EAAE,aAAa,CAAC;IACrB,2CAA2C;IAC3C,IAAI,EAAE,aAAa,CAAC;IACpB,uCAAuC;IACvC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,0BAA0B;IAC1B,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,sBAAsB;IACtB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,eAAe;IACf,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,wBAAwB;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,0BAA0B;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,kBAAkB;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,uBAAuB;IACvB,KAAK,EAAE,aAAa,CAAC;IACrB,kCAAkC;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,qBAAqB;IACrB,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACxC,0BAA0B;IAC1B,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,sBAAsB;IACtB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,eAAe;IACf,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,wBAAwB;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,iBAAiB;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,aAAa;IACb,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,oCAAoC;IACpC,aAAa,CAAC,EAAE,eAAe,EAAE,CAAC;IAClC,cAAc;IACd,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC;IACrB,8BAA8B;IAC9B,WAAW,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACnC,0BAA0B;IAC1B,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,sBAAsB;IACtB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,eAAe;IACf,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,iBAAiB;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,iBAAiB;IACjB,IAAI,EAAE,YAAY,CAAC;IACnB,kBAAkB;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,oBAAoB;IACpB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,uBAAuB;IACvB,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC;IAC7B,mCAAmC;IACnC,EAAE,CAAC,EAAE,SAAS,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,MAAM,YAAY,GACpB,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,MAAM,GACN,UAAU,GACV,MAAM,GACN;IAAE,KAAK,EAAE,YAAY,CAAA;CAAE,GACvB;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;CAAE,GACpC;IAAE,SAAS,EAAE,MAAM,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAA;CAAE,GAClB;IAAE,KAAK,EAAE,YAAY,EAAE,CAAA;CAAE,CAAC;AAE9B;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,sBAAsB;IACtB,IAAI,EAAE,UAAU,GAAG,KAAK,GAAG,KAAK,GAAG,WAAW,GAAG,WAAW,GAAG,SAAS,GAAG,OAAO,GAAG,KAAK,GAAG,QAAQ,CAAC;IACtG,uBAAuB;IACvB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,oBAAoB;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,4BAA4B;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,sBAAsB;IACtB,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,aAAa,CAAC;IACzC,sBAAsB;IACtB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,yBAAyB;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,wBAAwB;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,IAAI,EAAE,YAAY,GAAG,aAAa,GAAG,cAAc,CAAC;IACpD,mBAAmB;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,wBAAwB;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,uBAAuB;IACvB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,iBAAiB;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,sBAAsB;IACtB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,sBAAsB;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,iBAAiB;IACjB,IAAI,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,UAAU,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,wBAAwB;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,qBAAqB;IACrB,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,YAAY,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACvE,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kBAAkB;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2BAA2B;IAC3B,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,uBAAuB;IACvB,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAC5B,2BAA2B;IAC3B,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB,4BAA4B;IAC5B,OAAO,CAAC,EAAE,UAAU,CAAC;IACrB,0BAA0B;IAC1B,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,sBAAsB;IACtB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,eAAe;IACf,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,oBAAoB;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,oBAAoB;IACpB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,yBAAyB;IACzB,OAAO,CAAC,EAAE,aAAa,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,iBAAiB;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,mBAAmB;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,yBAAyB;IACzB,OAAO,CAAC,EAAE,aAAa,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,kBAAkB;IAClB,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,UAAU,CAAC;IAC7C,gBAAgB;IAChB,SAAS,CAAC,EAAE,YAAY,GAAG,UAAU,CAAC;IACtC,wBAAwB;IACxB,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACtB,cAAc;IACd,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC1B,gBAAgB;IAChB,KAAK,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,SAAS,CAAC;IAC/C,cAAc;IACd,OAAO,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,SAAS,GAAG,QAAQ,CAAC;CAC7D;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,kBAAkB;IAClB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,oBAAoB;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,mBAAmB;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,cAAc;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,wBAAwB;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,gBAAgB;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gBAAgB;IAChB,IAAI,EAAE,UAAU,GAAG,UAAU,GAAG,eAAe,GAAG,MAAM,CAAC;IACzD,iBAAiB;IACjB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,yBAAyB;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qBAAqB;IACrB,aAAa,CAAC,EAAE,gBAAgB,CAAC;IACjC,0BAA0B;IAC1B,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,sBAAsB;IACtB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,eAAe;IACf,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,sBAAsB;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,gBAAgB;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,gBAAgB;IAChB,IAAI,EAAE,QAAQ,GAAG,WAAW,GAAG,MAAM,GAAG,UAAU,GAAG,UAAU,CAAC;IAChE,wBAAwB;IACxB,MAAM,CAAC,EAAE,aAAa,CAAC;IACvB,2BAA2B;IAC3B,SAAS,CAAC,EAAE,aAAa,CAAC;IAC1B,mBAAmB;IACnB,IAAI,CAAC,EAAE,MAAM,GAAG;QAAE,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC;IAC1C,8BAA8B;IAC9B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,KAAK,CAAC,EAAE,QAAQ,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,6BAA6B;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,iCAAiC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,2BAA2B;IAC3B,OAAO,CAAC,EAAE,aAAa,CAAC;IACxB,wBAAwB;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,mBAAmB;IACnB,MAAM,EAAE,WAAW,GAAG,UAAU,GAAG,YAAY,CAAC;CACjD;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,eAAe;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,4BAA4B;IAC5B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe;IACf,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC;IACxB,0BAA0B;IAC1B,QAAQ,CAAC,EAAE,aAAa,EAAE,CAAC;IAC3B,sCAAsC;IACtC,GAAG,CAAC,EAAE,SAAS,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,oBAAoB;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,2BAA2B;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,eAAe;IACf,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,0BAA0B;IAC1B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,8BAA8B;IAC9B,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,yBAAyB;IACzB,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,mBAAmB;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mBAAmB;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,eAAe;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,oBAAoB;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB;IAClB,QAAQ,CAAC,EAAE,aAAa,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,wBAAwB;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,oBAAoB;IACpB,MAAM,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC;IACtC,8BAA8B;IAC9B,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,MAAM,aAAa,GACrB;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,YAAY,GAAG,YAAY,CAAA;CAAE,GAC1D;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpB;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,mBAAmB;IACnB,CAAC,EAAE,MAAM,CAAC;IACV,mBAAmB;IACnB,CAAC,EAAE,MAAM,CAAC;IACV,uBAAuB;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,wBAAwB;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,oBAAoB;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gBAAgB;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,0BAA0B;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uBAAuB;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qBAAqB;IACrB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,gBAAgB;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,oBAAoB;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,qCAAqC;IACrC,IAAI,EAAE,QAAQ,CAAC;IACf,iBAAiB;IACjB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC9C,0BAA0B;IAC1B,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,oBAAoB;IACpB,IAAI,EAAE,YAAY,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,CAAC;IAC1E,kBAAkB;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,oBAAoB;IACpB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,yBAAyB;IACzB,KAAK,CAAC,EAAE,iBAAiB,CAAC;IAC1B,0CAA0C;IAC1C,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;CAChD;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,wBAAwB;IACxB,QAAQ,CAAC,EAAE;QACT,CAAC,EAAE,MAAM,CAAC;QACV,CAAC,EAAE,MAAM,CAAC;QACV,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;IACF,oBAAoB;IACpB,IAAI,CAAC,EAAE;QACL,OAAO,EAAE,OAAO,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,OAAO,CAAC;KACf,CAAC;IACF,kBAAkB;IAClB,MAAM,CAAC,EAAE,cAAc,EAAE,CAAC;IAC1B,gCAAgC;IAChC,WAAW,CAAC,EAAE,mBAAmB,EAAE,CAAC;CACrC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,uBAAuB;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,iBAAiB;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,YAAY;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sBAAsB;IACtB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,eAAe;IACf,QAAQ,EAAE,WAAW,CAAC;IACtB,sBAAsB;IACtB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,4BAA4B;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,qBAAqB;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,kBAAkB;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,qBAAqB;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,kBAAkB;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,sBAAsB;IACtB,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IACpC,YAAY;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAgBxE;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,GAAE,MAAW,GAAG,MAAM,CAIzD"}

package/dist/core/schema-engine/psf.js

@@ -0,0 +1,45 @@
+/**
+ * Praxis Schema Format (PSF) Types
+ *
+ * PSF is the canonical AST format that serves as the single source of truth.
+ * All code, canvas, and documentation are derived from or synchronized with PSF.
+ *
+ * Design principles:
+ * - JSON-serializable for persistence and transmission
+ * - Supports bidirectional code ↔ canvas sync
+ * - Complete representation of all Praxis concepts
+ * - Extensible with metadata and custom properties
+ */
+/**
+ * PSF Schema version
+ */
+export const PSF_VERSION = '1.0.0';
+/**
+ * Create an empty PSF Schema
+ */
+export function createEmptyPSFSchema(id, name) {
+    return {
+        $version: PSF_VERSION,
+        id,
+        name,
+        createdAt: new Date().toISOString(),
+        modifiedAt: new Date().toISOString(),
+        facts: [],
+        events: [],
+        rules: [],
+        constraints: [],
+        models: [],
+        components: [],
+        flows: [],
+        docs: {},
+    };
+}
+/**
+ * Generate a unique ID for PSF elements
+ */
+export function generatePSFId(prefix = '') {
+    const timestamp = Date.now().toString(36);
+    const random = Math.random().toString(36).substring(2, 8);
+    return prefix ? `${prefix}_${timestamp}_${random}` : `${timestamp}_${random}`;
+}
+//# sourceMappingURL=psf.js.map

package/dist/core/schema-engine/psf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"psf.js","sourceRoot":"","sources":["../../../core/schema-engine/psf.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,OAAgB,CAAC;AA2mB5C;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAU,EAAE,IAAY;IAC3D,OAAO;QACL,QAAQ,EAAE,WAAW;QACrB,EAAE;QACF,IAAI;QACJ,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,EAAE;QACV,KAAK,EAAE,EAAE;QACT,WAAW,EAAE,EAAE;QACf,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,EAAE;QACd,KAAK,EAAE,EAAE;QACT,IAAI,EAAE,EAAE;KACT,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,SAAiB,EAAE;IAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,MAAM,EAAE,CAAC;AAChF,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Schema Engine Types
+ *
+ * Re-exports types from the schema engine for external use.
+ */
+export type { PSFSchema, PSFFact, PSFEvent, PSFRule, PSFConstraint, PSFModel, PSFComponent, PSFFlow, PSFFlowStep, PSFField, PSFFieldType, PSFPayloadSchema, PSFPropertySchema, PSFExpression, PSFPosition, PSFLayout, PSFStyling, PSFValidation, PSFRelationship, PSFIndex, PSFCanvasLayout, PSFCanvasGroup, PSFCanvasConnection, PSFDocs, PSFDocsHint, PSFUIHint, } from './psf.js';
+export type { DSLSchema, DSLFact, DSLEvent, DSLRule, DSLConstraint, DSLModel, DSLComponent, CompilationResult, CompilationError, SourceLocation, } from './compiler.js';
+export type { GeneratorOptions, GeneratedFile, GenerationResult, } from './generator.js';
+export type { ValidationResult, ValidationError, ValidationOptions, } from './validator.js';
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../core/schema-engine/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,YAAY,EACV,SAAS,EACT,OAAO,EACP,QAAQ,EACR,OAAO,EACP,aAAa,EACb,QAAQ,EACR,YAAY,EACZ,OAAO,EACP,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,SAAS,EACT,UAAU,EACV,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,OAAO,EACP,WAAW,EACX,SAAS,GACV,MAAM,UAAU,CAAC;AAGlB,YAAY,EACV,SAAS,EACT,OAAO,EACP,QAAQ,EACR,OAAO,EACP,aAAa,EACb,QAAQ,EACR,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,GACf,MAAM,eAAe,CAAC;AAGvB,YAAY,EACV,gBAAgB,EAChB,aAAa,EACb,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AAGxB,YAAY,EACV,gBAAgB,EAChB,eAAe,EACf,iBAAiB,GAClB,MAAM,gBAAgB,CAAC"}