@graview/core 0.1.62 → 0.1.64

package/dist/workflows/on-the-map.d.ts

@@ -0,0 +1,79 @@
+import type { GraviewApp } from "../app.js";
+import type { AppWorkflows } from "../workflow-shape.js";
+import type { AnySchema } from "../schema/schema.js";
+/** A workflow as the Scene draws it: its name, title and status, and the kinds it reads and writes. */
+export interface MapWorkflow {
+    readonly name: string;
+    readonly title: string;
+    readonly status: "active" | "paused";
+    /** Kinds its steps read, and what starts it on a change, in the order they say them. */
+    readonly reads: readonly string[];
+    /** Kinds its steps may write. */
+    readonly writes: readonly string[];
+}
+/** An act as the map reads it: the kinds it acts on and the kinds it makes. */
+export interface MapAct {
+    readonly name: string;
+    readonly subject?: {
+        readonly kinds: readonly string[] | "*";
+    } | undefined;
+    readonly creates?: readonly string[] | undefined;
+}
+/**
+ * Every workflow the app declares (`declaredWorkflows(app)`, or a
+ * compiled app's document's `workflows`), as the Scene draws it, in
+ * declared order, given every act the app has (`store.allMutations()`: the derived
+ * ones too). Dreaming, built in and at work on every district, is not drawn.
+ */
+export declare function workflowsOnTheMap<S extends AnySchema>(app: Pick<GraviewApp<S>, "schema">, workflows: AppWorkflows | undefined, acts: readonly MapAct[]): readonly MapWorkflow[];
+/** A plot as a spot is found beside it: its corner cell and its side, in lattice cells. */
+export interface SpotPlot {
+    readonly col: number;
+    readonly row: number;
+    readonly side: number;
+}
+/** Where a workflow stands on the lattice: the kind it stands beside, and the point, in lattice cells. */
+export interface WorkflowSpot {
+    readonly name: string;
+    /** The district it stands beside: the first kind it writes that is on the map, else the first it reads. */
+    readonly beside: string;
+    readonly col: number;
+    readonly row: number;
+}
+/**
+ * WHERE EACH WORKFLOW STANDS: in the street along the right edge of the
+ * district it writes first — a cell out from the curb, down the edge, a
+ * cell apart for a second and a third beside the same district — so it
+ * reads as at work on that district and never stands on any district's
+ * ground. One that touches no kind on the map is not placed.
+ */
+export declare function workflowSpots(workflows: readonly MapWorkflow[], plots: ReadonlyMap<string, SpotPlot>): readonly WorkflowSpot[];
+/** How many records a run made, changed, set aside or suggested: the ids, or only how many there were. */
+export type RunCount = number | readonly string[];
+/**
+ * A run as `lastRunWords` reads it: `WorkflowRun` from
+ * `@graview/tools/workflows`, or any record with these. Each of `made`,
+ * `changed`, `archived` and `suggested` is the ids or a count; a host that
+ * keeps only counts sends the numbers, and the words are the same.
+ */
+export interface RunSaid {
+    readonly finished: string;
+    readonly outcome: "ok" | "nothing-new" | "partial" | "held" | "failed";
+    readonly dry: boolean;
+    readonly made: RunCount;
+    readonly changed: RunCount;
+    readonly archived: RunCount;
+    readonly suggested: RunCount;
+}
+/** How many a count says: the number, or how many ids it holds. Anything else is none. */
+export declare const runCount: (count: RunCount | undefined) => number;
+/** "just now", "5 minutes ago", "2 hours ago", "yesterday", "3 days ago": how long before `now` a moment was. */
+export declare function agoWords(at: string | number | Date, now?: string | number | Date): string;
+/**
+ * HOW THE LAST RUN WENT, in words a person reads under a workflow on the
+ * map: "Last ran 2 hours ago: made 28, changed 3", "Last ran yesterday:
+ * nothing new", "Last ran 5 minutes ago, as a dry run: would make 4",
+ * "Last ran 3 days ago and failed". With no run, "Has not run yet".
+ */
+export declare function lastRunWords(run: RunSaid | undefined, now?: string | number | Date): string;
+//# sourceMappingURL=on-the-map.d.ts.map

package/dist/workflows/on-the-map.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"on-the-map.d.ts","sourceRoot":"","sources":["../../src/workflows/on-the-map.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAqBrD,uGAAuG;AACvG,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACrC,wFAAwF;IACxF,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,iCAAiC;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,+EAA+E;AAC/E,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,GAAG,CAAA;KAAE,GAAG,SAAS,CAAC;IAC3E,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CAClD;AAKD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,SAAS,EAAE,YAAY,GAAG,SAAS,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,WAAW,EAAE,CAuB/K;AAED,2FAA2F;AAC3F,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,0GAA0G;AAC1G,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2GAA2G;IAC3G,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,SAAS,EAAE,SAAS,WAAW,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,SAAS,YAAY,EAAE,CAY9H;AAED,0GAA0G;AAC1G,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;AAElD;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,IAAI,GAAG,aAAa,GAAG,SAAS,GAAG,MAAM,GAAG,QAAQ,CAAC;IACvE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;CAC9B;AAED,0FAA0F;AAC1F,eAAO,MAAM,QAAQ,GAAI,OAAO,QAAQ,GAAG,SAAS,KAAG,MAA+I,CAAC;AAEvM,iHAAiH;AACjH,wBAAgB,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,EAAE,GAAG,GAAE,MAAM,GAAG,MAAM,GAAG,IAAiB,GAAG,MAAM,CAQrG;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,OAAO,GAAG,SAAS,EAAE,GAAG,GAAE,MAAM,GAAG,MAAM,GAAG,IAAiB,GAAG,MAAM,CAcvG"}

package/dist/workflows/on-the-map.js

@@ -0,0 +1,96 @@
+import { subjectKindsOf } from "../mutations/derive-edits.js";
+const isRecord = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+const strings = (value) => (typeof value === "string" ? [value] : Array.isArray(value) ? value.filter((one) => typeof one === "string") : []);
+/**
+ * Every workflow the app declares (`declaredWorkflows(app)`, or a
+ * compiled app's document's `workflows`), as the Scene draws it, in
+ * declared order, given every act the app has (`store.allMutations()`: the derived
+ * ones too). Dreaming, built in and at work on every district, is not drawn.
+ */
+export function workflowsOnTheMap(app, workflows, acts) {
+    const declared = Object.entries(workflows ?? {});
+    if (declared.length === 0)
+        return [];
+    const kinds = new Set(app.schema.kinds);
+    const byName = new Map(acts.map((act) => [act.name, act]));
+    const actKinds = (name) => {
+        const act = byName.get(name);
+        return act ? [...subjectKindsOf(app.schema, act), ...(act.creates ?? [])] : [];
+    };
+    return declared.map(([name, workflow]) => {
+        const reads = [];
+        const writes = [];
+        // What starts it on a change reads that kind: a workflow run when a grocery list is made is wired to grocery lists.
+        for (const trigger of (workflow.when ?? []))
+            reads.push(...strings(trigger["made"]), ...strings(trigger["changed"]));
+        for (const step of (workflow.steps ?? [])) {
+            const over = isRecord(step["over"]) ? strings(step["over"]["kind"]) : [];
+            const from = Array.isArray(step["from"]) ? step["from"].flatMap((source) => (isRecord(source) ? strings(source["kind"]) : [])) : [];
+            reads.push(...over, ...strings(step["reads"]), ...from, ...strings(step["archive"]), ...strings(step["classify"]));
+            writes.push(...[...strings(step["act"]), ...strings(step["acts"])].flatMap(actKinds), ...strings(step["generate"]), ...strings(step["archive"]), ...strings(step["classify"]));
+        }
+        const known = (list) => [...new Set(list)].filter((kind) => kinds.has(kind));
+        return { name, title: workflow.title, status: workflow.status === "paused" ? "paused" : "active", reads: known(reads), writes: known(writes) };
+    });
+}
+/**
+ * WHERE EACH WORKFLOW STANDS: in the street along the right edge of the
+ * district it writes first — a cell out from the curb, down the edge, a
+ * cell apart for a second and a third beside the same district — so it
+ * reads as at work on that district and never stands on any district's
+ * ground. One that touches no kind on the map is not placed.
+ */
+export function workflowSpots(workflows, plots) {
+    const taken = new Map();
+    const out = [];
+    for (const workflow of workflows) {
+        const beside = [...workflow.writes, ...workflow.reads].find((kind) => plots.has(kind));
+        if (beside === undefined)
+            continue;
+        const plot = plots.get(beside);
+        const k = taken.get(beside) ?? 0;
+        taken.set(beside, k + 1);
+        out.push({ name: workflow.name, beside, col: plot.col + plot.side + 1, row: plot.row + 0.5 + k });
+    }
+    return out;
+}
+/** How many a count says: the number, or how many ids it holds. Anything else is none. */
+export const runCount = (count) => (typeof count === "number" ? (Number.isFinite(count) && count > 0 ? Math.floor(count) : 0) : Array.isArray(count) ? count.length : 0);
+/** "just now", "5 minutes ago", "2 hours ago", "yesterday", "3 days ago": how long before `now` a moment was. */
+export function agoWords(at, now = Date.now()) {
+    const minutes = Math.floor((new Date(now).getTime() - new Date(at).getTime()) / 60_000);
+    if (!Number.isFinite(minutes) || minutes < 1)
+        return "just now";
+    if (minutes < 60)
+        return minutes === 1 ? "a minute ago" : `${minutes} minutes ago`;
+    const hours = Math.floor(minutes / 60);
+    if (hours < 24)
+        return hours === 1 ? "an hour ago" : `${hours} hours ago`;
+    const days = Math.floor(hours / 24);
+    return days === 1 ? "yesterday" : `${days} days ago`;
+}
+/**
+ * HOW THE LAST RUN WENT, in words a person reads under a workflow on the
+ * map: "Last ran 2 hours ago: made 28, changed 3", "Last ran yesterday:
+ * nothing new", "Last ran 5 minutes ago, as a dry run: would make 4",
+ * "Last ran 3 days ago and failed". With no run, "Has not run yet".
+ */
+export function lastRunWords(run, now = Date.now()) {
+    if (!run)
+        return "Has not run yet";
+    const when = `Last ran ${agoWords(run.finished, now)}`;
+    if (run.outcome === "failed")
+        return `${when} and failed`;
+    if (run.outcome === "held")
+        return `${when}: held back`;
+    const counts = [
+        [runCount(run.made), run.dry ? "would make" : "made"],
+        [runCount(run.changed), run.dry ? "would change" : "changed"],
+        [runCount(run.archived), run.dry ? "would set aside" : "set aside"],
+        [runCount(run.suggested), run.dry ? "would suggest" : "suggested"],
+    ];
+    const said = counts.filter(([count]) => count > 0).map(([count, verb]) => `${verb} ${count}`);
+    const what = said.length > 0 ? said.join(", ") : "nothing new";
+    return `${when}${run.dry ? ", as a dry run" : ""}: ${what}${run.outcome === "partial" ? " (part of it did not run)" : ""}`;
+}
+//# sourceMappingURL=on-the-map.js.map

package/dist/workflows/on-the-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"on-the-map.js","sourceRoot":"","sources":["../../src/workflows/on-the-map.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAyC9D,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAoC,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC5I,MAAM,OAAO,GAAG,CAAC,KAAc,EAAY,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAiB,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAEhL;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAsB,GAAkC,EAAE,SAAmC,EAAE,IAAuB;IACrJ,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IACjD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,KAA0B,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAY,EAAE;QAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,GAAY,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1F,CAAC,CAAC;IACF,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE;QACvC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,oHAAoH;QACpH,KAAK,MAAM,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAkD;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACtK,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAkD,EAAE,CAAC;YAC3F,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpI,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACnH,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjL,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,IAAuB,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;IACjJ,CAAC,CAAC,CAAC;AACL,CAAC;AAkBD;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,SAAiC,EAAE,KAAoC;IACnG,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACvF,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;QAChC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IACpG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAqBD,0FAA0F;AAC1F,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAA2B,EAAU,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEvM,iHAAiH;AACjH,MAAM,UAAU,QAAQ,CAAC,EAA0B,EAAE,MAA8B,IAAI,CAAC,GAAG,EAAE;IAC3F,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC;IACxF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC;QAAE,OAAO,UAAU,CAAC;IAChE,IAAI,OAAO,GAAG,EAAE;QAAE,OAAO,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,OAAO,cAAc,CAAC;IACnF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;IACvC,IAAI,KAAK,GAAG,EAAE;QAAE,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,KAAK,YAAY,CAAC;IAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;IACpC,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,IAAI,WAAW,CAAC;AACvD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,GAAwB,EAAE,MAA8B,IAAI,CAAC,GAAG,EAAE;IAC7F,IAAI,CAAC,GAAG;QAAE,OAAO,iBAAiB,CAAC;IACnC,MAAM,IAAI,GAAG,YAAY,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC;IACvD,IAAI,GAAG,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,GAAG,IAAI,aAAa,CAAC;IAC1D,IAAI,GAAG,CAAC,OAAO,KAAK,MAAM;QAAE,OAAO,GAAG,IAAI,aAAa,CAAC;IACxD,MAAM,MAAM,GAAG;QACb,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC;QACrD,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW,CAAC;QACnE,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC;KAC1D,CAAC;IACX,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC;IAC9F,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;IAC/D,OAAO,GAAG,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,GAAG,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAC7H,CAAC"}

package/dist/workflows/policies.d.ts

@@ -0,0 +1,39 @@
+import type { AnyGraphNode, GraphReader } from "../graph/types.js";
+import type { AnySchema } from "../schema/schema.js";
+import type { WorkflowFinding } from "./steps.js";
+import type { WorkflowWorld } from "./world.js";
+/** One rule a workflow follows: the record it is, its words, its place, and what it applies to. */
+export interface WorkflowPolicy {
+    readonly id: string;
+    readonly label: string;
+    /** The rule, verbatim. */
+    readonly action: string;
+    readonly order?: number;
+    /** A kind's name or a rule-language condition; absent, every record. */
+    readonly appliesTo?: string;
+}
+/**
+ * THE RULES THAT STAND, IN ORDER: the live records of `follows` whose
+ * status does not retire them, by `order` (those with none last), then by
+ * label. Nothing when the workflow follows nothing or the kind is not the app's.
+ */
+export declare function policiesOf(graph: Pick<GraphReader, "getNode"> & {
+    nodesOfKind(kind: string): readonly AnyGraphNode[];
+}, schema: AnySchema, follows: string | undefined): WorkflowPolicy[];
+/**
+ * WHETHER A RULE APPLIES TO A RECORD: one that says nothing of what it
+ * applies to applies to every record; one that names a kind (its name, or
+ * its plural) to that kind's; anything else is read as a condition in the
+ * rule language with the record as its subject — a mistake applies to nothing.
+ */
+export declare function policyApplies(policy: WorkflowPolicy, record: AnyGraphNode, graph: GraphReader, schema: AnySchema, today?: string): boolean;
+/** Whether a rule says to keep what it applies to: its words begin "keep", "never archive" or "do not archive". */
+export declare const keeps: (policy: WorkflowPolicy) => boolean;
+/**
+ * THE RULES, AS AN AGENT STEP IS HANDED THEM: verbatim, numbered in order,
+ * under a line that says they are the app's own — or "" when none stand.
+ */
+export declare function policyInstruction(policies: readonly WorkflowPolicy[]): string;
+/** What the checker says of `follows`: a kind the app has, or a finding with the fix. */
+export declare function followsFindings(follows: string | undefined, world: WorkflowWorld): WorkflowFinding[];
+//# sourceMappingURL=policies.d.ts.map

package/dist/workflows/policies.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policies.d.ts","sourceRoot":"","sources":["../../src/workflows/policies.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAyBhD,mGAAmG;AACnG,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,0BAA0B;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,wEAAwE;IACxE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAYD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG;IAAE,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,YAAY,EAAE,CAAA;CAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,cAAc,EAAE,CAqBzL;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,OAAO,CAe1I;AAED,mHAAmH;AACnH,eAAO,MAAM,KAAK,GAAI,QAAQ,cAAc,KAAG,OAAyF,CAAC;AAEzI;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,GAAG,MAAM,CAI7E;AAED,yFAAyF;AACzF,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,EAAE,KAAK,EAAE,aAAa,GAAG,eAAe,EAAE,CAYpG"}

package/dist/workflows/policies.js

@@ -0,0 +1,95 @@
+import { shapesFor } from "../document/computed-values.js";
+import { evaluateExpr, ExprEvalError, NodeSet } from "../document/expr/evaluate.js";
+import { ExprSyntaxError, parseExpr } from "../document/expr/parse.js";
+import { labelOf, nounOf, pluralOf } from "../schema/define-node.js";
+const ACTION = ["action", "rule", "instruction", "text"];
+const ORDER = ["order", "rank", "priority"];
+const APPLIES = ["appliesTo", "applies-to", "applies_to", "scope"];
+const RETIRED = /^(retired|off|inactive|paused|draft|archived|disabled)$/i;
+const first = (node, names) => names.map((name) => node[name]).find((value) => value !== undefined && value !== null && value !== "");
+/** Whether a policy record stands: not retired by its status, nor `active: false`. */
+const stands = (node) => node["active"] !== false && !(typeof node["status"] === "string" && RETIRED.test(node["status"].trim()));
+/**
+ * THE RULES THAT STAND, IN ORDER: the live records of `follows` whose
+ * status does not retire them, by `order` (those with none last), then by
+ * label. Nothing when the workflow follows nothing or the kind is not the app's.
+ */
+export function policiesOf(graph, schema, follows) {
+    if (follows === undefined || !schema.tryDefinition(follows))
+        return [];
+    const definition = schema.tryDefinition(follows);
+    return graph
+        .nodesOfKind(follows)
+        .filter((node) => stands(node))
+        .map((node) => {
+        const fields = node;
+        const label = labelOf(definition, node);
+        const action = first(fields, ACTION);
+        const order = first(fields, ORDER);
+        const applies = first(fields, APPLIES);
+        return {
+            id: node.id,
+            label,
+            action: typeof action === "string" ? action.trim() : label,
+            ...(typeof order === "number" && Number.isFinite(order) ? { order } : {}),
+            ...(typeof applies === "string" && applies.trim() !== "" ? { appliesTo: applies.trim() } : {}),
+        };
+    })
+        .sort((a, b) => (a.order ?? Infinity) - (b.order ?? Infinity) || a.label.localeCompare(b.label));
+}
+/**
+ * WHETHER A RULE APPLIES TO A RECORD: one that says nothing of what it
+ * applies to applies to every record; one that names a kind (its name, or
+ * its plural) to that kind's; anything else is read as a condition in the
+ * rule language with the record as its subject — a mistake applies to nothing.
+ */
+export function policyApplies(policy, record, graph, schema, today) {
+    const said = policy.appliesTo;
+    if (said === undefined)
+        return true;
+    const words = said.toLowerCase();
+    if (schema.tryDefinition(said))
+        return said === record.kind;
+    const names = (kind) => [pluralOf(schema, kind).toLowerCase(), nounOf(schema.tryDefinition(kind), kind).toLowerCase()];
+    if (names(record.kind).includes(words))
+        return true;
+    if (schema.definitions.some((one) => names(one.kind).includes(words)))
+        return false;
+    try {
+        const value = evaluateExpr(parseExpr(said), { graph, subject: record, kinds: shapesFor(schema), ...(today ? { today } : {}) });
+        return value instanceof NodeSet ? value.nodes.length > 0 : Array.isArray(value) ? value.length > 0 : value === true;
+    }
+    catch (error) {
+        if (error instanceof ExprEvalError || error instanceof ExprSyntaxError)
+            return false;
+        throw error;
+    }
+}
+/** Whether a rule says to keep what it applies to: its words begin "keep", "never archive" or "do not archive". */
+export const keeps = (policy) => /^(keep|never archive|do not archive|don['’]t archive)\b/i.test(policy.action);
+/**
+ * THE RULES, AS AN AGENT STEP IS HANDED THEM: verbatim, numbered in order,
+ * under a line that says they are the app's own — or "" when none stand.
+ */
+export function policyInstruction(policies) {
+    if (policies.length === 0)
+        return "";
+    const lines = policies.map((policy, at) => `${at + 1}. ${policy.action === policy.label ? policy.action : `${policy.label}: ${policy.action}`}${policy.appliesTo ? ` (applies to ${policy.appliesTo})` : ""}`);
+    return `\n\nFollow these rules, which the app's own people keep, in order; an earlier one wins:\n${lines.join("\n")}`;
+}
+/** What the checker says of `follows`: a kind the app has, or a finding with the fix. */
+export function followsFindings(follows, world) {
+    if (follows === undefined || world.kinds.has(follows))
+        return [];
+    const kinds = [...world.kinds.keys()];
+    return [
+        {
+            code: "workflow-follows-unknown",
+            severity: "error",
+            path: "follows",
+            message: `The workflow follows the rules kept as "${follows}" records, and "${follows}" is not a kind of this app.`,
+            fix: `Name the kind its rules are kept as: ${kinds.map((kind) => `"${kind}"`).join(", ") || "none"}.`,
+        },
+    ];
+}
+//# sourceMappingURL=policies.js.map

package/dist/workflows/policies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policies.js","sourceRoot":"","sources":["../../src/workflows/policies.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAEvE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAuCrE,MAAM,MAAM,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;AACzD,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AAC5C,MAAM,OAAO,GAAG,CAAC,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;AACnE,MAAM,OAAO,GAAG,0DAA0D,CAAC;AAE3E,MAAM,KAAK,GAAG,CAAC,IAA6B,EAAE,KAAwB,EAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC;AAE3L,sFAAsF;AACtF,MAAM,MAAM,GAAG,CAAC,IAA6B,EAAW,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAEpK;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,KAA4F,EAAE,MAAiB,EAAE,OAA2B;IACrK,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACvE,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IACjD,OAAO,KAAK;SACT,WAAW,CAAC,OAAO,CAAC;SACpB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAC;SACzD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,MAAM,GAAG,IAA+B,CAAC;QAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,UAAmB,EAAE,IAAI,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACvC,OAAO;YACL,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,KAAK;YACL,MAAM,EAAE,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK;YAC1D,GAAG,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzE,GAAG,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/F,CAAC;IACJ,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACrG,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,MAAsB,EAAE,MAAoB,EAAE,KAAkB,EAAE,MAAiB,EAAE,KAAc;IAC/H,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC;IAC9B,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,IAAI,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC;IAC5D,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IAC/H,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACpF,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/H,OAAO,KAAK,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC;IACtH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,aAAa,IAAI,KAAK,YAAY,eAAe;YAAE,OAAO,KAAK,CAAC;QACrF,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,mHAAmH;AACnH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAsB,EAAW,EAAE,CAAC,0DAA0D,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAEzI;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAmC;IACnE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/M,OAAO,4FAA4F,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACxH,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,eAAe,CAAC,OAA2B,EAAE,KAAoB;IAC/E,IAAI,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACjE,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACtC,OAAO;QACL;YACE,IAAI,EAAE,0BAA0B;YAChC,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,2CAA2C,OAAO,mBAAmB,OAAO,8BAA8B;YACnH,GAAG,EAAE,wCAAwC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG;SACtG;KACF,CAAC;AACJ,CAAC"}

package/dist/workflows/resolve.d.ts

@@ -0,0 +1,55 @@
+import type { GraviewApp } from "../app.js";
+import type { AnySchema } from "../schema/schema.js";
+import type { Author } from "../ops/types.js";
+import type { AppWorkflows, WorkflowApproval, WorkflowDeclaration, WorkflowStep, WorkflowTrigger } from "../workflow-shape.js";
+import { type WorkflowWorld } from "./world.js";
+/** A workflow as `workflowsOf` resolves it. */
+export interface ResolvedWorkflow {
+    readonly name: string;
+    readonly title: string;
+    readonly when: readonly WorkflowTrigger[];
+    readonly status: "active" | "paused";
+    /** What its changes become when a step says nothing of its own. */
+    readonly approve: WorkflowApproval;
+    readonly steps: readonly WorkflowStep[];
+    /** "Every Sunday at 6 PM: fill out next week's events". */
+    readonly words: string;
+    /** The kinds its steps read and may write. */
+    readonly reads: readonly string[];
+    readonly writes: readonly string[];
+    /** Whether a step writes to another system through a connection: what makes "ask" the default. */
+    readonly sendsOut: boolean;
+    /** Dreaming: the framework's, not the declaration's. */
+    readonly builtIn?: true;
+}
+/** The built-in workflow's name. */
+export declare const DREAMING = "dreaming";
+/** The automated author a workflow runs as: `workflow:<name>`, named by its title. */
+export declare const workflowAuthor: (workflow: {
+    readonly name: string;
+    readonly title: string;
+}) => Author;
+/** What a workflow's steps read and write, and whether one writes through a connection. */
+export declare function workflowReach(steps: readonly WorkflowStep[], world: WorkflowWorld): {
+    reads: string[];
+    writes: string[];
+    sendsOut: boolean;
+};
+/** One declared workflow, resolved against what the app may name. */
+export declare function resolveWorkflow(name: string, declared: WorkflowDeclaration, world: WorkflowWorld): ResolvedWorkflow;
+/**
+ * AN APP'S WORKFLOWS AS DECLARED: `defineApp({ workflows })`'s, or the
+ * document's an app was compiled from (`documentOf`) — read there rather
+ * than copied onto the compiled app, so a page that draws the app carries
+ * none of them.
+ */
+export declare const declaredWorkflows: (app: object) => AppWorkflows | undefined;
+/** Dreaming, as a workflow: every night at three, suggesting what it is not sure of. */
+export declare const dreamingWorkflow: () => ResolvedWorkflow;
+/**
+ * AN APP'S WORKFLOWS, RESOLVED, in the order declared, with dreaming last
+ * (`builtIn: true`) unless the app declares a workflow of that name or the
+ * actor has nothing it may tidy.
+ */
+export declare function workflowsOf<S extends AnySchema>(app: GraviewApp<S>): ResolvedWorkflow[];
+//# sourceMappingURL=resolve.d.ts.map

package/dist/workflows/resolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.d.ts","sourceRoot":"","sources":["../../src/workflows/resolve.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAE9C,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE/H,OAAO,EAAsB,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AAcpE,+CAA+C;AAC/C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACrC,mEAAmE;IACnE,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,2DAA2D;IAC3D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,8CAA8C;IAC9C,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,kGAAkG;IAClG,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,wDAAwD;IACxD,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;CACzB;AAED,oCAAoC;AACpC,eAAO,MAAM,QAAQ,aAAa,CAAC;AAEnC,sFAAsF;AACtF,eAAO,MAAM,cAAc,GAAI,UAAU;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,KAAG,MAAsG,CAAC;AAEpM,2FAA2F;AAC3F,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,EAAE,KAAK,EAAE,aAAa,GAAG;IAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAU5I;AAED,qEAAqE;AACrE,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,mBAAmB,EAAE,KAAK,EAAE,aAAa,GAAG,gBAAgB,CAInH;AAED;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAAI,KAAK,MAAM,KAAG,YAAY,GAAG,SAAwH,CAAC;AAKxL,wFAAwF;AACxF,eAAO,MAAM,gBAAgB,QAAO,gBAGnC,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,gBAAgB,EAAE,CAOvF"}

package/dist/workflows/resolve.js

@@ -0,0 +1,57 @@
+import { documentOf } from "../document/remembered.js";
+import { stepKindOf } from "./steps.js";
+import { workflowWorldOfApp } from "./world.js";
+import { workflowWords } from "./words.js";
+/** The built-in workflow's name. */
+export const DREAMING = "dreaming";
+/** The automated author a workflow runs as: `workflow:<name>`, named by its title. */
+export const workflowAuthor = (workflow) => ({ kind: "system", id: `workflow:${workflow.name}`, name: workflow.title, automated: true });
+/** What a workflow's steps read and write, and whether one writes through a connection. */
+export function workflowReach(steps, world) {
+    const reads = new Set();
+    const writes = new Set();
+    for (const step of steps) {
+        const touched = stepKindOf(step)?.touches(step, world);
+        for (const kind of touched?.reads ?? [])
+            reads.add(kind);
+        for (const kind of touched?.writes ?? [])
+            writes.add(kind);
+    }
+    const sent = [...world.connections.values()].some((connection) => connection.writes && connection.kinds.some((kind) => writes.has(kind)));
+    return { reads: [...reads], writes: [...writes], sendsOut: sent };
+}
+/** One declared workflow, resolved against what the app may name. */
+export function resolveWorkflow(name, declared, world) {
+    const reach = workflowReach(declared.steps ?? [], world);
+    const resolved = { name, title: declared.title, when: declared.when ?? [], status: declared.status ?? "active", approve: declared.approve ?? (reach.sendsOut ? "ask" : "apply"), steps: declared.steps ?? [] };
+    return { ...resolved, words: workflowWords(resolved, world.noun), ...reach };
+}
+/**
+ * AN APP'S WORKFLOWS AS DECLARED: `defineApp({ workflows })`'s, or the
+ * document's an app was compiled from (`documentOf`) — read there rather
+ * than copied onto the compiled app, so a page that draws the app carries
+ * none of them.
+ */
+export const declaredWorkflows = (app) => app.workflows ?? documentOf(app)?.workflows;
+/** Whether the app's own actor has anything it may tidy: some kind that does not say `tidying: "never"`. */
+const actorTidies = (schema) => schema.kinds.some((kind) => schema.tryDefinition(kind)?.tidying !== "never");
+/** Dreaming, as a workflow: every night at three, suggesting what it is not sure of. */
+export const dreamingWorkflow = () => {
+    const workflow = { name: DREAMING, title: "Tidy the app overnight", when: [{ every: "day 03:00" }], status: "active", approve: "suggest", steps: [] };
+    return { ...workflow, words: workflowWords(workflow), reads: [], writes: [], sendsOut: false, builtIn: true };
+};
+/**
+ * AN APP'S WORKFLOWS, RESOLVED, in the order declared, with dreaming last
+ * (`builtIn: true`) unless the app declares a workflow of that name or the
+ * actor has nothing it may tidy.
+ */
+export function workflowsOf(app) {
+    const workflows = declaredWorkflows(app);
+    const declared = Object.entries(workflows ?? {});
+    const world = declared.length > 0 ? workflowWorldOfApp(app) : undefined;
+    const out = declared.map(([name, workflow]) => resolveWorkflow(name, workflow, world));
+    if (!workflows?.[DREAMING] && actorTidies(app.schema))
+        out.push(dreamingWorkflow());
+    return out;
+}
+//# sourceMappingURL=resolve.js.map

package/dist/workflows/resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../../src/workflows/resolve.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAEvD,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAsB,MAAM,YAAY,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAiC3C,oCAAoC;AACpC,MAAM,CAAC,MAAM,QAAQ,GAAG,UAAU,CAAC;AAEnC,sFAAsF;AACtF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAA2D,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,YAAY,QAAQ,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAEpM,2FAA2F;AAC3F,MAAM,UAAU,aAAa,CAAC,KAA8B,EAAE,KAAoB;IAChF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACvD,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,KAAK,IAAI,EAAE;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzD,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,MAAM,IAAI,EAAE;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1I,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACpE,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,QAA6B,EAAE,KAAoB;IAC/F,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,IAAI,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,IAAI,EAAE,EAAW,CAAC;IACxN,OAAO,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC;AAC/E,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,GAAW,EAA4B,EAAE,CAAE,GAAoC,CAAC,SAAS,IAAK,UAAU,CAAC,GAAG,CAAC,EAAE,SAAsC,CAAC;AAExL,4GAA4G;AAC5G,MAAM,WAAW,GAAG,CAAC,MAAiB,EAAW,EAAE,CAAE,MAAM,CAAC,KAA2B,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAE,MAAM,CAAC,aAAa,CAAC,IAAI,CAAsC,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC;AAE9L,wFAAwF;AACxF,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAAqB,EAAE;IACrD,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,wBAAwB,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAW,CAAC;IAC/J,OAAO,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAChH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAsB,GAAkB;IACjE,MAAM,SAAS,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAM,CAAC,CAAC,CAAC;IACxF,IAAI,CAAC,SAAS,EAAE,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC;IACpF,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/workflows/schedule.d.ts

@@ -0,0 +1,28 @@
+/** A schedule as a table: which minutes, hours, days of the month, months (1–12) and weekdays (0 Sunday – 6). */
+export interface Schedule {
+    readonly minutes: ReadonlySet<number>;
+    readonly hours: ReadonlySet<number>;
+    readonly days: ReadonlySet<number>;
+    readonly months: ReadonlySet<number>;
+    readonly weekdays: ReadonlySet<number>;
+    /** Whether days and weekdays were each narrowed: cron runs on either, when both are. */
+    readonly daysSaid: boolean;
+    readonly weekdaysSaid: boolean;
+}
+/** What the words a schedule takes are, said when one cannot be read. */
+export declare const SCHEDULE_WORDS = "\"hour\", \"day\", \"day 03:00\", \"weekday 09:00\", \"sunday 18:00\" (any weekday), \"month 1 09:00\", or five-field cron like \"0 18 * * 0\"";
+/** A schedule in words, or a sentence saying what could not be read. */
+export declare function scheduleOfWords(words: string): Schedule | string;
+/** A schedule in five-field cron, or a sentence saying what could not be read. */
+export declare function scheduleOfCron(cron: string): Schedule | string;
+/** A clock trigger's schedule, or a sentence; undefined for a trigger that is no clock. */
+export declare function scheduleOf(trigger: {
+    readonly every?: string;
+    readonly cron?: string;
+}): Schedule | string | undefined;
+/** A clock trigger as a person reads it: "Every Sunday at 6 PM", "Every hour", "On the 1st of each month at 9 AM". */
+export declare function scheduleWords(trigger: {
+    readonly every?: string;
+    readonly cron?: string;
+}): string;
+//# sourceMappingURL=schedule.d.ts.map

package/dist/workflows/schedule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schedule.d.ts","sourceRoot":"","sources":["../../src/workflows/schedule.ts"],"names":[],"mappings":"AAaA,iHAAiH;AACjH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC,wFAAwF;IACxF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;CAChC;AAMD,yEAAyE;AACzE,eAAO,MAAM,cAAc,mJAAqI,CAAC;AAejK,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ,GAAG,MAAM,CA+BhE;AAgCD,kFAAkF;AAClF,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,MAAM,CAU9D;AAED,2FAA2F;AAC3F,wBAAgB,UAAU,CAAC,OAAO,EAAE;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,CAItH;AAUD,sHAAsH;AACtH,wBAAgB,aAAa,CAAC,OAAO,EAAE;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAkBlG"}