@plures/praxis 0.2.0

package/dist/core/engine.d.ts

@@ -0,0 +1,92 @@
+/**
+ * Praxis Logic Engine
+ *
+ * The logic engine manages state, processes events through rules,
+ * checks constraints, and provides a strongly-typed API for application logic.
+ */
+import type { PraxisEvent, PraxisFact, PraxisState, PraxisStepConfig, PraxisStepResult } from "./protocol.js";
+import { PraxisRegistry } from "./rules.js";
+/**
+ * Options for creating a Praxis engine
+ */
+export interface PraxisEngineOptions<TContext = unknown> {
+    /** Initial context */
+    initialContext: TContext;
+    /** Registry of rules and constraints */
+    registry: PraxisRegistry<TContext>;
+    /** Initial facts (optional) */
+    initialFacts?: PraxisFact[];
+    /** Initial metadata (optional) */
+    initialMeta?: Record<string, unknown>;
+}
+/**
+ * The Praxis Logic Engine
+ *
+ * Manages application logic through facts, events, rules, and constraints.
+ * The engine is strongly typed and functional - all state updates are immutable.
+ */
+export declare class LogicEngine<TContext = unknown> {
+    private state;
+    private readonly registry;
+    constructor(options: PraxisEngineOptions<TContext>);
+    /**
+     * Get the current state (immutable copy)
+     */
+    getState(): Readonly<PraxisState & {
+        context: TContext;
+    }>;
+    /**
+     * Get the current context
+     */
+    getContext(): TContext;
+    /**
+     * Get current facts
+     */
+    getFacts(): PraxisFact[];
+    /**
+     * Process events through the engine.
+     * Applies all registered rules and checks all registered constraints.
+     *
+     * @param events Events to process
+     * @returns Result with new state and diagnostics
+     */
+    step(events: PraxisEvent[]): PraxisStepResult;
+    /**
+     * Process events with specific rule and constraint configuration.
+     *
+     * @param events Events to process
+     * @param config Step configuration
+     * @returns Result with new state and diagnostics
+     */
+    stepWithConfig(events: PraxisEvent[], config: PraxisStepConfig): PraxisStepResult;
+    /**
+     * Update the context directly (for exceptional cases).
+     * Generally, context should be updated through rules.
+     *
+     * @param updater Function that produces new context from old context
+     */
+    updateContext(updater: (context: TContext) => TContext): void;
+    /**
+     * Add facts directly (for exceptional cases).
+     * Generally, facts should be added through rules.
+     *
+     * @param facts Facts to add
+     */
+    addFacts(facts: PraxisFact[]): void;
+    /**
+     * Clear all facts
+     */
+    clearFacts(): void;
+    /**
+     * Reset the engine to initial state
+     */
+    reset(options: PraxisEngineOptions<TContext>): void;
+}
+/**
+ * Create a new Praxis logic engine.
+ *
+ * @param options Engine options
+ * @returns New LogicEngine instance
+ */
+export declare function createPraxisEngine<TContext = unknown>(options: PraxisEngineOptions<TContext>): LogicEngine<TContext>;
+//# sourceMappingURL=engine.d.ts.map

package/dist/core/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/core/engine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,WAAW,EACX,UAAU,EACV,WAAW,EACX,gBAAgB,EAChB,gBAAgB,EAEjB,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C;;GAEG;AACH,MAAM,WAAW,mBAAmB,CAAC,QAAQ,GAAG,OAAO;IACrD,sBAAsB;IACtB,cAAc,EAAE,QAAQ,CAAC;IACzB,wCAAwC;IACxC,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;IACnC,+BAA+B;IAC/B,YAAY,CAAC,EAAE,UAAU,EAAE,CAAC;IAC5B,kCAAkC;IAClC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACvC;AAED;;;;;GAKG;AACH,qBAAa,WAAW,CAAC,QAAQ,GAAG,OAAO;IACzC,OAAO,CAAC,KAAK,CAAsC;IACnD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA2B;gBAExC,OAAO,EAAE,mBAAmB,CAAC,QAAQ,CAAC;IAUlD;;OAEG;IACH,QAAQ,IAAI,QAAQ,CAAC,WAAW,GAAG;QAAE,OAAO,EAAE,QAAQ,CAAA;KAAE,CAAC;IASzD;;OAEG;IACH,UAAU,IAAI,QAAQ;IAItB;;OAEG;IACH,QAAQ,IAAI,UAAU,EAAE;IAIxB;;;;;;OAMG;IACH,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,gBAAgB;IAQ7C;;;;;;OAMG;IACH,cAAc,CACZ,MAAM,EAAE,WAAW,EAAE,EACrB,MAAM,EAAE,gBAAgB,GACvB,gBAAgB;IAgFnB;;;;;OAKG;IACH,aAAa,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,QAAQ,KAAK,QAAQ,GAAG,IAAI;IAO7D;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI;IAOnC;;OAEG;IACH,UAAU,IAAI,IAAI;IAOlB;;OAEG;IACH,KAAK,CAAC,OAAO,EAAE,mBAAmB,CAAC,QAAQ,CAAC,GAAG,IAAI;CAQpD;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,GAAG,OAAO,EACnD,OAAO,EAAE,mBAAmB,CAAC,QAAQ,CAAC,GACrC,WAAW,CAAC,QAAQ,CAAC,CAEvB"}

package/dist/core/engine.js

@@ -0,0 +1,199 @@
+/**
+ * Praxis Logic Engine
+ *
+ * The logic engine manages state, processes events through rules,
+ * checks constraints, and provides a strongly-typed API for application logic.
+ */
+import { PRAXIS_PROTOCOL_VERSION } from "./protocol.js";
+/**
+ * The Praxis Logic Engine
+ *
+ * Manages application logic through facts, events, rules, and constraints.
+ * The engine is strongly typed and functional - all state updates are immutable.
+ */
+export class LogicEngine {
+    state;
+    registry;
+    constructor(options) {
+        this.registry = options.registry;
+        this.state = {
+            context: options.initialContext,
+            facts: options.initialFacts ?? [],
+            meta: options.initialMeta ?? {},
+            protocolVersion: PRAXIS_PROTOCOL_VERSION,
+        };
+    }
+    /**
+     * Get the current state (immutable copy)
+     */
+    getState() {
+        return {
+            context: structuredClone(this.state.context),
+            facts: [...this.state.facts],
+            meta: this.state.meta ? { ...this.state.meta } : undefined,
+            protocolVersion: this.state.protocolVersion,
+        };
+    }
+    /**
+     * Get the current context
+     */
+    getContext() {
+        return structuredClone(this.state.context);
+    }
+    /**
+     * Get current facts
+     */
+    getFacts() {
+        return [...this.state.facts];
+    }
+    /**
+     * Process events through the engine.
+     * Applies all registered rules and checks all registered constraints.
+     *
+     * @param events Events to process
+     * @returns Result with new state and diagnostics
+     */
+    step(events) {
+        const config = {
+            ruleIds: this.registry.getRuleIds(),
+            constraintIds: this.registry.getConstraintIds(),
+        };
+        return this.stepWithConfig(events, config);
+    }
+    /**
+     * Process events with specific rule and constraint configuration.
+     *
+     * @param events Events to process
+     * @param config Step configuration
+     * @returns Result with new state and diagnostics
+     */
+    stepWithConfig(events, config) {
+        const diagnostics = [];
+        let newState = { ...this.state };
+        // Apply rules
+        const newFacts = [];
+        for (const ruleId of config.ruleIds) {
+            const rule = this.registry.getRule(ruleId);
+            if (!rule) {
+                diagnostics.push({
+                    kind: "rule-error",
+                    message: `Rule "${ruleId}" not found in registry`,
+                    data: { ruleId },
+                });
+                continue;
+            }
+            try {
+                const ruleFacts = rule.impl(newState, events);
+                newFacts.push(...ruleFacts);
+            }
+            catch (error) {
+                diagnostics.push({
+                    kind: "rule-error",
+                    message: `Error executing rule "${ruleId}": ${error instanceof Error ? error.message : String(error)}`,
+                    data: { ruleId, error },
+                });
+            }
+        }
+        // Add new facts to state
+        newState = {
+            ...newState,
+            facts: [...newState.facts, ...newFacts],
+        };
+        // Check constraints
+        for (const constraintId of config.constraintIds) {
+            const constraint = this.registry.getConstraint(constraintId);
+            if (!constraint) {
+                diagnostics.push({
+                    kind: "constraint-violation",
+                    message: `Constraint "${constraintId}" not found in registry`,
+                    data: { constraintId },
+                });
+                continue;
+            }
+            try {
+                const result = constraint.impl(newState);
+                if (result === false) {
+                    diagnostics.push({
+                        kind: "constraint-violation",
+                        message: `Constraint "${constraintId}" violated`,
+                        data: { constraintId, description: constraint.description },
+                    });
+                }
+                else if (typeof result === "string") {
+                    diagnostics.push({
+                        kind: "constraint-violation",
+                        message: result,
+                        data: { constraintId, description: constraint.description },
+                    });
+                }
+            }
+            catch (error) {
+                diagnostics.push({
+                    kind: "constraint-violation",
+                    message: `Error checking constraint "${constraintId}": ${error instanceof Error ? error.message : String(error)}`,
+                    data: { constraintId, error },
+                });
+            }
+        }
+        // Update internal state
+        this.state = newState;
+        return {
+            state: newState,
+            diagnostics,
+        };
+    }
+    /**
+     * Update the context directly (for exceptional cases).
+     * Generally, context should be updated through rules.
+     *
+     * @param updater Function that produces new context from old context
+     */
+    updateContext(updater) {
+        this.state = {
+            ...this.state,
+            context: updater(this.state.context),
+        };
+    }
+    /**
+     * Add facts directly (for exceptional cases).
+     * Generally, facts should be added through rules.
+     *
+     * @param facts Facts to add
+     */
+    addFacts(facts) {
+        this.state = {
+            ...this.state,
+            facts: [...this.state.facts, ...facts],
+        };
+    }
+    /**
+     * Clear all facts
+     */
+    clearFacts() {
+        this.state = {
+            ...this.state,
+            facts: [],
+        };
+    }
+    /**
+     * Reset the engine to initial state
+     */
+    reset(options) {
+        this.state = {
+            context: options.initialContext,
+            facts: options.initialFacts ?? [],
+            meta: options.initialMeta ?? {},
+            protocolVersion: PRAXIS_PROTOCOL_VERSION,
+        };
+    }
+}
+/**
+ * Create a new Praxis logic engine.
+ *
+ * @param options Engine options
+ * @returns New LogicEngine instance
+ */
+export function createPraxisEngine(options) {
+    return new LogicEngine(options);
+}
+//# sourceMappingURL=engine.js.map

package/dist/core/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/core/engine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAUH,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAiBxD;;;;;GAKG;AACH,MAAM,OAAO,WAAW;IACd,KAAK,CAAsC;IAClC,QAAQ,CAA2B;IAEpD,YAAY,OAAsC;QAChD,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;QACjC,IAAI,CAAC,KAAK,GAAG;YACX,OAAO,EAAE,OAAO,CAAC,cAAc;YAC/B,KAAK,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;YACjC,IAAI,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;YAC/B,eAAe,EAAE,uBAAuB;SACzC,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO;YACL,OAAO,EAAE,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;YAC5C,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS;YAC1D,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe;SAC5C,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,UAAU;QACR,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;;OAMG;IACH,IAAI,CAAC,MAAqB;QACxB,MAAM,MAAM,GAAqB;YAC/B,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE;YACnC,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE;SAChD,CAAC;QACF,OAAO,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED;;;;;;OAMG;IACH,cAAc,CACZ,MAAqB,EACrB,MAAwB;QAExB,MAAM,WAAW,GAAwB,EAAE,CAAC;QAC5C,IAAI,QAAQ,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAEjC,cAAc;QACd,MAAM,QAAQ,GAAiB,EAAE,CAAC;QAClC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE,SAAS,MAAM,yBAAyB;oBACjD,IAAI,EAAE,EAAE,MAAM,EAAE;iBACjB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,CAAC;gBACH,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBAC9C,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YAC9B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE,yBAAyB,MAAM,MAAM,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;oBACtG,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;iBACxB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,yBAAyB;QACzB,QAAQ,GAAG;YACT,GAAG,QAAQ;YACX,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC;SACxC,CAAC;QAEF,oBAAoB;QACpB,KAAK,MAAM,YAAY,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YAChD,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC;YAC7D,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,sBAAsB;oBAC5B,OAAO,EAAE,eAAe,YAAY,yBAAyB;oBAC7D,IAAI,EAAE,EAAE,YAAY,EAAE;iBACvB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACzC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;oBACrB,WAAW,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,sBAAsB;wBAC5B,OAAO,EAAE,eAAe,YAAY,YAAY;wBAChD,IAAI,EAAE,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,CAAC,WAAW,EAAE;qBAC5D,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACtC,WAAW,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,sBAAsB;wBAC5B,OAAO,EAAE,MAAM;wBACf,IAAI,EAAE,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,CAAC,WAAW,EAAE;qBAC5D,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,sBAAsB;oBAC5B,OAAO,EAAE,8BAA8B,YAAY,MAAM,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;oBACjH,IAAI,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,IAAI,CAAC,KAAK,GAAG,QAAQ,CAAC;QAEtB,OAAO;YACL,KAAK,EAAE,QAAQ;YACf,WAAW;SACZ,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,aAAa,CAAC,OAAwC;QACpD,IAAI,CAAC,KAAK,GAAG;YACX,GAAG,IAAI,CAAC,KAAK;YACb,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;SACrC,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,KAAmB;QAC1B,IAAI,CAAC,KAAK,GAAG;YACX,GAAG,IAAI,CAAC,KAAK;YACb,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC;SACvC,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,UAAU;QACR,IAAI,CAAC,KAAK,GAAG;YACX,GAAG,IAAI,CAAC,KAAK;YACb,KAAK,EAAE,EAAE;SACV,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,OAAsC;QAC1C,IAAI,CAAC,KAAK,GAAG;YACX,OAAO,EAAE,OAAO,CAAC,cAAc;YAC/B,KAAK,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;YACjC,IAAI,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;YAC/B,eAAe,EAAE,uBAAuB;SACzC,CAAC;IACJ,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAsC;IAEtC,OAAO,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC"}

package/dist/core/introspection.d.ts

@@ -0,0 +1,141 @@
+/**
+ * Introspection and Visualization Utilities
+ *
+ * Provides APIs to introspect the registry, generate schemas,
+ * and export graph representations for external tools.
+ */
+import type { PraxisRegistry, RuleDescriptor, ConstraintDescriptor } from "./rules.js";
+/**
+ * Graph node representing a rule in the system
+ */
+export interface RuleNode {
+    id: string;
+    type: "rule";
+    description: string;
+    meta?: Record<string, unknown>;
+}
+/**
+ * Graph node representing a constraint in the system
+ */
+export interface ConstraintNode {
+    id: string;
+    type: "constraint";
+    description: string;
+    meta?: Record<string, unknown>;
+}
+/**
+ * Graph edge representing a dependency or relationship
+ */
+export interface GraphEdge {
+    from: string;
+    to: string;
+    type: "triggers" | "constrains" | "depends-on";
+}
+/**
+ * Complete graph representation of the registry
+ */
+export interface RegistryGraph {
+    nodes: (RuleNode | ConstraintNode)[];
+    edges: GraphEdge[];
+    meta: {
+        nodeCount: number;
+        ruleCount: number;
+        constraintCount: number;
+    };
+}
+/**
+ * JSON Schema-like representation of a rule
+ */
+export interface RuleSchema {
+    id: string;
+    description: string;
+    type: "rule";
+    meta?: Record<string, unknown>;
+}
+/**
+ * JSON Schema-like representation of a constraint
+ */
+export interface ConstraintSchema {
+    id: string;
+    description: string;
+    type: "constraint";
+    meta?: Record<string, unknown>;
+}
+/**
+ * Complete registry schema
+ */
+export interface RegistrySchema {
+    protocolVersion: string;
+    rules: RuleSchema[];
+    constraints: ConstraintSchema[];
+    meta: {
+        ruleCount: number;
+        constraintCount: number;
+    };
+}
+/**
+ * Statistics about the registry
+ */
+export interface RegistryStats {
+    ruleCount: number;
+    constraintCount: number;
+    moduleCount: number;
+    rulesById: string[];
+    constraintsById: string[];
+}
+/**
+ * Introspection utilities for a Praxis registry
+ */
+export declare class RegistryIntrospector<TContext = unknown> {
+    private registry;
+    constructor(registry: PraxisRegistry<TContext>);
+    /**
+     * Get basic statistics about the registry
+     */
+    getStats(): RegistryStats;
+    /**
+     * Generate a JSON schema representation of the registry
+     */
+    generateSchema(protocolVersion: string): RegistrySchema;
+    /**
+     * Generate a graph representation of the registry
+     *
+     * This creates nodes for rules and constraints.
+     * Edges can be inferred from metadata if rules/constraints
+     * document their dependencies.
+     */
+    generateGraph(): RegistryGraph;
+    /**
+     * Export graph in DOT format (Graphviz)
+     *
+     * This can be rendered with Graphviz tools or online services.
+     */
+    exportDOT(): string;
+    /**
+     * Export graph in Mermaid format
+     *
+     * Mermaid is a markdown-friendly diagramming language.
+     */
+    exportMermaid(): string;
+    /**
+     * Get detailed information about a specific rule
+     */
+    getRuleInfo(ruleId: string): RuleDescriptor<TContext> | undefined;
+    /**
+     * Get detailed information about a specific constraint
+     */
+    getConstraintInfo(constraintId: string): ConstraintDescriptor<TContext> | undefined;
+    /**
+     * Search for rules by description text
+     */
+    searchRules(query: string): RuleDescriptor<TContext>[];
+    /**
+     * Search for constraints by description text
+     */
+    searchConstraints(query: string): ConstraintDescriptor<TContext>[];
+}
+/**
+ * Create a registry introspector
+ */
+export declare function createIntrospector<TContext = unknown>(registry: PraxisRegistry<TContext>): RegistryIntrospector<TContext>;
+//# sourceMappingURL=introspection.d.ts.map

package/dist/core/introspection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"introspection.d.ts","sourceRoot":"","sources":["../../src/core/introspection.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEvF;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,YAAY,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,UAAU,GAAG,YAAY,GAAG,YAAY,CAAC;CAChD;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,CAAC,QAAQ,GAAG,cAAc,CAAC,EAAE,CAAC;IACrC,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,IAAI,EAAE;QACJ,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;QAClB,eAAe,EAAE,MAAM,CAAC;KACzB,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,WAAW,EAAE,gBAAgB,EAAE,CAAC;IAChC,IAAI,EAAE;QACJ,SAAS,EAAE,MAAM,CAAC;QAClB,eAAe,EAAE,MAAM,CAAC;KACzB,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED;;GAEG;AACH,qBAAa,oBAAoB,CAAC,QAAQ,GAAG,OAAO;IACtC,OAAO,CAAC,QAAQ;gBAAR,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;IAEtD;;OAEG;IACH,QAAQ,IAAI,aAAa;IAUzB;;OAEG;IACH,cAAc,CAAC,eAAe,EAAE,MAAM,GAAG,cAAc;IA0BvD;;;;;;OAMG;IACH,aAAa,IAAI,aAAa;IA+D9B;;;;OAIG;IACH,SAAS,IAAI,MAAM;IA8BnB;;;;OAIG;IACH,aAAa,IAAI,MAAM;IAyBvB;;OAEG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,GAAG,SAAS;IAIjE;;OAEG;IACH,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,oBAAoB,CAAC,QAAQ,CAAC,GAAG,SAAS;IAInF;;OAEG;IACH,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,EAAE;IAWtD;;OAEG;IACH,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,oBAAoB,CAAC,QAAQ,CAAC,EAAE;CAUnE;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,GAAG,OAAO,EACnD,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,GACjC,oBAAoB,CAAC,QAAQ,CAAC,CAEhC"}

package/dist/core/introspection.js

@@ -0,0 +1,208 @@
+/**
+ * Introspection and Visualization Utilities
+ *
+ * Provides APIs to introspect the registry, generate schemas,
+ * and export graph representations for external tools.
+ */
+/**
+ * Introspection utilities for a Praxis registry
+ */
+export class RegistryIntrospector {
+    registry;
+    constructor(registry) {
+        this.registry = registry;
+    }
+    /**
+     * Get basic statistics about the registry
+     */
+    getStats() {
+        return {
+            ruleCount: this.registry.getRuleIds().length,
+            constraintCount: this.registry.getConstraintIds().length,
+            moduleCount: 0, // Modules are flattened in registry
+            rulesById: this.registry.getRuleIds(),
+            constraintsById: this.registry.getConstraintIds(),
+        };
+    }
+    /**
+     * Generate a JSON schema representation of the registry
+     */
+    generateSchema(protocolVersion) {
+        const rules = this.registry.getAllRules().map((rule) => ({
+            id: rule.id,
+            description: rule.description,
+            type: "rule",
+            meta: rule.meta,
+        }));
+        const constraints = this.registry.getAllConstraints().map((constraint) => ({
+            id: constraint.id,
+            description: constraint.description,
+            type: "constraint",
+            meta: constraint.meta,
+        }));
+        return {
+            protocolVersion,
+            rules,
+            constraints,
+            meta: {
+                ruleCount: rules.length,
+                constraintCount: constraints.length,
+            },
+        };
+    }
+    /**
+     * Generate a graph representation of the registry
+     *
+     * This creates nodes for rules and constraints.
+     * Edges can be inferred from metadata if rules/constraints
+     * document their dependencies.
+     */
+    generateGraph() {
+        const nodes = [];
+        const edges = [];
+        // Add rule nodes
+        for (const rule of this.registry.getAllRules()) {
+            nodes.push({
+                id: rule.id,
+                type: "rule",
+                description: rule.description,
+                meta: rule.meta,
+            });
+            // Check for dependency metadata
+            if (rule.meta?.dependsOn) {
+                const deps = Array.isArray(rule.meta.dependsOn)
+                    ? rule.meta.dependsOn
+                    : [rule.meta.dependsOn];
+                for (const dep of deps) {
+                    edges.push({
+                        from: String(dep),
+                        to: rule.id,
+                        type: "depends-on",
+                    });
+                }
+            }
+        }
+        // Add constraint nodes
+        for (const constraint of this.registry.getAllConstraints()) {
+            nodes.push({
+                id: constraint.id,
+                type: "constraint",
+                description: constraint.description,
+                meta: constraint.meta,
+            });
+            // Check for constraint targets
+            if (constraint.meta?.constrains) {
+                const targets = Array.isArray(constraint.meta.constrains)
+                    ? constraint.meta.constrains
+                    : [constraint.meta.constrains];
+                for (const target of targets) {
+                    edges.push({
+                        from: constraint.id,
+                        to: String(target),
+                        type: "constrains",
+                    });
+                }
+            }
+        }
+        return {
+            nodes,
+            edges,
+            meta: {
+                nodeCount: nodes.length,
+                ruleCount: nodes.filter((n) => n.type === "rule").length,
+                constraintCount: nodes.filter((n) => n.type === "constraint").length,
+            },
+        };
+    }
+    /**
+     * Export graph in DOT format (Graphviz)
+     *
+     * This can be rendered with Graphviz tools or online services.
+     */
+    exportDOT() {
+        const graph = this.generateGraph();
+        const lines = [];
+        lines.push("digraph PraxisRegistry {");
+        lines.push("  rankdir=TB;");
+        lines.push("  node [shape=box, style=rounded];");
+        lines.push("");
+        // Add nodes
+        for (const node of graph.nodes) {
+            const shape = node.type === "rule" ? "box" : "diamond";
+            const color = node.type === "rule" ? "lightblue" : "lightcoral";
+            const label = `${node.id}\\n${node.description}`;
+            lines.push(`  "${node.id}" [label="${label}", shape=${shape}, style=filled, fillcolor=${color}];`);
+        }
+        lines.push("");
+        // Add edges
+        for (const edge of graph.edges) {
+            const style = edge.type === "constrains" ? "dashed" : "solid";
+            lines.push(`  "${edge.from}" -> "${edge.to}" [label="${edge.type}", style=${style}];`);
+        }
+        lines.push("}");
+        return lines.join("\n");
+    }
+    /**
+     * Export graph in Mermaid format
+     *
+     * Mermaid is a markdown-friendly diagramming language.
+     */
+    exportMermaid() {
+        const graph = this.generateGraph();
+        const lines = [];
+        lines.push("graph TB");
+        // Add nodes
+        for (const node of graph.nodes) {
+            const shape = node.type === "rule" ? "[" : "{";
+            const endShape = node.type === "rule" ? "]" : "}";
+            const label = `${node.id}<br/>${node.description}`;
+            lines.push(`  ${node.id}${shape}"${label}"${endShape}`);
+        }
+        lines.push("");
+        // Add edges
+        for (const edge of graph.edges) {
+            const arrow = edge.type === "constrains" ? "-.->|constrains|" : "-->|" + edge.type + "|";
+            lines.push(`  ${edge.from} ${arrow} ${edge.to}`);
+        }
+        return lines.join("\n");
+    }
+    /**
+     * Get detailed information about a specific rule
+     */
+    getRuleInfo(ruleId) {
+        return this.registry.getRule(ruleId);
+    }
+    /**
+     * Get detailed information about a specific constraint
+     */
+    getConstraintInfo(constraintId) {
+        return this.registry.getConstraint(constraintId);
+    }
+    /**
+     * Search for rules by description text
+     */
+    searchRules(query) {
+        const lowerQuery = query.toLowerCase();
+        return this.registry
+            .getAllRules()
+            .filter((rule) => rule.id.toLowerCase().includes(lowerQuery) ||
+            rule.description.toLowerCase().includes(lowerQuery));
+    }
+    /**
+     * Search for constraints by description text
+     */
+    searchConstraints(query) {
+        const lowerQuery = query.toLowerCase();
+        return this.registry
+            .getAllConstraints()
+            .filter((constraint) => constraint.id.toLowerCase().includes(lowerQuery) ||
+            constraint.description.toLowerCase().includes(lowerQuery));
+    }
+}
+/**
+ * Create a registry introspector
+ */
+export function createIntrospector(registry) {
+    return new RegistryIntrospector(registry);
+}
+//# sourceMappingURL=introspection.js.map

package/dist/core/introspection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"introspection.js","sourceRoot":"","sources":["../../src/core/introspection.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AA0FH;;GAEG;AACH,MAAM,OAAO,oBAAoB;IACX;IAApB,YAAoB,QAAkC;QAAlC,aAAQ,GAAR,QAAQ,CAA0B;IAAG,CAAC;IAE1D;;OAEG;IACH,QAAQ;QACN,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,MAAM;YAC5C,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,MAAM;YACxD,WAAW,EAAE,CAAC,EAAE,oCAAoC;YACpD,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE;YACrC,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE;SAClD,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,eAAuB;QACpC,MAAM,KAAK,GAAiB,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACrE,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,IAAI,EAAE,MAAe;YACrB,IAAI,EAAE,IAAI,CAAC,IAAI;SAChB,CAAC,CAAC,CAAC;QAEJ,MAAM,WAAW,GAAuB,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAC7F,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,IAAI,EAAE,YAAqB;YAC3B,IAAI,EAAE,UAAU,CAAC,IAAI;SACtB,CAAC,CAAC,CAAC;QAEJ,OAAO;YACL,eAAe;YACf,KAAK;YACL,WAAW;YACX,IAAI,EAAE;gBACJ,SAAS,EAAE,KAAK,CAAC,MAAM;gBACvB,eAAe,EAAE,WAAW,CAAC,MAAM;aACpC;SACF,CAAC;IACJ,CAAC;IAED;;;;;;OAMG;IACH,aAAa;QACX,MAAM,KAAK,GAAkC,EAAE,CAAC;QAChD,MAAM,KAAK,GAAgB,EAAE,CAAC;QAE9B,iBAAiB;QACjB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,IAAI,EAAE,MAAM;gBACZ,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,IAAI,EAAE,IAAI,CAAC,IAAI;aAChB,CAAC,CAAC;YAEH,gCAAgC;YAChC,IAAI,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;oBAC7C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS;oBACrB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,KAAK,CAAC,IAAI,CAAC;wBACT,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC;wBACjB,EAAE,EAAE,IAAI,CAAC,EAAE;wBACX,IAAI,EAAE,YAAY;qBACnB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,uBAAuB;QACvB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,EAAE,CAAC;YAC3D,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,UAAU,CAAC,EAAE;gBACjB,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,UAAU,CAAC,WAAW;gBACnC,IAAI,EAAE,UAAU,CAAC,IAAI;aACtB,CAAC,CAAC;YAEH,+BAA+B;YAC/B,IAAI,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC;gBAChC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC;oBACvD,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU;oBAC5B,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACjC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,KAAK,CAAC,IAAI,CAAC;wBACT,IAAI,EAAE,UAAU,CAAC,EAAE;wBACnB,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC;wBAClB,IAAI,EAAE,YAAY;qBACnB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,KAAK;YACL,KAAK;YACL,IAAI,EAAE;gBACJ,SAAS,EAAE,KAAK,CAAC,MAAM;gBACvB,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,MAAM;gBACxD,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,MAAM;aACrE;SACF,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACH,SAAS;QACP,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACnC,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,YAAY;QACZ,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YACvD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC;YAChE,MAAM,KAAK,GAAG,GAAG,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,WAAW,EAAE,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,aAAa,KAAK,YAAY,KAAK,6BAA6B,KAAK,IAAI,CAAC,CAAC;QACrG,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,YAAY;QACZ,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;YAC9D,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,aAAa,IAAI,CAAC,IAAI,YAAY,KAAK,IAAI,CAAC,CAAC;QACzF,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAEhB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;;;OAIG;IACH,aAAa;QACX,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACnC,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEvB,YAAY;QACZ,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAE;YAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAClD,MAAM,KAAK,GAAG,GAAG,IAAI,CAAC,EAAE,QAAQ,IAAI,CAAC,WAAW,EAAE,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,GAAG,KAAK,IAAI,KAAK,IAAI,QAAQ,EAAE,CAAC,CAAC;QAC1D,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,YAAY;QACZ,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC;YACzF,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACnD,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,MAAc;QACxB,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,YAAoB;QACpC,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC;IACnD,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,KAAa;QACvB,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC,QAAQ;aACjB,WAAW,EAAE;aACb,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC1C,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CACtD,CAAC;IACN,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,KAAa;QAC7B,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC,QAAQ;aACjB,iBAAiB,EAAE;aACnB,MAAM,CACL,CAAC,UAAU,EAAE,EAAE,CACb,UAAU,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC;YAChD,UAAU,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAC5D,CAAC;IACN,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,QAAkC;IAElC,OAAO,IAAI,oBAAoB,CAAC,QAAQ,CAAC,CAAC;AAC5C,CAAC"}