@cavelang/cli 0.27.14 → 0.29.0

package/dist/internal/automate/engine.js

@@ -0,0 +1,388 @@
+/**
+ * The settle engine (spec §29.2–§29.4) — evaluates every current
+ * automation against the store's change feed and runs the steps of the
+ * solutions that fire.
+ *
+ * - Triggers join exactly like rules and actions (§24.2's left-to-right
+ *   join over current positive beliefs); a solution **fires** only when
+ *   it cites at least one *event row* — a premise row newer than the
+ *   automation's watermark that is neither engine bookkeeping
+ *   (actors `cave-automate` / `cave-derive` / `cave-act`) nor the
+ *   automation's own lifecycle run (`automation/<name>`, or `action/<x>`
+ *   for its action steps). An automation is deaf to its own echo; other
+ *   automations' output triggers normally, which is how automations chain.
+ *   A transitive (`VERB+`) premise cites its supporting edge rows (the
+ *   query layer's `support` option), so a new edge is an event exactly
+ *   for the solutions whose connection it backs — with the same
+ *   exclusions applied per edge row.
+ * - An automation arms at the later of its stored watermark and its
+ *   declaration row's tx — it watches from the moment it is declared
+ *   (§29.2), and a watermark left current by a retracted incarnation
+ *   never lets a re-declaration fire over rows recorded in between.
+ * - Firing records the batch *before* acting on it (§29.3): one
+ *   `automate-watermark` append (the firing log), then the steps per
+ *   solution in declaration order — re-runs never re-notify the world.
+ * - One `settle` call is a cycle: passes run derivation (§24, opt-out)
+ *   then every automation, until nothing fires — steps append, the next
+ *   pass sees the new rows, and idempotent write paths make chains
+ *   converge (§29.4).
+ */
+import { spawnSync } from 'node:child_process';
+import { Context, Key } from '@cavelang/core';
+import * as Canonical from '@cavelang/canonical';
+import { act, loadAction, shellQuote } from '@cavelang/cli/act';
+import { match } from '@cavelang/query';
+import { derive, satisfies, specialize } from '@cavelang/cli/rules';
+import { Row } from '@cavelang/store';
+import * as Automation from "./automation.js";
+import { bookkeepingKey, loadAutomations, provenanceContext } from "./declare.js";
+/** Attribute of per-automation watermark claims (spec §29.2). */
+export const watermarkAttribute = 'automate-watermark';
+export const defaultMaxPasses = 20;
+export const defaultAgentTimeoutSeconds = 120;
+/** Engine bookkeeping sources — never event rows (spec §29.2). */
+const infrastructureActors = ['cave-automate', 'cave-derive', 'cave-act'];
+/** `true` when the report contains a failed step or a parse problem. */
+export const settled = (report) => report.problems.length === 0 &&
+    report.automations.every(automation => automation.firings.every(firing => firing.steps.every(step => step.outcome !== 'failed')));
+const maxTx = (store) => store.db.prepare('SELECT MAX(tx) AS t FROM cave_claim').get().t ?? undefined;
+/** The §24.2 join with no pre-bound parameters — the trigger evaluation. */
+const evaluateTrigger = (store, automation, aliases) => {
+    let solutions = [{ bindings: {}, rows: [] }];
+    for (const premise of automation.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 match(store, pattern, { aliases, support: true }).map(found => ({
+                    bindings: { ...solution.bindings, ...found.bindings },
+                    rows: found.row !== undefined ? [...solution.rows, found.row] :
+                        found.rows !== undefined ? [...solution.rows, ...found.rows] :
+                            solution.rows
+                }));
+            });
+        }
+        if (solutions.length === 0) {
+            break;
+        }
+    }
+    return solutions;
+};
+/**
+ * Sources whose rows an automation must not treat as events — its own
+ * agent replies and the effects of its own action steps (spec §29.2).
+ */
+const echoRuns = (automation) => [
+    automation.subject,
+    ...automation.steps.flatMap(step => step.kind === 'action' ? [`action/${step.name}`] : [])
+];
+/**
+ * Raw text of a stored binding — literal delimiters stripped, so values
+ * read naturally in prompts and hook placeholders and round-trip through
+ * the §25.2 argument formatting.
+ */
+const rawBinding = (bound) => Row.parseValue(bound).raw;
+/** Substitutes bound `?var`s into a prompt template, longest name first. */
+export const substitutePrompt = (template, bindings) => {
+    let text = template;
+    for (const name of Object.keys(bindings).sort((a, b) => b.length - a.length)) {
+        const escaped = name.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+        text = text.replace(new RegExp(`\\?${escaped}(?![A-Za-z0-9_-])`, 'g'), rawBinding(bindings[name]));
+    }
+    return text;
+};
+/**
+ * Substitutes `{automation}` and `{<var>}` placeholders in one pass —
+ * every value shell-quoted, never spliced raw (§25.4's rule); unknown
+ * placeholders stay.
+ */
+export const substituteHook = (template, automation, bindings) => template.replace(/\{([A-Za-z][A-Za-z0-9_-]*)\}/g, (whole, name) => name === 'automation' ? shellQuote(automation) :
+    bindings[name] !== undefined ? shellQuote(rawBinding(bindings[name])) :
+        whole);
+/** Canonical lines of a solution's premise rows, deduplicated, join order. */
+const solutionLines = (store, solution) => {
+    const seen = new Set();
+    const lines = [];
+    for (const row of solution.rows) {
+        if (!seen.has(row.id)) {
+            seen.add(row.id);
+            lines.push(Canonical.emitClaim(store.toClaim(row)));
+        }
+    }
+    return lines;
+};
+/** The engine-built prompt around one instantiated template (spec §29.3). */
+export const buildPrompt = (automation, description, instruction, claims) => `You are the agent step of the CAVE automation "${automation.name}"${description === undefined ? '' : ` — ${description}`}.
+
+Instruction:
+${instruction}
+
+Triggering claims (current beliefs matched by the trigger):
+\`\`\`cave
+${claims.join('\n')}
+\`\`\`
+
+Reply with CAVE claim lines to record in the store — they are appended
+stamped @src:${automation.subject}, and a line equal to current belief is
+skipped. Reply with nothing to record nothing. Output only CAVE lines.`;
+const runAction = (store, step, solution, options) => {
+    const resolved = loadAction(store, step.name);
+    if (resolved === undefined) {
+        return { step: step.text, kind: 'action', outcome: 'failed', detail: `no current action "action/${step.name}" — declare it first (spec §25.1)` };
+    }
+    if (resolved.loaded === undefined) {
+        return { step: step.text, kind: 'action', outcome: 'failed', detail: `the declaration of "action/${step.name}" does not parse: ${resolved.problems.join('; ')}` };
+    }
+    const args = {};
+    for (const param of resolved.loaded.action.params) {
+        const bound = solution.bindings[param];
+        if (bound === undefined) {
+            return { step: step.text, kind: 'action', outcome: 'failed', detail: `the trigger did not bind ?${param} — action parameters bind from same-named trigger variables (spec §29.3)` };
+        }
+        args[param] = rawBinding(bound);
+    }
+    const report = act(store, step.name, args, {
+        check: options.check !== false,
+        aliases: options.aliases === true,
+        ...options.hooks === undefined ? {} : { hooks: options.hooks },
+        ...options.cwd === undefined ? {} : { cwd: options.cwd },
+        ...options.hookTimeoutSeconds === undefined ? {} : { hookTimeoutSeconds: options.hookTimeoutSeconds }
+    });
+    if (!report.ok) {
+        return { step: step.text, kind: 'action', outcome: 'failed', detail: report.error };
+    }
+    const hook = report.hook !== undefined && report.hook.error !== undefined ? `; hook ${report.hook.name}: ${report.hook.error}` : '';
+    return {
+        step: step.text,
+        kind: 'action',
+        outcome: hook === '' ? 'ok' : 'failed',
+        appended: report.appended + report.updated,
+        detail: `+${report.appended} appended, ${report.updated} updated, ${report.unchanged} unchanged${hook}`
+    };
+};
+const runHook = (name, automation, solution, lines, options) => {
+    const step = `hook/${name}`;
+    const template = options.hooks?.[name];
+    if (template === undefined) {
+        return { step, kind: 'hook', outcome: 'not-configured', detail: 'hook not configured (spec §25.4)' };
+    }
+    const command = substituteHook(template, automation.name, solution.bindings);
+    const result = spawnSync(command, {
+        shell: true,
+        encoding: 'utf8',
+        input: `${lines.join('\n')}\n`,
+        timeout: (options.hookTimeoutSeconds ?? 600) * 1000,
+        ...options.cwd === undefined ? {} : { cwd: options.cwd }
+    });
+    const output = `${result.stdout ?? ''}${result.stderr ?? ''}`.trim();
+    // A hook may exit without reading its stdin (e.g. `true`): the input
+    // pipe then reports EPIPE even though the hook ran and exited cleanly,
+    // so only non-EPIPE spawn errors fail the step — the exit status still
+    // arrives and is judged as usual.
+    const spawnFailure = result.error !== undefined && result.error.code !== 'EPIPE' ?
+        result.error.message :
+        undefined;
+    const error = spawnFailure !== undefined ? spawnFailure :
+        result.status !== 0 ? `hook exited with ${result.status ?? `signal ${result.signal}`}` :
+            undefined;
+    const detail = error !== undefined ? `${error}${output === '' ? '' : ` — ${output}`}` :
+        output === '' ? undefined : output;
+    return {
+        step,
+        kind: 'hook',
+        outcome: error === undefined ? 'ok' : 'failed',
+        ...detail === undefined ? {} : { detail }
+    };
+};
+/**
+ * Appends an agent reply (spec §29.3): lenient parse, `@src:automation/<name>`
+ * stamp, and the §24.4 idempotency convention per claim — a reply claim
+ * equal to its current belief appends nothing (claims cited by qualifier
+ * edges are kept, so reply structure survives).
+ */
+export const appendReply = (store, automation, reply) => {
+    const result = Canonical.canonicalizeText(reply, store.registry());
+    const problems = result.problems.map(problem => `reply line ${problem.line}: ${problem.message}`);
+    const referenced = new Set();
+    for (const edge of result.edges) {
+        referenced.add(edge.parent);
+        referenced.add(edge.child);
+    }
+    const keep = [];
+    result.claims.forEach((entry, index) => {
+        const stamp = Context.source(automation.subject);
+        const stamped = entry.claim.contexts.includes(stamp) ?
+            entry.claim :
+            { ...entry.claim, contexts: [...entry.claim.contexts, stamp] };
+        const current = store.currentBelief(Key.of(stamped));
+        const columns = Row.toColumns(entry.claim);
+        const unchanged = current !== undefined && Math.abs(current.conf - entry.claim.conf) < 1e-9 &&
+            current.value_text === columns.valueText;
+        if (!unchanged || referenced.has(index)) {
+            keep.push(index);
+        }
+    });
+    if (keep.length === 0) {
+        return { appended: 0, problems };
+    }
+    const remap = new Map(keep.map((old, at) => [old, at]));
+    const inserted = store.insertResult({
+        claims: keep.map(index => result.claims[index]),
+        edges: result.edges.map(edge => ({ parent: remap.get(edge.parent), role: edge.role, child: remap.get(edge.child) })),
+        registry: result.registry,
+        problems: []
+    }, { source: automation.subject, lifecycle: true });
+    return { appended: inserted.ids.length, problems };
+};
+const runPrompt = async (store, step, automation, description, solution, lines, options) => {
+    if (options.complete === undefined) {
+        return { step: step.text, kind: 'prompt', outcome: 'not-configured', detail: 'no agent configured (--agent, spec §29.3)' };
+    }
+    const prompt = buildPrompt(automation, description, substitutePrompt(step.template, solution.bindings), lines);
+    let reply;
+    try {
+        reply = await options.complete(prompt);
+    }
+    catch (error) {
+        return { step: step.text, kind: 'prompt', outcome: 'failed', detail: error instanceof Error ? error.message : String(error) };
+    }
+    if (reply.trim() === '') {
+        return { step: step.text, kind: 'prompt', outcome: 'ok', appended: 0, detail: 'empty reply — nothing recorded' };
+    }
+    const { appended, problems } = appendReply(store, automation, reply);
+    return {
+        step: step.text,
+        kind: 'prompt',
+        outcome: 'ok',
+        appended,
+        detail: `+${appended} claim(s)${problems.length === 0 ? '' : `; ${problems.join('; ')}`}`
+    };
+};
+/**
+ * One settle cycle (spec §29.4): passes of derivation + trigger
+ * evaluation until nothing fires, bounded by `maxPasses`. Firing appends
+ * the watermark before running steps (§29.3); step failures are reported
+ * in the outcome and never abort the cycle.
+ */
+export const settle = async (store, options = {}) => {
+    const aliases = options.aliases === true;
+    const maxPasses = options.maxPasses ?? defaultMaxPasses;
+    const outcomes = new Map();
+    const problems = new Map();
+    const notes = [];
+    const deriveTotals = { passes: 0, appended: 0, updated: 0, retracted: 0, unchanged: 0 };
+    const anyRowSince = store.db.prepare('SELECT 1 AS hit FROM cave_claim WHERE tx > ? LIMIT 1');
+    let passes = 0;
+    let progress = true;
+    while (progress && passes < maxPasses) {
+        passes += 1;
+        progress = false;
+        if (options.derive !== false) {
+            const report = derive(store, { aliases });
+            deriveTotals.passes += report.passes;
+            deriveTotals.appended += report.appended;
+            deriveTotals.updated += report.updated;
+            deriveTotals.retracted += report.retracted;
+            deriveTotals.unchanged += report.unchanged;
+            for (const problem of report.problems) {
+                const note = `${problem.subject}: ${problem.problems.join('; ')}`;
+                if (!notes.includes(note)) {
+                    notes.push(note);
+                }
+            }
+            if (report.appended + report.updated + report.retracted > 0) {
+                progress = true;
+            }
+        }
+        const loaded = loadAutomations(store);
+        for (const problem of loaded.problems) {
+            problems.set(problem.subject, problem);
+        }
+        for (const entry of loaded.loaded) {
+            const { automation, row, description } = entry;
+            let outcome = outcomes.get(automation.subject);
+            if (outcome === undefined) {
+                outcome = {
+                    subject: automation.subject,
+                    name: automation.name,
+                    text: automation.text,
+                    ...description === undefined ? {} : { description },
+                    evaluations: 0,
+                    fired: 0,
+                    firings: []
+                };
+                outcomes.set(automation.subject, outcome);
+            }
+            // Arming (spec §29.2): the later of the stored watermark and the
+            // declaration row's tx. Retracting an automation leaves its
+            // watermark claim current, so a re-declared automation would
+            // otherwise arm at the old mark and fire once over every row
+            // recorded while it was retracted (BUGS.md automate-stale-watermark)
+            // — the dual of the rules engine's §24.4 staleness rule: derivation
+            // must re-fire over pre-declaration rows, an automation must not.
+            const stored = store.currentBelief(bookkeepingKey(automation.subject, watermarkAttribute));
+            const mark = stored !== undefined && stored.conf > 0 &&
+                stored.value_text !== null && stored.value_text > row.tx ?
+                stored.value_text :
+                row.tx;
+            if (anyRowSince.get(mark) === undefined) {
+                continue;
+            }
+            outcome.evaluations += 1;
+            const solutions = evaluateTrigger(store, automation, aliases);
+            const excludedRuns = new Set(echoRuns(automation));
+            const isEvent = (premiseRow) => {
+                const provenance = store.provenanceOf(premiseRow);
+                return premiseRow.tx > mark &&
+                    !provenance.actors.some(actor => infrastructureActors.includes(actor)) &&
+                    !provenance.runs.some(run => excludedRuns.has(run));
+            };
+            const firing = solutions.filter(solution => solution.rows.some(isEvent));
+            if (firing.length === 0) {
+                continue;
+            }
+            // Record the batch before acting on it (spec §29.3): the watermark
+            // append is the firing log, and a re-run never re-notifies.
+            const boundary = maxTx(store);
+            const stepCount = firing.length * automation.steps.length;
+            store.ingest(`${automation.subject} HAS ${watermarkAttribute}: ${boundary} @${provenanceContext} ` +
+                `; fired ${firing.length} solution(s), ${stepCount} step(s)`);
+            progress = true;
+            outcome.fired += firing.length;
+            for (const solution of firing) {
+                const lines = solutionLines(store, solution);
+                const firingOutcome = { bindings: solution.bindings, steps: [] };
+                outcome.firings.push(firingOutcome);
+                for (const step of automation.steps) {
+                    switch (step.kind) {
+                        case 'action':
+                            firingOutcome.steps.push(runAction(store, step, solution, options));
+                            break;
+                        case 'hook':
+                            firingOutcome.steps.push(runHook(step.name, automation, solution, lines, options));
+                            break;
+                        case 'prompt':
+                            firingOutcome.steps.push(await runPrompt(store, step, automation, description, solution, lines, options));
+                            break;
+                    }
+                }
+            }
+        }
+    }
+    if (passes >= maxPasses && progress) {
+        notes.push(`stopped at ${maxPasses} passes before settling — re-run to continue, or raise maxPasses (spec §29.4)`);
+    }
+    return {
+        passes,
+        automations: [...outcomes.values()],
+        problems: [...problems.values()],
+        ...options.derive === false ? {} : { derive: deriveTotals },
+        notes
+    };
+};
+//# sourceMappingURL=engine.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAA;AAC7C,OAAO,KAAK,SAAS,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AACvC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC/D,OAAO,EAAE,GAAG,EAAc,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAoB,MAAM,cAAc,CAAA;AAEnG,iEAAiE;AACjE,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAA;AAEtD,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,CAAA;AAElC,MAAM,CAAC,MAAM,0BAA0B,GAAG,GAAG,CAAA;AAE7C,kEAAkE;AAClE,MAAM,oBAAoB,GAAsB,CAAC,eAAe,EAAE,aAAa,EAAE,UAAU,CAAC,CAAA;AAmE5F,wEAAwE;AACxE,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAoB,EAAW,EAAE,CACvD,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;IAC5B,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CACpC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAA;AAO9F,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,4EAA4E;AAC5E,MAAM,eAAe,GAAG,CAAC,KAAY,EAAE,UAAwB,EAAE,OAAgB,EAAc,EAAE;IAC/F,IAAI,SAAS,GAAe,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAA;IACxD,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAClC,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CACtC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;QAC9E,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;gBACvC,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;gBAC9D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,OAAO,EAAE,CAAA;gBACX,CAAC;gBACD,OAAO,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBACrE,QAAQ,EAAE,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE;oBACrD,IAAI,EACF,KAAK,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;wBACzD,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;4BAC9D,QAAQ,CAAC,IAAI;iBAChB,CAAC,CAAC,CAAA;YACL,CAAC,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,MAAK;QACP,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,QAAQ,GAAG,CAAC,UAAwB,EAAY,EAAE,CAAC;IACvD,UAAU,CAAC,OAAO;IAClB,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CACjC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;CACzD,CAAA;AAED;;;;GAIG;AACH,MAAM,UAAU,GAAG,CAAC,KAAa,EAAU,EAAE,CAC3C,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAA;AAE3B,4EAA4E;AAC5E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAgB,EAAE,QAA0C,EAAU,EAAE;IACvG,IAAI,IAAI,GAAG,QAAQ,CAAA;IACnB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7E,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAA;QAC3D,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,OAAO,mBAAmB,EAAE,GAAG,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAE,CAAC,CAAC,CAAA;IACrG,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,QAAgB,EAChB,UAAkB,EAClB,QAA0C,EAClC,EAAE,CACV,QAAQ,CAAC,OAAO,CAAC,+BAA+B,EAAE,CAAC,KAAK,EAAE,IAAY,EAAE,EAAE,CACxE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IAChD,QAAQ,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;QACxE,KAAK,CAAC,CAAA;AAEV,8EAA8E;AAC9E,MAAM,aAAa,GAAG,CAAC,KAAY,EAAE,QAAkB,EAAY,EAAE;IACnE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAChB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACrD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,UAAwB,EACxB,WAA+B,EAC/B,WAAmB,EACnB,MAAyB,EACjB,EAAE,CAAC,kDAAkD,UAAU,CAAC,IAAI,IAAI,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,WAAW,EAAE;;;EAGpI,WAAW;;;;EAIX,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;;;;eAIJ,UAAU,CAAC,OAAO;uEACsC,CAAA;AAEvE,MAAM,SAAS,GAAG,CAAC,KAAY,EAAE,IAA0C,EAAE,QAAkB,EAAE,OAAsB,EAAe,EAAE;IACtI,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;IAC7C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,6BAA6B,IAAI,CAAC,IAAI,mCAAmC,EAAE,CAAA;IAClJ,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,8BAA8B,IAAI,CAAC,IAAI,qBAAqB,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAA;IACnK,CAAC;IACD,MAAM,IAAI,GAA2B,EAAE,CAAA;IACvC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACtC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,6BAA6B,KAAK,0EAA0E,EAAE,CAAA;QACrL,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IACjC,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE;QACzC,KAAK,EAAE,OAAO,CAAC,KAAK,KAAK,KAAK;QAC9B,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,IAAI;QACjC,GAAG,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;QAC9D,GAAG,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE;QACxD,GAAG,OAAO,CAAC,kBAAkB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,EAAE;KACtG,CAAC,CAAA;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,CAAA;IACrF,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IACnI,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ;QACtC,QAAQ,EAAE,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,OAAO;QAC1C,MAAM,EAAE,IAAI,MAAM,CAAC,QAAQ,cAAc,MAAM,CAAC,OAAO,aAAa,MAAM,CAAC,SAAS,aAAa,IAAI,EAAE;KACxG,CAAA;AACH,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,UAAwB,EAAE,QAAkB,EAAE,KAAwB,EAAE,OAAsB,EAAe,EAAE;IAC5I,MAAM,IAAI,GAAG,QAAQ,IAAI,EAAE,CAAA;IAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAA;IACtC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAA;IACtG,CAAC;IACD,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;IAC5E,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE;QAChC,KAAK,EAAE,IAAI;QACX,QAAQ,EAAE,MAAM;QAChB,KAAK,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAC9B,OAAO,EAAE,CAAC,OAAO,CAAC,kBAAkB,IAAI,GAAG,CAAC,GAAG,IAAI;QACnD,GAAG,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE;KACzD,CAAC,CAAA;IACF,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAA;IACpE,qEAAqE;IACrE,uEAAuE;IACvE,uEAAuE;IACvE,kCAAkC;IAClC,MAAM,YAAY,GAChB,MAAM,CAAC,KAAK,KAAK,SAAS,IAAK,MAAM,CAAC,KAA+B,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACtF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACtB,SAAS,CAAA;IACb,MAAM,KAAK,GACT,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,oBAAoB,MAAM,CAAC,MAAM,IAAI,UAAU,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACxF,SAAS,CAAA;IACX,MAAM,MAAM,GACV,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,MAAM,EAAE,EAAE,CAAC,CAAC;QACxE,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAA;IACpC,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ;QAC9C,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE;KAC1C,CAAA;AACH,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAY,EAAE,UAAwB,EAAE,KAAa,EAA4C,EAAE;IAC7H,MAAM,MAAM,GAAG,SAAS,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;IAClE,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,cAAc,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAA;IACjG,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;IACpC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC3B,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC5B,CAAC;IACD,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;QAChD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YACpD,KAAK,CAAC,KAAK,CAAC,CAAC;YACb,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;QAChE,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;QACpD,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAC1C,MAAM,SAAS,GAAG,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI;YACzF,OAAO,CAAC,UAAU,KAAK,OAAO,CAAC,SAAS,CAAA;QAC1C,IAAI,CAAC,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAClB,CAAC;IACH,CAAC,CAAC,CAAA;IACF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAA;IAClC,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IACvD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC;QAClC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;QAChD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAE,EAAE,CAAC,CAAC;QACtH,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,QAAQ,EAAE,EAAE;KACb,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACnD,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAA;AACpD,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,KAAK,EACrB,KAAY,EACZ,IAA0C,EAC1C,UAAwB,EACxB,WAA+B,EAC/B,QAAkB,EAClB,KAAwB,EACxB,OAAsB,EACA,EAAE;IACxB,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,2CAA2C,EAAE,CAAA;IAC5H,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,EAAE,WAAW,EAAE,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAA;IAC9G,IAAI,KAAa,CAAA;IACjB,IAAI,CAAC;QACH,KAAK,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;IACxC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;IAC/H,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAA;IAClH,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,CAAA;IACpE,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,IAAI;QACb,QAAQ;QACR,MAAM,EAAE,IAAI,QAAQ,YAAY,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE;KAC1F,CAAA;AACH,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,KAAK,EAAE,KAAY,EAAE,UAAyB,EAAE,EAAyB,EAAE;IAC/F,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,KAAK,IAAI,CAAA;IACxC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,gBAAgB,CAAA;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA6B,CAAA;IACrD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAA;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,YAAY,GAAiB,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAA;IACrG,MAAM,WAAW,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,sDAAsD,CAAC,CAAA;IAE5F,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,IAAI,QAAQ,GAAG,IAAI,CAAA;IACnB,OAAO,QAAQ,IAAI,MAAM,GAAG,SAAS,EAAE,CAAC;QACtC,MAAM,IAAI,CAAC,CAAA;QACX,QAAQ,GAAG,KAAK,CAAA;QAEhB,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,CAAA;YACzC,YAAY,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAA;YACpC,YAAY,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAA;YACxC,YAAY,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAA;YACtC,YAAY,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAA;YAC1C,YAAY,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAA;YAC1C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,GAAG,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;gBACjE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAClB,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;gBAC5D,QAAQ,GAAG,IAAI,CAAA;YACjB,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;QACrC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACtC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;QACxC,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,KAAK,CAAA;YAC9C,IAAI,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;YAC9C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,GAAG;oBACR,OAAO,EAAE,UAAU,CAAC,OAAO;oBAC3B,IAAI,EAAE,UAAU,CAAC,IAAI;oBACrB,IAAI,EAAE,UAAU,CAAC,IAAI;oBACrB,GAAG,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE;oBACnD,WAAW,EAAE,CAAC;oBACd,KAAK,EAAE,CAAC;oBACR,OAAO,EAAE,EAAE;iBACZ,CAAA;gBACD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;YAC3C,CAAC;YAED,iEAAiE;YACjE,4DAA4D;YAC5D,6DAA6D;YAC7D,6DAA6D;YAC7D,qEAAqE;YACrE,oEAAoE;YACpE,kEAAkE;YAClE,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC,cAAc,CAAC,UAAU,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC,CAAA;YAC1F,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC;gBAClD,MAAM,CAAC,UAAU,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC1D,MAAM,CAAC,UAAU,CAAC,CAAC;gBACnB,GAAG,CAAC,EAAE,CAAA;YACR,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACxC,SAAQ;YACV,CAAC;YAED,OAAO,CAAC,WAAW,IAAI,CAAC,CAAA;YACxB,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;YAC7D,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAA;YAClD,MAAM,OAAO,GAAG,CAAC,UAAiB,EAAW,EAAE;gBAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC,CAAA;gBACjD,OAAO,UAAU,CAAC,EAAE,GAAG,IAAI;oBACzB,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;oBACtE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;YACvD,CAAC,CAAA;YACD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAA;YACxE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,SAAQ;YACV,CAAC;YAED,mEAAmE;YACnE,4DAA4D;YAC5D,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAE,CAAA;YAC9B,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAA;YACzD,KAAK,CAAC,MAAM,CACV,GAAG,UAAU,CAAC,OAAO,QAAQ,kBAAkB,KAAK,QAAQ,KAAK,iBAAiB,GAAG;gBACrF,WAAW,MAAM,CAAC,MAAM,iBAAiB,SAAS,UAAU,CAAC,CAAA;YAC/D,QAAQ,GAAG,IAAI,CAAA;YACf,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,CAAA;YAE9B,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;gBAC5C,MAAM,aAAa,GAAkB,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAA;gBAC/E,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBACnC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;oBACpC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;wBAClB,KAAK,QAAQ;4BACX,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAA;4BACnE,MAAK;wBACP,KAAK,MAAM;4BACT,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;4BAClF,MAAK;wBACP,KAAK,QAAQ;4BACX,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;4BACzG,MAAK;oBACT,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,MAAM,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,+EAA+E,CAAC,CAAA;IACpH,CAAC;IACD,OAAO;QACL,MAAM;QACN,WAAW,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QACnC,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QAChC,GAAG,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE;QAC3D,KAAK;KACN,CAAA;AACH,CAAC,CAAA"}

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

@@ -0,0 +1,28 @@
+/**
+ * `@cavelang/cli/automate` — CAVE automations (spec §29): the event-driven
+ * loop. In-band declarations pair a trigger pattern with named steps, and
+ * `settle` evaluates them whenever belief changes — new claims matching
+ * patterns fire rules, actions, out-of-band hooks, or an agent prompt.
+ *
+ * ```ts
+ * import { declareAutomations, settle } from '@cavelang/cli/automate'
+ *
+ * declareAutomations(store, 'automation/ack HAS automation: ' +
+ *   '`?svc HAS error-rate: ?r, ?r > 0.05 => action/open-incident`')
+ * await settle(store, { hooks })
+ * // new error-rate claims execute action/open-incident with ?svc bound
+ * ```
+ *
+ * Triggers join like rules (§24.2); a solution fires only when it cites a
+ * row newer than the automation's watermark — an automation is armed at
+ * its declaration, never wakes itself, and chains with others because
+ * every write path is idempotent (§29.2–§29.4). Hook commands and the
+ * agent command stay out-of-band (§19.5); the store only ever names them.
+ */
+export * as Automation from './automation.ts';
+export { declareAutomations, listAutomations, loadAutomations, provenanceContext, retractAutomation } from './declare.ts';
+export type { Declaration, ListedAutomation, LoadProblem, Loaded, Retraction } from './declare.ts';
+export { appendReply, buildPrompt, defaultAgentTimeoutSeconds, defaultMaxPasses, settle, settled, substituteHook, substitutePrompt, watermarkAttribute } from './engine.ts';
+export type { AutomationOutcome, DeriveTotals, FiringOutcome, SettleOptions, SettleReport, StepOutcome } from './engine.ts';
+export { runAutomate, watchCycle } from './main.ts';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,eAAe,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AACzH,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAClG,OAAO,EACL,WAAW,EAAE,WAAW,EAAE,0BAA0B,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,EACvF,cAAc,EAAE,gBAAgB,EAAE,kBAAkB,EACrD,MAAM,aAAa,CAAA;AACpB,YAAY,EAAE,iBAAiB,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAC3H,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA"}

package/dist/internal/automate/index.js

@@ -0,0 +1,26 @@
+/**
+ * `@cavelang/cli/automate` — CAVE automations (spec §29): the event-driven
+ * loop. In-band declarations pair a trigger pattern with named steps, and
+ * `settle` evaluates them whenever belief changes — new claims matching
+ * patterns fire rules, actions, out-of-band hooks, or an agent prompt.
+ *
+ * ```ts
+ * import { declareAutomations, settle } from '@cavelang/cli/automate'
+ *
+ * declareAutomations(store, 'automation/ack HAS automation: ' +
+ *   '`?svc HAS error-rate: ?r, ?r > 0.05 => action/open-incident`')
+ * await settle(store, { hooks })
+ * // new error-rate claims execute action/open-incident with ?svc bound
+ * ```
+ *
+ * Triggers join like rules (§24.2); a solution fires only when it cites a
+ * row newer than the automation's watermark — an automation is armed at
+ * its declaration, never wakes itself, and chains with others because
+ * every write path is idempotent (§29.2–§29.4). Hook commands and the
+ * agent command stay out-of-band (§19.5); the store only ever names them.
+ */
+export * as Automation from "./automation.js";
+export { declareAutomations, listAutomations, loadAutomations, provenanceContext, retractAutomation } from "./declare.js";
+export { appendReply, buildPrompt, defaultAgentTimeoutSeconds, defaultMaxPasses, settle, settled, substituteHook, substitutePrompt, watermarkAttribute } from "./engine.js";
+export { runAutomate, watchCycle } from "./main.js";
+//# sourceMappingURL=index.js.map

package/dist/internal/automate/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,eAAe,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAEzH,OAAO,EACL,WAAW,EAAE,WAAW,EAAE,0BAA0B,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,EACvF,cAAc,EAAE,gBAAgB,EAAE,kBAAkB,EACrD,MAAM,aAAa,CAAA;AAEpB,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA"}

package/dist/internal/automate/main.d.ts

@@ -0,0 +1,26 @@
+/**
+ * `cave automate` entry (spec §29.5) — argument parsing, the declare /
+ * list / retract lifecycle, one settle cycle under `--once`, and the
+ * long-running loop: a cheap `MAX(tx)` poll, a cycle whenever it moves.
+ */
+import type { Store } from '@cavelang/store';
+import type { SettleOptions, SettleReport } from './engine.ts';
+export type RunContext = {
+    readonly stdin?: NodeJS.ReadableStream;
+    readonly stdout?: NodeJS.WritableStream;
+    readonly stderr?: NodeJS.WritableStream;
+    readonly signal?: AbortSignal;
+};
+/**
+ * One watch cycle (spec §29.5): settle, report, and return the tx
+ * boundary the poll may treat as seen. The boundary is captured *before*
+ * each settle, and the cycle re-settles until `MAX(tx)` is unchanged
+ * across one — a write landing while a settle runs (or while its report
+ * renders) re-enters the loop instead of being marked seen unprocessed
+ * (BUGS.md watch-watermark-race). Settle's own appends move `MAX(tx)`
+ * too, so a cycle that fired ends with one confirming settle; quiescent
+ * write paths (§29.4) are what make the loop terminate.
+ */
+export declare const watchCycle: (store: Store, options: SettleOptions, onReport: (report: SettleReport) => void) => Promise<null | string>;
+export declare const runAutomate: (argv: readonly string[], context?: RunContext) => Promise<number>;
+//# sourceMappingURL=main.d.ts.map

package/dist/internal/automate/main.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.d.ts","sourceRoot":"","sources":["../../src/main.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAOH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAG5C,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAyE9D,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,cAAc,CAAA;IACtC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAA;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAA;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAA;CAC9B,CAAA;AAkFD;;;;;;;;;GASG;AACH,eAAO,MAAM,UAAU,GACrB,OAAO,KAAK,EACZ,SAAS,aAAa,EACtB,UAAU,CAAC,MAAM,EAAE,YAAY,KAAK,IAAI,KACvC,OAAO,CAAC,IAAI,GAAG,MAAM,CAQvB,CAAA;AAuCD,eAAO,MAAM,WAAW,GAAU,MAAM,SAAS,MAAM,EAAE,EAAE,UAAS,UAAe,KAAG,OAAO,CAAC,MAAM,CA8GnG,CAAA"}