@plures/praxis 1.0.2 → 1.1.0

package/dist/src/core/pluresdb/store.d.ts

@@ -1,199 +0,0 @@
-/**
- * PraxisDB Store
- *
- * Connects Praxis Facts, Events, Rules, and Constraints to PluresDB.
- * Provides CRDT-backed storage for facts and append-only event streams.
- */
-import type { PraxisDB, UnsubscribeFn } from "./adapter.js";
-import type { PraxisRegistry } from "../rules.js";
-import type { PraxisFact, PraxisEvent } from "../protocol.js";
-/**
- * Key paths for Praxis data in PluresDB
- */
-export declare const PRAXIS_PATHS: {
-    /** Base path for all Praxis data */
-    readonly BASE: "/_praxis";
-    /** Path for facts storage */
-    readonly FACTS: "/_praxis/facts";
-    /** Path for events storage */
-    readonly EVENTS: "/_praxis/events";
-    /** Path for schema registry */
-    readonly SCHEMAS: "/_praxis/schemas";
-};
-/**
- * Generate a fact key path
- * @param factTag The fact type tag
- * @param id Optional unique identifier for the fact instance
- */
-export declare function getFactPath(factTag: string, id?: string): string;
-/**
- * Generate an event stream key path
- * @param eventTag The event type tag
- */
-export declare function getEventPath(eventTag: string): string;
-/**
- * Generate a unique ID for facts or events
- * Uses timestamp and random string for uniqueness
- */
-export declare function generateId(): string;
-/**
- * Event stream entry with timestamp
- */
-export interface EventStreamEntry {
-    /** The event data */
-    event: PraxisEvent;
-    /** Timestamp when the event was appended */
-    timestamp: number;
-    /** Optional sequence number */
-    sequence?: number;
-}
-/**
- * Options for creating a PraxisDBStore
- */
-export interface PraxisDBStoreOptions<TContext = unknown> {
-    /** The PraxisDB instance to use */
-    db: PraxisDB;
-    /** The PraxisRegistry for rules and constraints */
-    registry: PraxisRegistry<TContext>;
-    /** Initial context for rule evaluation */
-    initialContext?: TContext;
-}
-/**
- * PraxisDBStore
- *
- * Manages persistence and reactive updates for Praxis state in PluresDB.
- *
- * - Facts are stored as CRDT-backed documents under `/_praxis/facts/<factTag>/<id>`
- * - Events are stored as append-only streams under `/_praxis/events/<eventTag>`
- * - Rules are triggered automatically when watched keys change
- * - Constraints are run before writing mutated state
- */
-/**
- * Error handler callback for rule execution errors
- */
-export type RuleErrorHandler = (ruleId: string, error: unknown) => void;
-export declare class PraxisDBStore<TContext = unknown> {
-    private db;
-    private registry;
-    private context;
-    private subscriptions;
-    private factWatchers;
-    private onRuleError;
-    constructor(options: PraxisDBStoreOptions<TContext> & {
-        onRuleError?: RuleErrorHandler;
-    });
-    /**
-     * Store a fact in PluresDB
-     *
-     * Facts are stored under `/_praxis/facts/<factTag>/<id>`
-     * If no id is provided in the payload, a timestamp-based id is used.
-     *
-     * @param fact The fact to store
-     * @returns Promise that resolves when the fact is stored
-     */
-    storeFact(fact: PraxisFact): Promise<void>;
-    /**
-     * Store multiple facts in PluresDB
-     *
-     * @param facts The facts to store
-     */
-    storeFacts(facts: PraxisFact[]): Promise<void>;
-    /**
-     * Internal method to persist a fact without constraint checking
-     * Used by both storeFact and derived fact storage
-     */
-    private persistFact;
-    /**
-     * Get a fact by tag and id
-     *
-     * @param factTag The fact type tag
-     * @param id The fact id
-     * @returns The fact or undefined if not found
-     */
-    getFact(factTag: string, id: string): Promise<PraxisFact | undefined>;
-    /**
-     * Append an event to the event stream
-     *
-     * Events are stored as append-only streams under `/_praxis/events/<eventTag>`
-     *
-     * @param event The event to append
-     */
-    appendEvent(event: PraxisEvent): Promise<void>;
-    /**
-     * Append multiple events to their respective streams
-     *
-     * @param events The events to append
-     */
-    appendEvents(events: PraxisEvent[]): Promise<void>;
-    /**
-     * Get events from a stream
-     *
-     * @param eventTag The event type tag
-     * @param options Query options
-     * @returns Array of event stream entries
-     */
-    getEvents(eventTag: string, options?: {
-        since?: number;
-        limit?: number;
-    }): Promise<EventStreamEntry[]>;
-    /**
-     * Watch a fact path for changes
-     *
-     * @param factTag The fact type tag to watch
-     * @param callback Called when facts of this type change
-     * @returns Unsubscribe function
-     */
-    watchFacts(factTag: string, callback: (facts: PraxisFact[]) => void): UnsubscribeFn;
-    /**
-     * Check constraints against the current state with new facts
-     */
-    private checkConstraints;
-    /**
-     * Trigger rules when new facts are added
-     *
-     * This method is called after facts are stored. It can be extended
-     * for derived fact computation where rules generate new facts based
-     * on existing facts. Currently implemented as a hook point for future
-     * enhancements.
-     *
-     * @param _newFacts The newly stored facts (unused in current implementation)
-     */
-    private triggerRules;
-    /**
-     * Trigger rules when events are appended
-     */
-    private triggerRulesForEvents;
-    /**
-     * Update the context
-     */
-    updateContext(context: TContext): void;
-    /**
-     * Get the current context
-     */
-    getContext(): TContext;
-    /**
-     * Dispose of all subscriptions
-     */
-    dispose(): void;
-}
-/**
- * Create a new PraxisDBStore
- *
- * @param db The PraxisDB instance to use
- * @param registry The PraxisRegistry for rules and constraints
- * @param initialContext Optional initial context
- * @param onRuleError Optional error handler for rule execution errors
- * @returns PraxisDBStore instance
- *
- * @example
- * ```typescript
- * const db = createInMemoryDB();
- * const registry = new PraxisRegistry();
- * const store = createPraxisDBStore(db, registry);
- *
- * await store.storeFact({ tag: "UserLoggedIn", payload: { userId: "alice" } });
- * await store.appendEvent({ tag: "LOGIN", payload: { username: "alice" } });
- * ```
- */
-export declare function createPraxisDBStore<TContext = unknown>(db: PraxisDB, registry: PraxisRegistry<TContext>, initialContext?: TContext, onRuleError?: RuleErrorHandler): PraxisDBStore<TContext>;
-//# sourceMappingURL=store.d.ts.map

package/dist/src/core/pluresdb/store.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../../../src/core/pluresdb/store.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAe,MAAM,gBAAgB,CAAC;AAE3E;;GAEG;AACH,eAAO,MAAM,YAAY;IACvB,oCAAoC;;IAEpC,6BAA6B;;IAE7B,8BAA8B;;IAE9B,+BAA+B;;CAEvB,CAAC;AAEX;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAKhE;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAErD;AAED;;;GAGG;AACH,wBAAgB,UAAU,IAAI,MAAM,CAEnC;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,qBAAqB;IACrB,KAAK,EAAE,WAAW,CAAC;IACnB,4CAA4C;IAC5C,SAAS,EAAE,MAAM,CAAC;IAClB,+BAA+B;IAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB,CAAC,QAAQ,GAAG,OAAO;IACtD,mCAAmC;IACnC,EAAE,EAAE,QAAQ,CAAC;IACb,mDAAmD;IACnD,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;IACnC,0CAA0C;IAC1C,cAAc,CAAC,EAAE,QAAQ,CAAC;CAC3B;AAED;;;;;;;;;GASG;AACH;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;AAYxE,qBAAa,aAAa,CAAC,QAAQ,GAAG,OAAO;IAC3C,OAAO,CAAC,EAAE,CAAW;IACrB,OAAO,CAAC,QAAQ,CAA2B;IAC3C,OAAO,CAAC,OAAO,CAAW;IAC1B,OAAO,CAAC,aAAa,CAAuB;IAC5C,OAAO,CAAC,YAAY,CAAyD;IAC7E,OAAO,CAAC,WAAW,CAAmB;gBAE1B,OAAO,EAAE,oBAAoB,CAAC,QAAQ,CAAC,GAAG;QAAE,WAAW,CAAC,EAAE,gBAAgB,CAAA;KAAE;IAOxF;;;;;;;;OAQG;IACG,SAAS,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAahD;;;;OAIG;IACG,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAepD;;;OAGG;YACW,WAAW;IAOzB;;;;;;OAMG;IACG,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC;IAK3E;;;;;;OAMG;IACG,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IAqBpD;;;;OAIG;IACG,YAAY,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IA2BxD;;;;;;OAMG;IACG,SAAS,CACb,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,GAC3C,OAAO,CAAC,gBAAgB,EAAE,CAAC;IAkB9B;;;;;;OAMG;IACH,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,IAAI,GAAG,aAAa;IAyBnF;;OAEG;YACW,gBAAgB;IAkC9B;;;;;;;;;OASG;YACW,YAAY;IAM1B;;OAEG;YACW,qBAAqB;IAgCnC;;OAEG;IACH,aAAa,CAAC,OAAO,EAAE,QAAQ,GAAG,IAAI;IAItC;;OAEG;IACH,UAAU,IAAI,QAAQ;IAItB;;OAEG;IACH,OAAO,IAAI,IAAI;CAOhB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,GAAG,OAAO,EACpD,EAAE,EAAE,QAAQ,EACZ,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,EAClC,cAAc,CAAC,EAAE,QAAQ,EACzB,WAAW,CAAC,EAAE,gBAAgB,GAC7B,aAAa,CAAC,QAAQ,CAAC,CAEzB"}

package/dist/src/core/pluresdb/store.js

@@ -1,344 +0,0 @@
-/**
- * PraxisDB Store
- *
- * Connects Praxis Facts, Events, Rules, and Constraints to PluresDB.
- * Provides CRDT-backed storage for facts and append-only event streams.
- */
-/**
- * Key paths for Praxis data in PluresDB
- */
-export const PRAXIS_PATHS = {
-    /** Base path for all Praxis data */
-    BASE: "/_praxis",
-    /** Path for facts storage */
-    FACTS: "/_praxis/facts",
-    /** Path for events storage */
-    EVENTS: "/_praxis/events",
-    /** Path for schema registry */
-    SCHEMAS: "/_praxis/schemas",
-};
-/**
- * Generate a fact key path
- * @param factTag The fact type tag
- * @param id Optional unique identifier for the fact instance
- */
-export function getFactPath(factTag, id) {
-    if (id) {
-        return `${PRAXIS_PATHS.FACTS}/${factTag}/${id}`;
-    }
-    return `${PRAXIS_PATHS.FACTS}/${factTag}`;
-}
-/**
- * Generate an event stream key path
- * @param eventTag The event type tag
- */
-export function getEventPath(eventTag) {
-    return `${PRAXIS_PATHS.EVENTS}/${eventTag}`;
-}
-/**
- * Generate a unique ID for facts or events
- * Uses timestamp and random string for uniqueness
- */
-export function generateId() {
-    return `${Date.now()}-${Math.random().toString(36).slice(2, 9)}`;
-}
-/**
- * Default error handler that logs to console
- */
-const defaultErrorHandler = (ruleId, error) => {
-    // Default behavior: silent in production, can be overridden
-    if (typeof process !== "undefined" && process.env?.NODE_ENV === "development") {
-        console.error(`Error executing rule "${ruleId}":`, error);
-    }
-};
-export class PraxisDBStore {
-    db;
-    registry;
-    context;
-    subscriptions = [];
-    factWatchers = new Map();
-    onRuleError;
-    constructor(options) {
-        this.db = options.db;
-        this.registry = options.registry;
-        this.context = options.initialContext ?? {};
-        this.onRuleError = options.onRuleError ?? defaultErrorHandler;
-    }
-    /**
-     * Store a fact in PluresDB
-     *
-     * Facts are stored under `/_praxis/facts/<factTag>/<id>`
-     * If no id is provided in the payload, a timestamp-based id is used.
-     *
-     * @param fact The fact to store
-     * @returns Promise that resolves when the fact is stored
-     */
-    async storeFact(fact) {
-        // Run constraints before storing
-        const constraintResult = await this.checkConstraints([fact]);
-        if (!constraintResult.valid) {
-            throw new Error(`Constraint violation: ${constraintResult.errors.join(", ")}`);
-        }
-        await this.persistFact(fact);
-        // Trigger rule evaluation - facts stored directly may trigger derived computations
-        await this.triggerRules([fact]);
-    }
-    /**
-     * Store multiple facts in PluresDB
-     *
-     * @param facts The facts to store
-     */
-    async storeFacts(facts) {
-        // Run constraints before storing
-        const constraintResult = await this.checkConstraints(facts);
-        if (!constraintResult.valid) {
-            throw new Error(`Constraint violation: ${constraintResult.errors.join(", ")}`);
-        }
-        for (const fact of facts) {
-            await this.persistFact(fact);
-        }
-        // Trigger rule evaluation
-        await this.triggerRules(facts);
-    }
-    /**
-     * Internal method to persist a fact without constraint checking
-     * Used by both storeFact and derived fact storage
-     */
-    async persistFact(fact) {
-        const payload = fact.payload;
-        const id = payload?.id ?? generateId();
-        const path = getFactPath(fact.tag, id);
-        await this.db.set(path, fact);
-    }
-    /**
-     * Get a fact by tag and id
-     *
-     * @param factTag The fact type tag
-     * @param id The fact id
-     * @returns The fact or undefined if not found
-     */
-    async getFact(factTag, id) {
-        const path = getFactPath(factTag, id);
-        return this.db.get(path);
-    }
-    /**
-     * Append an event to the event stream
-     *
-     * Events are stored as append-only streams under `/_praxis/events/<eventTag>`
-     *
-     * @param event The event to append
-     */
-    async appendEvent(event) {
-        const path = getEventPath(event.tag);
-        // Get existing events for this tag
-        const existingEvents = await this.db.get(path) ?? [];
-        // Create new entry
-        const entry = {
-            event,
-            timestamp: Date.now(),
-            sequence: existingEvents.length,
-        };
-        // Append and store
-        const newEvents = [...existingEvents, entry];
-        await this.db.set(path, newEvents);
-        // Trigger rules with this event
-        await this.triggerRulesForEvents([event]);
-    }
-    /**
-     * Append multiple events to their respective streams
-     *
-     * @param events The events to append
-     */
-    async appendEvents(events) {
-        // Group events by tag for efficient storage
-        const eventsByTag = new Map();
-        for (const event of events) {
-            const existing = eventsByTag.get(event.tag) ?? [];
-            eventsByTag.set(event.tag, [...existing, event]);
-        }
-        // Append each group
-        for (const [tag, tagEvents] of eventsByTag) {
-            const path = getEventPath(tag);
-            const existingEvents = await this.db.get(path) ?? [];
-            let sequence = existingEvents.length;
-            const newEntries = tagEvents.map(event => ({
-                event,
-                timestamp: Date.now(),
-                sequence: sequence++,
-            }));
-            await this.db.set(path, [...existingEvents, ...newEntries]);
-        }
-        // Trigger rules
-        await this.triggerRulesForEvents(events);
-    }
-    /**
-     * Get events from a stream
-     *
-     * @param eventTag The event type tag
-     * @param options Query options
-     * @returns Array of event stream entries
-     */
-    async getEvents(eventTag, options) {
-        const path = getEventPath(eventTag);
-        const events = await this.db.get(path) ?? [];
-        let result = events;
-        if (options?.since !== undefined) {
-            const sinceTimestamp = options.since;
-            result = result.filter(e => e.timestamp > sinceTimestamp);
-        }
-        if (options?.limit !== undefined) {
-            result = result.slice(-options.limit);
-        }
-        return result;
-    }
-    /**
-     * Watch a fact path for changes
-     *
-     * @param factTag The fact type tag to watch
-     * @param callback Called when facts of this type change
-     * @returns Unsubscribe function
-     */
-    watchFacts(factTag, callback) {
-        const path = getFactPath(factTag);
-        // Register the callback
-        if (!this.factWatchers.has(factTag)) {
-            this.factWatchers.set(factTag, new Set());
-        }
-        const watchers = this.factWatchers.get(factTag);
-        if (watchers) {
-            watchers.add(callback);
-        }
-        // Watch the path in the DB
-        const unsubscribe = this.db.watch(path, (fact) => {
-            callback([fact]);
-        });
-        this.subscriptions.push(unsubscribe);
-        return () => {
-            unsubscribe();
-            this.factWatchers.get(factTag)?.delete(callback);
-        };
-    }
-    /**
-     * Check constraints against the current state with new facts
-     */
-    async checkConstraints(newFacts) {
-        const constraints = this.registry.getAllConstraints();
-        const errors = [];
-        // Build a minimal state for constraint checking
-        const state = {
-            context: this.context,
-            facts: newFacts,
-            meta: {},
-        };
-        for (const constraint of constraints) {
-            try {
-                const result = constraint.impl(state);
-                if (result === false) {
-                    errors.push(`Constraint "${constraint.id}" violated`);
-                }
-                else if (typeof result === "string") {
-                    errors.push(result);
-                }
-            }
-            catch (error) {
-                errors.push(`Error checking constraint "${constraint.id}": ${error instanceof Error ? error.message : String(error)}`);
-            }
-        }
-        return {
-            valid: errors.length === 0,
-            errors,
-        };
-    }
-    /**
-     * Trigger rules when new facts are added
-     *
-     * This method is called after facts are stored. It can be extended
-     * for derived fact computation where rules generate new facts based
-     * on existing facts. Currently implemented as a hook point for future
-     * enhancements.
-     *
-     * @param _newFacts The newly stored facts (unused in current implementation)
-     */
-    async triggerRules(_newFacts) {
-        // Rules are typically triggered by events, not facts
-        // This method serves as a hook for derived fact computation
-        // which can be implemented by subclasses or future enhancements
-    }
-    /**
-     * Trigger rules when events are appended
-     */
-    async triggerRulesForEvents(events) {
-        const rules = this.registry.getAllRules();
-        // Build state for rule evaluation
-        const state = {
-            context: this.context,
-            facts: [],
-            meta: {},
-        };
-        // Execute each rule
-        const derivedFacts = [];
-        for (const rule of rules) {
-            try {
-                const facts = rule.impl(state, events);
-                derivedFacts.push(...facts);
-            }
-            catch (error) {
-                this.onRuleError(rule.id, error);
-            }
-        }
-        // Store derived facts (without re-triggering rules to avoid infinite loops)
-        if (derivedFacts.length > 0) {
-            const constraintResult = await this.checkConstraints(derivedFacts);
-            if (constraintResult.valid) {
-                for (const fact of derivedFacts) {
-                    await this.persistFact(fact);
-                }
-            }
-        }
-    }
-    /**
-     * Update the context
-     */
-    updateContext(context) {
-        this.context = context;
-    }
-    /**
-     * Get the current context
-     */
-    getContext() {
-        return this.context;
-    }
-    /**
-     * Dispose of all subscriptions
-     */
-    dispose() {
-        for (const unsubscribe of this.subscriptions) {
-            unsubscribe();
-        }
-        this.subscriptions = [];
-        this.factWatchers.clear();
-    }
-}
-/**
- * Create a new PraxisDBStore
- *
- * @param db The PraxisDB instance to use
- * @param registry The PraxisRegistry for rules and constraints
- * @param initialContext Optional initial context
- * @param onRuleError Optional error handler for rule execution errors
- * @returns PraxisDBStore instance
- *
- * @example
- * ```typescript
- * const db = createInMemoryDB();
- * const registry = new PraxisRegistry();
- * const store = createPraxisDBStore(db, registry);
- *
- * await store.storeFact({ tag: "UserLoggedIn", payload: { userId: "alice" } });
- * await store.appendEvent({ tag: "LOGIN", payload: { username: "alice" } });
- * ```
- */
-export function createPraxisDBStore(db, registry, initialContext, onRuleError) {
-    return new PraxisDBStore({ db, registry, initialContext, onRuleError });
-}
-//# sourceMappingURL=store.js.map

package/dist/src/core/pluresdb/store.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"store.js","sourceRoot":"","sources":["../../../../src/core/pluresdb/store.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,oCAAoC;IACpC,IAAI,EAAE,UAAU;IAChB,6BAA6B;IAC7B,KAAK,EAAE,gBAAgB;IACvB,8BAA8B;IAC9B,MAAM,EAAE,iBAAiB;IACzB,+BAA+B;IAC/B,OAAO,EAAE,kBAAkB;CACnB,CAAC;AAEX;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,OAAe,EAAE,EAAW;IACtD,IAAI,EAAE,EAAE,CAAC;QACP,OAAO,GAAG,YAAY,CAAC,KAAK,IAAI,OAAO,IAAI,EAAE,EAAE,CAAC;IAClD,CAAC;IACD,OAAO,GAAG,YAAY,CAAC,KAAK,IAAI,OAAO,EAAE,CAAC;AAC5C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,QAAgB;IAC3C,OAAO,GAAG,YAAY,CAAC,MAAM,IAAI,QAAQ,EAAE,CAAC;AAC9C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACnE,CAAC;AAyCD;;GAEG;AACH,MAAM,mBAAmB,GAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;IAC9D,4DAA4D;IAC5D,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,QAAQ,KAAK,aAAa,EAAE,CAAC;QAC9E,OAAO,CAAC,KAAK,CAAC,yBAAyB,MAAM,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,OAAO,aAAa;IAChB,EAAE,CAAW;IACb,QAAQ,CAA2B;IACnC,OAAO,CAAW;IAClB,aAAa,GAAoB,EAAE,CAAC;IACpC,YAAY,GAAG,IAAI,GAAG,EAA8C,CAAC;IACrE,WAAW,CAAmB;IAEtC,YAAY,OAA4E;QACtF,IAAI,CAAC,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;QACjC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,cAAc,IAAK,EAAe,CAAC;QAC1D,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,mBAAmB,CAAC;IAChE,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,SAAS,CAAC,IAAgB;QAC9B,iCAAiC;QACjC,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7D,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,yBAAyB,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC;QAED,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAE7B,mFAAmF;QACnF,MAAM,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAClC,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,UAAU,CAAC,KAAmB;QAClC,iCAAiC;QACjC,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,yBAAyB,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;QAED,0BAA0B;QAC1B,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,WAAW,CAAC,IAAgB;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,OAA8C,CAAC;QACpE,MAAM,EAAE,GAAI,OAAO,EAAE,EAAa,IAAI,UAAU,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACvC,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,OAAO,CAAC,OAAe,EAAE,EAAU;QACvC,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACtC,OAAO,IAAI,CAAC,EAAE,CAAC,GAAG,CAAa,IAAI,CAAC,CAAC;IACvC,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,WAAW,CAAC,KAAkB;QAClC,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAErC,mCAAmC;QACnC,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAqB,IAAI,CAAC,IAAI,EAAE,CAAC;QAEzE,mBAAmB;QACnB,MAAM,KAAK,GAAqB;YAC9B,KAAK;YACL,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,QAAQ,EAAE,cAAc,CAAC,MAAM;SAChC,CAAC;QAEF,mBAAmB;QACnB,MAAM,SAAS,GAAG,CAAC,GAAG,cAAc,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAEnC,gCAAgC;QAChC,MAAM,IAAI,CAAC,qBAAqB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5C,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,YAAY,CAAC,MAAqB;QACtC,4CAA4C;QAC5C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;QACrD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAClD,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;QACnD,CAAC;QAED,oBAAoB;QACpB,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,WAAW,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YAC/B,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAqB,IAAI,CAAC,IAAI,EAAE,CAAC;YACzE,IAAI,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC;YAErC,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACzC,KAAK;gBACL,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;gBACrB,QAAQ,EAAE,QAAQ,EAAE;aACrB,CAAC,CAAC,CAAC;YAEJ,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,cAAc,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC;QAC9D,CAAC;QAED,gBAAgB;QAChB,MAAM,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,SAAS,CACb,QAAgB,EAChB,OAA4C;QAE5C,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAqB,IAAI,CAAC,IAAI,EAAE,CAAC;QAEjE,IAAI,MAAM,GAAG,MAAM,CAAC;QAEpB,IAAI,OAAO,EAAE,KAAK,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC;YACrC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,cAAc,CAAC,CAAC;QAC5D,CAAC;QAED,IAAI,OAAO,EAAE,KAAK,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACxC,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;OAMG;IACH,UAAU,CAAC,OAAe,EAAE,QAAuC;QACjE,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QAElC,wBAAwB;QACxB,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC5C,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;QAED,2BAA2B;QAC3B,MAAM,WAAW,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAa,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAC3D,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAErC,OAAO,GAAG,EAAE;YACV,WAAW,EAAE,CAAC;YACd,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACnD,CAAC,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,gBAAgB,CAC5B,QAAsB;QAEtB,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC;QACtD,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,gDAAgD;QAChD,MAAM,KAAK,GAAwC;YACjD,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,EAAE;SACT,CAAC;QAEF,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACtC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;oBACrB,MAAM,CAAC,IAAI,CAAC,eAAe,UAAU,CAAC,EAAE,YAAY,CAAC,CAAC;gBACxD,CAAC;qBAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACtC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,CAAC,IAAI,CACT,8BAA8B,UAAU,CAAC,EAAE,MAAM,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAC1G,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;YAC1B,MAAM;SACP,CAAC;IACJ,CAAC;IAED;;;;;;;;;OASG;IACK,KAAK,CAAC,YAAY,CAAC,SAAuB;QAChD,qDAAqD;QACrD,4DAA4D;QAC5D,gEAAgE;IAClE,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,qBAAqB,CAAC,MAAqB;QACvD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAE1C,kCAAkC;QAClC,MAAM,KAAK,GAAwC;YACjD,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,KAAK,EAAE,EAAE;YACT,IAAI,EAAE,EAAE;SACT,CAAC;QAEF,oBAAoB;QACpB,MAAM,YAAY,GAAiB,EAAE,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACvC,YAAY,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YAC9B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAED,4EAA4E;QAC5E,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;YACnE,IAAI,gBAAgB,CAAC,KAAK,EAAE,CAAC;gBAC3B,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;oBAChC,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBAC/B,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,OAAiB;QAC7B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAED;;OAEG;IACH,UAAU;QACR,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,OAAO;QACL,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YAC7C,WAAW,EAAE,CAAC;QAChB,CAAC;QACD,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;IAC5B,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,mBAAmB,CACjC,EAAY,EACZ,QAAkC,EAClC,cAAyB,EACzB,WAA8B;IAE9B,OAAO,IAAI,aAAa,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC,CAAC;AAC1E,CAAC"}

package/dist/src/core/protocol.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"protocol.d.ts","sourceRoot":"","sources":["../../../src/core/protocol.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH;;GAEG;AACH,eAAO,MAAM,uBAAuB,EAAG,OAAgB,CAAC;AAExD;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,oCAAoC;IACpC,GAAG,EAAE,MAAM,CAAC;IACZ,uCAAuC;IACvC,OAAO,EAAE,OAAO,CAAC;CAClB;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,qCAAqC;IACrC,GAAG,EAAE,MAAM,CAAC;IACZ,wCAAwC;IACxC,OAAO,EAAE,OAAO,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,OAAO,EAAE,OAAO,CAAC;IACjB,qCAAqC;IACrC,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,oDAAoD;IACpD,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,0DAA0D;IAC1D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,yBAAyB;IACzB,IAAI,EAAE,sBAAsB,GAAG,YAAY,CAAC;IAC5C,6BAA6B;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,6CAA6C;IAC7C,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,mDAAmD;IACnD,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,8DAA8D;IAC9D,KAAK,EAAE,WAAW,CAAC;IACnB,8DAA8D;IAC9D,WAAW,EAAE,iBAAiB,EAAE,CAAC;CAClC;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,GAAG,CACzB,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,WAAW,EAAE,EACrB,MAAM,EAAE,gBAAgB,KACrB,gBAAgB,CAAC"}

package/dist/src/core/protocol.js

@@ -1,46 +0,0 @@
-/**
- * Core Praxis Protocol
- *
- * Language-neutral, JSON-friendly protocol that forms the foundation of Praxis.
- * This protocol is designed to be stable and portable across languages (TypeScript, C#, PowerShell, etc.)
- *
- * The protocol defines the conceptual core of the engine:
- * - Pure, deterministic, data in → data out
- * - No side effects, no global state
- * - All higher-level TypeScript APIs are built on top of this protocol
- *
- * ## Protocol Versioning
- *
- * The Praxis protocol follows semantic versioning (MAJOR.MINOR.PATCH):
- * - MAJOR: Breaking changes to core protocol types or semantics
- * - MINOR: Backward-compatible additions to protocol (new optional fields)
- * - PATCH: Clarifications, documentation updates, no functional changes
- *
- * Current version: 1.0.0
- *
- * ### Stability Guarantees
- *
- * 1. **Core Types Stability**: The following types are considered stable and will not
- *    change in backward-incompatible ways within the same major version:
- *    - PraxisFact (tag, payload structure)
- *    - PraxisEvent (tag, payload structure)
- *    - PraxisState (context, facts, meta structure)
- *    - PraxisStepFn signature
- *
- * 2. **JSON Compatibility**: All protocol types will remain JSON-serializable.
- *    No non-JSON-safe types (functions, symbols, etc.) will be added to the protocol.
- *
- * 3. **Cross-Language Compatibility**: Protocol changes will be coordinated across
- *    all official language implementations (TypeScript, C#, PowerShell) to ensure
- *    interoperability.
- *
- * 4. **Migration Path**: Major version changes will be accompanied by:
- *    - Migration guide
- *    - Deprecation warnings in previous version
- *    - Compatibility shims where possible
- */
-/**
- * Protocol version following semantic versioning
- */
-export const PRAXIS_PROTOCOL_VERSION = "1.0.0";
-//# sourceMappingURL=protocol.js.map

package/dist/src/core/protocol.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"protocol.js","sourceRoot":"","sources":["../../../src/core/protocol.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,OAAgB,CAAC"}