@graview/studio 0.0.0-stage → 0.1.0

package/dist/source.d.ts

@@ -0,0 +1,69 @@
+import type { AnyMutationDefinition, GraphEdge, GraphSnapshot, AnySchema, GraviewApp } from "@graview/core";
+import type { FieldType } from "./meta.js";
+import { type ZodUses } from "./zod-source.js";
+export type Node = {
+    readonly id: string;
+    readonly kind: string;
+} & Record<string, unknown>;
+interface Reading {
+    readonly nodes: readonly Node[];
+    readonly edges: readonly GraphEdge[];
+}
+export interface SourceOptions {
+    /** The app's name, for the comments. */
+    readonly name?: string;
+    /** The exported schema's variable name; `graview create` uses `<camel>Schema`. */
+    readonly schemaVar?: string;
+    /**
+     * The app the studio opened on. A judgement and a hand-written body are
+     * code the studio cannot write; for a rule or an act the checkout
+     * already has, the file says so LOUDLY — a stub that throws naming what
+     * belongs there — rather than a stub that quietly holds. Every rule the
+     * checkout wrote used to come back as `evaluate() { return []; }` under
+     * a comment claiming the checkout's evaluate was kept.
+     */
+    readonly base?: GraviewApp<AnySchema>;
+}
+export interface WrittenFile {
+    readonly path: string;
+    readonly contents: string;
+    /** The bodies the checkout must supply, by name: what this file could not write. */
+    readonly kept: readonly string[];
+}
+export declare const q: (text: string) => string;
+export declare const camel: (slug: string) => string;
+export declare const label: (node: Node) => string;
+export declare class Read {
+    readonly reading: Reading;
+    private readonly byId;
+    constructor(reading: Reading);
+    node(id: string): Node | undefined;
+    ofKind(kind: string): Node[];
+    out(from: string, kind: string): Node[];
+    in(to: string, kind: string): Node[];
+}
+export declare function zodSource(type: FieldType, required: boolean, options?: readonly string[]): string;
+/** A kind's fields, as the graph holds them. */
+export declare function fieldsOf(read: Read, kind: Node): {
+    name: string;
+    type: FieldType;
+    required: boolean;
+    options: string[] | undefined;
+}[];
+/** An edge's declaration, one property per entry: `to: ["gardener"]`, `cardinality: "one"`, … */
+export declare function edgeParts(read: Read, edge: Node): string[];
+/** A kind's whole `defineNode` statement, as the graph holds it. */
+export declare function kindLines(read: Read, kind: Node, base: GraviewApp<AnySchema> | undefined, keptFormats: string[], uses?: ZodUses): string[];
+/**
+ * An act's whole `defineMutation` statement, as the graph holds it. `kept`
+ * is an act the checkout already wrote: its body is code the studio never
+ * saw, so the statement throws where the body belongs rather than doing
+ * something else quietly.
+ */
+export declare function actLines(read: Read, act: Node, kept: boolean, checkout?: AnyMutationDefinition, uses?: ZodUses): string[];
+/** A rule's whole `defineInvariant` statement. `kept`: the checkout already judges it, so its evaluate is not the studio's to write. */
+export declare function ruleLines(read: Read, rule: Node, kept: boolean): string[];
+/** `src/domain/schema.ts`, `mutations.ts`, `invariants.ts` and, with roles, `policy.ts`. */
+export declare function declarationFiles(snapshot: GraphSnapshot | Reading, options?: SourceOptions): WrittenFile[];
+export {};
+//# sourceMappingURL=source.d.ts.map

package/dist/source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../src/source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAE5G,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAY,KAAK,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAUzD,MAAM,MAAM,IAAI,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC5F,UAAU,OAAO;IACf,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,aAAa;IAC5B,wCAAwC;IACxC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,kFAAkF;IAClF,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;;;OAOG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,oFAAoF;IACpF,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED,eAAO,MAAM,CAAC,GAAI,MAAM,MAAM,KAAG,MAA8B,CAAC;AAChE,eAAO,MAAM,KAAK,GAAI,MAAM,MAAM,KAAG,MAAyE,CAAC;AAK/G,eAAO,MAAM,KAAK,GAAI,MAAM,IAAI,KAAG,MAA0C,CAAC;AAK9E,qBAAa,IAAI;IAEH,QAAQ,CAAC,OAAO,EAAE,OAAO;IADrC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA2B;gBAC3B,OAAO,EAAE,OAAO;IAGrC,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAGlC,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE;IAG5B,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE;IAGvC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE;CAGrC;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAcjG;AA6DD,gDAAgD;AAChD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,GAAG,SAAS,CAAA;CAAE,EAAE,CAOtI;AAED,iGAAiG;AACjG,wBAAgB,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,MAAM,EAAE,CAQ1D;AAED,oEAAoE;AACpE,wBAAgB,SAAS,CACvB,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,GAAG,SAAS,EACvC,WAAW,EAAE,MAAM,EAAE,EACrB,IAAI,GAAE,OAA4C,GACjD,MAAM,EAAE,CAiEV;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CACtB,IAAI,EAAE,IAAI,EACV,GAAG,EAAE,IAAI,EACT,IAAI,EAAE,OAAO,EACb,QAAQ,CAAC,EAAE,qBAAqB,EAChC,IAAI,GAAE,OAA2C,GAChD,MAAM,EAAE,CA6FV;AAED,wIAAwI;AACxI,wBAAgB,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,EAAE,CA6BzE;AAED,4FAA4F;AAC5F,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,EAAE,OAAO,GAAE,aAAkB,GAAG,WAAW,EAAE,CA4H9G"}

package/dist/source.js

@@ -0,0 +1,465 @@
+import { fieldTypeOf } from "./from-declaration.js";
+import { printZod } from "./zod-source.js";
+export const q = (text) => JSON.stringify(text);
+export const camel = (slug) => slug.replace(/-([a-z0-9])/g, (_, c) => c.toUpperCase());
+const pascal = (slug) => {
+    const c = camel(slug);
+    return c.charAt(0).toUpperCase() + c.slice(1);
+};
+export const label = (node) => String(node["label"] ?? node.id);
+const str = (node, key) => (typeof node[key] === "string" ? node[key] : undefined);
+const bool = (node, key) => node[key] === true;
+const list = (node, key) => (Array.isArray(node[key]) ? node[key].map(String) : undefined);
+export class Read {
+    reading;
+    byId = new Map();
+    constructor(reading) {
+        this.reading = reading;
+        for (const node of reading.nodes)
+            this.byId.set(node.id, node);
+    }
+    node(id) {
+        return this.byId.get(id);
+    }
+    ofKind(kind) {
+        return this.reading.nodes.filter((node) => node.kind === kind);
+    }
+    out(from, kind) {
+        return this.reading.edges.filter((edge) => edge.from === from && edge.kind === kind).map((edge) => this.byId.get(edge.to)).filter((node) => node !== undefined);
+    }
+    in(to, kind) {
+        return this.reading.edges.filter((edge) => edge.to === to && edge.kind === kind).map((edge) => this.byId.get(edge.from)).filter((node) => node !== undefined);
+    }
+}
+export function zodSource(type, required, options) {
+    const base = type === "number"
+        ? "z.number()"
+        : type === "boolean"
+            ? "z.boolean()"
+            : type === "enum" && options && options.length > 0
+                ? `z.enum([${options.map(q).join(", ")}])`
+                : type === "list"
+                    ? "z.array(z.string())"
+                    : type === "string"
+                        ? "z.string().min(1)"
+                        : "z.string()";
+    return required ? base : `${base}.optional()`;
+}
+const defaultSource = (type, options) => type === "number" ? "0" : type === "boolean" ? "false" : type === "enum" ? q(options?.[0] ?? "") : type === "list" ? "[]" : type === "date" ? "new Date().toISOString().slice(0, 10)" : '""';
+/**
+ * The lines of a `defineNode` the studio carries from the checkout rather
+ * than from its graph, narrowed to the fields that still exist — a label
+ * for a field somebody deleted is not preserved, it is meaningless.
+ */
+function carried(base, kind, fields, keptFormats) {
+    const was = base?.schema?.tryDefinition?.(kind);
+    if (!was)
+        return [];
+    const lines = [];
+    const pairs = (record) => {
+        const left = Object.entries(record ?? {}).filter(([field]) => fields.has(field));
+        return left.length === 0 ? undefined : `{ ${left.map(([at, value]) => `${q(at)}: ${q(value)}`).join(", ")} }`;
+    };
+    const labels = pairs(was.display?.labels);
+    const hide = was.display?.hide?.filter((field) => fields.has(field));
+    const formatted = Object.keys(was.display?.format ?? {}).filter((field) => fields.has(field));
+    if (labels || (hide && hide.length > 0)) {
+        lines.push(`  display: {`);
+        if (labels)
+            lines.push(`    labels: ${labels},`);
+        if (hide && hide.length > 0)
+            lines.push(`    hide: [${hide.map(q).join(", ")}],`);
+        if (formatted.length > 0) {
+            lines.push(`    // The checkout also formats ${formatted.map(q).join(", ")}; a format is a`, `    // FUNCTION and the studio cannot write one. Carry it over from`, `    // the file you are replacing, or these fields read as raw values.`);
+        }
+        lines.push(`  },`);
+    }
+    else if (formatted.length > 0) {
+        lines.push(`  // The checkout formats ${formatted.map(q).join(", ")} with a function the`, `  // studio cannot write. Carry display.format over from the file you`, `  // are replacing, or these fields read as raw values.`);
+    }
+    for (const field of formatted)
+        keptFormats.push(`${kind}.${field} (display.format)`);
+    const fixed = pairs(was.fixed);
+    if (fixed)
+        lines.push(`  fixed: ${fixed},`);
+    const roles = Object.entries(was.fieldRoles ?? {}).filter(([, field]) => fields.has(String(field)));
+    if (roles.length > 0) {
+        lines.push(`  fieldRoles: { ${roles.map(([role, field]) => `${q(role)}: ${q(String(field))}`).join(", ")} },`);
+    }
+    return lines;
+}
+/** A kind's fields, as the graph holds them. */
+export function fieldsOf(read, kind) {
+    return read.in(kind.id, "of").map((field) => ({
+        name: label(field),
+        type: (str(field, "type") ?? "string"),
+        required: bool(field, "required"),
+        options: list(field, "options"),
+    }));
+}
+/** An edge's declaration, one property per entry: `to: ["gardener"]`, `cardinality: "one"`, … */
+export function edgeParts(read, edge) {
+    const targets = read.out(edge.id, "to-kind").map(label);
+    const parts = [`to: ${bool(edge, "toAny") ? '"*"' : `[${targets.map(q).join(", ")}]`}`];
+    if (str(edge, "cardinality") === "one")
+        parts.push(`cardinality: "one"`);
+    if (str(edge, "description"))
+        parts.push(`description: ${q(str(edge, "description"))}`);
+    if (str(edge, "inverse"))
+        parts.push(`inverse: ${q(str(edge, "inverse"))}`);
+    if (bool(edge, "appendOnly"))
+        parts.push(`appendOnly: true`);
+    return parts;
+}
+/** A kind's whole `defineNode` statement, as the graph holds it. */
+export function kindLines(read, kind, base, keptFormats, uses = { nodeRef: false, isoDate: false }) {
+    const fields = fieldsOf(read, kind);
+    // The checkout's own schema for a field the studio still reads the same way.
+    const baseShape = (base?.schema.tryDefinition(label(kind))?.fields?.shape ?? {});
+    const fieldSource = (field) => {
+        const own = baseShape[field.name];
+        if (own !== undefined) {
+            const was = fieldTypeOf(own);
+            const same = was.type === field.type &&
+                was.required === field.required &&
+                (was.options ?? []).join("|") === (field.options ?? []).join("|");
+            const printed = same ? printZod(own, uses) : null;
+            if (printed !== null)
+                return printed;
+        }
+        return zodSource(field.type, field.required, field.options);
+    };
+    const edges = read.in(kind.id, "from-kind");
+    const lifecycleField = str(kind, "lifecycleField");
+    const retired = list(kind, "retired");
+    const lines = [`export const ${camel(label(kind))} = defineNode(${q(label(kind))}, {`];
+    if (str(kind, "description"))
+        lines.push(`  description: ${q(str(kind, "description"))},`);
+    lines.push(`  fields: z.object({`);
+    for (const field of fields)
+        lines.push(`    ${/^[a-z_$][\w$]*$/i.test(field.name) ? field.name : q(field.name)}: ${fieldSource(field)},`);
+    lines.push(`  }),`);
+    if (edges.length > 0) {
+        lines.push(`  edges: {`);
+        for (const edge of edges) {
+            lines.push(`    ${q(label(edge))}: {`, ...edgeParts(read, edge).map((part) => `      ${part},`), `    },`);
+        }
+        lines.push(`  },`);
+    }
+    if (str(kind, "plural"))
+        lines.push(`  plural: ${q(str(kind, "plural"))},`);
+    if (str(kind, "noun"))
+        lines.push(`  noun: ${q(str(kind, "noun"))},`);
+    if (fields.some((field) => field.name === "label"))
+        lines.push(`  label: (node) => node.label,`);
+    else if (typeof base?.schema?.tryDefinition?.(label(kind))?.label === "function") {
+        /*
+         * A NAME BUILT FROM FIELDS is a function, and the studio cannot write
+         * one. A vehicle named "2027 Subaru Forester Sport" from its year, make
+         * and model came back with no label at all — every card an id — and
+         * nothing said so.
+         */
+        lines.push(`  // The checkout names ${q(label(kind))} with a function the studio cannot write;`, `  // carry \`label\` over from the file you are replacing, or every one is named by its id.`);
+        keptFormats.push(`${label(kind)} (label)`);
+    }
+    if (lifecycleField && retired)
+        lines.push(`  lifecycle: { field: ${q(lifecycleField)}, retired: ${retired[0] === "date" ? '"date"' : `[${retired.map(q).join(", ")}]`} },`);
+    // The drawing is part of the declaration, so it is part of the file.
+    if (str(kind, "figure"))
+        lines.push(`  figure: ${q(str(kind, "figure"))},`);
+    /*
+     * WHAT THE STUDIO DOES NOT MODEL, IT WRITES BACK ANYWAY.
+     *
+     * How a field reads, what is fixed and which fields answer a lens's
+     * roles are decisions in the checkout that the studio has no act for.
+     * Rebuilding a kind from the graph alone dropped all of them — so
+     * applying would have turned "Blocked 09:00" back into
+     * `plannedAt: 540` on every card. The one thing that genuinely cannot
+     * be written is a `format` function; the file SAYS SO where it finds
+     * one rather than losing it silently.
+     */
+    lines.push(...carried(base, label(kind), new Set(fields.map((field) => field.name)), keptFormats));
+    lines.push(`});`);
+    return lines;
+}
+/**
+ * An act's whole `defineMutation` statement, as the graph holds it. `kept`
+ * is an act the checkout already wrote: its body is code the studio never
+ * saw, so the statement throws where the body belongs rather than doing
+ * something else quietly.
+ */
+export function actLines(read, act, kept, checkout, uses = { nodeRef: true, isoDate: false }) {
+    const actName = label(act);
+    const on = read.out(act.id, "on").map((kind) => label(kind));
+    const creates = read.out(act.id, "creates").map((kind) => label(kind));
+    const connects = read.out(act.id, "connects");
+    const severs = read.out(act.id, "severs");
+    const writes = list(act, "writes") ?? [];
+    const arg = str(act, "subjectArg") ?? "id";
+    // The checkout's own word for the far end, kept; `to` only for an act the studio declared.
+    const far = str(act, "targetArg") ?? "to";
+    const onAny = bool(act, "onAny");
+    const subjectKinds = onAny ? '"*"' : `[${on.map(q).join(", ")}]`;
+    const lines = [`export const ${camel(actName)} = defineMutation(${q(actName)}, {`];
+    const body = [];
+    if (str(act, "title"))
+        lines.push(`  title: ${q(str(act, "title"))},`);
+    if (str(act, "fromTheOtherEnd"))
+        lines.push(`  fromTheOtherEnd: ${q(str(act, "fromTheOtherEnd"))},`);
+    if (str(act, "description"))
+        lines.push(`  description: ${q(str(act, "description"))},`);
+    if (bool(act, "destructive"))
+        lines.push(`  destructive: true,`);
+    if (onAny || on.length > 0)
+        lines.push(`  subject: { kinds: ${subjectKinds}, arg: ${q(arg)} },`);
+    if (creates.length > 0)
+        lines.push(`  creates: [${creates.map(q).join(", ")}],`);
+    if (connects.length > 0)
+        lines.push(`  connects: [${connects.map((edge) => q(label(edge))).join(", ")}],`);
+    if (severs.length > 0)
+        lines.push(`  severs: [${severs.map((edge) => q(label(edge))).join(", ")}],`);
+    if (writes.length > 0)
+        lines.push(`  writes: [${writes.map(q).join(", ")}],`);
+    if (creates.length > 0) {
+        const kind = creates[0];
+        const kindNode = read.ofKind("kind").find((node) => label(node) === kind);
+        const fields = kindNode ? fieldsOf(read, kindNode).filter((field) => field.name !== "label") : [];
+        const asked = fields.filter((field) => field.required && field.type !== "list");
+        lines.push(`  input: z.object({ label: z.string().min(1)${asked.map((field) => `, ${field.name}: ${zodSource(field.type, false, field.options)}`).join("")} }),`);
+        lines.push(`  describe: (args) => \`${str(act, "title") ?? actName}: \${args.label}\`,`);
+        body.push(`    ctx.addNode({`);
+        body.push(`      id: ctx.freshId(args.label, ${q(kind)}),`);
+        body.push(`      kind: ${q(kind)},`);
+        body.push(`      label: args.label,`);
+        for (const field of fields)
+            if (field.required)
+                body.push(`      ${field.name}: args.${field.name} ?? ${defaultSource(field.type, field.options)},`);
+        body.push(`    });`);
+    }
+    else if (connects[0] ?? severs[0]) {
+        const edge = (connects[0] ?? severs[0]);
+        const targets = read.out(edge.id, "to-kind").map((target) => label(target));
+        const making = connects.length > 0;
+        lines.push(`  input: z.object({ ${arg}: nodeRef(${subjectKinds}), ${far}: nodeRef(${targets.length > 0 ? `[${targets.map(q).join(", ")}]` : '"*"'}) }),`);
+        lines.push(`  describe: (args, graph) => \`${str(act, "title") ?? actName}: \${nameOf(graph as Reader, args.${arg})} ${making ? "→" : "⇸"} \${nameOf(graph as Reader, args.${far})}\`,`);
+        body.push(`    ctx.${making ? "addEdge" : "removeEdge"}({ kind: ${q(label(edge))}, from: args.${arg}, to: args.${far} });`);
+    }
+    else {
+        const declared = new Map();
+        for (const kindNode of read.ofKind("kind"))
+            if (on.includes(label(kindNode)))
+                for (const field of fieldsOf(read, kindNode))
+                    declared.set(field.name, { type: field.type, options: field.options });
+        lines.push(`  input: z.object({ ${arg}: nodeRef(${subjectKinds})${writes.map((field) => `, ${field}: ${declared.has(field) ? zodSource(declared.get(field).type, false, declared.get(field).options) : "z.string().optional()"}`).join("")} }),`);
+        lines.push(`  describe: (args, graph) => \`${str(act, "title") ?? actName}: \${nameOf(graph as Reader, args.${arg})}\`,`);
+        if (writes.length > 0) {
+            body.push(`    const patch: Record<string, unknown> = {};`);
+            for (const field of writes)
+                body.push(`    if (args.${field} !== undefined) patch[${q(field)}] = args.${field};`);
+            body.push(`    if (Object.keys(patch).length > 0) ctx.patchNode(args.${arg}, patch);`);
+        }
+        else {
+            body.push(`    // Declared in the studio with no create, connect, sever or write: give it a body.`);
+            body.push(`    void ctx;`);
+            body.push(`    void args;`);
+        }
+    }
+    /*
+     * AN ACT THE CHECKOUT WROTE KEEPS ITS OWN ARGUMENTS AND ITS OWN WORDS.
+     * The input above is derived from what the act declares — its kind's
+     * fields, its tie's two ends — which is the checkout's input only by
+     * luck; and the history's sentence is a function the studio never saw.
+     */
+    if (kept && checkout) {
+        const printed = printZod(checkout.input, uses);
+        const at = lines.findIndex((line) => line.startsWith("  input: "));
+        if (at >= 0 && printed !== null)
+            lines[at] = `  input: ${printed},`;
+        const said = lines.findIndex((line) => line.startsWith("  describe: "));
+        if (said >= 0 && checkout.describe) {
+            lines.splice(said, 1, `  // describe: the checkout's own sentence for the history belongs here — the studio cannot write a function it never saw.`);
+        }
+    }
+    lines.push(`  apply(ctx, args) {`);
+    if (kept) {
+        /*
+         * AN ACT THE CHECKOUT WROTE keeps its declaration and loses its body
+         * here, because a body is code the studio never saw. A generated one
+         * that does something ELSE — "close it" patching only when a status
+         * is passed, a tie without the checkout's own guard — is worse than
+         * none, so the stub throws, naming what belongs here, and `kept`
+         * says so to whoever writes the files.
+         */
+        lines.push(`    // The checkout's own body belongs here: the studio cannot write what it never saw.`);
+        lines.push(`    void ctx;`);
+        lines.push(`    void args;`);
+        lines.push(`    throw new Error(${q(`${actName}: the checkout's apply belongs here — the studio cannot write a hand-written body`)});`);
+    }
+    else {
+        lines.push(...body);
+    }
+    lines.push(`  },`);
+    lines.push(`});`);
+    return lines;
+}
+/** A rule's whole `defineInvariant` statement. `kept`: the checkout already judges it, so its evaluate is not the studio's to write. */
+export function ruleLines(read, rule, kept) {
+    const ruleName = label(rule);
+    const over = read.out(rule.id, "over")[0];
+    const repairs = [...read.out(rule.id, "repairs").map(label), ...(list(rule, "derivedRepairs") ?? [])];
+    const whole = bool(rule, "wholeGraph") || !over;
+    const lines = [`export const ${camel(ruleName)} = ${whole ? "defineGraphInvariant" : "defineInvariant"}(${q(ruleName)}, {`];
+    // The checkout's words for it, not its identifier.
+    lines.push(`  label: ${q(str(rule, "title") ?? ruleName)},`);
+    if (str(rule, "description"))
+        lines.push(`  description: ${q(str(rule, "description"))},`);
+    if (!whole)
+        lines.push(`  scope: { kind: ${q(label(over))} },`);
+    if (repairs.length > 0)
+        lines.push(`  repairs: [${repairs.map(q).join(", ")}],`);
+    if (bool(rule, "judgesPast"))
+        lines.push(`  judgesPast: true,`);
+    lines.push(`  evaluate(): Violation[] {`);
+    if (kept) {
+        /*
+         * A rule the checkout already judges: its evaluate is code the
+         * studio never saw. A stub that returns nothing would hold, and a
+         * rule that holds when it should not is a lie the interface tells
+         * with a green light. So it throws, naming what belongs here.
+         */
+        lines.push(`    // The checkout's own judgement belongs here: the studio cannot write what it never saw.`);
+        lines.push(`    throw new Error(${q(`${ruleName}: the checkout's evaluate belongs here — the studio cannot write a judgement`)});`);
+    }
+    else {
+        lines.push(`    // The judgement: return a violation per subject that breaks the rule.`);
+        lines.push(`    return [];`);
+    }
+    lines.push(`  },`);
+    lines.push(`});`);
+    return lines;
+}
+/** `src/domain/schema.ts`, `mutations.ts`, `invariants.ts` and, with roles, `policy.ts`. */
+export function declarationFiles(snapshot, options = {}) {
+    const read = new Read(snapshot);
+    const schemaVar = options.schemaVar ?? "schema";
+    const name = options.name ?? "the app";
+    const baseActs = new Set((options.base?.mutations ?? []).map((mutation) => mutation.name));
+    const baseRules = new Set((options.base?.invariants ?? []).map((rule) => rule.name));
+    const keptActs = [];
+    const keptRules = [];
+    const keptFormats = [];
+    const kinds = read.ofKind("kind");
+    /*
+     * `z` FROM THE FRAMEWORK. A product never installs zod — `@graview/core`
+     * re-exports it, and a second copy makes every kind's fields a nominally
+     * different type — so a file importing "zod" is a file the product
+     * cannot resolve.
+     */
+    const schemaUses = { nodeRef: false, isoDate: false };
+    const kindText = kinds.flatMap((kind) => ["", ...kindLines(read, kind, options.base, keptFormats, schemaUses)]);
+    const schemaTs = [
+        `import { createSchema, defineNode, ${schemaUses.isoDate ? "isoDate, " : ""}z } from "@graview/core";`,
+        ``,
+        `/*`,
+        ` * ${name}'s kinds, written by the studio. The shape is the declaration's;`,
+        ` * edit it here or there, and \`graview check\` judges either.`,
+        ` */`,
+        ...kindText,
+        ``,
+        `export const ${schemaVar} = createSchema([${kinds.map((kind) => camel(label(kind))).join(", ")}]);`,
+        `export type ${pascal(schemaVar)} = typeof ${schemaVar};`,
+        ``,
+    ].join("\n");
+    const acts = read.ofKind("act").filter((act) => !bool(act, "derived"));
+    const actUses = { nodeRef: true, isoDate: false };
+    const actText = acts.flatMap((act) => {
+        const kept = baseActs.has(label(act));
+        if (kept)
+            keptActs.push(label(act));
+        const checkout = options.base?.mutations?.find((mutation) => mutation.name === label(act));
+        return ["", ...actLines(read, act, kept, checkout, actUses)];
+    });
+    const mutationsTs = [
+        `import { bindSchema, ${actUses.isoDate ? "isoDate, " : ""}nodeRef, z, type GraphReader } from "@graview/core";`,
+        `import { ${schemaVar} } from "./schema.js";`,
+        ``,
+        `const { defineMutation } = bindSchema(${schemaVar});`,
+        ``,
+        `// A node's name for the history: an id in the interface is a bug you shipped.`,
+        `type Reader = GraphReader<{ id: string; kind: string } & Record<string, unknown>>;`,
+        `const nameOf = (graph: Reader, id: string): string => {`,
+        `  const node = graph.getNode(id);`,
+        `  return typeof node?.["label"] === "string" ? (node["label"] as string) : id;`,
+        `};`,
+        ``,
+        `/*`,
+        ` * ${name}'s acts, written by the studio from what each act declares:`,
+        ` * create, connect, sever or write. Where the checkout's own body did`,
+        ` * more, keep the checkout's body under the studio's declaration.`,
+        ` */`,
+        ...actText,
+        ``,
+        `export const mutations = [${acts.map((act) => camel(label(act))).join(", ")}];`,
+        ``,
+    ].join("\n");
+    const rules = read.ofKind("rule");
+    const invariantsTs = [
+        `import { bindSchema, type Violation } from "@graview/core";`,
+        `import { ${schemaVar} } from "./schema.js";`,
+        ``,
+        `const { defineInvariant, defineGraphInvariant } = bindSchema(${schemaVar});`,
+        ``,
+        `/*`,
+        ` * ${name}'s rules, as the studio declares them: what each judges and what`,
+        ` * repairs it. A judgement is code — a rule the studio declared holds`,
+        ` * nothing wrong until its evaluate says otherwise; a rule the checkout`,
+        ` * already judges keeps the checkout's evaluate.`,
+        ` */`,
+        ...rules.flatMap((rule) => {
+            const kept = baseRules.has(label(rule));
+            if (kept)
+                keptRules.push(label(rule));
+            return ["", ...ruleLines(read, rule, kept)];
+        }),
+        ``,
+        `export const invariants = [${rules.map((rule) => camel(label(rule))).join(", ")}];`,
+        ``,
+    ].join("\n");
+    const roles = read.ofKind("role").map(label);
+    const grants = read.ofKind("grant");
+    const files = [
+        // A format is a function; the file names the ones it could not write.
+        { path: "src/domain/schema.ts", contents: schemaTs, kept: keptFormats },
+        { path: "src/domain/mutations.ts", contents: mutationsTs, kept: keptActs.map((act) => `${act}: apply`) },
+        { path: "src/domain/invariants.ts", contents: invariantsTs, kept: keptRules.map((rule) => `${rule}: evaluate`) },
+    ];
+    if (roles.length > 0 || grants.length > 0) {
+        const policyTs = [
+            `import type { Policy } from "@graview/core";`,
+            ``,
+            `/* Who may do what in ${name}, as the studio declares it. */`,
+            `export const policy: Policy = {`,
+            `  roles: [${roles.map(q).join(", ")}],`,
+            `  grants: [`,
+            ...grants.map((g) => {
+                const lets = read.out(g.id, "lets").map(label);
+                const may = read.out(g.id, "may").map(label);
+                const over = read.out(g.id, "allows-on").map(label);
+                const parts = [
+                    `roles: ${bool(g, "everyone") ? '"*"' : `[${lets.map(q).join(", ")}]`}`,
+                    `mutations: ${bool(g, "allActs") ? '"*"' : `[${may.map(q).join(", ")}]`}`,
+                    ...(bool(g, "allKinds") ? [] : [`kinds: [${over.map(q).join(", ")}]`]),
+                    ...(str(g, "describe") ? [`describe: ${q(str(g, "describe"))}`] : []),
+                    ...(bool(g, "self") ? ["self: true"] : []),
+                ];
+                return `    { ${parts.join(", ")} },`;
+            }),
+            `  ],`,
+            `};`,
+            ``,
+        ].join("\n");
+        files.push({ path: "src/domain/policy.ts", contents: policyTs, kept: [] });
+    }
+    return files;
+}
+//# sourceMappingURL=source.js.map

package/dist/source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../src/source.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,EAAE,QAAQ,EAAgB,MAAM,iBAAiB,CAAC;AAuCzD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAChE,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAC/G,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE;IACtC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC,CAAC;AACF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;AAC9E,MAAM,GAAG,GAAG,CAAC,IAAU,EAAE,GAAW,EAAsB,EAAE,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,IAAI,CAAC,GAAG,CAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AACjI,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,GAAW,EAAW,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;AACtE,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,GAAW,EAAwB,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,GAAG,CAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAE9I,MAAM,OAAO,IAAI;IAEM;IADJ,IAAI,GAAG,IAAI,GAAG,EAAgB,CAAC;IAChD,YAAqB,OAAgB;QAAhB,YAAO,GAAP,OAAO,CAAS;QACnC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,CAAC,EAAU;QACb,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IACD,MAAM,CAAC,IAAY;QACjB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACjE,CAAC;IACD,GAAG,CAAC,IAAY,EAAE,IAAY;QAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAgB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAChL,CAAC;IACD,EAAE,CAAC,EAAU,EAAE,IAAY;QACzB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAgB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC9K,CAAC;CACF;AAED,MAAM,UAAU,SAAS,CAAC,IAAe,EAAE,QAAiB,EAAE,OAA2B;IACvF,MAAM,IAAI,GACR,IAAI,KAAK,QAAQ;QACf,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,IAAI,KAAK,SAAS;YAClB,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAChD,CAAC,CAAC,WAAW,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBAC1C,CAAC,CAAC,IAAI,KAAK,MAAM;oBACf,CAAC,CAAC,qBAAqB;oBACvB,CAAC,CAAC,IAAI,KAAK,QAAQ;wBACjB,CAAC,CAAC,mBAAmB;wBACrB,CAAC,CAAC,YAAY,CAAC;IAC3B,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,aAAa,CAAC;AAChD,CAAC;AAED,MAAM,aAAa,GAAG,CAAC,IAAe,EAAE,OAA2B,EAAU,EAAE,CAC7E,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC,CAAC,IAAI,CAAC;AAE/L;;;;GAIG;AACH,SAAS,OAAO,CACd,IAAuC,EACvC,IAAY,EACZ,MAA2B,EAC3B,WAAqB;IAErB,MAAM,GAAG,GAAG,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,IAAI,CAMjC,CAAC;IACd,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,MAA0C,EAAsB,EAAE;QAC/E,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACjF,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAChH,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9F,IAAI,MAAM,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,IAAI,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,GAAG,CAAC,CAAC;QACjD,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CACR,oCAAoC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAChF,qEAAqE,EACrE,wEAAwE,CACzE,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrB,CAAC;SAAM,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CACR,6BAA6B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,EAC9E,uEAAuE,EACvE,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,SAAS;QAAE,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,KAAK,mBAAmB,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,GAAG,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACpG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,IAAU;IAC7C,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;QAClB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAc;QACnD,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC;QACjC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC;KAChC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,SAAS,CAAC,IAAU,EAAE,IAAU;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,CAAC,OAAO,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACxF,IAAI,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,KAAK,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACzE,IAAI,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAE,CAAC,EAAE,CAAC,CAAC;IACzF,IAAI,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAE,CAAC,EAAE,CAAC,CAAC;IAC7E,IAAI,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC7D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,SAAS,CACvB,IAAU,EACV,IAAU,EACV,IAAuC,EACvC,WAAqB,EACrB,OAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;IAElD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACpC,6EAA6E;IAC7E,MAAM,SAAS,GAAG,CAAE,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,MAA0D,EAAE,KAAK,IAAI,EAAE,CAA4B,CAAC;IACjK,MAAM,WAAW,GAAG,CAAC,KAA8B,EAAU,EAAE;QAC7D,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,IAAI,GACR,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;gBACvB,GAAG,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;gBAC/B,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpE,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAClD,IAAI,OAAO,KAAK,IAAI;gBAAE,OAAO,OAAO,CAAC;QACvC,CAAC;QACD,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9D,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IAC5C,MAAM,cAAc,GAAG,GAAG,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,CAAC,gBAAgB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;IACvF,IAAI,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAE,CAAC,GAAG,CAAC,CAAC;IAC5F,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC1I,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC7G,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrB,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAE,CAAC,GAAG,CAAC,CAAC;IAC7E,IAAI,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAE,CAAC,GAAG,CAAC,CAAC;IACvE,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;SAC5F,IAAI,OAAQ,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAqC,EAAE,KAAK,KAAK,UAAU,EAAE,CAAC;QACtH;;;;;WAKG;QACH,KAAK,CAAC,IAAI,CACR,2BAA2B,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,2CAA2C,EACpF,6FAA6F,CAC9F,CAAC;QACF,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,cAAc,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,cAAc,CAAC,cAAc,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IAC5K,qEAAqE;IACrE,IAAI,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAE,CAAC,GAAG,CAAC,CAAC;IAC7E;;;;;;;;;;OAUG;IACH,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;IACnG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CACtB,IAAU,EACV,GAAS,EACT,IAAa,EACb,QAAgC,EAChC,OAAgB,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;IAEjD,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;IACzC,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC,IAAI,IAAI,CAAC;IAC3C,2FAA2F;IAC3F,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,IAAI,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACjC,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACjE,MAAM,KAAK,GAAG,CAAC,gBAAgB,KAAK,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACnF,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAE,CAAC,GAAG,CAAC,CAAC;IACxE,IAAI,GAAG,CAAC,GAAG,EAAE,iBAAiB,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,iBAAiB,CAAE,CAAC,GAAG,CAAC,CAAC;IACtG,IAAI,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAE,CAAC,GAAG,CAAC,CAAC;IAC1F,IAAI,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACjE,IAAI,KAAK,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,uBAAuB,YAAY,UAAU,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,eAAe,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3G,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrG,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClG,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAChF,KAAK,CAAC,IAAI,CAAC,+CAA+C,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAClK,KAAK,CAAC,IAAI,CAAC,2BAA2B,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,OAAO,qBAAqB,CAAC,CAAC;QACzF,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QACtC,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,IAAI,KAAK,CAAC,QAAQ;gBAAE,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,IAAI,UAAU,KAAK,CAAC,IAAI,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACrJ,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvB,CAAC;SAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAE,CAAC;QACzC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,uBAAuB,GAAG,aAAa,YAAY,MAAM,GAAG,aAAa,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC;QAC1J,KAAK,CAAC,IAAI,CAAC,kCAAkC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,OAAO,qCAAqC,GAAG,MAAM,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,oCAAoC,GAAG,OAAO,CAAC,CAAC;QACzL,IAAI,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,YAAY,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,gBAAgB,GAAG,cAAc,GAAG,MAAM,CAAC,CAAC;IAC9H,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8D,CAAC;QACvF,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAAE,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;oBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACnM,KAAK,CAAC,IAAI,CAAC,uBAAuB,GAAG,aAAa,YAAY,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,uBAAuB,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QACpP,KAAK,CAAC,IAAI,CAAC,kCAAkC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,OAAO,qCAAqC,GAAG,OAAO,CAAC,CAAC;QAC1H,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;YAC5D,KAAK,MAAM,KAAK,IAAI,MAAM;gBAAE,IAAI,CAAC,IAAI,CAAC,gBAAgB,KAAK,yBAAyB,CAAC,CAAC,KAAK,CAAC,YAAY,KAAK,GAAG,CAAC,CAAC;YAClH,IAAI,CAAC,IAAI,CAAC,6DAA6D,GAAG,WAAW,CAAC,CAAC;QACzF,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,CAAC,wFAAwF,CAAC,CAAC;YACpG,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD;;;;;OAKG;IACH,IAAI,IAAI,IAAI,QAAQ,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;QACnE,IAAI,EAAE,IAAI,CAAC,IAAI,OAAO,KAAK,IAAI;YAAE,KAAK,CAAC,EAAE,CAAC,GAAG,YAAY,OAAO,GAAG,CAAC;QACpE,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;QACxE,IAAI,IAAI,IAAI,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,4HAA4H,CAAC,CAAC;QACtJ,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,IAAI,IAAI,EAAE,CAAC;QACT;;;;;;;WAOG;QACH,KAAK,CAAC,IAAI,CAAC,yFAAyF,CAAC,CAAC;QACtG,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,GAAG,OAAO,mFAAmF,CAAC,IAAI,CAAC,CAAC;IAC1I,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wIAAwI;AACxI,MAAM,UAAU,SAAS,CAAC,IAAU,EAAE,IAAU,EAAE,IAAa;IAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACtG,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;IAChD,MAAM,KAAK,GAAG,CAAC,gBAAgB,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC5H,mDAAmD;IACnD,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC7D,IAAI,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAE,CAAC,GAAG,CAAC,CAAC;IAC5F,IAAI,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,KAAK,CAAC,IAAK,CAAC,CAAC,KAAK,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,eAAe,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC1C,IAAI,IAAI,EAAE,CAAC;QACT;;;;;WAKG;QACH,KAAK,CAAC,IAAI,CAAC,8FAA8F,CAAC,CAAC;QAC3G,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,GAAG,QAAQ,8EAA8E,CAAC,IAAI,CAAC,CAAC;IACtI,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,4EAA4E,CAAC,CAAC;QACzF,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,gBAAgB,CAAC,QAAiC,EAAE,UAAyB,EAAE;IAC7F,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,QAAmB,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,QAAQ,CAAC;IAChD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,SAAS,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAElC;;;;;OAKG;IACH,MAAM,UAAU,GAAY,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAChH,MAAM,QAAQ,GAAG;QACf,sCAAsC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,2BAA2B;QACtG,EAAE;QACF,IAAI;QACJ,MAAM,IAAI,kEAAkE;QAC5E,gEAAgE;QAChE,KAAK;QACL,GAAG,QAAQ;QACX,EAAE;QACF,gBAAgB,SAAS,oBAAoB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;QACpG,eAAe,MAAM,CAAC,SAAS,CAAC,aAAa,SAAS,GAAG;QACzD,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;IACvE,MAAM,OAAO,GAAY,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;QACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,IAAI,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3F,OAAO,CAAC,EAAE,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAA6C,EAAE,OAAO,CAAC,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG;QAClB,wBAAwB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,sDAAsD;QAChH,YAAY,SAAS,wBAAwB;QAC7C,EAAE;QACF,yCAAyC,SAAS,IAAI;QACtD,EAAE;QACF,gFAAgF;QAChF,oFAAoF;QACpF,yDAAyD;QACzD,mCAAmC;QACnC,gFAAgF;QAChF,IAAI;QACJ,EAAE;QACF,IAAI;QACJ,MAAM,IAAI,6DAA6D;QACvE,uEAAuE;QACvE,mEAAmE;QACnE,KAAK;QACL,GAAG,OAAO;QACV,EAAE;QACF,6BAA6B,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAChF,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,YAAY,GAAG;QACnB,6DAA6D;QAC7D,YAAY,SAAS,wBAAwB;QAC7C,EAAE;QACF,gEAAgE,SAAS,IAAI;QAC7E,EAAE;QACF,IAAI;QACJ,MAAM,IAAI,kEAAkE;QAC5E,uEAAuE;QACvE,yEAAyE;QACzE,kDAAkD;QAClD,KAAK;QACL,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YACxB,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACxC,IAAI,IAAI;gBAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACtC,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9C,CAAC,CAAC;QACF,EAAE;QACF,8BAA8B,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QACpF,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,KAAK,GAAkB;QAC3B,sEAAsE;QACtE,EAAE,IAAI,EAAE,sBAAsB,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE;QACvE,EAAE,IAAI,EAAE,yBAAyB,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,SAAS,CAAC,EAAE;QACxG,EAAE,IAAI,EAAE,0BAA0B,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,YAAY,CAAC,EAAE;KACjH,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG;YACf,8CAA8C;YAC9C,EAAE;YACF,yBAAyB,IAAI,iCAAiC;YAC9D,iCAAiC;YACjC,aAAa,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YACxC,aAAa;YACb,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAClB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACpD,MAAM,KAAK,GAAG;oBACZ,UAAU,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;oBACvE,cAAc,IAAI,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;oBACzE,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACtE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtE,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC3C,CAAC;gBACF,OAAO,SAAS,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YACxC,CAAC,CAAC;YACF,MAAM;YACN,IAAI;YACJ,EAAE;SACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/studio.d.ts

@@ -0,0 +1,64 @@
+import { Store, type AnySchema, type Batch, type CheckResult, type GraviewApp, type MigrationDeclaration, type MutationCall, type Principal } from "@graview/core";
+import { type SourceChanges } from "./changes.js";
+import { type StudioSchema } from "./meta.js";
+import { type SourceOptions, type WrittenFile } from "./source.js";
+export interface Studio<S extends AnySchema = AnySchema> {
+    /** The store the interface edits: the declaration as a graph. */
+    readonly store: Store<StudioSchema>;
+    /** The app the studio opened on. */
+    readonly base: GraviewApp<S>;
+    /** The declaration as it now stands, runnable and checkable. */
+    declaration(): GraviewApp<AnySchema>;
+    /** What `graview check` says about the declaration as it now stands. */
+    check(): CheckResult;
+    /** Batches applied since the studio opened — every change, with its author and intent. */
+    changes(): readonly Batch[];
+    /** The changes an agent seat made and nobody has taken back. */
+    proposals(): readonly Batch[];
+    /** An agent's proposed change: applied under its seat, in a batch of its own, so a person can keep or take it back. */
+    propose(call: MutationCall, agent: Principal, intent?: string): {
+        readonly batch: string;
+        readonly ok: true;
+    } | {
+        readonly ok: false;
+        readonly reason: string;
+    };
+    /** Take a proposal back. */
+    decline(batch: string): boolean;
+    /**
+     * WHAT THE CHECKER WOULD SAY IF THIS CALL WERE MADE — without making it.
+     *
+     * A proposal a person is shown has to be judged BEFORE they are asked to
+     * keep it: a change that would fail the build is not a choice, it is a
+     * trap. The call is applied to a copy of the store and the copy's
+     * declaration is checked, so the real declaration is untouched whatever
+     * the answer is — and a call the store itself refuses comes back as a
+     * refusal in the store's own words rather than as a thrown error.
+     */
+    would(call: MutationCall | readonly MutationCall[]): {
+        readonly ok: true;
+        readonly check: CheckResult;
+    } | {
+        readonly ok: false;
+        readonly reason: string;
+    };
+    /** The new app and, where a stored graph needs one, the migration to it. Refused while the checker finds errors. */
+    apply(): {
+        readonly ok: true;
+        readonly app: GraviewApp<AnySchema>;
+        readonly migration: MigrationDeclaration | null;
+    } | {
+        readonly ok: false;
+        readonly check: CheckResult;
+    };
+    /** The declaration as the files `graview create` writes. */
+    files(options?: SourceOptions): readonly WrittenFile[];
+    /** What changed since the studio opened, as edits the checkout's own source can take — and what cannot be written that way yet. */
+    sourceChanges(): SourceChanges;
+}
+export interface StudioOptions {
+    readonly name?: string;
+    readonly principal?: Principal;
+}
+export declare function createStudio<S extends AnySchema>(base: GraviewApp<S>, options?: StudioOptions): Studio<S>;
+//# sourceMappingURL=studio.d.ts.map