@higher.archi/boe 1.0.0

package/dist/engines/expert/interpolation.js

@@ -0,0 +1,218 @@
+"use strict";
+/**
+ * Template Interpolation for Expert System
+ *
+ * Provides compile-time template parsing and runtime interpolation
+ * for explanation strings.
+ *
+ * Syntax:
+ * - ${app.creditScore} - Reference input binding property
+ * - ${creditTier} - Reference derived/asserted fact
+ * - ${finalRate} - Reference scoped variable
+ *
+ * The ${...} syntax is unambiguous, so no escaping is needed.
+ * Regular $ signs outside of ${...} are preserved as-is.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileTemplate = compileTemplate;
+exports.hasInterpolation = hasInterpolation;
+exports.extractRefs = extractRefs;
+exports.interpolate = interpolate;
+exports.buildAvailableRefs = buildAvailableRefs;
+exports.validateExplainTemplates = validateExplainTemplates;
+/**
+ * Regular expression to match template interpolations.
+ * Only matches ${...} patterns - standalone $ is left alone.
+ */
+const INTERPOLATION_REGEX = /\$\{([^}]+)\}/g;
+/**
+ * Parse a template string into a compiled template.
+ *
+ * @param template - Template string with ${...} interpolations
+ * @param availableRefs - Set of valid reference names for validation
+ * @param ruleId - Rule ID for error messages
+ * @returns Compiled template ready for interpolation
+ * @throws Error if template contains invalid references
+ */
+function compileTemplate(template, availableRefs, ruleId) {
+    const parts = [];
+    const refs = [];
+    let lastIndex = 0;
+    let match;
+    // Reset regex state
+    INTERPOLATION_REGEX.lastIndex = 0;
+    // Structure: parts[0] + refs[0] + parts[1] + refs[1] + ... + parts[n]
+    // parts.length = refs.length + 1
+    while ((match = INTERPOLATION_REGEX.exec(template)) !== null) {
+        // Add static part before this match
+        parts.push(template.slice(lastIndex, match.index));
+        const refStr = match[1].trim();
+        const path = refStr.split('.');
+        // Validate reference if availableRefs provided
+        if (availableRefs) {
+            const rootRef = path[0];
+            if (!availableRefs.has(rootRef)) {
+                const ruleContext = ruleId ? ` in rule '${ruleId}'` : '';
+                throw new Error(`Invalid template reference '${refStr}'${ruleContext}. ` +
+                    `'${rootRef}' is not a valid input binding, derived fact, or explain variable. ` +
+                    `Available: ${Array.from(availableRefs).join(', ')}`);
+            }
+        }
+        // Determine if this is a binding reference (has dot path) or derived fact
+        const isBinding = path.length > 1;
+        refs.push({ path, isBinding });
+        lastIndex = match.index + match[0].length;
+    }
+    // Add remaining static part
+    parts.push(template.slice(lastIndex));
+    return { source: template, parts, refs };
+}
+/**
+ * Check if a string contains interpolation syntax.
+ *
+ * @param str - String to check
+ * @returns True if string contains ${...} patterns
+ */
+function hasInterpolation(str) {
+    return str.includes('${');
+}
+/**
+ * Extract all reference names from a template.
+ * Useful for building the set of available references.
+ *
+ * @param template - Template string
+ * @returns Array of root reference names
+ */
+function extractRefs(template) {
+    const refs = [];
+    let match;
+    INTERPOLATION_REGEX.lastIndex = 0;
+    while ((match = INTERPOLATION_REGEX.exec(template)) !== null) {
+        if (match[1]) {
+            const path = match[1].trim().split('.');
+            refs.push(path[0]);
+        }
+    }
+    return refs;
+}
+/**
+ * Interpolate a compiled template with runtime values.
+ *
+ * @param compiled - Compiled template
+ * @param context - Values to interpolate
+ * @returns Interpolated string
+ */
+function interpolate(compiled, context) {
+    if (compiled.refs.length === 0) {
+        // No interpolations - return joined static parts
+        return compiled.parts.join('');
+    }
+    const result = [];
+    for (let i = 0; i < compiled.parts.length; i++) {
+        result.push(compiled.parts[i]);
+        if (i < compiled.refs.length) {
+            const ref = compiled.refs[i];
+            const value = resolveRef(ref, context);
+            result.push(formatValue(value));
+        }
+    }
+    return result.join('');
+}
+/**
+ * Resolve a reference to its value.
+ */
+function resolveRef(ref, context) {
+    const [root, ...rest] = ref.path;
+    // Check explain variables first (highest priority)
+    if (context.variables && root in context.variables) {
+        return rest.length === 0
+            ? context.variables[root]
+            : getNestedValue(context.variables[root], rest);
+    }
+    // Check bindings (for input.property references)
+    if (root in context.bindings) {
+        const binding = context.bindings[root];
+        return rest.length === 0
+            ? binding
+            : getNestedValue(binding, rest);
+    }
+    // Check facts (for derived/asserted facts)
+    if (root in context.facts) {
+        return rest.length === 0
+            ? context.facts[root]
+            : getNestedValue(context.facts[root], rest);
+    }
+    // Not found - return placeholder
+    return `<${ref.path.join('.')}>`;
+}
+/**
+ * Get a nested value from an object using a path array.
+ */
+function getNestedValue(obj, path) {
+    let current = obj;
+    for (const key of path) {
+        if (current == null || typeof current !== 'object') {
+            return undefined;
+        }
+        current = current[key];
+    }
+    return current;
+}
+/**
+ * Format a value for display in an explanation.
+ */
+function formatValue(value) {
+    if (value === null)
+        return 'null';
+    if (value === undefined)
+        return 'undefined';
+    if (typeof value === 'string')
+        return value;
+    if (typeof value === 'number') {
+        // Format numbers nicely (avoid excessive decimals)
+        return Number.isInteger(value) ? String(value) : value.toFixed(2);
+    }
+    if (typeof value === 'boolean')
+        return String(value);
+    if (Array.isArray(value))
+        return JSON.stringify(value);
+    if (typeof value === 'object')
+        return JSON.stringify(value);
+    return String(value);
+}
+/**
+ * Build a set of available references for validation.
+ *
+ * @param inputNames - Names of input bindings (e.g., ['app', 'customer'])
+ * @param derivedFacts - Names of potentially derived facts
+ * @param explainVars - Names of explain.variables
+ * @returns Set of valid root reference names
+ */
+function buildAvailableRefs(inputNames, derivedFacts, explainVars) {
+    return new Set([...inputNames, ...derivedFacts, ...explainVars]);
+}
+/**
+ * Validate all templates in an explain block.
+ *
+ * @param explain - Explain block with templates
+ * @param availableRefs - Set of valid references
+ * @param ruleId - Rule ID for error messages
+ * @throws Error if any template has invalid references
+ */
+function validateExplainTemplates(explain, availableRefs, ruleId) {
+    // Validate onFire (required)
+    compileTemplate(explain.onFire, availableRefs, ruleId);
+    // Validate optional templates
+    if (explain.onSkip) {
+        compileTemplate(explain.onSkip, availableRefs, ruleId);
+    }
+    if (explain.factors) {
+        for (const factor of explain.factors) {
+            compileTemplate(factor, availableRefs, ruleId);
+        }
+    }
+    if (explain.suggestion) {
+        compileTemplate(explain.suggestion, availableRefs, ruleId);
+    }
+}
+//# sourceMappingURL=interpolation.js.map

package/dist/engines/expert/interpolation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interpolation.js","sourceRoot":"","sources":["../../../src/engines/expert/interpolation.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;AAmBH,0CAgDC;AAQD,4CAEC;AASD,kCAcC;AAqBD,kCAsBC;AA8ED,gDAMC;AAUD,4DA2BC;AApQD;;;GAGG;AACH,MAAM,mBAAmB,GAAG,gBAAgB,CAAC;AAE7C;;;;;;;;GAQG;AACH,SAAgB,eAAe,CAC7B,QAAgB,EAChB,aAA2B,EAC3B,MAAe;IAEf,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAA0B,EAAE,CAAC;IAEvC,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,KAA6B,CAAC;IAElC,oBAAoB;IACpB,mBAAmB,CAAC,SAAS,GAAG,CAAC,CAAC;IAElC,sEAAsE;IACtE,iCAAiC;IAEjC,OAAO,CAAC,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC7D,oCAAoC;QACpC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAEnD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAE/B,+CAA+C;QAC/C,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChC,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,aAAa,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzD,MAAM,IAAI,KAAK,CACb,+BAA+B,MAAM,IAAI,WAAW,IAAI;oBACxD,IAAI,OAAO,qEAAqE;oBAChF,cAAc,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACrD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,0EAA0E;QAC1E,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAElC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/B,SAAS,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC5C,CAAC;IAED,4BAA4B;IAC5B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IAEtC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC3C,CAAC;AAED;;;;;GAKG;AACH,SAAgB,gBAAgB,CAAC,GAAW;IAC1C,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,WAAW,CAAC,QAAgB;IAC1C,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,KAA6B,CAAC;IAElC,mBAAmB,CAAC,SAAS,GAAG,CAAC,CAAC;IAElC,OAAO,CAAC,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC7D,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAcD;;;;;;GAMG;AACH,SAAgB,WAAW,CACzB,QAA0B,EAC1B,OAA6B;IAE7B,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,iDAAiD;QACjD,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAE/B,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACzB,CAAC;AAED;;GAEG;AACH,SAAS,UAAU,CACjB,GAAwB,EACxB,OAA6B;IAE7B,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC;IAEjC,mDAAmD;IACnD,IAAI,OAAO,CAAC,SAAS,IAAI,IAAI,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC;YACtB,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACzB,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACpD,CAAC;IAED,iDAAiD;IACjD,IAAI,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACvC,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC;YACtB,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,2CAA2C;IAC3C,IAAI,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC;YACtB,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;YACrB,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,iCAAiC;IACjC,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,GAAY,EAAE,IAAc;IAClD,IAAI,OAAO,GAAG,GAAG,CAAC;IAElB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,OAAO,IAAI,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YACnD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,GAAI,OAAmC,CAAC,GAAG,CAAC,CAAC;IACtD,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,mDAAmD;QACnD,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,kBAAkB,CAChC,UAAoB,EACpB,YAAsB,EACtB,WAAqB;IAErB,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,YAAY,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC;AACnE,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,wBAAwB,CACtC,OAKC,EACD,aAA0B,EAC1B,MAAc;IAEd,6BAA6B;IAC7B,eAAe,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IAEvD,8BAA8B;IAC9B,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,eAAe,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IACzD,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrC,eAAe,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,13 @@
+/**
+ * Expert System Strategy
+ *
+ * Executes expert rules against working memory, building an inference
+ * chain and generating explanations for each conclusion.
+ */
+import { IWorkingMemory } from '../../core/memory';
+import { CompiledExpertRuleSet, ExpertOptions, ExpertResult } from './types';
+export declare class ExpertStrategy {
+    run(ruleSet: CompiledExpertRuleSet, wm: IWorkingMemory, options?: ExpertOptions): ExpertResult;
+}
+export declare const expertStrategy: ExpertStrategy;
+//# sourceMappingURL=strategy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"strategy.d.ts","sourceRoot":"","sources":["../../../src/engines/expert/strategy.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EACL,qBAAqB,EAErB,aAAa,EACb,YAAY,EAGb,MAAM,SAAS,CAAC;AAqGjB,qBAAa,cAAc;IACzB,GAAG,CACD,OAAO,EAAE,qBAAqB,EAC9B,EAAE,EAAE,cAAc,EAClB,OAAO,GAAE,aAAkB,GAC1B,YAAY;CA+KhB;AA4GD,eAAO,MAAM,cAAc,gBAAuB,CAAC"}

package/dist/engines/expert/strategy.js

@@ -0,0 +1,281 @@
+"use strict";
+/**
+ * Expert System Strategy
+ *
+ * Executes expert rules against working memory, building an inference
+ * chain and generating explanations for each conclusion.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.expertStrategy = exports.ExpertStrategy = void 0;
+const core_1 = require("../../core");
+const interpolation_1 = require("./interpolation");
+const formatter_1 = require("./formatter");
+// ========================================
+// Context Augmentation
+// ========================================
+/**
+ * Create an augmented binding context that includes derived facts.
+ * Derived facts are wrapped as pseudo-facts so they can be accessed
+ * with the same syntax as input bindings.
+ */
+function augmentBindingsWithFacts(bindings, derivedFacts) {
+    const augmented = { ...bindings };
+    // Add derived facts as pseudo-facts
+    // This allows conditions like ['equals', '$creditTier', 'good']
+    // where creditTier is a derived fact, not an input binding
+    for (const [name, value] of Object.entries(derivedFacts)) {
+        if (!(name in augmented)) {
+            augmented[name] = {
+                id: `__derived_${name}`,
+                type: '__derived',
+                data: value
+            };
+        }
+    }
+    return augmented;
+}
+// ========================================
+// Interpolation Helpers
+// ========================================
+/**
+ * Build interpolation context from bindings and derived facts.
+ */
+function buildInterpolationContext(bindings, derivedFacts, explainVars) {
+    // Convert bindings to { name: data } format
+    const bindingsData = {};
+    for (const [name, fact] of Object.entries(bindings)) {
+        if (fact.type !== '__derived') {
+            bindingsData[name] = fact.data;
+        }
+    }
+    return {
+        bindings: bindingsData,
+        facts: derivedFacts,
+        variables: explainVars
+    };
+}
+/**
+ * Evaluate explain variables using the current context.
+ */
+function evaluateExplainVariables(variables, augmentedBindings) {
+    if (!variables)
+        return undefined;
+    const result = {};
+    for (const [name, compiled] of Object.entries(variables)) {
+        result[name] = (0, core_1.resolveOperand)(compiled, augmentedBindings);
+    }
+    return result;
+}
+// ========================================
+// Strategy Implementation
+// ========================================
+class ExpertStrategy {
+    run(ruleSet, wm, options = {}) {
+        const startTime = performance.now();
+        const config = ruleSet.config;
+        const { onFire, onEvaluate, includeSkipped = false, verbose = true, maxEvaluations = 1000 } = options;
+        // State
+        const derivedFacts = {};
+        const factConfidence = {};
+        const inferenceChain = [];
+        let rulesFired = 0;
+        let rulesEvaluated = 0;
+        // Track which rules have fired to prevent re-firing
+        const firedRules = new Set();
+        // Keep iterating until no new rules fire or goals reached
+        let changed = true;
+        while (changed && rulesEvaluated < maxEvaluations) {
+            changed = false;
+            for (const rule of ruleSet.rules) {
+                // Skip already-fired rules
+                if (firedRules.has(rule.id)) {
+                    continue;
+                }
+                rulesEvaluated++;
+                // Check evaluation limit
+                if (rulesEvaluated >= maxEvaluations) {
+                    break;
+                }
+                // Match against working memory (inputs only - we evaluate 'when' ourselves with derived facts)
+                const activations = (0, core_1.matchInputsOnly)(rule, wm);
+                for (const activation of activations) {
+                    const bindings = activation.facts;
+                    // Create augmented context with derived facts
+                    const augmentedBindings = augmentBindingsWithFacts(bindings, derivedFacts);
+                    // Evaluate 'when' condition if present (for derived facts)
+                    if (rule.when) {
+                        const whenResult = (0, core_1.evaluateCondition)(rule.when, augmentedBindings);
+                        if (!whenResult) {
+                            // Rule didn't match - record if includeSkipped
+                            if (includeSkipped) {
+                                const step = buildInferenceStep(rule, bindings, derivedFacts, augmentedBindings, false, undefined);
+                                inferenceChain.push(step);
+                            }
+                            onEvaluate?.(rule.id, false);
+                            continue;
+                        }
+                    }
+                    // Rule fires!
+                    firedRules.add(rule.id);
+                    changed = true;
+                    rulesFired++;
+                    // Capture derived facts state BEFORE this rule's assertions
+                    const derivedFactsSnapshot = rule.when ? { ...derivedFacts } : undefined;
+                    // Evaluate assertions
+                    const asserted = {};
+                    for (const [factName, compiledExpr] of Object.entries(rule.assert)) {
+                        const value = (0, core_1.resolveOperand)(compiledExpr, augmentedBindings);
+                        asserted[factName] = value;
+                        derivedFacts[factName] = value;
+                        // Track confidence
+                        factConfidence[factName] = {
+                            value,
+                            confidence: rule.confidence,
+                            concludedBy: rule.id
+                        };
+                    }
+                    // Build inference step (use snapshot for derived facts)
+                    const step = buildInferenceStep(rule, bindings, derivedFactsSnapshot ?? derivedFacts, augmentedBindings, true, asserted);
+                    inferenceChain.push(step);
+                    // Callbacks
+                    onFire?.(rule.id, asserted, bindings);
+                    onEvaluate?.(rule.id, true);
+                    // Check if all goals are satisfied
+                    if (config.goals.length > 0) {
+                        const allGoalsMet = config.goals.every(goal => goal in derivedFacts);
+                        if (allGoalsMet) {
+                            changed = false; // Stop processing
+                            break;
+                        }
+                    }
+                    // Only process first activation per rule
+                    break;
+                }
+                // If goals met, stop outer loop too
+                if (config.goals.length > 0) {
+                    const allGoalsMet = config.goals.every(goal => goal in derivedFacts);
+                    if (allGoalsMet) {
+                        changed = false;
+                        break;
+                    }
+                }
+            }
+        }
+        // Build explanation summary
+        const explanation = verbose
+            ? buildExplanationSummary(inferenceChain, derivedFacts, config.goals)
+            : '';
+        // Build query function
+        const query = (factName) => {
+            const info = factConfidence[factName];
+            if (info) {
+                return {
+                    exists: true,
+                    value: info.value,
+                    confidence: info.confidence,
+                    status: 'concluded',
+                    concludedBy: info.concludedBy
+                };
+            }
+            return {
+                exists: false,
+                value: undefined,
+                confidence: 0,
+                status: factName in derivedFacts ? 'concluded' : 'not-concluded'
+            };
+        };
+        const result = {
+            conclusions: { ...derivedFacts },
+            inferenceChain,
+            explanation,
+            rulesFired,
+            rulesEvaluated,
+            executionTimeMs: Math.round((performance.now() - startTime) * 100) / 100,
+            timestamp: new Date().toISOString(),
+            query,
+            toString: () => (0, formatter_1.formatResult)(result, config.goals)
+        };
+        return result;
+    }
+}
+exports.ExpertStrategy = ExpertStrategy;
+// ========================================
+// Helper Functions
+// ========================================
+/**
+ * Build an inference step from rule execution.
+ */
+function buildInferenceStep(rule, bindings, derivedFacts, augmentedBindings, fired, asserted) {
+    // Collect facts used (exclude derived pseudo-facts)
+    const factsUsed = [];
+    for (const [name, fact] of Object.entries(bindings)) {
+        if (fact.type !== '__derived') {
+            factsUsed.push(`${name}=${JSON.stringify(fact.data)}`);
+        }
+    }
+    // Capture derived facts used if rule has a `when` condition
+    // These are the derived facts that existed at the time this rule evaluated
+    let derivedFactsUsed;
+    if (rule.when && Object.keys(derivedFacts).length > 0) {
+        derivedFactsUsed = { ...derivedFacts };
+    }
+    // Evaluate explain variables
+    const explainVars = evaluateExplainVariables(rule.explain.variables, augmentedBindings);
+    // Build interpolation context
+    const interpContext = buildInterpolationContext(bindings, derivedFacts, explainVars);
+    // Interpolate the appropriate template
+    const template = fired ? rule.explain.onFire : rule.explain.onSkip;
+    const explanation = template
+        ? (0, interpolation_1.interpolate)(template, interpContext)
+        : fired ? 'Rule fired' : 'Rule skipped';
+    return {
+        ruleId: rule.id,
+        description: rule.description,
+        fired,
+        factsUsed,
+        derivedFactsUsed,
+        asserted,
+        confidence: fired ? rule.confidence : undefined,
+        explanation
+    };
+}
+/**
+ * Build a human-readable explanation summary.
+ */
+function buildExplanationSummary(chain, conclusions, goals) {
+    const lines = [];
+    // Count fired rules
+    const firedSteps = chain.filter(s => s.fired);
+    if (firedSteps.length === 0) {
+        lines.push('No rules fired. Unable to reach any conclusions.');
+        return lines.join('\n');
+    }
+    lines.push(`Reached ${Object.keys(conclusions).length} conclusion(s) via ${firedSteps.length} rule(s):`);
+    lines.push('');
+    // List key conclusions
+    for (const step of firedSteps) {
+        if (step.asserted) {
+            for (const [fact, value] of Object.entries(step.asserted)) {
+                const isGoal = goals.includes(fact);
+                const marker = isGoal ? ' [GOAL]' : '';
+                lines.push(`  ${fact} = ${JSON.stringify(value)}${marker}`);
+                lines.push(`    <- ${step.explanation}`);
+            }
+        }
+    }
+    // Check goal status
+    if (goals.length > 0) {
+        const unmetGoals = goals.filter(g => !(g in conclusions));
+        lines.push('');
+        if (unmetGoals.length === 0) {
+            lines.push(`All ${goals.length} goal(s) satisfied.`);
+        }
+        else {
+            lines.push(`Goals not satisfied: ${unmetGoals.join(', ')}`);
+        }
+    }
+    return lines.join('\n');
+}
+// Export singleton instance
+exports.expertStrategy = new ExpertStrategy();
+//# sourceMappingURL=strategy.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"strategy.js","sourceRoot":"","sources":["../../../src/engines/expert/strategy.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,qCAMoB;AAYpB,mDAGyB;AAEzB,2CAA2C;AAc3C,2CAA2C;AAC3C,uBAAuB;AACvB,2CAA2C;AAE3C;;;;GAIG;AACH,SAAS,wBAAwB,CAC/B,QAAwB,EACxB,YAA0B;IAE1B,MAAM,SAAS,GAAmB,EAAE,GAAG,QAAQ,EAAE,CAAC;IAElD,oCAAoC;IACpC,gEAAgE;IAChE,2DAA2D;IAC3D,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QACzD,IAAI,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC,EAAE,CAAC;YACzB,SAAS,CAAC,IAAI,CAAC,GAAG;gBAChB,EAAE,EAAE,aAAa,IAAI,EAAE;gBACvB,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,KAAK;aACJ,CAAC;QACZ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,2CAA2C;AAC3C,wBAAwB;AACxB,2CAA2C;AAE3C;;GAEG;AACH,SAAS,yBAAyB,CAChC,QAAwB,EACxB,YAA0B,EAC1B,WAAqC;IAErC,4CAA4C;IAC5C,MAAM,YAAY,GAA4C,EAAE,CAAC;IACjE,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,YAAY,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAA+B,CAAC;QAC5D,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,YAAY;QACtB,KAAK,EAAE,YAAY;QACnB,SAAS,EAAE,WAAW;KACvB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAC/B,SAA0C,EAC1C,iBAAiC;IAEjC,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEjC,MAAM,MAAM,GAA4B,EAAE,CAAC;IAE3C,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACzD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAA,qBAAc,EAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,2CAA2C;AAC3C,0BAA0B;AAC1B,2CAA2C;AAE3C,MAAa,cAAc;IACzB,GAAG,CACD,OAA8B,EAC9B,EAAkB,EAClB,UAAyB,EAAE;QAE3B,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAE9B,MAAM,EACJ,MAAM,EACN,UAAU,EACV,cAAc,GAAG,KAAK,EACtB,OAAO,GAAG,IAAI,EACd,cAAc,GAAG,IAAI,EACtB,GAAG,OAAO,CAAC;QAEZ,QAAQ;QACR,MAAM,YAAY,GAAiB,EAAE,CAAC;QACtC,MAAM,cAAc,GAAmB,EAAE,CAAC;QAC1C,MAAM,cAAc,GAAoB,EAAE,CAAC;QAC3C,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,cAAc,GAAG,CAAC,CAAC;QAEvB,oDAAoD;QACpD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QAErC,0DAA0D;QAC1D,IAAI,OAAO,GAAG,IAAI,CAAC;QAEnB,OAAO,OAAO,IAAI,cAAc,GAAG,cAAc,EAAE,CAAC;YAClD,OAAO,GAAG,KAAK,CAAC;YAEhB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBACjC,2BAA2B;gBAC3B,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC5B,SAAS;gBACX,CAAC;gBAED,cAAc,EAAE,CAAC;gBAEjB,yBAAyB;gBACzB,IAAI,cAAc,IAAI,cAAc,EAAE,CAAC;oBACrC,MAAM;gBACR,CAAC;gBAED,+FAA+F;gBAC/F,MAAM,WAAW,GAAG,IAAA,sBAAe,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAE9C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;oBACrC,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC;oBAElC,8CAA8C;oBAC9C,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;oBAE3E,2DAA2D;oBAC3D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;wBACd,MAAM,UAAU,GAAG,IAAA,wBAAiB,EAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;wBAEnE,IAAI,CAAC,UAAU,EAAE,CAAC;4BAChB,+CAA+C;4BAC/C,IAAI,cAAc,EAAE,CAAC;gCACnB,MAAM,IAAI,GAAG,kBAAkB,CAC7B,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,iBAAiB,EACjB,KAAK,EACL,SAAS,CACV,CAAC;gCACF,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;4BAC5B,CAAC;4BAED,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;4BAC7B,SAAS;wBACX,CAAC;oBACH,CAAC;oBAED,cAAc;oBACd,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACxB,OAAO,GAAG,IAAI,CAAC;oBACf,UAAU,EAAE,CAAC;oBAEb,4DAA4D;oBAC5D,MAAM,oBAAoB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,YAAY,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;oBAEzE,sBAAsB;oBACtB,MAAM,QAAQ,GAA4B,EAAE,CAAC;oBAC7C,KAAK,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;wBACnE,MAAM,KAAK,GAAG,IAAA,qBAAc,EAAC,YAAY,EAAE,iBAAiB,CAAC,CAAC;wBAC9D,QAAQ,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;wBAC3B,YAAY,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;wBAE/B,mBAAmB;wBACnB,cAAc,CAAC,QAAQ,CAAC,GAAG;4BACzB,KAAK;4BACL,UAAU,EAAE,IAAI,CAAC,UAAU;4BAC3B,WAAW,EAAE,IAAI,CAAC,EAAE;yBACrB,CAAC;oBACJ,CAAC;oBAED,wDAAwD;oBACxD,MAAM,IAAI,GAAG,kBAAkB,CAC7B,IAAI,EACJ,QAAQ,EACR,oBAAoB,IAAI,YAAY,EACpC,iBAAiB,EACjB,IAAI,EACJ,QAAQ,CACT,CAAC;oBACF,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAE1B,YAAY;oBACZ,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;oBACtC,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;oBAE5B,mCAAmC;oBACnC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAC5B,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,YAAY,CAAC,CAAC;wBACrE,IAAI,WAAW,EAAE,CAAC;4BAChB,OAAO,GAAG,KAAK,CAAC,CAAC,kBAAkB;4BACnC,MAAM;wBACR,CAAC;oBACH,CAAC;oBAED,yCAAyC;oBACzC,MAAM;gBACR,CAAC;gBAED,oCAAoC;gBACpC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC5B,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,YAAY,CAAC,CAAC;oBACrE,IAAI,WAAW,EAAE,CAAC;wBAChB,OAAO,GAAG,KAAK,CAAC;wBAChB,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,4BAA4B;QAC5B,MAAM,WAAW,GAAG,OAAO;YACzB,CAAC,CAAC,uBAAuB,CAAC,cAAc,EAAE,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC;YACrE,CAAC,CAAC,EAAE,CAAC;QAEP,uBAAuB;QACvB,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAqB,EAAE;YACpD,MAAM,IAAI,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;YACtC,IAAI,IAAI,EAAE,CAAC;gBACT,OAAO;oBACL,MAAM,EAAE,IAAI;oBACZ,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,MAAM,EAAE,WAAW;oBACnB,WAAW,EAAE,IAAI,CAAC,WAAW;iBAC9B,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,MAAM,EAAE,KAAK;gBACb,KAAK,EAAE,SAAS;gBAChB,UAAU,EAAE,CAAC;gBACb,MAAM,EAAE,QAAQ,IAAI,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe;aACjE,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,MAAM,GAAiB;YAC3B,WAAW,EAAE,EAAE,GAAG,YAAY,EAAE;YAChC,cAAc;YACd,WAAW;YACX,UAAU;YACV,cAAc;YACd,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG;YACxE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,KAAK;YACL,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAA,wBAAY,EAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC;SACnD,CAAC;QAEF,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AApLD,wCAoLC;AAED,2CAA2C;AAC3C,mBAAmB;AACnB,2CAA2C;AAE3C;;GAEG;AACH,SAAS,kBAAkB,CACzB,IAAwB,EACxB,QAAwB,EACxB,YAA0B,EAC1B,iBAAiC,EACjC,KAAc,EACd,QAA6C;IAE7C,oDAAoD;IACpD,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,2EAA2E;IAC3E,IAAI,gBAAqD,CAAC;IAC1D,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,gBAAgB,GAAG,EAAE,GAAG,YAAY,EAAE,CAAC;IACzC,CAAC;IAED,6BAA6B;IAC7B,MAAM,WAAW,GAAG,wBAAwB,CAC1C,IAAI,CAAC,OAAO,CAAC,SAAS,EACtB,iBAAiB,CAClB,CAAC;IAEF,8BAA8B;IAC9B,MAAM,aAAa,GAAG,yBAAyB,CAAC,QAAQ,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;IAErF,uCAAuC;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IACnE,MAAM,WAAW,GAAG,QAAQ;QAC1B,CAAC,CAAC,IAAA,2BAAW,EAAC,QAAQ,EAAE,aAAa,CAAC;QACtC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC;IAE1C,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,KAAK;QACL,SAAS;QACT,gBAAgB;QAChB,QAAQ;QACR,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;QAC/C,WAAW;KACZ,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAC9B,KAAsB,EACtB,WAAyB,EACzB,KAAe;IAEf,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAE9C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;QAC/D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,sBAAsB,UAAU,CAAC,MAAM,WAAW,CAAC,CAAC;IACzG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,uBAAuB;IACvB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1D,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC;gBAC5D,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC;IAED,oBAAoB;IACpB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC;QAE1D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,MAAM,qBAAqB,CAAC,CAAC;QACvD,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,wBAAwB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,4BAA4B;AACf,QAAA,cAAc,GAAG,IAAI,cAAc,EAAE,CAAC"}