@higher.archi/boe 1.0.0

package/dist/engines/bayesian/compiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../../../src/engines/bayesian/compiler.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;AA6FH,0CAmCC;AA+MD,kDAkBC;AAMD,wDAqCC;AA1YD,qCAKoB;AAEpB,mCAciB;AAEjB,2CAA2C;AAC3C,mBAAmB;AACnB,2CAA2C;AAE3C,SAAS,eAAe,CAAC,SAAe;IACtC,IAAI,CAAC,SAAS;QAAE,OAAO,CAAC,CAAC;IACzB,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;QACvB,OAAO,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAW,EAAE,CAAM,EAAE,EAAE,CAAC,GAAG,GAAG,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAa,EAAE,IAAU;IACpD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE,CAAC;IAC5B,KAAK,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7B,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACf,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;KACrB,CAAC;AACJ,CAAC;AAED,2CAA2C;AAC3C,wBAAwB;AACxB,2CAA2C;AAE3C,SAAS,qBAAqB,CAAC,KAAU;IACvC,MAAM,QAAQ,GAAQ;QACpB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAA,qBAAc,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;KACvE,CAAC;IAEF,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChB,QAAQ,CAAC,KAAK,GAAG,IAAA,uBAAgB,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QACf,QAAQ,CAAC,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,2CAA2C;AAC3C,qBAAqB;AACrB,2CAA2C;AAE3C;;;;;;;;;;GAUG;AACH,SAAgB,eAAe,CAAC,KAAsB;IACpD,aAAa;IACb,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,gBAAgB;IAChB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,8BAA8B;QAC9B,IAAI,KAAK,IAAI,4BAAoB,EAAE,CAAC;YAClC,OAAO,4BAAoB,CAAC,KAA2B,CAAC,CAAC;QAC3D,CAAC;QAED,yBAAyB;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACtD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC;YAC5B,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YAC1B,OAAO,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAClC,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,8BAA8B,KAAK,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,gBAAgB;IAChB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;YACtB,OAAQ,KAA4B,CAAC,MAAM,CAAC;QAC9C,CAAC;QACD,IAAI,SAAS,IAAI,KAAK,EAAE,CAAC;YACvB,OAAO,CAAC,GAAI,KAA6B,CAAC,OAAO,CAAC;QACpD,CAAC;IACH,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,8BAA8B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACzE,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAC3B,UAAyB,EACzB,eAA4B,EAC5B,MAAc;IAEd,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAE3C,KAAK,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7D,6BAA6B;QAC7B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CACb,SAAS,MAAM,oCAAoC,UAAU,KAAK;gBAClE,cAAc,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACvD,CAAC;QACJ,CAAC;QAED,QAAQ,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,2CAA2C;AAC3C,yBAAyB;AACzB,2CAA2C;AAE3C;;GAEG;AACH,SAAS,iBAAiB,CAAC,CAAa;IACtC,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5C,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,KAA6B;IACjD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC,CAAC,4BAA4B;IAChD,CAAC;IAED,gBAAgB;IAChB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,qDAAqD;IACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACvD,OAAO,IAAA,gBAAS,EAAC,KAAK,CAAC,CAAC,CAAE,uBAAuB;IACnD,CAAC;IAED,mDAAmD;IACnD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAA,uBAAgB,EAAC,KAAmB,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACnE,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CACxB,UAAwB,EACxB,YAAoB;IAEpB,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,MAAM,mBAAmB,GAAa,EAAE,CAAC;IAEzC,kCAAkC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC/D,MAAM,aAAa,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;QAE/C,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC;QAE9C,IAAI,OAAO,aAAa,KAAK,QAAQ,EAAE,CAAC;YACtC,gBAAgB,IAAI,aAAa,CAAC;QACpC,CAAC;aAAM,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YACvC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;QACD,+DAA+D;IACjE,CAAC;IAED,qDAAqD;IACrD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,gBAAgB,CAAC,CAAC;QAEpD,QAAQ,YAAY,EAAE,CAAC;YACrB,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,wCAAwC;gBACxC,MAAM,UAAU,GAAG,SAAS,GAAG,mBAAmB,CAAC,MAAM,CAAC;gBAC1D,KAAK,MAAM,CAAC,IAAI,mBAAmB,EAAE,CAAC;oBACpC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,UAAU,CAAC;gBACjC,CAAC;gBACD,MAAM;YACR,CAAC;YAED,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,4DAA4D;gBAC5D,MAAM,cAAc,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC3E,MAAM,WAAW,GAAG,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC;gBAEnD,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;oBACpB,MAAM,SAAS,GAAG,SAAS,GAAG,GAAG,CAAC;oBAClC,MAAM,UAAU,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,WAAW,CAAC;oBAEnD,KAAK,MAAM,CAAC,IAAI,mBAAmB,EAAE,CAAC;wBACpC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;oBACpE,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,QAAQ,CAAC,cAAc,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC;gBAC7C,CAAC;gBACD,MAAM;YACR,CAAC;YAED,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,6DAA6D;gBAC7D,MAAM,eAAe,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;gBAC/C,MAAM,WAAW,GAAG,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC;gBAEnD,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;oBACpB,MAAM,SAAS,GAAG,SAAS,GAAG,GAAG,CAAC;oBAClC,MAAM,UAAU,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,WAAW,CAAC;oBAEnD,KAAK,MAAM,CAAC,IAAI,mBAAmB,EAAE,CAAC;wBACpC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;oBACrE,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,QAAQ,CAAC,eAAe,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC;gBAC9C,CAAC;gBACD,MAAM;YACR,CAAC;YAED;gBACE,MAAM,IAAI,KAAK,CAAC,kCAAkC,YAAY,EAAE,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,2CAA2C;AAC3C,aAAa;AACb,2CAA2C;AAE3C;;GAEG;AACH,SAAS,sBAAsB,CAAC,UAAwB;IACtD,MAAM,IAAI,GAAa,EAAE,CAAC;IAE1B,SAAS,gBAAgB,CAAC,KAAU;QAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACvD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtB,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,gBAAgB,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnD,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAC1B,UAAwB,EACxB,MAAyB,EACzB,SAAiB;IAEjB,MAAM,SAAS,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;IACrD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAEnC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEtE,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CACb,YAAY,SAAS,oCAAoC,GAAG,2BAA2B;gBACvF,0BAA0B,GAAG,mBAAmB,CACjD,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,2CAA2C;AAC3C,mBAAmB;AACnB,2CAA2C;AAE3C,SAAgB,mBAAmB,CACjC,IAAkB,EAClB,KAAa,EACb,eAA4B;IAE5B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,uBAAgB,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEjE,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,CAAC;QAC5B,UAAU,EAAE,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC;QAC7C,KAAK;QACL,MAAM;QACN,IAAI;QACJ,UAAU,EAAE,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,EAAE,IAAI,CAAC,EAAE,CAAC;KAC5E,CAAC;AACJ,CAAC;AAED,2CAA2C;AAC3C,sBAAsB;AACtB,2CAA2C;AAE3C,SAAgB,sBAAsB,CAAC,OAAwB;IAC7D,wBAAwB;IACxB,mBAAmB,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;IAEpE,6BAA6B;IAC7B,MAAM,MAAM,GAAmB;QAC7B,IAAI,EAAE,UAAU;QAChB,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS;QACpC,YAAY,EAAE,OAAO,CAAC,MAAM,EAAE,YAAY,IAAI,SAAS;KACxD,CAAC;IAEF,sCAAsC;IACtC,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAChE,CAAC;IAEF,qBAAqB;IACrB,MAAM,UAAU,GAAG,iBAAiB,CAClC,OAAO,CAAC,UAAU,EAClB,MAAM,CAAC,YAAa,CACrB,CAAC;IAEF,gBAAgB;IAChB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC9C,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,eAAe,CAAC,CAClD,CAAC;IAEF,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAA,qBAAc,EAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1E,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE;QAC5B,UAAU;QACV,KAAK;QACL,MAAM;KACP,CAAC;AACJ,CAAC"}

package/dist/engines/bayesian/engine.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Bayesian Engine
+ *
+ * Self-contained engine for Bayesian probabilistic inference.
+ * Implements IRuleEngine with strongly-typed ruleset, options, and result.
+ */
+import { IRuleEngine, WorkingMemory, Fact, FactInput, FactChange } from '../../core';
+import { CompiledBayesianRuleSet, BayesianOptions, BayesianResult } from './types';
+/**
+ * Bayesian rule engine.
+ *
+ * Updates belief in hypotheses based on evidence from matching rules.
+ * Uses Bayes' theorem to compute posterior probabilities.
+ *
+ * @example
+ * ```typescript
+ * const engine = new BayesianEngine();
+ * engine.add({ type: 'Transaction', data: { amount: 5000, foreignIp: true } });
+ *
+ * const result = engine.execute(compiledRules);
+ * console.log(`P(fraud): ${(result.posteriors.fraud * 100).toFixed(1)}%`);
+ * console.log(`Winner: ${result.winner}`);
+ * ```
+ */
+export declare class BayesianEngine implements IRuleEngine<CompiledBayesianRuleSet, BayesianOptions, BayesianResult> {
+    private wm;
+    private strategy;
+    constructor(workingMemory?: WorkingMemory);
+    add(input: FactInput): Fact;
+    remove(factId: string): Fact | undefined;
+    update(input: FactInput): Fact;
+    get(factId: string): Fact | undefined;
+    getByType(type: string): Fact[];
+    getAll(): Fact[];
+    has(factId: string): boolean;
+    size(): number;
+    clear(): void;
+    getChanges(): FactChange[];
+    clearChanges(): void;
+    /**
+     * Execute a Bayesian ruleset.
+     *
+     * Matching rules provide evidence that updates belief in hypotheses.
+     * Posterior probabilities are computed using Bayes' theorem.
+     *
+     * @param ruleSet - Compiled Bayesian ruleset
+     * @param options - Runtime options (callbacks, threshold override)
+     * @returns Result with priors, posteriors, winner, and evidence trail
+     */
+    execute(ruleSet: CompiledBayesianRuleSet, options?: BayesianOptions): BayesianResult;
+    getWorkingMemory(): WorkingMemory;
+}
+//# sourceMappingURL=engine.d.ts.map

package/dist/engines/bayesian/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../../src/engines/bayesian/engine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,WAAW,EACX,aAAa,EACb,IAAI,EACJ,SAAS,EACT,UAAU,EACX,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,cAAc,EACf,MAAM,SAAS,CAAC;AAIjB;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,cAAe,YAAW,WAAW,CAAC,uBAAuB,EAAE,eAAe,EAAE,cAAc,CAAC;IAC1G,OAAO,CAAC,EAAE,CAAgB;IAC1B,OAAO,CAAC,QAAQ,CAAmB;gBAEvB,aAAa,CAAC,EAAE,aAAa;IASzC,GAAG,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI;IAI3B,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIxC,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI;IAI9B,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIrC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE;IAI/B,MAAM,IAAI,IAAI,EAAE;IAIhB,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAI5B,IAAI,IAAI,MAAM;IAId,KAAK,IAAI,IAAI;IAIb,UAAU,IAAI,UAAU,EAAE;IAI1B,YAAY,IAAI,IAAI;IAQpB;;;;;;;;;OASG;IACH,OAAO,CAAC,OAAO,EAAE,uBAAuB,EAAE,OAAO,GAAE,eAAoB,GAAG,cAAc;IAQxF,gBAAgB,IAAI,aAAa;CAGlC"}

package/dist/engines/bayesian/engine.js

@@ -0,0 +1,95 @@
+"use strict";
+/**
+ * Bayesian Engine
+ *
+ * Self-contained engine for Bayesian probabilistic inference.
+ * Implements IRuleEngine with strongly-typed ruleset, options, and result.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BayesianEngine = void 0;
+const core_1 = require("../../core");
+const strategy_1 = require("./strategy");
+/**
+ * Bayesian rule engine.
+ *
+ * Updates belief in hypotheses based on evidence from matching rules.
+ * Uses Bayes' theorem to compute posterior probabilities.
+ *
+ * @example
+ * ```typescript
+ * const engine = new BayesianEngine();
+ * engine.add({ type: 'Transaction', data: { amount: 5000, foreignIp: true } });
+ *
+ * const result = engine.execute(compiledRules);
+ * console.log(`P(fraud): ${(result.posteriors.fraud * 100).toFixed(1)}%`);
+ * console.log(`Winner: ${result.winner}`);
+ * ```
+ */
+class BayesianEngine {
+    wm;
+    strategy;
+    constructor(workingMemory) {
+        this.wm = workingMemory ?? new core_1.WorkingMemory();
+        this.strategy = new strategy_1.BayesianStrategy();
+    }
+    // ========================================
+    // 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 Bayesian ruleset.
+     *
+     * Matching rules provide evidence that updates belief in hypotheses.
+     * Posterior probabilities are computed using Bayes' theorem.
+     *
+     * @param ruleSet - Compiled Bayesian ruleset
+     * @param options - Runtime options (callbacks, threshold override)
+     * @returns Result with priors, posteriors, winner, and evidence trail
+     */
+    execute(ruleSet, options = {}) {
+        return this.strategy.run(ruleSet, this.wm, options);
+    }
+    // ========================================
+    // Utility Methods
+    // ========================================
+    getWorkingMemory() {
+        return this.wm;
+    }
+}
+exports.BayesianEngine = BayesianEngine;
+//# sourceMappingURL=engine.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../../src/engines/bayesian/engine.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,qCAMoB;AAQpB,yCAA8C;AAE9C;;;;;;;;;;;;;;;GAeG;AACH,MAAa,cAAc;IACjB,EAAE,CAAgB;IAClB,QAAQ,CAAmB;IAEnC,YAAY,aAA6B;QACvC,IAAI,CAAC,EAAE,GAAG,aAAa,IAAI,IAAI,oBAAa,EAAE,CAAC;QAC/C,IAAI,CAAC,QAAQ,GAAG,IAAI,2BAAgB,EAAE,CAAC;IACzC,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;;;;;;;;;OASG;IACH,OAAO,CAAC,OAAgC,EAAE,UAA2B,EAAE;QACrE,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,gBAAgB;QACd,OAAO,IAAI,CAAC,EAAE,CAAC;IACjB,CAAC;CACF;AAlFD,wCAkFC"}

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

@@ -0,0 +1,11 @@
+/**
+ * Bayesian Engine
+ *
+ * Provides probabilistic inference using Bayes' theorem.
+ * Rules provide evidence that updates belief in hypotheses.
+ */
+export { SemanticLikelihood, LikelihoodValue, LikelihoodMap, PriorValue, Hypothesis, PriorDefault, BayesianRule, BayesianConfig, BayesianRuleSet, CompiledPrior, CompiledHypothesis, CompiledLikelihoodMap, CompiledBayesianRule, CompiledBayesianRuleSet, EvidenceEntry, BayesianOptions, BayesianResult, SEMANTIC_LIKELIHOODS } from './types';
+export { parseLikelihood, compileBayesianRule, compileBayesianRuleSet } from './compiler';
+export { BayesianStrategy, bayesianStrategy } from './strategy';
+export { BayesianEngine } from './engine';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/engines/bayesian/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAEL,kBAAkB,EAClB,eAAe,EACf,aAAa,EAEb,UAAU,EACV,UAAU,EACV,YAAY,EAEZ,YAAY,EACZ,cAAc,EACd,eAAe,EAEf,aAAa,EACb,kBAAkB,EAClB,qBAAqB,EACrB,oBAAoB,EACpB,uBAAuB,EAEvB,aAAa,EACb,eAAe,EACf,cAAc,EAEd,oBAAoB,EACrB,MAAM,SAAS,CAAC;AAGjB,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,sBAAsB,EACvB,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC"}

package/dist/engines/bayesian/index.js

@@ -0,0 +1,26 @@
+"use strict";
+/**
+ * Bayesian Engine
+ *
+ * Provides probabilistic inference using Bayes' theorem.
+ * Rules provide evidence that updates belief in hypotheses.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BayesianEngine = exports.bayesianStrategy = exports.BayesianStrategy = exports.compileBayesianRuleSet = exports.compileBayesianRule = exports.parseLikelihood = exports.SEMANTIC_LIKELIHOODS = void 0;
+// Types
+var types_1 = require("./types");
+// Constants
+Object.defineProperty(exports, "SEMANTIC_LIKELIHOODS", { enumerable: true, get: function () { return types_1.SEMANTIC_LIKELIHOODS; } });
+// Compiler
+var compiler_1 = require("./compiler");
+Object.defineProperty(exports, "parseLikelihood", { enumerable: true, get: function () { return compiler_1.parseLikelihood; } });
+Object.defineProperty(exports, "compileBayesianRule", { enumerable: true, get: function () { return compiler_1.compileBayesianRule; } });
+Object.defineProperty(exports, "compileBayesianRuleSet", { enumerable: true, get: function () { return compiler_1.compileBayesianRuleSet; } });
+// Strategy
+var strategy_1 = require("./strategy");
+Object.defineProperty(exports, "BayesianStrategy", { enumerable: true, get: function () { return strategy_1.BayesianStrategy; } });
+Object.defineProperty(exports, "bayesianStrategy", { enumerable: true, get: function () { return strategy_1.bayesianStrategy; } });
+// Engine
+var engine_1 = require("./engine");
+Object.defineProperty(exports, "BayesianEngine", { enumerable: true, get: function () { return engine_1.BayesianEngine; } });
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/engines/bayesian/index.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,QAAQ;AACR,iCAyBiB;AAFf,YAAY;AACZ,6GAAA,oBAAoB,OAAA;AAGtB,WAAW;AACX,uCAIoB;AAHlB,2GAAA,eAAe,OAAA;AACf,+GAAA,mBAAmB,OAAA;AACnB,kHAAA,sBAAsB,OAAA;AAGxB,WAAW;AACX,uCAGoB;AAFlB,4GAAA,gBAAgB,OAAA;AAChB,4GAAA,gBAAgB,OAAA;AAGlB,SAAS;AACT,mCAA0C;AAAjC,wGAAA,cAAc,OAAA"}

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

@@ -0,0 +1,13 @@
+/**
+ * Bayesian Engine Strategy
+ *
+ * Evaluates facts against Bayesian rules and updates belief in hypotheses
+ * using Bayes' theorem. Evidence from matching rules updates posteriors.
+ */
+import { IWorkingMemory } from '../../core/memory';
+import { CompiledBayesianRuleSet, BayesianOptions, BayesianResult } from './types';
+export declare class BayesianStrategy {
+    run(ruleSet: CompiledBayesianRuleSet, wm: IWorkingMemory, options?: BayesianOptions): BayesianResult;
+}
+export declare const bayesianStrategy: BayesianStrategy;
+//# sourceMappingURL=strategy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"strategy.d.ts","sourceRoot":"","sources":["../../../src/engines/bayesian/strategy.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EACL,uBAAuB,EAGvB,eAAe,EACf,cAAc,EAEf,MAAM,SAAS,CAAC;AAgJjB,qBAAa,gBAAgB;IAC3B,GAAG,CACD,OAAO,EAAE,uBAAuB,EAChC,EAAE,EAAE,cAAc,EAClB,OAAO,GAAE,eAAoB,GAC5B,cAAc;CAiGlB;AAGD,eAAO,MAAM,gBAAgB,kBAAyB,CAAC"}

package/dist/engines/bayesian/strategy.js

@@ -0,0 +1,213 @@
+"use strict";
+/**
+ * Bayesian Engine Strategy
+ *
+ * Evaluates facts against Bayesian rules and updates belief in hypotheses
+ * using Bayes' theorem. Evidence from matching rules updates posteriors.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.bayesianStrategy = exports.BayesianStrategy = void 0;
+const core_1 = require("../../core");
+/**
+ * Check if value is a CompiledPath (fact reference)
+ */
+function isCompiledPath(value) {
+    return typeof value === 'object' &&
+        value !== null &&
+        'param' in value &&
+        'path' in value &&
+        Array.isArray(value.path);
+}
+/**
+ * Resolve a path from context to get a value
+ */
+function resolvePathValue(compiledPath, context) {
+    const fact = context[compiledPath.param];
+    if (!fact) {
+        throw new Error(`No fact bound to '${compiledPath.param}' for prior resolution`);
+    }
+    let value = fact.data;
+    for (const key of compiledPath.path) {
+        if (value === undefined || value === null) {
+            throw new Error(`Cannot resolve path '${compiledPath.param}.${compiledPath.path.join('.')}': intermediate value is ${value}`);
+        }
+        value = value[key];
+    }
+    return value;
+}
+/**
+ * Resolve a prior value at runtime
+ *
+ * Priors can be:
+ * - Static numbers: 0.02
+ * - CompiledPath: fact reference { param: 'creditReport', path: ['defaultRate'] }
+ * - CompiledCondition: expression { op: 'if', ... }
+ */
+function resolvePrior(prior, context) {
+    // Static number
+    if (typeof prior === 'number') {
+        return prior;
+    }
+    // CompiledPath (fact reference)
+    if (isCompiledPath(prior)) {
+        const value = resolvePathValue(prior, context);
+        if (typeof value !== 'number') {
+            throw new Error(`Prior path '${prior.param}.${prior.path.join('.')}' must resolve to a number, got: ${typeof value}`);
+        }
+        return value;
+    }
+    // CompiledCondition (expression)
+    if (typeof prior === 'object' && prior !== null && 'op' in prior) {
+        const result = (0, core_1.evaluateCondition)(prior, context);
+        if (typeof result !== 'number') {
+            throw new Error(`Prior expression must evaluate to a number, got: ${typeof result}`);
+        }
+        return result;
+    }
+    throw new Error(`Invalid prior value at runtime: ${JSON.stringify(prior)}`);
+}
+/**
+ * Build context for resolving hypothesis priors from ruleset inputs
+ */
+function buildPriorContext(inputs, wm) {
+    const context = {};
+    for (const input of inputs) {
+        // Find first matching fact for each input
+        const facts = wm.getByType(input.type);
+        if (facts.length > 0) {
+            context[input.name] = facts[0];
+        }
+    }
+    return context;
+}
+/**
+ * Normalize posteriors so they sum to 1
+ */
+function normalizePosteriors(posteriors) {
+    const total = Object.values(posteriors).reduce((sum, p) => sum + p, 0);
+    if (total === 0) {
+        // Avoid division by zero - return uniform
+        const n = Object.keys(posteriors).length;
+        const uniform = {};
+        for (const key of Object.keys(posteriors)) {
+            uniform[key] = 1 / n;
+        }
+        return uniform;
+    }
+    const normalized = {};
+    for (const [key, value] of Object.entries(posteriors)) {
+        normalized[key] = value / total;
+    }
+    return normalized;
+}
+/**
+ * Apply Bayes' theorem to update posteriors based on evidence
+ *
+ * For each hypothesis H:
+ *   P(H|E) ∝ P(E|H) * P(H)
+ *
+ * Where:
+ *   P(E|H) = likelihood of evidence given hypothesis
+ *   P(H) = prior probability of hypothesis
+ *
+ * After multiplying, we normalize so all posteriors sum to 1.
+ */
+function applyEvidence(posteriors, likelihoods) {
+    const updated = {};
+    for (const [hypothesis, prior] of Object.entries(posteriors)) {
+        // Get likelihood for this hypothesis (default to 1 = neutral)
+        const likelihood = likelihoods[hypothesis] ?? 1.0;
+        // Multiply prior by likelihood
+        updated[hypothesis] = prior * likelihood;
+    }
+    // Normalize so posteriors sum to 1
+    return normalizePosteriors(updated);
+}
+class BayesianStrategy {
+    run(ruleSet, wm, options = {}) {
+        const startTime = performance.now();
+        const { onFire, threshold: optionThreshold } = options;
+        const config = ruleSet.config;
+        const threshold = optionThreshold ?? config.threshold;
+        // Build context for resolving dynamic priors
+        const priorContext = buildPriorContext(ruleSet.inputs, wm);
+        // Initialize priors
+        const priors = {};
+        for (const h of ruleSet.hypotheses) {
+            priors[h.name] = resolvePrior(h.prior, priorContext);
+        }
+        // Normalize priors to sum to 1 (in case user provided unnormalized values)
+        let posteriors = normalizePosteriors({ ...priors });
+        const fired = [];
+        const evidence = [];
+        let thresholdExceeded;
+        // Track which hypotheses were below threshold initially
+        // (so we can detect when they cross it)
+        const belowThreshold = new Set();
+        if (threshold !== undefined) {
+            for (const [hypothesis, posterior] of Object.entries(posteriors)) {
+                if (posterior < threshold) {
+                    belowThreshold.add(hypothesis);
+                }
+            }
+        }
+        // Evaluate each rule
+        for (const rule of ruleSet.rules) {
+            const activations = (0, core_1.match)(rule, wm);
+            for (const activation of activations) {
+                // Rule matched - this is evidence
+                if (!fired.includes(rule.id)) {
+                    fired.push(rule.id);
+                }
+                // Record evidence
+                evidence.push({
+                    ruleId: rule.id,
+                    ruleName: rule.name,
+                    likelihoods: rule.likelihood
+                });
+                // Callback
+                if (onFire) {
+                    onFire(rule.id, activation.facts, rule.likelihood);
+                }
+                // Update posteriors with this evidence
+                posteriors = applyEvidence(posteriors, rule.likelihood);
+                // Check if any hypothesis crossed the threshold (from below to above)
+                if (threshold !== undefined && thresholdExceeded === undefined) {
+                    for (const [hypothesis, posterior] of Object.entries(posteriors)) {
+                        if (belowThreshold.has(hypothesis) && posterior >= threshold) {
+                            thresholdExceeded = hypothesis;
+                            break;
+                        }
+                    }
+                }
+            }
+        }
+        // Find winner (highest posterior)
+        let winner = '';
+        let confidence = 0;
+        for (const [hypothesis, posterior] of Object.entries(posteriors)) {
+            if (posterior > confidence) {
+                winner = hypothesis;
+                confidence = posterior;
+            }
+        }
+        // Store normalized priors for result
+        const normalizedPriors = normalizePosteriors(priors);
+        const executionTimeMs = Math.round((performance.now() - startTime) * 100) / 100;
+        return {
+            priors: normalizedPriors,
+            posteriors,
+            winner,
+            confidence,
+            fired,
+            evidence,
+            thresholdExceeded,
+            iterations: 1,
+            executionTimeMs
+        };
+    }
+}
+exports.BayesianStrategy = BayesianStrategy;
+// Export singleton instance for convenience
+exports.bayesianStrategy = new BayesianStrategy();
+//# sourceMappingURL=strategy.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"strategy.js","sourceRoot":"","sources":["../../../src/engines/bayesian/strategy.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,qCAMoB;AAYpB;;GAEG;AACH,SAAS,cAAc,CAAC,KAAU;IAChC,OAAO,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAO,IAAI,KAAK;QAChB,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,YAA0B,EAAE,OAAuB;IAC3E,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,KAAK,CAAqB,CAAC;IAC7D,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,qBAAqB,YAAY,CAAC,KAAK,wBAAwB,CAAC,CAAC;IACnF,CAAC;IAED,IAAI,KAAK,GAAQ,IAAI,CAAC,IAAI,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,wBAAwB,YAAY,CAAC,KAAK,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,4BAA4B,KAAK,EAAE,CAAC,CAAC;QAChI,CAAC;QACD,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,YAAY,CACnB,KAAoB,EACpB,OAAuB;IAEvB,gBAAgB;IAChB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,gCAAgC;IAChC,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,eAAe,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,oCAAoC,OAAO,KAAK,EAAE,CAAC,CAAC;QACxH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,iCAAiC;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;QACjE,MAAM,MAAM,GAAG,IAAA,wBAAiB,EAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACjD,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,oDAAoD,OAAO,MAAM,EAAE,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,mCAAmC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CACxB,MAAa,EACb,EAAkB;IAElB,MAAM,OAAO,GAAmB,EAAE,CAAC;IAEnC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,0CAA0C;QAC1C,MAAM,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,UAAkC;IAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAEvE,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAChB,0CAA0C;QAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC;QACzC,MAAM,OAAO,GAA2B,EAAE,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACtD,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC;IAClC,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,aAAa,CACpB,UAAkC,EAClC,WAAkC;IAElC,MAAM,OAAO,GAA2B,EAAE,CAAC;IAE3C,KAAK,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7D,8DAA8D;QAC9D,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;QAElD,+BAA+B;QAC/B,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,GAAG,UAAU,CAAC;IAC3C,CAAC;IAED,mCAAmC;IACnC,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC;AAED,MAAa,gBAAgB;IAC3B,GAAG,CACD,OAAgC,EAChC,EAAkB,EAClB,UAA2B,EAAE;QAE7B,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QACpC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,MAAM,SAAS,GAAG,eAAe,IAAI,MAAM,CAAC,SAAS,CAAC;QAEtD,6CAA6C;QAC7C,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAE3D,oBAAoB;QACpB,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACvD,CAAC;QAED,2EAA2E;QAC3E,IAAI,UAAU,GAAG,mBAAmB,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QAEpD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAoB,EAAE,CAAC;QACrC,IAAI,iBAAqC,CAAC;QAE1C,wDAAwD;QACxD,wCAAwC;QACxC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QACzC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBACjE,IAAI,SAAS,GAAG,SAAS,EAAE,CAAC;oBAC1B,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBACjC,CAAC;YACH,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YACjC,MAAM,WAAW,GAAG,IAAA,YAAK,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAEpC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;gBACrC,kCAAkC;gBAClC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC7B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACtB,CAAC;gBAED,kBAAkB;gBAClB,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,QAAQ,EAAE,IAAI,CAAC,IAAI;oBACnB,WAAW,EAAE,IAAI,CAAC,UAAU;iBAC7B,CAAC,CAAC;gBAEH,WAAW;gBACX,IAAI,MAAM,EAAE,CAAC;oBACX,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;gBACrD,CAAC;gBAED,uCAAuC;gBACvC,UAAU,GAAG,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;gBAExD,sEAAsE;gBACtE,IAAI,SAAS,KAAK,SAAS,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;oBAC/D,KAAK,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;wBACjE,IAAI,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,SAAS,IAAI,SAAS,EAAE,CAAC;4BAC7D,iBAAiB,GAAG,UAAU,CAAC;4BAC/B,MAAM;wBACR,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACjE,IAAI,SAAS,GAAG,UAAU,EAAE,CAAC;gBAC3B,MAAM,GAAG,UAAU,CAAC;gBACpB,UAAU,GAAG,SAAS,CAAC;YACzB,CAAC;QACH,CAAC;QAED,qCAAqC;QACrC,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAErD,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;QAEhF,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,UAAU;YACV,MAAM;YACN,UAAU;YACV,KAAK;YACL,QAAQ;YACR,iBAAiB;YACjB,UAAU,EAAE,CAAC;YACb,eAAe;SAChB,CAAC;IACJ,CAAC;CACF;AAtGD,4CAsGC;AAED,4CAA4C;AAC/B,QAAA,gBAAgB,GAAG,IAAI,gBAAgB,EAAE,CAAC"}

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

@@ -0,0 +1,145 @@
+/**
+ * Bayesian Engine Types
+ *
+ * Goal-driven probabilistic inference using Bayes' theorem.
+ * Updates belief in hypotheses based on evidence from rules.
+ */
+import { BaseRule, BaseRuleSet, InputParameter, CompiledBaseRule, CompiledBaseRuleSet, CompiledCondition, CompiledPath, Expression, BindingContext } from '../../core';
+/**
+ * Semantic likelihood labels - human-readable strength indicators
+ */
+export type SemanticLikelihood = 'most-likely' | 'more-likely' | 'slightly-more-likely' | 'neutral' | 'slightly-less-likely' | 'less-likely' | 'least-likely';
+/**
+ * Likelihood value - multiple formats supported
+ *
+ * Examples:
+ * - 4.0                    // Raw number (4x more likely)
+ * - '+4x'                  // String shorthand (favors by 4x)
+ * - '-5x'                  // String shorthand (against by 5x)
+ * - { favors: 4 }          // Explicit object (4x more likely)
+ * - { against: 5 }         // Explicit object (5x less likely = 0.2x)
+ * - 'most-likely'          // Semantic label (5x)
+ */
+export type LikelihoodValue = number | `+${number}x` | `-${number}x` | {
+    favors: number;
+} | {
+    against: number;
+} | SemanticLikelihood;
+/**
+ * Map of hypothesis name to likelihood value
+ */
+export type LikelihoodMap = Record<string, LikelihoodValue>;
+/**
+ * Prior value - can be static, fact reference, or expression
+ *
+ * Examples:
+ * - 0.02                                    // Static: 2% base rate
+ * - '$stats.fraudRate'                      // Fact reference
+ * - ['if', ['equals', '$m.cat', 'high-risk'], 0.08, 0.02]  // Expression
+ */
+export type PriorValue = number | `$${string}` | Expression;
+/**
+ * Hypothesis definition
+ *
+ * Can be just a name (prior auto-filled) or full definition with prior
+ */
+export type Hypothesis = string | {
+    name: string;
+    prior?: PriorValue;
+};
+/**
+ * Strategy for auto-filling missing priors
+ */
+export type PriorDefault = 'uniform' | 'skeptical' | 'optimistic';
+/**
+ * Bayesian rule - provides evidence for/against hypotheses
+ */
+export type BayesianRule = BaseRule & {
+    likelihood: LikelihoodMap;
+};
+/**
+ * Bayesian ruleset configuration
+ */
+export type BayesianConfig = {
+    mode: 'bayesian';
+    threshold?: number;
+    priorDefault?: PriorDefault;
+};
+/**
+ * Bayesian ruleset
+ */
+export type BayesianRuleSet = BaseRuleSet & {
+    mode: 'bayesian';
+    inputs?: InputParameter[];
+    hypotheses: Hypothesis[];
+    rules: BayesianRule[];
+    config?: Partial<BayesianConfig>;
+};
+/**
+ * Compiled prior value - can be:
+ * - number: static value
+ * - CompiledPath: fact reference ($foo.bar)
+ * - CompiledCondition: expression (['if', ...])
+ */
+export type CompiledPrior = number | CompiledPath | CompiledCondition;
+/**
+ * Compiled hypothesis - prior resolved to expression or static
+ */
+export type CompiledHypothesis = {
+    name: string;
+    prior: CompiledPrior;
+};
+/**
+ * Compiled likelihood map - all values normalized to numbers
+ */
+export type CompiledLikelihoodMap = Record<string, number>;
+/**
+ * Compiled Bayesian rule
+ */
+export type CompiledBayesianRule = CompiledBaseRule & {
+    likelihood: CompiledLikelihoodMap;
+};
+/**
+ * Compiled Bayesian ruleset
+ */
+export type CompiledBayesianRuleSet = CompiledBaseRuleSet & {
+    mode: 'bayesian';
+    inputs: InputParameter[];
+    hypotheses: CompiledHypothesis[];
+    rules: CompiledBayesianRule[];
+    config: BayesianConfig;
+};
+/**
+ * Evidence entry - audit trail of what rules fired
+ */
+export type EvidenceEntry = {
+    ruleId: string;
+    ruleName?: string;
+    likelihoods: CompiledLikelihoodMap;
+};
+/**
+ * Runtime options for Bayesian execution
+ */
+export type BayesianOptions = {
+    onFire?: (ruleId: string, context: BindingContext, likelihoods: CompiledLikelihoodMap) => void;
+    threshold?: number;
+};
+/**
+ * Bayesian execution result
+ */
+export type BayesianResult = {
+    priors: Record<string, number>;
+    posteriors: Record<string, number>;
+    winner: string;
+    confidence: number;
+    fired: string[];
+    evidence: EvidenceEntry[];
+    thresholdExceeded?: string;
+    iterations: 1;
+    executionTimeMs: number;
+};
+/**
+ * Default mappings for semantic likelihood labels
+ */
+export declare const SEMANTIC_LIKELIHOODS: Record<SemanticLikelihood, number>;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/engines/bayesian/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,QAAQ,EACR,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,UAAU,EACV,cAAc,EACf,MAAM,YAAY,CAAC;AAMpB;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAC1B,aAAa,GACb,aAAa,GACb,sBAAsB,GACtB,SAAS,GACT,sBAAsB,GACtB,aAAa,GACb,cAAc,CAAC;AAEnB;;;;;;;;;;GAUG;AACH,MAAM,MAAM,eAAe,GACvB,MAAM,GACN,IAAI,MAAM,GAAG,GACb,IAAI,MAAM,GAAG,GACb;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,GAClB;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,GACnB,kBAAkB,CAAC;AAEvB;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;AAM5D;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,GAClB,MAAM,GACN,IAAI,MAAM,EAAE,GACZ,UAAU,CAAC;AAEf;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAClB,MAAM,GACN;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,UAAU,CAAA;CAAE,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,YAAY,GACpB,SAAS,GACT,WAAW,GACX,YAAY,CAAC;AAMjB;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG;IACpC,UAAU,EAAE,aAAa,CAAC;CAC3B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,UAAU,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,WAAW,GAAG;IAC1C,IAAI,EAAE,UAAU,CAAC;IACjB,MAAM,CAAC,EAAE,cAAc,EAAE,CAAC;IAC1B,UAAU,EAAE,UAAU,EAAE,CAAC;IACzB,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;CAClC,CAAC;AAMF;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,YAAY,GAAG,iBAAiB,CAAC;AAEtE;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,aAAa,CAAC;CACtB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,gBAAgB,GAAG;IACpD,UAAU,EAAE,qBAAqB,CAAC;CACnC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,uBAAuB,GAAG,mBAAmB,GAAG;IAC1D,IAAI,EAAE,UAAU,CAAC;IACjB,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,UAAU,EAAE,kBAAkB,EAAE,CAAC;IACjC,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAC9B,MAAM,EAAE,cAAc,CAAC;CACxB,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,qBAAqB,CAAC;CACpC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,qBAAqB,KAAK,IAAI,CAAC;IAC/F,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,UAAU,EAAE,CAAC,CAAC;IACd,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,kBAAkB,EAAE,MAAM,CAQnE,CAAC"}

package/dist/engines/bayesian/types.js

@@ -0,0 +1,25 @@
+"use strict";
+/**
+ * Bayesian Engine Types
+ *
+ * Goal-driven probabilistic inference using Bayes' theorem.
+ * Updates belief in hypotheses based on evidence from rules.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SEMANTIC_LIKELIHOODS = void 0;
+// ========================================
+// Semantic Likelihood Mappings
+// ========================================
+/**
+ * Default mappings for semantic likelihood labels
+ */
+exports.SEMANTIC_LIKELIHOODS = {
+    'most-likely': 5.0,
+    'more-likely': 3.0,
+    'slightly-more-likely': 1.5,
+    'neutral': 1.0,
+    'slightly-less-likely': 1 / 1.5, // ~0.667
+    'less-likely': 1 / 3.0, // ~0.333
+    'least-likely': 1 / 5.0 // 0.2
+};
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/engines/bayesian/types.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAsMH,2CAA2C;AAC3C,+BAA+B;AAC/B,2CAA2C;AAE3C;;GAEG;AACU,QAAA,oBAAoB,GAAuC;IACtE,aAAa,EAAE,GAAG;IAClB,aAAa,EAAE,GAAG;IAClB,sBAAsB,EAAE,GAAG;IAC3B,SAAS,EAAE,GAAG;IACd,sBAAsB,EAAE,CAAC,GAAG,GAAG,EAAG,SAAS;IAC3C,aAAa,EAAE,CAAC,GAAG,GAAG,EAAY,SAAS;IAC3C,cAAc,EAAE,CAAC,GAAG,GAAG,CAAW,MAAM;CACzC,CAAC"}

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

@@ -0,0 +1,9 @@
+/**
+ * Constraint Satisfaction Engine Compiler
+ *
+ * Compiles constraint rulesets into an optimized format for solving.
+ * Builds constraint graph for efficient propagation.
+ */
+import { ConstraintRuleSet, CompiledConstraintRuleSet } from './types';
+export declare function compileConstraintRuleSet(ruleSet: ConstraintRuleSet): CompiledConstraintRuleSet;
+//# sourceMappingURL=compiler.d.ts.map