@higher.archi/boe 1.0.0

package/dist/engines/forward/engine.js

@@ -0,0 +1,111 @@
+"use strict";
+/**
+ * Forward Chaining Engine
+ *
+ * Self-contained engine for forward chaining rule execution.
+ * Implements IRuleEngine with strongly-typed ruleset, options, and result.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ForwardEngine = void 0;
+const core_1 = require("../../core");
+const strategy_1 = require("./strategy");
+/**
+ * Forward chaining rule engine.
+ *
+ * Executes rules in a data-driven manner, repeatedly matching rules against
+ * working memory and firing the highest-priority match until no more rules apply.
+ *
+ * @example
+ * ```typescript
+ * const engine = new ForwardEngine();
+ * engine.add({ type: 'Order', data: { amount: 100, status: 'pending' } });
+ *
+ * const result = engine.execute(compiledRules, {
+ *   actions: { processOrder: (ctx, wm) => { ... } }
+ * });
+ * ```
+ *
+ * @example Shared WorkingMemory
+ * ```typescript
+ * const wm = new WorkingMemory();
+ * const engine = new ForwardEngine(wm);
+ * ```
+ */
+class ForwardEngine {
+    wm;
+    strategy;
+    /**
+     * Create a new ForwardEngine.
+     *
+     * @param workingMemory - Optional shared WorkingMemory. If not provided, creates its own.
+     */
+    constructor(workingMemory) {
+        this.wm = workingMemory ?? new core_1.WorkingMemory();
+        this.strategy = new strategy_1.ForwardChainingStrategy();
+    }
+    // ========================================
+    // IWorkingMemory Implementation
+    // ========================================
+    add(input) {
+        return this.wm.add(input);
+    }
+    remove(factId) {
+        return this.wm.remove(factId);
+    }
+    update(input) {
+        return this.wm.update(input);
+    }
+    get(factId) {
+        return this.wm.get(factId);
+    }
+    getByType(type) {
+        return this.wm.getByType(type);
+    }
+    getAll() {
+        return this.wm.getAll();
+    }
+    has(factId) {
+        return this.wm.has(factId);
+    }
+    size() {
+        return this.wm.size();
+    }
+    clear() {
+        this.wm.clear();
+    }
+    getChanges() {
+        return this.wm.getChanges();
+    }
+    clearChanges() {
+        this.wm.clearChanges();
+    }
+    // ========================================
+    // IRuleEngine Implementation
+    // ========================================
+    /**
+     * Execute a forward chaining ruleset.
+     *
+     * Rules are matched against working memory iteratively. On each iteration,
+     * the highest-priority matching rule fires, potentially modifying working memory.
+     * Execution continues until no rules match or maxIterations is reached.
+     *
+     * @param ruleSet - Compiled forward ruleset
+     * @param options - Runtime options (actions, callbacks, iteration limit)
+     * @returns Execution result with fired rules and iteration count
+     */
+    execute(ruleSet, options = {}) {
+        return this.strategy.run(ruleSet, this.wm, options);
+    }
+    // ========================================
+    // Utility Methods
+    // ========================================
+    /**
+     * Get the underlying WorkingMemory instance.
+     * Useful for sharing memory between multiple engines.
+     */
+    getWorkingMemory() {
+        return this.wm;
+    }
+}
+exports.ForwardEngine = ForwardEngine;
+//# sourceMappingURL=engine.js.map

package/dist/engines/forward/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../../src/engines/forward/engine.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,qCAMoB;AAQpB,yCAAqD;AAErD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAa,aAAa;IAChB,EAAE,CAAgB;IAClB,QAAQ,CAA0B;IAE1C;;;;OAIG;IACH,YAAY,aAA6B;QACvC,IAAI,CAAC,EAAE,GAAG,aAAa,IAAI,IAAI,oBAAa,EAAE,CAAC;QAC/C,IAAI,CAAC,QAAQ,GAAG,IAAI,kCAAuB,EAAE,CAAC;IAChD,CAAC;IAED,2CAA2C;IAC3C,gCAAgC;IAChC,2CAA2C;IAE3C,GAAG,CAAC,KAAgB;QAClB,OAAO,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAED,MAAM,CAAC,MAAc;QACnB,OAAO,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,CAAC,KAAgB;QACrB,OAAO,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,GAAG,CAAC,MAAc;QAChB,OAAO,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;IAED,SAAS,CAAC,IAAY;QACpB,OAAO,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;IAC1B,CAAC;IAED,GAAG,CAAC,MAAc;QAChB,OAAO,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;IACxB,CAAC;IAED,KAAK;QACH,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;IAClB,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;IAC9B,CAAC;IAED,YAAY;QACV,IAAI,CAAC,EAAE,CAAC,YAAY,EAAE,CAAC;IACzB,CAAC;IAED,2CAA2C;IAC3C,6BAA6B;IAC7B,2CAA2C;IAE3C;;;;;;;;;;OAUG;IACH,OAAO,CAAC,OAA+B,EAAE,UAA0B,EAAE;QACnE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACtD,CAAC;IAED,2CAA2C;IAC3C,kBAAkB;IAClB,2CAA2C;IAE3C;;;OAGG;IACH,gBAAgB;QACd,OAAO,IAAI,CAAC,EAAE,CAAC;IACjB,CAAC;CACF;AA5FD,sCA4FC"}

package/dist/engines/forward/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Forward Chaining Engine
+ *
+ * Provides forward chaining (data-driven) rule execution.
+ * Rules fire when their conditions match facts in working memory,
+ * and continue firing until no more rules match.
+ */
+export { SetAction, RetractAction, CallAction, HaltAction, ActionItem, ThenValue, ForwardRule, ForwardRuleSet, ForwardConfig, CompiledSetAction, CompiledRetractAction, CompiledCallAction, CompiledHaltAction, CompiledActionItem, CompiledForwardAction, CompiledForwardRule, CompiledForwardRuleSet, ActionResult, ActionHandler, ActionRegistry, ForwardOptions, ForwardResult } from './types';
+export { compileForwardRule, compileForwardRuleSet } from './compiler';
+export { ForwardChainingStrategy, forwardStrategy } from './strategy';
+export { ForwardEngine } from './engine';
+//# sourceMappingURL=index.d.ts.map

package/dist/engines/forward/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/engines/forward/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAEL,SAAS,EACT,aAAa,EACb,UAAU,EACV,UAAU,EACV,UAAU,EACV,SAAS,EACT,WAAW,EACX,cAAc,EACd,aAAa,EAEb,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,sBAAsB,EAEtB,YAAY,EACZ,aAAa,EACb,cAAc,EACd,cAAc,EACd,aAAa,EACd,MAAM,SAAS,CAAC;AAGjB,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACtB,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,uBAAuB,EACvB,eAAe,EAChB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC"}

package/dist/engines/forward/index.js

@@ -0,0 +1,22 @@
+"use strict";
+/**
+ * Forward Chaining Engine
+ *
+ * Provides forward chaining (data-driven) rule execution.
+ * Rules fire when their conditions match facts in working memory,
+ * and continue firing until no more rules match.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ForwardEngine = exports.forwardStrategy = exports.ForwardChainingStrategy = exports.compileForwardRuleSet = exports.compileForwardRule = void 0;
+// Compiler
+var compiler_1 = require("./compiler");
+Object.defineProperty(exports, "compileForwardRule", { enumerable: true, get: function () { return compiler_1.compileForwardRule; } });
+Object.defineProperty(exports, "compileForwardRuleSet", { enumerable: true, get: function () { return compiler_1.compileForwardRuleSet; } });
+// Strategy
+var strategy_1 = require("./strategy");
+Object.defineProperty(exports, "ForwardChainingStrategy", { enumerable: true, get: function () { return strategy_1.ForwardChainingStrategy; } });
+Object.defineProperty(exports, "forwardStrategy", { enumerable: true, get: function () { return strategy_1.forwardStrategy; } });
+// Engine
+var engine_1 = require("./engine");
+Object.defineProperty(exports, "ForwardEngine", { enumerable: true, get: function () { return engine_1.ForwardEngine; } });
+//# sourceMappingURL=index.js.map

package/dist/engines/forward/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/engines/forward/index.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;AA+BH,WAAW;AACX,uCAGoB;AAFlB,8GAAA,kBAAkB,OAAA;AAClB,iHAAA,qBAAqB,OAAA;AAGvB,WAAW;AACX,uCAGoB;AAFlB,mHAAA,uBAAuB,OAAA;AACvB,2GAAA,eAAe,OAAA;AAGjB,SAAS;AACT,mCAAyC;AAAhC,uGAAA,aAAa,OAAA"}

package/dist/engines/forward/strategy.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Forward Chaining Engine Strategy
+ */
+import { IWorkingMemory } from '../../core/memory';
+import { CompiledForwardRuleSet, ForwardOptions, ForwardResult } from './types';
+export declare class ForwardChainingStrategy {
+    run(ruleSet: CompiledForwardRuleSet, wm: IWorkingMemory, options?: ForwardOptions): ForwardResult;
+    /**
+     * Execute a list of action items in order
+     * Returns true if execution should halt
+     */
+    private executeActionItems;
+}
+export declare const forwardStrategy: ForwardChainingStrategy;
+//# sourceMappingURL=strategy.d.ts.map

package/dist/engines/forward/strategy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"strategy.d.ts","sourceRoot":"","sources":["../../../src/engines/forward/strategy.ts"],"names":[],"mappings":"AAAA;;GAEG;AAWH,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EACL,sBAAsB,EAGtB,cAAc,EACd,aAAa,EAEd,MAAM,SAAS,CAAC;AAEjB,qBAAa,uBAAuB;IAClC,GAAG,CACD,OAAO,EAAE,sBAAsB,EAC/B,EAAE,EAAE,cAAc,EAClB,OAAO,GAAE,cAAmB,GAC3B,aAAa;IA4DhB;;;OAGG;IACH,OAAO,CAAC,kBAAkB;CAoG3B;AAGD,eAAO,MAAM,eAAe,yBAAgC,CAAC"}

package/dist/engines/forward/strategy.js

@@ -0,0 +1,139 @@
+"use strict";
+/**
+ * Forward Chaining Engine Strategy
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.forwardStrategy = exports.ForwardChainingStrategy = void 0;
+const core_1 = require("../../core");
+class ForwardChainingStrategy {
+    run(ruleSet, wm, options = {}) {
+        const startTime = performance.now();
+        const { actions = {}, onFire, maxIterations: maxIterationsOverride } = options;
+        // Read config from ruleset, allow runtime override
+        const config = ruleSet.config;
+        const maxIterations = maxIterationsOverride ?? config.maxIterations;
+        const strategies = config.strategies;
+        const refraction = new core_1.Refraction();
+        const fired = [];
+        let iterations = 0;
+        let halted = false;
+        while (iterations < maxIterations) {
+            const activations = ruleSet.rules.flatMap(rule => (0, core_1.match)(rule, wm));
+            const unfired = refraction.filter(activations);
+            if (unfired.length === 0)
+                break;
+            const sorted = (0, core_1.resolveConflicts)(unfired, { strategies });
+            const top = sorted[0];
+            onFire?.(top.rule.id, top.facts);
+            refraction.markFired(top);
+            fired.push(top.rule.id);
+            // Execute action items in order
+            const ruleAction = top.rule.action;
+            const shouldHalt = this.executeActionItems(ruleAction.actions, top.facts, wm, actions, refraction, top.rule.id);
+            if (shouldHalt) {
+                halted = true;
+                break;
+            }
+            iterations++;
+        }
+        const executionTimeMs = Math.round((performance.now() - startTime) * 100) / 100;
+        return {
+            iterations,
+            fired,
+            halted,
+            executionTimeMs
+        };
+    }
+    /**
+     * Execute a list of action items in order
+     * Returns true if execution should halt
+     */
+    executeActionItems(items, context, wm, actions, refraction, currentRuleId) {
+        for (const item of items) {
+            // Set action: modify properties on matched facts
+            if ('set' in item) {
+                for (const { target, value, expr } of item.set) {
+                    const fact = context[target.param];
+                    if (!fact) {
+                        throw new Error(`Cannot set property on unknown fact: ${target.param}`);
+                    }
+                    // Resolve the value (could be constant, property ref, or expression)
+                    let resolvedValue;
+                    if (expr) {
+                        // Value is a compiled expression - evaluate it
+                        resolvedValue = (0, core_1.evaluateExpression)(expr, context);
+                    }
+                    else if (value.type === 'constant') {
+                        resolvedValue = value.value;
+                    }
+                    else if (value.type === 'property') {
+                        resolvedValue = (0, core_1.resolveOperand)(value, context);
+                    }
+                    else {
+                        // Function operand - not yet supported
+                        throw new Error('Function operands in set actions are not yet supported');
+                    }
+                    // Set the value at the target path (auto-creates intermediate objects)
+                    (0, core_1.setValueAtPath)(fact.data, target.path, resolvedValue);
+                    // Update the fact in working memory
+                    // Exclude current rule from refraction clearing to prevent infinite loops
+                    // when a rule modifies a fact it matched on
+                    refraction.retractByFactIdExcludingRule(fact.id, currentRuleId);
+                    wm.update(fact);
+                }
+                continue;
+            }
+            // Retract action: remove fact from working memory
+            if ('retract' in item) {
+                const fact = context[item.retract];
+                if (!fact) {
+                    throw new Error(`Cannot retract unknown fact: ${item.retract}`);
+                }
+                refraction.retractByFactId(fact.id);
+                wm.remove(fact.id);
+                continue;
+            }
+            // Call action: call registered action handler
+            if ('call' in item) {
+                const handler = actions[item.call];
+                if (!handler) {
+                    throw new Error(`Action handler not found: ${item.call}`);
+                }
+                const result = handler(context, wm);
+                if (result) {
+                    if (result.add) {
+                        for (const fact of result.add) {
+                            wm.add(fact);
+                        }
+                    }
+                    if (result.remove) {
+                        for (const factId of result.remove) {
+                            refraction.retractByFactId(factId);
+                            wm.remove(factId);
+                        }
+                    }
+                    if (result.update) {
+                        for (const fact of result.update) {
+                            // Exclude current rule from refraction clearing to prevent infinite loops
+                            refraction.retractByFactIdExcludingRule(fact.id, currentRuleId);
+                            wm.update(fact);
+                        }
+                    }
+                    if (result.halt) {
+                        return true; // Signal to halt
+                    }
+                }
+                continue;
+            }
+            // Halt action: stop execution
+            if ('halt' in item) {
+                return true; // Signal to halt
+            }
+        }
+        return false; // Don't halt
+    }
+}
+exports.ForwardChainingStrategy = ForwardChainingStrategy;
+// Export a singleton instance for convenience
+exports.forwardStrategy = new ForwardChainingStrategy();
+//# sourceMappingURL=strategy.js.map

package/dist/engines/forward/strategy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"strategy.js","sourceRoot":"","sources":["../../../src/engines/forward/strategy.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,qCAQoB;AAYpB,MAAa,uBAAuB;IAClC,GAAG,CACD,OAA+B,EAC/B,EAAkB,EAClB,UAA0B,EAAE;QAE5B,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QACpC,MAAM,EACJ,OAAO,GAAG,EAAE,EACZ,MAAM,EACN,aAAa,EAAE,qBAAqB,EACrC,GAAG,OAAO,CAAC;QAEZ,mDAAmD;QACnD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,MAAM,aAAa,GAAG,qBAAqB,IAAI,MAAM,CAAC,aAAa,CAAC;QACpE,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;QAErC,MAAM,UAAU,GAAG,IAAI,iBAAU,EAAE,CAAC;QACpC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,MAAM,GAAG,KAAK,CAAC;QAEnB,OAAO,UAAU,GAAG,aAAa,EAAE,CAAC;YAClC,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAA,YAAK,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;YACnE,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YAE/C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM;YAEhC,MAAM,MAAM,GAAG,IAAA,uBAAgB,EAAC,OAAO,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;YACzD,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YAEtB,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACjC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAExB,gCAAgC;YAChC,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,MAA+B,CAAC;YAC5D,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CACxC,UAAU,CAAC,OAAO,EAClB,GAAG,CAAC,KAAK,EACT,EAAE,EACF,OAAO,EACP,UAAU,EACV,GAAG,CAAC,IAAI,CAAC,EAAE,CACZ,CAAC;YAEF,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,GAAG,IAAI,CAAC;gBACd,MAAM;YACR,CAAC;YAED,UAAU,EAAE,CAAC;QACf,CAAC;QAED,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;QAEhF,OAAO;YACL,UAAU;YACV,KAAK;YACL,MAAM;YACN,eAAe;SAChB,CAAC;IACJ,CAAC;IAED;;;OAGG;IACK,kBAAkB,CACxB,KAA2B,EAC3B,OAAuB,EACvB,EAAkB,EAClB,OAAuB,EACvB,UAAsB,EACtB,aAAqB;QAErB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,iDAAiD;YACjD,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;gBAClB,KAAK,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;oBAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBACnC,IAAI,CAAC,IAAI,EAAE,CAAC;wBACV,MAAM,IAAI,KAAK,CAAC,wCAAwC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;oBAC1E,CAAC;oBAED,qEAAqE;oBACrE,IAAI,aAAkB,CAAC;oBACvB,IAAI,IAAI,EAAE,CAAC;wBACT,+CAA+C;wBAC/C,aAAa,GAAG,IAAA,yBAAkB,EAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBACpD,CAAC;yBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBACrC,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC;oBAC9B,CAAC;yBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBACrC,aAAa,GAAG,IAAA,qBAAc,EAAC,KAAK,EAAE,OAAO,CAAC,CAAC;oBACjD,CAAC;yBAAM,CAAC;wBACN,uCAAuC;wBACvC,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;oBAC5E,CAAC;oBAED,uEAAuE;oBACvE,IAAA,qBAAc,EAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;oBAEtD,oCAAoC;oBACpC,0EAA0E;oBAC1E,4CAA4C;oBAC5C,UAAU,CAAC,4BAA4B,CAAC,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;oBAChE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAClB,CAAC;gBACD,SAAS;YACX,CAAC;YAED,kDAAkD;YAClD,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;gBACtB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnC,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;gBAClE,CAAC;gBACD,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACpC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACnB,SAAS;YACX,CAAC;YAED,8CAA8C;YAC9C,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;gBACnB,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC5D,CAAC;gBAED,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAEpC,IAAI,MAAM,EAAE,CAAC;oBACX,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC;wBACf,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC;4BAC9B,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;wBACf,CAAC;oBACH,CAAC;oBAED,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;wBAClB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;4BACnC,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;4BACnC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;wBACpB,CAAC;oBACH,CAAC;oBAED,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;wBAClB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;4BACjC,0EAA0E;4BAC1E,UAAU,CAAC,4BAA4B,CAAC,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;4BAChE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;wBAClB,CAAC;oBACH,CAAC;oBAED,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;wBAChB,OAAO,IAAI,CAAC,CAAE,iBAAiB;oBACjC,CAAC;gBACH,CAAC;gBACD,SAAS;YACX,CAAC;YAED,8BAA8B;YAC9B,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;gBACnB,OAAO,IAAI,CAAC,CAAE,iBAAiB;YACjC,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC,CAAE,aAAa;IAC9B,CAAC;CACF;AAzKD,0DAyKC;AAED,8CAA8C;AACjC,QAAA,eAAe,GAAG,IAAI,uBAAuB,EAAE,CAAC"}

package/dist/engines/forward/types.d.ts

@@ -0,0 +1,152 @@
+/**
+ * Forward Chaining Engine Types
+ */
+import { BaseRule, BaseRuleSet, Operand, CompiledBaseRule, CompiledBaseRuleSet, CompiledCondition, CompiledPath, CompiledOperand, Fact, BindingContext, ConflictStrategy } from '../../core';
+import { IWorkingMemory } from '../../core/memory';
+/**
+ * Set action - modify properties on matched facts
+ * Keys are property refs like '$person.status', values are constants or expressions
+ */
+export type SetAction = {
+    set: Record<string, Operand>;
+};
+/**
+ * Retract action - remove a matched fact from working memory
+ * Value is a property ref like '$duplicate'
+ */
+export type RetractAction = {
+    retract: string;
+};
+/**
+ * Call action - call a registered action handler by name
+ */
+export type CallAction = {
+    call: string;
+};
+/**
+ * Halt action - stop rule engine execution
+ */
+export type HaltAction = {
+    halt: true;
+};
+/**
+ * Union of all action item types
+ */
+export type ActionItem = SetAction | RetractAction | CallAction | HaltAction;
+/**
+ * Flexible 'then' value:
+ * - string: shorthand for { call: 'handlerName' }
+ * - ActionItem: single action object
+ * - ActionItem[]: array of actions executed in order
+ */
+export type ThenValue = string | ActionItem | ActionItem[];
+/**
+ * Forward chaining rule - uses 'then' for actions
+ */
+export type ForwardRule = BaseRule & {
+    then: ThenValue;
+};
+/**
+ * Forward chaining ruleset
+ */
+export type ForwardRuleSet = BaseRuleSet & {
+    mode: 'forward';
+    rules: ForwardRule[];
+    config?: Partial<ForwardConfig>;
+};
+/**
+ * Forward chaining configuration
+ */
+export type ForwardConfig = {
+    mode: 'forward';
+    maxIterations: number;
+    strategies: ConflictStrategy[];
+};
+/**
+ * Compiled set action - property paths and expressions are pre-compiled
+ */
+export type CompiledSetAction = {
+    set: Array<{
+        target: CompiledPath;
+        value: CompiledOperand;
+        expr?: CompiledCondition;
+    }>;
+};
+/**
+ * Compiled retract action - just the parameter name ($ stripped)
+ */
+export type CompiledRetractAction = {
+    retract: string;
+};
+/**
+ * Compiled call action - unchanged from source
+ */
+export type CompiledCallAction = {
+    call: string;
+};
+/**
+ * Compiled halt action - unchanged from source
+ */
+export type CompiledHaltAction = {
+    halt: true;
+};
+/**
+ * Union of all compiled action item types
+ */
+export type CompiledActionItem = CompiledSetAction | CompiledRetractAction | CompiledCallAction | CompiledHaltAction;
+/**
+ * Compiled forward chaining action - always normalized to array
+ */
+export type CompiledForwardAction = {
+    mode: 'forward';
+    actions: CompiledActionItem[];
+};
+/**
+ * Compiled forward chaining rule
+ */
+export type CompiledForwardRule = CompiledBaseRule & {
+    action: CompiledForwardAction;
+};
+/**
+ * Compiled forward chaining ruleset
+ */
+export type CompiledForwardRuleSet = CompiledBaseRuleSet & {
+    mode: 'forward';
+    rules: CompiledForwardRule[];
+    config: ForwardConfig;
+};
+/**
+ * Action handler result - what actions can return
+ */
+export type ActionResult = {
+    add?: Fact[];
+    remove?: string[];
+    update?: Fact[];
+    halt?: boolean;
+};
+/**
+ * Action handler signature
+ */
+export type ActionHandler = (context: BindingContext, wm: IWorkingMemory) => ActionResult | void;
+/**
+ * Registry of action handlers
+ */
+export type ActionRegistry = Record<string, ActionHandler>;
+/**
+ * Runtime options for forward chaining execution
+ */
+export type ForwardOptions = {
+    actions?: ActionRegistry;
+    onFire?: (ruleId: string, context: BindingContext) => void;
+    maxIterations?: number;
+};
+/**
+ * Execution result
+ */
+export type ForwardResult = {
+    iterations: number;
+    fired: string[];
+    halted: boolean;
+    executionTimeMs: number;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/engines/forward/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/engines/forward/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,QAAQ,EACR,WAAW,EACX,OAAO,EACP,gBAAgB,EAChB,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,eAAe,EACf,IAAI,EACJ,cAAc,EACd,gBAAgB,EACjB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAMnD;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC9B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,IAAI,CAAC;CACZ,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,aAAa,GAAG,UAAU,GAAG,UAAU,CAAC;AAE7E;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,UAAU,GAAG,UAAU,EAAE,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG;IACnC,IAAI,EAAE,SAAS,CAAC;CACjB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,MAAM,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;CACjC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,SAAS,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,gBAAgB,EAAE,CAAC;CAChC,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,GAAG,EAAE,KAAK,CAAC;QACT,MAAM,EAAE,YAAY,CAAC;QACrB,KAAK,EAAE,eAAe,CAAC;QACvB,IAAI,CAAC,EAAE,iBAAiB,CAAC;KAC1B,CAAC,CAAC;CACJ,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,IAAI,CAAC;CACZ,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAC1B,iBAAiB,GACjB,qBAAqB,GACrB,kBAAkB,GAClB,kBAAkB,CAAC;AAEvB;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,EAAE,kBAAkB,EAAE,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,gBAAgB,GAAG;IACnD,MAAM,EAAE,qBAAqB,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG,mBAAmB,GAAG;IACzD,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,mBAAmB,EAAE,CAAC;IAC7B,MAAM,EAAE,aAAa,CAAC;CACvB,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,CAC1B,OAAO,EAAE,cAAc,EACvB,EAAE,EAAE,cAAc,KACf,YAAY,GAAG,IAAI,CAAC;AAEzB;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,OAAO,CAAC,EAAE,cAAc,CAAC;IACzB,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,KAAK,IAAI,CAAC;IAC3D,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,OAAO,CAAC;IAChB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC"}

package/dist/engines/forward/types.js

@@ -0,0 +1,6 @@
+"use strict";
+/**
+ * Forward Chaining Engine Types
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/engines/forward/types.js.map

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

package/dist/engines/fuzzy/compiler.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Fuzzy Engine Compiler
+ *
+ * Compiles fuzzy rulesets into executable form.
+ */
+import { CompiledBaseRuleSet, CompiledBaseRule } from '../../core';
+import { FuzzyRuleSet, FuzzyRule, FuzzyConfig, CompiledFuzzyAction, CompiledFuzzyVariable } from './types';
+export type CompiledFuzzyRuleSet = CompiledBaseRuleSet & {
+    mode: 'fuzzy';
+    variables: CompiledFuzzyVariable[];
+    variableIndex: Map<string, CompiledFuzzyVariable>;
+    config: FuzzyConfig;
+    rules: CompiledFuzzyRule[];
+};
+export type CompiledFuzzyRule = CompiledBaseRule & {
+    action: CompiledFuzzyAction;
+};
+export declare function compileFuzzyRule(rule: FuzzyRule, index?: number): {
+    id: string;
+    name: string | undefined;
+    salience: number;
+    complexity: number;
+    index: number;
+    inputs: any[];
+    when: import("../../core").CompiledCondition | undefined;
+    action: CompiledFuzzyAction;
+};
+export declare function compileFuzzyRuleSet(ruleSet: FuzzyRuleSet): CompiledFuzzyRuleSet;
+//# sourceMappingURL=compiler.d.ts.map

package/dist/engines/fuzzy/compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../../src/engines/fuzzy/compiler.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAGL,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,mBAAmB,EAAe,qBAAqB,EAAE,MAAM,SAAS,CAAC;AAYxH,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,GAAG;IACvD,IAAI,EAAE,OAAO,CAAC;IACd,SAAS,EAAE,qBAAqB,EAAE,CAAC;IACnC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAClD,MAAM,EAAE,WAAW,CAAC;IACpB,KAAK,EAAE,iBAAiB,EAAE,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,gBAAgB,GAAG;IACjD,MAAM,EAAE,mBAAmB,CAAC;CAC7B,CAAC;AAuFF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,GAAE,MAAU;;;;;;;;;EAclE;AAMD,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,oBAAoB,CAuC/E"}

package/dist/engines/fuzzy/compiler.js

@@ -0,0 +1,136 @@
+"use strict";
+/**
+ * Fuzzy Engine Compiler
+ *
+ * Compiles fuzzy rulesets into executable form.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileFuzzyRule = compileFuzzyRule;
+exports.compileFuzzyRuleSet = compileFuzzyRuleSet;
+const core_1 = require("../../core");
+const fuzzy_membership_1 = require("./fuzzy.membership");
+// ========================================
+// Helper Functions
+// ========================================
+function countConditions(condition) {
+    if (!condition)
+        return 0;
+    if (condition.children) {
+        return 1 + condition.children.reduce((sum, c) => sum + countConditions(c), 0);
+    }
+    return 1;
+}
+function calculateComplexity(inputs, where) {
+    let score = 0;
+    score += inputs.length * 10;
+    score += countConditions(where) * 5;
+    for (const input of inputs) {
+        score += countConditions(input.where) * 2;
+    }
+    return score;
+}
+function compilePath(from) {
+    const str = from.startsWith('$') ? from.slice(1) : from;
+    const parts = str.split('.');
+    return {
+        param: parts[0],
+        path: parts.slice(1)
+    };
+}
+// ========================================
+// Parameter Compilation
+// ========================================
+function compileInputParameter(input) {
+    const compiled = {
+        name: input.name,
+        type: input.type,
+        schema: input.shape ? (0, core_1.normalizeShape)(input.shape) : { type: 'object' }
+    };
+    if (input.where) {
+        compiled.where = (0, core_1.compileCondition)(input.where);
+    }
+    if (input.from) {
+        compiled.from = compilePath(input.from);
+    }
+    return compiled;
+}
+// ========================================
+// Action Compilation
+// ========================================
+function compileFuzzyAction(thenValue) {
+    // Simple string form: 'variable.term'
+    if (typeof thenValue === 'string') {
+        const [variable, term] = (0, fuzzy_membership_1.parseTermRef)(thenValue);
+        return {
+            mode: 'fuzzy',
+            output: { variable, term }
+        };
+    }
+    // Explicit form: { output: 'variable.term', degree?: number }
+    const [variable, term] = (0, fuzzy_membership_1.parseTermRef)(thenValue.output);
+    const action = {
+        mode: 'fuzzy',
+        output: { variable, term }
+    };
+    if (thenValue.degree !== undefined) {
+        action.degree = thenValue.degree;
+    }
+    return action;
+}
+// ========================================
+// Rule Compilation
+// ========================================
+function compileFuzzyRule(rule, index = 0) {
+    const inputs = rule.inputs.map(compileInputParameter);
+    const when = rule.when ? (0, core_1.compileCondition)(rule.when) : undefined;
+    return {
+        id: rule.id,
+        name: rule.name,
+        salience: rule.salience ?? 0,
+        complexity: calculateComplexity(inputs, when),
+        index,
+        inputs,
+        when,
+        action: compileFuzzyAction(rule.then)
+    };
+}
+// ========================================
+// RuleSet Compilation
+// ========================================
+function compileFuzzyRuleSet(ruleSet) {
+    const config = {
+        mode: 'fuzzy',
+        threshold: ruleSet.config?.threshold ?? 0.01,
+        defuzzify: ruleSet.config?.defuzzify ?? 'balanced',
+        coverage: ruleSet.config?.coverage
+    };
+    // Determine coverage options
+    const coverageConfig = ruleSet.config?.coverage;
+    const shouldAutoAdjust = coverageConfig !== false;
+    const coverageOptions = shouldAutoAdjust
+        ? (typeof coverageConfig === 'object' ? coverageConfig : {})
+        : false;
+    // Compile all fuzzy variables (with optional coverage adjustment)
+    const variables = ruleSet.variables.map(variable => {
+        const adjusted = coverageOptions === false
+            ? variable
+            : (0, fuzzy_membership_1.autoAdjustCoverage)(variable, coverageOptions);
+        return (0, fuzzy_membership_1.compileFuzzyVariable)(adjusted);
+    });
+    // Build variable index for fast lookup
+    const variableIndex = new Map();
+    for (const variable of variables) {
+        variableIndex.set(variable.name, variable);
+    }
+    return {
+        id: ruleSet.id,
+        name: ruleSet.name,
+        mode: 'fuzzy',
+        schema: ruleSet.shape ? (0, core_1.normalizeShape)(ruleSet.shape) : { type: 'object' },
+        rules: ruleSet.rules.map((rule, index) => compileFuzzyRule(rule, index)),
+        config,
+        variables,
+        variableIndex
+    };
+}
+//# sourceMappingURL=compiler.js.map