@higher.archi/boe 1.0.0

package/dist/core/parser/tokenizer/scanner.js

@@ -0,0 +1,137 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createScanner = createScanner;
+exports.peek = peek;
+exports.peekAhead = peekAhead;
+exports.advance = advance;
+exports.advanceBy = advanceBy;
+exports.isAtEnd = isAtEnd;
+exports.currentChar = currentChar;
+exports.remainingInput = remainingInput;
+exports.isWhitespace = isWhitespace;
+exports.isDigit = isDigit;
+exports.isAlpha = isAlpha;
+exports.isAlphaNumeric = isAlphaNumeric;
+exports.isIdentifierStart = isIdentifierStart;
+exports.isIdentifierPart = isIdentifierPart;
+/**
+ * Low-level character scanning utilities.
+ *
+ * These functions provide the basic operations for moving through
+ * the input string. All functions are pure - they don't mutate
+ * state but instead return new values.
+ *
+ * Usage pattern:
+ *   let state = createScanner("$age > 18");
+ *   while (!isAtEnd(state)) {
+ *     const char = peek(state);
+ *     // process char...
+ *     state = advance(state);
+ *   }
+ */
+/**
+ * Creates a new scanner state starting at position 0.
+ */
+function createScanner(input) {
+    return {
+        input,
+        position: 0
+    };
+}
+/**
+ * Returns the character at the current position without advancing.
+ * Returns empty string if at end of input.
+ */
+function peek(state) {
+    if (isAtEnd(state)) {
+        return '';
+    }
+    return state.input[state.position];
+}
+/**
+ * Returns the character n positions ahead of current position.
+ * Returns empty string if that position is past end of input.
+ *
+ * Useful for lookahead when deciding between tokens like '>' vs '>='.
+ */
+function peekAhead(state, n) {
+    const position = state.position + n;
+    if (position >= state.input.length) {
+        return '';
+    }
+    return state.input[position];
+}
+/**
+ * Returns a new state with position advanced by 1.
+ * Does not advance past the end of input.
+ */
+function advance(state) {
+    if (isAtEnd(state)) {
+        return state;
+    }
+    return {
+        ...state,
+        position: state.position + 1
+    };
+}
+/**
+ * Returns a new state with position advanced by n characters.
+ * Will not advance past the end of input.
+ */
+function advanceBy(state, n) {
+    const newPosition = Math.min(state.position + n, state.input.length);
+    return {
+        ...state,
+        position: newPosition
+    };
+}
+/**
+ * Checks if we've reached the end of the input.
+ */
+function isAtEnd(state) {
+    return state.position >= state.input.length;
+}
+/**
+ * Returns the current character (same as peek, but more descriptive name).
+ */
+function currentChar(state) {
+    return peek(state);
+}
+/**
+ * Returns the remaining unprocessed input from current position.
+ * Useful for debugging and lookahead matching.
+ */
+function remainingInput(state) {
+    return state.input.slice(state.position);
+}
+/**
+ * Helper predicates for character classification.
+ * Used by the individual readers to identify token boundaries.
+ */
+function isWhitespace(char) {
+    return char === ' ' || char === '\t' || char === '\n' || char === '\r';
+}
+function isDigit(char) {
+    return char >= '0' && char <= '9';
+}
+function isAlpha(char) {
+    return (char >= 'a' && char <= 'z') || (char >= 'A' && char <= 'Z');
+}
+function isAlphaNumeric(char) {
+    return isAlpha(char) || isDigit(char);
+}
+/**
+ * Checks if a character can start an identifier.
+ * Identifiers start with a letter or underscore.
+ */
+function isIdentifierStart(char) {
+    return isAlpha(char) || char === '_';
+}
+/**
+ * Checks if a character can continue an identifier.
+ * Identifiers can contain letters, digits, and underscores.
+ */
+function isIdentifierPart(char) {
+    return isAlphaNumeric(char) || char === '_';
+}
+//# sourceMappingURL=scanner.js.map

package/dist/core/parser/tokenizer/scanner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scanner.js","sourceRoot":"","sources":["../../../../src/core/parser/tokenizer/scanner.ts"],"names":[],"mappings":";;AAqBA,sCAKC;AAMD,oBAKC;AAQD,8BAMC;AAMD,0BAQC;AAMD,8BAMC;AAKD,0BAEC;AAKD,kCAEC;AAMD,wCAEC;AAOD,oCAEC;AAED,0BAEC;AAED,0BAEC;AAED,wCAEC;AAMD,8CAEC;AAMD,4CAEC;AAtID;;;;;;;;;;;;;;GAcG;AAEH;;GAEG;AACH,SAAgB,aAAa,CAAC,KAAa;IACzC,OAAO;QACL,KAAK;QACL,QAAQ,EAAE,CAAC;KACZ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,IAAI,CAAC,KAAmB;IACtC,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AACrC,CAAC;AAED;;;;;GAKG;AACH,SAAgB,SAAS,CAAC,KAAmB,EAAE,CAAS;IACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;IACpC,IAAI,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACnC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AAC/B,CAAC;AAED;;;GAGG;AACH,SAAgB,OAAO,CAAC,KAAmB;IACzC,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO;QACL,GAAG,KAAK;QACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,GAAG,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,SAAS,CAAC,KAAmB,EAAE,CAAS;IACtD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrE,OAAO;QACL,GAAG,KAAK;QACR,QAAQ,EAAE,WAAW;KACtB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,OAAO,CAAC,KAAmB;IACzC,OAAO,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;AAC9C,CAAC;AAED;;GAEG;AACH,SAAgB,WAAW,CAAC,KAAmB;IAC7C,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;AACrB,CAAC;AAED;;;GAGG;AACH,SAAgB,cAAc,CAAC,KAAmB;IAChD,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AAC3C,CAAC;AAED;;;GAGG;AAEH,SAAgB,YAAY,CAAC,IAAY;IACvC,OAAO,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC;AACzE,CAAC;AAED,SAAgB,OAAO,CAAC,IAAY;IAClC,OAAO,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC;AACpC,CAAC;AAED,SAAgB,OAAO,CAAC,IAAY;IAClC,OAAO,CAAC,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC;AACtE,CAAC;AAED,SAAgB,cAAc,CAAC,IAAY;IACzC,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;AACxC,CAAC;AAED;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,IAAY;IAC5C,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,GAAG,CAAC;AACvC,CAAC;AAED;;;GAGG;AACH,SAAgB,gBAAgB,CAAC,IAAY;IAC3C,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,GAAG,CAAC;AAC9C,CAAC"}

package/dist/core/parser/tokenizer/types.d.ts

@@ -0,0 +1,55 @@
+import type { Token } from '../types';
+/**
+ * Represents the current state of the scanner as it moves through input.
+ *
+ * Design Decision: Immutable State
+ * --------------------------------
+ * We use immutable state rather than mutating a scanner object.
+ * Each operation returns a new state instead of modifying the current one.
+ *
+ * Benefits:
+ * - Easier to test: Each function is pure and predictable
+ * - Easier to debug: Can inspect state at any point
+ * - Backtracking is simple: Just use an earlier state
+ * - No hidden side effects between reader calls
+ */
+export interface ScannerState {
+    /** The complete input string being tokenized */
+    readonly input: string;
+    /** Current position in the input (0-indexed) */
+    readonly position: number;
+}
+/**
+ * Result returned by a token reader when it successfully matches input.
+ *
+ * Each reader is a pure function that:
+ * 1. Takes the current scanner state
+ * 2. Returns null if it doesn't match at this position
+ * 3. Returns { token, newState } if it does match
+ *
+ * The newState has the position advanced past the consumed characters.
+ */
+export interface ReaderResult {
+    /** The token that was read */
+    token: Token;
+    /** Scanner state with position advanced past the token */
+    newState: ScannerState;
+}
+/**
+ * Type signature for a token reader function.
+ *
+ * Readers are tried in a specific order (see tokenizer/index.ts).
+ * The first reader to return a non-null result "wins" and its
+ * token is added to the output stream.
+ */
+export type TokenReader = (state: ScannerState) => ReaderResult | null;
+/**
+ * Type signature for readers that need access to the operator table.
+ *
+ * The identifier reader needs this to determine if a word is:
+ * - A known operator (and, or, contains, etc.)
+ * - A function name (when followed by parentheses)
+ * - An unknown identifier (error)
+ */
+export type TokenReaderWithContext<T> = (state: ScannerState, context: T) => ReaderResult | null;
+//# sourceMappingURL=types.d.ts.map

package/dist/core/parser/tokenizer/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/core/parser/tokenizer/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEtC;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,YAAY;IAC3B,gDAAgD;IAChD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAEvB,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,YAAY;IAC3B,8BAA8B;IAC9B,KAAK,EAAE,KAAK,CAAC;IAEb,0DAA0D;IAC1D,QAAQ,EAAE,YAAY,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,KAAK,EAAE,YAAY,KAAK,YAAY,GAAG,IAAI,CAAC;AAEvE;;;;;;;GAOG;AACH,MAAM,MAAM,sBAAsB,CAAC,CAAC,IAAI,CACtC,KAAK,EAAE,YAAY,EACnB,OAAO,EAAE,CAAC,KACP,YAAY,GAAG,IAAI,CAAC"}

package/dist/core/parser/tokenizer/types.js

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

package/dist/core/parser/tokenizer/types.js.map

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

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

@@ -0,0 +1,83 @@
+/**
+ * Token types produced by the tokenizer.
+ * Each token represents a meaningful unit in the expression.
+ *
+ * The tokenizer converts a string like "$age > 18 and $active"
+ * into a stream of tokens that the parser can process.
+ */
+export type TokenType = 'PROPERTY_REF' | 'NUMBER' | 'STRING' | 'BOOLEAN' | 'NULL' | 'OPERATOR' | 'FUNCTION' | 'LPAREN' | 'RPAREN' | 'COMMA' | 'EOF';
+/**
+ * Represents a single token in the expression.
+ *
+ * The `canonical` field is used for operators to store the
+ * normalized operator name (e.g., '>' becomes 'greaterThan').
+ * This allows the parser to work with consistent operator names
+ * regardless of which alias was used in the input.
+ */
+export interface Token {
+    /** The type of token */
+    type: TokenType;
+    /** The raw value as it appeared in the input */
+    value: string;
+    /**
+     * For operators: the canonical operator name.
+     * e.g., '>' → 'greaterThan', 'gt' → 'greaterThan'
+     * This ensures consistent handling regardless of alias used.
+     */
+    canonical?: string;
+    /**
+     * Character position in the input string where this token starts.
+     * Used for error reporting to show the user where a problem occurred.
+     */
+    position: number;
+}
+/**
+ * Information about an operator for parsing purposes.
+ *
+ * This is used by the Pratt parser to determine how to
+ * handle operators with different precedences and associativities.
+ */
+export interface OperatorInfo {
+    /** The canonical operator name (e.g., 'greaterThan', not '>' or 'gt') */
+    canonical: string;
+    /**
+     * Operator precedence (1-8 scale, higher binds tighter).
+     *
+     * Precedence levels:
+     * 1 - or, ||
+     * 2 - and, &&
+     * 3 - not, ! (unary prefix)
+     * 4 - comparison: >, >=, <, <=, ==, !=, contains, etc.
+     * 5 - addition: +, -
+     * 6 - multiplication: *, /, %
+     * 7 - unary minus (negation)
+     * 8 - function calls, literals, parentheses
+     */
+    precedence: number;
+    /**
+     * Determines how operators of the same precedence group.
+     * - 'left': a op b op c = (a op b) op c (most common)
+     * - 'right': a op b op c = a op (b op c) (e.g., assignment)
+     * - 'none': cannot chain without parentheses
+     */
+    associativity: 'left' | 'right' | 'none';
+    /**
+     * The arity of the operator.
+     * - 'unary': single operand (not, !)
+     * - 'binary': two operands (most operators)
+     * - 'ternary': three operands (between...and)
+     * - 'variadic': variable number of operands (and, or)
+     */
+    arity: 'unary' | 'binary' | 'ternary' | 'variadic';
+}
+/**
+ * Lookup table mapping operator aliases to their info.
+ * The key can be any alias (symbol, word, or full name).
+ *
+ * Example entries:
+ *   '>' → { canonical: 'greaterThan', precedence: 4, ... }
+ *   'gt' → { canonical: 'greaterThan', precedence: 4, ... }
+ *   'greaterThan' → { canonical: 'greaterThan', precedence: 4, ... }
+ */
+export type OperatorTable = Map<string, OperatorInfo>;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/parser/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GACjB,cAAc,GACd,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,MAAM,GACN,UAAU,GACV,UAAU,GACV,QAAQ,GACR,QAAQ,GACR,OAAO,GACP,KAAK,CAAC;AAEV;;;;;;;GAOG;AACH,MAAM,WAAW,KAAK;IACpB,wBAAwB;IACxB,IAAI,EAAE,SAAS,CAAC;IAEhB,gDAAgD;IAChD,KAAK,EAAE,MAAM,CAAC;IAEd;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,yEAAyE;IACzE,SAAS,EAAE,MAAM,CAAC;IAElB;;;;;;;;;;;;OAYG;IACH,UAAU,EAAE,MAAM,CAAC;IAEnB;;;;;OAKG;IACH,aAAa,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC;IAEzC;;;;;;OAMG;IACH,KAAK,EAAE,OAAO,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAC;CACpD;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC"}

package/dist/core/parser/types.js

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

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

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

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

@@ -0,0 +1,5 @@
+/**
+ * Core refraction module - shared across engines
+ */
+export { Refraction } from './refraction';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/refraction/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC"}

package/dist/core/refraction/index.js

@@ -0,0 +1,9 @@
+"use strict";
+/**
+ * Core refraction module - shared across engines
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Refraction = void 0;
+var refraction_1 = require("./refraction");
+Object.defineProperty(exports, "Refraction", { enumerable: true, get: function () { return refraction_1.Refraction; } });
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/refraction/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,2CAA0C;AAAjC,wGAAA,UAAU,OAAA"}

package/dist/core/refraction/refraction.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Core refraction (rule firing tracking) - shared across engines
+ *
+ * Refraction prevents the same rule from firing multiple times
+ * with the same set of facts.
+ */
+import { Activation } from '../matching';
+import { CompiledBaseRule } from '../types';
+export declare class Refraction {
+    private fired;
+    private getKey;
+    hasFired<TRule extends CompiledBaseRule>(activation: Activation<TRule>): boolean;
+    markFired<TRule extends CompiledBaseRule>(activation: Activation<TRule>): void;
+    retract<TRule extends CompiledBaseRule>(activation: Activation<TRule>): void;
+    retractByFactId(factId: string): void;
+    /**
+     * Retract all refraction entries for a fact, except for a specific rule.
+     * This prevents infinite loops when a rule modifies a fact it matched on.
+     * The rule that made the modification should remain in refraction (won't re-fire),
+     * but other rules should be allowed to re-evaluate the modified fact.
+     */
+    retractByFactIdExcludingRule(factId: string, excludeRuleId: string): void;
+    retractByRuleId(ruleId: string): void;
+    filter<TRule extends CompiledBaseRule>(activations: Activation<TRule>[]): Activation<TRule>[];
+    clear(): void;
+    size(): number;
+}
+//# sourceMappingURL=refraction.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"refraction.d.ts","sourceRoot":"","sources":["../../../src/core/refraction/refraction.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAE5C,qBAAa,UAAU;IACrB,OAAO,CAAC,KAAK,CAA0B;IAEvC,OAAO,CAAC,MAAM;IAId,QAAQ,CAAC,KAAK,SAAS,gBAAgB,EAAE,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,OAAO;IAIhF,SAAS,CAAC,KAAK,SAAS,gBAAgB,EAAE,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,IAAI;IAI9E,OAAO,CAAC,KAAK,SAAS,gBAAgB,EAAE,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,IAAI;IAI5E,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAQrC;;;;;OAKG;IACH,4BAA4B,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,IAAI;IAQzE,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAQrC,MAAM,CAAC,KAAK,SAAS,gBAAgB,EAAE,WAAW,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,EAAE;IAI7F,KAAK,IAAI,IAAI;IAIb,IAAI,IAAI,MAAM;CAGf"}

package/dist/core/refraction/refraction.js

@@ -0,0 +1,62 @@
+"use strict";
+/**
+ * Core refraction (rule firing tracking) - shared across engines
+ *
+ * Refraction prevents the same rule from firing multiple times
+ * with the same set of facts.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Refraction = void 0;
+class Refraction {
+    fired = new Set();
+    getKey(activation) {
+        return `${activation.rule.id}:${activation.factIds.join(',')}`;
+    }
+    hasFired(activation) {
+        return this.fired.has(this.getKey(activation));
+    }
+    markFired(activation) {
+        this.fired.add(this.getKey(activation));
+    }
+    retract(activation) {
+        this.fired.delete(this.getKey(activation));
+    }
+    retractByFactId(factId) {
+        for (const key of this.fired) {
+            if (key.includes(factId)) {
+                this.fired.delete(key);
+            }
+        }
+    }
+    /**
+     * Retract all refraction entries for a fact, except for a specific rule.
+     * This prevents infinite loops when a rule modifies a fact it matched on.
+     * The rule that made the modification should remain in refraction (won't re-fire),
+     * but other rules should be allowed to re-evaluate the modified fact.
+     */
+    retractByFactIdExcludingRule(factId, excludeRuleId) {
+        for (const key of this.fired) {
+            if (key.includes(factId) && !key.startsWith(`${excludeRuleId}:`)) {
+                this.fired.delete(key);
+            }
+        }
+    }
+    retractByRuleId(ruleId) {
+        for (const key of this.fired) {
+            if (key.startsWith(`${ruleId}:`)) {
+                this.fired.delete(key);
+            }
+        }
+    }
+    filter(activations) {
+        return activations.filter(a => !this.hasFired(a));
+    }
+    clear() {
+        this.fired.clear();
+    }
+    size() {
+        return this.fired.size;
+    }
+}
+exports.Refraction = Refraction;
+//# sourceMappingURL=refraction.js.map

package/dist/core/refraction/refraction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"refraction.js","sourceRoot":"","sources":["../../../src/core/refraction/refraction.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAKH,MAAa,UAAU;IACb,KAAK,GAAgB,IAAI,GAAG,EAAE,CAAC;IAE/B,MAAM,CAAiC,UAA6B;QAC1E,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACjE,CAAC;IAED,QAAQ,CAAiC,UAA6B;QACpE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACjD,CAAC;IAED,SAAS,CAAiC,UAA6B;QACrE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,CAAiC,UAA6B;QACnE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,eAAe,CAAC,MAAc;QAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,4BAA4B,CAAC,MAAc,EAAE,aAAqB;QAChE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,aAAa,GAAG,CAAC,EAAE,CAAC;gBACjE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED,eAAe,CAAC,MAAc;QAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,CAAiC,WAAgC;QACrE,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,KAAK;QACH,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;IACrB,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACzB,CAAC;CACF;AA5DD,gCA4DC"}

package/dist/core/resolution/conflict-resolver.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Core conflict resolution - shared across engines that need ordering
+ */
+import { Activation } from '../matching';
+import { CompiledBaseRule } from '../types';
+export type ConflictStrategy = 'salience' | 'specificity' | 'complexity' | 'simplicity' | 'fifo' | 'lifo' | 'random' | 'ruleOrder';
+export declare const DEFAULT_STRATEGIES: ConflictStrategy[];
+export type ResolveOptions = {
+    strategies?: ConflictStrategy | ConflictStrategy[];
+};
+export declare function resolveConflicts<TRule extends CompiledBaseRule>(activations: Activation<TRule>[], options?: ResolveOptions): Activation<TRule>[];
+//# sourceMappingURL=conflict-resolver.d.ts.map

package/dist/core/resolution/conflict-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflict-resolver.d.ts","sourceRoot":"","sources":["../../../src/core/resolution/conflict-resolver.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAE5C,MAAM,MAAM,gBAAgB,GACxB,UAAU,GACV,aAAa,GACb,YAAY,GACZ,YAAY,GACZ,MAAM,GACN,MAAM,GACN,QAAQ,GACR,WAAW,CAAC;AAEhB,eAAO,MAAM,kBAAkB,EAAE,gBAAgB,EAKhD,CAAC;AA2CF,MAAM,MAAM,cAAc,GAAG;IAC3B,UAAU,CAAC,EAAE,gBAAgB,GAAG,gBAAgB,EAAE,CAAC;CACpD,CAAC;AAEF,wBAAgB,gBAAgB,CAAC,KAAK,SAAS,gBAAgB,EAC7D,WAAW,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,EAChC,OAAO,GAAE,cAAmB,GAC3B,UAAU,CAAC,KAAK,CAAC,EAAE,CAcrB"}

package/dist/core/resolution/conflict-resolver.js

@@ -0,0 +1,57 @@
+"use strict";
+/**
+ * Core conflict resolution - shared across engines that need ordering
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DEFAULT_STRATEGIES = void 0;
+exports.resolveConflicts = resolveConflicts;
+exports.DEFAULT_STRATEGIES = [
+    'salience',
+    'complexity',
+    'ruleOrder',
+    'fifo'
+];
+function normalize(value) {
+    if (value < 0)
+        return -1;
+    if (value > 0)
+        return 1;
+    return 0;
+}
+function compareByStrategy(a, b, strategy) {
+    switch (strategy) {
+        case 'salience':
+            return normalize(b.rule.salience - a.rule.salience);
+        case 'specificity':
+            return normalize(b.rule.inputs.length - a.rule.inputs.length);
+        case 'complexity':
+            return normalize(b.rule.complexity - a.rule.complexity);
+        case 'simplicity':
+            return normalize(a.rule.complexity - b.rule.complexity);
+        case 'fifo':
+            return normalize(a.matchedAt - b.matchedAt);
+        case 'lifo':
+            return normalize(b.matchedAt - a.matchedAt);
+        case 'random':
+            return normalize(Math.random() - 0.5);
+        case 'ruleOrder':
+            return normalize(a.rule.index - b.rule.index);
+        default:
+            return 0;
+    }
+}
+function resolveConflicts(activations, options = {}) {
+    if (activations.length <= 1)
+        return activations;
+    const { strategies = exports.DEFAULT_STRATEGIES } = options;
+    const strategyList = Array.isArray(strategies) ? strategies : [strategies];
+    return [...activations].sort((a, b) => {
+        for (const strategy of strategyList) {
+            const result = compareByStrategy(a, b, strategy);
+            if (result !== 0)
+                return result;
+        }
+        return 0;
+    });
+}
+//# sourceMappingURL=conflict-resolver.js.map

package/dist/core/resolution/conflict-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflict-resolver.js","sourceRoot":"","sources":["../../../src/core/resolution/conflict-resolver.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAmEH,4CAiBC;AArEY,QAAA,kBAAkB,GAAuB;IACpD,UAAU;IACV,YAAY;IACZ,WAAW;IACX,MAAM;CACP,CAAC;AAEF,SAAS,SAAS,CAAC,KAAa;IAC9B,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC;IACzB,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACxB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,iBAAiB,CACxB,CAAoB,EACpB,CAAoB,EACpB,QAA0B;IAE1B,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,UAAU;YACb,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEtD,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAEhE,KAAK,YAAY;YACf,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE1D,KAAK,YAAY;YACf,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE1D,KAAK,MAAM;YACT,OAAO,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAE9C,KAAK,MAAM;YACT,OAAO,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAE9C,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC;QAExC,KAAK,WAAW;YACd,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEhD;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAMD,SAAgB,gBAAgB,CAC9B,WAAgC,EAChC,UAA0B,EAAE;IAE5B,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC;IAEhD,MAAM,EAAE,UAAU,GAAG,0BAAkB,EAAE,GAAG,OAAO,CAAC;IAEpD,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAE3E,OAAO,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpC,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YACjD,IAAI,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC;QAClC,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,5 @@
+/**
+ * Core resolution module - shared across engines
+ */
+export { ConflictStrategy, DEFAULT_STRATEGIES, ResolveOptions, resolveConflicts } from './conflict-resolver';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/resolution/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,gBAAgB,EAChB,kBAAkB,EAClB,cAAc,EACd,gBAAgB,EACjB,MAAM,qBAAqB,CAAC"}

package/dist/core/resolution/index.js

@@ -0,0 +1,10 @@
+"use strict";
+/**
+ * Core resolution module - shared across engines
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.resolveConflicts = exports.DEFAULT_STRATEGIES = void 0;
+var conflict_resolver_1 = require("./conflict-resolver");
+Object.defineProperty(exports, "DEFAULT_STRATEGIES", { enumerable: true, get: function () { return conflict_resolver_1.DEFAULT_STRATEGIES; } });
+Object.defineProperty(exports, "resolveConflicts", { enumerable: true, get: function () { return conflict_resolver_1.resolveConflicts; } });
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/resolution/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,yDAK6B;AAH3B,uHAAA,kBAAkB,OAAA;AAElB,qHAAA,gBAAgB,OAAA"}

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

@@ -0,0 +1,5 @@
+/**
+ * Core shapes module - shared across engines
+ */
+export { normalizeShape } from './shape.normalizer';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/shapes/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/core/shapes/index.js

@@ -0,0 +1,9 @@
+"use strict";
+/**
+ * Core shapes module - shared across engines
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.normalizeShape = void 0;
+var shape_normalizer_1 = require("./shape.normalizer");
+Object.defineProperty(exports, "normalizeShape", { enumerable: true, get: function () { return shape_normalizer_1.normalizeShape; } });
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/shapes/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,uDAAoD;AAA3C,kHAAA,cAAc,OAAA"}

package/dist/core/shapes/shape.normalizer.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Core shape normalization - converts shorthand to JSONSchema
+ */
+import { Shape, JSONSchema } from '../types';
+export declare function normalizeShape(shape: Shape): JSONSchema;
+//# sourceMappingURL=shape.normalizer.d.ts.map

package/dist/core/shapes/shape.normalizer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape.normalizer.d.ts","sourceRoot":"","sources":["../../../src/core/shapes/shape.normalizer.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,KAAK,EAAkB,UAAU,EAAE,MAAM,UAAU,CAAC;AAuC7D,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,CAwBvD"}

package/dist/core/shapes/shape.normalizer.js

@@ -0,0 +1,61 @@
+"use strict";
+/**
+ * Core shape normalization - converts shorthand to JSONSchema
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.normalizeShape = normalizeShape;
+function isJSONSchema(shape) {
+    return typeof shape === 'object' && 'type' in shape;
+}
+function parseArrayType(str) {
+    if (str.endsWith('[]')) {
+        const itemType = str.slice(0, -2);
+        return {
+            type: 'array',
+            items: normalizeShape(itemType)
+        };
+    }
+    return null;
+}
+function normalizeShorthand(shorthand) {
+    // String shorthand: "string", "number", "string[]"
+    if (typeof shorthand === 'string') {
+        const arrayType = parseArrayType(shorthand);
+        if (arrayType)
+            return arrayType;
+        return { type: shorthand };
+    }
+    // Object shorthand: { age: "number", address: { city: "string" } }
+    const properties = {};
+    for (const [key, value] of Object.entries(shorthand)) {
+        properties[key] = normalizeShape(value);
+    }
+    return {
+        type: 'object',
+        properties
+    };
+}
+function normalizeShape(shape) {
+    if (isJSONSchema(shape)) {
+        // Already JSON Schema, normalize nested
+        const result = { type: shape.type };
+        if (shape.properties) {
+            result.properties = {};
+            for (const [key, value] of Object.entries(shape.properties)) {
+                result.properties[key] = normalizeShape(value);
+            }
+        }
+        if (shape.items) {
+            result.items = normalizeShape(shape.items);
+        }
+        if (shape.minimum !== undefined)
+            result.minimum = shape.minimum;
+        if (shape.maximum !== undefined)
+            result.maximum = shape.maximum;
+        if (shape['x-unit'])
+            result['x-unit'] = shape['x-unit'];
+        return result;
+    }
+    return normalizeShorthand(shape);
+}
+//# sourceMappingURL=shape.normalizer.js.map

package/dist/core/shapes/shape.normalizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape.normalizer.js","sourceRoot":"","sources":["../../../src/core/shapes/shape.normalizer.ts"],"names":[],"mappings":";AAAA;;GAEG;;AAyCH,wCAwBC;AA7DD,SAAS,YAAY,CAAC,KAAY;IAChC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,CAAC;AACtD,CAAC;AAED,SAAS,cAAc,CAAC,GAAW;IACjC,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,OAAO;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,SAAyB;IACnD,mDAAmD;IACnD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC;QAEhC,OAAO,EAAE,IAAI,EAAE,SAA+B,EAAE,CAAC;IACnD,CAAC;IAED,mEAAmE;IACnE,MAAM,UAAU,GAA+B,EAAE,CAAC;IAElD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACrD,UAAU,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,UAAU;KACX,CAAC;AACJ,CAAC;AAED,SAAgB,cAAc,CAAC,KAAY;IACzC,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,wCAAwC;QACxC,MAAM,MAAM,GAAe,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QAEhD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACrB,MAAM,CAAC,UAAU,GAAG,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC5D,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QAED,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,CAAC,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7C,CAAC;QAED,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;YAAE,MAAM,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAChE,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;YAAE,MAAM,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAChE,IAAI,KAAK,CAAC,QAAQ,CAAC;YAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QAExD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC"}