@graview/studio 0.0.0-stage → 0.1.0

package/dist/changes.js

@@ -0,0 +1,217 @@
+import { migrationSteps } from "./migration.js";
+import { actLines, camel, edgeParts, fieldsOf, kindLines, label, q, Read, ruleLines, zodSource } from "./source.js";
+const KIND_PROPERTIES = ["description", "plural", "noun", "figure"];
+export function sourceChanges(before, after, base) {
+    const was = new Read(before);
+    const now = new Read(after);
+    const changes = [];
+    const rewrite = [];
+    const unwritten = [];
+    const kindsBefore = new Map(was.ofKind("kind").map((kind) => [kind.id, kind]));
+    const kindsAfter = new Map(now.ofKind("kind").map((kind) => [kind.id, kind]));
+    for (const [id, kind] of kindsBefore) {
+        const still = kindsAfter.get(id);
+        if (!still)
+            changes.push({ what: "remove-kind", kind: label(kind) });
+        else if (label(still) !== label(kind))
+            unwritten.push(`"${label(kind)}" is renamed "${label(still)}" — rename it in the checkout, where everything that says its name is.`);
+    }
+    for (const [id, kind] of kindsAfter) {
+        if (kindsBefore.has(id))
+            continue;
+        const text = kindLines(now, kind, base, []).join("\n");
+        changes.push({ what: "add-kind", kind: label(kind), binding: camel(label(kind)), text });
+    }
+    // A kind's own settings, for the kinds on both sides.
+    for (const [id, kind] of kindsAfter) {
+        const old = kindsBefore.get(id);
+        if (!old || label(old) !== label(kind))
+            continue;
+        for (const property of KIND_PROPERTIES) {
+            if (old[property] === kind[property])
+                continue;
+            const value = kind[property];
+            changes.push({ what: "set-kind-property", kind: label(kind), property, text: typeof value === "string" ? q(value) : null });
+        }
+        if (old["lifecycleField"] !== kind["lifecycleField"] || JSON.stringify(old["retired"]) !== JSON.stringify(kind["retired"])) {
+            unwritten.push(`"${label(kind)}"'s lifecycle changed — the studio cannot yet write that into the checkout.`);
+        }
+    }
+    // Fields: a kind's name and the field's name.
+    for (const [id, kind] of kindsAfter) {
+        const old = kindsBefore.get(id);
+        if (!old)
+            continue; // a new kind brings its fields with it
+        const had = new Map(fieldsOf(was, old).map((field) => [field.name, field]));
+        const has = new Map(fieldsOf(now, kind).map((field) => [field.name, field]));
+        for (const [name, field] of has) {
+            const zod = zodSource(field.type, field.required, field.options);
+            const prior = had.get(name);
+            if (!prior)
+                changes.push({ what: "add-field", kind: label(kind), field: name, zod });
+            else if (zodSource(prior.type, prior.required, prior.options) !== zod)
+                changes.push({ what: "change-field", kind: label(kind), field: name, zod });
+        }
+        for (const name of had.keys())
+            if (!has.has(name))
+                changes.push({ what: "remove-field", kind: label(kind), field: name });
+    }
+    // Edges: by name. The same name on another kind is a move.
+    const edgesOf = (read, kinds) => new Map(read.ofKind("edge").flatMap((edge) => {
+        const on = read.out(edge.id, "from-kind")[0];
+        return on && kinds.has(on.id) ? [[label(edge), { on: label(on), parts: edgeParts(read, edge) }]] : [];
+    }));
+    const text = (parts) => `{ ${parts.join(", ")} }`;
+    const edgesBefore = edgesOf(was, kindsBefore);
+    const edgesAfter = edgesOf(now, kindsAfter);
+    const kindNamesAfter = new Set([...kindsAfter.values()].map(label));
+    const kindNamesBefore = new Set([...kindsBefore.values()].map(label));
+    for (const [name, then] of edgesBefore) {
+        const later = edgesAfter.get(name);
+        if (!later) {
+            // A kind that went took its edges with it.
+            if (kindNamesAfter.has(then.on))
+                changes.push({ what: "remove-edge", kind: then.on, edge: name });
+            continue;
+        }
+        if (later.on !== then.on) {
+            const [targets, ...rest] = later.parts;
+            changes.push({ what: "move-edge", edge: name, from: then.on, to: later.on, targets: targets.replace(/^to: /, "") });
+            // Anything else about it that changed is changed where it now is.
+            if (rest.join() !== then.parts.slice(1).join())
+                changes.push({ what: "change-edge", kind: later.on, edge: name, text: text(later.parts) });
+        }
+        else if (later.parts.join() !== then.parts.join()) {
+            changes.push({ what: "change-edge", kind: later.on, edge: name, text: text(later.parts) });
+        }
+    }
+    for (const [name, later] of edgesAfter) {
+        // A new kind declares its edges in its own statement.
+        if (!edgesBefore.has(name) && kindNamesBefore.has(later.on))
+            changes.push({ what: "add-edge", kind: later.on, edge: name, text: text(later.parts) });
+    }
+    /*
+     * ACTS AND RULES. A new one is written as the studio declares it — and a
+     * new rule judges nothing until somebody says what it judges. One whose
+     * declaration changed keeps a body that was written for the old one, so
+     * it is named for rewriting rather than half-updated.
+     */
+    const signature = (read, node) => JSON.stringify([
+        Object.entries(node)
+            .filter(([key]) => key !== "id")
+            .sort(([a], [b]) => a.localeCompare(b)),
+        read.reading.edges
+            .filter((edge) => edge.from === node.id)
+            .map((edge) => `${edge.kind}->${label(read.node(edge.to) ?? { id: edge.to, kind: "" })}`)
+            .sort(),
+    ]);
+    for (const sort of ["act", "rule"]) {
+        const then = new Map(was.ofKind(sort).map((node) => [label(node), signature(was, node)]));
+        for (const node of now.ofKind(sort)) {
+            const name = label(node);
+            if (sort === "act" && node["derived"] === true)
+                continue;
+            if (!then.has(name)) {
+                const text = (sort === "act" ? actLines(now, node, false) : ruleLines(now, node, false)).join("\n");
+                changes.push(sort === "act" ? { what: "add-act", act: name, binding: camel(name), text } : { what: "add-rule", rule: name, binding: camel(name), text });
+                if (sort === "rule")
+                    rewrite.push({ sort, name, why: "It is new, and judges nothing until its evaluate says what breaks it." });
+            }
+            else if (then.get(name) !== signature(now, node)) {
+                rewrite.push({ sort, name, why: `Its declaration changed in the studio, and its ${sort === "act" ? "body" : "judgement"} was written for the old one.` });
+            }
+        }
+        const later = new Set(now.ofKind(sort).map(label));
+        for (const name of then.keys()) {
+            if (!later.has(name))
+                changes.push(sort === "act" ? { what: "remove-act", act: name } : { what: "remove-rule", rule: name });
+        }
+    }
+    // Policy and presentation are declared elsewhere, in ways the studio cannot yet edit in place: said, not written.
+    for (const kind of ["role", "grant", "lens", "brand"]) {
+        const then = new Map(was.ofKind(kind).map((node) => [label(node), signature(was, node)]));
+        const later = new Map(now.ofKind(kind).map((node) => [label(node), signature(now, node)]));
+        for (const [name, sig] of later) {
+            if (!then.has(name))
+                unwritten.push(`The ${kind} "${name}" is new — the studio cannot yet write that into the checkout.`);
+            else if (then.get(name) !== sig)
+                unwritten.push(`The ${kind} "${name}" changed — the studio cannot yet write that into the checkout.`);
+        }
+        for (const name of then.keys())
+            if (!later.has(name))
+                unwritten.push(`The ${kind} "${name}" is gone — remove it in the checkout.`);
+    }
+    /*
+     * THE GRAPH SOMEBODY ALREADY HAS. What it needs to reach this declaration
+     * is written into the app beside the change — its version moved on, the
+     * steps as data — so the stored graph opens by running them.
+     */
+    const steps = migrationSteps(before, after);
+    if (steps.length > 0) {
+        const from = base?.version ?? 1;
+        changes.push({
+            what: "add-migration",
+            version: from + 1,
+            text: `stepsMigration(${literal({ from, to: from + 1, steps })})`,
+            import: { name: "stepsMigration", from: "@graview/ship/browser" },
+        });
+    }
+    return { changes, rewrite, unwritten };
+}
+/** A value as TypeScript: keys bare where they can be, on one line. */
+function literal(value) {
+    if (Array.isArray(value))
+        return `[${value.map(literal).join(", ")}]`;
+    if (value !== null && typeof value === "object") {
+        const entries = Object.entries(value).map(([key, inner]) => `${/^[A-Za-z_$][\w$]*$/.test(key) ? key : JSON.stringify(key)}: ${literal(inner)}`);
+        return `{ ${entries.join(", ")} }`;
+    }
+    return JSON.stringify(value);
+}
+/**
+ * THE CODE A CHANGE LEAVES SAYING SOMETHING UNTRUE.
+ *
+ * The declaration moved `tended-by` from the plot to the planting; the act
+ * that ties a gardener to a plot still adds a `tended-by` edge FROM a plot,
+ * and the rule that every plot has a caretaker still reads one. Both
+ * compile. Both pass the checker, which judges declarations, not bodies.
+ * Both are wrong the moment the app runs.
+ *
+ * So every act and rule the checkout wrote is read for the names the change
+ * moved or took away, and each one that mentions them is named for
+ * rewriting — by a person, a seat, or a person saying it still holds.
+ */
+export function codeTouched(changes, code) {
+    const literal = (name) => name.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+    // A name said as a string — `"tended-by"` — or a field read as a property or a key.
+    const said = (name) => new RegExp(`["'\`]${literal(name)}["'\`]`);
+    const field = (name) => new RegExp(`(\\.|\\b)${literal(name)}\\b`);
+    const marks = changes.flatMap((change) => {
+        switch (change.what) {
+            case "move-edge":
+                return [{ test: said(change.edge), why: `"${change.edge}" moved from ${change.from} to ${change.to}.` }];
+            case "remove-edge":
+                return [{ test: said(change.edge), why: `"${change.edge}" is no longer declared on ${change.kind}.` }];
+            case "change-edge":
+                return [{ test: said(change.edge), why: `"${change.edge}" on ${change.kind} changed.` }];
+            case "remove-field":
+                return [{ test: field(change.field), why: `${change.kind} no longer has "${change.field}".` }];
+            case "change-field":
+                return [{ test: field(change.field), why: `${change.kind}'s "${change.field}" changed type.` }];
+            case "remove-kind":
+                return [{ test: said(change.kind), why: `The kind "${change.kind}" is gone.` }];
+            default:
+                return [];
+        }
+    });
+    const touched = [];
+    for (const [sort, declared] of [["act", code.acts], ["rule", code.rules]]) {
+        for (const [name, { text }] of Object.entries(declared)) {
+            const reasons = marks.filter((mark) => mark.test.test(text)).map((mark) => mark.why);
+            if (reasons.length > 0)
+                touched.push({ sort, name, why: `It mentions what changed: ${reasons.join(" ")}` });
+        }
+    }
+    return touched;
+}
+//# sourceMappingURL=changes.js.map

package/dist/changes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"changes.js","sourceRoot":"","sources":["../src/changes.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAa,MAAM,aAAa,CAAC;AAoC/H,MAAM,eAAe,GAAG,CAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAU,CAAC;AAE7E,MAAM,UAAU,aAAa,CAAC,MAAe,EAAE,KAAc,EAAE,IAA4B;IACzF,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,OAAO,GAAc,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAa,EAAE,CAAC;IAE/B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAE9E,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,CAAC,KAAK;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aAChE,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,KAAK,CAAC,wEAAwE,CAAC,CAAC;IAC9K,CAAC;IACD,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;QACpC,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAClC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3F,CAAC;IAED,sDAAsD;IACtD,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QACjD,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;YACvC,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9H,CAAC;QACD,IAAI,GAAG,CAAC,gBAAgB,CAAC,KAAK,IAAI,CAAC,gBAAgB,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YAC3H,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAC;QAC/G,CAAC;IACH,CAAC;IAED,8CAA8C;IAC9C,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,GAAG;YAAE,SAAS,CAAC,uCAAuC;QAC3D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5E,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7E,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YACjE,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,CAAC,KAAK;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;iBAChF,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACrJ,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5H,CAAC;IAED,2DAA2D;IAC3D,MAAM,OAAO,GAAG,CAAC,IAAU,EAAE,KAAgC,EAAE,EAAE,CAC/D,IAAI,GAAG,CACL,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACnC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,OAAO,EAAE,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjH,CAAC,CAAC,CACH,CAAC;IACJ,MAAM,IAAI,GAAG,CAAC,KAAwB,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACrE,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC5C,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACpE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,2CAA2C;YAC3C,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAClG,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;YACzB,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;YACvC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,OAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACrH,kEAAkE;YAClE,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC7I,CAAC;aAAM,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YACpD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC;QACvC,sDAAsD;QACtD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACvJ,CAAC;IAED;;;;;OAKG;IACH,MAAM,SAAS,GAAG,CAAC,IAAU,EAAE,IAAU,EAAE,EAAE,CAC3C,IAAI,CAAC,SAAS,CAAC;QACb,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;aACjB,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC;aAC/B,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,KAAK;aACf,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;aACvC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;aACxF,IAAI,EAAE;KACV,CAAC,CAAC;IACL,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,MAAM,CAAU,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1F,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;YACzB,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI;gBAAE,SAAS;YACzD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpG,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;gBACzJ,IAAI,IAAI,KAAK,MAAM;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,uEAAuE,EAAE,CAAC,CAAC;YAClI,CAAC;iBAAM,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;gBACnD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,kDAAkD,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,+BAA+B,EAAE,CAAC,CAAC;YAC5J,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACnD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/H,CAAC;IACH,CAAC;IAED,kHAAkH;IAClH,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAU,EAAE,CAAC;QAC/D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1F,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK,IAAI,gEAAgE,CAAC,CAAC;iBACrH,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG;gBAAE,SAAS,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK,IAAI,iEAAiE,CAAC,CAAC;QACzI,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK,IAAI,wCAAwC,CAAC,CAAC;IACrI,CAAC;IAED;;;;OAIG;IACH,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,IAAI,EAAE,OAAO,IAAI,CAAC,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,IAAI,GAAG,CAAC;YACjB,IAAI,EAAE,kBAAkB,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG;YACjE,MAAM,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,uBAAuB,EAAE;SAClE,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AACzC,CAAC;AAED,uEAAuE;AACvE,SAAS,OAAO,CAAC,KAAc;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACtE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChJ,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACrC,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,WAAW,CAAC,OAAqC,EAAE,IAAsB;IACvF,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC9E,oFAAoF;IACpF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,YAAY,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAoC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QACxE,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,WAAW;gBACd,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,MAAM,CAAC,IAAI,gBAAgB,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YAC3G,KAAK,aAAa;gBAChB,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,MAAM,CAAC,IAAI,8BAA8B,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YACzG,KAAK,aAAa;gBAChB,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,MAAM,CAAC,IAAI,QAAQ,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC,CAAC;YAC3F,KAAK,cAAc;gBACjB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,IAAI,mBAAmB,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;YACjG,KAAK,cAAc;gBACjB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,iBAAiB,EAAE,CAAC,CAAC;YAClG,KAAK,aAAa;gBAChB,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,aAAa,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC,CAAC;YAClF;gBACE,OAAO,EAAE,CAAC;QACd,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAc,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAU,EAAE,CAAC;QACnF,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACrF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,6BAA6B,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9G,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/from-declaration.d.ts

@@ -0,0 +1,13 @@
+import type { AnySchema, GraphSnapshot, GraviewApp } from "@graview/core";
+import type { z } from "zod";
+import { type FieldType } from "./meta.js";
+/** A zod field's type, as the studio names types. */
+export declare function fieldTypeOf(type: unknown): {
+    readonly type: FieldType;
+    readonly required: boolean;
+    readonly options?: readonly string[];
+};
+/** The app's declaration as the studio's graph. */
+export declare function declarationToGraph<S extends AnySchema>(app: GraviewApp<S>): GraphSnapshot;
+export type { z };
+//# sourceMappingURL=from-declaration.d.ts.map

package/dist/from-declaration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"from-declaration.d.ts","sourceRoot":"","sources":["../src/from-declaration.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAyB,SAAS,EAAa,aAAa,EAAE,UAAU,EAAuB,MAAM,eAAe,CAAC;AACjI,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAC7B,OAAO,EAAiB,KAAK,SAAS,EAAE,MAAM,WAAW,CAAC;AA8B1D,qDAAqD;AACrD,wBAAgB,WAAW,CAAC,IAAI,EAAE,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAwBzI;AAKD,mDAAmD;AACnD,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,aAAa,CA8JzF;AAED,YAAY,EAAE,CAAC,EAAE,CAAC"}

package/dist/from-declaration.js

@@ -0,0 +1,204 @@
+import { nodeRefArgs } from "@graview/core";
+import { DECLARED_KIND } from "./meta.js";
+const defOf = (type) => (type.def ?? type._def ?? {});
+/** A zod field's type, as the studio names types. */
+export function fieldTypeOf(type) {
+    let def = defOf(type);
+    let required = true;
+    while (def.type === "optional" || def.type === "nullable" || def.type === "default") {
+        required = false;
+        def = defOf(def.innerType);
+    }
+    switch (def.type) {
+        case "number":
+        case "int":
+            return { type: "number", required };
+        case "boolean":
+            return { type: "boolean", required };
+        case "date":
+            return { type: "date", required };
+        case "enum": {
+            const options = Object.values(def.entries ?? {}).map(String);
+            return { type: "enum", required, options };
+        }
+        case "array":
+            return { type: "list", required };
+        default:
+            return { type: "string", required };
+    }
+}
+const shapeOf = (fields) => (fields.shape ?? {});
+/** The app's declaration as the studio's graph. */
+export function declarationToGraph(app) {
+    const nodes = [];
+    const edges = [];
+    const kinds = app.schema.definitions;
+    const kindId = (kind) => `${DECLARED_KIND}${kind}`;
+    const edgeIds = new Map();
+    for (const def of kinds) {
+        nodes.push({
+            id: kindId(def.kind),
+            kind: "kind",
+            label: def.kind,
+            ...(def.plural ? { plural: def.plural } : {}),
+            ...(def.noun ? { noun: def.noun } : {}),
+            ...(def.description ? { description: def.description } : {}),
+            ...(def.lifecycle ? { lifecycleField: def.lifecycle.field, retired: def.lifecycle.retired === "date" ? ["date"] : def.lifecycle.retired.map(String) } : {}),
+            ...(def.figure ? { figure: def.figure } : {}),
+        });
+        for (const [name, type] of Object.entries(shapeOf(def.fields))) {
+            const id = `field:${def.kind}.${name}`;
+            const typed = fieldTypeOf(type);
+            nodes.push({
+                id,
+                kind: "field",
+                label: name,
+                type: typed.type,
+                required: typed.required,
+                ...(typed.options ? { options: [...typed.options] } : {}),
+                ...(def.display?.labels?.[name] ? { description: def.display.labels[name] } : {}),
+            });
+            edges.push({ kind: "of", from: id, to: kindId(def.kind) });
+        }
+        for (const [name, edge] of Object.entries(def.edges)) {
+            const id = `edge:${def.kind}.${name}`;
+            edgeIds.set(name, id);
+            nodes.push({
+                id,
+                kind: "edge",
+                label: name,
+                cardinality: edge.cardinality ?? "many",
+                appendOnly: edge.appendOnly ?? false,
+                toAny: edge.to === "*",
+                ...(edge.description ? { description: edge.description } : {}),
+                ...(edge.inverse ? { inverse: edge.inverse } : {}),
+            });
+            edges.push({ kind: "from-kind", from: id, to: kindId(def.kind) });
+            if (edge.to !== "*")
+                for (const target of edge.to)
+                    edges.push({ kind: "to-kind", from: id, to: kindId(target) });
+        }
+    }
+    const actId = (name) => `act:${name}`;
+    /** The checkout's own name for the far end of a tie: the node argument that is not the subject. */
+    const targetArgOf = (mutation) => {
+        if (!(mutation.connects?.length || mutation.severs?.length))
+            return undefined;
+        const refs = nodeRefArgs(mutation.input);
+        return refs.find((ref) => ref.name !== mutation.subject?.arg)?.name;
+    };
+    for (const mutation of (app.mutations ?? [])) {
+        const id = actId(mutation.name);
+        nodes.push({
+            id,
+            kind: "act",
+            label: mutation.name,
+            destructive: mutation.destructive ?? false,
+            onAny: mutation.subject?.kinds === "*",
+            derived: mutation.derived !== undefined,
+            ...(mutation.title ? { title: mutation.title } : {}),
+            ...(mutation.fromTheOtherEnd ? { fromTheOtherEnd: mutation.fromTheOtherEnd } : {}),
+            ...(mutation.description ? { description: mutation.description } : {}),
+            ...(mutation.writes ? { writes: [...mutation.writes] } : {}),
+            ...(mutation.subject ? { subjectArg: mutation.subject.arg } : {}),
+            ...(targetArgOf(mutation) ? { targetArg: targetArgOf(mutation) } : {}),
+        });
+        if (mutation.subject && mutation.subject.kinds !== "*")
+            for (const kind of mutation.subject.kinds)
+                edges.push({ kind: "on", from: id, to: kindId(kind) });
+        for (const kind of mutation.creates ?? [])
+            edges.push({ kind: "creates", from: id, to: kindId(kind) });
+        for (const name of mutation.connects ?? []) {
+            const target = edgeIds.get(name);
+            if (target)
+                edges.push({ kind: "connects", from: id, to: target });
+        }
+        for (const name of mutation.severs ?? []) {
+            const target = edgeIds.get(name);
+            if (target)
+                edges.push({ kind: "severs", from: id, to: target });
+        }
+    }
+    const declaredActs = new Set((app.mutations ?? []).map((mutation) => mutation.name));
+    for (const rule of (app.invariants ?? [])) {
+        const id = `rule:${rule.name}`;
+        const derivedRepairs = (rule.repairs ?? []).filter((name) => !declaredActs.has(name));
+        nodes.push({
+            id,
+            kind: "rule",
+            label: rule.name,
+            judgesPast: rule.judgesPast ?? false,
+            wholeGraph: rule.scope === "graph",
+            ...(rule.label ? { title: rule.label } : {}),
+            ...(rule.description ?? rule.label ? { description: rule.description ?? rule.label } : {}),
+            ...(derivedRepairs.length > 0 ? { derivedRepairs } : {}),
+        });
+        if (rule.scope !== "graph")
+            edges.push({ kind: "over", from: id, to: kindId(rule.scope.kind) });
+        for (const name of rule.repairs ?? [])
+            if (declaredActs.has(name))
+                edges.push({ kind: "repairs", from: id, to: actId(name) });
+    }
+    const roleId = (role) => `role:${role}`;
+    /*
+     * SEATS ONLY. A lens's `requiredRoles` are binding SLOTS it asks the app
+     * to answer — `start`, `rows`, `link` — and reading them in here put them
+     * in the ROLES district beside "coordinator" and wrote them back into the
+     * policy as roles a person could be granted. They belong to the lens.
+     */
+    const roles = new Set(app.policy?.roles ?? []);
+    for (const g of app.policy?.grants ?? [])
+        if (g.roles !== "*")
+            for (const role of g.roles)
+                roles.add(role);
+    for (const role of roles)
+        nodes.push({ id: roleId(role), kind: "role", label: role });
+    (app.policy?.grants ?? []).forEach((g, index) => {
+        const id = `grant:${index + 1}`;
+        const who = g.roles === "*" ? "everyone" : g.roles.join(", ");
+        const what = g.mutations === "*" ? "do anything" : g.mutations.join(", ");
+        nodes.push({
+            id,
+            kind: "grant",
+            label: g.describe ?? `${who} may ${what}`,
+            self: g.self ?? false,
+            everyone: g.roles === "*",
+            allActs: g.mutations === "*",
+            allKinds: g.kinds === undefined || g.kinds === "*",
+            ...(g.describe ? { describe: g.describe } : {}),
+        });
+        if (g.roles !== "*")
+            for (const role of g.roles)
+                edges.push({ kind: "lets", from: id, to: roleId(role) });
+        if (g.mutations !== "*")
+            for (const name of g.mutations)
+                edges.push({ kind: "may", from: id, to: actId(name) });
+        if (g.kinds && g.kinds !== "*")
+            for (const kind of g.kinds)
+                edges.push({ kind: "allows-on", from: id, to: kindId(kind) });
+    });
+    for (const lens of app.lenses ?? []) {
+        const id = `lens:${lens.name}`;
+        nodes.push({
+            id,
+            kind: "lens",
+            label: lens.name,
+            ...(lens.binds ? { binds: lens.binds } : {}),
+            ...(lens.requiredRoles.length > 0 ? { requires: [...lens.requiredRoles] } : {}),
+        });
+    }
+    if (app.brand) {
+        nodes.push({
+            id: "brand",
+            kind: "brand",
+            label: app.brand.name,
+            ...(app.brand.typography?.body ? { body: app.brand.typography.body } : {}),
+            ...(app.brand.typography?.display ? { display: app.brand.typography.display } : {}),
+        });
+    }
+    // Only edges whose both ends exist: an act that connects an edge the schema
+    // does not declare is the checker's to report, not a dangling line here.
+    const ids = new Set(nodes.map((node) => node.id));
+    return { nodes, edges: edges.filter((edge) => ids.has(edge.from) && ids.has(edge.to)) };
+}
+//# sourceMappingURL=from-declaration.js.map

package/dist/from-declaration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"from-declaration.js","sourceRoot":"","sources":["../src/from-declaration.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAG5C,OAAO,EAAE,aAAa,EAAkB,MAAM,WAAW,CAAC;AA2B1D,MAAM,KAAK,GAAG,CAAC,IAAa,EAAU,EAAE,CACtC,CAAE,IAAyB,CAAC,GAAG,IAAK,IAA0B,CAAC,IAAI,IAAI,EAAE,CAAW,CAAC;AAEvF,qDAAqD;AACrD,MAAM,UAAU,WAAW,CAAC,IAAa;IACvC,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,OAAO,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACpF,QAAQ,GAAG,KAAK,CAAC;QACjB,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IACD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ,CAAC;QACd,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;QACtC,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QACvC,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC7D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;QAC7C,CAAC;QACD,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACpC;YACE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACxC,CAAC;AACH,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,MAAe,EAA2B,EAAE,CAC3D,CAAE,MAA8C,CAAC,KAAK,IAAI,EAAE,CAA4B,CAAC;AAE3F,mDAAmD;AACnD,MAAM,UAAU,kBAAkB,CAAsB,GAAkB;IACxE,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC;IACrC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,GAAG,aAAa,GAAG,IAAI,EAAE,CAAC;IAC3D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE1C,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,GAAG,CAAC,IAAI;YACf,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5D,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3J,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9C,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAC/D,MAAM,EAAE,GAAG,SAAS,GAAG,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE;gBACF,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzD,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAClF,CAAC,CAAC;YACH,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACrD,MAAM,EAAE,GAAG,QAAQ,GAAG,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;YACtC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE;gBACF,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,IAAI;gBACX,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,MAAM;gBACvC,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,KAAK;gBACpC,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,GAAG;gBACtB,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9D,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACnD,CAAC,CAAC;YACH,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClE,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;gBAAE,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,EAAE;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACnH,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC;IAC9C,mGAAmG;IACnG,MAAM,WAAW,GAAG,CAAC,QAA+B,EAAsB,EAAE;QAC1E,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9E,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACzC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC;IACtE,CAAC,CAAC;IACF,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAgD,EAAE,CAAC;QAC5F,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC;YACT,EAAE;YACF,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,QAAQ,CAAC,IAAI;YACpB,WAAW,EAAE,QAAQ,CAAC,WAAW,IAAI,KAAK;YAC1C,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,KAAK,GAAG;YACtC,OAAO,EAAE,QAAQ,CAAC,OAAO,KAAK,SAAS;YACvC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpD,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClF,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5D,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvE,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,KAAK,GAAG;YAAE,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1J,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,OAAO,IAAI,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvG,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACrE,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAE,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAiD,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACtI,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAmC,EAAE,CAAC;QAC5E,MAAM,EAAE,GAAG,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAC/B,MAAM,cAAc,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACtF,KAAK,CAAC,IAAI,CAAC;YACT,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,IAAI,CAAC,IAAI;YAChB,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,KAAK;YACpC,UAAU,EAAE,IAAI,CAAC,KAAK,KAAK,OAAO;YAClC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1F,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACzD,CAAC,CAAC;QACH,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChG,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE;YAAE,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChI,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC;IAChD;;;;;OAKG;IACH,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,GAAG,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE;QAAE,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG;YAAE,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3G,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAEtF,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QAC9C,MAAM,EAAE,GAAG,SAAS,KAAK,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,KAAK,CAAC,IAAI,CAAC;YACT,EAAE;YACF,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,CAAC,CAAC,QAAQ,IAAI,GAAG,GAAG,QAAQ,IAAI,EAAE;YACzC,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,KAAK;YACrB,QAAQ,EAAE,CAAC,CAAC,KAAK,KAAK,GAAG;YACzB,OAAO,EAAE,CAAC,CAAC,SAAS,KAAK,GAAG;YAC5B,QAAQ,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG;YAClD,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChD,CAAC,CAAC;QACH,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG;YAAE,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1G,IAAI,CAAC,CAAC,SAAS,KAAK,GAAG;YAAE,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChH,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG;YAAE,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5H,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC;YACT,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,IAAI,CAAC,IAAI;YAChB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,OAAO;YACX,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI;YACrB,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1E,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpF,CAAC,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,yEAAyE;IACzE,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC1F,CAAC"}

package/dist/in-place.d.ts

@@ -0,0 +1,27 @@
+import type { AnySchema } from "@graview/core";
+import { type ReactNode } from "react";
+import type { WrittenFile } from "./source.js";
+import type { Studio } from "./studio.js";
+/**
+ * THE CHANGE, WRITTEN INTO THE CHECKOUT — and the code it leaves wrong,
+ * rewritten first.
+ *
+ * A change to the declaration is only half of a change to the app: the act
+ * that ties a gardener to a plot is code, and moving the tie to plantings
+ * leaves that code tying gardeners to plots. The checker cannot see it and
+ * the compiler will not mind. So before anything is written, every act and
+ * rule the change touches is put in front of the person — as it is written,
+ * editable here, with the seat one press away for a first draft — and the
+ * change is written only once each has been rewritten or said to still
+ * hold. Then the door compiles the result before a byte lands.
+ */
+export declare function InPlaceWriter({ studio, migration, files, }: {
+    readonly studio: Studio<AnySchema>;
+    readonly migration: string | null;
+    readonly files: readonly WrittenFile[];
+}): ReactNode;
+/** The files, as downloads: what the studio hands over when it cannot write in place. */
+export declare function Downloads({ files }: {
+    readonly files: readonly WrittenFile[];
+}): ReactNode;
+//# sourceMappingURL=in-place.d.ts.map

package/dist/in-place.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"in-place.d.ts","sourceRoot":"","sources":["../src/in-place.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAuC,MAAM,eAAe,CAAC;AAGpF,OAAO,EAAgC,KAAK,SAAS,EAAE,MAAM,OAAO,CAAC;AAGrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAG1C;;;;;;;;;;;;GAYG;AACH,wBAAgB,aAAa,CAAC,EAC5B,MAAM,EACN,SAAS,EACT,KAAK,GACN,EAAE;IACD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;CACxC,GAAG,SAAS,CA+MZ;AAED,yFAAyF;AACzF,wBAAgB,SAAS,CAAC,EAAE,KAAK,EAAE,EAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAA;CAAE,GAAG,SAAS,CA0B1F"}