@graview/core 0.1.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cli/check/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,cAAc,WAAW,CAAC;AAC1B,cAAc,eAAe,CAAC;AAC9B,cAAc,iBAAiB,CAAC;AAChC,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC"}

package/dist/cli/check/index.js

@@ -0,0 +1,14 @@
+export * from "./routes.js";
+export * from "./lenses.js";
+export * from "./beginnings.js";
+export * from "./intelligence.js";
+export * from "./city.js";
+export * from "./settings.js";
+export * from "./migrations.js";
+export * from "./brand.js";
+export * from "./modules.js";
+export * from "./relations.js";
+export * from "./fields.js";
+export * from "./policy.js";
+export * from "./arrangement.js";
+//# sourceMappingURL=index.js.map

package/dist/cli/check/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/cli/check/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,cAAc,WAAW,CAAC;AAC1B,cAAc,eAAe,CAAC;AAC9B,cAAc,iBAAiB,CAAC;AAChC,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC"}

package/dist/cli/check/intelligence.d.ts

@@ -0,0 +1,17 @@
+import type { AnySchema } from "../../schema/schema.js";
+/**
+ * `note` is a QUESTION ASKED OUT LOUD, not a problem.
+ *
+ * Some things a checker can see are legitimate designs that the author
+ * should nonetheless have looked at once: a lens written for this app and
+ * never proved against another domain, a role name two vocabularies both
+ * use, a kind unreachable on an empty graph. Filed as warnings they would
+ * be warnings that can only ever be acknowledged, and those are the ones
+ * people learn to scroll past — which costs the checker its authority on
+ * the warnings that matter. So they have their own voice: counted, printed,
+ * and never a failure.
+ */
+import type { CheckContext } from "./context.js";
+export declare function checkProviders<S extends AnySchema>(ctx: CheckContext<S>): void;
+export declare function checkModelWritten<S extends AnySchema>(ctx: CheckContext<S>): ReadonlySet<string>;
+//# sourceMappingURL=intelligence.d.ts.map

package/dist/cli/check/intelligence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intelligence.d.ts","sourceRoot":"","sources":["../../../src/cli/check/intelligence.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAExD;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,wBAAgB,cAAc,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,CAuG9E;AAED,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CA0BhG"}

package/dist/cli/check/intelligence.js

@@ -0,0 +1,136 @@
+import { undecidableArguments } from "../../mutations/decidable.js";
+export function checkProviders(ctx) {
+    const { app, mutations, add } = ctx;
+    /*
+     * A declared provider's allowlist must name real mutations — a metering
+     * or narrowing rule pointing at nothing enforces nothing.
+     */
+    const DOORS = ["paste", "mcp", "key", "local"];
+    for (const provider of app.intelligence ?? []) {
+        for (const may of provider.may ?? []) {
+            if (!mutations.has(may)) {
+                add({
+                    severity: "error",
+                    code: "intelligence-unknown-mutation",
+                    where: `intelligence["${provider.name}"].may`,
+                    message: `Provider "${provider.name}" is allowed "${may}", which is not registered.`,
+                    fix: `Register the mutation, or remove it from the allowlist.`,
+                });
+            }
+        }
+        /*
+         * THE DOORS, asked about. A declaration that says how a provider is
+         * reached is worth having only if the answers are the ones the seat and
+         * the docs can act on, and if the two that owe a second sentence are
+         * made to give it: a local reach with nothing serving it is a door onto
+         * a wall, and a key typed into a browser with no storage story is the
+         * kind of thing nobody notices until it is somebody's key.
+         */
+        const reach = provider.reach ?? [];
+        for (const door of reach) {
+            if (!DOORS.includes(door)) {
+                add({
+                    severity: "error",
+                    code: "intelligence-reach-unknown",
+                    where: `intelligence["${provider.name}"].reach`,
+                    message: `"${door}" is not a way a provider can be reached.`,
+                    fix: `Use one of: ${DOORS.join(", ")}.`,
+                });
+            }
+        }
+        if (reach.length > 0 && provider.kind === "graph") {
+            add({
+                severity: "warning",
+                code: "intelligence-reach-on-graph",
+                where: `intelligence["${provider.name}"].reach`,
+                message: `"${provider.name}" is a graph provider: it IS the graph, so there is no door to it.`,
+                fix: `Drop reach, or declare the provider as "llm", "external" or "decision".`,
+            });
+        }
+        if (reach.includes("local") && !provider.bridge) {
+            add({
+                severity: "warning",
+                code: "intelligence-local-without-bridge",
+                where: `intelligence["${provider.name}"]`,
+                message: `"${provider.name}" says it can be reached locally and names no bridge, so nothing serves that door.`,
+                fix: `Add bridge: "<path>" and serve it with localIntelligence() from @graview/ship/dev.`,
+            });
+        }
+        /*
+         * A DECISION PROVIDER IS HELD TO WHAT IT CAN DECIDE. It answers in a
+         * choice, a truth or a score and never in prose, so an act on its
+         * allowlist that wants a label or a note is an act it could never call
+         * — and an allowlist that promises one is a promise the seat would
+         * break silently, by asking a question that has no typed answer. Absent
+         * `may` means every act, and is held to every act.
+         */
+        if (provider.kind === "decision") {
+            for (const mutation of app.mutations ?? []) {
+                if (provider.may !== undefined && !provider.may.includes(mutation.name))
+                    continue;
+                const wants = undecidableArguments(mutation);
+                if (wants.length === 0)
+                    continue;
+                add({
+                    severity: "error",
+                    code: "intelligence-decision-cannot-call",
+                    where: `intelligence["${provider.name}"].may`,
+                    message: `"${provider.name}" decides and does not write, and "${mutation.name}" needs ${wants
+                        .map((want) => `${want.name} (${want.control})`)
+                        .join(", ")} — which no typed answer can supply.`,
+                    fix: provider.may === undefined
+                        ? `Give "${provider.name}" a may: [...] naming only the acts whose arguments are choices, node references, truths or bounded numbers.`
+                        : `Drop "${mutation.name}" from may, or make its ${wants.map((want) => want.name).join(", ")} optional.`,
+                });
+            }
+            if (reach.includes("paste") || reach.includes("mcp")) {
+                add({
+                    severity: "warning",
+                    code: "intelligence-decision-prose-door",
+                    where: `intelligence["${provider.name}"].reach`,
+                    message: `"${provider.name}" decides and has no prose, so a paste or MCP door — words out, words back — leads nowhere.`,
+                    fix: `Reach a decision provider by "key" or "local".`,
+                });
+            }
+        }
+        if (reach.includes("key") && !provider.keyStorage) {
+            add({
+                severity: "warning",
+                code: "intelligence-key-without-storage",
+                where: `intelligence["${provider.name}"]`,
+                message: `"${provider.name}" takes a person's own key and does not say where it is kept.`,
+                fix: `Add keyStorage: "<where, in your own words>" — a person handing over a key is owed the sentence.`,
+            });
+        }
+    }
+}
+export function checkModelWritten(ctx) {
+    const { app, kinds, add } = ctx;
+    /*
+     * The kinds a declared intelligence provider can bring into existence —
+     * which is the set whose labels are written by something that has never
+     * been told what a label is for.
+     */
+    const writtenByAModel = new Set();
+    for (const provider of app.intelligence ?? []) {
+        for (const mutation of app.mutations ?? []) {
+            if (provider.may !== undefined && !provider.may.includes(mutation.name))
+                continue;
+            for (const made of mutation.creates ?? [])
+                writtenByAModel.add(made);
+        }
+    }
+    for (const kind of Object.keys(app.brand?.figures ?? {})) {
+        if (kinds.has(kind))
+            continue;
+        add({
+            severity: "error",
+            code: "figure-unknown-kind",
+            where: `brand.figures["${kind}"]`,
+            message: `The brand draws a figure for "${kind}", which this app does not declare.`,
+            fix: `Remove it, or declare the kind.`,
+        });
+    }
+    return writtenByAModel;
+}
+//# sourceMappingURL=intelligence.js.map

package/dist/cli/check/intelligence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intelligence.js","sourceRoot":"","sources":["../../../src/cli/check/intelligence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAiBpE,MAAM,UAAU,cAAc,CAAsB,GAAoB;IACtE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACpC;;;OAGG;IACH,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAU,CAAC;IACxD,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QAC9C,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC;YACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxB,GAAG,CAAC;oBACF,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,+BAA+B;oBACrC,KAAK,EAAE,iBAAiB,QAAQ,CAAC,IAAI,QAAQ;oBAC7C,OAAO,EAAE,aAAa,QAAQ,CAAC,IAAI,iBAAiB,GAAG,6BAA6B;oBACpF,GAAG,EAAE,yDAAyD;iBAC/D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD;;;;;;;WAOG;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAE,KAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,GAAG,CAAC;oBACF,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,4BAA4B;oBAClC,KAAK,EAAE,iBAAiB,QAAQ,CAAC,IAAI,UAAU;oBAC/C,OAAO,EAAE,IAAI,IAAI,2CAA2C;oBAC5D,GAAG,EAAE,eAAe,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBACxC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAClD,GAAG,CAAC;gBACF,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,6BAA6B;gBACnC,KAAK,EAAE,iBAAiB,QAAQ,CAAC,IAAI,UAAU;gBAC/C,OAAO,EAAE,IAAI,QAAQ,CAAC,IAAI,oEAAoE;gBAC9F,GAAG,EAAE,yEAAyE;aAC/E,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;YAChD,GAAG,CAAC;gBACF,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,mCAAmC;gBACzC,KAAK,EAAE,iBAAiB,QAAQ,CAAC,IAAI,IAAI;gBACzC,OAAO,EAAE,IAAI,QAAQ,CAAC,IAAI,oFAAoF;gBAC9G,GAAG,EAAE,oFAAoF;aAC1F,CAAC,CAAC;QACL,CAAC;QACD;;;;;;;WAOG;QACH,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjC,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;gBAC3C,IAAI,QAAQ,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAClF,MAAM,KAAK,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;gBAC7C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,SAAS;gBACjC,GAAG,CAAC;oBACF,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,mCAAmC;oBACzC,KAAK,EAAE,iBAAiB,QAAQ,CAAC,IAAI,QAAQ;oBAC7C,OAAO,EAAE,IAAI,QAAQ,CAAC,IAAI,sCAAsC,QAAQ,CAAC,IAAI,WAAW,KAAK;yBAC1F,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,GAAG,CAAC;yBAC/C,IAAI,CAAC,IAAI,CAAC,sCAAsC;oBACnD,GAAG,EACD,QAAQ,CAAC,GAAG,KAAK,SAAS;wBACxB,CAAC,CAAC,SAAS,QAAQ,CAAC,IAAI,8GAA8G;wBACtI,CAAC,CAAC,SAAS,QAAQ,CAAC,IAAI,2BAA2B,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY;iBAC7G,CAAC,CAAC;YACL,CAAC;YACD,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrD,GAAG,CAAC;oBACF,QAAQ,EAAE,SAAS;oBACnB,IAAI,EAAE,kCAAkC;oBACxC,KAAK,EAAE,iBAAiB,QAAQ,CAAC,IAAI,UAAU;oBAC/C,OAAO,EAAE,IAAI,QAAQ,CAAC,IAAI,6FAA6F;oBACvH,GAAG,EAAE,gDAAgD;iBACtD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;YAClD,GAAG,CAAC;gBACF,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,kCAAkC;gBACxC,KAAK,EAAE,iBAAiB,QAAQ,CAAC,IAAI,IAAI;gBACzC,OAAO,EAAE,IAAI,QAAQ,CAAC,IAAI,+DAA+D;gBACzF,GAAG,EAAE,kGAAkG;aACxG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAsB,GAAoB;IACzE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAChC;;;;OAIG;IACH,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QAC9C,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;YAC3C,IAAI,QAAQ,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS;YAClF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,OAAO,IAAI,EAAE;gBAAE,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QACzD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC9B,GAAG,CAAC;YACF,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,qBAAqB;YAC3B,KAAK,EAAE,kBAAkB,IAAI,IAAI;YACjC,OAAO,EAAE,iCAAiC,IAAI,qCAAqC;YACnF,GAAG,EAAE,iCAAiC;SACvC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,eAAe,CAAC;AACzB,CAAC"}

package/dist/cli/check/lenses.d.ts

@@ -0,0 +1,17 @@
+import type { AnySchema } from "../../schema/schema.js";
+/**
+ * `note` is a QUESTION ASKED OUT LOUD, not a problem.
+ *
+ * Some things a checker can see are legitimate designs that the author
+ * should nonetheless have looked at once: a lens written for this app and
+ * never proved against another domain, a role name two vocabularies both
+ * use, a kind unreachable on an empty graph. Filed as warnings they would
+ * be warnings that can only ever be acknowledged, and those are the ones
+ * people learn to scroll past — which costs the checker its authority on
+ * the warnings that matter. So they have their own voice: counted, printed,
+ * and never a failure.
+ */
+import type { CheckContext } from "./context.js";
+export declare function checkShippedLenses<S extends AnySchema>(ctx: CheckContext<S>): void;
+export declare function checkLensBindings<S extends AnySchema>(ctx: CheckContext<S>): void;
+//# sourceMappingURL=lenses.d.ts.map

package/dist/cli/check/lenses.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lenses.d.ts","sourceRoot":"","sources":["../../../src/cli/check/lenses.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAExD;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAGjD,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,CAgClF;AAED,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,CAgNjF"}

package/dist/cli/check/lenses.js

@@ -0,0 +1,239 @@
+import { fieldOf } from "./context.js";
+export function checkShippedLenses(ctx) {
+    const { app, add } = ctx;
+    /*
+     * THE LENSES THIS FRAMEWORK SHIPS, by name.
+     *
+     * Names rather than implementations, because the checker lives a tier
+     * below the package that draws them. Anything else in `lenses` is a lens
+     * this app wrote, which is the one thing worth asking about: the reuse
+     * test is the single most valuable instruction in `graview-lens` — build
+     * it against a domain it was not designed for, and if you cannot, say so
+     * plainly, you wrote a view — and nothing enforces it. This cannot
+     * enforce it either. It can make sure the question gets asked out loud
+     * every time somebody runs a check, which is most of the distance.
+     */
+    const SHIPPED_LENSES = new Set(["timeline", "coverage", "board", "calendar", "reach"]);
+    const authored = (app.lenses ?? [])
+        .filter((lens) => !SHIPPED_LENSES.has(lens.name))
+        /* A lens that says where its reuse was proved has answered this. */
+        .filter((lens) => lens.provenBy === undefined);
+    if (authored.length > 0) {
+        add({
+            severity: "note",
+            code: "lens-authored-here",
+            where: "lenses",
+            message: `${authored.map((lens) => `"${lens.name}"`).join(", ")} ${authored.length === 1 ? "is a lens" : "are lenses"} this app wrote. A lens claims to be reusable by a domain it was not designed for.`,
+            fix: `Build ${authored.length === 1 ? "it" : "each of them"} against another domain in a test — and if you cannot, say so plainly: it is a view, and there is nothing wrong with a view.`,
+        });
+    }
+}
+export function checkLensBindings(ctx) {
+    const { app, kinds, add } = ctx;
+    /** Every edge kind any node declares, for validating an entity lens. */
+    const edgeKinds = new Set();
+    for (const kind of kinds) {
+        const edges = app.schema.tryDefinition(kind)?.edges;
+        for (const edge of Object.keys(edges ?? {}))
+            edgeKinds.add(edge);
+    }
+    for (const lens of app.lenses ?? []) {
+        /*
+         * An `entities` lens binds roles to whole kinds and edges rather than a
+         * kind's fields to roles. Checking it against the field-binding shape
+         * reported every role as an undeclared node kind, which is a confident
+         * and completely wrong diagnosis — the sort a checker earns distrust for.
+         */
+        if (lens.binds === "entities") {
+            const bindings = (lens.bindings ?? {});
+            for (const role of lens.requiredRoles) {
+                if (!(role in bindings)) {
+                    add({
+                        severity: "error",
+                        code: "lens-role-unbound",
+                        where: `lens "${lens.name}" bindings`,
+                        message: `Lens "${lens.name}" requires role "${role}", which nothing binds.`,
+                        fix: `Add ${role}: { kind: "<node kind>" }, { edge: "<edge kind>" } or { path: ["<edge>", …] }.`,
+                    });
+                }
+            }
+            /** The kind a role names, so a field binding can be checked against it. */
+            const kindOfRole = (role) => {
+                const named = bindings[role]?.["kind"];
+                return typeof named === "string" ? named : undefined;
+            };
+            for (const [role, binding] of Object.entries(bindings)) {
+                const kind = typeof binding["kind"] === "string" ? binding["kind"] : undefined;
+                const edge = typeof binding["edge"] === "string" ? binding["edge"] : undefined;
+                const field = typeof binding["field"] === "string" ? binding["field"] : undefined;
+                /*
+                 * A relationship that runs THROUGH a node is a walk, and every step
+                 * of it is an edge kind somebody declared — so the whole path is
+                 * checkable, which is the point of naming it here rather than
+                 * reaching for the graph inside a view.
+                 */
+                const path = Array.isArray(binding["path"]) ? binding["path"] : undefined;
+                if (path !== undefined) {
+                    if (path.length === 0) {
+                        add({
+                            severity: "error",
+                            code: "lens-binding-empty-path",
+                            where: `lens "${lens.name}" bindings.${role}`,
+                            message: `Role "${role}" binds an empty path, which reaches nothing.`,
+                            fix: `Name the edge kinds from the column end to the row end, e.g. path: ["covers", "applies", "addresses"].`,
+                        });
+                    }
+                    for (const step of path) {
+                        if (typeof step !== "string" || !edgeKinds.has(step)) {
+                            add({
+                                severity: "error",
+                                code: "lens-binding-undeclared-edge",
+                                where: `lens "${lens.name}" bindings.${role}`,
+                                message: `Role "${role}" walks through "${String(step)}", which no defineNode declares as an edge.`,
+                                fix: `Use one of: ${[...edgeKinds].join(", ")}.`,
+                            });
+                        }
+                    }
+                }
+                if (kind !== undefined && !kinds.has(kind)) {
+                    add({
+                        severity: "error",
+                        code: "lens-binding-undeclared-kind",
+                        where: `lens "${lens.name}" bindings.${role}`,
+                        message: `Role "${role}" names kind "${kind}", which no defineNode declares.`,
+                        fix: `Use one of: ${[...kinds].join(", ")}.`,
+                    });
+                }
+                if (edge !== undefined && !edgeKinds.has(edge)) {
+                    add({
+                        severity: "error",
+                        code: "lens-binding-undeclared-edge",
+                        where: `lens "${lens.name}" bindings.${role}`,
+                        message: `Role "${role}" names edge "${edge}", which no defineNode declares.`,
+                        fix: `Use one of: ${[...edgeKinds].join(", ")}.`,
+                    });
+                }
+                if (field !== undefined) {
+                    const owner = typeof binding["on"] === "string" ? binding["on"] : undefined;
+                    const ownerKind = owner === undefined ? undefined : kindOfRole(owner);
+                    if (owner === undefined || ownerKind === undefined) {
+                        add({
+                            severity: "error",
+                            code: "lens-binding-fieldless-owner",
+                            where: `lens "${lens.name}" bindings.${role}`,
+                            message: `Role "${role}" binds field "${field}" but does not say which role's kind it belongs to.`,
+                            fix: `Add on: "<role that binds a kind>".`,
+                        });
+                    }
+                    else {
+                        const shape = app.schema.tryDefinition(ownerKind)?.fields.shape;
+                        if (shape && !(field in shape)) {
+                            add({
+                                severity: "error",
+                                code: "lens-binding-missing-field",
+                                where: `lens "${lens.name}" bindings.${role}`,
+                                message: `Role "${role}" maps to field "${field}", which "${ownerKind}" does not declare.`,
+                                fix: `Point it at one of: ${Object.keys(shape).join(", ")}.`,
+                            });
+                        }
+                    }
+                }
+                if (kind === undefined && edge === undefined && field === undefined && path === undefined) {
+                    add({
+                        severity: "error",
+                        code: "lens-binding-empty",
+                        where: `lens "${lens.name}" bindings.${role}`,
+                        message: `Role "${role}" binds nothing.`,
+                        fix: `Give it { kind: "<node kind>" }, { edge: "<edge kind>" }, { path: ["<edge>", …] } or { field: "<field>", on: "<role>" }.`,
+                    });
+                }
+            }
+            continue;
+        }
+        for (const [kind, rawBindings] of Object.entries(lens.bindings ?? {})) {
+            const bindings = rawBindings;
+            if (!kinds.has(kind)) {
+                add({
+                    severity: "error",
+                    code: "lens-binding-undeclared-kind",
+                    where: `lens "${lens.name}" bindings`,
+                    message: `Binds roles for "${kind}", which no defineNode declares.`,
+                    fix: `Use one of: ${[...kinds].join(", ")}.`,
+                });
+                continue;
+            }
+            const definition = app.schema.tryDefinition(kind);
+            if (!definition)
+                continue;
+            const shape = definition.fields.shape;
+            for (const [role, bound] of Object.entries(bindings)) {
+                /*
+                 * A ROLE IS A FIELD NAME, OR A FIELD AND THE VALUES THAT MAKE IT
+                 * TRUE. The second shape — `{ field: "status", is: ["done"] }` — is
+                 * how `lifecycle` already reads a state, and a role that reads
+                 * completion has to accept it or most domains cannot bind it at all.
+                 * The checker asks the same question of both: is that a field this
+                 * kind declares?
+                 */
+                const field = fieldOf(bound);
+                if (field === undefined) {
+                    add({
+                        severity: "error",
+                        code: "lens-binding-not-a-field",
+                        where: `lens "${lens.name}" bindings.${kind}.${role}`,
+                        message: `Role "${role}" is bound to ${JSON.stringify(bound)}, which is neither a field name nor { field, is }.`,
+                        fix: `Use a field name, or { field: "<field>", is: ["<value>", …] }.`,
+                    });
+                    continue;
+                }
+                if (!(field in shape)) {
+                    add({
+                        severity: "error",
+                        code: "lens-binding-missing-field",
+                        where: `lens "${lens.name}" bindings.${kind}.${role}`,
+                        message: `Role "${role}" maps to field "${field}", which "${kind}" does not declare.`,
+                        fix: `Point it at one of: ${Object.keys(shape).join(", ")}.`,
+                    });
+                }
+            }
+            for (const role of lens.requiredRoles) {
+                if (!(role in bindings)) {
+                    add({
+                        severity: "error",
+                        code: "lens-role-unbound",
+                        where: `lens "${lens.name}" bindings.${kind}`,
+                        message: `Lens "${lens.name}" requires role "${role}", which "${kind}" does not bind.`,
+                        fix: `Add ${role}: "<field name>" to the bindings for "${kind}".`,
+                    });
+                }
+            }
+            /*
+             * TWO PLACES NAME A ROLE, AND THEY DO DIFFERENT JOBS.
+             *
+             * `fieldRoles` on the kind is what everything that is not a lens reads
+             * — the graph's own responder answering "when is it", the generated
+             * docs. A lens reads `bindings` and only `bindings`. Neither overrides
+             * the other, because neither is looking at the other.
+             *
+             * Which is fine until they disagree, and then one surface answers with
+             * one field and the next surface answers with another, both truthfully.
+             * Nothing could see it before: each half is valid on its own.
+             */
+            const declaredRoles = (definition.fieldRoles ?? {});
+            for (const [role, bound] of Object.entries(bindings)) {
+                const field = fieldOf(bound);
+                const declared = declaredRoles[role];
+                if (field === undefined || declared === undefined || declared === field)
+                    continue;
+                add({
+                    severity: "note",
+                    code: "lens-binding-disagrees-with-field-role",
+                    where: `lens "${lens.name}" bindings.${kind}.${role}`,
+                    message: `The lens binds "${role}" to "${field}"; defineNode("${kind}").fieldRoles binds it to "${declared}". A lens reads bindings and everything else reads fieldRoles, so the picture and the sentence will answer differently.`,
+                    fix: `Point both at the same field — or keep them apart deliberately, which is right when two lenses mean different things by one role name (a day and a time of day both being a "start").`,
+                });
+            }
+        }
+    }
+}
+//# sourceMappingURL=lenses.js.map

package/dist/cli/check/lenses.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lenses.js","sourceRoot":"","sources":["../../../src/cli/check/lenses.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,MAAM,UAAU,kBAAkB,CAAsB,GAAoB;IAC1E,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACzB;;;;;;;;;;;OAWG;IACH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACvF,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC;SAChC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,oEAAoE;SACnE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACjD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,GAAG,CAAC;YACF,QAAQ,EAAE,MAAM;YAChB,IAAI,EAAE,oBAAoB;YAC1B,KAAK,EAAE,QAAQ;YACf,OAAO,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAC7D,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YACxC,oFAAoF;YACpF,GAAG,EAAE,SACH,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cACjC,8HAA8H;SAC/H,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAsB,GAAoB;IACzE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAChC,wEAAwE;IACxE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,KAA4C,CAAC;QAC3F,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACpC;;;;;WAKG;QACH,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAA4C,CAAC;YAClF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACtC,IAAI,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,EAAE,CAAC;oBACxB,GAAG,CAAC;wBACF,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,mBAAmB;wBACzB,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,YAAY;wBACrC,OAAO,EAAE,SAAS,IAAI,CAAC,IAAI,oBAAoB,IAAI,yBAAyB;wBAC5E,GAAG,EAAE,OAAO,IAAI,gFAAgF;qBACjG,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,2EAA2E;YAC3E,MAAM,UAAU,GAAG,CAAC,IAAY,EAAsB,EAAE;gBACtD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;gBACvC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YACvD,CAAC,CAAC;YAEF,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACvD,MAAM,IAAI,GAAG,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,OAAO,CAAC,MAAM,CAAY,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC3F,MAAM,IAAI,GAAG,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,OAAO,CAAC,MAAM,CAAY,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC3F,MAAM,KAAK,GAAG,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,OAAO,CAAC,OAAO,CAAY,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC9F;;;;;mBAKG;gBACH,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,OAAO,CAAC,MAAM,CAAwB,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClG,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACtB,GAAG,CAAC;4BACF,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,yBAAyB;4BAC/B,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,cAAc,IAAI,EAAE;4BAC7C,OAAO,EAAE,SAAS,IAAI,+CAA+C;4BACrE,GAAG,EAAE,wGAAwG;yBAC9G,CAAC,CAAC;oBACL,CAAC;oBACD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;wBACxB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;4BACrD,GAAG,CAAC;gCACF,QAAQ,EAAE,OAAO;gCACjB,IAAI,EAAE,8BAA8B;gCACpC,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,cAAc,IAAI,EAAE;gCAC7C,OAAO,EAAE,SAAS,IAAI,oBAAoB,MAAM,CAAC,IAAI,CAAC,6CAA6C;gCACnG,GAAG,EAAE,eAAe,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;6BACjD,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3C,GAAG,CAAC;wBACF,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,8BAA8B;wBACpC,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,cAAc,IAAI,EAAE;wBAC7C,OAAO,EAAE,SAAS,IAAI,iBAAiB,IAAI,kCAAkC;wBAC7E,GAAG,EAAE,eAAe,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;qBAC7C,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC/C,GAAG,CAAC;wBACF,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,8BAA8B;wBACpC,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,cAAc,IAAI,EAAE;wBAC7C,OAAO,EAAE,SAAS,IAAI,iBAAiB,IAAI,kCAAkC;wBAC7E,GAAG,EAAE,eAAe,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;qBACjD,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,MAAM,KAAK,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,OAAO,CAAC,IAAI,CAAY,CAAC,CAAC,CAAC,SAAS,CAAC;oBACxF,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;oBACtE,IAAI,KAAK,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;wBACnD,GAAG,CAAC;4BACF,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,8BAA8B;4BACpC,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,cAAc,IAAI,EAAE;4BAC7C,OAAO,EAAE,SAAS,IAAI,kBAAkB,KAAK,qDAAqD;4BAClG,GAAG,EAAE,qCAAqC;yBAC3C,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,KAE7C,CAAC;wBACd,IAAI,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,CAAC;4BAC/B,GAAG,CAAC;gCACF,QAAQ,EAAE,OAAO;gCACjB,IAAI,EAAE,4BAA4B;gCAClC,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,cAAc,IAAI,EAAE;gCAC7C,OAAO,EAAE,SAAS,IAAI,oBAAoB,KAAK,aAAa,SAAS,qBAAqB;gCAC1F,GAAG,EAAE,uBAAuB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;6BAC7D,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC1F,GAAG,CAAC;wBACF,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,oBAAoB;wBAC1B,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,cAAc,IAAI,EAAE;wBAC7C,OAAO,EAAE,SAAS,IAAI,kBAAkB;wBACxC,GAAG,EAAE,0HAA0H;qBAChI,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;YACtE,MAAM,QAAQ,GAAG,WAAsC,CAAC;YACxD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrB,GAAG,CAAC;oBACF,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,8BAA8B;oBACpC,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,YAAY;oBACrC,OAAO,EAAE,oBAAoB,IAAI,kCAAkC;oBACnE,GAAG,EAAE,eAAe,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBAC7C,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC1B,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,KAAgC,CAAC;YACjE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrD;;;;;;;mBAOG;gBACH,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,GAAG,CAAC;wBACF,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,0BAA0B;wBAChC,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,cAAc,IAAI,IAAI,IAAI,EAAE;wBACrD,OAAO,EAAE,SAAS,IAAI,iBAAiB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,oDAAoD;wBAChH,GAAG,EAAE,gEAAgE;qBACtE,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,CAAC;oBACtB,GAAG,CAAC;wBACF,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,4BAA4B;wBAClC,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,cAAc,IAAI,IAAI,IAAI,EAAE;wBACrD,OAAO,EAAE,SAAS,IAAI,oBAAoB,KAAK,aAAa,IAAI,qBAAqB;wBACrF,GAAG,EAAE,uBAAuB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;qBAC7D,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACtC,IAAI,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,EAAE,CAAC;oBACxB,GAAG,CAAC;wBACF,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,mBAAmB;wBACzB,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,cAAc,IAAI,EAAE;wBAC7C,OAAO,EAAE,SAAS,IAAI,CAAC,IAAI,oBAAoB,IAAI,aAAa,IAAI,kBAAkB;wBACtF,GAAG,EAAE,OAAO,IAAI,yCAAyC,IAAI,IAAI;qBAClE,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD;;;;;;;;;;;eAWG;YACH,MAAM,aAAa,GAAG,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAA2B,CAAC;YAC9E,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC7B,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,KAAK,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,KAAK;oBAAE,SAAS;gBAClF,GAAG,CAAC;oBACF,QAAQ,EAAE,MAAM;oBAChB,IAAI,EAAE,wCAAwC;oBAC9C,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,cAAc,IAAI,IAAI,IAAI,EAAE;oBACrD,OAAO,EAAE,mBAAmB,IAAI,SAAS,KAAK,kBAAkB,IAAI,8BAA8B,QAAQ,yHAAyH;oBACnO,GAAG,EAAE,uLAAuL;iBAC7L,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/cli/check/migrations.d.ts

@@ -0,0 +1,16 @@
+import type { AnySchema } from "../../schema/schema.js";
+/**
+ * `note` is a QUESTION ASKED OUT LOUD, not a problem.
+ *
+ * Some things a checker can see are legitimate designs that the author
+ * should nonetheless have looked at once: a lens written for this app and
+ * never proved against another domain, a role name two vocabularies both
+ * use, a kind unreachable on an empty graph. Filed as warnings they would
+ * be warnings that can only ever be acknowledged, and those are the ones
+ * people learn to scroll past — which costs the checker its authority on
+ * the warnings that matter. So they have their own voice: counted, printed,
+ * and never a failure.
+ */
+import type { CheckContext } from "./context.js";
+export declare function checkMigrations<S extends AnySchema>(ctx: CheckContext<S>): void;
+//# sourceMappingURL=migrations.d.ts.map

package/dist/cli/check/migrations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrations.d.ts","sourceRoot":"","sources":["../../../src/cli/check/migrations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAExD;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,wBAAgB,eAAe,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,CAwC/E"}

package/dist/cli/check/migrations.js

@@ -0,0 +1,43 @@
+export function checkMigrations(ctx) {
+    const { app, add } = ctx;
+    /*
+     * The migration chain must actually reach the declared version. A stored
+     * graph at version 1 with a declaration at 3 and a hole at 2 is a
+     * deployment that cannot start — findable here instead of there.
+     */
+    if (app.version !== undefined) {
+        const steps = new Map((app.migrations ?? []).map((m) => [m.from, m]));
+        for (const migration of app.migrations ?? []) {
+            if (migration.to !== migration.from + 1) {
+                add({
+                    severity: "error",
+                    code: "migration-not-single-step",
+                    where: `migrations[${migration.from}→${migration.to}]`,
+                    message: `Migrations move one version at a time; this one jumps ${migration.from}→${migration.to}.`,
+                    fix: `Split it into single steps so any stored version has a path.`,
+                });
+            }
+        }
+        for (let at = 1; at < app.version; at++) {
+            if (!steps.has(at)) {
+                add({
+                    severity: "error",
+                    code: "migration-gap",
+                    where: `defineApp("${app.name}").migrations`,
+                    message: `No migration from version ${at}, so a graph stored at ${at} cannot reach ${app.version}.`,
+                    fix: `Declare a migration { from: ${at}, to: ${at + 1}, ... }.`,
+                });
+            }
+        }
+    }
+    else if ((app.migrations ?? []).length > 0) {
+        add({
+            severity: "error",
+            code: "migration-without-version",
+            where: `defineApp("${app.name}").version`,
+            message: `Migrations are declared but the app declares no version to migrate to.`,
+            fix: `Declare version: <n> alongside the migrations.`,
+        });
+    }
+}
+//# sourceMappingURL=migrations.js.map

package/dist/cli/check/migrations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrations.js","sourceRoot":"","sources":["../../../src/cli/check/migrations.ts"],"names":[],"mappings":"AAgBA,MAAM,UAAU,eAAe,CAAsB,GAAoB;IACvE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACzB;;;;OAIG;IACH,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YAC7C,IAAI,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBACxC,GAAG,CAAC;oBACF,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,2BAA2B;oBACjC,KAAK,EAAE,cAAc,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,EAAE,GAAG;oBACtD,OAAO,EAAE,yDAAyD,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,EAAE,GAAG;oBACnG,GAAG,EAAE,8DAA8D;iBACpE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC;YACxC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnB,GAAG,CAAC;oBACF,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,eAAe;oBACrB,KAAK,EAAE,cAAc,GAAG,CAAC,IAAI,eAAe;oBAC5C,OAAO,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,iBAAiB,GAAG,CAAC,OAAO,GAAG;oBACnG,GAAG,EAAE,+BAA+B,EAAE,SAAS,EAAE,GAAG,CAAC,UAAU;iBAChE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,GAAG,CAAC;YACF,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,2BAA2B;YACjC,KAAK,EAAE,cAAc,GAAG,CAAC,IAAI,YAAY;YACzC,OAAO,EAAE,wEAAwE;YACjF,GAAG,EAAE,gDAAgD;SACtD,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/cli/check/modules.d.ts

@@ -0,0 +1,16 @@
+import type { AnySchema } from "../../schema/schema.js";
+/**
+ * `note` is a QUESTION ASKED OUT LOUD, not a problem.
+ *
+ * Some things a checker can see are legitimate designs that the author
+ * should nonetheless have looked at once: a lens written for this app and
+ * never proved against another domain, a role name two vocabularies both
+ * use, a kind unreachable on an empty graph. Filed as warnings they would
+ * be warnings that can only ever be acknowledged, and those are the ones
+ * people learn to scroll past — which costs the checker its authority on
+ * the warnings that matter. So they have their own voice: counted, printed,
+ * and never a failure.
+ */
+import type { CheckContext } from "./context.js";
+export declare function checkModules<S extends AnySchema>(ctx: CheckContext<S>): void;
+//# sourceMappingURL=modules.d.ts.map

package/dist/cli/check/modules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"modules.d.ts","sourceRoot":"","sources":["../../../src/cli/check/modules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAExD;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,wBAAgB,YAAY,CAAC,CAAC,SAAS,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,CAuH5E"}