@graview/core 0.1.61 → 0.1.63

package/dist/workflow-shape.d.ts

@@ -0,0 +1,217 @@
+/**
+ * WORKFLOWS: WHAT THE APP DOES ON ITS OWN, AND WHEN (Roadmap f-jobs-declared).
+ *
+ *   workflows: {
+ *     "next-weeks-events": {
+ *       title: "Fill out next week's events",
+ *       when: [{ every: "sunday 18:00" }, { made: "grocery-list" }],
+ *       steps: [{ act: "add-event", over: { kind: "routine", where: "active" }, args: { name: { expr: "name" } }, key: "{id}" }],
+ *     },
+ *   }
+ *
+ * A workflow is the app's own actor given a schedule and a list of steps,
+ * in the declaration: run on a clock (`every`, `cron`, said in the brand's
+ * time zone), when a record of a kind is made or changed, when a connection
+ * finishes a pass, or by hand. Each step is one of a closed set of kinds
+ * (`STEP_KINDS`, `@graview/core/workflows`): run an act once or over the
+ * records a rule picks, or let a model propose acts from a list. What it
+ * makes is applied, suggested or asked about (`approve`).
+ *
+ * The same shape in a document (`workflows`) and in `defineApp({ workflows })`.
+ * `graview check` holds each to the declaration (`workflow-*`);
+ * `@graview/core/workflows` resolves them (`workflowsOf`), says them
+ * (`workflowWords`) and says when one runs next (`nextRunAt`);
+ * `@graview/tools/workflows` runs one (`runWorkflow`). Never a "job": the
+ * purpose's jobs are the questions an app answers (`job-shape.ts`).
+ */
+/** What starts a run: a clock in words or cron, a record made or changed, a connection's pass, or a person. */
+export type WorkflowTrigger = 
+/** Words: "day", "day 03:00", "weekday 09:00", "sunday 18:00", "month 1 09:00", "hour" — in the brand's time zone. */
+{
+    readonly every: string;
+}
+/** Five-field cron, "0 18 * * 0", in the brand's time zone. */
+ | {
+    readonly cron: string;
+}
+/** A record of this kind was made; `where`, in the rule language, holds of it. */
+ | {
+    readonly made: string;
+    readonly where?: string;
+}
+/** A record of this kind changed — one of these fields, when said. */
+ | {
+    readonly changed: string;
+    readonly fields?: readonly string[];
+    readonly where?: string;
+}
+/** The named connection finished a pass. */
+ | {
+    readonly synced: string;
+}
+/** Run now, only. */
+ | {
+    readonly byHand: true;
+};
+/** What becomes of what a run would change: made, suggested by how sure it is, or gathered for a person to approve. */
+export type WorkflowApproval = "apply" | "suggest" | "ask";
+/** A value a step hands an act: a literal, `$subject`, `$now`, `$today`, or `{ expr }` read on the record a step is over. */
+export type WorkflowValue = string | number | boolean | null | readonly unknown[] | {
+    readonly expr: string;
+};
+/** Which records a step runs over: one kind, those a rule holds of, at most `limit`. */
+export interface WorkflowOver {
+    readonly kind: string;
+    readonly where?: string;
+    readonly limit?: number;
+}
+/**
+ * RUN AN ACT: once (no `over`), or once per record `over` picks — the
+ * record the act's subject and what `{ expr }` values read. `key`, a
+ * `{field}` template ("{id}:{date}"), is the stable key of what the step
+ * makes: a rerun with the same key changes the record it made last time
+ * rather than making another.
+ */
+export interface ActStep {
+    readonly act: string;
+    readonly over?: WorkflowOver;
+    readonly args?: Readonly<Record<string, WorkflowValue>>;
+    readonly key?: string;
+    readonly approve?: WorkflowApproval;
+}
+/**
+ * LET A MODEL PROPOSE: an instruction in words, the kinds it may read and
+ * the acts it may propose, the model ("fast" or a host's model id) and
+ * what one run may spend. Each act it proposes is applied, suggested or
+ * let go by `approve` and its confidence, as the app's own actor's are.
+ * With no model lent, the step is skipped and the run says so.
+ */
+export interface AgentStep {
+    readonly agent: string;
+    readonly reads: readonly string[];
+    readonly acts: readonly string[];
+    readonly model?: string;
+    readonly budget?: {
+        readonly calls?: number;
+        readonly tokens?: number;
+    };
+    readonly approve?: WorkflowApproval;
+}
+/** Where a generate step's dates come from: a kind, the records a rule picks of it, and the field that holds each one's date. */
+export interface GenerateFrom {
+    readonly kind: string;
+    readonly where?: string;
+    /** A date or a moment (one day), one that repeats (`<field>Repeat` beside it), or a set of weekdays ("mon", "wed"). */
+    readonly dates: string;
+}
+/** The days a generate step makes records for: words ("next week", "this week", "next 7 days", "today", "tomorrow"), or two expressions. */
+export type GenerateWindow = string | {
+    readonly from: string;
+    readonly to: string;
+};
+/**
+ * MAKE DATED RECORDS FROM A PATTERN (Roadmap f-job-generate-from-pattern):
+ * for each day in `window` that a source record's date falls on — a date,
+ * a date that repeats, a set of weekdays — one record of the kind
+ * `generate` names, its fields from `set` (read on the source, with `date`
+ * the occurrence and `source` its record), linked back through `link`.
+ * Made once per `key` ("{source}:{date}" when unsaid): a rerun changes what
+ * the source changed and nothing a person changed, unless `overwrite`.
+ */
+export interface GenerateStep {
+    readonly generate: string;
+    readonly from: readonly GenerateFrom[];
+    readonly window: GenerateWindow;
+    readonly set?: Readonly<Record<string, WorkflowValue>>;
+    readonly key?: string;
+    /** The relation between a made record and its source: the made kind's, or the source kind's. */
+    readonly link?: string;
+    /** The act that makes one, where more than one act makes the kind (not `act`, which would make the step an act step). */
+    readonly using?: string;
+    /** A rerun sets a field again even where a person changed it. */
+    readonly overwrite?: boolean;
+    readonly approve?: WorkflowApproval;
+}
+/**
+ * SET ASIDE WHAT IS DONE WITH (Roadmap f-retention-rules): archive the
+ * records of a kind `where` holds of, once they have stood `after` — "3
+ * days" since each last changed, or `{ field, days }` after a date it
+ * holds. Archived, never removed; a record left alone, a kind never
+ * tidied and a record a person brought back from this workflow's archive
+ * are passed by.
+ */
+export interface ArchiveStep {
+    readonly archive: string;
+    readonly where?: string;
+    readonly after?: string | {
+        readonly field: string;
+        readonly days: number;
+    };
+    readonly approve?: WorkflowApproval;
+}
+/** A floor rule: what labels a record when no model judges it — any one of these that holds. */
+export interface ClassifyFloorRule {
+    /** At least this many links (http, https or www) in its text fields. */
+    readonly links?: number;
+    /** Any of these words or phrases in its text fields, as whole words, any case. */
+    readonly words?: readonly string[];
+    /** A line of the rule language that holds of it. */
+    readonly expr?: string;
+}
+/**
+ * LABEL EACH RECORD (Roadmap f-feedback-triage-agent): one typed judgment
+ * per record of `classify` — which of `field`'s options fits it, and how
+ * sure — set through the kind's own act with the reason on its lineage.
+ * Without a model, the `floor` decides; a record no rule matches is left
+ * for a person. An option whose confidence reaches its `setAside`
+ * threshold also archives the record (never removes it). Asked of a person
+ * unless the step says its own `approve`; an option in `confirm` is
+ * always asked. A record already labeled is passed by unless `relabel`.
+ */
+export interface ClassifyStep {
+    readonly classify: string;
+    readonly where?: string;
+    /** The choice field the label is kept in. */
+    readonly field: string;
+    /** The options it may choose from: the field's, or some of them. */
+    readonly options?: readonly string[];
+    /** What the model is told, in words, beside the options. */
+    readonly instruction?: string;
+    readonly floor?: Readonly<Record<string, ClassifyFloorRule>>;
+    /** An option, and how sure (0 to 1) a judgment must be for the record to be archived too. */
+    readonly setAside?: Readonly<Record<string, number>>;
+    /** Options never set without a person's yes, whatever `approve` says. */
+    readonly confirm?: readonly string[];
+    /** Judge a record again though it is labeled already. */
+    readonly relabel?: boolean;
+    readonly model?: string;
+    readonly budget?: {
+        readonly calls?: number;
+        readonly tokens?: number;
+    };
+    readonly approve?: WorkflowApproval;
+}
+/** One step of a workflow: one of `STEP_KINDS`, told apart by its one discriminating key. */
+export type WorkflowStep = ActStep | AgentStep | GenerateStep | ArchiveStep | ClassifyStep;
+/** A workflow as it is declared. */
+export interface WorkflowDeclaration {
+    /** Words a person reads: "Fill out next week's events". 1–120 characters. */
+    readonly title: string;
+    /** What starts it: one or several. */
+    readonly when: readonly WorkflowTrigger[];
+    /** Paused, it runs on no clock and no change; Run now still dry-runs it. Active when unsaid. */
+    readonly status?: "active" | "paused";
+    /** The workflow's own word on what its changes become; a step may say its own. */
+    readonly approve?: WorkflowApproval;
+    /** In order; at least one. */
+    readonly steps: readonly WorkflowStep[];
+    /** A kind of policy records the run reads and its model steps are told (Roadmap f-job-rule-inputs). */
+    readonly follows?: string;
+}
+/** An app's workflows, by slug name. */
+export type AppWorkflows = Readonly<Record<string, WorkflowDeclaration>>;
+/** The most workflows an app declares. */
+export declare const MOST_WORKFLOWS = 40;
+/** The most steps one workflow takes. */
+export declare const MOST_STEPS = 40;
+//# sourceMappingURL=workflow-shape.d.ts.map

package/dist/workflow-shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-shape.d.ts","sourceRoot":"","sources":["../src/workflow-shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,+GAA+G;AAC/G,MAAM,MAAM,eAAe;AACzB,sHAAsH;AACpH;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAC5B,+DAA+D;GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AAC3B,kFAAkF;GAChF;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE;AACpD,sEAAsE;GACpE;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE;AAC5F,4CAA4C;GAC1C;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AAC7B,qBAAqB;GACnB;IAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAA;CAAE,CAAC;AAE9B,uHAAuH;AACvH,MAAM,MAAM,gBAAgB,GAAG,OAAO,GAAG,SAAS,GAAG,KAAK,CAAC;AAE3D,6HAA6H;AAC7H,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,OAAO,EAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9G,wFAAwF;AACxF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACxE,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAED,iIAAiI;AACjI,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,uHAAuH;IACvH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,4IAA4I;AAC5I,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAErF;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,YAAY,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;IACvD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,gGAAgG;IAChG,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,yHAAyH;IACzH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,iEAAiE;IACjE,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5E,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAED,gGAAgG;AAChG,MAAM,WAAW,iBAAiB;IAChC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,kFAAkF;IAClF,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,oDAAoD;IACpD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,6CAA6C;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,oEAAoE;IACpE,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,4DAA4D;IAC5D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAC7D,6FAA6F;IAC7F,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACrD,yEAAyE;IACzE,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,yDAAyD;IACzD,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACxE,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAED,6FAA6F;AAC7F,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,YAAY,CAAC;AAE3F,oCAAoC;AACpC,MAAM,WAAW,mBAAmB;IAClC,6EAA6E;IAC7E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sCAAsC;IACtC,QAAQ,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IAC1C,gGAAgG;IAChG,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACtC,kFAAkF;IAClF,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;IACpC,8BAA8B;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,uGAAuG;IACvG,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,wCAAwC;AACxC,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;AAEzE,0CAA0C;AAC1C,eAAO,MAAM,cAAc,KAAK,CAAC;AACjC,yCAAyC;AACzC,eAAO,MAAM,UAAU,KAAK,CAAC"}

package/dist/workflow-shape.js

@@ -0,0 +1,31 @@
+/**
+ * WORKFLOWS: WHAT THE APP DOES ON ITS OWN, AND WHEN (Roadmap f-jobs-declared).
+ *
+ *   workflows: {
+ *     "next-weeks-events": {
+ *       title: "Fill out next week's events",
+ *       when: [{ every: "sunday 18:00" }, { made: "grocery-list" }],
+ *       steps: [{ act: "add-event", over: { kind: "routine", where: "active" }, args: { name: { expr: "name" } }, key: "{id}" }],
+ *     },
+ *   }
+ *
+ * A workflow is the app's own actor given a schedule and a list of steps,
+ * in the declaration: run on a clock (`every`, `cron`, said in the brand's
+ * time zone), when a record of a kind is made or changed, when a connection
+ * finishes a pass, or by hand. Each step is one of a closed set of kinds
+ * (`STEP_KINDS`, `@graview/core/workflows`): run an act once or over the
+ * records a rule picks, or let a model propose acts from a list. What it
+ * makes is applied, suggested or asked about (`approve`).
+ *
+ * The same shape in a document (`workflows`) and in `defineApp({ workflows })`.
+ * `graview check` holds each to the declaration (`workflow-*`);
+ * `@graview/core/workflows` resolves them (`workflowsOf`), says them
+ * (`workflowWords`) and says when one runs next (`nextRunAt`);
+ * `@graview/tools/workflows` runs one (`runWorkflow`). Never a "job": the
+ * purpose's jobs are the questions an app answers (`job-shape.ts`).
+ */
+/** The most workflows an app declares. */
+export const MOST_WORKFLOWS = 40;
+/** The most steps one workflow takes. */
+export const MOST_STEPS = 40;
+//# sourceMappingURL=workflow-shape.js.map

package/dist/workflow-shape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-shape.js","sourceRoot":"","sources":["../src/workflow-shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AA8KH,0CAA0C;AAC1C,MAAM,CAAC,MAAM,cAAc,GAAG,EAAE,CAAC;AACjC,yCAAyC;AACzC,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,CAAC"}

package/dist/workflows/findings.d.ts

@@ -0,0 +1,13 @@
+import { type Finding } from "../document/findings.js";
+import type { GraviewDocument } from "../document/schema.js";
+import { type WorkflowFinding } from "./steps.js";
+import { type WorkflowWorld } from "./world.js";
+/** Every finding about one workflow. */
+export declare function workflowFindingsOf(name: string, raw: unknown, world: WorkflowWorld): WorkflowFinding[];
+/** Every finding about an app's workflows, by name, at paths under `workflows`. */
+export declare function workflowFindings(workflows: unknown, world: WorkflowWorld): (WorkflowFinding & {
+    readonly workflow: string;
+})[];
+/** A document's workflows, judged with its own sentences at its own paths (`workflows.<name>.steps.0.act`): what `compileDocument` and `graview check` say of them. */
+export declare function documentWorkflowFindings(document: GraviewDocument): Finding[];
+//# sourceMappingURL=findings.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"findings.d.ts","sourceRoot":"","sources":["../../src/workflows/findings.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,KAAK,OAAO,EAAE,MAAM,yBAAyB,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAM7D,OAAO,EAAsC,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAGtF,OAAO,EAA2B,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AA+BzE,wCAAwC;AACxC,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,GAAG,eAAe,EAAE,CAyEtG;AAED,mFAAmF;AACnF,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,GAAG,CAAC,eAAe,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,CAU9H;AAED,uKAAuK;AACvK,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,eAAe,GAAG,OAAO,EAAE,CAM7E"}

package/dist/workflows/findings.js

@@ -0,0 +1,157 @@
+import { error, warning } from "../document/findings.js";
+import { WorkflowSpec } from "../document/workflow-spec.js";
+import { conditionProblems } from "../job-findings.js";
+import { MOST_WORKFLOWS } from "../workflow-shape.js";
+import { followsFindings } from "./policies.js";
+import { scheduleOf } from "./schedule.js";
+import { STEP_KINDS, stepKindOf, stepShapes } from "./steps.js";
+import { WORKFLOW_JUDGING } from "./judging.js";
+import { resolveWorkflow, workflowReach } from "./resolve.js";
+import { workflowWorldOfDocument } from "./world.js";
+/*
+ * A DECLARATION'S WORKFLOWS, JUDGED (Roadmap f-jobs-declared), in one
+ * vocabulary for a document and a TypeScript app, each finding with the
+ * edit that fixes it where one can be written down. Codes:
+ *
+ *   workflow-steps-empty          a workflow with no step (error)
+ *   workflow-schedule-invalid     words or cron that do not read (error)
+ *   workflow-connection-unknown   `synced` names no connection (error)
+ *   workflow-kind-unknown         a kind no kind of the app is (error)
+ *   workflow-field-unknown        `changed` names a field the kind lacks (error)
+ *   workflow-where-invalid        a rule that does not read, or reads what is not there (error)
+ *   workflow-act-unknown          an act the app does not give (error)
+ *   workflow-key-field-unknown    a key that reads what the step does not have (error)
+ *   workflow-agent-acts-empty     a model's step that may propose nothing (error)
+ *   workflow-sends-out-unasked    `approve: "apply"` said of a step that writes to another system (warning)
+ *   workflow-follows-unknown      `follows` names no kind (error)
+ *   workflow-shape                anything else not shaped as a workflow (error)
+ */
+const isRecord = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+const quoted = (names) => [...names].map((name) => `"${name}"`).join(", ") || "none";
+/** What is wrong with a value's shape, as zod says it, at paths under the workflow. */
+function shapeIssues(spec, value, prefix) {
+    const parsed = spec.safeParse(value);
+    if (parsed.success)
+        return [];
+    return parsed.error.issues.map((issue) => ({ path: [prefix, ...issue.path.map(String)].filter(Boolean).join("."), message: issue.keys ? `${issue.keys.map((k) => `"${k}"`).join(", ")} ${issue.keys.length === 1 ? "is" : "are"} not part of a workflow here` : issue.message }));
+}
+/** Every finding about one workflow. */
+export function workflowFindingsOf(name, raw, world) {
+    const out = [];
+    const said = `The workflow “${name}”`;
+    if (!isRecord(raw))
+        return [{ code: "workflow-shape", severity: "error", path: "", message: `${said} is not a workflow: it is { title, when, steps }.`, fix: "Say its title, what starts it and its steps." }];
+    const steps = raw["steps"];
+    if (!Array.isArray(steps) || steps.length === 0) {
+        out.push({ code: "workflow-steps-empty", severity: "error", path: "steps", message: `${said} has no steps, so it would do nothing.`, fix: "Give it a step — run an act, or let a model propose — or remove it.", edits: [{ op: "remove-workflow", name }] });
+    }
+    // The shape of everything but the steps, then each step by its own kind's shape: a union's refusal names no kind.
+    const shaped = shapeIssues(WorkflowSpec, { ...raw, steps: [{ act: "x" }] }, "").filter((issue) => !issue.path.startsWith("steps"));
+    for (const issue of shaped)
+        out.push({ code: "workflow-shape", severity: "error", path: issue.path, message: `${said}: ${issue.message}.`, fix: "A workflow says title, when, status, approve and steps." });
+    const stepsOk = [];
+    (Array.isArray(steps) ? steps : []).forEach((step, index) => {
+        const kind = stepKindOf(step);
+        if (!kind) {
+            out.push({ code: "workflow-shape", severity: "error", path: `steps.${index}`, message: `Step ${index + 1} of “${name}” is no kind of step Graview runs.`, fix: `A step says one of ${quoted(Object.keys(STEP_KINDS))}.` });
+            return;
+        }
+        const issues = shapeIssues(kind.shape(stepShapes()), step, `steps.${index}`);
+        for (const issue of issues)
+            out.push({ code: "workflow-shape", severity: "error", path: issue.path, message: `Step ${index + 1} of “${name}”: ${issue.message}.`, fix: `${kind.title}: say only the keys that kind of step takes.` });
+        if (issues.length === 0)
+            stepsOk.push(step);
+        else
+            return;
+        out.push(...kind.findings(step, { world, workflow: name, index, said: `Step ${index + 1} of “${name}”`, declared: raw }));
+    });
+    if (shaped.length > 0)
+        return out;
+    const declared = raw;
+    declared.when.forEach((trigger, at) => {
+        const schedule = scheduleOf(trigger);
+        if (typeof schedule === "string")
+            out.push({ code: "workflow-schedule-invalid", severity: "error", path: `when.${at}.${"every" in trigger ? "every" : "cron"}`, message: `${said} cannot be run on its clock: ${schedule}.`, fix: 'Write it as "sunday 18:00", "day 03:00", "weekday 09:00", "month 1 09:00", "hour", or five-field cron.' });
+        if ("synced" in trigger && !world.connections.has(trigger.synced)) {
+            out.push({ code: "workflow-connection-unknown", severity: "error", path: `when.${at}.synced`, message: `${said} starts when “${trigger.synced}” finishes a pass, and the app has no connection called that.`, fix: world.connections.size > 0 ? `Name one of ${quoted(world.connections.keys())}.` : "The app declares no connection; declare one under connections, or start it another way." });
+        }
+        if ("made" in trigger || "changed" in trigger) {
+            const kindName = "made" in trigger ? trigger.made : trigger.changed;
+            const key = "made" in trigger ? "made" : "changed";
+            const kind = world.kinds.get(kindName);
+            if (!kind) {
+                out.push({ code: "workflow-kind-unknown", severity: "error", path: `when.${at}.${key}`, message: `${said} starts when a “${kindName}” record is ${key}, and “${kindName}” is not a kind of this app.`, fix: `Name one of its kinds: ${quoted(world.kinds.keys())}.` });
+                return;
+            }
+            if ("changed" in trigger) {
+                for (const field of trigger.fields ?? []) {
+                    if (kind.fields[field] || kind.edges.has(field))
+                        continue;
+                    out.push({ code: "workflow-field-unknown", severity: "error", path: `when.${at}.fields`, message: `${said} starts when a ${kindName}'s “${field}” changes, and ${kindName} has no field or relation called that.`, fix: `Name one of ${quoted(Object.keys(kind.fields))}.` });
+                }
+            }
+            if (trigger.where !== undefined) {
+                for (const problem of conditionProblems(trigger.where, kindName, kind, world))
+                    out.push({ code: "workflow-where-invalid", severity: "error", path: `when.${at}.where`, message: `${said} cannot tell which records start it: ${problem}.`, fix: `Write it in the rule language over the fields of "${kindName}".` });
+            }
+        }
+    });
+    out.push(...followsFindings(declared.follows, world));
+    // Said, not refused: a step that writes to another system unasked.
+    stepsOk.forEach((step, index) => {
+        const stated = step.approve ?? declared.approve;
+        if (stated !== "apply")
+            return;
+        const reach = workflowReach([step], world);
+        if (!reach.sendsOut)
+            return;
+        const through = [...world.connections].filter(([, connection]) => connection.writes && connection.kinds.some((kind) => reach.writes.includes(kind))).map(([name]) => name);
+        const own = step.approve !== undefined;
+        out.push({
+            code: "workflow-sends-out-unasked",
+            severity: "warning",
+            path: own ? `steps.${index}.approve` : "approve",
+            message: `Step ${index + 1} of “${name}” writes through ${quoted(through)} to another system without asking anybody first.`,
+            fix: 'Allowed. Say approve: "ask" to have a person approve each run first.',
+            edits: [{ op: "set-workflow", name, workflow: own ? { ...raw, steps: raw["steps"].map((one, i) => (i === index ? { ...one, approve: "ask" } : one)) } : { ...raw, approve: "ask" } }],
+        });
+    });
+    return out;
+}
+/** Every finding about an app's workflows, by name, at paths under `workflows`. */
+export function workflowFindings(workflows, world) {
+    if (workflows === undefined)
+        return [];
+    if (!isRecord(workflows))
+        return [{ workflow: "", code: "workflow-shape", severity: "error", path: "", message: "workflows is the app's workflows by name.", fix: 'Write { "<name>": { title, when, steps } }.' }];
+    const out = [];
+    if (Object.keys(workflows).length > MOST_WORKFLOWS)
+        out.push({ workflow: "", code: "workflow-shape", severity: "error", path: "", message: `The app declares ${Object.keys(workflows).length} workflows; at most ${MOST_WORKFLOWS}.`, fix: "Fold some into others." });
+    for (const [name, raw] of Object.entries(workflows)) {
+        if (!/^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$/.test(name))
+            out.push({ workflow: name, code: "workflow-shape", severity: "error", path: "", message: `“${name}” is not a workflow's name: kebab-case, like "next-weeks-events".`, fix: "Rename it in kebab-case." });
+        for (const finding of workflowFindingsOf(name, raw, world))
+            out.push({ ...finding, workflow: name });
+    }
+    return out;
+}
+/** A document's workflows, judged with its own sentences at its own paths (`workflows.<name>.steps.0.act`): what `compileDocument` and `graview check` say of them. */
+export function documentWorkflowFindings(document) {
+    if (document.workflows === undefined)
+        return [];
+    return workflowFindings(document.workflows, workflowWorldOfDocument(document)).map((finding) => {
+        const path = ["workflows", finding.workflow, finding.path].filter(Boolean).join(".");
+        return finding.severity === "warning" ? warning(finding.code, path, finding.message, finding.fix, finding.edits) : error(finding.code, path, finding.message, finding.fix, finding.edits ? { edits: finding.edits } : undefined);
+    });
+}
+// An edit asks this checker when it is loaded (`./judging.ts`).
+WORKFLOW_JUDGING.judge = (name, workflow, document) => {
+    const world = workflowWorldOfDocument(document);
+    const found = workflowFindingsOf(name, workflow, world);
+    const errors = found.filter((finding) => finding.severity === "error");
+    if (errors.length > 0)
+        return { errors, warnings: [], said: "" };
+    const resolved = resolveWorkflow(name, workflow, world);
+    return { errors: [], warnings: found.filter((finding) => finding.severity === "warning").map((finding) => finding.message), said: `${resolved.words.slice(0, resolved.words.lastIndexOf(":"))}, ${resolved.steps.length === 1 ? "one step" : `${resolved.steps.length} steps`}${resolved.status === "paused" ? ", paused" : ""}` };
+};
+//# sourceMappingURL=findings.js.map

package/dist/workflows/findings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"findings.js","sourceRoot":"","sources":["../../src/workflows/findings.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAgB,MAAM,yBAAyB,CAAC;AAEvE,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAqE,MAAM,sBAAsB,CAAC;AACzH,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAwB,MAAM,YAAY,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAsB,MAAM,YAAY,CAAC;AAEzE;;;;;;;;;;;;;;;;;GAiBG;AAEH,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,MAAM,GAAG,CAAC,KAAuB,EAAU,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC;AAE/G,uFAAuF;AACvF,SAAS,WAAW,CAAC,IAAqK,EAAE,KAAc,EAAE,MAAc;IACxN,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAC9B,OAAO,MAAM,CAAC,KAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,8BAA8B,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AACrR,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,GAAY,EAAE,KAAoB;IACjF,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,MAAM,IAAI,GAAG,iBAAiB,IAAI,GAAG,CAAC;IACtC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,IAAI,mDAAmD,EAAE,GAAG,EAAE,8CAA8C,EAAE,CAAC,CAAC;IAC/M,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,IAAI,wCAAwC,EAAE,GAAG,EAAE,qEAAqE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/P,CAAC;IACD,kHAAkH;IAClH,MAAM,MAAM,GAAG,WAAW,CAAC,YAAqB,EAAE,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5I,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,KAAK,KAAK,CAAC,OAAO,GAAG,EAAE,GAAG,EAAE,yDAAyD,EAAE,CAAC,CAAC;IAC7M,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC1D,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,KAAK,EAAE,EAAE,OAAO,EAAE,QAAQ,KAAK,GAAG,CAAC,QAAQ,IAAI,oCAAoC,EAAE,GAAG,EAAE,sBAAsB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YAC3N,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAU,EAAE,IAAI,EAAE,SAAS,KAAK,EAAE,CAAC,CAAC;QACtF,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,KAAK,GAAG,CAAC,QAAQ,IAAI,MAAM,KAAK,CAAC,OAAO,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,8CAA8C,EAAE,CAAC,CAAC;QACtO,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAoB,CAAC,CAAC;;YACvD,OAAO;QACZ,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAa,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,KAAK,GAAG,CAAC,QAAQ,IAAI,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACrI,CAAC,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAElC,MAAM,QAAQ,GAAG,GAAqC,CAAC;IACvD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAwB,EAAE,EAAE,EAAE,EAAE;QACrD,MAAM,QAAQ,GAAG,UAAU,CAAC,OAA4C,CAAC,CAAC;QAC1E,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,IAAI,gCAAgC,QAAQ,GAAG,EAAE,GAAG,EAAE,wGAAwG,EAAE,CAAC,CAAC;QAC9U,IAAI,QAAQ,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAClE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,6BAA6B,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,IAAI,iBAAiB,OAAO,CAAC,MAAM,+DAA+D,EAAE,GAAG,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,yFAAyF,EAAE,CAAC,CAAC;QACpY,CAAC;QACD,IAAI,MAAM,IAAI,OAAO,IAAI,SAAS,IAAI,OAAO,EAAE,CAAC;YAC9C,MAAM,QAAQ,GAAG,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;YACpE,MAAM,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YACnD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACvC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,GAAG,IAAI,mBAAmB,QAAQ,eAAe,GAAG,UAAU,QAAQ,8BAA8B,EAAE,GAAG,EAAE,0BAA0B,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;gBACvQ,OAAO;YACT,CAAC;YACD,IAAI,SAAS,IAAI,OAAO,EAAE,CAAC;gBACzB,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;oBACzC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;wBAAE,SAAS;oBAC1D,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,IAAI,kBAAkB,QAAQ,OAAO,KAAK,kBAAkB,QAAQ,wCAAwC,EAAE,GAAG,EAAE,eAAe,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChR,CAAC;YACH,CAAC;YACD,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAChC,KAAK,MAAM,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,IAAI,wCAAwC,OAAO,GAAG,EAAE,GAAG,EAAE,qDAAqD,QAAQ,IAAI,EAAE,CAAC,CAAC;YACvT,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,GAAG,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IAEtD,mEAAmE;IACnE,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC9B,MAAM,MAAM,GAAI,IAA6B,CAAC,OAAO,IAAI,QAAQ,CAAC,OAAO,CAAC;QAC1E,IAAI,MAAM,KAAK,OAAO;YAAE,OAAO;QAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,CAAC,QAAQ;YAAE,OAAO;QAC5B,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3K,MAAM,GAAG,GAAI,IAA6B,CAAC,OAAO,KAAK,SAAS,CAAC;QACjE,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,4BAA4B;YAClC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS;YAChD,OAAO,EAAE,QAAQ,KAAK,GAAG,CAAC,QAAQ,IAAI,oBAAoB,MAAM,CAAC,OAAO,CAAC,kDAAkD;YAC3H,GAAG,EAAE,sEAAsE;YAC3E,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,KAAK,EAAG,GAAG,CAAC,OAAO,CAAe,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,GAAI,GAAc,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC;SACjN,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,gBAAgB,CAAC,SAAkB,EAAE,KAAoB;IACvE,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACvC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,2CAA2C,EAAE,GAAG,EAAE,6CAA6C,EAAE,CAAC,CAAC;IACnN,MAAM,GAAG,GAAwD,EAAE,CAAC;IACpE,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,GAAG,cAAc;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,oBAAoB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,uBAAuB,cAAc,GAAG,EAAE,GAAG,EAAE,wBAAwB,EAAE,CAAC,CAAC;IACvQ,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,IAAI,mEAAmE,EAAE,GAAG,EAAE,0BAA0B,EAAE,CAAC,CAAC;QAC5P,KAAK,MAAM,OAAO,IAAI,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uKAAuK;AACvK,MAAM,UAAU,wBAAwB,CAAC,QAAyB;IAChE,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAChD,OAAO,gBAAgB,CAAC,QAAQ,CAAC,SAAS,EAAE,uBAAuB,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC7F,MAAM,IAAI,GAAG,CAAC,WAAW,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrF,OAAO,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACnO,CAAC,CAAC,CAAC;AACL,CAAC;AAED,gEAAgE;AAChE,gBAAgB,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE;IACpD,MAAM,KAAK,GAAG,uBAAuB,CAAC,QAA2B,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACvE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACjE,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,QAAiB,EAAE,KAAK,CAAC,CAAC;IACjE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;AACrU,CAAC,CAAC"}

package/dist/workflows/generate-words.d.ts

@@ -0,0 +1,12 @@
+/** A key when the step says none: one record per source and day. */
+export declare const DEFAULT_GENERATE_KEY = "{source}:{date}";
+/** The longest window a step makes records for, in days. */
+export declare const MOST_WINDOW_DAYS = 366;
+/** The most records one step wants in one run. */
+export declare const MOST_GENERATED = 2000;
+export declare const WINDOW_WORDS: RegExp;
+/** What a window says in words, or why it cannot be read. */
+export declare function windowWordsProblem(window: string): string | undefined;
+/** The `$` names a generate step's values may give. */
+export declare const GENERATE_REFS: readonly ["$date", "$source", "$subject", "$today", "$now"];
+//# sourceMappingURL=generate-words.d.ts.map

package/dist/workflows/generate-words.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generate-words.d.ts","sourceRoot":"","sources":["../../src/workflows/generate-words.ts"],"names":[],"mappings":"AAOA,oEAAoE;AACpE,eAAO,MAAM,oBAAoB,oBAAoB,CAAC;AAEtD,4DAA4D;AAC5D,eAAO,MAAM,gBAAgB,MAAM,CAAC;AAEpC,kDAAkD;AAClD,eAAO,MAAM,cAAc,OAAO,CAAC;AAEnC,eAAO,MAAM,YAAY,QAAkE,CAAC;AAE5F,6DAA6D;AAC7D,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAKrE;AAED,uDAAuD;AACvD,eAAO,MAAM,aAAa,6DAA8D,CAAC"}

package/dist/workflows/generate-words.js

@@ -0,0 +1,25 @@
+/*
+ * A GENERATE STEP'S WORDS, apart from what it wants (`generate.ts`): its
+ * default key, the windows it reads, the `$` names its values give and its
+ * limits — what the checker holds a step to without bringing the runner's
+ * arithmetic onto every path `graview check` is on.
+ */
+/** A key when the step says none: one record per source and day. */
+export const DEFAULT_GENERATE_KEY = "{source}:{date}";
+/** The longest window a step makes records for, in days. */
+export const MOST_WINDOW_DAYS = 366;
+/** The most records one step wants in one run. */
+export const MOST_GENERATED = 2000;
+export const WINDOW_WORDS = /^(?:today|tomorrow|this week|next week|next (\d{1,3}) days?)$/;
+/** What a window says in words, or why it cannot be read. */
+export function windowWordsProblem(window) {
+    const found = WINDOW_WORDS.exec(window.trim().toLowerCase());
+    if (!found)
+        return `"${window}" is not a window it can read: say "today", "tomorrow", "this week", "next week" or "next 7 days", or give { "from": …, "to": … }`;
+    if (found[1] !== undefined && (+found[1] < 1 || +found[1] > MOST_WINDOW_DAYS))
+        return `"${window}" is not between 1 and ${MOST_WINDOW_DAYS} days`;
+    return undefined;
+}
+/** The `$` names a generate step's values may give. */
+export const GENERATE_REFS = ["$date", "$source", "$subject", "$today", "$now"];
+//# sourceMappingURL=generate-words.js.map

package/dist/workflows/generate-words.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generate-words.js","sourceRoot":"","sources":["../../src/workflows/generate-words.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,oEAAoE;AACpE,MAAM,CAAC,MAAM,oBAAoB,GAAG,iBAAiB,CAAC;AAEtD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAEpC,kDAAkD;AAClD,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC;AAEnC,MAAM,CAAC,MAAM,YAAY,GAAG,+DAA+D,CAAC;AAE5F,6DAA6D;AAC7D,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAC7D,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,MAAM,mIAAmI,CAAC;IACjK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC;QAAE,OAAO,IAAI,MAAM,0BAA0B,gBAAgB,OAAO,CAAC;IAClJ,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,uDAAuD;AACvD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAU,CAAC"}

package/dist/workflows/generate.d.ts

@@ -0,0 +1,59 @@
+import { type Value } from "../document/expr/evaluate.js";
+import type { Graph } from "../graph/graph.js";
+import type { AnySchema } from "../schema/schema.js";
+import type { GenerateStep, GenerateWindow } from "../workflow-shape.js";
+/** The days a window covers, from and to (both included), on a day and the app's clock. A week starts on Monday. */
+export declare function windowDays(window: GenerateWindow, at: {
+    readonly today: string;
+    readonly zone: string;
+    readonly evaluate?: (expr: string) => Value;
+}): {
+    readonly from: string;
+    readonly to: string;
+};
+/** The days a record's date falls on between two days: a date, a date that repeats, or a set of weekdays. Each as the record says it (a moment keeps its time of day). */
+export declare function datesIn(node: Readonly<Record<string, unknown>>, field: string, window: {
+    readonly from: string;
+    readonly to: string;
+}, zone: string): string[];
+/** One record a generate step wants. */
+export interface WantedRecord {
+    /** The record it comes from, and its kind. */
+    readonly source: string;
+    readonly sourceKind: string;
+    /** The occurrence, as the source says it, and its day. */
+    readonly date: string;
+    readonly day: string;
+    /** The step's key, read on the source and the occurrence. */
+    readonly key: string;
+    /** The id the key gives what the step makes: the same key, the same record. */
+    readonly id: string;
+    /** Its fields, as `set` reads them. */
+    readonly values: Readonly<Record<string, unknown>>;
+}
+/** What a generate step wants for one run. */
+export interface GenerateWants {
+    readonly from: string;
+    readonly to: string;
+    readonly wanted: readonly WantedRecord[];
+    /** What could not be read, by source record, in words. */
+    readonly problems: readonly {
+        readonly source?: string;
+        readonly why: string;
+    }[];
+}
+/** What a generate step reads a run with. */
+export interface GenerateReading {
+    readonly graph: Graph<AnySchema>;
+    readonly schema: AnySchema;
+    /** The workflow's name: in every id the step makes. */
+    readonly workflow: string;
+    readonly now: number;
+    /** The run's day on the app's clock; read from `now` in `timeZone` when unsaid. */
+    readonly today?: string | undefined;
+    readonly timeZone?: string | undefined;
+    readonly locale?: string | undefined;
+}
+/** WHAT A GENERATE STEP WANTS, on the graph as it stands: every record, in day order. */
+export declare function generateWants(step: GenerateStep, reading: GenerateReading): GenerateWants;
+//# sourceMappingURL=generate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../src/workflows/generate.ts"],"names":[],"mappings":"AACA,OAAO,EAAyC,KAAK,KAAK,EAAE,MAAM,8BAA8B,CAAC;AAKjG,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAKrD,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAiB,MAAM,sBAAsB,CAAC;AAaxF,oHAAoH;AACpH,wBAAgB,UAAU,CAAC,MAAM,EAAE,cAAc,EAAE,EAAE,EAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,KAAK,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAyBrM;AAED,0KAA0K;AAC1K,wBAAgB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAa9J;AAED,wCAAwC;AACxC,MAAM,WAAW,YAAY;IAC3B,8CAA8C;IAC9C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,0DAA0D;IAC1D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,uCAAuC;IACvC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAED,8CAA8C;AAC9C,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,0DAA0D;IAC1D,QAAQ,CAAC,QAAQ,EAAE,SAAS;QAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAClF;AAeD,6CAA6C;AAC7C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,uDAAuD;IACvD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,mFAAmF;IACnF,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACtC;AAED,yFAAyF;AACzF,wBAAgB,aAAa,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,eAAe,GAAG,aAAa,CAiDzF"}