@graview/tools 0.1.0

package/dist/questions.js

@@ -0,0 +1,316 @@
+import { fieldWriters, formFields, humaniseField, nounOf, labelOf, readableFields, withArticle, } from "@graview/core";
+/** Node-typed values a decision provider answers with, as declared. */
+const MAX_SCORE_LEVELS = 10;
+/** The description a zod field carries, through optional/default wrappers. */
+function describedAs(schema) {
+    let at = schema;
+    while (at) {
+        if (typeof at.description === "string" && at.description.length > 0)
+            return at.description;
+        at = at._def?.innerType;
+    }
+    return undefined;
+}
+const say = (field, description, of) => description ?? `${humaniseField(field.name)} of ${of}.`;
+/**
+ * One scalar control as one question, or nothing when the control has no
+ * typed answer (text, a date, a list). `describe` is the field's own
+ * description, which is the instruction when there is one — the
+ * declaration's words, not a paraphrase.
+ */
+function questionFor(store, field, description, of) {
+    switch (field.control) {
+        case "choice": {
+            if (!field.options?.length)
+                return undefined;
+            const criteria = {};
+            for (const option of field.options)
+                criteria[option] = null;
+            return { type: "choice", instructions: `Which ${humaniseField(field.name).toLowerCase()}? ${say(field, description, of)}`, criteria };
+        }
+        case "node": {
+            /*
+             * THE LIVE NODES OF THAT KIND, labelled by labelOf: the same word a
+             * card shows, a chat names and a tool describes. The option name is
+             * the id, because the answer has to be a call's argument; the
+             * meaning beside it is what the model reads.
+             */
+            const criteria = {};
+            for (const node of store.graph.allNodes()) {
+                if (!field.kinds.includes("*") && !field.kinds.includes(node.kind))
+                    continue;
+                if (store.modules.disabledKinds.has(node.kind))
+                    continue;
+                criteria[node.id] = `${withArticle(nounOf(store.schema.tryDefinition(node.kind), node.kind))}: ${labelOf(store.schema.tryDefinition(node.kind), node)}`;
+            }
+            if (Object.keys(criteria).length === 0)
+                return undefined;
+            return { type: "choice", instructions: `Which ${humaniseField(field.name).toLowerCase()}? ${say(field, description, of)}`, criteria };
+        }
+        case "boolean":
+            return {
+                type: "noul",
+                instructions: `${humaniseField(field.name)}: ${description ?? `is this true of ${of}?`}`,
+                criteria: { true: `${humaniseField(field.name)} holds.`, false: `${humaniseField(field.name)} does not hold.` },
+            };
+        case "number": {
+            if (field.min === undefined || field.max === undefined)
+                return undefined;
+            const span = field.max - field.min;
+            if (span < 1 || span + 1 > MAX_SCORE_LEVELS)
+                return undefined;
+            const levels = [];
+            for (let level = field.min; level <= field.max; level++) {
+                levels.push(level === field.min
+                    ? `${humaniseField(field.name)} ${level} of ${field.max}: the least.`
+                    : level === field.max
+                        ? `${humaniseField(field.name)} ${level} of ${field.max}: the most.`
+                        : `${humaniseField(field.name)} ${level} of ${field.max}.`);
+            }
+            return { type: "score", instructions: `How much ${humaniseField(field.name).toLowerCase()}? ${say(field, description, of)}`, criteria: levels };
+        }
+        default:
+            return undefined;
+    }
+}
+/** The number a Score answer means, on the field's own scale. */
+export function scoreToValue(field, level) {
+    return field.min + Math.round(level);
+}
+/**
+ * The questions a KIND asks of one of its members: one per settable field
+ * with a typed answer, each naming the act that writes it. A kind whose
+ * every field is prose asks nothing, and says so by an empty list.
+ */
+export function questionsForKind(store, kind) {
+    const definition = store.schema.tryDefinition(kind);
+    if (!definition)
+        return [];
+    const shape = definition.fields.shape ?? {};
+    const writers = fieldWriters(store.schema, store.allMutations()).get(kind);
+    const of = withArticle(nounOf(definition, kind));
+    const out = [];
+    for (const field of formFields(definition.fields)) {
+        if (field.name in (definition.fixed ?? {}))
+            continue;
+        const question = questionFor(store, field, describedAs(shape[field.name]), of);
+        if (!question)
+            continue;
+        const scale = field.control === "number" && field.min !== undefined && field.max !== undefined
+            ? { scale: { min: field.min, max: field.max } }
+            : {};
+        const writer = (writers?.get(field.name) ?? [])
+            .map((name) => store.allMutations().find((mutation) => mutation.name === name))
+            .find((mutation) => mutation?.subject && formFields(mutation.input).some((arg) => arg.name === field.name));
+        out.push({
+            id: `field:${kind}.${field.name}`,
+            about: "field",
+            kind,
+            field: field.name,
+            ...(writer?.subject ? { writes: { mutation: writer.name, arg: field.name, subjectArg: writer.subject.arg } } : {}),
+            ...scale,
+            question,
+        });
+    }
+    return out;
+}
+/**
+ * The questions an ACT asks before it can be called: one per argument with
+ * a typed answer that `given` has not already settled. The subject is
+ * usually given — a run fans out over nodes and asks each one's questions
+ * — and an argument with no typed answer is simply not asked, which is
+ * what the checker already guaranteed a decision provider would never
+ * meet on its allowlist.
+ */
+export function questionsForMutation(store, name, given = {}) {
+    const mutation = store.mutation(name);
+    const shape = mutation.input.shape ?? {};
+    const of = mutation.title ?? name;
+    const out = [];
+    for (const field of formFields(mutation.input)) {
+        if (field.name in given)
+            continue;
+        const question = questionFor(store, field, describedAs(shape[field.name]), `the act "${of}"`);
+        if (!question)
+            continue;
+        const scale = field.control === "number" && field.min !== undefined && field.max !== undefined
+            ? { scale: { min: field.min, max: field.max } }
+            : {};
+        out.push({ id: `arg:${name}.${field.name}`, about: "argument", mutation: name, arg: field.name, ...scale, question });
+    }
+    return out;
+}
+/**
+ * A RULE IS A TRUTH, and its repairs are the closed set that follows.
+ *
+ * The invariant's own words are what "yes" means; a violation the store
+ * already raised narrows the follow-on Choice to the repairs it named, each
+ * with its arguments settled, so the answer is a call and not a guess.
+ * Asked without a violation, the follow-on is over the repairs the
+ * invariant declares it may name, which is what a loop asks before the
+ * store has judged.
+ */
+export function questionsForInvariant(store, name, violation) {
+    const invariant = store.allInvariants().find((candidate) => candidate.name === name);
+    if (!invariant)
+        return [];
+    const rule = invariant.description ?? invariant.label ?? humaniseField(invariant.name);
+    const subject = violation?.subjectId;
+    const suffix = subject ? `:${subject}` : "";
+    const out = [
+        {
+            id: `rule:${name}${suffix}`,
+            about: "rule",
+            invariant: name,
+            ...(subject ? { subjectId: subject } : {}),
+            question: {
+                type: "noul",
+                instructions: violation ? `${rule} Is this so of the state given?` : `${rule} Does this hold in the state given?`,
+                criteria: { true: rule, false: violation?.message ?? `${rule} — but it does not hold.` },
+            },
+        },
+    ];
+    const criteria = {};
+    const options = {};
+    /*
+     * Two repairs of one violation are often the same act with different
+     * arguments — "call it turf", "call it a bed" — so the option name is
+     * the act's name only while that is unique, and `options` says which
+     * call each name means.
+     */
+    const nameFor = (mutation) => {
+        if (!(mutation in options))
+            return mutation;
+        let n = 2;
+        while (`${mutation}:${n}` in options)
+            n += 1;
+        return `${mutation}:${n}`;
+    };
+    if (violation) {
+        for (const repair of violation.repairs) {
+            if (repair.missing?.length)
+                continue;
+            const key = nameFor(repair.mutation);
+            criteria[key] = repair.label;
+            options[key] = { mutation: repair.mutation, args: { ...(repair.args ?? {}) } };
+        }
+    }
+    else {
+        for (const repairName of invariant.repairs ?? []) {
+            const mutation = store.allMutations().find((candidate) => candidate.name === repairName);
+            criteria[repairName] = mutation?.description ?? mutation?.title ?? null;
+            options[repairName] = { mutation: repairName, args: {} };
+        }
+    }
+    /*
+     * A Choice with one option is not a question, and a violation with one
+     * ready repair has already answered: a caller finding no repair question
+     * takes the one the violation named.
+     */
+    if (Object.keys(criteria).length >= 2) {
+        out.push({
+            id: `repair:${name}${suffix}`,
+            about: "repair",
+            invariant: name,
+            ...(subject ? { subjectId: subject } : {}),
+            options,
+            question: {
+                type: "choice",
+                instructions: `Which repair should be taken so that: ${rule}`,
+                criteria,
+            },
+        });
+    }
+    return out;
+}
+/**
+ * A PAIR IS A TRUTH. An act that joins a subject to one other node —
+ * "says it helps": a practice and a concern — asked of one particular pair
+ * is a yes-or-no question, and the act's own title and description are
+ * its words. Fan this out over every pair and you have a matrix nobody
+ * ever had to author.
+ */
+export function pairQuestion(store, name, subjectId, otherId) {
+    const mutation = store.mutation(name);
+    const subject = mutation.subject;
+    if (!subject)
+        return undefined;
+    const a = store.graph.getNode(subjectId);
+    const b = store.graph.getNode(otherId);
+    if (!a || !b)
+        return undefined;
+    const other = formFields(mutation.input).find((field) => field.control === "node" && field.name !== subject.arg && (field.kinds.includes("*") || field.kinds.includes(b.kind)));
+    if (!other)
+        return undefined;
+    const labelA = labelOf(store.schema.tryDefinition(a.kind), a);
+    const labelB = labelOf(store.schema.tryDefinition(b.kind), b);
+    const title = mutation.title ?? name;
+    return {
+        id: `pair:${name}:${subjectId}:${otherId}`,
+        about: "argument",
+        mutation: name,
+        arg: other.name,
+        other: otherId,
+        question: {
+            type: "noul",
+            instructions: `${title}: ${labelA} — ${labelB}? ${mutation.description ?? ""}`.trim(),
+            criteria: {
+                true: `"${title}" holds for ${labelA} and ${labelB}.`,
+                false: `"${title}" does not hold for ${labelA} and ${labelB}.`,
+            },
+        },
+    };
+}
+/**
+ * THE STATE A QUESTION IS ASKED OVER: one node as the model should see it
+ * — its kind and what the kind is for, its label, its readable fields in
+ * the declaration's own words, and what it is joined to, by label. Nothing
+ * a card would not show. Ids are kept beside labels so an answer that is
+ * an id can be checked against what was shown.
+ */
+export function nodeState(store, id) {
+    const node = store.graph.getNode(id);
+    if (!node)
+        return undefined;
+    const definition = store.schema.tryDefinition(node.kind);
+    const fields = {};
+    for (const field of readableFields(node, definition))
+        fields[field.label] = field.value;
+    const joined = {};
+    for (const edge of store.graph.outEdges(id)) {
+        const other = store.graph.getNode(edge.to);
+        if (!other)
+            continue;
+        (joined[edge.kind] ??= []).push(labelOf(store.schema.tryDefinition(other.kind), other));
+    }
+    for (const edge of store.graph.inEdges(id)) {
+        const other = store.graph.getNode(edge.from);
+        if (!other)
+            continue;
+        const inverse = `${edge.kind} (from)`;
+        (joined[inverse] ??= []).push(labelOf(store.schema.tryDefinition(other.kind), other));
+    }
+    return {
+        id,
+        kind: node.kind,
+        ...(definition?.description ? { "what the kind is": definition.description } : {}),
+        label: labelOf(definition, node),
+        fields,
+        ...(Object.keys(joined).length > 0 ? { joined } : {}),
+    };
+}
+/** Every derived question in the app, for a reader — or a test — that wants the whole surface. */
+export function allQuestions(store) {
+    const out = [];
+    for (const kind of store.schema.kinds) {
+        if (store.modules.disabledKinds.has(kind))
+            continue;
+        out.push(...questionsForKind(store, kind));
+    }
+    for (const mutation of store.allMutations())
+        out.push(...questionsForMutation(store, mutation.name));
+    for (const invariant of store.allInvariants())
+        out.push(...questionsForInvariant(store, invariant.name));
+    return out;
+}
+//# sourceMappingURL=questions.js.map

package/dist/questions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"questions.js","sourceRoot":"","sources":["../src/questions.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,UAAU,EACV,aAAa,EACb,MAAM,EACN,OAAO,EACP,cAAc,EACd,WAAW,GAMZ,MAAM,eAAe,CAAC;AAoGvB,uEAAuE;AACvE,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAE5B,8EAA8E;AAC9E,SAAS,WAAW,CAAC,MAAe;IAClC,IAAI,EAAE,GAAG,MAA8E,CAAC;IACxF,OAAO,EAAE,EAAE,CAAC;QACV,IAAI,OAAO,EAAE,CAAC,WAAW,KAAK,QAAQ,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,CAAC,WAAW,CAAC;QAC3F,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,SAAsB,CAAC;IACvC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,KAAgB,EAAE,WAA+B,EAAE,EAAU,EAAU,EAAE,CACpF,WAAW,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC;AAE1D;;;;;GAKG;AACH,SAAS,WAAW,CAClB,KAAe,EACf,KAAgB,EAChB,WAA+B,EAC/B,EAAU;IAEV,QAAQ,KAAK,CAAC,OAAO,EAAE,CAAC;QACtB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM;gBAAE,OAAO,SAAS,CAAC;YAC7C,MAAM,QAAQ,GAAkC,EAAE,CAAC;YACnD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO;gBAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;YAC5D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC;QACxI,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ;;;;;eAKG;YACH,MAAM,QAAQ,GAAkC,EAAE,CAAC;YACnD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC;gBAC1C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAc,CAAC;oBAAE,SAAS;gBACvF,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAc,CAAC;oBAAE,SAAS;gBACnE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAc,CAAC,EAAE,IAAI,CAAC,IAAc,CAAC,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAc,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YACxL,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YACzD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC;QACxI,CAAC;QACD,KAAK,SAAS;YACZ,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,YAAY,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,IAAI,mBAAmB,EAAE,GAAG,EAAE;gBACxF,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE;aAChH,CAAC;QACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACzE,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;YACnC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,gBAAgB;gBAAE,OAAO,SAAS,CAAC;YAC9D,MAAM,MAAM,GAAa,EAAE,CAAC;YAC5B,KAAK,IAAI,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC;gBACxD,MAAM,CAAC,IAAI,CACT,KAAK,KAAK,KAAK,CAAC,GAAG;oBACjB,CAAC,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,KAAK,CAAC,GAAG,cAAc;oBACrE,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,GAAG;wBACnB,CAAC,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,KAAK,CAAC,GAAG,aAAa;wBACpE,CAAC,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,KAAK,CAAC,GAAG,GAAG,CAC/D,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QAClJ,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,YAAY,CAAC,KAA+B,EAAE,KAAa;IACzE,OAAO,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAsB,KAAe,EAAE,IAAY;IACjF,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAI,UAAU,CAAC,MAA8C,CAAC,KAAK,IAAI,EAAE,CAAC;IACrF,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3E,MAAM,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IACjD,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;YAAE,SAAS;QACrD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/E,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,KAAK,GACT,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;YAC9E,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE;YAC/C,CAAC,CAAC,EAAE,CAAC;QACT,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;aAC5C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;aAC9E,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9G,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,SAAS,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE;YACjC,KAAK,EAAE,OAAO;YACd,IAAI;YACJ,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClH,GAAG,KAAK;YACR,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAe,EACf,IAAY,EACZ,QAA2C,EAAE;IAE7C,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,KAAK,GAAI,QAAQ,CAAC,KAA6C,CAAC,KAAK,IAAI,EAAE,CAAC;IAClF,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC;IAClC,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK;YAAE,SAAS;QAClC,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QAC9F,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,KAAK,GACT,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;YAC9E,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE;YAC/C,CAAC,CAAC,EAAE,CAAC;QACT,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACxH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAe,EACf,IAAY,EACZ,SAAqB;IAErB,MAAM,SAAS,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAEtE,CAAC;IACd,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,IAAI,SAAS,CAAC,KAAK,IAAI,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,SAAS,EAAE,SAAS,CAAC;IACrC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAsB;QAC7B;YACE,EAAE,EAAE,QAAQ,IAAI,GAAG,MAAM,EAAE;YAC3B,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,IAAI;YACf,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1C,QAAQ,EAAE;gBACR,IAAI,EAAE,MAAM;gBACZ,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,iCAAiC,CAAC,CAAC,CAAC,GAAG,IAAI,qCAAqC;gBACjH,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,IAAI,GAAG,IAAI,0BAA0B,EAAE;aACzF;SACF;KACF,CAAC;IACF,MAAM,QAAQ,GAAkC,EAAE,CAAC;IACnD,MAAM,OAAO,GAAkF,EAAE,CAAC;IAClG;;;;;OAKG;IACH,MAAM,OAAO,GAAG,CAAC,QAAgB,EAAU,EAAE;QAC3C,IAAI,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC;YAAE,OAAO,QAAQ,CAAC;QAC5C,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,GAAG,QAAQ,IAAI,CAAC,EAAE,IAAI,OAAO;YAAE,CAAC,IAAI,CAAC,CAAC;QAC7C,OAAO,GAAG,QAAQ,IAAI,CAAC,EAAE,CAAC;IAC5B,CAAC,CAAC;IACF,IAAI,SAAS,EAAE,CAAC;QACd,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACvC,IAAI,MAAM,CAAC,OAAO,EAAE,MAAM;gBAAE,SAAS;YACrC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACrC,QAAQ,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;YAC7B,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QACjF,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;YACzF,QAAQ,CAAC,UAAU,CAAC,GAAG,QAAQ,EAAE,WAAW,IAAI,QAAQ,EAAE,KAAK,IAAI,IAAI,CAAC;YACxE,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC3D,CAAC;IACH,CAAC;IACD;;;;OAIG;IACH,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACtC,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,UAAU,IAAI,GAAG,MAAM,EAAE;YAC7B,KAAK,EAAE,QAAQ;YACf,SAAS,EAAE,IAAI;YACf,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1C,OAAO;YACP,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAQ;gBACd,YAAY,EAAE,yCAAyC,IAAI,EAAE;gBAC7D,QAAQ;aACT;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAe,EACf,IAAY,EACZ,SAAiB,EACjB,OAAe;IAEf,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACzC,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAC3C,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAc,CAAC,CAAC,CAC3I,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAc,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAc,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC;IACrC,OAAO;QACL,EAAE,EAAE,QAAQ,IAAI,IAAI,SAAS,IAAI,OAAO,EAAE;QAC1C,KAAK,EAAE,UAAU;QACjB,QAAQ,EAAE,IAAI;QACd,GAAG,EAAE,KAAK,CAAC,IAAI;QACf,KAAK,EAAE,OAAO;QACd,QAAQ,EAAE;YACR,IAAI,EAAE,MAAM;YACZ,YAAY,EAAE,GAAG,KAAK,KAAK,MAAM,MAAM,MAAM,KAAK,QAAQ,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE;YACrF,QAAQ,EAAE;gBACR,IAAI,EAAE,IAAI,KAAK,eAAe,MAAM,QAAQ,MAAM,GAAG;gBACrD,KAAK,EAAE,IAAI,KAAK,uBAAuB,MAAM,QAAQ,MAAM,GAAG;aAC/D;SACF;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAsB,KAAe,EAAE,EAAU;IACxE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;IACnE,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC;QAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACxF,MAAM,MAAM,GAA6B,EAAE,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAc,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACpG,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,IAAI,SAAS,CAAC;QACtC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAc,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,OAAO;QACL,EAAE;QACF,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,KAAK,EAAE,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC;QAChC,MAAM;QACN,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,YAAY,CAAsB,KAAe;IAC/D,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,KAA0B,EAAE,CAAC;QAC3D,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACpD,GAAG,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACrG,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,aAAa,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACzG,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/run.d.ts

@@ -0,0 +1,202 @@
+import { type AnySchema, type Principal, type Store } from "@graview/core";
+import type { ToolCall } from "./agent/tools.js";
+import { type AppliedPlan, type Plan, type PlanOptions, type PlannedCall } from "./plan.js";
+import type { Answer, Decide } from "./providers/jev.js";
+import type { ChatReply } from "./conversation.js";
+import { type DerivedQuestion, type OfferedQuestion } from "./questions.js";
+/**
+ * A RUN IS A SEQUENCE OF TYPED ASKS OVER THE GRAPH, DECLARED NOT SCRIPTED.
+ *
+ * This is the thing a context graph buys that a chat box cannot. A run is
+ * steps: select nodes by a rule, ask each the questions the declaration
+ * already types, turn the answers into calls, land them as one batch,
+ * re-evaluate. Fan-out is the ordinary case — output is unmetered, so
+ * "fill every unset field of every zone" is one step and not a loop
+ * somebody writes — and because every step's output is typed, a step can
+ * be judged before the next one runs.
+ *
+ * A run READS before it runs: how many nodes, how many questions, roughly
+ * what it will cost — and refuses to begin one its budget cannot afford,
+ * because a fan-out over four hundred questions is a fraction of a cent
+ * and a run that does not stop is not.
+ *
+ * A run holds the Decide it started with for its whole length. Switching
+ * the rung underneath it does not move it: a run half done on one rung
+ * does not silently finish on another.
+ */
+export type RunStep = {
+    /** Fill the typed fields of every node of this kind. */
+    readonly fill: string;
+    /** Only these fields; every typed one otherwise. */
+    readonly fields?: readonly string[];
+    /** Which nodes. Every current one otherwise. */
+    readonly where?: (node: {
+        readonly id: string;
+        readonly kind: string;
+    } & Record<string, unknown>) => boolean;
+    /** Ask about fields already set, too. Unset ones only otherwise. */
+    readonly including?: "unset" | "all";
+} | {
+    /** Ask the remaining arguments of this act, once per node of `over` as its subject. */
+    readonly ask: string;
+    readonly over: string;
+    readonly where?: (node: {
+        readonly id: string;
+        readonly kind: string;
+    } & Record<string, unknown>) => boolean;
+    /** Arguments already settled for a node; the rest are asked. */
+    readonly given?: (node: {
+        readonly id: string;
+        readonly kind: string;
+    } & Record<string, unknown>) => Readonly<Record<string, unknown>>;
+} | {
+    /** For every current violation of this rule, choose a repair from the closed set it names. */
+    readonly judge: string;
+} | {
+    /** Ask, for every (subject, other) pair, whether this joining act holds — a matrix. */
+    readonly pair: string;
+    readonly over: string;
+    readonly against: string;
+    readonly where?: (a: {
+        readonly id: string;
+    } & Record<string, unknown>, b: {
+        readonly id: string;
+    } & Record<string, unknown>) => boolean;
+    /** The truth above which the pair is a call. 0.5 otherwise. */
+    readonly threshold?: number;
+};
+export interface RunDeclaration {
+    readonly name: string;
+    readonly steps: readonly RunStep[];
+    /** What this run may spend. A run over budget does not begin. */
+    readonly budget?: {
+        readonly questions?: number;
+        readonly usd?: number;
+    };
+}
+/** One answer, where it came from, and the call it became (if any). */
+export interface Answered {
+    readonly step: number;
+    readonly nodeId?: string;
+    readonly question: DerivedQuestion;
+    readonly answer: Answer;
+    /** 0–1: how sure. A truth's is its distance from even. */
+    readonly confidence: number;
+    readonly call?: PlannedCall;
+    /** Set when the answer was offered to a person rather than planned. */
+    readonly offered?: OfferedQuestion;
+}
+export interface StepOutcome {
+    readonly step: number;
+    readonly what: string;
+    /** The nodes visited, in order. */
+    readonly nodes: readonly string[];
+    readonly asked: number;
+    readonly answered: readonly Answered[];
+    readonly proposals: readonly PlannedCall[];
+    /** What was not sure enough to propose: questions for a person, at their nodes. */
+    readonly questions: readonly OfferedQuestion[];
+    /** The step's calls, ordered and judged — what a person reviews. */
+    readonly plan: Plan;
+    /** Set when the step landed (each-step mode): what it made, under which batch. */
+    readonly applied?: Pick<AppliedPlan<AnySchema>, "batch" | "applied" | "made" | "stoppedAt">;
+}
+export interface RunReading {
+    readonly name: string;
+    readonly steps: readonly {
+        readonly step: number;
+        readonly what: string;
+        readonly nodes: number;
+        readonly questions: number;
+        readonly calls: number;
+    }[];
+    readonly questions: number;
+    readonly calls: number;
+    /** A rough figure: the JSON that would be sent, at four characters a token. */
+    readonly approxInputTokens: number;
+    readonly approxUsd: number;
+    /** Why the run would not begin, if it would not. */
+    readonly refused?: string;
+}
+export interface RunOptions<S extends AnySchema> extends PlanOptions<S> {
+    readonly decide: Decide;
+    /** Who the run writes as. `agent:<run name>:run-<time>` otherwise. */
+    readonly author?: Principal;
+    /**
+     * "review": every step's calls are planned and returned, nothing is
+     * applied — a person reviews the plan and lands it as one batch.
+     * "each-step": each step lands under the run's one batch before the next
+     * step is asked, so a later step sees an earlier one's answers. Both are
+     * one batch and one undo.
+     */
+    readonly land?: "review" | "each-step";
+    /** Judge a step's typed outcome before the next runs. A string stops the run and is the reason. */
+    readonly judge?: (outcome: StepOutcome) => true | string;
+    /** The seat's own announcement path: every visit to a node is a read here. */
+    readonly onCall?: (call: ToolCall) => void;
+    readonly batch?: string;
+    readonly today?: string;
+    /** Below this confidence an answer is offered rather than planned. 0.5 otherwise. */
+    readonly floor?: number;
+    /** Two options this close in probability are a split — a question, not an answer. 0.15 otherwise. */
+    readonly splitWithin?: number;
+}
+export interface RunResult<S extends AnySchema> {
+    readonly name: string;
+    readonly author: Principal;
+    readonly batch: string;
+    readonly reading: RunReading;
+    readonly steps: readonly StepOutcome[];
+    /** Every step's calls as one plan, for review — or what was applied. */
+    readonly plan: Plan;
+    /** Every question offered to a person, across the steps. */
+    readonly questions: readonly OfferedQuestion[];
+    readonly applied?: AppliedPlan<S>;
+    readonly usage: {
+        readonly questions: number;
+        readonly calls: number;
+        readonly inputTokens: number;
+        readonly usd: number;
+    };
+    /** Why the run stopped early, if it did. */
+    readonly stopped?: {
+        readonly at: number;
+        readonly why: string;
+    };
+    readonly refused?: string;
+}
+/**
+ * WHY AN ANSWER IS A QUESTION. A split — the top two options within
+ * `within` of each other — is a question for a person, not an answer with
+ * a low number beside it; and an answer below the floor is a shrug. Either
+ * is offered. Undefined means it is an answer.
+ */
+export declare function offerOf(answer: Answer, options?: {
+    readonly floor?: number;
+    readonly splitWithin?: number;
+}): "split" | "unsure" | undefined;
+/** The answer as the value the argument wants. */
+export declare function valueOf(question: DerivedQuestion, answer: Answer): unknown;
+/** What a run would do, counted, before it does any of it. */
+export declare function readRun<S extends AnySchema>(store: Store<S>, run: RunDeclaration, options?: {
+    readonly today?: string;
+}): RunReading;
+/** A run's reading, in words a person can weigh before pressing. */
+export declare function describeRun(reading: RunReading): string;
+/**
+ * Runs the run. Every visit to a node is announced through `onCall` as a
+ * read of that node — the same shape a seat's tool calls take, so the
+ * Activity rail marks where the run is without a second reporting path.
+ */
+export declare function runFrom<S extends AnySchema>(store: Store<S>, run: RunDeclaration, options: RunOptions<S>): Promise<RunResult<S>>;
+/**
+ * A RUN, SPOKEN BY THE SEAT. What it asked, what it proposes, what it is
+ * asking the person — as one ChatReply, so the outcome travels the seat's
+ * own surfaces: the thread, the rail, a figure's bubble. The confident
+ * calls are proposals; the split or unsure ones are questions standing at
+ * their nodes; a refusal or a stop is said, not logged.
+ */
+export declare function replyFromRun<S extends AnySchema>(result: RunResult<S>): ChatReply;
+/** Lands a reviewed run as one batch, attributed to the run's own seat. One undo. */
+export declare function landRun<S extends AnySchema>(store: Store<S>, result: RunResult<S>, plan?: Plan): AppliedPlan<S>;
+//# sourceMappingURL=run.d.ts.map

package/dist/run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../src/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,KAAK,EAAkB,MAAM,eAAe,CAAC;AAC/G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAuB,KAAK,WAAW,EAAE,KAAK,IAAI,EAAE,KAAK,WAAW,EAAE,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AACjH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAW,MAAM,oBAAoB,CAAC;AAElE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAOL,KAAK,eAAe,EACpB,KAAK,eAAe,EAErB,MAAM,gBAAgB,CAAC;AAExB;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,MAAM,MAAM,OAAO,GACf;IACE,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oDAAoD;IACpD,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,gDAAgD;IAChD,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,CAAC;IAC7G,oEAAoE;IACpE,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,GAAG,KAAK,CAAC;CACtC,GACD;IACE,uFAAuF;IACvF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,CAAC;IAC7G,gEAAgE;IAChE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACxI,GACD;IACE,8FAA8F;IAC9F,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,uFAAuF;IACvF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,CAAC;IACzI,+DAA+D;IAC/D,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEN,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;IACnC,iEAAiE;IACjE,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAC1E;AAED,uEAAuE;AACvE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;IAC5B,uEAAuE;IACvE,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC;CACpC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mCAAmC;IACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,SAAS,WAAW,EAAE,CAAC;IAC3C,mFAAmF;IACnF,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,kFAAkF;IAClF,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,WAAW,CAAC,CAAC;CAC7F;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACxJ,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+EAA+E;IAC/E,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,oDAAoD;IACpD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,SAAS,CAAE,SAAQ,WAAW,CAAC,CAAC,CAAC;IACrE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sEAAsE;IACtE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;IAC5B;;;;;;OAMG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,WAAW,CAAC;IACvC,mGAAmG;IACnG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,IAAI,GAAG,MAAM,CAAC;IACzD,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,CAAC;IAC3C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,qFAAqF;IACrF,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,qGAAqG;IACrG,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,SAAS;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3H,4CAA4C;IAC5C,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACjE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAqBD;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,SAAS,CAOhJ;AAED,kDAAkD;AAClD,wBAAgB,OAAO,CAAC,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAW1E;AAiFD,8DAA8D;AAC9D,wBAAgB,OAAO,CAAC,CAAC,SAAS,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,OAAO,GAAE;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,UAAU,CA6BxI;AAED,oEAAoE;AACpE,wBAAgB,WAAW,CAAC,OAAO,EAAE,UAAU,GAAG,MAAM,CAOvD;AAyKD;;;;GAIG;AACH,wBAAsB,OAAO,CAAC,CAAC,SAAS,SAAS,EAC/C,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,GAAG,EAAE,cAAc,EACnB,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,GACrB,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CA4GvB;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAWjF;AAED,qFAAqF;AACrF,wBAAgB,OAAO,CAAC,CAAC,SAAS,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,IAAkB,GAAG,WAAW,CAAC,CAAC,CAAC,CAE5H"}