@cavelang/cli 0.27.14 → 0.29.0

package/dist/internal/rules/engine.js

@@ -0,0 +1,575 @@
+/**
+ * The forward-chaining derivation engine (spec §24.2–§24.5).
+ *
+ * Rules live in the store as ordinary claims (§24.1's declaration shape),
+ * so derived claims can point lineage edges at them:
+ *
+ * ```cave
+ * rule/9f30ac9be4dd HAS rule: `?x NEEDS ?y, ?y NEEDS ?z => ?x NEEDS ?z` @src:cave-derive
+ * ```
+ *
+ * `derive` fires every current positive rule over current beliefs and
+ * appends what follows:
+ *
+ * - premises join left-to-right, each partial binding specializing the
+ *   next pattern and running it through the ordinary CAVE-Q compiler —
+ *   inverse verbs, transitive hops and the alias closure come for free;
+ * - conclusion confidence is noisy-AND (`@cavelang/fusion`, the
+ *   independence assumption explicit): rule conf × Π premise-row confs;
+ *   several derivations of one conclusion keep the strongest (§24.2);
+ * - derived rows are stamped `@src:rule/<digest>` (§9.5) and linked
+ *   `BECAUSE` to their specific premise rows and `VIA` to the rule's
+ *   declaration row (§24.3);
+ * - re-runs are idempotent — a conclusion equal to current belief appends
+ *   nothing — and incremental by per-rule tx watermark claims: a rule
+ *   re-fires only when rows recorded since its watermark could extend a
+ *   premise match, and a watermark predating the rule's current
+ *   declaration row is stale — a re-declared rule fires from scratch
+ *   (§24.4);
+ * - support is recomputed on every firing: previously-derived claims the
+ *   rule no longer concludes are retracted `@ 0%`, and while a fired
+ *   rule's earlier derivations are being re-established they are invisible
+ *   to premise matching unless re-supported — so retracting a premise
+ *   retracts the whole dependent chain, mutually-supporting cycles
+ *   included (§24.5).
+ */
+import { Claim, Confidence, Context, Key, Value, Verb } from '@cavelang/core';
+import * as Canonical from '@cavelang/canonical';
+import { noisyAndIndependent } from '@cavelang/fusion';
+import { Row } from '@cavelang/store';
+import { match } from '@cavelang/query';
+import * as Rule from "./rule.js";
+/** Attribute of rule declaration claims: `rule/<digest> HAS rule: …`. */
+export const ruleAttribute = 'rule';
+/** Attribute of per-rule watermark claims (§24.4). */
+export const watermarkAttribute = 'derive-watermark';
+/** Source context stamped on declarations and bookkeeping (like `src:cave-connect`). */
+export const provenanceContext = 'src:cave-derive';
+/** Declaration subject of a rule: its digest under the `rule/` scope. */
+export const ruleSubject = (digest) => `rule/${digest}`;
+export const defaultMinConf = 0.05;
+export const defaultMaxPasses = 20;
+const safeAtomRe = /^[A-Za-z0-9][A-Za-z0-9._/+-]*$/;
+/** In-band vocabulary declarations are append-only and never lifecycle-retracted. */
+const isDeclaration = (row) => row.verb === 'REVERSE' || row.verb === 'RENAMED-TO' ||
+    (row.verb === 'IS' && row.object === 'verb');
+const isDeclarationClaim = (claim) => claim.verb === 'REVERSE' || claim.verb === 'RENAMED-TO' ||
+    (claim.verb === 'IS' && claim.payload.kind === 'relation' &&
+        claim.payload.object.kind === 'entity' && claim.payload.object.text === 'verb');
+/** Claim key of a `subject HAS <attribute>: … @src:cave-derive` bookkeeping claim. */
+const bookkeepingKey = (subject, attribute) => Key.of(Claim.of({
+    subject: Claim.entity(subject),
+    verb: 'HAS',
+    payload: Claim.attribute(attribute, Value.parse('x')),
+    contexts: [provenanceContext]
+}));
+const maxTx = (store) => store.db.prepare('SELECT MAX(tx) AS t FROM cave_claim').get().t ?? undefined;
+/** Latest row per claim key among `rows` — the series current beliefs. */
+const latestPerKey = (rows) => {
+    const latest = new Map();
+    for (const row of rows) {
+        const seen = latest.get(row.claim_key);
+        if (seen === undefined || seen.tx < row.tx) {
+            latest.set(row.claim_key, row);
+        }
+    }
+    return latest;
+};
+/** Appends a retraction — the row's claim at `@ 0%`, same claim key (§9.3). */
+const retract = (store, row, comment) => {
+    store.insertResult({
+        claims: [{ claim: { ...store.toClaim(row), conf: 0, raw: '', comment }, line: 0 }],
+        edges: [],
+        registry: store.registry(),
+        problems: []
+    });
+};
+/**
+ * Loads every current positive rule declaration (attribute `rule`),
+ * parses the rule text and dedupes by digest.
+ */
+const loadRules = (store) => {
+    const loaded = [];
+    const problems = [];
+    const notes = [];
+    const byDigest = new Map();
+    const declarations = store.currentBeliefs().filter(row => row.verb === 'HAS' && row.attribute === ruleAttribute && row.negated === 0 && row.conf > 0 && row.value_text !== null);
+    for (const row of declarations) {
+        const text = Row.parseValue(row.value_text).raw;
+        const parsed = Rule.parse(text);
+        if (!parsed.ok) {
+            problems.push({ subject: row.subject, problems: parsed.problems });
+            continue;
+        }
+        const seenAs = byDigest.get(parsed.rule.digest);
+        if (seenAs !== undefined) {
+            notes.push(`${row.subject} duplicates ${seenAs} — one rule, first declaration fires`);
+            continue;
+        }
+        byDigest.set(parsed.rule.digest, row.subject);
+        const label = parsed.rule.label ?? row.comment ?? undefined;
+        loaded.push({
+            rule: parsed.rule,
+            row,
+            outcome: {
+                subject: row.subject,
+                digest: parsed.rule.digest,
+                text: parsed.rule.text,
+                ...label === undefined ? {} : { label },
+                fired: false,
+                evaluations: 0,
+                solutions: 0,
+                appended: 0,
+                updated: 0,
+                unchanged: 0,
+                retracted: 0,
+                problems: []
+            }
+        });
+    }
+    return { loaded, problems, notes };
+};
+/**
+ * Could a row recorded after `mark` extend a match of one of the rule's
+ * premises? A *shape* test — subject/verb/object/attribute/negated plus
+ * context and tag membership; confidence and currency are ignored, so a
+ * retraction row re-fires the rules its claim used to feed (§24.5).
+ * Over-matching costs a harmless re-evaluation; under-matching would be a
+ * correctness bug — under `aliases`, entity terms are dropped from the
+ * test (closure membership can widen any name) and any new `ALIAS` row
+ * fires too.
+ */
+const shapeMatchesSince = (store, rule, mark, aliases) => {
+    const registry = store.registry();
+    for (const premise of rule.premises) {
+        if (premise.kind !== 'pattern') {
+            continue;
+        }
+        let verb = premise.pattern.verb;
+        let subjectSlot = premise.pattern.subject;
+        let objectSlot = premise.pattern.payload.kind === 'object' ? premise.pattern.payload.object : undefined;
+        if (verb.kind === 'verb') {
+            const { primary, isInverse } = Canonical.Registry.primaryOf(registry, verb.name);
+            if (isInverse) {
+                const swapped = objectSlot ?? { kind: 'wildcard' };
+                objectSlot = subjectSlot;
+                subjectSlot = swapped;
+                verb = { kind: 'verb', name: primary, transitive: verb.transitive };
+            }
+            else {
+                verb = { kind: 'verb', name: primary, transitive: verb.transitive };
+            }
+        }
+        const transitive = verb.kind === 'verb' && verb.transitive;
+        const conditions = ['c.tx > ?'];
+        const params = [mark];
+        if (verb.kind === 'verb') {
+            conditions.push('c.verb = ?');
+            params.push(verb.name);
+        }
+        conditions.push(`c.negated = ${!transitive && premise.pattern.negated ? 1 : 0}`);
+        if (transitive) {
+            // Any new edge of the verb can extend a path — endpoints unbounded.
+            conditions.push('c.object IS NOT NULL');
+        }
+        else {
+            if (subjectSlot.kind === 'term' && !aliases) {
+                conditions.push('c.subject = ?');
+                params.push(subjectSlot.text);
+            }
+            if (objectSlot?.kind === 'term' && !aliases) {
+                // A date/number object also matches metric rows (value in value_text).
+                conditions.push('(c.object = ? OR c.value_text = ?)');
+                params.push(objectSlot.text, objectSlot.text);
+            }
+            if (premise.pattern.payload.kind === 'attribute') {
+                conditions.push('c.attribute = ?');
+                params.push(premise.pattern.payload.attribute);
+                if (premise.pattern.payload.value.kind === 'term') {
+                    conditions.push('c.value_text = ?');
+                    params.push(premise.pattern.payload.value.text);
+                }
+            }
+        }
+        for (const context of premise.pattern.contexts) {
+            conditions.push('EXISTS (SELECT 1 FROM cave_context x WHERE x.claim_id = c.id AND x.context = ?)');
+            params.push(context);
+        }
+        for (const tag of premise.pattern.tags) {
+            if (tag.value === undefined) {
+                conditions.push('EXISTS (SELECT 1 FROM cave_tag t WHERE t.claim_id = c.id AND t.key = ? AND t.value IS NULL)');
+                params.push(tag.key);
+            }
+            else {
+                conditions.push('EXISTS (SELECT 1 FROM cave_tag t WHERE t.claim_id = c.id AND t.key = ? AND t.value = ?)');
+                params.push(tag.key, tag.value);
+            }
+        }
+        const row = store.db.prepare(`SELECT 1 AS hit FROM cave_claim c WHERE ${conditions.join(' AND ')} LIMIT 1`)
+            .get(...params);
+        if (row !== undefined) {
+            return true;
+        }
+    }
+    if (aliases) {
+        const row = store.db.prepare("SELECT 1 AS hit FROM cave_claim c WHERE c.tx > ? AND c.verb = 'ALIAS' LIMIT 1").get(mark);
+        if (row !== undefined) {
+            return true;
+        }
+    }
+    return false;
+};
+/**
+ * Specializes a pattern under partial bindings: bound variables become
+ * terms, so each join step runs an ordinary CAVE-Q query. Shared with
+ * `@cavelang/cli/act`, whose premise evaluation is the same left-to-right
+ * join with parameters pre-bound (spec §25.2).
+ * @returns `undefined` when a verb variable is bound to a non-verb —
+ * no row can match.
+ */
+export const specialize = (pattern, bindings) => {
+    const slot = (candidate) => candidate.kind === 'var' && bindings[candidate.name] !== undefined ?
+        { kind: 'term', text: bindings[candidate.name] } :
+        candidate;
+    let verb = pattern.verb;
+    if (verb.kind === 'var' && bindings[verb.name] !== undefined) {
+        const name = bindings[verb.name];
+        if (!Verb.isVerbToken(name)) {
+            return undefined;
+        }
+        verb = { kind: 'verb', name, transitive: false };
+    }
+    const payload = pattern.payload.kind === 'object' ? { kind: 'object', object: slot(pattern.payload.object) } :
+        pattern.payload.kind === 'attribute' ? { kind: 'attribute', attribute: pattern.payload.attribute, value: slot(pattern.payload.value) } :
+            pattern.payload;
+    return { ...pattern, subject: slot(pattern.subject), verb, payload };
+};
+/** Evaluates a `?var op value` constraint against the variable's binding. */
+export const satisfies = (bound, op, literal) => {
+    if (bound === undefined) {
+        return false;
+    }
+    const value = Row.parseValue(bound);
+    if (value.num !== undefined && literal.num !== undefined) {
+        // A unit on the constraint demands the same unit on the value; a bare
+        // numeric constraint compares numbers regardless of unit.
+        if (literal.unit !== undefined && value.unit !== literal.unit) {
+            return false;
+        }
+        switch (op) {
+            case '=': return value.num === literal.num;
+            case '!=': return value.num !== literal.num;
+            case '>': return value.num > literal.num;
+            case '>=': return value.num >= literal.num;
+            case '<': return value.num < literal.num;
+            case '<=': return value.num <= literal.num;
+        }
+    }
+    if (op === '=') {
+        return value.raw === literal.raw;
+    }
+    if (op === '!=') {
+        return value.raw !== literal.raw;
+    }
+    return false;
+};
+/**
+ * A bound value substituted into a conclusion term slot. Stored bindings
+ * are formatted (`"…"`/`` `…` `` literals keep their delimiters); bare
+ * text that would not re-tokenize as one term is wrapped as a text
+ * literal — except number/date values in payload position, which the
+ * pipeline classifies as metrics.
+ */
+export const boundTerm = (bound, position) => {
+    const term = Row.parseTerm(bound);
+    if (term.kind !== 'entity') {
+        return term;
+    }
+    if (safeAtomRe.test(term.text)) {
+        return term;
+    }
+    if (position === 'payload') {
+        const value = Value.parse(term.text);
+        if (value.kind === 'number' || value.kind === 'date') {
+            return term;
+        }
+    }
+    return Claim.text(term.text);
+};
+/**
+ * Instantiates the conclusion template for one solution and pushes it
+ * through the ordinary emit → canonicalize pipeline, so inverse verbs
+ * swap, entities normalize, and the stored `raw_line` is the canonical
+ * text (§24.2). The claim key is computed on the *stamped* claim — the
+ * same claim `insertResult` will key.
+ */
+const conclude = (rule, solution, registry) => {
+    const template = rule.conclusion;
+    const term = (candidate, position) => candidate.kind === 'entity' && candidate.text.startsWith('?') && candidate.text.length > 1 ?
+        boundTerm(solution.bindings[candidate.text.slice(1)], position) :
+        candidate;
+    let payload = template.payload;
+    if (payload.kind === 'relation') {
+        payload = Claim.relation(term(payload.object, 'payload'));
+    }
+    else if (payload.kind === 'attribute' && payload.value.kind === 'atom' && payload.value.raw.startsWith('?')) {
+        payload = Claim.attribute(payload.attribute, Row.parseValue(solution.bindings[payload.value.raw.slice(1)]));
+    }
+    else if (payload.kind === 'metric' && payload.value.kind === 'atom' && payload.value.raw.startsWith('?')) {
+        payload = Claim.metric(Row.parseValue(solution.bindings[payload.value.raw.slice(1)]));
+    }
+    const conf = Confidence.parse(Confidence.format(noisyAndIndependent(rule.conf, solution.rows.map(row => row.conf))));
+    const draft = Claim.of({
+        subject: term(template.subject, 'subject'),
+        verb: template.verb,
+        negated: template.negated,
+        payload,
+        contexts: template.meta.contexts,
+        tags: template.meta.tags,
+        importance: template.meta.importance,
+        conf,
+        ...template.meta.comment === undefined ? {} : { comment: template.meta.comment }
+    });
+    const result = Canonical.canonicalizeText(Canonical.emitClaim(draft), registry);
+    const claim = result.claims[0]?.claim;
+    if (result.problems.length > 0 || claim === undefined) {
+        const detail = result.problems.map(problem => problem.message).join('; ');
+        return { problem: `conclusion ${JSON.stringify(Canonical.emitClaim(draft))} did not canonicalize${detail === '' ? '' : ` — ${detail}`}` };
+    }
+    // Lifecycle stamp (spec §9.5, §24.3): applied even when the template
+    // names its own `src:` — suspension and `--retract` find derived rows
+    // by this context, so an authored source must not displace it.
+    const stamp = Context.source(ruleSubject(rule.digest));
+    const stamped = claim.contexts.includes(stamp) ?
+        claim :
+        { ...claim, contexts: [...claim.contexts, stamp] };
+    return { conclusion: { key: Key.of(stamped), claim, conf: stamped.conf, rows: solution.rows } };
+};
+const rollback = Symbol('cave-derive dry run');
+/**
+ * Fires the store's rules to fixpoint (§24.2). See the module doc for the
+ * semantics; `dryRun` computes the same report inside a rolled-back
+ * transaction.
+ */
+export const derive = (store, options = {}) => {
+    const minConf = options.minConf ?? defaultMinConf;
+    const maxPasses = options.maxPasses ?? defaultMaxPasses;
+    const aliases = options.aliases === true;
+    const { loaded, problems, notes } = loadRules(store);
+    let passes = 0;
+    const supported = new Set();
+    /** Suspended rows (§24.5): a fired rule's prior derivations, by row id. */
+    const suspended = new Map();
+    const fired = new Set();
+    /** Per-rule scan mark: rows at or before it are fully accounted for. */
+    const marks = new Map();
+    const storedMarks = new Map();
+    let complete = true;
+    for (const { rule, row } of loaded) {
+        const watermark = store.currentBelief(bookkeepingKey(ruleSubject(rule.digest), watermarkAttribute));
+        // A watermark is trusted only when it postdates the current
+        // declaration row: retracting and re-declaring a rule keeps its
+        // digest — and so its watermark claim key — while the conclusions
+        // were retracted with it, so an older watermark would skip every
+        // pre-existing premise (BUGS.md stale-rule-watermark). A re-declared
+        // rule fires from scratch.
+        const stored = watermark !== undefined && watermark.conf > 0 && watermark.tx > row.tx ?
+            watermark.value_text ?? undefined :
+            undefined;
+        storedMarks.set(rule.digest, stored);
+        marks.set(rule.digest, options.full === true ? undefined : stored);
+    }
+    const suspend = (entry) => {
+        const rows = store.byProvenance('run', ruleSubject(entry.rule.digest));
+        for (const row of latestPerKey(rows).values()) {
+            if (row.conf > 0 && !isDeclaration(row)) {
+                suspended.set(row.id, { row, outcome: entry.outcome });
+            }
+        }
+    };
+    /** Premise matches, minus suspended rows that have not been re-supported. */
+    const matchPremise = (pattern) => match(store, pattern, { aliases }).filter(entry => entry.row === undefined || !suspended.has(entry.row.id) || supported.has(entry.row.claim_key));
+    const evaluate = (entry) => {
+        const { rule, row, outcome } = entry;
+        let progress = false;
+        let solutions = [{ bindings: {}, rows: [] }];
+        for (const premise of rule.premises) {
+            if (premise.kind === 'constraint') {
+                solutions = solutions.filter(solution => satisfies(solution.bindings[premise.variable], premise.op, premise.value));
+            }
+            else {
+                solutions = solutions.flatMap(solution => {
+                    const pattern = specialize(premise.pattern, solution.bindings);
+                    if (pattern === undefined) {
+                        return [];
+                    }
+                    return matchPremise(pattern).map(found => ({
+                        bindings: { ...solution.bindings, ...found.bindings },
+                        rows: found.row === undefined ? solution.rows : [...solution.rows, found.row]
+                    }));
+                });
+            }
+            if (solutions.length === 0) {
+                break;
+            }
+        }
+        outcome.evaluations += 1;
+        outcome.solutions = solutions.length;
+        /** Strongest derivation per conclusion key (§24.2). */
+        const best = new Map();
+        for (const solution of solutions) {
+            const { conclusion, problem } = conclude(rule, solution, store.registry());
+            if (problem !== undefined) {
+                if (!outcome.problems.includes(problem)) {
+                    outcome.problems.push(problem);
+                }
+                continue;
+            }
+            const seen = best.get(conclusion.key);
+            if (seen === undefined || conclusion.conf > seen.conf) {
+                best.set(conclusion.key, conclusion);
+            }
+        }
+        for (const conclusion of best.values()) {
+            if (conclusion.conf < minConf) {
+                continue;
+            }
+            if (!supported.has(conclusion.key)) {
+                supported.add(conclusion.key);
+                progress = true;
+            }
+            const current = store.currentBelief(conclusion.key);
+            const columns = Row.toColumns(conclusion.claim);
+            if (current !== undefined && current.conf > 0 &&
+                Math.abs(current.conf - conclusion.conf) < 1e-9 && current.value_text === columns.valueText) {
+                outcome.unchanged += 1;
+                continue;
+            }
+            const inserted = store.insertResult({ claims: [{ claim: conclusion.claim, line: 0 }], edges: [], registry: store.registry(), problems: [] }, { source: ruleSubject(rule.digest), lifecycle: true });
+            // `conclude` returns the claim rather than its one-line registry
+            // result. Replay all stored declarations after a generated vocabulary
+            // claim so later rules and fixpoint passes see it immediately.
+            if (isDeclarationClaim(conclusion.claim)) {
+                store.reloadRegistry();
+            }
+            const id = inserted.ids[0];
+            const premiseIds = [...new Set(conclusion.rows.map(premiseRow => premiseRow.id))];
+            store.appendEdges([
+                ...premiseIds.map(childId => ({ parentId: id, role: 'BECAUSE', childId })),
+                { parentId: id, role: 'VIA', childId: row.id }
+            ]);
+            if (current === undefined || current.conf === 0) {
+                outcome.appended += 1;
+            }
+            else {
+                outcome.updated += 1;
+            }
+            progress = true;
+        }
+        return progress;
+    };
+    const run = () => {
+        const truncate = () => {
+            complete = false;
+            notes.push(`stopped at ${maxPasses} passes before reaching a fixpoint — no unsupported conclusions were retracted and no watermarks were advanced; re-run to continue, or raise maxPasses`);
+        };
+        for (;;) {
+            // Pass loop: evaluate until no rule writes or extends support.
+            let quiescent = false;
+            while (!quiescent && passes < maxPasses) {
+                passes += 1;
+                let progress = false;
+                for (const entry of loaded) {
+                    const mark = marks.get(entry.rule.digest);
+                    const now = maxTx(store);
+                    if (mark !== undefined && !shapeMatchesSince(store, entry.rule, mark, aliases)) {
+                        continue;
+                    }
+                    if (!fired.has(entry.rule.digest)) {
+                        fired.add(entry.rule.digest);
+                        entry.outcome.fired = true;
+                        suspend(entry);
+                    }
+                    if (evaluate(entry)) {
+                        progress = true;
+                    }
+                    marks.set(entry.rule.digest, now);
+                }
+                quiescent = !progress;
+            }
+            // Support is incomplete when the pass guard stops active evaluation.
+            // Retraction would turn every not-yet-revisited suspended row into a
+            // false negative, so leave both rows and watermarks untouched.
+            if (!quiescent) {
+                truncate();
+                return;
+            }
+            // Retraction phase (§24.5): suspended rows never re-supported lost
+            // their premises. Retraction rows are ordinary appends — the loop
+            // re-enters so dependent rules see them and cascade.
+            let retracted = false;
+            for (const [id, { row, outcome }] of suspended) {
+                if (supported.has(row.claim_key)) {
+                    continue;
+                }
+                retract(store, row, 'retracted: premises no longer hold');
+                suspended.delete(id);
+                outcome.retracted += 1;
+                retracted = true;
+            }
+            if (!retracted) {
+                return;
+            }
+            if (passes >= maxPasses) {
+                truncate();
+                return;
+            }
+        }
+    };
+    const finalize = () => {
+        if (!complete)
+            return;
+        for (const entry of loaded) {
+            if (!fired.has(entry.rule.digest)) {
+                continue;
+            }
+            const mark = marks.get(entry.rule.digest);
+            if (mark === undefined || mark === storedMarks.get(entry.rule.digest)) {
+                continue;
+            }
+            store.ingest(`${ruleSubject(entry.rule.digest)} HAS ${watermarkAttribute}: ${mark} @${provenanceContext}`);
+        }
+    };
+    if (options.dryRun === true) {
+        try {
+            store.transaction(() => {
+                run();
+                throw rollback;
+            });
+        }
+        catch (error) {
+            if (error !== rollback) {
+                throw error;
+            }
+        }
+    }
+    else {
+        store.transaction(() => {
+            run();
+            finalize();
+        });
+    }
+    const outcomes = loaded.map(entry => entry.outcome);
+    return {
+        rules: outcomes,
+        problems,
+        complete,
+        passes,
+        appended: outcomes.reduce((sum, outcome) => sum + outcome.appended, 0),
+        updated: outcomes.reduce((sum, outcome) => sum + outcome.updated, 0),
+        unchanged: outcomes.reduce((sum, outcome) => sum + outcome.unchanged, 0),
+        retracted: outcomes.reduce((sum, outcome) => sum + outcome.retracted, 0),
+        notes
+    };
+};
+//# sourceMappingURL=engine.js.map

package/dist/internal/rules/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAC7E,OAAO,KAAK,SAAS,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AACtD,OAAO,EAAE,GAAG,EAAc,MAAM,iBAAiB,CAAA;AACjD,OAAO,EAAE,KAAK,EAAgB,MAAM,iBAAiB,CAAA;AACrD,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC,yEAAyE;AACzE,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAA;AAEnC,sDAAsD;AACtD,MAAM,CAAC,MAAM,kBAAkB,GAAG,kBAAkB,CAAA;AAEpD,wFAAwF;AACxF,MAAM,CAAC,MAAM,iBAAiB,GAAG,iBAAiB,CAAA;AAElD,yEAAyE;AACzE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAc,EAAU,EAAE,CACpD,QAAQ,MAAM,EAAE,CAAA;AAelB,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAA;AAElC,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,CAAA;AA2ClC,MAAM,UAAU,GAAG,gCAAgC,CAAA;AAEnD,qFAAqF;AACrF,MAAM,aAAa,GAAG,CAAC,GAAU,EAAW,EAAE,CAC5C,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;IACnD,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,CAAA;AAE9C,MAAM,kBAAkB,GAAG,CAAC,KAAc,EAAW,EAAE,CACrD,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;IACvD,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU;QACvD,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;AAEnF,sFAAsF;AACtF,MAAM,cAAc,GAAG,CAAC,OAAe,EAAE,SAAiB,EAAU,EAAE,CACpE,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;IACd,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;IAC9B,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrD,QAAQ,EAAE,CAAC,iBAAiB,CAAC;CAC9B,CAAC,CAAC,CAAA;AAEL,MAAM,KAAK,GAAG,CAAC,KAAY,EAAsB,EAAE,CAChD,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC,GAAG,EAA2B,CAAC,CAAC,IAAI,SAAS,CAAA;AAExG,0EAA0E;AAC1E,MAAM,YAAY,GAAG,CAAC,IAAsB,EAAsB,EAAE;IAClE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAA;IACvC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QACtC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;QAChC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,+EAA+E;AAC/E,MAAM,OAAO,GAAG,CAAC,KAAY,EAAE,GAAU,EAAE,OAAe,EAAQ,EAAE;IAClE,KAAK,CAAC,YAAY,CAAC;QACjB,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAClF,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;QAC1B,QAAQ,EAAE,EAAE;KACb,CAAC,CAAA;AACJ,CAAC,CAAA;AASD;;;GAGG;AACH,MAAM,SAAS,GAAG,CAAC,KAAY,EAAkE,EAAE;IACjG,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,MAAM,QAAQ,GAAkB,EAAE,CAAA;IAClC,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC1C,MAAM,YAAY,GAAG,KAAK,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CACvD,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,SAAS,KAAK,aAAa,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAA;IACxH,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,UAAW,CAAC,CAAC,GAAG,CAAA;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC/B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAA;YAClE,SAAQ;QACV,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC/C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,eAAe,MAAM,sCAAsC,CAAC,CAAA;YACrF,SAAQ;QACV,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAA;QAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC,OAAO,IAAI,SAAS,CAAA;QAC3D,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,GAAG;YACH,OAAO,EAAE;gBACP,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM;gBAC1B,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;gBACtB,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE;gBACvC,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,CAAC;gBACd,SAAS,EAAE,CAAC;gBACZ,QAAQ,EAAE,CAAC;gBACX,OAAO,EAAE,CAAC;gBACV,SAAS,EAAE,CAAC;gBACZ,SAAS,EAAE,CAAC;gBACZ,QAAQ,EAAE,EAAE;aACb;SACF,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;AACpC,CAAC,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,iBAAiB,GAAG,CAAC,KAAY,EAAE,IAAY,EAAE,IAAY,EAAE,OAAgB,EAAW,EAAE;IAChG,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAA;IACjC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAA;QAC/B,IAAI,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAA;QACzC,IAAI,UAAU,GACZ,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;QACxF,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;YAChF,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,OAAO,GAAG,UAAU,IAAI,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAA;gBAC3D,UAAU,GAAG,WAAW,CAAA;gBACxB,WAAW,GAAG,OAAO,CAAA;gBACrB,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAA;YACrE,CAAC;iBAAM,CAAC;gBACN,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAA;YACrE,CAAC;QACH,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,CAAA;QAC1D,MAAM,UAAU,GAAa,CAAC,UAAU,CAAC,CAAA;QACzC,MAAM,MAAM,GAAwB,CAAC,IAAI,CAAC,CAAA;QAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;YAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACxB,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAChF,IAAI,UAAU,EAAE,CAAC;YACf,oEAAoE;YACpE,UAAU,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAA;QACzC,CAAC;aAAM,CAAC;YACN,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC5C,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;gBAChC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;YAC/B,CAAC;YACD,IAAI,UAAU,EAAE,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC5C,uEAAuE;gBACvE,UAAU,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAA;gBACrD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAA;YAC/C,CAAC;YACD,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACjD,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;gBAClC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;gBAC9C,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAClD,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;oBACnC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;gBACjD,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC/C,UAAU,CAAC,IAAI,CAAC,iFAAiF,CAAC,CAAA;YAClG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACtB,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YACvC,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC5B,UAAU,CAAC,IAAI,CAAC,6FAA6F,CAAC,CAAA;gBAC9G,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACtB,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,IAAI,CAAC,yFAAyF,CAAC,CAAA;gBAC1G,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;YACjC,CAAC;QACH,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,2CAA2C,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;aACxG,GAAG,CAAC,GAAG,MAAM,CAAC,CAAA;QACjB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,+EAA+E,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACvH,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,OAAkB,EAAE,QAA0C,EAAyB,EAAE;IAClH,MAAM,IAAI,GAAG,CAAC,SAAuB,EAAgB,EAAE,CACrD,SAAS,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC;QAClE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAE,EAAE,CAAC,CAAC;QACnD,SAAS,CAAA;IACb,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAA;IACvB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAE,CAAA;QACjC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAA;IAClD,CAAC;IACD,MAAM,OAAO,GACX,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC9F,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACxI,OAAO,CAAC,OAAO,CAAA;IACjB,OAAO,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;AACtE,CAAC,CAAA;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAyB,EAAE,EAAqB,EAAE,OAAgB,EAAW,EAAE;IACvG,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IACnC,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QACzD,sEAAsE;QACtE,0DAA0D;QAC1D,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC;YAC9D,OAAO,KAAK,CAAA;QACd,CAAC;QACD,QAAQ,EAAE,EAAE,CAAC;YACX,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,CAAA;YAC1C,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,CAAA;YAC3C,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAA;YACxC,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAA;YAC1C,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAA;YACxC,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAA;QAC5C,CAAC;IACH,CAAC;IACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;QACf,OAAO,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,CAAA;IAClC,CAAC;IACD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,CAAA;IAClC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,QAA+B,EAAc,EAAE;IACtF,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrD,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC9B,CAAC,CAAA;AAcD;;;;;;GAMG;AACH,MAAM,QAAQ,GAAG,CACf,IAAY,EACZ,QAAkB,EAClB,QAA8B,EACiB,EAAE;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAA;IAChC,MAAM,IAAI,GAAG,CAAC,SAAqB,EAAE,QAA+B,EAAc,EAAE,CAClF,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC1F,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClE,SAAS,CAAA;IACb,IAAI,OAAO,GAAkB,QAAQ,CAAC,OAAO,CAAA;IAC7C,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;IAC3D,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9G,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAA;IAC9G,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3G,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAA;IACxF,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAC7C,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CACnE,CAAE,CAAA;IACH,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;QAC1C,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,OAAO;QACP,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ;QAChC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI;QACxB,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,UAAU;QACpC,IAAI;QACJ,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE;KACjF,CAAC,CAAA;IACF,MAAM,MAAM,GAAG,SAAS,CAAC,gBAAgB,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAA;IAC/E,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAA;IACrC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACzE,OAAO,EAAE,OAAO,EAAE,cAAc,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,wBAAwB,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,MAAM,EAAE,EAAE,EAAE,CAAA;IAC3I,CAAC;IACD,qEAAqE;IACrE,sEAAsE;IACtE,+DAA+D;IAC/D,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;IACtD,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9C,KAAK,CAAC,CAAC;QACP,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;IACpD,OAAO,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAA;AACjG,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,MAAM,CAAC,qBAAqB,CAAC,CAAA;AAE9C;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,UAAyB,EAAE,EAAgB,EAAE;IAChF,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,cAAc,CAAA;IACjD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,gBAAgB,CAAA;IACvD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,KAAK,IAAI,CAAA;IACxC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;IAEpD,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,2EAA2E;IAC3E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgD,CAAA;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/B,wEAAwE;IACxE,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAA;IACnD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA8B,CAAA;IACzD,IAAI,QAAQ,GAAG,IAAI,CAAA;IAEnB,KAAK,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,MAAM,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,KAAK,CAAC,aAAa,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAA;QACnG,4DAA4D;QAC5D,gEAAgE;QAChE,kEAAkE;QAClE,iEAAiE;QACjE,qEAAqE;QACrE,2BAA2B;QAC3B,MAAM,MAAM,GAAG,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,IAAI,SAAS,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;YACrF,SAAS,CAAC,UAAU,IAAI,SAAS,CAAC,CAAC;YACnC,SAAS,CAAA;QACX,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QACpC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;IACpE,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,KAAa,EAAQ,EAAE;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;QACtE,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;YACxD,CAAC;QACH,CAAC;IACH,CAAC,CAAA;IAED,6EAA6E;IAC7E,MAAM,YAAY,GAAG,CAAC,OAAkB,EAAiE,EAAE,CACzG,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAChD,KAAK,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAA;IAElG,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAW,EAAE;QAC1C,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,KAAK,CAAA;QACpC,IAAI,QAAQ,GAAG,KAAK,CAAA;QACpB,IAAI,SAAS,GAAe,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAA;QACxD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAClC,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;YACrH,CAAC;iBAAM,CAAC;gBACN,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;oBACvC,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;oBAC9D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;wBAC1B,OAAO,EAAE,CAAA;oBACX,CAAC;oBACD,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;wBACzC,QAAQ,EAAE,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE;wBACrD,IAAI,EAAE,KAAK,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;qBAC9E,CAAC,CAAC,CAAA;gBACL,CAAC,CAAC,CAAA;YACJ,CAAC;YACD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,MAAK;YACP,CAAC;QACH,CAAC;QACD,OAAO,CAAC,WAAW,IAAI,CAAC,CAAA;QACxB,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,MAAM,CAAA;QAEpC,uDAAuD;QACvD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAsB,CAAA;QAC1C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;YAC1E,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;oBACxC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;gBAChC,CAAC;gBACD,SAAQ;YACV,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,UAAW,CAAC,GAAG,CAAC,CAAA;YACtC,IAAI,IAAI,KAAK,SAAS,IAAI,UAAW,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBACvD,IAAI,CAAC,GAAG,CAAC,UAAW,CAAC,GAAG,EAAE,UAAW,CAAC,CAAA;YACxC,CAAC;QACH,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,UAAU,CAAC,IAAI,GAAG,OAAO,EAAE,CAAC;gBAC9B,SAAQ;YACV,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;gBAC7B,QAAQ,GAAG,IAAI,CAAA;YACjB,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;YACnD,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;YAC/C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC;gBACzC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,UAAU,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;gBAChG,OAAO,CAAC,SAAS,IAAI,CAAC,CAAA;gBACtB,SAAQ;YACV,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CACjC,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,EACvG,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CACtD,CAAA;YACD,iEAAiE;YACjE,sEAAsE;YACtE,+DAA+D;YAC/D,IAAI,kBAAkB,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzC,KAAK,CAAC,cAAc,EAAE,CAAA;YACxB,CAAC;YACD,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,CAAA;YAC3B,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;YACjF,KAAK,CAAC,WAAW,CAAC;gBAChB,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,SAAkB,EAAE,OAAO,EAAE,CAAC,CAAC;gBACnF,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE;aACxD,CAAC,CAAA;YACF,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBAChD,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAA;YACvB,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;YACtB,CAAC;YACD,QAAQ,GAAG,IAAI,CAAA;QACjB,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC,CAAA;IAED,MAAM,GAAG,GAAG,GAAS,EAAE;QACrB,MAAM,QAAQ,GAAG,GAAS,EAAE;YAC1B,QAAQ,GAAG,KAAK,CAAA;YAChB,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,wJAAwJ,CAAC,CAAA;QAC7L,CAAC,CAAA;QACD,SAAS,CAAC;YACR,+DAA+D;YAC/D,IAAI,SAAS,GAAG,KAAK,CAAA;YACrB,OAAO,CAAC,SAAS,IAAI,MAAM,GAAG,SAAS,EAAE,CAAC;gBACxC,MAAM,IAAI,CAAC,CAAA;gBACX,IAAI,QAAQ,GAAG,KAAK,CAAA;gBACpB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;oBACzC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;oBACxB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;wBAC/E,SAAQ;oBACV,CAAC;oBACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;wBAClC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;wBAC5B,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,IAAI,CAAA;wBAC1B,OAAO,CAAC,KAAK,CAAC,CAAA;oBAChB,CAAC;oBACD,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;wBACpB,QAAQ,GAAG,IAAI,CAAA;oBACjB,CAAC;oBACD,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;gBACnC,CAAC;gBACD,SAAS,GAAG,CAAC,QAAQ,CAAA;YACvB,CAAC;YACD,qEAAqE;YACrE,qEAAqE;YACrE,+DAA+D;YAC/D,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,QAAQ,EAAE,CAAA;gBACV,OAAM;YACR,CAAC;YACD,mEAAmE;YACnE,kEAAkE;YAClE,qDAAqD;YACrD,IAAI,SAAS,GAAG,KAAK,CAAA;YACrB,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC/C,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;oBACjC,SAAQ;gBACV,CAAC;gBACD,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,oCAAoC,CAAC,CAAA;gBACzD,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;gBACpB,OAAO,CAAC,SAAS,IAAI,CAAC,CAAA;gBACtB,SAAS,GAAG,IAAI,CAAA;YAClB,CAAC;YACD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,OAAM;YACR,CAAC;YACD,IAAI,MAAM,IAAI,SAAS,EAAE,CAAC;gBACxB,QAAQ,EAAE,CAAA;gBACV,OAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC,CAAA;IAED,MAAM,QAAQ,GAAG,GAAS,EAAE;QAC1B,IAAI,CAAC,QAAQ;YAAE,OAAM;QACrB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClC,SAAQ;YACV,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACzC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtE,SAAQ;YACV,CAAC;YACD,KAAK,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,kBAAkB,KAAK,IAAI,KAAK,iBAAiB,EAAE,CAAC,CAAA;QAC5G,CAAC;IACH,CAAC,CAAA;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;gBACrB,GAAG,EAAE,CAAA;gBACL,MAAM,QAAQ,CAAA;YAChB,CAAC,CAAC,CAAA;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACvB,MAAM,KAAK,CAAA;YACb,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;YACrB,GAAG,EAAE,CAAA;YACL,QAAQ,EAAE,CAAA;QACZ,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACnD,OAAO;QACL,KAAK,EAAE,QAAQ;QACf,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QACtE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACpE,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;QACxE,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;QACxE,KAAK;KACN,CAAA;AACH,CAAC,CAAA"}

package/dist/internal/rules/index.d.ts

@@ -0,0 +1,23 @@
+/**
+ * `@cavelang/cli/rules` — the CAVE rules engine (spec §24): forward-chaining
+ * `premises => conclusion` rules over current beliefs.
+ *
+ * ```ts
+ * import { declareRules, derive } from '@cavelang/cli/rules'
+ *
+ * declareRules(store, '?x NEEDS ?y, ?y NEEDS ?z => ?x NEEDS ?z')
+ * derive(store)
+ * // appends e.g. `a NEEDS c @src:rule/9f30ac9be4dd`, linked BECAUSE to the
+ * // two premise rows and VIA to the rule's declaration row
+ * ```
+ *
+ * Derived confidence is noisy-AND (`@cavelang/fusion`, independence
+ * explicit); re-runs are idempotent and incremental by tx watermark;
+ * premise retraction retracts dependents (§24.4–§24.5).
+ */
+export * as Rule from './rule.ts';
+export { boundTerm, derive, defaultMinConf, defaultMaxPasses, provenanceContext, ruleAttribute, ruleSubject, satisfies, specialize, watermarkAttribute } from './engine.ts';
+export type { DeriveOptions, DeriveReport, RuleOutcome, RuleProblem } from './engine.ts';
+export { declareRules, listRules, retractRule } from './declare.ts';
+export type { Declaration, ListedRule, Retraction } from './declare.ts';
+//# sourceMappingURL=index.d.ts.map

package/dist/internal/rules/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAC3K,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACxF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AACnE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA"}

package/dist/internal/rules/index.js

@@ -0,0 +1,21 @@
+/**
+ * `@cavelang/cli/rules` — the CAVE rules engine (spec §24): forward-chaining
+ * `premises => conclusion` rules over current beliefs.
+ *
+ * ```ts
+ * import { declareRules, derive } from '@cavelang/cli/rules'
+ *
+ * declareRules(store, '?x NEEDS ?y, ?y NEEDS ?z => ?x NEEDS ?z')
+ * derive(store)
+ * // appends e.g. `a NEEDS c @src:rule/9f30ac9be4dd`, linked BECAUSE to the
+ * // two premise rows and VIA to the rule's declaration row
+ * ```
+ *
+ * Derived confidence is noisy-AND (`@cavelang/fusion`, independence
+ * explicit); re-runs are idempotent and incremental by tx watermark;
+ * premise retraction retracts dependents (§24.4–§24.5).
+ */
+export * as Rule from "./rule.js";
+export { boundTerm, derive, defaultMinConf, defaultMaxPasses, provenanceContext, ruleAttribute, ruleSubject, satisfies, specialize, watermarkAttribute } from "./engine.js";
+export { declareRules, listRules, retractRule } from "./declare.js";
+//# sourceMappingURL=index.js.map