@graview/core 0.1.0

package/dist/cli/describe.js

@@ -0,0 +1,230 @@
+import { arrangeable } from "../arrange.js";
+import { searchableFields } from "../search.js";
+import { capabilitiesOf, describeCapability } from "../app.js";
+import { beginning } from "../beginning.js";
+import { cityMap, roadsOf } from "../city.js";
+import { deriveMutations } from "../mutations/derive-edits.js";
+import { hueFor } from "../theme/derive.js";
+import { withArticle } from "../schema/define-node.js";
+/** Whether a seat may run one named act, by the declaration's own grants. */
+function permits(app, act, seat) {
+    if (!app.policy)
+        return true;
+    const held = seat.roles ?? [];
+    return (app.policy.grants ?? []).some((grant) => (grant.roles === "*" || held.some((role) => grant.roles.includes(role))) &&
+        (grant.mutations === "*" || grant.mutations.includes(act)));
+}
+const list = (words) => words.length === 0 ? "none" : words.length === 1 ? words[0] : `${words.slice(0, -1).join(", ")} and ${words[words.length - 1]}`;
+export function describeApp(app, options = {}) {
+    const kinds = [...app.schema.kinds];
+    const declared = app.mutations ?? [];
+    const acts = [...declared, ...deriveMutations(app.schema, declared)];
+    const lines = [`${app.name} — ${kinds.length} kinds, ${acts.length} acts (${declared.length} declared, ${acts.length - declared.length} derived).`];
+    /*
+     * WHAT A BLANK INSTALLATION MEETS. The first screen of every product, the
+     * one the author never sees because their own graph has data in it.
+     */
+    const chain = beginning(app);
+    lines.push("", "## Opening it empty");
+    if (chain.doors.length === 0) {
+        lines.push(`Nothing can be made. Every act that creates a kind needs a node that does not exist yet, so a blank installation is ${kinds.length} districts and no way in.`);
+    }
+    else {
+        /*
+         * AND WHETHER THIS SEAT MAY GO THROUGH ANY OF THEM.
+         *
+         * The chain is a property of the declaration and the same for everyone;
+         * the doors are not. An observer reading "7 of 12 kinds can begin" is
+         * being told about somebody else's product — they can begin none of
+         * them, and the useful sentence names who can. The same mistake was
+         * shipped in `<Begin>`, which drew ten kinds and offered no acts to a
+         * seat the policy refused, so it is worth saying in both places.
+         */
+        const open = options.as === undefined ? chain.doors : chain.doors.filter((door) => permits(app, door, options.as));
+        if (open.length === 0) {
+            lines.push(`Nothing here is this seat's to begin. ${chain.roots.length} of ${kinds.length} kinds can be started — ` +
+                `${list(chain.roots)} — and ${list(chain.doors.map((door) => `"${door}"`))} ${chain.doors.length === 1 ? "is" : "are"} not permitted to it.`);
+        }
+        else {
+            lines.push(`${chain.roots.length} of ${kinds.length} kinds can begin: ${list(chain.roots)} — through ${list(open.map((door) => `"${door}"`))}${open.length < chain.doors.length ? ` (${chain.doors.length - open.length} more not permitted to this seat)` : ""}.`);
+        }
+        const waiting = chain.order.filter((entry) => (entry.depth ?? 0) > 0 && entry.depth !== null);
+        for (const entry of waiting) {
+            lines.push(`  ${entry.kind} waits for ${list(entry.needs)} (${entry.depth} deep).`);
+        }
+    }
+    for (const entry of chain.unreachable) {
+        lines.push(`  ${entry.kind} can never be made here — ${entry.why}.`);
+    }
+    /*
+     * WHAT IS DRAWN, and what falls back. A kind with no view of its own is a
+     * legitimate state and an invisible one: the framework's own list is
+     * tidy enough that nobody notices the picture was never written.
+     */
+    lines.push("", "## What is drawn");
+    if (!app.views) {
+        /*
+         * NOT "there are no views" — "nothing here can see them".
+         *
+         * A view registry is optional on `defineApp`, and most apps build theirs
+         * in the UI package where the components are. That is a reasonable
+         * place for it and it means the pictures are invisible to everything
+         * outside a browser: this, `graview check`'s kind-without-view, and the
+         * docs generator all go quiet rather than wrong. Saying which of the two
+         * this is matters more than the count.
+         */
+        lines.push(`The pictures live in the UI package, which the declaration cannot import, so this cannot see what is drawn — that is the design, not neglect. Run it with --views ./dist/ui/views.js (a module exporting \`views\`, or the registry as default) and this, check and docs read the pictures: which kinds have one of their own, which places are named, which have a drive-in.`);
+    }
+    else {
+        const registered = new Set(app.views.kindsWithViews());
+        const withOwn = kinds.filter((kind) => registered.has(kind));
+        lines.push(withOwn.length === 0
+            ? `No kind has a view of its own; every district draws the framework's list.`
+            : `${withOwn.length} of ${kinds.length} kinds have a view of their own: ${list(withOwn)}.`);
+        const bare = kinds.filter((kind) => !registered.has(kind));
+        if (bare.length > 0)
+            lines.push(`  Drawn by the framework's list: ${list(bare)}.`);
+        const places = app.views.places?.() ?? [];
+        lines.push(places.length === 0
+            ? "No group view is titled, so the bar lists no places, a page can link to none, and no district has a drive-in."
+            : `${places.length} named places: ${list(places.map((place) => `"${place.title}" over the ${place.kind}s`))}.`);
+        const driveIns = [...new Set(places.map((place) => place.kind))];
+        if (driveIns.length > 0) {
+            lines.push(`  Drive-ins from altitude: ${list(driveIns)}; the rest open in place.`);
+        }
+    }
+    /*
+     * WHAT A PICTURE CAN BE ASKED TO DO. An agent that cannot see the row can
+     * still write the stop — `in.sort=due:desc`, `in.group=held-at` — if it
+     * knows the words; and the words are the declaration's.
+     */
+    lines.push("", "## What can be arranged");
+    lines.push("Any picture over a kind sorts, filters and groups it through in.sort, in.filter and in.group in the stop (a page's ?sort, ?filter, ?group, ?q):");
+    for (const kind of kinds) {
+        const offers = arrangeable(app.schema, kind);
+        const say = (entries) => entries.map((offer) => `${offer.key} (${offer.label.toLowerCase()})`);
+        lines.push(`  ${kind}: sort by ${list(say(offers.sorts))}; filter by ${list(say(offers.filters))}; group by ${offers.groups.length === 0 ? "nothing" : list(say(offers.groups))}` +
+            `${offers.natural ? `; sorted by ${offers.natural.by} unless asked` : ""}.`);
+    }
+    for (const lens of app.lenses ?? []) {
+        if (!lens.arrangedBy)
+            continue;
+        const words = Object.entries(lens.arrangedBy).map(([part, value]) => `${part}=${value}`);
+        lines.push(`  The ${lens.name} lens opens with ${list(words)}.`);
+    }
+    /*
+     * WHAT THE WORDS REACH. The Find box, `/search` and `search_graph` read the
+     * name and every field a person reads on a record; an agent that knows
+     * which is an agent that searches rather than reading the whole graph.
+     */
+    lines.push("", "## What can be found");
+    lines.push("The Find box (/ or ⌘K), /search?q= and the search_graph tool match the start of words in:");
+    for (const kind of kinds) {
+        const fields = searchableFields(app.schema, kind).map((field) => `${field.key} (${field.reading.toLowerCase()})`);
+        const lifecycle = app.schema.tryDefinition(kind)?.lifecycle;
+        lines.push(`  ${kind}: ${list(fields)}${lifecycle ? "; past records only with is:any" : ""}.`);
+    }
+    lines.push("  key:value tokens narrow as a list's filter does, and kind:<kind> to one kind.");
+    const authored = (app.lenses ?? []).filter((lens) => !["timeline", "coverage", "board", "calendar", "reach"].includes(lens.name));
+    if (authored.length > 0) {
+        lines.push(`Lenses this app wrote: ${list(authored.map((lens) => lens.provenBy
+            ? `${lens.name} (reuse proved in ${lens.provenBy})`
+            : `${lens.name} (reuse unproved)`))}.`);
+    }
+    /*
+     * THE HUES, IN DEGREES. Six kinds all landing within a few degrees of each
+     * other is a city drawn in one colour, which reads as a rendering fault
+     * and is a declaration the author can change.
+     */
+    const hues = kinds.map((kind) => ({ kind, hue: Math.round(hueFor(kind, app.brand?.accents)) }));
+    const crowded = hues.filter((a, index) => hues.some((b, other) => other !== index && Math.abs(a.hue - b.hue) < 12));
+    lines.push(`Hues: ${hues.map((entry) => `${entry.kind} ${entry.hue}°`).join(", ")}.` +
+        (crowded.length > 1 ? ` ${list(crowded.map((entry) => entry.kind))} are within 12° of each other and will read as one colour.` : ""));
+    /*
+     * WHAT A SEAT CAN DO. A policy with roles and a principal holding none of
+     * them refuses everything, and the app looks broken rather than guarded —
+     * which is a whole product's worth of struck-through buttons and no
+     * error anywhere.
+     */
+    if (app.policy) {
+        lines.push("", "## Who may do what");
+        const roles = app.policy.roles ?? [];
+        lines.push(`${roles.length} roles: ${list([...roles])}.`);
+        const asked = options.as;
+        if (asked) {
+            const held = asked.roles ?? [];
+            const permitted = acts.filter((act) => permits(app, act.name, asked));
+            lines.push(`As ${asked.id ?? asked.kind} holding ${list([...held])}: ${permitted.length} of ${acts.length} acts permitted.` +
+                (permitted.length === 0
+                    ? " Every act in the product would be struck through — check the principal holds a role the policy grants."
+                    : ""));
+        }
+        else {
+            lines.push(`Pass --as <role> to see what one seat is offered; a principal holding no granted role is refused everything, silently.`);
+        }
+    }
+    /* HOW A MODEL IS REACHED, and whether anything actually serves the door. */
+    const providers = app.intelligence ?? [];
+    if (providers.length > 0) {
+        lines.push("", "## Intelligence");
+        for (const provider of providers) {
+            const doors = provider.kind === "graph"
+                ? "it IS the graph, so there is no door"
+                : provider.reach?.length
+                    ? `reached by ${list([...provider.reach])}`
+                    : "no door declared, so nothing derived can offer one";
+            /*
+             * A decision provider is read out for what it IS: typed answers, never
+             * prose. A reader deciding whether to offer it in a chat, or to a
+             * field that wants filling, needs that sentence more than the doors.
+             */
+            const nature = provider.kind === "decision"
+                ? " Answers typed questions only — a choice, a truth, a score — and never prose, so no chat seat offers it."
+                : "";
+            lines.push(`${provider.name} (${provider.kind}) — ${doors}; may ${provider.may ? list([...provider.may]) : "every act"}.${nature}`);
+        }
+    }
+    /*
+     * THE LADDER, READ OUT. Which rungs this app declares and what each can
+     * do — so a reader knows, before opening it, that on a decision rung the
+     * chat seat will be answered by the graph, and that a prose-only door is
+     * not a rung a field can be filled from. The graph rung is always there,
+     * declared or not: it is what everything falls down to.
+     */
+    lines.push("", "## The ladder");
+    const graphDeclared = providers.some((provider) => provider.kind === "graph");
+    lines.push(`graph only (${graphDeclared ? "declared" : "always there, undeclared"}) — ${capabilitiesOf("graph").map(describeCapability).join("; ")}. Keyless; every capability a rung cannot serve falls down to it.`);
+    for (const provider of providers) {
+        if (provider.kind === "graph")
+            continue;
+        const serves = capabilitiesOf(provider.kind);
+        const cannot = ["prose", "decide", "propose"].filter((capability) => !serves.includes(capability));
+        lines.push(`${provider.name} (${provider.kind}) — ${serves.map(describeCapability).join("; ")}.` +
+            (cannot.length > 0
+                ? ` Cannot ${cannot.map((capability) => ({ prose: "talk", decide: "decide", propose: "propose" })[capability]).join(" or ")}: on this rung the graph answers that instead.`
+                : ""));
+    }
+    /*
+     * THE CITY, READ OUT. Where each kind stands and which roads join them —
+     * the first thing outside a browser that can say what is drawn, because
+     * the map is drawn from the declaration and nothing else. Sides are
+     * empty here: an installation's population is not the declaration's.
+     */
+    const map = cityMap(app.schema, { order: chain.order.map((entry) => entry.kind) });
+    lines.push("", "## The city");
+    for (const [kind, plot] of map)
+        lines.push(`${kind} at (${plot.col}, ${plot.row})`);
+    const roads = roadsOf(app.schema, map);
+    lines.push(roads.length === 0 ? "No roads: no kind declares an edge to another." : `Roads: ${roads.map((road) => `${road.from} — ${road.to} by ${road.edges.join(", ")}`).join("; ")}.`);
+    /* WHAT IS JUDGED. A rule with no repair is a problem a person is told about and cannot fix. */
+    const invariants = app.invariants ?? [];
+    lines.push("", "## What is judged");
+    if (invariants.length === 0)
+        lines.push("No rules. Nothing about this graph can be wrong.");
+    for (const invariant of invariants) {
+        const scope = invariant.scope === "graph" ? "the whole graph" : `each ${withArticle(invariant.scope.kind).slice(2)}`;
+        lines.push(`${invariant.name} over ${scope} — ${invariant.repairs?.length ? `repairs with ${list([...invariant.repairs])}` : "NO REPAIR: a person is told and cannot act"}.`);
+    }
+    return lines.join("\n");
+}
+//# sourceMappingURL=describe.js.map

package/dist/cli/describe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"describe.js","sourceRoot":"","sources":["../../src/cli/describe.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAyD,MAAM,WAAW,CAAC;AACtH,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAE/D,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AA+BvD,6EAA6E;AAC7E,SAAS,OAAO,CACd,GAAkB,EAClB,GAAW,EACX,IAA4C;IAE5C,IAAI,CAAC,GAAG,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;IAC9B,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CACnC,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,KAAK,CAAC,KAAK,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAE,KAAK,CAAC,KAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/F,CAAC,KAAK,CAAC,SAAS,KAAK,GAAG,IAAK,KAAK,CAAC,SAA+B,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CACpF,CAAC;AACJ,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,KAAwB,EAAU,EAAE,CAChD,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;AAEnI,MAAM,UAAU,WAAW,CACzB,GAAkB,EAClB,UAA2B,EAAE;IAE7B,MAAM,KAAK,GAAG,CAAC,GAAI,GAAG,CAAC,MAAM,CAAC,KAA2B,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAa,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,KAAK,CAAC,MAAM,WAAW,IAAI,CAAC,MAAM,UAAU,QAAQ,CAAC,MAAM,cAAc,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,YAAY,CAAC,CAAC;IAE9J;;;OAGG;IACH,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,qBAAqB,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,uHAAuH,KAAK,CAAC,MAAM,2BAA2B,CAAC,CAAC;IAC7K,CAAC;SAAM,CAAC;QACN;;;;;;;;;WASG;QACH,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,EAAG,CAAC,CAAC,CAAC;QACpH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CACR,yCAAyC,KAAK,CAAC,KAAK,CAAC,MAAM,OAAO,KAAK,CAAC,MAAM,0BAA0B;gBACtG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,uBAAuB,CAC/I,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,OAAO,KAAK,CAAC,MAAM,qBAAqB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,GAC/H,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,mCAAmC,CAAC,CAAC,CAAC,EAChH,GAAG,CACJ,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;QAC9F,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,cAAc,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,KAAK,SAAS,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,6BAA6B,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;IACvE,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC;IACnC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QACf;;;;;;;;;WASG;QACH,KAAK,CAAC,IAAI,CACR,+WAA+W,CAChX,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7D,KAAK,CAAC,IAAI,CACR,OAAO,CAAC,MAAM,KAAK,CAAC;YAClB,CAAC,CAAC,2EAA2E;YAC7E,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,OAAO,KAAK,CAAC,MAAM,oCAAoC,IAAI,CAAC,OAAO,CAAC,GAAG,CAC7F,CAAC;QACF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,oCAAoC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnF,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,MAAM,KAAK,CAAC;YACjB,CAAC,CAAC,+GAA+G;YACjH,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,kBAAkB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,KAAK,cAAc,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CACjH,CAAC;QACF,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,8BAA8B,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IACD;;;;OAIG;IACH,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,yBAAyB,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,iJAAiJ,CAAC,CAAC;IAC9J,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,CAAC,OAAkD,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC1I,KAAK,CAAC,IAAI,CACR,KAAK,IAAI,aAAa,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,eAAe,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,cAAc,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE;YACpK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,MAAM,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,EAAE,GAAG,CAC9E,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,SAAS;QAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC;QACzF,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,oBAAoB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnE,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,2FAA2F,CAAC,CAAC;IACxG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAClH,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACjG,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,iFAAiF,CAAC,CAAC;IAE9F,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CACxC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CACtF,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,0BAA0B,IAAI,CAC5B,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACpB,IAAI,CAAC,QAAQ;YACX,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,qBAAqB,IAAI,CAAC,QAAQ,GAAG;YACnD,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,mBAAmB,CACpC,CACF,GAAG,CACL,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACH,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChG,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CACvC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CACzE,CAAC;IACF,KAAK,CAAC,IAAI,CACR,SAAS,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACvE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,4DAA4D,CAAC,CAAC,CAAC,EAAE,CAAC,CACvI,CAAC;IAEF;;;;;OAKG;IACH,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,WAAW,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC;QACzB,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;YAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACtE,KAAK,CAAC,IAAI,CACR,MAAM,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,IAAI,YAAY,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,SAAS,CAAC,MAAM,OAAO,IAAI,CAAC,MAAM,kBAAkB;gBAC9G,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;oBACrB,CAAC,CAAC,yGAAyG;oBAC3G,CAAC,CAAC,EAAE,CAAC,CACV,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,wHAAwH,CAAC,CAAC;QACvI,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,MAAM,SAAS,GAAG,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC;IACzC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAC;QAClC,KAAK,MAAM,QAAQ,IAAI,SAAuD,EAAE,CAAC;YAC/E,MAAM,KAAK,GACT,QAAQ,CAAC,IAAI,KAAK,OAAO;gBACvB,CAAC,CAAC,sCAAsC;gBACxC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM;oBACtB,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE;oBAC3C,CAAC,CAAC,oDAAoD,CAAC;YAC7D;;;;eAIG;YACH,MAAM,MAAM,GACV,QAAQ,CAAC,IAAI,KAAK,UAAU;gBAC1B,CAAC,CAAC,0GAA0G;gBAC5G,CAAC,CAAC,EAAE,CAAC;YACT,KAAK,CAAC,IAAI,CACR,GAAG,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,OAAO,KAAK,SAC5C,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAC3C,IAAI,MAAM,EAAE,CACb,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;IAChC,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CACR,eAAe,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,0BAA0B,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,mEAAmE,CAC3M,CAAC;IACF,KAAK,MAAM,QAAQ,IAAI,SAAuD,EAAE,CAAC;QAC/E,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QACxC,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9G,KAAK,CAAC,IAAI,CACR,GAAG,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,OAAO,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACnF,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gBAChB,CAAC,CAAC,WAAW,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,gDAAgD;gBAC3K,CAAC,CAAC,EAAE,CAAC,CACV,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,QAAQ,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;IACpF,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,gDAAgD,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEzL,+FAA+F;IAC/F,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;IACpC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAC5F,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,WAAW,CAAE,SAAS,CAAC,KAA0B,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3I,KAAK,CAAC,IAAI,CACR,GAAG,SAAS,CAAC,IAAI,SAAS,KAAK,MAC7B,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,4CAC/E,GAAG,CACJ,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/cli/docs.d.ts

@@ -0,0 +1,11 @@
+import type { GraviewApp } from "../app.js";
+import type { AnySchema } from "../schema/schema.js";
+/**
+ * Generates the file an agent reads before touching this app: what kinds
+ * exist, what edges are legal, which mutations are the only way to change
+ * anything, and what the invariants will refuse.
+ */
+export declare function generateLlmsTxt<S extends AnySchema>(app: GraviewApp<S>): string;
+/** The agent-facing instruction file, generated from the same declarations. */
+export declare function generateAgentsMd<S extends AnySchema>(app: GraviewApp<S>): string;
+//# sourceMappingURL=docs.d.ts.map

package/dist/cli/docs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"docs.d.ts","sourceRoot":"","sources":["../../src/cli/docs.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAG5C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAErD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,CAsK/E;AAOD,+EAA+E;AAC/E,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,CA8ChF"}

package/dist/cli/docs.js

@@ -0,0 +1,152 @@
+import { arrangeable } from "../arrange.js";
+import { searchableFields } from "../search.js";
+import { deriveMutations } from "../mutations/derive-edits.js";
+import { mutationToolSchema } from "../schema/json-schema.js";
+/**
+ * Generates the file an agent reads before touching this app: what kinds
+ * exist, what edges are legal, which mutations are the only way to change
+ * anything, and what the invariants will refuse.
+ */
+export function generateLlmsTxt(app) {
+    const lines = [];
+    lines.push(`# ${app.name}`, "");
+    lines.push("A Graview context graph. The graph is the interface: every change is a", "typed mutation, every mutation previews as a diff, and the invariants", "below are checked before anything applies.", "");
+    lines.push("## Node kinds", "");
+    for (const definition of app.schema.definitions) {
+        const fields = Object.keys(definition.fields.shape);
+        lines.push(`### ${definition.kind}`);
+        if (definition.description)
+            lines.push(definition.description);
+        lines.push(`- fields: ${fields.join(", ")}`);
+        const edges = Object.entries(definition.edges);
+        if (edges.length > 0) {
+            for (const [kind, edge] of edges) {
+                const target = edge.to === "*" ? "any kind" : edge.to.join(" | ");
+                lines.push(`- edge \`${kind}\` -> ${target}${edge.cardinality === "one" ? " (at most one)" : ""}${edge.description ? ` — ${edge.description}` : ""}`);
+            }
+        }
+        if (definition.fieldRoles) {
+            lines.push(`- field roles: ${Object.entries(definition.fieldRoles)
+                .map(([role, field]) => `${role}=${field}`)
+                .join(", ")}`);
+        }
+        const offers = arrangeable(app.schema, definition.kind);
+        lines.push(`- arranged by: sort ${offers.sorts.map((offer) => offer.key).join(" | ")}; filter ${offers.filters.map((offer) => offer.key).join(" | ")}; group ${offers.groups.map((offer) => offer.key).join(" | ") || "nothing"}${offers.natural ? `; ${offers.natural.by} unless asked` : ""}`);
+        lines.push(`- searched by: ${searchableFields(app.schema, definition.kind).map((field) => field.key).join(", ")}${definition.lifecycle ? "; past records only with is:any" : ""}`);
+        lines.push("");
+    }
+    lines.push("## Finding a thing", "");
+    lines.push("One matcher answers the Find box in the scene (`/` or ⌘K; `#q=` in the stop), the", "`/search?q=` page, a list page's `?q=`, and the `search_graph` tool — reach for", "that before `get_graph` when you know what a thing is called. Words match the start", "of words in a record's name and in the fields each kind above is searched by, case,", "accents and punctuation aside; not fuzzy. It also names kinds by their plural,", "places by their title and rules by their name. `key:value` tokens are the", "arrangement's conditions, applied to the kinds that offer them (`van done:false`);", "`kind:<kind>` narrows to a kind; past records are found only with `is:any`.", "");
+    lines.push("## Arranging a picture", "");
+    lines.push("Every picture over a kind — the list page, a board, a calendar — takes an", "arrangement in its address, in one grammar: `sort=<key>[:desc]`,", "`filter=<key>:<value>[,<key>:<value>]`, `group=<key>[:day|week|month]`, `q=<words>`.", "A page carries them in its search (`/tasks?sort=due:desc&filter=done:false`);", "a picture in the scene carries them in the fragment as `in.sort`, `in.filter`,", "`in.group`, `in.q`. A filter value is a field's value, `before:`/`after:`/`on:` a", "date, a node id, `*` or `none` for an edge, and `current`/`past`/`any`/`flagged`/", "`clear` for `is`. Each kind above says what it offers.", "");
+    lines.push("## Mutations", "");
+    lines.push("These are the only writes. Nothing else may change the graph.", "");
+    for (const mutation of allMutationsOf(app)) {
+        const tool = mutationToolSchema(mutation);
+        lines.push(`### ${mutation.name}`);
+        lines.push(tool.description);
+        if (mutation.subject) {
+            const kinds = mutation.subject.kinds === "*"
+                ? "any node"
+                : mutation.subject.kinds.join(" | ");
+            lines.push(`- acts on: ${kinds} (argument \`${mutation.subject.arg}\`)`);
+        }
+        lines.push("```json");
+        lines.push(JSON.stringify(tool.inputSchema, null, 2));
+        lines.push("```", "");
+    }
+    lines.push("Two things the framework adds to every act above. An act that creates a kind", "takes an optional `id`: the id of the node it makes, refused if the graph", "already has it. And every kind has `remove-<kind>`, derived: it takes the", "node and its ties out, and is permitted through the acts that create the", "kind or a grant naming it.", "");
+    lines.push("## Attaching an agent", "");
+    lines.push("The live graph is not the seed file. Do not edit the seed to change what", "the app shows; act on the store where it is:", "", "```sh", `graview mcp <entry> --data ./data --as <you> --roles <role,…>      # MCP over stdio, the tools above`, `graview mcp <entry> --remote-url <url> --header "authorization: …"   # the same, against graview serve`, `graview apply <entry> --data ./data --roles <role> --call <act> --args '{…}'`, `graview apply <entry> --data ./data --roles <role> --plan plan.json [--preview]`, `graview sync-seed <entry> --seed <file> --data ./data [--apply]     # default content, moved without a wipe`, "```", "", "Every change goes through `store.apply` under your seat and is judged by the", "policy, logged with your name, previewable first and undoable after. A plan", "is a JSON array of `{ mutation, args, as? }`; a later call names an earlier", "one's node as `{ \"$plan\": \"<as>\" }` and the whole plan is one batch.", "");
+    lines.push("## Invariants", "");
+    for (const invariant of app.invariants ?? []) {
+        const scope = invariant.scope === "graph" ? "whole graph" : `each ${invariant.scope.kind}`;
+        lines.push(`- **${invariant.name}** (${scope}) — ${invariant.description ?? invariant.label ?? ""}`);
+        if (invariant.repairs?.length) {
+            lines.push(`  repairs: ${invariant.repairs.join(", ")}`);
+        }
+    }
+    lines.push("");
+    if (app.intelligence?.length) {
+        lines.push("## Intelligence", "");
+        for (const provider of app.intelligence) {
+            lines.push(`### ${provider.name} (${provider.kind})`);
+            if (provider.description)
+                lines.push("", provider.description);
+            if (provider.kind === "decision") {
+                lines.push("", "Answers typed questions only — a choice over declared options, a truth, a score over a declared rubric — with a confidence, and never prose. Not a conversational seat.");
+            }
+            /* THE DOORS, so a reader knows how to reach it rather than guessing. */
+            if (provider.reach?.length) {
+                lines.push("", `Reached by: ${provider.reach.join(", ")}.`);
+                if (provider.bridge)
+                    lines.push(`The local door answers at \`${provider.bridge}\`.`);
+                if (provider.keyStorage)
+                    lines.push(`A key given here is kept ${provider.keyStorage}.`);
+            }
+            lines.push("", `May: ${provider.may?.join(", ") ?? "every registered mutation"}.`, "");
+        }
+    }
+    if (app.views) {
+        lines.push("## Views", "");
+        lines.push("Views form a matrix of cardinality (one / many) and fidelity", "(full / summary / glyph). The framework picks the cell from plane depth.", "");
+        for (const view of app.views.all()) {
+            lines.push(`- ${view.kind}: ${view.cardinality} / ${view.fidelity}`);
+        }
+        lines.push("");
+    }
+    return lines.join("\n");
+}
+/** Declared and derived alike: the surface an agent seat actually gets. */
+function allMutationsOf(app) {
+    return [...(app.mutations ?? []), ...deriveMutations(app.schema, app.mutations ?? [])];
+}
+/** The agent-facing instruction file, generated from the same declarations. */
+export function generateAgentsMd(app) {
+    const mutationNames = allMutationsOf(app).map((m) => m.name);
+    return [
+        `# ${app.name} — working notes for agents`,
+        "",
+        "This app is built on Graview. Three rules follow from that, and they are",
+        "the whole contract:",
+        "",
+        "1. **The graph is the interface.** Do not write to storage. Every change",
+        "   goes through a typed mutation so it carries attribution, an inverse,",
+        "   and the set of nodes it read.",
+        `2. **Only these mutations exist:** ${mutationNames.join(", ") || "(none registered)"}.`,
+        "   A change you cannot express as one of them is a change the app has",
+        "   not agreed to; add a mutation rather than reaching around it.",
+        "3. **Preview before you apply.** Every mutation previews as a diff plus",
+        "   the invariants it would break. A preview that introduces a violation",
+        "   is a proposal, not a fix.",
+        "",
+        "Run `graview check` after editing any declaration. It reports schema",
+        "problems in terms of the declaration to change.",
+        "",
+        "## Evolving a live store",
+        "",
+        "- **The seed is a bootstrap snapshot,** read once into an empty store. To",
+        "  change what a running app shows, act on its store — `graview mcp`,",
+        "  `graview apply`, or the interface — never by editing the seed and wiping.",
+        "  When the default content itself moves, `graview sync-seed` lands the",
+        "  difference as one undoable operation; export a snapshot back into the seed",
+        "  only when shipping a new default.",
+        "- **Declare `version` and `migrations` when the schema moves.** A stored",
+        "  graph at an older version has to reach the new one; `graview check` refuses",
+        "  a gap.",
+        "- **Name nodes by id when you will refer to them.** Every creating act takes an",
+        "  optional `id`; a plan names an earlier call's node as `{ \"$plan\": name }`.",
+        "  Do not hardcode a bootstrap id inside a mutation body or an invariant —",
+        "  bind a role or a flag, so a store seeded differently still works.",
+        "- **Prefer the derived acts over reaching around them.** `edit-<kind>` changes",
+        "  what was set at creation; `remove-<kind>` takes a node out. Both flow",
+        "  through the policy.",
+        "- **Wire `serve` and `mcp` into the app's scripts** so an agent loop has a",
+        "  door, and keep a declared provider's `may` list wide enough for redesign,",
+        "  not only for filling an empty graph.",
+        "",
+        "See `llms.txt` for the full node, edge, mutation and invariant reference.",
+        "",
+    ].join("\n");
+}
+//# sourceMappingURL=docs.js.map

package/dist/cli/docs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"docs.js","sourceRoot":"","sources":["../../src/cli/docs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAG9D;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAsB,GAAkB;IACrE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CACR,wEAAwE,EACxE,uEAAuE,EACvE,4CAA4C,EAC5C,EAAE,CACH,CAAC;IAEF,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAChC,KAAK,MAAM,UAAU,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAgC,CAAC,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QACrC,IAAI,UAAU,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClE,KAAK,CAAC,IAAI,CACR,YAAY,IAAI,SAAS,MAAM,GAAG,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,GAClF,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAChD,EAAE,CACH,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CACR,kBAAkB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;iBACpD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC;iBAC1C,IAAI,CAAC,IAAI,CAAC,EAAE,CAChB,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CACR,uBAAuB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,EAAE,EAAE,CACrR,CAAC;QACF,KAAK,CAAC,IAAI,CACR,kBAAkB,gBAAgB,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,EAAE,EAAE,CACvK,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAAC;IACrC,KAAK,CAAC,IAAI,CACR,mFAAmF,EACnF,iFAAiF,EACjF,qFAAqF,EACrF,qFAAqF,EACrF,gFAAgF,EAChF,2EAA2E,EAC3E,oFAAoF,EACpF,6EAA6E,EAC7E,EAAE,CACH,CAAC;IAEF,KAAK,CAAC,IAAI,CAAC,wBAAwB,EAAE,EAAE,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CACR,2EAA2E,EAC3E,kEAAkE,EAClE,sFAAsF,EACtF,+EAA+E,EAC/E,gFAAgF,EAChF,mFAAmF,EACnF,mFAAmF,EACnF,wDAAwD,EACxD,EAAE,CACH,CAAC;IAEF,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CACR,+DAA+D,EAC/D,EAAE,CACH,CAAC;IACF,KAAK,MAAM,QAAQ,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7B,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACrB,MAAM,KAAK,GACT,QAAQ,CAAC,OAAO,CAAC,KAAK,KAAK,GAAG;gBAC5B,CAAC,CAAC,UAAU;gBACZ,CAAC,CAAE,QAAQ,CAAC,OAAO,CAAC,KAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChE,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,gBAAgB,QAAQ,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;QAC3E,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACxB,CAAC;IAED,KAAK,CAAC,IAAI,CACR,8EAA8E,EAC9E,2EAA2E,EAC3E,2EAA2E,EAC3E,0EAA0E,EAC1E,4BAA4B,EAC5B,EAAE,CACH,CAAC;IAEF,KAAK,CAAC,IAAI,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CACR,0EAA0E,EAC1E,8CAA8C,EAC9C,EAAE,EACF,OAAO,EACP,sGAAsG,EACtG,wGAAwG,EACxG,8EAA8E,EAC9E,iFAAiF,EACjF,6GAA6G,EAC7G,KAAK,EACL,EAAE,EACF,8EAA8E,EAC9E,6EAA6E,EAC7E,6EAA6E,EAC7E,0EAA0E,EAC1E,EAAE,CACH,CAAC;IAEF,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GACT,SAAS,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,IAAI,OAAO,KAAK,OAAO,SAAS,CAAC,WAAW,IAAI,SAAS,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC;QACrG,IAAI,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,GAAG,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;QAClC,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;YACtD,IAAI,QAAQ,CAAC,WAAW;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;YAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACjC,KAAK,CAAC,IAAI,CACR,EAAE,EACF,yKAAyK,CAC1K,CAAC;YACJ,CAAC;YACD,wEAAwE;YACxE,IAAI,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,eAAe,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC5D,IAAI,QAAQ,CAAC,MAAM;oBAAE,KAAK,CAAC,IAAI,CAAC,+BAA+B,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;gBACrF,IAAI,QAAQ,CAAC,UAAU;oBAAE,KAAK,CAAC,IAAI,CAAC,4BAA4B,QAAQ,CAAC,UAAU,GAAG,CAAC,CAAC;YAC1F,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,2BAA2B,GAAG,EAAE,EAAE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IAED,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAC3B,KAAK,CAAC,IAAI,CACR,8DAA8D,EAC9D,0EAA0E,EAC1E,EAAE,CACH,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,WAAW,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,2EAA2E;AAC3E,SAAS,cAAc,CAAsB,GAAkB;IAC7D,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,gBAAgB,CAAsB,GAAkB;IACtE,MAAM,aAAa,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7D,OAAO;QACL,KAAK,GAAG,CAAC,IAAI,6BAA6B;QAC1C,EAAE;QACF,0EAA0E;QAC1E,qBAAqB;QACrB,EAAE;QACF,0EAA0E;QAC1E,yEAAyE;QACzE,kCAAkC;QAClC,sCAAsC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,mBAAmB,GAAG;QACxF,uEAAuE;QACvE,kEAAkE;QAClE,yEAAyE;QACzE,yEAAyE;QACzE,8BAA8B;QAC9B,EAAE;QACF,sEAAsE;QACtE,iDAAiD;QACjD,EAAE;QACF,0BAA0B;QAC1B,EAAE;QACF,2EAA2E;QAC3E,sEAAsE;QACtE,6EAA6E;QAC7E,wEAAwE;QACxE,8EAA8E;QAC9E,qCAAqC;QACrC,0EAA0E;QAC1E,+EAA+E;QAC/E,UAAU;QACV,iFAAiF;QACjF,gFAAgF;QAChF,2EAA2E;QAC3E,qEAAqE;QACrE,gFAAgF;QAChF,yEAAyE;QACzE,uBAAuB;QACvB,4EAA4E;QAC5E,6EAA6E;QAC7E,wCAAwC;QACxC,EAAE;QACF,2EAA2E;QAC3E,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/cli/index.d.ts

@@ -0,0 +1,18 @@
+#!/usr/bin/env node
+import type { GraviewApp } from "../app.js";
+export declare const USAGE = "graview \u2014 start a product, check its declaration, write its agent docs\n\n  graview create <dir> [--name \"Field Notes\"] [--kind note] [--plural notes]\n      Starts a product on Graview in <dir>: the declaration split into domain\n      and UI, an eighty-line shell, a headless test, a CI workflow.\n        --name <text>      the product's name (default: from <dir>)\n        --kind <slug>      the first node kind (default: item)\n        --plural <slug>    its plural (default: <kind>s)\n        --link <path>      consume the framework from a sibling checkout by\n                           path rather than from a registry\n        --pm pnpm|npm      the package manager (default: whichever ran this)\n        --port <n>         the dev server port (default: 5170)\n        --accent <#hex>    the brand accent (default: a worked green)\n        --no-install       write the files and stop\n        --no-skills        do not install the authoring skills\n        --no-git           do not initialise a git repository\n        --workspace        the layout every real product ends up with: a\n                           workspace root with the app under app/ and the\n                           harness scripts at the root\n        --merge            write only the files that do not exist yet, and\n                           name every collision without touching it\n        --force            write into a directory that is not empty\n\n\n  graview check <entry> [--views <module>] [--json]\n      Loads <entry> (a module whose default export, or `app` export, is a\n      GraviewApp) and reports schema problems. Exits 1 on any error.\n\n  graview docs <entry> [--out <dir>] [--views <module>]\n      Writes llms.txt and agents.md next to the entry, or into <dir>.\n\n  graview describe <entry> [--as <role>] [--views <module>]\n      Reads the app out: what a blank installation meets and in what order,\n      what is drawn and what falls back, the hues, what a seat may do, how a\n      model is reached, what is judged. The rung between check and a browser\n      \u2014 \"run it and look\" for something that cannot see.\n\n  graview lens <name> --roles a,b,c [--binds fields|entities] [--dir <dir>]\n      Writes a lens that compiles: the role check that fails loudly, the\n      createXLens factory, three fidelities, pick targets \u2014 and beside it a\n      REUSE TEST in a domain the app is not about, red until you make the\n      claim true. If you cannot make it pass, you wrote a view, and a view\n      is a legitimate thing to have written.\n\n  graview figure <entry> --kind <kind> [--name <shipped>]\n                         [--from \"<what the thing is>\"] [--judge <file|->]\n      Prints the figure line to paste into defineNode. With --name it is one\n      of the shipped drawings; with neither, it suggests the nearest one by\n      name and says so. --from prints the brief to hand a model \u2014 the rules,\n      the angle and a shipped figure as the style \u2014 and --judge reads the\n      answer back, holds it to the rules graview check holds a figure to, and\n      prints the line. Nine shipped figures is a vocabulary to start from,\n      not a vocabulary to finish in.\n";
+export declare function loadApp(entry: string): Promise<GraviewApp>;
+/**
+ * THE PICTURES, FROM WHERE THEY LIVE (F-042).
+ *
+ * A view registry is React, and the declaration is the domain tier, which
+ * must not import React — so no app can pass `defineApp({ views })`, and
+ * everything outside a browser went quiet about what is drawn. The
+ * pictures are still a module: `--views ./dist/ui/views.js` names it, and
+ * this reads the registry — `places()`, `kindsWithViews()`, `all()` —
+ * without rendering anything. The module exports `views` (a registry, or
+ * a function that builds one), or the registry as its default export.
+ */
+export declare function withViews(app: GraviewApp, module: Record<string, unknown>, name: string): GraviewApp;
+export declare function main(argv: string[]): Promise<number>;
+//# sourceMappingURL=index.d.ts.map

package/dist/cli/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/cli/index.ts"],"names":[],"mappings":";AAKA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAQ5C,eAAO,MAAM,KAAK,4pGAiCjB,CAAC;AAEF,wBAAsB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAUhE;AAaD;;;;;;;;;;GAUG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAcpG;AAeD,wBAAsB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAqK1D"}