@cavelang/cli 0.27.14 → 0.29.0

package/dist/internal/act/engine.js

@@ -0,0 +1,298 @@
+/**
+ * Action execution (spec §25.2–§25.4) — the governed write path.
+ *
+ * `act` resolves the named action's current declaration, validates the
+ * caller's arguments against its parameters, evaluates the premises over
+ * current beliefs with the parameters pre-bound (the §24.2 left-to-right
+ * join — a premise with no solution fails the action), and appends the
+ * instantiated effects atomically:
+ *
+ * - effect confidence is the template's own — an action is the caller's
+ *   assertion; premises are gates, not evidence (no noisy-AND, §25.2);
+ * - appended rows are stamped `@src:action/<name>` (§9.5) and linked
+ *   `BECAUSE` to the premise rows of the justifying solution and `VIA`
+ *   to the declaration row (§24.3's obligations);
+ * - execution is idempotent: an effect equal to its current belief
+ *   appends nothing;
+ * - the §20.3 shape gate runs by default — effects that introduce new
+ *   `EXPECTS` violations roll the whole execution back (§25.3);
+ * - after a commit that changed belief, a named-and-configured hook runs
+ *   as a shell command — placeholders shell-quoted, appended claims on
+ *   stdin, failures reported but never rolled back into the store
+ *   (§25.4).
+ */
+import { spawnSync } from 'node:child_process';
+import { Claim, Context, Key } from '@cavelang/core';
+import * as Canonical from '@cavelang/canonical';
+import { Template } from '@cavelang/cli/connect';
+import { match } from '@cavelang/query';
+import { boundTerm, satisfies, specialize } from '@cavelang/cli/rules';
+import { evaluate, violationKey } from '@cavelang/cli/shape';
+import { Row } from '@cavelang/store';
+import * as Action from "./action.js";
+import { currentHook, loadAction } from "./declare.js";
+export const defaultHookTimeoutSeconds = 600;
+const fail = (action, error, rest = {}) => ({ ok: false, action, error, ...rest });
+/**
+ * Formats one caller argument as the CAVE term text it binds to —
+ * exactly the §23.1 record-field rules (spec §25.2), via
+ * `@cavelang/cli/connect`.
+ */
+const formatArg = (name, value) => {
+    const formatted = Template.formatValue(value, 'payload');
+    switch (formatted.kind) {
+        case 'ok':
+            return { text: formatted.text };
+        case 'missing':
+            return { problem: `parameter ${name} requires a value` };
+        default:
+            return { problem: `parameter ${name}: ${formatted.message}` };
+    }
+};
+/**
+ * Instantiates one effect template under the chosen bindings and pushes
+ * it through the ordinary emit → canonicalize pipeline (§13.4), so
+ * inverse verbs swap and entities normalize. The claim key is computed
+ * on the *stamped* claim — the same claim `insertResult` will key.
+ */
+const instantiate = (effect, bindings, registry, subject) => {
+    const term = (candidate, position) => candidate.kind === 'entity' && candidate.text.startsWith('?') && candidate.text.length > 1 ?
+        boundTerm(bindings[candidate.text.slice(1)], position) :
+        candidate;
+    let payload = effect.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(bindings[payload.value.raw.slice(1)]));
+    }
+    else if (payload.kind === 'metric' && payload.value.kind === 'atom' && payload.value.raw.startsWith('?')) {
+        payload = Claim.metric(Row.parseValue(bindings[payload.value.raw.slice(1)]));
+    }
+    const draft = Claim.of({
+        subject: term(effect.subject, 'subject'),
+        verb: effect.verb,
+        negated: effect.negated,
+        payload,
+        contexts: effect.meta.contexts,
+        tags: effect.meta.tags,
+        importance: effect.meta.importance,
+        conf: effect.meta.conf ?? 1,
+        ...effect.meta.comment === undefined ? {} : { comment: effect.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: `effect ${JSON.stringify(Canonical.emitClaim(draft))} did not canonicalize${detail === '' ? '' : ` — ${detail}`}` };
+    }
+    // Lifecycle stamp (spec §9.5, §25.2): applied even when the template
+    // names its own `src:` — execution attribution is mandatory, so an
+    // authored source must not displace it.
+    const stamp = Context.source(subject);
+    const stamped = claim.contexts.includes(stamp) ?
+        claim :
+        { ...claim, contexts: [...claim.contexts, stamp] };
+    return { instantiated: { claim, key: Key.of(stamped), line: Canonical.emitClaim(claim), registry: result.registry } };
+};
+/** POSIX single-quoting — hook placeholders never splice raw (spec §25.4). */
+export const shellQuote = (value) => `'${value.replaceAll("'", `'\\''`)}'`;
+/**
+ * Substitutes `{action}` and `{<param>}` placeholders in one pass —
+ * substituted values are never re-scanned, unknown placeholders stay.
+ */
+export const substitute = (template, action, args) => template.replace(/\{([A-Za-z][A-Za-z0-9_-]*)\}/g, (whole, name) => name === 'action' ? shellQuote(action) :
+    name in args ? shellQuote(String(args[name])) :
+        whole);
+const runHook = (name, template, action, args, claims, options) => {
+    const command = substitute(template, action.name, args);
+    const result = spawnSync(command, {
+        shell: true,
+        encoding: 'utf8',
+        input: `${claims.join('\n')}\n`,
+        timeout: (options.hookTimeoutSeconds ?? defaultHookTimeoutSeconds) * 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 hook — 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;
+    return {
+        name,
+        fired: true,
+        code: result.status,
+        ...output === '' ? {} : { output },
+        ...error === undefined ? {} : { error }
+    };
+};
+const rollback = Symbol('cave-act dry run');
+/** Thrown inside the transaction on gate rejection; never escapes `act`. */
+const rejected = Symbol('cave-act gate rejected');
+const isRejected = (error) => error instanceof Error && rejected in error;
+/**
+ * Executes one action (spec §25.2). See the module doc for semantics;
+ * `dryRun` computes the same report inside a rolled-back transaction.
+ */
+export const act = (store, name, args = {}, options = {}) => {
+    const resolved = loadAction(store, name);
+    if (resolved === undefined) {
+        return fail(name, `no current action ${JSON.stringify(Action.actionSubject(name))} — declare it first (spec §25.1)`);
+    }
+    if (resolved.loaded === undefined) {
+        return fail(name, `the declaration of ${JSON.stringify(Action.actionSubject(name))} does not parse: ${resolved.problems.join('; ')}`);
+    }
+    const { action, row } = resolved.loaded;
+    // Arguments: every parameter supplied, no unknown names (§25.2).
+    const unknown = Object.keys(args).filter(key => !action.params.includes(key));
+    if (unknown.length > 0) {
+        return fail(action.name, `unknown parameter(s) ${unknown.join(', ')} — ${action.name} takes ${action.params.length === 0 ? 'none' : action.params.map(param => `?${param}`).join(', ')}`);
+    }
+    const bindings = {};
+    for (const param of action.params) {
+        const { text, problem } = formatArg(param, args[param]);
+        if (problem !== undefined) {
+            return fail(action.name, problem);
+        }
+        bindings[param] = text;
+    }
+    // Premises: the §24.2 join with parameters pre-bound (§25.2).
+    let solutions = [{ bindings, rows: [] }];
+    for (const premise of action.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: options.aliases === true }).map(found => ({
+                    bindings: { ...solution.bindings, ...found.bindings },
+                    rows: found.row === undefined ? solution.rows : [...solution.rows, found.row]
+                }));
+            });
+        }
+        if (solutions.length === 0) {
+            return fail(action.name, `precondition failed — no current belief satisfies ${JSON.stringify(premise.text)}`, { failedPremise: premise.text });
+        }
+    }
+    // Premise-bound effect variables must bind uniquely (§25.2).
+    const chosen = { ...bindings };
+    for (const variable of new Set(action.effects.flatMap(Action.effectVariables))) {
+        if (chosen[variable] !== undefined) {
+            continue;
+        }
+        const values = [...new Set(solutions.map(solution => solution.bindings[variable]))];
+        if (values.length > 1) {
+            return fail(action.name, `ambiguous binding for ?${variable} (${values.join(', ')}) — an action executes once, deterministically (spec §25.2)`);
+        }
+        chosen[variable] = values[0];
+    }
+    // Instantiation is a pure read — any problem fails before writing.
+    const instantiated = [];
+    let effectRegistry = store.registry();
+    for (const effect of action.effects) {
+        const { instantiated: entry, problem } = instantiate(effect, chosen, effectRegistry, action.subject);
+        if (problem !== undefined) {
+            return fail(action.name, problem);
+        }
+        instantiated.push(entry);
+        effectRegistry = entry.registry;
+    }
+    const check = options.check !== false;
+    const before = check ? new Set(evaluate(store).violations.map(violationKey)) : undefined;
+    const effects = [];
+    const changed = [];
+    let appended = 0;
+    let updated = 0;
+    let unchanged = 0;
+    const premiseIds = [...new Set(solutions[0].rows.map(premiseRow => premiseRow.id))];
+    try {
+        store.transaction(() => {
+            for (const entry of instantiated) {
+                const current = store.currentBelief(entry.key);
+                const columns = Row.toColumns(entry.claim);
+                if (current !== undefined && Math.abs(current.conf - entry.claim.conf) < 1e-9 &&
+                    current.value_text === columns.valueText) {
+                    effects.push({ line: entry.line, outcome: 'unchanged' });
+                    unchanged += 1;
+                    continue;
+                }
+                const inserted = store.insertResult({ claims: [{ claim: entry.claim, line: 0 }], edges: [], registry: entry.registry, problems: [] }, { source: action.subject, lifecycle: true });
+                const id = inserted.ids[0];
+                store.appendEdges([
+                    ...premiseIds.map(childId => ({ parentId: id, role: 'BECAUSE', childId })),
+                    { parentId: id, role: 'VIA', childId: row.id }
+                ]);
+                if (current === undefined || current.conf === 0) {
+                    effects.push({ line: entry.line, outcome: 'appended' });
+                    appended += 1;
+                }
+                else {
+                    effects.push({ line: entry.line, outcome: 'updated' });
+                    updated += 1;
+                }
+                changed.push(entry.line);
+            }
+            if (before !== undefined) {
+                const fresh = evaluate(store).violations.filter(violation => !before.has(violationKey(violation)));
+                if (fresh.length > 0) {
+                    throw Object.assign(new Error(`shape gate: ${fresh.length} new violation(s)`), { [rejected]: fresh });
+                }
+            }
+            if (options.dryRun === true) {
+                throw rollback;
+            }
+        });
+    }
+    catch (error) {
+        if (isRejected(error)) {
+            return fail(action.name, `rejected by the shape gate — ${error[rejected].length} new violation(s), nothing appended (spec §25.3)`, { violations: error[rejected] });
+        }
+        if (error !== rollback) {
+            throw error;
+        }
+    }
+    // The hook runs strictly after commit (§25.4) — dry runs and no-op
+    // executions never reach the outside world.
+    const hookName = currentHook(store, action.subject);
+    let hook;
+    if (hookName !== undefined) {
+        const template = options.hooks?.[hookName];
+        if (options.dryRun === true) {
+            hook = { name: hookName, fired: false, note: 'dry run' };
+        }
+        else if (changed.length === 0) {
+            hook = { name: hookName, fired: false, note: 'nothing changed' };
+        }
+        else if (template === undefined) {
+            hook = { name: hookName, fired: false, note: 'not configured' };
+        }
+        else {
+            hook = runHook(hookName, template, action, args, changed, options);
+        }
+    }
+    return {
+        ok: true,
+        action: action.name,
+        subject: action.subject,
+        dryRun: options.dryRun === true,
+        solutions: solutions.length,
+        effects,
+        appended,
+        updated,
+        unchanged,
+        ...hook === undefined ? {} : { hook }
+    };
+};
+/** Execute an untrusted proposal through the governed action boundary. */
+export const actProposal = (store, proposal, options = {}) => act(store, proposal.action, proposal.parameters, options);
+//# sourceMappingURL=engine.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAA;AAC9C,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAA;AACpD,OAAO,KAAK,SAAS,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAC5C,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AACvC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAClE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAkB,MAAM,iBAAiB,CAAA;AACxE,OAAO,EAAE,GAAG,EAAc,MAAM,iBAAiB,CAAA;AAEjD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,EAAE,WAAW,EAAE,UAAU,EAAe,MAAM,cAAc,CAAA;AAiBnE,MAAM,CAAC,MAAM,yBAAyB,GAAG,GAAG,CAAA;AAwD5C,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,KAAa,EAAE,OAA4B,EAAE,EAAc,EAAE,CACzF,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;AAOzC;;;;GAIG;AACH,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,KAAc,EAAuC,EAAE;IACtF,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;IACxD,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,IAAI;YACP,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAA;QACjC,KAAK,SAAS;YACZ,OAAO,EAAE,OAAO,EAAE,aAAa,IAAI,mBAAmB,EAAE,CAAA;QAC1D;YACE,OAAO,EAAE,OAAO,EAAE,aAAa,IAAI,KAAK,SAAS,CAAC,OAAO,EAAE,EAAE,CAAA;IACjE,CAAC;AACH,CAAC,CAAA;AASD;;;;;GAKG;AACH,MAAM,WAAW,GAAG,CAClB,MAAgB,EAChB,QAA0C,EAC1C,QAA8B,EAC9B,OAAe,EACoC,EAAE;IACrD,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,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QACzD,SAAS,CAAA;IACb,IAAI,OAAO,GAAkB,MAAM,CAAC,OAAO,CAAA;IAC3C,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,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAA;IACrG,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,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAA;IAC/E,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC;QACxC,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,OAAO;QACP,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ;QAC9B,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;QACtB,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU;QAClC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC3B,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE;KAC7E,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,UAAU,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;IACvI,CAAC;IACD,qEAAqE;IACrE,mEAAmE;IACnE,wCAAwC;IACxC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACrC,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,YAAY,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAA;AACvH,CAAC,CAAA;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAa,EAAU,EAAE,CAClD,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAA;AAEvC;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,QAAgB,EAChB,MAAc,EACd,IAAuC,EAC/B,EAAE,CACV,QAAQ,CAAC,OAAO,CAAC,+BAA+B,EAAE,CAAC,KAAK,EAAE,IAAY,EAAE,EAAE,CACxE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IACxC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,KAAK,CAAC,CAAA;AAEV,MAAM,OAAO,GAAG,CACd,IAAY,EACZ,QAAgB,EAChB,MAAgB,EAChB,IAAuC,EACvC,MAAyB,EACzB,OAAmB,EACN,EAAE;IACf,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACvD,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE;QAChC,KAAK,EAAE,IAAI;QACX,QAAQ,EAAE,MAAM;QAChB,KAAK,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAC/B,OAAO,EAAE,CAAC,OAAO,CAAC,kBAAkB,IAAI,yBAAyB,CAAC,GAAG,IAAI;QACzE,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,OAAO;QACL,IAAI;QACJ,KAAK,EAAE,IAAI;QACX,IAAI,EAAE,MAAM,CAAC,MAAM;QACnB,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE;QAClC,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE;KACxC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAA;AAE3C,4EAA4E;AAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAAC,CAAA;AAGjD,MAAM,UAAU,GAAG,CAAC,KAAc,EAAqB,EAAE,CACvD,KAAK,YAAY,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAA;AAE7C;;;GAGG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,KAAY,EACZ,IAAY,EACZ,OAA0C,EAAE,EAC5C,UAAsB,EAAE,EACb,EAAE;IACb,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACxC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,IAAI,EAAE,qBAAqB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,kCAAkC,CAAC,CAAA;IACtH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,EAAE,sBAAsB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,oBAAoB,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACvI,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAW,QAAQ,CAAC,MAAM,CAAA;IAE/C,iEAAiE;IACjE,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;IAC7E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,wBAAwB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,IAAI,UAAU,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC3L,CAAC;IACD,MAAM,QAAQ,GAA2B,EAAE,CAAA;IAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QACvD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QACnC,CAAC;QACD,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAK,CAAA;IACzB,CAAC;IAED,8DAA8D;IAC9D,IAAI,SAAS,GAAe,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAA;IACpD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,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,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBAChF,QAAQ,EAAE,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE;oBACrD,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;iBAC9E,CAAC,CAAC,CAAA;YACL,CAAC,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,qDAAqD,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAC1G,EAAE,aAAa,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;QACpC,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,MAAM,MAAM,GAA2B,EAAE,GAAG,QAAQ,EAAE,CAAA;IACtD,KAAK,MAAM,QAAQ,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;QAC/E,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,SAAS,EAAE,CAAC;YACnC,SAAQ;QACV,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAE,CAAC,CAAC,CAAC,CAAA;QACpF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EACrB,0BAA0B,QAAQ,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAA;QAC1H,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;IAC/B,CAAC;IAED,mEAAmE;IACnE,MAAM,YAAY,GAAmB,EAAE,CAAA;IACvC,IAAI,cAAc,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAA;IACrC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,CAAA;QACpG,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QACnC,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,KAAM,CAAC,CAAA;QACzB,cAAc,GAAG,KAAM,CAAC,QAAQ,CAAA;IAClC,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,KAAK,CAAA;IACrC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACxF,MAAM,OAAO,GAAoB,EAAE,CAAA;IACnC,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAEpF,IAAI,CAAC;QACH,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;YACrB,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;gBAC9C,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;gBAC1C,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI;oBACzE,OAAO,CAAC,UAAU,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;oBAC7C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAA;oBACxD,SAAS,IAAI,CAAC,CAAA;oBACd,SAAQ;gBACV,CAAC;gBACD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CACjC,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,EAChG,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAC5C,CAAA;gBACD,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,CAAA;gBAC3B,KAAK,CAAC,WAAW,CAAC;oBAChB,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,SAAkB,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnF,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE;iBACxD,CAAC,CAAA;gBACF,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;oBAChD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAA;oBACvD,QAAQ,IAAI,CAAC,CAAA;gBACf,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAA;oBACtD,OAAO,IAAI,CAAC,CAAA;gBACd,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAC1B,CAAC;YACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;gBAClG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACrB,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,eAAe,KAAK,CAAC,MAAM,mBAAmB,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;gBACvG,CAAC;YACH,CAAC;YACD,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC5B,MAAM,QAAQ,CAAA;YAChB,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,gCAAgC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,kDAAkD,EAC/H,EAAE,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QACpC,CAAC;QACD,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;YACvB,MAAM,KAAK,CAAA;QACb,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,4CAA4C;IAC5C,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAA;IACnD,IAAI,IAA6B,CAAA;IACjC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,CAAA;QAC1C,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YAC5B,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;QAC1D,CAAC;aAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAA;QAClE,CAAC;aAAM,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAClC,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAA;QACjE,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;QACpE,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI;QACR,MAAM,EAAE,MAAM,CAAC,IAAI;QACnB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,MAAM,EAAE,OAAO,CAAC,MAAM,KAAK,IAAI;QAC/B,SAAS,EAAE,SAAS,CAAC,MAAM;QAC3B,OAAO;QACP,QAAQ;QACR,OAAO;QACP,SAAS;QACT,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE;KACtC,CAAA;AACH,CAAC,CAAA;AAED,0EAA0E;AAC1E,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAY,EACZ,QAAwB,EACxB,UAAsB,EAAE,EACb,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA"}

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

@@ -0,0 +1,27 @@
+/**
+ * `@cavelang/cli/act` — action templates (spec §25): named, parameterized
+ * governed writes over a CAVE store.
+ *
+ * ```ts
+ * import { act, declareActions } from '@cavelang/cli/act'
+ *
+ * declareActions(store, 'action/mark-deployed HAS action: ' +
+ *   '`?service, ?version, ?service IS service => ' +
+ *   '?service HAS deployed-version: ?version`')
+ * act(store, 'mark-deployed', { service: 'api-gateway', version: '1.2.3' })
+ * // appends `api-gateway HAS deployed-version: 1.2.3 @src:action/mark-deployed`,
+ * // linked BECAUSE to the matched precondition row and VIA to the declaration
+ * ```
+ *
+ * Preconditions are §24.1 premises evaluated against current beliefs with
+ * the parameters pre-bound — a premise with no solution fails the action
+ * and nothing is appended. Executions are atomic, idempotent, gated on
+ * the store's `EXPECTS` declarations by default (§25.3), and may fire an
+ * out-of-band, config-declared side-effect hook after commit (§25.4).
+ */
+export * as Action from './action.ts';
+export { act, actProposal, defaultHookTimeoutSeconds, shellQuote, substitute } from './engine.ts';
+export type { ActionProposal, ActFailure, ActOptions, ActReport, ActSuccess, EffectOutcome, HookOutcome } from './engine.ts';
+export { currentHook, declareActions, listActions, loadAction, provenanceContext, retractAction } from './declare.ts';
+export type { Declaration, ListedAction, ListedParam, Loaded, Retraction } from './declare.ts';
+//# sourceMappingURL=index.d.ts.map

package/dist/internal/act/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,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,yBAAyB,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACjG,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAC5H,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AACrH,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA"}

package/dist/internal/act/index.js

@@ -0,0 +1,25 @@
+/**
+ * `@cavelang/cli/act` — action templates (spec §25): named, parameterized
+ * governed writes over a CAVE store.
+ *
+ * ```ts
+ * import { act, declareActions } from '@cavelang/cli/act'
+ *
+ * declareActions(store, 'action/mark-deployed HAS action: ' +
+ *   '`?service, ?version, ?service IS service => ' +
+ *   '?service HAS deployed-version: ?version`')
+ * act(store, 'mark-deployed', { service: 'api-gateway', version: '1.2.3' })
+ * // appends `api-gateway HAS deployed-version: 1.2.3 @src:action/mark-deployed`,
+ * // linked BECAUSE to the matched precondition row and VIA to the declaration
+ * ```
+ *
+ * Preconditions are §24.1 premises evaluated against current beliefs with
+ * the parameters pre-bound — a premise with no solution fails the action
+ * and nothing is appended. Executions are atomic, idempotent, gated on
+ * the store's `EXPECTS` declarations by default (§25.3), and may fire an
+ * out-of-band, config-declared side-effect hook after commit (§25.4).
+ */
+export * as Action from "./action.js";
+export { act, actProposal, defaultHookTimeoutSeconds, shellQuote, substitute } from "./engine.js";
+export { currentHook, declareActions, listActions, loadAction, provenanceContext, retractAction } from "./declare.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,yBAAyB,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAEjG,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA"}

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

@@ -0,0 +1,78 @@
+/**
+ * Automation parsing (spec §29.1) — the §24.1 rule line pointed at the
+ * store's own change feed:
+ *
+ * ```cave
+ * automation/page-on-spike HAS automation: `?svc IS service, ?svc HAS error-rate: ?r, ?r > 0.05 => action/open-incident, hook/page, "error rate reached ?r on ?svc"` ; page and investigate error-rate spikes
+ * ```
+ *
+ * The left side is the **trigger** — §24.1 premises verbatim: CAVE-Q
+ * patterns and `?var op value` constraints, at least one pattern. Unlike
+ * an action (§25.1) a bare-variable segment is an error — an automation
+ * has no caller, so every binding comes from the trigger. The right side
+ * is a comma-separated list of **steps**:
+ *
+ * - `action/<name>` — execute the §25 action, its parameters bound from
+ *   same-named trigger variables;
+ * - `hook/<name>` — fire the out-of-band hook from the §25.4
+ *   configuration actions use;
+ * - a `"…"` or `` `…` `` literal — an agent prompt template, fired
+ *   through the out-of-band `--agent` shell command (spec §29.3).
+ *
+ * Like an action, an automation is identified by *name*: the declaration
+ * subject is `automation/<name>` and the body evolves as an ordinary
+ * belief series under one claim key (§25.1's rule). The body is pure
+ * data — patterns, names and prose, never commands (§19.5).
+ */
+import { Rule } from '@cavelang/cli/rules';
+/** Attribute of automation declaration claims: `automation/<name> HAS automation: …`. */
+export declare const automationAttribute = "automation";
+/** Subject prefix of automation declarations. */
+export declare const subjectPrefix = "automation/";
+/** Prefix of `action/<name>` steps — the §25 declaration scope. */
+export declare const actionStepPrefix = "action/";
+/** Prefix of `hook/<name>` steps — hooks live out-of-band, the name in-band (§25.4). */
+export declare const hookStepPrefix = "hook/";
+/** Declaration subject of an automation: its name under the `automation/` scope. */
+export declare const automationSubject: (name: string) => string;
+/** Automation name of a declaration subject, `undefined` when out of scope. */
+export declare const automationName: (subject: string) => undefined | string;
+export type Step = {
+    readonly kind: 'action';
+    readonly name: string;
+    readonly text: string;
+} | {
+    readonly kind: 'hook';
+    readonly name: string;
+    readonly text: string;
+} | {
+    readonly kind: 'prompt';
+    readonly template: string;
+    readonly text: string;
+};
+export type Automation = {
+    readonly name: string;
+    /** Declaration subject, `automation/<name>`. */
+    readonly subject: string;
+    /** Normalized body text — single-spaced tokens, comment dropped. */
+    readonly text: string;
+    /** Trigger premises — §24.1 patterns and constraints (spec §29.2). */
+    readonly premises: readonly Rule.Premise[];
+    /** Steps, in declaration (= execution) order. */
+    readonly steps: readonly Step[];
+};
+export type t = Automation;
+export type Parsed = {
+    readonly ok: true;
+    readonly automation: Automation;
+} | {
+    readonly ok: false;
+    readonly problems: readonly string[];
+};
+/**
+ * Parses one automation body. Problems are returned, never thrown — a
+ * stored declaration that fails to parse is reported and skipped,
+ * mirroring rules (§24.1) and actions (§25.1).
+ */
+export declare const parse: (subject: string, body: string) => Parsed;
+//# sourceMappingURL=automation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"automation.d.ts","sourceRoot":"","sources":["../../src/automation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAEtC,yFAAyF;AACzF,eAAO,MAAM,mBAAmB,eAAe,CAAA;AAE/C,iDAAiD;AACjD,eAAO,MAAM,aAAa,gBAAgB,CAAA;AAE1C,mEAAmE;AACnE,eAAO,MAAM,gBAAgB,YAAY,CAAA;AAEzC,wFAAwF;AACxF,eAAO,MAAM,cAAc,UAAU,CAAA;AAErC,oFAAoF;AACpF,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,KAAG,MACkB,CAAA;AAEnE,+EAA+E;AAC/E,eAAO,MAAM,cAAc,GAAI,SAAS,MAAM,KAAG,SAAS,GAAG,MAGhD,CAAA;AAEb,MAAM,MAAM,IAAI,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAEjF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,gDAAgD;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,sEAAsE;IACtE,QAAQ,CAAC,QAAQ,EAAE,SAAS,IAAI,CAAC,OAAO,EAAE,CAAA;IAC1C,iDAAiD;IACjD,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;CAChC,CAAA;AAED,MAAM,MAAM,CAAC,GAAG,UAAU,CAAA;AAE1B,MAAM,MAAM,MAAM,GACd;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAA;AAsChE;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,SAAS,MAAM,EAAE,MAAM,MAAM,KAAG,MAyDrD,CAAA"}

package/dist/internal/automate/automation.js

@@ -0,0 +1,135 @@
+/**
+ * Automation parsing (spec §29.1) — the §24.1 rule line pointed at the
+ * store's own change feed:
+ *
+ * ```cave
+ * automation/page-on-spike HAS automation: `?svc IS service, ?svc HAS error-rate: ?r, ?r > 0.05 => action/open-incident, hook/page, "error rate reached ?r on ?svc"` ; page and investigate error-rate spikes
+ * ```
+ *
+ * The left side is the **trigger** — §24.1 premises verbatim: CAVE-Q
+ * patterns and `?var op value` constraints, at least one pattern. Unlike
+ * an action (§25.1) a bare-variable segment is an error — an automation
+ * has no caller, so every binding comes from the trigger. The right side
+ * is a comma-separated list of **steps**:
+ *
+ * - `action/<name>` — execute the §25 action, its parameters bound from
+ *   same-named trigger variables;
+ * - `hook/<name>` — fire the out-of-band hook from the §25.4
+ *   configuration actions use;
+ * - a `"…"` or `` `…` `` literal — an agent prompt template, fired
+ *   through the out-of-band `--agent` shell command (spec §29.3).
+ *
+ * Like an action, an automation is identified by *name*: the declaration
+ * subject is `automation/<name>` and the body evolves as an ordinary
+ * belief series under one claim key (§25.1's rule). The body is pure
+ * data — patterns, names and prose, never commands (§19.5).
+ */
+import { Token } from '@cavelang/parser';
+import { Rule } from '@cavelang/cli/rules';
+/** Attribute of automation declaration claims: `automation/<name> HAS automation: …`. */
+export const automationAttribute = 'automation';
+/** Subject prefix of automation declarations. */
+export const subjectPrefix = 'automation/';
+/** Prefix of `action/<name>` steps — the §25 declaration scope. */
+export const actionStepPrefix = 'action/';
+/** Prefix of `hook/<name>` steps — hooks live out-of-band, the name in-band (§25.4). */
+export const hookStepPrefix = 'hook/';
+/** Declaration subject of an automation: its name under the `automation/` scope. */
+export const automationSubject = (name) => name.startsWith(subjectPrefix) ? name : `${subjectPrefix}${name}`;
+/** Automation name of a declaration subject, `undefined` when out of scope. */
+export const automationName = (subject) => subject.startsWith(subjectPrefix) && subject.length > subjectPrefix.length ?
+    subject.slice(subjectPrefix.length) :
+    undefined;
+const isVariableToken = (token) => token.kind === 'word' && token.text.startsWith('?') && token.text.length > 1;
+/** Splits `text` at its top-level commas — literal-protected, like §24.1. */
+const splitSegments = (text) => {
+    const segments = [];
+    let cursor = 0;
+    for (const at of Rule.topLevel(text, ',')) {
+        segments.push(text.slice(cursor, at));
+        cursor = at + 1;
+    }
+    segments.push(text.slice(cursor));
+    return segments;
+};
+const parseStep = (segment) => {
+    const text = Rule.normalizeSegment(segment);
+    if (text === '') {
+        return { problem: 'empty step — remove the extra comma' };
+    }
+    const tokens = Token.tokenize(segment);
+    if (tokens.length === 1) {
+        const token = tokens[0];
+        if (token.kind === 'text' || token.kind === 'code') {
+            return { step: { kind: 'prompt', template: token.text, text } };
+        }
+        if (token.kind === 'word' && token.text.startsWith(actionStepPrefix) && token.text.length > actionStepPrefix.length) {
+            return { step: { kind: 'action', name: token.text.slice(actionStepPrefix.length), text } };
+        }
+        if (token.kind === 'word' && token.text.startsWith(hookStepPrefix) && token.text.length > hookStepPrefix.length) {
+            return { step: { kind: 'hook', name: token.text.slice(hookStepPrefix.length), text } };
+        }
+    }
+    return { problem: `step ${JSON.stringify(text)} is not action/<name>, hook/<name> or a prompt literal (spec §29.1)` };
+};
+/**
+ * Parses one automation body. Problems are returned, never thrown — a
+ * stored declaration that fails to parse is reported and skipped,
+ * mirroring rules (§24.1) and actions (§25.1).
+ */
+export const parse = (subject, body) => {
+    const problems = [];
+    const name = automationName(subject);
+    if (name === undefined) {
+        return { ok: false, problems: [`declaration subject ${JSON.stringify(subject)} is not under ${subjectPrefix} (spec §29.1)`] };
+    }
+    const { head } = Token.splitComment(body);
+    const arrows = Rule.topLevel(head, '=>');
+    if (arrows.length === 0) {
+        return { ok: false, problems: ['not an automation — no top-level "=>" (spec §29.1)'] };
+    }
+    if (arrows.length > 1) {
+        return { ok: false, problems: ['an automation has exactly one "=>" (spec §29.1)'] };
+    }
+    const leftText = head.slice(0, arrows[0]);
+    const rightText = head.slice(arrows[0] + 2);
+    const premises = [];
+    const bound = new Set();
+    for (const segment of splitSegments(leftText)) {
+        const tokens = Token.tokenize(segment);
+        if (tokens.length === 1 && isVariableToken(tokens[0])) {
+            problems.push(`bare ${tokens[0].text} — an automation has no caller, so it takes no parameters; bind variables in trigger patterns (spec §29.1)`);
+            continue;
+        }
+        const { premise, problem } = Rule.parsePremise(segment, bound);
+        if (problem !== undefined) {
+            problems.push(problem);
+            continue;
+        }
+        premises.push(premise);
+        if (premise.kind === 'pattern') {
+            Rule.patternVariables(premise.pattern).forEach(variable => bound.add(variable));
+        }
+    }
+    if (!premises.some(premise => premise.kind === 'pattern')) {
+        problems.push('an automation needs at least one pattern premise — the trigger (spec §29.1)');
+    }
+    const steps = [];
+    for (const segment of splitSegments(rightText)) {
+        const { step, problem } = parseStep(segment);
+        if (problem !== undefined) {
+            problems.push(problem);
+            continue;
+        }
+        steps.push(step);
+    }
+    if (steps.length === 0 && problems.length === 0) {
+        problems.push('an automation needs at least one step (spec §29.1)');
+    }
+    if (problems.length > 0) {
+        return { ok: false, problems };
+    }
+    const text = `${premises.map(premise => premise.text).join(', ')} => ${steps.map(step => step.text).join(', ')}`;
+    return { ok: true, automation: { name, subject, text, premises, steps } };
+};
+//# sourceMappingURL=automation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"automation.js","sourceRoot":"","sources":["../../src/automation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAEtC,yFAAyF;AACzF,MAAM,CAAC,MAAM,mBAAmB,GAAG,YAAY,CAAA;AAE/C,iDAAiD;AACjD,MAAM,CAAC,MAAM,aAAa,GAAG,aAAa,CAAA;AAE1C,mEAAmE;AACnE,MAAM,CAAC,MAAM,gBAAgB,GAAG,SAAS,CAAA;AAEzC,wFAAwF;AACxF,MAAM,CAAC,MAAM,cAAc,GAAG,OAAO,CAAA;AAErC,oFAAoF;AACpF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACxD,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,aAAa,GAAG,IAAI,EAAE,CAAA;AAEnE,+EAA+E;AAC/E,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,OAAe,EAAsB,EAAE,CACpE,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAC1E,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;IACrC,SAAS,CAAA;AAyBb,MAAM,eAAe,GAAG,CAAC,KAAc,EAAW,EAAE,CAClD,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAA;AAE9E,6EAA6E;AAC7E,MAAM,aAAa,GAAG,CAAC,IAAY,EAAY,EAAE;IAC/C,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QAC1C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAA;QACrC,MAAM,GAAG,EAAE,GAAG,CAAC,CAAA;IACjB,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;IACjC,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,OAAe,EAAqC,EAAE;IACvE,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAA;IAC3C,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,OAAO,EAAE,OAAO,EAAE,qCAAqC,EAAE,CAAA;IAC3D,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;IACtC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;QACxB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACnD,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAA;QACjE,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC;YACpH,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,CAAA;QAC5F,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC;YAChH,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,CAAA;QACxF,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,qEAAqE,EAAE,CAAA;AACvH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE;IAC7D,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;IACpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,uBAAuB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,iBAAiB,aAAa,eAAe,CAAC,EAAE,CAAA;IAC/H,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACxC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,oDAAoD,CAAC,EAAE,CAAA;IACxF,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,iDAAiD,CAAC,EAAE,CAAA;IACrF,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,CAAA;IAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAA;IAE5C,MAAM,QAAQ,GAAmB,EAAE,CAAA;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/B,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;QACtC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,4GAA4G,CAAC,CAAA;YAClJ,SAAQ;QACV,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QAC9D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACtB,SAAQ;QACV,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,OAAQ,CAAC,CAAA;QACvB,IAAI,OAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,IAAI,CAAC,gBAAgB,CAAC,OAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;QAC1D,QAAQ,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAA;IAC9F,CAAC;IAED,MAAM,KAAK,GAAW,EAAE,CAAA;IACxB,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/C,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,CAAA;QAC5C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACtB,SAAQ;QACV,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAK,CAAC,CAAA;IACnB,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,QAAQ,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAA;IACrE,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAA;IAChC,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;IAChH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAA;AAC3E,CAAC,CAAA"}