@higher.archi/boe 1.0.0

package/dist/core/types/condition.d.ts

@@ -0,0 +1,87 @@
+/**
+ * Core condition and operand types - shared across all engines
+ */
+export type UnaryOperator = 'isNaN' | 'isOdd' | 'isEven' | 'isEmpty' | 'isNotEmpty' | 'isTrue' | 'isFalse' | 'isNull' | 'isNotNull' | 'isDefined' | 'isUndefined' | 'not' | 'abs' | 'negate' | 'sqrt' | 'ceil' | 'floor' | 'round' | 'soundex' | 'nysiis' | 'caverphone2' | 'trim' | 'ltrim' | 'rtrim' | 'upper' | 'lower' | 'reverse' | 'length' | 'secondsAgo' | 'minutesAgo' | 'hoursAgo' | 'daysAgo' | 'weeksAgo' | 'monthsAgo' | 'yearsAgo' | 'secondsFromNow' | 'minutesFromNow' | 'hoursFromNow' | 'daysFromNow' | 'weeksFromNow' | 'monthsFromNow' | 'yearsFromNow' | 'getYear' | 'getMonth' | 'getDay' | 'getDayOfWeek' | 'getHour' | 'getMinute' | 'getSecond' | 'getQuarter' | 'getWeekOfYear' | 'startOfDay' | 'endOfDay' | 'startOfWeek' | 'endOfWeek' | 'startOfMonth' | 'endOfMonth' | 'startOfYear' | 'endOfYear' | 'isWeekend' | 'isWeekday' | 'isLeapYear' | 'isFuture' | 'isPast' | 'isToday' | 'now' | 'today' | 'tomorrow' | 'yesterday';
+export type BinaryOperator = 'equals' | 'notEquals' | 'greaterThan' | 'greaterThanOrEquals' | 'lessThan' | 'lessThanOrEquals' | 'approximatelyEquals' | 'contains' | 'startsWith' | 'endsWith' | 'equalsIgnoreCase' | 'notEqualsIgnoreCase' | 'startsWithIgnoreCase' | 'endsWithIgnoreCase' | 'containsIgnoreCase' | 'regex' | 'regexIgnoreCase' | 'in' | 'xor' | 'add' | 'subtract' | 'multiply' | 'divide' | 'modulo' | 'power' | 'min' | 'max' | 'soundexMatch' | 'nysiisMatch' | 'caverphone2Match' | 'cosineSimilarity' | 'concat' | 'repeat' | 'addSeconds' | 'addMinutes' | 'addHours' | 'addDays' | 'addWeeks' | 'addMonths' | 'addYears' | 'subtractSeconds' | 'subtractMinutes' | 'subtractHours' | 'subtractDays' | 'subtractWeeks' | 'subtractMonths' | 'subtractYears' | 'diffMilliseconds' | 'diffSeconds' | 'diffMinutes' | 'diffHours' | 'diffDays' | 'diffWeeks' | 'diffMonths' | 'diffYears' | 'isBefore' | 'isAfter' | 'isSameDay' | 'isSameWeek' | 'isSameMonth' | 'isSameYear';
+export type TernaryOperator = 'substring' | 'replace' | 'replaceAll' | 'padStart' | 'padEnd' | 'isBetween';
+export type VariadicOperator = 'and' | 'or' | 'sum' | 'product' | 'average';
+export type Operator = UnaryOperator | BinaryOperator | TernaryOperator | VariadicOperator;
+export type PropertyRef = `$${string}`;
+export type FunctionExpr = {
+    fn: string;
+    args: Operand[];
+};
+export type UnitValue = {
+    value: number;
+    unit: string;
+};
+export type ConstantValue = string | number | boolean | null | UnitValue | any[];
+export type Operand = PropertyRef | FunctionExpr | ConstantValue;
+export type UnaryCondition = [UnaryOperator, Operand];
+export type BinaryCondition = [BinaryOperator, Operand, Operand];
+export type TernaryCondition = [TernaryOperator, Operand, Operand, Operand];
+/**
+ * Variadic comparison conditions
+ * equals: ['equals', x, a, b, c] → x == a OR x == b OR x == c
+ * notEquals: ['notEquals', x, a, b, c] → x != a AND x != b AND x != c
+ */
+export type VariadicComparisonCondition = ['equals', Operand, Operand, Operand, ...Operand[]] | ['notEquals', Operand, Operand, Operand, ...Operand[]];
+export type LogicalCondition = ["not", Condition] | ["xor", Condition, Condition] | ["and", ...Condition[]] | ["or", ...Condition[]];
+/**
+ * Fuzzy membership conditions
+ * Used in fuzzy mode to check membership degree
+ *
+ * ['is', '$temp', 'temperature.hot']     -> membership degree (0-1)
+ * ['isNot', '$temp', 'temperature.hot']  -> 1 - membership degree
+ */
+export type FuzzyCondition = ["is", Operand, string] | ["isNot", Operand, string];
+/**
+ * Expression string condition - allows inline expression syntax
+ *
+ * Examples:
+ * - ['expr', '$age >= 18 and $hasLicense == true']
+ * - ['expr', '$score > 90 or $bonus == true']
+ * - ['expr', '$price * $quantity > 100']
+ *
+ * Expression strings are parsed at compile time into the same
+ * internal representation as S-expression conditions.
+ */
+export type ExpressionTuple = ["expr", string];
+export type Condition = UnaryCondition | BinaryCondition | TernaryCondition | VariadicComparisonCondition | LogicalCondition | FuzzyCondition | ExpressionTuple;
+/**
+ * Expression - semantic alias for Condition when used in numeric/value contexts
+ *
+ * While Condition implies boolean evaluation (true/false), Expression is used
+ * when the same structure evaluates to a numeric or other value type.
+ *
+ * Examples:
+ * - Condition: ['eq', '$age', 18] -> boolean
+ * - Expression: ['mult', 10, '$years'] -> number
+ * - Expression: ['add', '$base', '$bonus'] -> number
+ */
+export type Expression = Condition;
+export type CompiledPath = {
+    param: string;
+    path: string[];
+};
+export type CompiledOperand = {
+    type: "property";
+    ref: CompiledPath;
+} | {
+    type: "constant";
+    value: any;
+} | {
+    type: "function";
+    fn: string;
+    args: CompiledOperand[];
+} | {
+    type: "expression";
+    compiled: CompiledCondition;
+};
+export type CompiledCondition = {
+    op: string;
+    arity: "unary" | "binary" | "ternary" | "variadic";
+    operands?: CompiledOperand[];
+    children?: CompiledCondition[];
+};
+//# sourceMappingURL=condition.d.ts.map

package/dist/core/types/condition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"condition.d.ts","sourceRoot":"","sources":["../../../src/core/types/condition.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,MAAM,MAAM,aAAa,GACrB,OAAO,GAAG,OAAO,GAAG,QAAQ,GAC5B,SAAS,GAAG,YAAY,GACxB,QAAQ,GAAG,SAAS,GACpB,QAAQ,GAAG,WAAW,GAAG,WAAW,GAAG,aAAa,GACpD,KAAK,GACL,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,GACtD,SAAS,GAAG,QAAQ,GAAG,aAAa,GAEpC,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,QAAQ,GAErE,YAAY,GAAG,YAAY,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,WAAW,GAAG,UAAU,GAC5F,gBAAgB,GAAG,gBAAgB,GAAG,cAAc,GAAG,aAAa,GAAG,cAAc,GAAG,eAAe,GAAG,cAAc,GAExH,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,cAAc,GAAG,SAAS,GAAG,WAAW,GAAG,WAAW,GAAG,YAAY,GAAG,eAAe,GAE3H,YAAY,GAAG,UAAU,GAAG,aAAa,GAAG,WAAW,GAAG,cAAc,GAAG,YAAY,GAAG,aAAa,GAAG,WAAW,GAErH,WAAW,GAAG,WAAW,GAAG,YAAY,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS,GAE5E,KAAK,GAAG,OAAO,GAAG,UAAU,GAAG,WAAW,CAAC;AAE/C,MAAM,MAAM,cAAc,GACtB,QAAQ,GAAG,WAAW,GACtB,aAAa,GAAG,qBAAqB,GACrC,UAAU,GAAG,kBAAkB,GAC/B,qBAAqB,GACrB,UAAU,GAAG,YAAY,GAAG,UAAU,GACtC,kBAAkB,GAAG,qBAAqB,GAC1C,sBAAsB,GAAG,oBAAoB,GAC7C,oBAAoB,GACpB,OAAO,GAAG,iBAAiB,GAC3B,IAAI,GACJ,KAAK,GACL,KAAK,GAAG,UAAU,GAAG,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,GAC/E,cAAc,GAAG,aAAa,GAAG,kBAAkB,GACnD,kBAAkB,GAElB,QAAQ,GAAG,QAAQ,GAEnB,YAAY,GAAG,YAAY,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,WAAW,GAAG,UAAU,GAC5F,iBAAiB,GAAG,iBAAiB,GAAG,eAAe,GAAG,cAAc,GAAG,eAAe,GAAG,gBAAgB,GAAG,eAAe,GAE/H,kBAAkB,GAAG,aAAa,GAAG,aAAa,GAAG,WAAW,GAAG,UAAU,GAAG,WAAW,GAAG,YAAY,GAAG,WAAW,GAExH,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,YAAY,GAAG,aAAa,GAAG,YAAY,CAAC;AAEvF,MAAM,MAAM,eAAe,GACvB,WAAW,GAAG,SAAS,GAAG,YAAY,GAAG,UAAU,GAAG,QAAQ,GAE9D,WAAW,CAAC;AAEhB,MAAM,MAAM,gBAAgB,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,SAAS,GAAG,SAAS,CAAC;AAE5E,MAAM,MAAM,QAAQ,GAAG,aAAa,GAAG,cAAc,GAAG,eAAe,GAAG,gBAAgB,CAAC;AAM3F,MAAM,MAAM,WAAW,GAAG,IAAI,MAAM,EAAE,CAAC;AAEvC,MAAM,MAAM,YAAY,GAAG;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,OAAO,EAAE,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,MAAM,MAAM,aAAa,GACrB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,GACT,GAAG,EAAE,CAAC;AAEV,MAAM,MAAM,OAAO,GACf,WAAW,GACX,YAAY,GACZ,aAAa,CAAC;AAMlB,MAAM,MAAM,cAAc,GAAG,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;AAEtD,MAAM,MAAM,eAAe,GAAG,CAAC,cAAc,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAEjE,MAAM,MAAM,gBAAgB,GAAG,CAAC,eAAe,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAE5E;;;;GAIG;AACH,MAAM,MAAM,2BAA2B,GACnC,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,GACnD,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;AAE3D,MAAM,MAAM,gBAAgB,GACxB,CAAC,KAAK,EAAE,SAAS,CAAC,GAClB,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,GAC7B,CAAC,KAAK,EAAE,GAAG,SAAS,EAAE,CAAC,GACvB,CAAC,IAAI,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;AAE3B;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GACtB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,GACvB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAE/B;;;;;;;;;;GAUG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAE/C,MAAM,MAAM,SAAS,GACjB,cAAc,GACd,eAAe,GACf,gBAAgB,GAChB,2BAA2B,GAC3B,gBAAgB,GAChB,cAAc,GACd,eAAe,CAAC;AAEpB;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,GAAG,SAAS,CAAC;AAMnC,MAAM,MAAM,YAAY,GAAG;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,GAAG,EAAE,YAAY,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,GAAG,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,EAAE,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,iBAAiB,CAAA;CAAE,CAAC;AAExD,MAAM,MAAM,iBAAiB,GAAG;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,OAAO,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAC;IACnD,QAAQ,CAAC,EAAE,eAAe,EAAE,CAAC;IAC7B,QAAQ,CAAC,EAAE,iBAAiB,EAAE,CAAC;CAChC,CAAC"}

package/dist/core/types/condition.js

@@ -0,0 +1,6 @@
+"use strict";
+/**
+ * Core condition and operand types - shared across all engines
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=condition.js.map

package/dist/core/types/condition.js.map

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

package/dist/core/types/fact.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Core fact types - shared across all engines
+ */
+export type FactInput = {
+    id?: string;
+    type: string;
+    data: Record<string, any>;
+};
+export type Fact = {
+    id: string;
+    type: string;
+    data: Record<string, any>;
+};
+export type FactChange = {
+    action: 'add' | 'remove' | 'update';
+    fact: Fact;
+    previous?: Fact;
+};
+/**
+ * Binding context maps parameter names to facts
+ */
+export type BindingContext = Record<string, Fact>;
+//# sourceMappingURL=fact.d.ts.map

package/dist/core/types/fact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fact.d.ts","sourceRoot":"","sources":["../../../src/core/types/fact.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,MAAM,SAAS,GAAG;IACtB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,MAAM,EAAE,KAAK,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACpC,IAAI,EAAE,IAAI,CAAC;IACX,QAAQ,CAAC,EAAE,IAAI,CAAC;CACjB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC"}

package/dist/core/types/fact.js

@@ -0,0 +1,6 @@
+"use strict";
+/**
+ * Core fact types - shared across all engines
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=fact.js.map

package/dist/core/types/fact.js.map

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

package/dist/core/types/index.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Core types - shared across all engines
+ */
+export { Fact, FactInput, FactChange, BindingContext } from './fact';
+export { JSONSchema, ShapeShorthand, Shape } from './schema';
+export { PropertyRef, FunctionExpr, UnitValue, ConstantValue, Operand, UnaryCondition, BinaryCondition, TernaryCondition, LogicalCondition, FuzzyCondition, ExpressionTuple, Condition, Expression, UnaryOperator, BinaryOperator, TernaryOperator, VariadicOperator, Operator, CompiledPath, CompiledOperand, CompiledCondition } from './condition';
+export { InputParameter, RuleSetMode, ValidityDuration, BaseRule, BaseRuleSet, CompiledInputParameter, CompiledBaseRule, CompiledBaseRuleSet } from './rule';
+//# sourceMappingURL=index.d.ts.map

package/dist/core/types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,IAAI,EACJ,SAAS,EACT,UAAU,EACV,cAAc,EACf,MAAM,QAAQ,CAAC;AAGhB,OAAO,EACL,UAAU,EACV,cAAc,EACd,KAAK,EACN,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,WAAW,EACX,YAAY,EACZ,SAAS,EACT,aAAa,EACb,OAAO,EACP,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,SAAS,EACT,UAAU,EACV,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,QAAQ,EACR,YAAY,EACZ,eAAe,EACf,iBAAiB,EAClB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,cAAc,EACd,WAAW,EACX,gBAAgB,EAChB,QAAQ,EACR,WAAW,EACX,sBAAsB,EACtB,gBAAgB,EAChB,mBAAmB,EACpB,MAAM,QAAQ,CAAC"}

package/dist/core/types/index.js

@@ -0,0 +1,6 @@
+"use strict";
+/**
+ * Core types - shared across all engines
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=index.js.map

package/dist/core/types/index.js.map

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

package/dist/core/types/rule.d.ts

@@ -0,0 +1,72 @@
+/**
+ * Core rule types - shared across all engines
+ *
+ * This defines the base rule structure that all engine-specific rules extend.
+ */
+import { Condition, CompiledCondition, CompiledPath } from './condition';
+import { JSONSchema, Shape } from './schema';
+export type InputParameter = {
+    name: string;
+    type: string;
+    shape?: Shape;
+    where?: Condition;
+    from?: string;
+};
+/**
+ * Relative duration for rule validity
+ * Used with validFor to specify "valid for X days/months from Y"
+ */
+export type ValidityDuration = {
+    days?: number;
+    months?: number;
+    from: string;
+};
+export type RuleSetMode = "forward" | "scoring" | "backward" | "sequential" | "fuzzy" | "bayesian" | "monte-carlo" | "state-machine" | "constraint" | "utility" | "defeasible" | "expert" | "pricing";
+export type BaseRule = {
+    id: string;
+    name?: string;
+    salience?: number;
+    inputs: InputParameter[];
+    when?: Condition;
+    validFrom?: string;
+    validUntil?: string;
+    validFor?: ValidityDuration;
+};
+export type BaseRuleSet = {
+    id: string;
+    name?: string;
+    mode: RuleSetMode;
+    shape?: Shape;
+    version?: string;
+    lastModified?: string;
+    createdAt?: string;
+};
+export type CompiledInputParameter = {
+    name: string;
+    type: string;
+    schema: JSONSchema;
+    where?: CompiledCondition;
+    from?: CompiledPath;
+};
+export type CompiledBaseRule = {
+    id: string;
+    name?: string;
+    salience: number;
+    complexity: number;
+    index: number;
+    inputs: CompiledInputParameter[];
+    when?: CompiledCondition;
+    validFrom?: string;
+    validUntil?: string;
+    validFor?: ValidityDuration;
+};
+export type CompiledBaseRuleSet = {
+    id: string;
+    name?: string;
+    mode: RuleSetMode;
+    schema: JSONSchema;
+    version?: string;
+    lastModified?: string;
+    createdAt?: string;
+};
+//# sourceMappingURL=rule.d.ts.map

package/dist/core/types/rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule.d.ts","sourceRoot":"","sources":["../../../src/core/types/rule.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAM7C,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAMF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAMF,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,YAAY,GAAG,OAAO,GAAG,UAAU,GAAG,aAAa,GAAG,eAAe,GAAG,YAAY,GAAG,SAAS,GAAG,YAAY,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEtM,MAAM,MAAM,QAAQ,GAAG;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,IAAI,CAAC,EAAE,SAAS,CAAC;IAGjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,CAAC,EAAE,KAAK,CAAC;IAGd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAMF,MAAM,MAAM,sBAAsB,GAAG;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,UAAU,CAAC;IACnB,KAAK,CAAC,EAAE,iBAAiB,CAAC;IAC1B,IAAI,CAAC,EAAE,YAAY,CAAC;CACrB,CAAC;AAMF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,sBAAsB,EAAE,CAAC;IACjC,IAAI,CAAC,EAAE,iBAAiB,CAAC;IAGzB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE,UAAU,CAAC;IAGnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC"}

package/dist/core/types/rule.js

@@ -0,0 +1,8 @@
+"use strict";
+/**
+ * Core rule types - shared across all engines
+ *
+ * This defines the base rule structure that all engine-specific rules extend.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=rule.js.map

package/dist/core/types/rule.js.map

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

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

@@ -0,0 +1,16 @@
+/**
+ * Core schema types - shared across all engines
+ */
+export type JSONSchema = {
+    type: "string" | "number" | "boolean" | "object" | "array" | "date";
+    properties?: Record<string, JSONSchema>;
+    items?: JSONSchema;
+    minimum?: number;
+    maximum?: number;
+    "x-unit"?: string;
+};
+export type ShapeShorthand = string | {
+    [key: string]: ShapeShorthand;
+};
+export type Shape = ShapeShorthand | JSONSchema;
+//# sourceMappingURL=schema.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/core/types/schema.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,OAAO,GAAG,MAAM,CAAC;IACpE,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACxC,KAAK,CAAC,EAAE,UAAU,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,cAAc,GACtB,MAAM,GACN;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,cAAc,CAAA;CAAE,CAAC;AAEtC,MAAM,MAAM,KAAK,GAAG,cAAc,GAAG,UAAU,CAAC"}

package/dist/core/types/schema.js

@@ -0,0 +1,6 @@
+"use strict";
+/**
+ * Core schema types - shared across all engines
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=schema.js.map

package/dist/core/types/schema.js.map

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

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

@@ -0,0 +1,7 @@
+/**
+ * Backward Chaining Engine Compiler
+ */
+import { BackwardRule, BackwardRuleSet, CompiledBackwardRule, CompiledBackwardRuleSet } from './types';
+export declare function compileBackwardRule(rule: BackwardRule, index?: number): CompiledBackwardRule;
+export declare function compileBackwardRuleSet(ruleSet: BackwardRuleSet): CompiledBackwardRuleSet;
+//# sourceMappingURL=compiler.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../../src/engines/backward/compiler.ts"],"names":[],"mappings":"AAAA;;GAEG;AAOH,OAAO,EACL,YAAY,EACZ,eAAe,EAEf,oBAAoB,EACpB,uBAAuB,EAExB,MAAM,SAAS,CAAC;AA6DjB,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,GAAE,MAAU,GAAG,oBAAoB,CAoB/F;AAMD,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,eAAe,GAAG,uBAAuB,CAcxF"}

package/dist/engines/backward/compiler.js

@@ -0,0 +1,94 @@
+"use strict";
+/**
+ * Backward Chaining Engine Compiler
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileBackwardRule = compileBackwardRule;
+exports.compileBackwardRuleSet = compileBackwardRuleSet;
+const core_1 = require("../../core");
+const DEFAULT_MAX_DEPTH = 100;
+// ========================================
+// 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;
+}
+// ========================================
+// Rule Compilation
+// ========================================
+function compileBackwardRule(rule, index = 0) {
+    const inputs = rule.inputs.map(compileInputParameter);
+    const when = rule.when ? (0, core_1.compileCondition)(rule.when) : undefined;
+    const action = {
+        mode: 'backward',
+        prove: rule.prove,
+        requires: rule.requires ?? []
+    };
+    return {
+        id: rule.id,
+        name: rule.name,
+        salience: rule.salience ?? 0,
+        complexity: calculateComplexity(inputs, when),
+        index,
+        inputs,
+        when,
+        action
+    };
+}
+// ========================================
+// RuleSet Compilation
+// ========================================
+function compileBackwardRuleSet(ruleSet) {
+    const config = {
+        mode: 'backward',
+        maxDepth: ruleSet.config?.maxDepth ?? DEFAULT_MAX_DEPTH
+    };
+    return {
+        id: ruleSet.id,
+        name: ruleSet.name,
+        mode: 'backward',
+        schema: ruleSet.shape ? (0, core_1.normalizeShape)(ruleSet.shape) : { type: 'object' },
+        rules: ruleSet.rules.map((rule, index) => compileBackwardRule(rule, index)),
+        config
+    };
+}
+//# sourceMappingURL=compiler.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../../../src/engines/backward/compiler.ts"],"names":[],"mappings":";AAAA;;GAEG;;AA2EH,kDAoBC;AAMD,wDAcC;AAjHD,qCAGoB;AAWpB,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAE9B,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,KAAW;IACrD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE,CAAC;IAC5B,KAAK,IAAI,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpC,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,mBAAmB;AACnB,2CAA2C;AAE3C,SAAgB,mBAAmB,CAAC,IAAkB,EAAE,QAAgB,CAAC;IACvE,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,MAAM,MAAM,GAA2B;QACrC,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;KAC9B,CAAC;IAEF,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,MAAM;KACP,CAAC;AACJ,CAAC;AAED,2CAA2C;AAC3C,sBAAsB;AACtB,2CAA2C;AAE3C,SAAgB,sBAAsB,CAAC,OAAwB;IAC7D,MAAM,MAAM,GAAmB;QAC7B,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,IAAI,iBAAiB;KACxD,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,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3E,MAAM;KACP,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,54 @@
+/**
+ * Backward Chaining Engine
+ *
+ * Self-contained engine for backward chaining (goal-driven) rule execution.
+ * Implements IRuleEngine with strongly-typed ruleset, options, and result.
+ */
+import { IRuleEngine, WorkingMemory, Fact, FactInput, FactChange } from '../../core';
+import { CompiledBackwardRuleSet, BackwardOptions, BackwardResult } from './types';
+/**
+ * Backward chaining rule engine.
+ *
+ * Executes rules in a goal-driven manner, starting with a goal to prove
+ * and working backward to find rules and facts that support it.
+ *
+ * @example
+ * ```typescript
+ * const engine = new BackwardEngine();
+ * engine.add({ type: 'Customer', data: { tier: 'platinum', spend: 15000 } });
+ *
+ * const result = engine.execute(compiledRules, {
+ *   goal: 'eligible-for-premium-discount'
+ * });
+ *
+ * if (result.proven) {
+ *   console.log('Customer is eligible!');
+ * }
+ * ```
+ */
+export declare class BackwardEngine implements IRuleEngine<CompiledBackwardRuleSet, BackwardOptions, BackwardResult> {
+    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 backward chaining ruleset to prove a goal.
+     *
+     * @param ruleSet - Compiled backward ruleset
+     * @param options - Runtime options including the goal to prove
+     * @returns Result indicating if goal was proven and the proof path
+     */
+    execute(ruleSet: CompiledBackwardRuleSet, options: BackwardOptions): BackwardResult;
+    getWorkingMemory(): WorkingMemory;
+}
+//# sourceMappingURL=engine.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../../src/engines/backward/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;;;;;;;;;;;;;;;;;;;GAmBG;AACH,qBAAa,cAAe,YAAW,WAAW,CAAC,uBAAuB,EAAE,eAAe,EAAE,cAAc,CAAC;IAC1G,OAAO,CAAC,EAAE,CAAgB;IAC1B,OAAO,CAAC,QAAQ,CAA2B;gBAE/B,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;;;;;;OAMG;IACH,OAAO,CAAC,OAAO,EAAE,uBAAuB,EAAE,OAAO,EAAE,eAAe,GAAG,cAAc;IAQnF,gBAAgB,IAAI,aAAa;CAGlC"}

package/dist/engines/backward/engine.js

@@ -0,0 +1,96 @@
+"use strict";
+/**
+ * Backward Chaining Engine
+ *
+ * Self-contained engine for backward chaining (goal-driven) rule execution.
+ * Implements IRuleEngine with strongly-typed ruleset, options, and result.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BackwardEngine = void 0;
+const core_1 = require("../../core");
+const strategy_1 = require("./strategy");
+/**
+ * Backward chaining rule engine.
+ *
+ * Executes rules in a goal-driven manner, starting with a goal to prove
+ * and working backward to find rules and facts that support it.
+ *
+ * @example
+ * ```typescript
+ * const engine = new BackwardEngine();
+ * engine.add({ type: 'Customer', data: { tier: 'platinum', spend: 15000 } });
+ *
+ * const result = engine.execute(compiledRules, {
+ *   goal: 'eligible-for-premium-discount'
+ * });
+ *
+ * if (result.proven) {
+ *   console.log('Customer is eligible!');
+ * }
+ * ```
+ */
+class BackwardEngine {
+    wm;
+    strategy;
+    constructor(workingMemory) {
+        this.wm = workingMemory ?? new core_1.WorkingMemory();
+        this.strategy = new strategy_1.BackwardChainingStrategy();
+    }
+    // ========================================
+    // 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 backward chaining ruleset to prove a goal.
+     *
+     * @param ruleSet - Compiled backward ruleset
+     * @param options - Runtime options including the goal to prove
+     * @returns Result indicating if goal was proven and the proof path
+     */
+    execute(ruleSet, options) {
+        return this.strategy.run(ruleSet, this.wm, options);
+    }
+    // ========================================
+    // Utility Methods
+    // ========================================
+    getWorkingMemory() {
+        return this.wm;
+    }
+}
+exports.BackwardEngine = BackwardEngine;
+//# sourceMappingURL=engine.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../../src/engines/backward/engine.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,qCAMoB;AAQpB,yCAAsD;AAEtD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAa,cAAc;IACjB,EAAE,CAAgB;IAClB,QAAQ,CAA2B;IAE3C,YAAY,aAA6B;QACvC,IAAI,CAAC,EAAE,GAAG,aAAa,IAAI,IAAI,oBAAa,EAAE,CAAC;QAC/C,IAAI,CAAC,QAAQ,GAAG,IAAI,mCAAwB,EAAE,CAAC;IACjD,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;;;;;;OAMG;IACH,OAAO,CAAC,OAAgC,EAAE,OAAwB;QAChE,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;AA/ED,wCA+EC"}

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

@@ -0,0 +1,12 @@
+/**
+ * Backward Chaining Engine
+ *
+ * Provides backward chaining (goal-driven) rule execution.
+ * Given a goal to prove, finds rules that can prove it and
+ * checks if their conditions are satisfied by facts in working memory.
+ */
+export { BackwardRule, BackwardRuleSet, BackwardConfig, CompiledBackwardAction, CompiledBackwardRule, CompiledBackwardRuleSet, ProofStep, ProofResult, BackwardOptions, BackwardResult } from './types';
+export { compileBackwardRule, compileBackwardRuleSet } from './compiler';
+export { BackwardChainingStrategy, backwardStrategy } from './strategy';
+export { BackwardEngine } from './engine';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/engines/backward/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAEL,YAAY,EACZ,eAAe,EACf,cAAc,EAEd,sBAAsB,EACtB,oBAAoB,EACpB,uBAAuB,EAEvB,SAAS,EACT,WAAW,EACX,eAAe,EACf,cAAc,EACf,MAAM,SAAS,CAAC;AAGjB,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACvB,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,wBAAwB,EACxB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC"}

package/dist/engines/backward/index.js

@@ -0,0 +1,22 @@
+"use strict";
+/**
+ * Backward Chaining Engine
+ *
+ * Provides backward chaining (goal-driven) rule execution.
+ * Given a goal to prove, finds rules that can prove it and
+ * checks if their conditions are satisfied by facts in working memory.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BackwardEngine = exports.backwardStrategy = exports.BackwardChainingStrategy = exports.compileBackwardRuleSet = exports.compileBackwardRule = void 0;
+// Compiler
+var compiler_1 = require("./compiler");
+Object.defineProperty(exports, "compileBackwardRule", { enumerable: true, get: function () { return compiler_1.compileBackwardRule; } });
+Object.defineProperty(exports, "compileBackwardRuleSet", { enumerable: true, get: function () { return compiler_1.compileBackwardRuleSet; } });
+// Strategy
+var strategy_1 = require("./strategy");
+Object.defineProperty(exports, "BackwardChainingStrategy", { enumerable: true, get: function () { return strategy_1.BackwardChainingStrategy; } });
+Object.defineProperty(exports, "backwardStrategy", { enumerable: true, get: function () { return strategy_1.backwardStrategy; } });
+// Engine
+var engine_1 = require("./engine");
+Object.defineProperty(exports, "BackwardEngine", { enumerable: true, get: function () { return engine_1.BackwardEngine; } });
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/engines/backward/index.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;AAmBH,WAAW;AACX,uCAGoB;AAFlB,+GAAA,mBAAmB,OAAA;AACnB,kHAAA,sBAAsB,OAAA;AAGxB,WAAW;AACX,uCAGoB;AAFlB,oHAAA,wBAAwB,OAAA;AACxB,4GAAA,gBAAgB,OAAA;AAGlB,SAAS;AACT,mCAA0C;AAAjC,wGAAA,cAAc,OAAA"}