@timmeck/brain-core 2.29.1 → 2.31.0

package/dist/reasoning/reasoning-engine.js

@@ -0,0 +1,515 @@
+import { getLogger } from '../utils/logger.js';
+// ── Migration ───────────────────────────────────────────
+export function runReasoningMigration(db) {
+    db.exec(`
+    CREATE TABLE IF NOT EXISTS inference_rules (
+      id INTEGER PRIMARY KEY AUTOINCREMENT,
+      antecedent TEXT NOT NULL,
+      consequent TEXT NOT NULL,
+      confidence REAL NOT NULL DEFAULT 0.5,
+      source_type TEXT NOT NULL,
+      source_id TEXT NOT NULL,
+      domain TEXT NOT NULL DEFAULT 'general',
+      keywords TEXT NOT NULL DEFAULT '[]',
+      created_at TEXT NOT NULL DEFAULT (datetime('now')),
+      updated_at TEXT NOT NULL DEFAULT (datetime('now')),
+      UNIQUE(source_type, source_id)
+    );
+
+    CREATE TABLE IF NOT EXISTS inference_chains (
+      id INTEGER PRIMARY KEY AUTOINCREMENT,
+      query TEXT NOT NULL,
+      chain_type TEXT NOT NULL DEFAULT 'forward',
+      rule_ids TEXT NOT NULL DEFAULT '[]',
+      steps TEXT NOT NULL DEFAULT '[]',
+      final_confidence REAL NOT NULL DEFAULT 0,
+      conclusion TEXT NOT NULL DEFAULT '',
+      temporal_estimate_ms REAL DEFAULT NULL,
+      created_at TEXT NOT NULL DEFAULT (datetime('now'))
+    );
+
+    CREATE TABLE IF NOT EXISTS reasoning_log (
+      id INTEGER PRIMARY KEY AUTOINCREMENT,
+      query TEXT NOT NULL,
+      reasoning_type TEXT NOT NULL,
+      result_summary TEXT NOT NULL DEFAULT '',
+      chain_id INTEGER DEFAULT NULL,
+      confidence REAL NOT NULL DEFAULT 0,
+      duration_ms INTEGER NOT NULL DEFAULT 0,
+      created_at TEXT NOT NULL DEFAULT (datetime('now'))
+    );
+
+    CREATE INDEX IF NOT EXISTS idx_inference_rules_source ON inference_rules(source_type, source_id);
+    CREATE INDEX IF NOT EXISTS idx_inference_rules_confidence ON inference_rules(confidence DESC);
+    CREATE INDEX IF NOT EXISTS idx_inference_chains_type ON inference_chains(chain_type);
+    CREATE INDEX IF NOT EXISTS idx_reasoning_log_type ON reasoning_log(reasoning_type);
+  `);
+}
+// ── Engine ──────────────────────────────────────────────
+export class ReasoningEngine {
+    db;
+    config;
+    log = getLogger();
+    ts = null;
+    sources = {};
+    startTime = Date.now();
+    // Prepared statements
+    stmtUpsertRule;
+    stmtGetRules;
+    stmtGetRulesByKeywords;
+    stmtInsertChain;
+    stmtGetChain;
+    stmtListChains;
+    stmtInsertLog;
+    stmtCountRules;
+    stmtCountChains;
+    stmtAvgConfidence;
+    stmtDomains;
+    stmtRecentChains;
+    constructor(db, config) {
+        this.db = db;
+        this.config = {
+            brainName: config.brainName,
+            maxDepth: config.maxDepth ?? 5,
+            minConfidence: config.minConfidence ?? 0.1,
+            dampening: config.dampening ?? 0.95,
+            minSimilarity: config.minSimilarity ?? 0.15,
+        };
+        runReasoningMigration(db);
+        this.stmtUpsertRule = db.prepare(`
+      INSERT INTO inference_rules (antecedent, consequent, confidence, source_type, source_id, domain, keywords, updated_at)
+      VALUES (?, ?, ?, ?, ?, ?, ?, datetime('now'))
+      ON CONFLICT(source_type, source_id) DO UPDATE SET
+        antecedent = excluded.antecedent,
+        consequent = excluded.consequent,
+        confidence = excluded.confidence,
+        domain = excluded.domain,
+        keywords = excluded.keywords,
+        updated_at = datetime('now')
+    `);
+        this.stmtGetRules = db.prepare('SELECT * FROM inference_rules WHERE confidence >= ? ORDER BY confidence DESC LIMIT ?');
+        this.stmtGetRulesByKeywords = db.prepare('SELECT * FROM inference_rules WHERE confidence >= ? ORDER BY confidence DESC');
+        this.stmtInsertChain = db.prepare(`
+      INSERT INTO inference_chains (query, chain_type, rule_ids, steps, final_confidence, conclusion, temporal_estimate_ms)
+      VALUES (?, ?, ?, ?, ?, ?, ?)
+    `);
+        this.stmtGetChain = db.prepare('SELECT * FROM inference_chains WHERE id = ?');
+        this.stmtListChains = db.prepare('SELECT * FROM inference_chains ORDER BY created_at DESC LIMIT ?');
+        this.stmtInsertLog = db.prepare(`
+      INSERT INTO reasoning_log (query, reasoning_type, result_summary, chain_id, confidence, duration_ms)
+      VALUES (?, ?, ?, ?, ?, ?)
+    `);
+        this.stmtCountRules = db.prepare('SELECT COUNT(*) as cnt FROM inference_rules');
+        this.stmtCountChains = db.prepare('SELECT COUNT(*) as cnt FROM inference_chains');
+        this.stmtAvgConfidence = db.prepare('SELECT AVG(confidence) as avg FROM inference_rules');
+        this.stmtDomains = db.prepare('SELECT DISTINCT domain FROM inference_rules ORDER BY domain');
+        this.stmtRecentChains = db.prepare("SELECT COUNT(*) as cnt FROM inference_chains WHERE created_at >= datetime('now', '-1 day')");
+    }
+    // ── Setters ─────────────────────────────────────────────
+    setThoughtStream(stream) { this.ts = stream; }
+    setDataSources(sources) { this.sources = sources; }
+    // ── 1. buildRules() ─────────────────────────────────────
+    /** Extract inference rules from hypotheses, principles, and causal edges. */
+    buildRules() {
+        let added = 0;
+        let updated = 0;
+        // 1a. Confirmed hypotheses → IF variables/condition THEN statement
+        try {
+            const hypotheses = this.sources.getConfirmedHypotheses?.() ?? [];
+            for (const h of hypotheses) {
+                const antecedent = h.variables.length > 0
+                    ? `IF ${h.variables.join(' AND ')}`
+                    : `IF ${h.condition.type}`;
+                const consequent = h.statement;
+                const keywords = this.tokenize(antecedent + ' ' + consequent);
+                const result = this.stmtUpsertRule.run(antecedent, consequent, h.confidence, 'hypothesis', String(h.id ?? 0), 'hypothesis', JSON.stringify(keywords));
+                if (result.changes > 0) {
+                    if (result.lastInsertRowid)
+                        added++;
+                    else
+                        updated++;
+                }
+            }
+        }
+        catch (err) {
+            this.log.warn(`[reasoning] buildRules hypotheses error: ${err.message}`);
+        }
+        // 1b. High-confidence principles → statement as rule
+        try {
+            const principles = this.sources.getPrinciples?.('', 200) ?? [];
+            for (const p of principles) {
+                if (p.confidence < 0.5)
+                    continue;
+                const parts = p.statement.split(/→|->|leads to|causes|implies/i);
+                let antecedent;
+                let consequent;
+                if (parts.length >= 2) {
+                    antecedent = parts[0].trim();
+                    consequent = parts.slice(1).join('→').trim();
+                }
+                else {
+                    antecedent = 'OBSERVE';
+                    consequent = p.statement;
+                }
+                const keywords = this.tokenize(antecedent + ' ' + consequent);
+                const result = this.stmtUpsertRule.run(antecedent, consequent, p.confidence, 'principle', p.id, p.domain || 'general', JSON.stringify(keywords));
+                if (result.changes > 0) {
+                    if (result.lastInsertRowid)
+                        added++;
+                    else
+                        updated++;
+                }
+            }
+        }
+        catch (err) {
+            this.log.warn(`[reasoning] buildRules principles error: ${err.message}`);
+        }
+        // 1c. Causal edges → cause→effect with strength×confidence
+        try {
+            const edges = this.sources.getCausalEdges?.(0.2) ?? [];
+            for (const e of edges) {
+                const antecedent = e.cause;
+                const consequent = e.effect;
+                const confidence = e.strength * e.confidence;
+                const keywords = this.tokenize(antecedent + ' ' + consequent);
+                const result = this.stmtUpsertRule.run(antecedent, consequent, confidence, 'causal', `${e.cause}→${e.effect}`, 'causal', JSON.stringify(keywords));
+                if (result.changes > 0) {
+                    if (result.lastInsertRowid)
+                        added++;
+                    else
+                        updated++;
+                }
+            }
+        }
+        catch (err) {
+            this.log.warn(`[reasoning] buildRules causal error: ${err.message}`);
+        }
+        const total = this.stmtCountRules.get().cnt;
+        this.ts?.emit('reasoning', 'analyzing', `Built ${added} new + ${updated} updated rules (${total} total)`, 'routine');
+        this.log.info(`[reasoning] buildRules: +${added} new, ~${updated} updated, ${total} total`);
+        return { added, updated, total };
+    }
+    // ── 2. infer(query) — Forward Chaining ──────────────────
+    /** Forward chaining inference: find logical chains starting from query keywords. */
+    infer(query) {
+        const start = Date.now();
+        const queryKeywords = this.tokenize(query);
+        if (queryKeywords.length === 0)
+            return null;
+        const allRules = this.stmtGetRulesByKeywords.all(this.config.minConfidence);
+        const rules = allRules.map(r => ({ ...r, keywords: JSON.parse(r.keywords) }));
+        // Find best starting rule by matching antecedent keywords
+        const steps = [];
+        const visited = new Set();
+        let currentKeywords = queryKeywords;
+        let cumulativeConfidence = 1.0;
+        for (let depth = 0; depth < this.config.maxDepth; depth++) {
+            const bestRule = this.findBestMatch(currentKeywords, rules, visited, 'antecedent');
+            if (!bestRule)
+                break;
+            cumulativeConfidence *= bestRule.confidence * this.config.dampening;
+            if (cumulativeConfidence < this.config.minConfidence)
+                break;
+            visited.add(bestRule.id);
+            steps.push({
+                ruleId: bestRule.id,
+                antecedent: bestRule.antecedent,
+                consequent: bestRule.consequent,
+                confidence: bestRule.confidence,
+                cumulativeConfidence,
+                source: `${bestRule.source_type}:${bestRule.source_id}`,
+            });
+            // Next iteration: match consequent keywords against new antecedents
+            currentKeywords = this.tokenize(bestRule.consequent);
+        }
+        if (steps.length === 0) {
+            this.stmtInsertLog.run(query, 'forward', 'no chain found', null, 0, Date.now() - start);
+            return null;
+        }
+        const conclusion = steps.length > 1
+            ? `${steps[0].antecedent} → ${steps.map(s => s.consequent).join(' → ')}`
+            : `${steps[0].antecedent} → ${steps[0].consequent}`;
+        const chain = {
+            query,
+            chain_type: 'forward',
+            steps,
+            rule_ids: steps.map(s => s.ruleId),
+            final_confidence: cumulativeConfidence,
+            conclusion,
+        };
+        // Persist
+        const result = this.stmtInsertChain.run(query, 'forward', JSON.stringify(chain.rule_ids), JSON.stringify(chain.steps), chain.final_confidence, chain.conclusion, null);
+        chain.id = Number(result.lastInsertRowid);
+        this.stmtInsertLog.run(query, 'forward', conclusion, chain.id, chain.final_confidence, Date.now() - start);
+        this.ts?.emit('reasoning', 'discovering', `Inferred: ${conclusion} (conf=${chain.final_confidence.toFixed(3)})`, chain.final_confidence > 0.5 ? 'notable' : 'routine');
+        return chain;
+    }
+    // ── 3. abduce(observation) — Abductive Reasoning ────────
+    /** Abductive reasoning: find possible explanations for an observation. */
+    abduce(observation) {
+        const start = Date.now();
+        const obsKeywords = this.tokenize(observation);
+        if (obsKeywords.length === 0)
+            return [];
+        const allRules = this.stmtGetRulesByKeywords.all(this.config.minConfidence);
+        const rules = allRules.map(r => ({ ...r, keywords: JSON.parse(r.keywords) }));
+        const explanations = [];
+        for (const rule of rules) {
+            // Match observation keywords against CONSEQUENTS (backwards!)
+            const consequentKeywords = this.tokenize(rule.consequent);
+            const overlap = this.keywordOverlap(obsKeywords, consequentKeywords);
+            if (overlap === 0)
+                continue;
+            const coverage = obsKeywords.length > 0 ? overlap / obsKeywords.length : 0;
+            const score = rule.confidence * coverage;
+            if (score >= this.config.minConfidence) {
+                explanations.push({
+                    ruleId: rule.id,
+                    antecedent: rule.antecedent,
+                    consequent: rule.consequent,
+                    confidence: rule.confidence,
+                    coverage,
+                    score,
+                    source: `${rule.source_type}:${rule.source_id}`,
+                });
+            }
+        }
+        // Sort by score, top 5
+        explanations.sort((a, b) => b.score - a.score);
+        const top = explanations.slice(0, 5);
+        const summary = top.length > 0
+            ? `${top.length} explanations: ${top.map(e => e.antecedent).join(', ')}`
+            : 'no explanations found';
+        this.stmtInsertLog.run(observation, 'abductive', summary, null, top[0]?.score ?? 0, Date.now() - start);
+        if (top.length > 0) {
+            this.ts?.emit('reasoning', 'exploring', `Abduce "${observation}": ${top.length} explanations found`, 'routine');
+        }
+        return top;
+    }
+    // ── 4. temporalInfer(eventType) — Temporal Chains ───────
+    /** Temporal inference: trace causal chains with time delays. */
+    temporalInfer(eventType) {
+        const start = Date.now();
+        if (!this.sources.getCausalEffects)
+            return null;
+        const steps = [];
+        const visited = new Set();
+        let current = eventType;
+        let cumulativeLag = 0;
+        let cumulativeConf = 1.0;
+        visited.add(current);
+        for (let depth = 0; depth < this.config.maxDepth; depth++) {
+            const effects = this.sources.getCausalEffects(current);
+            if (!effects || effects.length === 0)
+                break;
+            // Pick strongest effect not yet visited
+            const best = effects.find(e => !visited.has(e.effect));
+            if (!best)
+                break;
+            visited.add(best.effect);
+            cumulativeLag += best.lag_ms;
+            cumulativeConf *= best.confidence * this.config.dampening;
+            if (cumulativeConf < this.config.minConfidence)
+                break;
+            steps.push({
+                cause: best.cause,
+                effect: best.effect,
+                lag_ms: best.lag_ms,
+                cumulative_lag_ms: cumulativeLag,
+                confidence: best.confidence,
+                cumulative_confidence: cumulativeConf,
+            });
+            current = best.effect;
+        }
+        if (steps.length === 0) {
+            this.stmtInsertLog.run(eventType, 'temporal', 'no temporal chain', null, 0, Date.now() - start);
+            return null;
+        }
+        // Build narrative
+        const parts = [eventType];
+        for (const s of steps) {
+            parts.push(`→(${s.lag_ms}ms)→ ${s.effect}`);
+        }
+        const narrative = parts.join(' ');
+        const chain = {
+            eventType,
+            steps,
+            total_lag_ms: cumulativeLag,
+            final_confidence: cumulativeConf,
+            narrative,
+        };
+        // Persist as inference chain
+        const result = this.stmtInsertChain.run(eventType, 'temporal', JSON.stringify(steps.map((_, i) => i)), JSON.stringify(steps), cumulativeConf, narrative, cumulativeLag);
+        this.stmtInsertLog.run(eventType, 'temporal', narrative, Number(result.lastInsertRowid), cumulativeConf, Date.now() - start);
+        this.ts?.emit('reasoning', 'analyzing', `Temporal: ${narrative}`, 'routine');
+        return chain;
+    }
+    // ── 5. counterfactual(event) — "What if X never happened?" ─
+    /** Counterfactual reasoning: what downstream effects would be lost if event never happened. */
+    counterfactual(event) {
+        const start = Date.now();
+        const affected = [];
+        const queue = [event];
+        const visited = new Set();
+        visited.add(event);
+        // BFS over causal graph
+        while (queue.length > 0) {
+            const current = queue.shift();
+            const effects = this.sources.getCausalEffects?.(current) ?? [];
+            for (const e of effects) {
+                if (!visited.has(e.effect)) {
+                    visited.add(e.effect);
+                    affected.push(e.effect);
+                    queue.push(e.effect);
+                }
+            }
+        }
+        const narrative = affected.length > 0
+            ? `Without "${event}", ${affected.length} downstream effects would not have occurred: ${affected.join(', ')}`
+            : `"${event}" has no known downstream effects.`;
+        const result = {
+            event,
+            affected_effects: affected,
+            depth: visited.size - 1,
+            narrative,
+        };
+        // Persist
+        const chainResult = this.stmtInsertChain.run(event, 'counterfactual', JSON.stringify([]), JSON.stringify(affected), affected.length > 0 ? 1.0 : 0.0, narrative, null);
+        this.stmtInsertLog.run(event, 'counterfactual', narrative, Number(chainResult.lastInsertRowid), affected.length > 0 ? 1.0 : 0.0, Date.now() - start);
+        if (affected.length > 0) {
+            this.ts?.emit('reasoning', 'exploring', `Counterfactual: without "${event}" → ${affected.length} effects lost`, 'notable');
+        }
+        return result;
+    }
+    // ── 6. getProofTree(chainId) ────────────────────────────
+    /** Retrieve a stored proof tree / inference chain by ID. */
+    getProofTree(chainId) {
+        const row = this.stmtGetChain.get(chainId);
+        if (!row)
+            return null;
+        return this.toChain(row);
+    }
+    // ── 7. getRules(limit?, minConfidence?) ─────────────────
+    /** Get inference rules, optionally filtered. */
+    getRules(limit = 50, minConfidence = 0) {
+        const rows = this.stmtGetRules.all(minConfidence, limit);
+        return rows.map(r => this.toRule(r));
+    }
+    // ── 8. getStatus() ──────────────────────────────────────
+    /** Engine status and stats. */
+    getStatus() {
+        const ruleCount = this.stmtCountRules.get().cnt;
+        const chainCount = this.stmtCountChains.get().cnt;
+        const avgConf = this.stmtAvgConfidence.get().avg ?? 0;
+        const domains = this.stmtDomains.all().map(d => d.domain);
+        const recentChains = this.stmtRecentChains.get().cnt;
+        return {
+            ruleCount,
+            chainCount,
+            avgConfidence: avgConf,
+            domains,
+            recentChains,
+            uptime: Date.now() - this.startTime,
+        };
+    }
+    // ── Private helpers ─────────────────────────────────────
+    /** Tokenize text into bigram-aware keywords. */
+    tokenize(text) {
+        const words = text.toLowerCase()
+            .replace(/[^a-z0-9äöüß_\-]/g, ' ')
+            .split(/\s+/)
+            .filter(w => w.length > 2 && !STOP_WORDS.has(w));
+        // Deduplicate
+        return [...new Set(words)];
+    }
+    /** Jaccard similarity between two keyword sets. */
+    jaccard(a, b) {
+        if (a.length === 0 || b.length === 0)
+            return 0;
+        const setA = new Set(a);
+        const setB = new Set(b);
+        let intersection = 0;
+        for (const w of setA) {
+            if (setB.has(w))
+                intersection++;
+        }
+        const union = setA.size + setB.size - intersection;
+        return union > 0 ? intersection / union : 0;
+    }
+    /** Count keyword overlap. */
+    keywordOverlap(a, b) {
+        const setB = new Set(b);
+        let count = 0;
+        for (const w of a) {
+            if (setB.has(w))
+                count++;
+        }
+        return count;
+    }
+    /** Find best matching rule for given keywords. */
+    findBestMatch(queryKeywords, rules, visited, matchField) {
+        let bestRule = null;
+        let bestScore = 0;
+        for (const rule of rules) {
+            if (visited.has(rule.id))
+                continue;
+            const fieldKeywords = matchField === 'antecedent'
+                ? this.tokenize(rule.antecedent)
+                : this.tokenize(rule.consequent);
+            const sim = this.jaccard(queryKeywords, fieldKeywords);
+            if (sim < this.config.minSimilarity)
+                continue;
+            const score = sim * rule.confidence;
+            if (score > bestScore) {
+                bestScore = score;
+                bestRule = rule;
+            }
+        }
+        return bestRule;
+    }
+    /** Convert DB row to InferenceChain. */
+    toChain(row) {
+        return {
+            id: row.id,
+            query: row.query,
+            chain_type: row.chain_type,
+            steps: JSON.parse(row.steps || '[]'),
+            rule_ids: JSON.parse(row.rule_ids || '[]'),
+            final_confidence: row.final_confidence,
+            conclusion: row.conclusion,
+            temporal_estimate_ms: row.temporal_estimate_ms,
+            created_at: row.created_at,
+        };
+    }
+    /** Convert DB row to InferenceRule. */
+    toRule(row) {
+        return {
+            id: row.id,
+            antecedent: row.antecedent,
+            consequent: row.consequent,
+            confidence: row.confidence,
+            source_type: row.source_type,
+            source_id: row.source_id,
+            domain: row.domain,
+            keywords: JSON.parse(row.keywords || '[]'),
+            created_at: row.created_at,
+            updated_at: row.updated_at,
+        };
+    }
+}
+// ── Stop Words ──────────────────────────────────────────
+const STOP_WORDS = new Set([
+    'the', 'and', 'for', 'are', 'but', 'not', 'you', 'all', 'can', 'had',
+    'her', 'was', 'one', 'our', 'out', 'has', 'have', 'been', 'will', 'with',
+    'this', 'that', 'from', 'they', 'were', 'each', 'which', 'their', 'then',
+    'them', 'these', 'other', 'than', 'when', 'some', 'what', 'there', 'also',
+    'into', 'more', 'its', 'only', 'could', 'would', 'should', 'about',
+    'does', 'did', 'just', 'how', 'where', 'who', 'may', 'most', 'over',
+    'such', 'after', 'because', 'through', 'between', 'very', 'being',
+    'those', 'still', 'while', 'both', 'same', 'way', 'any', 'many',
+    'der', 'die', 'das', 'den', 'dem', 'des', 'ein', 'eine', 'einer',
+    'und', 'ist', 'hat', 'nicht', 'sich', 'mit', 'auf', 'für', 'von',
+    'als', 'auch', 'noch', 'nach', 'bei', 'aus', 'wenn', 'dass', 'oder',
+    'aber', 'wie', 'wird', 'sind', 'vor', 'nur', 'über', 'kann', 'schon',
+]);
+//# sourceMappingURL=reasoning-engine.js.map

package/dist/reasoning/reasoning-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reasoning-engine.js","sourceRoot":"","sources":["../../src/reasoning/reasoning-engine.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AA6G/C,2DAA2D;AAE3D,MAAM,UAAU,qBAAqB,CAAC,EAAqB;IACzD,EAAE,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CP,CAAC,CAAC;AACL,CAAC;AAED,2DAA2D;AAE3D,MAAM,OAAO,eAAe;IACT,EAAE,CAAoB;IACtB,MAAM,CAAkC;IACxC,GAAG,GAAG,SAAS,EAAE,CAAC;IAC3B,EAAE,GAAyB,IAAI,CAAC;IAChC,OAAO,GAAyB,EAAE,CAAC;IAC1B,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAExC,sBAAsB;IACL,cAAc,CAAqB;IACnC,YAAY,CAAqB;IACjC,sBAAsB,CAAqB;IAC3C,eAAe,CAAqB;IACpC,YAAY,CAAqB;IACjC,cAAc,CAAqB;IACnC,aAAa,CAAqB;IAClC,cAAc,CAAqB;IACnC,eAAe,CAAqB;IACpC,iBAAiB,CAAqB;IACtC,WAAW,CAAqB;IAChC,gBAAgB,CAAqB;IAEtD,YAAY,EAAqB,EAAE,MAA6B;QAC9D,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,MAAM,GAAG;YACZ,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,CAAC;YAC9B,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,GAAG;YAC1C,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI;YACnC,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,IAAI;SAC5C,CAAC;QAEF,qBAAqB,CAAC,EAAE,CAAC,CAAC;QAE1B,IAAI,CAAC,cAAc,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;;;;;;KAUhC,CAAC,CAAC;QAEH,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC,OAAO,CAC5B,sFAAsF,CACvF,CAAC;QAEF,IAAI,CAAC,sBAAsB,GAAG,EAAE,CAAC,OAAO,CACtC,8EAA8E,CAC/E,CAAC;QAEF,IAAI,CAAC,eAAe,GAAG,EAAE,CAAC,OAAO,CAAC;;;KAGjC,CAAC,CAAC;QAEH,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC;QAE9E,IAAI,CAAC,cAAc,GAAG,EAAE,CAAC,OAAO,CAC9B,iEAAiE,CAClE,CAAC;QAEF,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC,OAAO,CAAC;;;KAG/B,CAAC,CAAC;QAEH,IAAI,CAAC,cAAc,GAAG,EAAE,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC;QAChF,IAAI,CAAC,eAAe,GAAG,EAAE,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;QAClF,IAAI,CAAC,iBAAiB,GAAG,EAAE,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC;QAC1F,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC,OAAO,CAAC,6DAA6D,CAAC,CAAC;QAC7F,IAAI,CAAC,gBAAgB,GAAG,EAAE,CAAC,OAAO,CAChC,4FAA4F,CAC7F,CAAC;IACJ,CAAC;IAED,2DAA2D;IAE3D,gBAAgB,CAAC,MAAqB,IAAU,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC;IACnE,cAAc,CAAC,OAA6B,IAAU,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC;IAE/E,2DAA2D;IAE3D,6EAA6E;IAC7E,UAAU;QACR,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,OAAO,GAAG,CAAC,CAAC;QAEhB,mEAAmE;QACnE,IAAI,CAAC;YACH,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE,EAAE,IAAI,EAAE,CAAC;YACjE,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;gBAC3B,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;oBACvC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;oBACnC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;gBAC7B,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC;gBAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,GAAG,GAAG,GAAG,UAAU,CAAC,CAAC;gBAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CACpC,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EACrE,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CACvC,CAAC;gBACF,IAAI,MAAM,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;oBACvB,IAAI,MAAM,CAAC,eAAe;wBAAE,KAAK,EAAE,CAAC;;wBAAM,OAAO,EAAE,CAAC;gBACtD,CAAC;YACH,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,4CAA6C,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACtF,CAAC;QAED,qDAAqD;QACrD,IAAI,CAAC;YACH,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;YAC/D,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;gBAC3B,IAAI,CAAC,CAAC,UAAU,GAAG,GAAG;oBAAE,SAAS;gBACjC,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;gBACjE,IAAI,UAAkB,CAAC;gBACvB,IAAI,UAAkB,CAAC;gBACvB,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oBACtB,UAAU,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;oBAC9B,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC/C,CAAC;qBAAM,CAAC;oBACN,UAAU,GAAG,SAAS,CAAC;oBACvB,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC;gBAC3B,CAAC;gBACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,GAAG,GAAG,GAAG,UAAU,CAAC,CAAC;gBAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CACpC,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EACvD,CAAC,CAAC,MAAM,IAAI,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAChD,CAAC;gBACF,IAAI,MAAM,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;oBACvB,IAAI,MAAM,CAAC,eAAe;wBAAE,KAAK,EAAE,CAAC;;wBAAM,OAAO,EAAE,CAAC;gBACtD,CAAC;YACH,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,4CAA6C,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACtF,CAAC;QAED,2DAA2D;QAC3D,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACvD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC;gBAC3B,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;gBAC5B,MAAM,UAAU,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,UAAU,CAAC;gBAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,GAAG,GAAG,GAAG,UAAU,CAAC,CAAC;gBAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CACpC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,EACtE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CACnC,CAAC;gBACF,IAAI,MAAM,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;oBACvB,IAAI,MAAM,CAAC,eAAe;wBAAE,KAAK,EAAE,CAAC;;wBAAM,OAAO,EAAE,CAAC;gBACtD,CAAC;YACH,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,wCAAyC,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QAClF,CAAC;QAED,MAAM,KAAK,GAAI,IAAI,CAAC,cAAc,CAAC,GAAG,EAAsB,CAAC,GAAG,CAAC;QACjE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,KAAK,UAAU,OAAO,mBAAmB,KAAK,SAAS,EAAE,SAAS,CAAC,CAAC;QACrH,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,4BAA4B,KAAK,UAAU,OAAO,aAAa,KAAK,QAAQ,CAAC,CAAC;QAE5F,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACnC,CAAC;IAED,2DAA2D;IAE3D,oFAAoF;IACpF,KAAK,CAAC,KAAa;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAE5C,MAAM,QAAQ,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAgD,CAAC;QAC3H,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAa,EAAE,CAAC,CAAC,CAAC;QAE1F,0DAA0D;QAC1D,MAAM,KAAK,GAAoB,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,IAAI,eAAe,GAAG,aAAa,CAAC;QACpC,IAAI,oBAAoB,GAAG,GAAG,CAAC;QAE/B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC;YAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YACnF,IAAI,CAAC,QAAQ;gBAAE,MAAM;YAErB,oBAAoB,IAAI,QAAQ,CAAC,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;YACpE,IAAI,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa;gBAAE,MAAM;YAE5D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAG,CAAC,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC;gBACT,MAAM,EAAE,QAAQ,CAAC,EAAG;gBACpB,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,oBAAoB;gBACpB,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,SAAS,EAAE;aACxD,CAAC,CAAC;YAEH,oEAAoE;YACpE,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACvD,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;YACxF,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC;YACjC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,UAAU,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;YACzE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,UAAU,MAAM,KAAK,CAAC,CAAC,CAAE,CAAC,UAAU,EAAE,CAAC;QAExD,MAAM,KAAK,GAAmB;YAC5B,KAAK;YACL,UAAU,EAAE,SAAS;YACrB,KAAK;YACL,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;YAClC,gBAAgB,EAAE,oBAAoB;YACtC,UAAU;SACX,CAAC;QAEF,UAAU;QACV,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CACrC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAC7E,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,UAAU,EAAE,IAAI,CAC/C,CAAC;QACF,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAE1C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,gBAAgB,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;QAC3G,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,aAAa,UAAU,UAAU,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,gBAAgB,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAEvK,OAAO,KAAK,CAAC;IACf,CAAC;IAED,2DAA2D;IAE3D,0EAA0E;IAC1E,MAAM,CAAC,WAAmB;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAC/C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAExC,MAAM,QAAQ,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAgD,CAAC;QAC3H,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAa,EAAE,CAAC,CAAC,CAAC;QAE1F,MAAM,YAAY,GAA2B,EAAE,CAAC;QAEhD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,8DAA8D;YAC9D,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;YACrE,IAAI,OAAO,KAAK,CAAC;gBAAE,SAAS;YAE5B,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC;YAEzC,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;gBACvC,YAAY,CAAC,IAAI,CAAC;oBAChB,MAAM,EAAE,IAAI,CAAC,EAAG;oBAChB,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,QAAQ;oBACR,KAAK;oBACL,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,SAAS,EAAE;iBAChD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,uBAAuB;QACvB,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAErC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC;YAC5B,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,kBAAkB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACxE,CAAC,CAAC,uBAAuB,CAAC;QAC5B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;QAExG,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnB,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,WAAW,MAAM,GAAG,CAAC,MAAM,qBAAqB,EAAE,SAAS,CAAC,CAAC;QAClH,CAAC;QAED,OAAO,GAAG,CAAC;IACb,CAAC;IAED,2DAA2D;IAE3D,gEAAgE;IAChE,aAAa,CAAC,SAAiB;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB;YAAE,OAAO,IAAI,CAAC;QAEhD,MAAM,KAAK,GAAmB,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,IAAI,OAAO,GAAG,SAAS,CAAC;QACxB,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,IAAI,cAAc,GAAG,GAAG,CAAC;QAEzB,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAErB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC;YAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;YACvD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM;YAE5C,wCAAwC;YACxC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACvD,IAAI,CAAC,IAAI;gBAAE,MAAM;YAEjB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzB,aAAa,IAAI,IAAI,CAAC,MAAM,CAAC;YAC7B,cAAc,IAAI,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;YAC1D,IAAI,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa;gBAAE,MAAM;YAEtD,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,iBAAiB,EAAE,aAAa;gBAChC,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,qBAAqB,EAAE,cAAc;aACtC,CAAC,CAAC;YAEH,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;QACxB,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;YAChG,OAAO,IAAI,CAAC;QACd,CAAC;QAED,kBAAkB;QAClB,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAElC,MAAM,KAAK,GAAkB;YAC3B,SAAS;YACT,KAAK;YACL,YAAY,EAAE,aAAa;YAC3B,gBAAgB,EAAE,cAAc;YAChC,SAAS;SACV,CAAC;QAEF,6BAA6B;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CACrC,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAC7D,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,cAAc,EAAE,SAAS,EAAE,aAAa,CAChE,CAAC;QAEF,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;QAC7H,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,SAAS,EAAE,EAAE,SAAS,CAAC,CAAC;QAE7E,OAAO,KAAK,CAAC;IACf,CAAC;IAED,8DAA8D;IAE9D,+FAA+F;IAC/F,cAAc,CAAC,KAAa;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAEnB,wBAAwB;QACxB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAE/D,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC3B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBACtB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBACxB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC;YACnC,CAAC,CAAC,YAAY,KAAK,MAAM,QAAQ,CAAC,MAAM,gDAAgD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC7G,CAAC,CAAC,IAAI,KAAK,oCAAoC,CAAC;QAElD,MAAM,MAAM,GAAyB;YACnC,KAAK;YACL,gBAAgB,EAAE,QAAQ;YAC1B,KAAK,EAAE,OAAO,CAAC,IAAI,GAAG,CAAC;YACvB,SAAS;SACV,CAAC;QAEF,UAAU;QACV,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAC1C,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EACrE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CACjD,CAAC;QAEF,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;QAErJ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,4BAA4B,KAAK,OAAO,QAAQ,CAAC,MAAM,eAAe,EAAE,SAAS,CAAC,CAAC;QAC7H,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,2DAA2D;IAE3D,4DAA4D;IAC5D,YAAY,CAAC,OAAe;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAwC,CAAC;QAClF,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAED,2DAA2D;IAE3D,gDAAgD;IAChD,QAAQ,CAAC,KAAK,GAAG,EAAE,EAAE,aAAa,GAAG,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,EAAE,KAAK,CAAmC,CAAC;QAC3F,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,2DAA2D;IAE3D,+BAA+B;IAC/B,SAAS;QACP,MAAM,SAAS,GAAI,IAAI,CAAC,cAAc,CAAC,GAAG,EAAsB,CAAC,GAAG,CAAC;QACrE,MAAM,UAAU,GAAI,IAAI,CAAC,eAAe,CAAC,GAAG,EAAsB,CAAC,GAAG,CAAC;QACvE,MAAM,OAAO,GAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAA6B,CAAC,GAAG,IAAI,CAAC,CAAC;QAClF,MAAM,OAAO,GAAI,IAAI,CAAC,WAAW,CAAC,GAAG,EAAgC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACzF,MAAM,YAAY,GAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAsB,CAAC,GAAG,CAAC;QAE1E,OAAO;YACL,SAAS;YACT,UAAU;YACV,aAAa,EAAE,OAAO;YACtB,OAAO;YACP,YAAY;YACZ,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS;SACpC,CAAC;IACJ,CAAC;IAED,2DAA2D;IAE3D,gDAAgD;IACxC,QAAQ,CAAC,IAAY;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE;aAC7B,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC;aACjC,KAAK,CAAC,KAAK,CAAC;aACZ,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAEnD,cAAc;QACd,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7B,CAAC;IAED,mDAAmD;IAC3C,OAAO,CAAC,CAAW,EAAE,CAAW;QACtC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,YAAY,EAAE,CAAC;QAClC,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;QACnD,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,6BAA6B;IACrB,cAAc,CAAC,CAAW,EAAE,CAAW;QAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAClB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,KAAK,EAAE,CAAC;QAC3B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,kDAAkD;IAC1C,aAAa,CACnB,aAAuB,EACvB,KAAoD,EACpD,OAAoB,EACpB,UAAuC;QAEvC,IAAI,QAAQ,GAAoD,IAAI,CAAC;QACrE,IAAI,SAAS,GAAG,CAAC,CAAC;QAElB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAG,CAAC;gBAAE,SAAS;YAEpC,MAAM,aAAa,GAAG,UAAU,KAAK,YAAY;gBAC/C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAEnC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;YACvD,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa;gBAAE,SAAS;YAE9C,MAAM,KAAK,GAAG,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC;YACpC,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;gBACtB,SAAS,GAAG,KAAK,CAAC;gBAClB,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,wCAAwC;IAChC,OAAO,CAAC,GAA4B;QAC1C,OAAO;YACL,EAAE,EAAE,GAAG,CAAC,EAAY;YACpB,KAAK,EAAE,GAAG,CAAC,KAAe;YAC1B,UAAU,EAAE,GAAG,CAAC,UAA0C;YAC1D,KAAK,EAAE,IAAI,CAAC,KAAK,CAAE,GAAG,CAAC,KAAgB,IAAI,IAAI,CAAC;YAChD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAE,GAAG,CAAC,QAAmB,IAAI,IAAI,CAAC;YACtD,gBAAgB,EAAE,GAAG,CAAC,gBAA0B;YAChD,UAAU,EAAE,GAAG,CAAC,UAAoB;YACpC,oBAAoB,EAAE,GAAG,CAAC,oBAA0C;YACpE,UAAU,EAAE,GAAG,CAAC,UAAoB;SACrC,CAAC;IACJ,CAAC;IAED,uCAAuC;IAC/B,MAAM,CAAC,GAA4B;QACzC,OAAO;YACL,EAAE,EAAE,GAAG,CAAC,EAAY;YACpB,UAAU,EAAE,GAAG,CAAC,UAAoB;YACpC,UAAU,EAAE,GAAG,CAAC,UAAoB;YACpC,UAAU,EAAE,GAAG,CAAC,UAAoB;YACpC,WAAW,EAAE,GAAG,CAAC,WAAqB;YACtC,SAAS,EAAE,GAAG,CAAC,SAAmB;YAClC,MAAM,EAAE,GAAG,CAAC,MAAgB;YAC5B,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAE,GAAG,CAAC,QAAmB,IAAI,IAAI,CAAC;YACtD,UAAU,EAAE,GAAG,CAAC,UAAoB;YACpC,UAAU,EAAE,GAAG,CAAC,UAAoB;SACrC,CAAC;IACJ,CAAC;CACF;AAED,2DAA2D;AAE3D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC;IACzB,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;IACpE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;IACxE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM;IACxE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;IACzE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO;IAClE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM;IACnE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO;IACjE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM;IAC/D,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO;IAChE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;IAChE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;IACnE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO;CACrE,CAAC,CAAC"}

package/dist/research/research-orchestrator.d.ts

@@ -34,6 +34,7 @@ import type { SimulationEngine } from '../metacognition/simulation-engine.js';
 import type { MemoryPalace } from '../memory-palace/memory-palace.js';
 import type { GoalEngine } from '../goals/goal-engine.js';
 import type { EvolutionEngine } from '../metacognition/evolution-engine.js';
+import type { ReasoningEngine } from '../reasoning/reasoning-engine.js';
 import { AutoResponder } from './auto-responder.js';
 export interface ResearchOrchestratorConfig {
     brainName: string;
@@ -81,6 +82,7 @@ export declare class ResearchOrchestrator {
     private memoryPalace;
     private goalEngine;
     private evolutionEngine;
+    private reasoningEngine;
     private brainName;
     private feedbackTimer;
     private cycleCount;
@@ -138,6 +140,8 @@ export declare class ResearchOrchestrator {
     setGoalEngine(engine: GoalEngine): void;
     /** Set the EvolutionEngine — evolves parameter configurations via genetic algorithm. */
     setEvolutionEngine(engine: EvolutionEngine): void;
+    /** Set the ReasoningEngine — multi-step logical inference chains. */
+    setReasoningEngine(engine: ReasoningEngine): void;
     /** Set the PredictionEngine — wires journal into it. */
     setPredictionEngine(engine: PredictionEngine): void;
     /** Start the autonomous feedback loop timer. */

package/dist/research/research-orchestrator.js

@@ -49,6 +49,7 @@ export class ResearchOrchestrator {
     memoryPalace = null;
     goalEngine = null;
     evolutionEngine = null;
+    reasoningEngine = null;
     brainName;
     feedbackTimer = null;
     cycleCount = 0;
@@ -159,6 +160,8 @@ export class ResearchOrchestrator {
     setGoalEngine(engine) { this.goalEngine = engine; }
     /** Set the EvolutionEngine — evolves parameter configurations via genetic algorithm. */
     setEvolutionEngine(engine) { this.evolutionEngine = engine; }
+    /** Set the ReasoningEngine — multi-step logical inference chains. */
+    setReasoningEngine(engine) { this.reasoningEngine = engine; }
     /** Set the PredictionEngine — wires journal into it. */
     setPredictionEngine(engine) {
         this.predictionEngine = engine;
@@ -1170,6 +1173,47 @@ export class ResearchOrchestrator {
                 this.log.warn(`[orchestrator] Step 36 error: ${err.message}`);
             }
         }
+        // Step 37: ReasoningEngine — build rules + run inferences (every 5 cycles)
+        if (this.reasoningEngine && this.cycleCount % 5 === 0) {
+            try {
+                ts?.emit('reasoning', 'analyzing', 'Step 37: Building inference rules + reasoning...', 'routine');
+                this.reasoningEngine.buildRules();
+                // Infer on attention topics or anomalies
+                const topics = this.attentionEngine?.getTopTopics?.(3) ?? [];
+                const queries = topics.map((t) => t.topic);
+                if (queries.length === 0) {
+                    const anomalies = this.anomalyDetective.getAnomalies(undefined, 3);
+                    for (const a of anomalies)
+                        queries.push(a.title);
+                }
+                let insights = 0;
+                for (const q of queries) {
+                    const chain = this.reasoningEngine.infer(q);
+                    if (chain && chain.steps.length > 1) {
+                        this.journal.write({
+                            type: 'discovery',
+                            title: `Reasoning Chain: ${q}`,
+                            content: chain.conclusion,
+                            tags: [this.brainName, 'reasoning', 'inference'],
+                            references: [],
+                            significance: chain.final_confidence > 0.5 ? 'notable' : 'routine',
+                            data: { chain },
+                        });
+                        insights++;
+                    }
+                    // Abduce on surprising observations
+                    const explanations = this.reasoningEngine.abduce(q);
+                    if (explanations.length > 0) {
+                        insights++;
+                    }
+                }
+                if (this.metaCognitionLayer)
+                    this.metaCognitionLayer.recordStep('reasoning_engine', this.cycleCount, { insights });
+            }
+            catch (err) {
+                this.log.warn(`[orchestrator] Step 37 error: ${err.message}`);
+            }
+        }
         const duration = Date.now() - start;
         ts?.emit('orchestrator', 'reflecting', `Feedback Cycle #${this.cycleCount} complete (${duration}ms)`);
         this.log.info(`[orchestrator] ─── Feedback Cycle #${this.cycleCount} complete (${duration}ms) ───`);
@@ -1934,6 +1978,7 @@ export class ResearchOrchestrator {
             simulation: this.simulationEngine?.getStatus() ?? null,
             memoryPalace: this.memoryPalace?.getStatus() ?? null,
             goals: this.goalEngine?.getStatus() ?? null,
+            reasoning: this.reasoningEngine?.getStatus() ?? null,
         };
     }
 }