@graview/tools 0.1.0

package/dist/derive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive.js","sourceRoot":"","sources":["../src/derive.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAiE,MAAM,eAAe,CAAC;AAC3G,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AA+D7D;;;;GAIG;AACH,MAAM,UAAU,gBAAgB;IAC9B,OAAO,CAAC,iBAAiB,EAAK,EAAE,iBAAiB,EAAK,EAAE,cAAc,EAAK,EAAE,eAAe,EAAK,CAAC,CAAC;AACrG,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAe,EACf,SAA4B,EAC5B,UAA4B,EAAE;IAE9B,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC;IACtB,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,gBAAgB,EAAK,CAAC;IAC7D,MAAM,KAAK,GAAG,SAAS;SACpB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SACpC,MAAM,CAAC,CAAC,IAAI,EAA2B,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAEjE,MAAM,OAAO,GAAqB;QAChC,KAAK;QACL,SAAS;QACT,KAAK;QACL,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE;QAC1C,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE;QAC1C,wEAAwE;QACxE,mEAAmE;QACnE,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC;QAC7C,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;KAC/B,CAAC;IAEF,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,YAAY,GAAkB,EAAE,CAAC;IACvC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACxC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC;QAChD,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,KAAK;SACF,YAAY,EAAE;SACd,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC;SACrC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CACpC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;IACrD,iEAAiE;IACjE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,CAAC,UAAsB,EAAmC,EAAE,CACxE,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC;QAC/B,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC;YAC1E,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,SAAS,CAAC;IAClB,MAAM,QAAQ,GAAG,CAAC,UAAsB,EAAc,EAAE;QACtD,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;IAC7D,CAAC,CAAC;IACF,8DAA8D;IAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IAChG,MAAM,OAAO,GAAG,CAAC,UAAsB,EAAU,EAAE,CACjD,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG,CAAC,UAAsB,EAAU,EAAE,CACjD,UAAU,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAE3D;;;;;;;;;OASG;IACH,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACrG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA6B,CAAC;IACtD,MAAM,SAAS,GAAG,CAAC,UAAsB,EAAqB,EAAE;QAC9D,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAC;QACzB,IAAI,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3D,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClD,IAAI,OAAO,KAAK,KAAK,QAAQ;oBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF;;;;;;;;;;;;;;OAcG;IACH,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,CAAC;IACf;;;;;;;;OAQG;IACH,MAAM,IAAI,GAAG,CAAC,UAAsB,EAAU,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,SAAS,GAAG,CAAC,UAAsB,EAAU,EAAE;QACnD,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACrC,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QACtC;;;;;WAKG;QACH,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvF,wEAAwE;QACxE,IAAI,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,SAAS,KAAK,KAAK,EAAE,CAAC;YACzE,OAAO,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,6DAA6D;IAC7D,MAAM,OAAO,GAAG,CAAC,UAAsB,EAAE,UAAiB,EAAU,EAAE,CACpE,UAAU,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IAE1E,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrD,uEAAuE;IACvE,+DAA+D;IAC/D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAqB,UAAU,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtC,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,KAAK,CAAC,CAAC;QACpF,IAAI,WAAW,KAAK,CAAC;YAAE,OAAO,WAAW,CAAC;QAC1C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QAC7D,OAAO,CACL,MAAM,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC;YACvE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;YACvB,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;YACvB,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CACzB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH;;;;;;;OAOG;IACH;;;;;;;;;;;;;;OAcG;IACH,MAAM,MAAM,GAAc,OAAO,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACjE,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,KAAK,MAAM,UAAU,IAAI,MAAM,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAC3B,EAAE,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAC7F,MAAM,CACP,CAAC;QACF,IAAI,OAAO,CAAC,EAAE;YAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;;YACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAClE,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAEhG,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC;QACpF,QAAQ,EAAE,MAAM;QAChB,YAAY,EAAE,kBAAkB,CAAC,YAAY,CAAC;QAC9C,EAAE,EAAE,GAAG,EAAE,GAAG,OAAO;KACpB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,MAAM,CAAC,WAAkC;IAChD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC3C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG;YACV,UAAU,CAAC,QAAQ;YACnB,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC;YAC/B,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,IAAI,IAAI,CAAC;SACzC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACZ,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,CAAC,QAAQ,IAAI,UAAU,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,kBAAkB,CAAC,YAAoC;IAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC5C,KAAK,MAAM,WAAW,IAAI,YAAY;QAAE,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAChF,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,GAAG;IACV,OAAO,OAAO,WAAW,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;AAC7E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAe,EACf,UAAsB,EACtB,YAA+C,EAAE,EACjD,UAAkC,EAAE;IAEpC,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACnE,IAAI,EAAE,UAAU,CAAC,QAAQ;QACzB,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,SAAS,EAAE;KACpD,CAAC,CAAC,CAAC;IACJ;;;;;;;;;;;OAWG;IACH,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,CAAC,CAAC;IAChG,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE;QAC3B,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC;QAC3D,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtD,CAAC,CAAC;AACL,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,iBAAiB,CAC/B,KAAe,EACf,UAAsB,EACtB,YAA+C,EAAE;IAEjD,OAAO,KAAK,CAAC,OAAO,CAAC;QACnB,IAAI,EAAE,UAAU,CAAC,QAAQ;QACzB,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,SAAS,EAAE;KAC3C,CAAC,CAAC;AACL,CAAC"}

package/dist/edit.d.ts

@@ -0,0 +1,70 @@
+import { type AnySchema, type ArgShape, type Store } from "@graview/core";
+import type { OpenParameter } from "./types.js";
+/**
+ * A field you can change where it is shown, and the mutation that would do it.
+ *
+ * Reading a node closely is exactly when you most want to change it, and
+ * until now the only way was to find a named mutation in the actions strip
+ * and answer its arguments in a form. "Change this word" should be available
+ * on the word.
+ *
+ * It still goes through a mutation. That is not a formality: the mutation is
+ * what puts the change in the op log with an author and an intent, what makes
+ * it undoable, and what the invariants judge. An in-place edit that wrote the
+ * graph directly would be the one kind of change nobody could take back.
+ */
+export interface EditableField {
+    /** The field on the node, as the schema declares it. */
+    readonly field: string;
+    readonly mutation: string;
+    /** The mutation's own title, so the control can say what applying it means. */
+    readonly title: string;
+    /** What sort of answer the field wants, read off the mutation's input. */
+    readonly shape: ArgShape;
+    /**
+     * Whether the mutation takes the new value as an argument. `rename` does;
+     * `finish` sets `done` without asking — a writer by declaration whose
+     * whole meaning is in its title. A control for the second kind offers the
+     * act, not a text box.
+     */
+    readonly takesValue: boolean;
+    /**
+     * Other declared writers of the same field, for a control that must offer
+     * a choice of acts: `done` is written by "Mark it done" AND "Put it back".
+     */
+    readonly alternatives: readonly EditableField[];
+    /**
+     * Anything else the mutation needs that the edit cannot supply. Present
+     * rather than filtered out: a field editable only by answering a second
+     * question is still worth offering, and hiding it would be a lie.
+     */
+    readonly open: readonly OpenParameter[];
+    /** The call for a new value. */
+    call(value: unknown): {
+        name: string;
+        args: Record<string, unknown>;
+    };
+}
+/**
+ * Which of a node's fields can be edited in place, derived from declarations.
+ *
+ * Two sources, in order of trust. A mutation that DECLARES what it writes
+ * (`writes: ["done"]`) is believed, and only about that — which is how
+ * `finish` and `reopen` stop being invisible writers of `done`. One that
+ * does not is read by name: an input argument named exactly like one of the
+ * kind's fields writes that field — `relabelEntity` takes `label`,
+ * `rescheduleTrigger` takes `when` — with no app saying anything per field.
+ *
+ * The derived edit act (`edit-<kind>`, see `deriveEditMutations` in core)
+ * arrives here like any other mutation, declaring the fields it covers, so
+ * a field you could set at creation is editable where it is shown.
+ *
+ * The name heuristic's limit is worth being honest about: an argument called
+ * `label` that means something other than the subject's own label would be
+ * matched wrongly. Nothing here writes anything on its own — the edit runs
+ * the mutation, the mutation decides, the invariants judge — so the cost of
+ * a wrong guess is an action offered that does not do what its name
+ * suggests, not a corrupted graph. Declaring `writes` removes the guess.
+ */
+export declare function editableFields<S extends AnySchema>(store: Store<S>, nodeId: string): readonly EditableField[];
+//# sourceMappingURL=edit.d.ts.map

package/dist/edit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edit.d.ts","sourceRoot":"","sources":["../src/edit.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,SAAS,EACd,KAAK,QAAQ,EACb,KAAK,KAAK,EACX,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,aAAa;IAC5B,wDAAwD;IACxD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,SAAS,aAAa,EAAE,CAAC;IAChD;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,SAAS,aAAa,EAAE,CAAC;IACxC,gCAAgC;IAChC,IAAI,CAAC,KAAK,EAAE,OAAO,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC;CACvE;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,cAAc,CAAC,CAAC,SAAS,SAAS,EAChD,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,MAAM,EAAE,MAAM,GACb,SAAS,aAAa,EAAE,CAoE1B"}

package/dist/edit.js

@@ -0,0 +1,97 @@
+import { argShape, fieldsWrittenBy, nodeRefArgs, } from "@graview/core";
+/**
+ * Which of a node's fields can be edited in place, derived from declarations.
+ *
+ * Two sources, in order of trust. A mutation that DECLARES what it writes
+ * (`writes: ["done"]`) is believed, and only about that — which is how
+ * `finish` and `reopen` stop being invisible writers of `done`. One that
+ * does not is read by name: an input argument named exactly like one of the
+ * kind's fields writes that field — `relabelEntity` takes `label`,
+ * `rescheduleTrigger` takes `when` — with no app saying anything per field.
+ *
+ * The derived edit act (`edit-<kind>`, see `deriveEditMutations` in core)
+ * arrives here like any other mutation, declaring the fields it covers, so
+ * a field you could set at creation is editable where it is shown.
+ *
+ * The name heuristic's limit is worth being honest about: an argument called
+ * `label` that means something other than the subject's own label would be
+ * matched wrongly. Nothing here writes anything on its own — the edit runs
+ * the mutation, the mutation decides, the invariants judge — so the cost of
+ * a wrong guess is an action offered that does not do what its name
+ * suggests, not a corrupted graph. Declaring `writes` removes the guess.
+ */
+export function editableFields(store, nodeId) {
+    const node = store.graph.getNode(nodeId);
+    if (!node)
+        return [];
+    const kind = node["kind"];
+    const definition = store.schema.tryDefinition(kind);
+    if (!definition)
+        return [];
+    const candidates = new Map();
+    for (const mutation of store.allMutations()) {
+        const subject = mutation.subject;
+        if (!subject)
+            continue;
+        const accepts = subject.kinds === "*" || subject.kinds.includes(kind);
+        if (!accepts)
+            continue;
+        const shape = mutation.input.shape ?? {};
+        for (const name of fieldsWrittenBy(mutation, definition)) {
+            const takesValue = name in shape;
+            const open = [];
+            for (const other of Object.keys(shape)) {
+                if (other === subject.arg || other === name)
+                    continue;
+                if (optional(shape[other]))
+                    continue;
+                const ref = nodeRefArgs(mutation.input).find((candidate) => candidate.name === other);
+                open.push({
+                    name: other,
+                    ...(ref ? { kinds: ref.kinds } : {}),
+                    ...(ref
+                        ? {
+                            candidates: ref.kinds.includes("*")
+                                ? store.graph.allNodes().map((other2) => other2.id)
+                                : ref.kinds.flatMap((refKind) => store.graph.nodesOfKind(refKind).map((other2) => other2.id)),
+                        }
+                        : {}),
+                    shape: argShape(mutation.input, other),
+                });
+            }
+            const field = {
+                field: name,
+                mutation: mutation.name,
+                title: mutation.title ?? mutation.name,
+                shape: takesValue ? argShape(mutation.input, name) : { type: "unknown" },
+                takesValue,
+                alternatives: [],
+                open,
+                call: (value) => ({
+                    name: mutation.name,
+                    args: takesValue
+                        ? { [subject.arg]: nodeId, [name]: value }
+                        : { [subject.arg]: nodeId },
+                }),
+            };
+            candidates.set(name, [...(candidates.get(name) ?? []), field]);
+        }
+    }
+    /*
+     * One control per field. A writer that takes the value is the natural
+     * control and comes first; among equals, declaration order holds, so
+     * which mutation edits a field is stable rather than registration luck.
+     * The rest ride along as alternatives, for a control that offers acts.
+     */
+    return [...candidates.values()].map((writers) => {
+        const ordered = [...writers.filter((w) => w.takesValue), ...writers.filter((w) => !w.takesValue)];
+        const [first, ...rest] = ordered;
+        return { ...first, alternatives: rest };
+    });
+}
+/** Whether an argument may be left out, so it does not count as unanswered. */
+function optional(schema) {
+    const type = schema?._def?.type;
+    return type === "optional" || type === "default" || type === "nullable";
+}
+//# sourceMappingURL=edit.js.map

package/dist/edit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edit.js","sourceRoot":"","sources":["../src/edit.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,eAAe,EACf,WAAW,GAIZ,MAAM,eAAe,CAAC;AA8CvB;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAe,EACf,MAAc;IAEd,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAwC,CAAC;IAChF,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAW,CAAC;IACpC,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAE3B,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;IACtD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;QACjC,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,OAAO,GACX,OAAO,CAAC,KAAK,KAAK,GAAG,IAAK,OAAO,CAAC,KAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC/E,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,MAAM,KAAK,GAAI,QAAQ,CAAC,KAA6C,CAAC,KAAK,IAAI,EAAE,CAAC;QAClF,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;YACzD,MAAM,UAAU,GAAG,IAAI,IAAI,KAAK,CAAC;YACjC,MAAM,IAAI,GAAoB,EAAE,CAAC;YACjC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvC,IAAI,KAAK,KAAK,OAAO,CAAC,GAAG,IAAI,KAAK,KAAK,IAAI;oBAAE,SAAS;gBACtD,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBAAE,SAAS;gBACrC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;gBACtF,IAAI,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,KAAK;oBACX,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpC,GAAG,CAAC,GAAG;wBACL,CAAC,CAAC;4BACE,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;gCACjC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;gCACnD,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAC5B,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAC5D;yBACN;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;iBACvC,CAAC,CAAC;YACL,CAAC;YACD,MAAM,KAAK,GAAkB;gBAC3B,KAAK,EAAE,IAAI;gBACX,QAAQ,EAAE,QAAQ,CAAC,IAAI;gBACvB,KAAK,EAAE,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,IAAI;gBACtC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE;gBACxE,UAAU;gBACV,YAAY,EAAE,EAAE;gBAChB,IAAI;gBACJ,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAChB,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,IAAI,EAAE,UAAU;wBACd,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE;wBAC1C,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE;iBAC9B,CAAC;aACH,CAAC;YACF,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC9C,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAClG,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC;QACjC,OAAO,EAAE,GAAG,KAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,SAAS,QAAQ,CAAC,MAAe;IAC/B,MAAM,IAAI,GAAI,MAAuC,EAAE,IAAI,EAAE,IAAI,CAAC;IAClE,OAAO,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,UAAU,CAAC;AAC1E,CAAC"}

package/dist/figure.d.ts

@@ -0,0 +1,53 @@
+import type { Completion } from "./intelligence.js";
+/**
+ * AN AGENT DRAWS A KIND'S FIGURE — in the house style, or not at all.
+ *
+ * The declaration is a graph and a brand is a declaration, so the drawing
+ * of a kind is a thing an agent can propose like any other change. What it
+ * must not be is a free hand: twelve figures drawn without a shared
+ * discipline read as twelve clip-art imports rather than as one city, and
+ * the isometric city's feel is the entire reason a figure is worth having.
+ *
+ * So the prompt is the style guide, and the ANSWER IS JUDGED before it is
+ * offered: `figureFaults` is the same function `graview check` runs, so a
+ * drawing that would fail the build never reaches a person as a proposal.
+ * Where a model gives nothing usable, the nearest shipped figure is a
+ * better answer than a bad drawing, and saying which is better than both.
+ */
+export interface DrawnFigure {
+    readonly kind: string;
+    /** The SVG, or the name of a shipped figure. */
+    readonly figure: string;
+    /** Where it came from, so a person keeping it knows what they are keeping. */
+    readonly from: "model" | "shipped";
+    /** What the model produced and why it was not used, when it was not. */
+    readonly refused?: readonly string[];
+}
+export declare const FIGURE_STYLE = "You are drawing one figure for a kind of thing in a software application.\n\nThe house style, and every rule matters:\n- ONE SVG element, with one viewBox of \"0 0 24 24\" and nothing outside it.\n- Line art only: stroke=\"currentColor\", stroke-width=\"1.4\", fill=\"none\",\n  stroke-linecap=\"round\", stroke-linejoin=\"round\". Never a literal colour,\n  never a fill, never a gradient, never text.\n- Drawn from the same three-quarter isometric angle as an architect's\n  blueprint: the thing seen from slightly above and to one side, with the\n  edges that would be hidden left out rather than dashed.\n- It is a drawing of the THING, not an emblem for it. A vehicle is a body\n  on wheels; a person is a head and shoulders; a plot is ground with an\n  edge. Never a badge, a rounded-square icon, a letter, or an abstract mark.\n- It must read at twenty pixels: at most about eight paths, nothing thinner\n  than the stroke width, no detail smaller than a fortieth of the box.\n\nAnswer with the SVG and nothing else \u2014 no prose, no code fence.";
+/**
+ * Asks a model for a figure and judges what comes back.
+ *
+ * `nearest` is the honest fallback: a kind called "vehicle" gets the
+ * shipped vehicle rather than a drawing that fails the checker, and the
+ * result says which happened so a person is never shown a machine's work
+ * and told it was a choice.
+ */
+export declare function drawFigure(kind: string, description: string | undefined, complete: Completion): Promise<DrawnFigure>;
+/**
+ * The SVG out of whatever a model wrapped it in.
+ *
+ * Models fence code, apologise first and explain afterwards; none of that
+ * is a reason to refuse a good drawing, and none of it is something to
+ * store in a declaration.
+ */
+export declare function onlyTheSvg(answer: string): string | undefined;
+/**
+ * The shipped figure whose name is closest to a kind's.
+ *
+ * By name, and only by name: guessing that a "cleat" is a "box" because
+ * both are objects would be the framework having an opinion about a domain
+ * it has never met. An exact name, a name the kind contains, or nothing —
+ * and "nothing" is the `note`, which is honest about being a placeholder.
+ */
+export declare function nearestFigure(kind: string): string;
+//# sourceMappingURL=figure.d.ts.map

package/dist/figure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"figure.d.ts","sourceRoot":"","sources":["../src/figure.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD;;;;;;;;;;;;;;GAcG;AAEH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gDAAgD;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,CAAC;IACnC,wEAAwE;IACxE,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,eAAO,MAAM,YAAY,miCAgBuC,CAAC;AAEjE;;;;;;;GAOG;AACH,wBAAsB,UAAU,CAC9B,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,GAAG,SAAS,EAC/B,QAAQ,EAAE,UAAU,GACnB,OAAO,CAAC,WAAW,CAAC,CA2BtB;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAK7D;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAKlD"}

package/dist/figure.js

@@ -0,0 +1,86 @@
+import { figureFaults, FIGURE_NAMES, FIGURES } from "@graview/core";
+export const FIGURE_STYLE = `You are drawing one figure for a kind of thing in a software application.
+
+The house style, and every rule matters:
+- ONE SVG element, with one viewBox of "0 0 24 24" and nothing outside it.
+- Line art only: stroke="currentColor", stroke-width="1.4", fill="none",
+  stroke-linecap="round", stroke-linejoin="round". Never a literal colour,
+  never a fill, never a gradient, never text.
+- Drawn from the same three-quarter isometric angle as an architect's
+  blueprint: the thing seen from slightly above and to one side, with the
+  edges that would be hidden left out rather than dashed.
+- It is a drawing of the THING, not an emblem for it. A vehicle is a body
+  on wheels; a person is a head and shoulders; a plot is ground with an
+  edge. Never a badge, a rounded-square icon, a letter, or an abstract mark.
+- It must read at twenty pixels: at most about eight paths, nothing thinner
+  than the stroke width, no detail smaller than a fortieth of the box.
+
+Answer with the SVG and nothing else — no prose, no code fence.`;
+/**
+ * Asks a model for a figure and judges what comes back.
+ *
+ * `nearest` is the honest fallback: a kind called "vehicle" gets the
+ * shipped vehicle rather than a drawing that fails the checker, and the
+ * result says which happened so a person is never shown a machine's work
+ * and told it was a choice.
+ */
+export async function drawFigure(kind, description, complete) {
+    const asked = `${FIGURE_STYLE}
+
+The kind is called "${kind}".${description ? `\nIt is described as: ${description}` : ""}`;
+    let answer = "";
+    try {
+        answer = await complete(asked);
+    }
+    catch (error) {
+        return {
+            kind,
+            figure: nearestFigure(kind),
+            from: "shipped",
+            refused: [error instanceof Error ? error.message : String(error)],
+        };
+    }
+    const svg = onlyTheSvg(answer);
+    if (svg) {
+        const faults = figureFaults(svg);
+        if (faults.length === 0)
+            return { kind, figure: svg, from: "model" };
+        return { kind, figure: nearestFigure(kind), from: "shipped", refused: faults };
+    }
+    return {
+        kind,
+        figure: nearestFigure(kind),
+        from: "shipped",
+        refused: ["the answer contained no <svg> element."],
+    };
+}
+/**
+ * The SVG out of whatever a model wrapped it in.
+ *
+ * Models fence code, apologise first and explain afterwards; none of that
+ * is a reason to refuse a good drawing, and none of it is something to
+ * store in a declaration.
+ */
+export function onlyTheSvg(answer) {
+    const at = answer.indexOf("<svg");
+    const end = answer.lastIndexOf("</svg>");
+    if (at === -1 || end === -1 || end < at)
+        return undefined;
+    return answer.slice(at, end + "</svg>".length).trim();
+}
+/**
+ * The shipped figure whose name is closest to a kind's.
+ *
+ * By name, and only by name: guessing that a "cleat" is a "box" because
+ * both are objects would be the framework having an opinion about a domain
+ * it has never met. An exact name, a name the kind contains, or nothing —
+ * and "nothing" is the `note`, which is honest about being a placeholder.
+ */
+export function nearestFigure(kind) {
+    const said = kind.toLowerCase();
+    if (FIGURES[said])
+        return said;
+    const held = FIGURE_NAMES.find((name) => said.includes(name) || name.includes(said));
+    return held ?? "note";
+}
+//# sourceMappingURL=figure.js.map

package/dist/figure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"figure.js","sourceRoot":"","sources":["../src/figure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AA6BpE,MAAM,CAAC,MAAM,YAAY,GAAG;;;;;;;;;;;;;;;;gEAgBoC,CAAC;AAEjE;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,IAAY,EACZ,WAA+B,EAC/B,QAAoB;IAEpB,MAAM,KAAK,GAAG,GAAG,YAAY;;sBAET,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,yBAAyB,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACzF,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,IAAI;YACJ,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC;YAC3B,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;SAClE,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IAC/B,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QACrE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IACjF,CAAC;IACD,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC;QAC3B,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,CAAC,wCAAwC,CAAC;KACpD,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,MAAc;IACvC,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,GAAG,GAAG,EAAE;QAAE,OAAO,SAAS,CAAC;IAC1D,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAChC,IAAI,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,OAAO,IAAI,IAAI,MAAM,CAAC;AACxB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,44 @@
+export { applyAffordance, defaultProviders, deriveAffordances, previewAffordance, } from "./derive.js";
+export type { WithheldAffordance } from "./types.js";
+export type { DeriveOptions } from "./derive.js";
+export type { Affordance, AffordanceProvider, AffordanceSet, DeriveContext, Observation, OpenParameter, ProviderName, } from "./types.js";
+export { editableFields } from "./edit.js";
+export type { EditableField } from "./edit.js";
+export { invariantProvider } from "./providers/invariant.js";
+export { schemaProvider } from "./providers/schema.js";
+export { structureProvider } from "./providers/structure.js";
+export { lensProvider } from "./providers/lens.js";
+export type { LensAction } from "./providers/lens.js";
+export { deriveWithLlm } from "./providers/llm.js";
+export type { LlmProposal, LlmProvider } from "./providers/llm.js";
+export { createToolRuntime } from "./agent/tools.js";
+export type { ToolDefinition, ToolResult, ToolRuntime, ToolRuntimeOptions, ToolCall, } from "./agent/tools.js";
+export { createInAppAdapter, createMcpAdapter } from "./agent/adapters.js";
+export type { InAppAgent, McpContent, McpTool, McpToolResult } from "./agent/adapters.js";
+export { insightProvider } from "./providers/insight.js";
+export { usageBoost, usageWeights } from "./usage.js";
+export { loadPins, savePins, togglePin, NO_PINS } from "./pins.js";
+export type { PinOverrides } from "./pins.js";
+export { describeProposal, droppedProposals, firstJsonObject, resolveProposal, stillNeeded, intelligenceProvider, llmIntelligence, toCall, templateIntelligence, validateProposals, } from "./intelligence.js";
+export type { Completion, Intelligence, ProposedCall } from "./intelligence.js";
+export { graphResponder, llmResponder } from "./conversation.js";
+export type { ChatContext, ChatReply, Responder } from "./conversation.js";
+export { completionFor, configuredResponder, decideFor, DEFAULT_INTELLIGENCE, describeIntelligence, loadIntelligenceConfig, localCompletion, openAiCompatibleCompletion, RUNGS, rungFor, rungHonesty, saveIntelligenceConfig, xaiCompletion, } from "./local.js";
+export type { IntelligenceConfig, IntelligenceSource, LocalStatus } from "./local.js";
+export { completionDecide, graphDecide } from "./decide.js";
+export type { PartlyDecided } from "./decide.js";
+export { drawFigure, FIGURE_STYLE, nearestFigure, onlyTheSvg } from "./figure.js";
+export type { DrawnFigure } from "./figure.js";
+export { applyPlan, dependentsOf, describePlan, isPlanReference, planFrom, without } from "./plan.js";
+export type { AppliedPlan, Plan, PlanEntry, PlanOptions, PlannedCall, PlanReference } from "./plan.js";
+export { across, inside, within } from "./space.js";
+export type { Ring, SpacePoint } from "./space.js";
+export { allQuestions, nodeState, pairQuestion, questionsForInvariant, questionsForKind, questionsForMutation, scoreToValue, } from "./questions.js";
+export type { ChoiceQuestion, DerivedQuestion, NoulQuestion, OfferedQuestion, Question, QuestionAbout, ScoreQuestion } from "./questions.js";
+export { JEV_ENDPOINT, JEV_INPUT_USD_PER_MILLION, JEV_MODEL, JevError, jevCostUsd, jevDecide, jevKeyFromEnvironment } from "./providers/jev.js";
+export type { Answer, ChoiceAnswer, Decide, Decided, JevFailure, JevOptions, NoulAnswer, ScoreAnswer, Usage } from "./providers/jev.js";
+export { describeRun, landRun, offerOf, readRun, replyFromRun, runFrom, valueOf } from "./run.js";
+export type { Answered, RunDeclaration, RunOptions, RunReading, RunResult, RunStep, StepOutcome } from "./run.js";
+export { replyFromLoop, runLoop } from "./loop.js";
+export type { LoopDeclaration, LoopOptions, LoopResult, LoopTurn, StopWhy, Stopped } from "./loop.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AACrD,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,YAAY,EACV,UAAU,EACV,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,WAAW,EACX,aAAa,EACb,YAAY,GACb,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC3C,YAAY,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,YAAY,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,YAAY,EACV,cAAc,EACd,UAAU,EACV,WAAW,EACX,kBAAkB,EAClB,QAAQ,GACT,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC1F,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnE,YAAY,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,WAAW,EACX,oBAAoB,EACpB,eAAe,EACf,MAAM,EACN,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAChF,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,SAAS,EACT,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,eAAe,EACf,0BAA0B,EAC1B,KAAK,EACL,OAAO,EACP,WAAW,EACX,sBAAsB,EACtB,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC5D,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAClF,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACtG,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AACvG,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACpD,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAGnD,OAAO,EACL,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,qBAAqB,EACrB,gBAAgB,EAChB,oBAAoB,EACpB,YAAY,GACb,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAG7I,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAChJ,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAGxI,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAClG,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAGlH,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnD,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC"}

package/dist/index.js

@@ -0,0 +1,31 @@
+// Derived affordances: actions found in the graph, not authored per selection.
+export { applyAffordance, defaultProviders, deriveAffordances, previewAffordance, } from "./derive.js";
+// The providers, individually, so an app can replace or reorder them.
+export { editableFields } from "./edit.js";
+export { invariantProvider } from "./providers/invariant.js";
+export { schemaProvider } from "./providers/schema.js";
+export { structureProvider } from "./providers/structure.js";
+export { lensProvider } from "./providers/lens.js";
+export { deriveWithLlm } from "./providers/llm.js";
+// One tool surface, two transports.
+export { createToolRuntime } from "./agent/tools.js";
+export { createInAppAdapter, createMcpAdapter } from "./agent/adapters.js";
+export { insightProvider } from "./providers/insight.js";
+export { usageBoost, usageWeights } from "./usage.js";
+export { loadPins, savePins, togglePin, NO_PINS } from "./pins.js";
+export { describeProposal, droppedProposals, firstJsonObject, resolveProposal, stillNeeded, intelligenceProvider, llmIntelligence, toCall, templateIntelligence, validateProposals, } from "./intelligence.js";
+export { graphResponder, llmResponder } from "./conversation.js";
+export { completionFor, configuredResponder, decideFor, DEFAULT_INTELLIGENCE, describeIntelligence, loadIntelligenceConfig, localCompletion, openAiCompatibleCompletion, RUNGS, rungFor, rungHonesty, saveIntelligenceConfig, xaiCompletion, } from "./local.js";
+export { completionDecide, graphDecide } from "./decide.js";
+export { drawFigure, FIGURE_STYLE, nearestFigure, onlyTheSvg } from "./figure.js";
+export { applyPlan, dependentsOf, describePlan, isPlanReference, planFrom, without } from "./plan.js";
+export { across, inside, within } from "./space.js";
+// The questions a declaration already types, derived rather than authored.
+export { allQuestions, nodeState, pairQuestion, questionsForInvariant, questionsForKind, questionsForMutation, scoreToValue, } from "./questions.js";
+// The decision provider: one call, many questions, honest about failure.
+export { JEV_ENDPOINT, JEV_INPUT_USD_PER_MILLION, JEV_MODEL, JevError, jevCostUsd, jevDecide, jevKeyFromEnvironment } from "./providers/jev.js";
+// A run: a sequence of typed asks over the graph, declared not scripted.
+export { describeRun, landRun, offerOf, readRun, replyFromRun, runFrom, valueOf } from "./run.js";
+// A loop: act, re-judge, act again, and know when to stop.
+export { replyFromLoop, runLoop } from "./loop.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,aAAa,CAAC;AAarB,sEAAsE;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAE3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGnD,oCAAoC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAQrD,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE3E,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEnE,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,WAAW,EACX,oBAAoB,EACpB,eAAe,EACf,MAAM,EACN,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEjE,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,SAAS,EACT,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,eAAe,EACf,0BAA0B,EAC1B,KAAK,EACL,OAAO,EACP,WAAW,EACX,sBAAsB,EACtB,aAAa,GACd,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE5D,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGlF,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEtG,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAGpD,2EAA2E;AAC3E,OAAO,EACL,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,qBAAqB,EACrB,gBAAgB,EAChB,oBAAoB,EACpB,YAAY,GACb,MAAM,gBAAgB,CAAC;AAGxB,yEAAyE;AACzE,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAGhJ,yEAAyE;AACzE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAGlG,2DAA2D;AAC3D,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC"}

package/dist/intelligence.d.ts

@@ -0,0 +1,132 @@
+import { type AnySchema, type MutationCall, type Store } from "@graview/core";
+import type { AffordanceProvider, OpenParameter } from "./types.js";
+/**
+ * INTELLIGENCE IS ONE SEAM, whoever supplies it.
+ *
+ * Three layers of trust share it: the graph's own structural derivations,
+ * a model reached through a completion function, and a customer's external
+ * agent arriving over the derived tool surface. All three produce the same
+ * thing — proposed calls to declared mutations — and everything downstream
+ * (preview, permission, the op log, selective undo) treats them exactly
+ * like a human's, because they travel the same path. There is no second,
+ * privileged way in, and "add AI" is choosing a provider, not an
+ * integration.
+ */
+export interface ProposedCall {
+    readonly mutation: string;
+    readonly args: Readonly<Record<string, unknown>>;
+    /** Why this provider suggests it, in one sentence. */
+    readonly why?: string;
+}
+/**
+ * THE FIRST WHOLE JSON OBJECT IN AN ANSWER, or nothing.
+ *
+ * Models fence code, apologise first, explain afterwards and — often
+ * enough to matter — close one brace too many. Taking everything between
+ * the first `{` and the last `}` swallowed the extra, `JSON.parse` threw,
+ * and the caller fell back to showing the person the raw answer: a chat
+ * bubble containing `{"say": "Yes", "proposals": [...]}}`, which is the
+ * seat handing over its own plumbing.
+ *
+ * Scanning for the BALANCED close instead reads the object the model meant
+ * and ignores whatever it typed after it. Strings and their escapes are
+ * respected, or a brace inside a description ends the object early.
+ */
+export declare function firstJsonObject(answer: string): unknown;
+/**
+ * A NAME IS NOT AN ID, and a model will hand you a name.
+ *
+ * Asked to add a field to Meal, a model answers `{"kind": "Meal"}` — the
+ * word on the screen rather than the node's id — and the store refuses it
+ * for the arguments, in zod's words, under a struck-through line. That is
+ * a lookup, not a guess: where EXACTLY ONE node of a kind the argument
+ * accepts carries that label, the label means that node. Where two do, or
+ * none, the value is left exactly as it came and the form asks.
+ */
+export declare function resolveProposal<S extends AnySchema>(store: Store<S>, proposal: ProposedCall): ProposedCall;
+/** A proposal as the store's own call shape, ready for apply/preview. */
+export declare function toCall(proposal: ProposedCall): MutationCall;
+export interface Intelligence<S extends AnySchema = AnySchema> {
+    readonly name: string;
+    /** What this provider may call. Absent means anything declared. */
+    readonly may?: readonly string[];
+    propose(store: Store<S>): Promise<readonly ProposedCall[]>;
+}
+/** The whole vendor surface: one prompt in, one string out. */
+export type Completion = (prompt: string) => Promise<string>;
+/**
+ * WHAT THE GATE TOOK OUT, AND WHY — so a seat can say so.
+ *
+ * `validateProposals` drops silently, which is right for a provider filling
+ * the inspector and wrong for a conversation: a model that answers "Sure"
+ * and names `add_field` on an app whose act is `add-field` left a person
+ * looking at a sentence with nothing under it and no way to know why. The
+ * seat can only say what it is told.
+ */
+export declare function droppedProposals<S extends AnySchema>(store: Store<S>, proposals: readonly ProposedCall[], may?: readonly string[]): readonly {
+    readonly proposal: ProposedCall;
+    readonly why: "unknown" | "not-allowed";
+}[];
+/** Drops proposals naming unknown or disallowed mutations, with no guessing. */
+export declare function validateProposals<S extends AnySchema>(store: Store<S>, proposals: readonly ProposedCall[], may?: readonly string[]): readonly ProposedCall[];
+/**
+ * An LLM as a provider: the model reads a compact statement of the
+ * declaration and the current trouble, and answers with calls to declared
+ * mutations. Vendor-neutral by construction — the adapter is one async
+ * function, so claude/openai/local are one line each in the host.
+ */
+export declare function llmIntelligence<S extends AnySchema>(options: {
+    readonly name: string;
+    readonly complete: Completion;
+    readonly may?: readonly string[];
+}): Intelligence<S>;
+/**
+ * Starter data FROM THE DECLARATION ALONE — the intelligence an empty app
+ * has before any key exists. For each mutation that creates a kind with no
+ * members yet, synthesise honest arguments off the derived form: sample
+ * text, today's date, a bounded number, the first choice. Anything needing
+ * a node that does not exist is left for the next round rather than faked.
+ */
+export declare function templateIntelligence<S extends AnySchema>(options?: {
+    readonly name?: string;
+    readonly today?: string;
+}): Intelligence<S>;
+/**
+ * An Intelligence as an affordance provider, for the suggestion surfaces.
+ *
+ * `deriveAffordances` is synchronous and a model is not, so the wrapper
+ * answers from a cache keyed to the log length and refreshes in the
+ * background; `notify` tells the host a fresh answer landed (a re-render
+ * re-derives). Every suggestion says which provider and why, and applies
+ * through the ordinary path — previewable, attributed, undoable.
+ */
+export declare function intelligenceProvider<S extends AnySchema>(intelligence: Intelligence<S>, hooks?: {
+    readonly notify?: () => void;
+}): AffordanceProvider<S>;
+/** Something readable for logs and seats: the provider's own sentence. */
+export declare function describeProposal<S extends AnySchema>(store: Store<S>, proposal: ProposedCall): string;
+/**
+ * WHAT A PROPOSAL HAS NOT SAID YET.
+ *
+ * A responder proposes from the graph and knows nothing of the policy, so
+ * the seat asks the store whether the person may do a thing before offering
+ * it. It knows just as little about the ACT'S OWN ARGUMENTS — a model told
+ * "add a shift called soup kitchen" will happily answer `add-shift` with no
+ * arguments at all, or with the label and none of the day, the place and
+ * the hours. Applied, the store refuses, and what reaches the person is the
+ * validator talking to itself:
+ *
+ *   Refused: Invalid arguments for mutation "add-shift" label: Invalid
+ *   input: expected string, received undefined; on: Invalid input: …
+ *
+ * That is not a refusal, it is a stack trace. The act was never impossible;
+ * it was under-specified, and the framework already knows what to do with
+ * an under-specified act — it asks. A person pressing "Add a shift" from
+ * the menu gets the same questions one at a time, with the graph's own
+ * candidates offered for anything that names a node.
+ *
+ * So: the arguments this proposal still owes, in the shape the ask already
+ * takes. Empty means it is ready to apply.
+ */
+export declare function stillNeeded<S extends AnySchema>(store: Store<S>, proposal: ProposedCall): readonly OpenParameter[];
+//# sourceMappingURL=intelligence.d.ts.map

package/dist/intelligence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intelligence.d.ts","sourceRoot":"","sources":["../src/intelligence.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,SAAS,EAEd,KAAK,YAAY,EACjB,KAAK,KAAK,EACX,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAc,kBAAkB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhF;;;;;;;;;;;GAWG;AAEH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACjD,sDAAsD;IACtD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CA0CvD;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,SAAS,EACjD,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,QAAQ,EAAE,YAAY,GACrB,YAAY,CA0Bd;AAED,yEAAyE;AACzE,wBAAgB,MAAM,CAAC,QAAQ,EAAE,YAAY,GAAG,YAAY,CAE3D;AAED,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS;IAC3D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mEAAmE;IACnE,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,SAAS,YAAY,EAAE,CAAC,CAAC;CAC5D;AAED,+DAA+D;AAC/D,MAAM,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAE7D;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,SAAS,EAClD,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,SAAS,EAAE,SAAS,YAAY,EAAE,EAClC,GAAG,CAAC,EAAE,SAAS,MAAM,EAAE,GACtB,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,GAAG,aAAa,CAAA;CAAE,EAAE,CAezF;AAED,gFAAgF;AAChF,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,SAAS,EACnD,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,SAAS,EAAE,SAAS,YAAY,EAAE,EAClC,GAAG,CAAC,EAAE,SAAS,MAAM,EAAE,GACtB,SAAS,YAAY,EAAE,CAYzB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,SAAS,EAAE,OAAO,EAAE;IAC5D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC,GAAG,YAAY,CAAC,CAAC,CAAC,CA0ClB;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,SAAS,EACtD,OAAO,GAAE;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAO,GAChE,YAAY,CAAC,CAAC,CAAC,CAoFjB;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,SAAS,EACtD,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,EAC7B,KAAK,GAAE;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,CAAA;CAAO,GAC3C,kBAAkB,CAAC,CAAC,CAAC,CA0CvB;AAED,0EAA0E;AAC1E,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,SAAS,EAClD,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,QAAQ,EAAE,YAAY,GACrB,MAAM,CA+BR;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,SAAS,EAC7C,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,QAAQ,EAAE,YAAY,GACrB,SAAS,aAAa,EAAE,CA6C1B"}