@foir/sdk 0.18.0 → 0.19.0

package/CHANGELOG.md

@@ -108,6 +108,92 @@ nobody asking for `@foir/sdk` gets it early. The push that carries the commit to
 
 Changes on `dev` that have not been published to npm.
 
+## [0.19.0] — 2026-10-02
+
+Published under npm's `next` tag from `dev`. The data client's change needs no
+platform release. `setConsent` by email calls a field the platform serves from
+the next promotion; `latest` moves to this version then.
+
+### Changed
+
+- **Breaking: schema drift by itself no longer refuses a typed call**
+  (`@foir/sdk/data`). What `strictSchemaDrift` refuses has changed; its name
+  and its default have not.
+
+  Before, a client built with a generated module refused every typed call,
+  with `FoirSchemaDriftError`, from the moment it saw the server serving another
+  surface version. That version is a hash over everything `foir types` reads,
+  so it moves whenever the surface grows. A field published on a model, or an
+  op the platform added to every model, made every deployed client refuse its
+  second typed call, though nothing it prints had changed.
+
+  Now the drift is reported once, exactly as before (`onSchemaDrift`, or the
+  `console.warn`), and it refuses nothing by itself. When the manifest arrives
+  the client compares its generated trees with the served ones, and refuses a
+  typed call only when something that call depends on is no longer served the
+  way the module describes it:
+
+  - its op is gone, or the op's root field or result kind changed;
+  - an argument the module declares is gone, or has a type the generated one no
+    longer fits, or the op now requires an argument the module does not know;
+  - a field its selection names is gone or changed shape, in the model the op
+    returns or in a union that model embeds;
+  - a relation the call includes changed target, became a list or a
+    connection, or its target model lost a field.
+
+  Anything added refuses nothing: a model, a namespace, an op, an optional
+  argument, a field, a relation, a union member, a subscription. An argument
+  that went from required to optional refuses nothing either.
+
+  `FoirSchemaDriftError`'s message now names what the refused call depends on
+  (`models.order.selection.status (no longer served)`), and still names
+  `foir types` as the remedy. The warning for a drift that broke nothing says
+  the surface has grown and that every typed call keeps working.
+
+  Unchanged: `strictSchemaDrift: false` turns refusal off entirely, the first
+  call on a client is never blocked on the manifest, `raw()` is never refused,
+  and `checkSchemaDrift: false` skips the fetch. `createFoirDriftHandler` in
+  `@foir/sdk/live` still resyncs on every drift, whether or not anything is
+  incompatible.
+
+  A client wired by hand with `surfaceVersion` and no `selections` prints from
+  the served manifest, so it has nothing older to compare and is no longer
+  refused on drift.
+
+  Migration: none for an app that only catches `FoirSchemaDriftError`. An app
+  that used the refusal to learn that its module was stale in ANY way should
+  read `onSchemaDrift`, which still fires for every drift, or gate on
+  `foir types --check` in CI.
+- **Breaking: `FoirSchemaDrift` has a new required field, `incompatible`**
+  (`@foir/sdk/data`). Code that reads a drift is unaffected. Code that builds
+  one by hand, for example to test a handler given to `onSchemaDrift` or made by
+  `createFoirDriftHandler`, must add `incompatible: []`.
+- **Breaking (types): `AppConsentChange` names its customer one way**
+  (`@foir/sdk/app`). It was an interface with a required `customerId`. It is
+  now a type that holds a `customerId` or an `email`, never both. A change
+  written as `{ customerId, ... }` is unaffected. An interface that extended
+  `AppConsentChange` no longer compiles: intersect with it instead.
+
+### Added
+
+- `notifications.setConsent` takes `email` in place of `customerId`
+  (`@foir/sdk/app`), for an opt-in from somebody who may have no customer yet,
+  such as a sign-up form. The platform finds the customer holding the address
+  at the install's level, or makes one, together with the change, so a change
+  it refuses (a category the project does not have, a confirmation email the
+  project cannot send) leaves no customer behind. Finding or making the
+  customer first with `customers.ensure` did. The operation must declare
+  `customers:write` as well as `notifications:consent`. `AppConsentSubject` is
+  exported.
+
+- `FoirSchemaDrift.incompatible`: what the generated module describes that the
+  server no longer serves that way, as sorted paths into the manifest
+  (`models.order.selection.status`, `models.order.ops.update`,
+  `namespaces.search.ops.searchRecords.args.query`,
+  `models.order.relations.customer`, `selectionUnions.Block.HeroBlock.title`).
+  Empty when the surface has only grown. `changed` keeps its meaning: what
+  moved, not what broke.
+
 ## [0.18.0] — 2026-10-02
 
 Published under npm's `next` tag from `dev`, because it calls fields the

package/README.md

@@ -88,7 +88,14 @@ was generated from: a hash over exactly what `foir types` reads, which moves onl
 when regenerating would write a different file. Pushing an operation, a role or
 a key moves the server's invalidation counter and not the surface, so it is not
 drift. Publishing a field on a model the types include is, and the client
-refuses the next typed call with a message naming the model. The remedy is
+reports it once, naming the model.
+
+**Drift does not stop a call.** A surface that has grown still answers every
+document the module prints. A typed call is refused, with `FoirSchemaDriftError`,
+only when something it depends on is no longer served as generated: a field its
+selection names, its op, one of its arguments, or the target of a relation it
+includes. The message names that part, and `drift.incompatible` lists every
+such part as a path (`models.order.selection.status`). The remedy is
 `foir types`; `strictSchemaDrift: false` never is.
 
 **Scalars are always complete**, so `post.title` is typed present and *is*

package/dist/app/client.d.ts

@@ -186,8 +186,24 @@ export interface AppNotification {
     /** Makes the send safe to repeat: the same key from the same operation tells the customer once. */
     idempotencyKey?: string;
 }
-export interface AppConsentChange {
+/**
+ * Who a consent change is for: a customer whose id the app holds, or an
+ * address.
+ *
+ * By `email`, the customer holding the address at the operation's level is
+ * found, or made, together with the change, so a change the platform refuses
+ * leaves no customer behind. It is for an opt-in from somebody who may have no
+ * customer yet (a sign-up form), and the operation must declare
+ * `customers:write` as well as `notifications:consent`.
+ */
+export type AppConsentSubject = {
     customerId: string;
+    email?: undefined;
+} | {
+    email: string;
+    customerId?: undefined;
+};
+export type AppConsentChange = AppConsentSubject & {
     /** A notification category the project makes opt-in. */
     category: string;
     /** The channel the consent is for, as the project's preferences name it (for example `email`). */
@@ -215,7 +231,7 @@ export interface AppConsentChange {
      * email is written in it when the customer has stated none of their own.
      */
     locale?: string;
-}
+};
 /** What the calling token is, and what it is served. Read from the platform, never off the token. */
 export interface AppWhoami {
     /** The app the token acts for, when it acts for one. */
@@ -458,6 +474,10 @@ export interface AppClient {
          * been sent a link, or was sent one recently, and the preference turns on
          * when they follow it. The answer is the same whether or not the address
          * already had a customer.
+         *
+         * Name the customer by `customerId`, or by `email` for somebody who may
+         * have no customer yet: the platform finds or makes them with the change,
+         * and that also needs `customers:write`.
          */
         setConsent(change: AppConsentChange): Promise<{
             stale: boolean;

package/dist/app/index.d.ts

@@ -21,7 +21,7 @@
  * The manifest's own messages are on `@foir/sdk/app/contract`.
  */
 export { createAppClient } from './client';
-export type { AppBinding, AppClient, AppClientConfig, AppConsentChange, AppCustomer, AppCustomerEraseResult, AppCustomerList, AppCustomerSaveResult, AppFieldMapping, AppInstallConfig, AppNotification, AppOperationStart, AppRecord, AppRecordList, AppStartedOperation, AppStatusReport, AppSyncDirection, AppUpsertResult, AppWhoami, } from './client';
+export type { AppBinding, AppClient, AppClientConfig, AppConsentChange, AppConsentSubject, AppCustomer, AppCustomerEraseResult, AppCustomerList, AppCustomerSaveResult, AppFieldMapping, AppInstallConfig, AppNotification, AppOperationStart, AppRecord, AppRecordList, AppStartedOperation, AppStatusReport, AppSyncDirection, AppUpsertResult, AppWhoami, } from './client';
 export { appCustomerEmailUnavailableOf, appCustomerUnlinkedOf, appLookupConflictOf, isAppFieldWithheld } from './errors';
 export type { AppCustomerEmailUnavailableReason, AppLookupConflict } from './errors';
 export { appModelFieldName, appModelTypeName, appSelectorEnumValue } from './naming';

package/dist/app.js

@@ -835,9 +835,11 @@ function createAppClient(config) {
         if (sent !== true) refuse("sendNotification reported no error and did not say the notification was sent");
       },
       async setConsent(change) {
-        if (change.customerId === "" || change.category === "") refuse("a consent change needs a customer and a category");
+        const subject = consentSubject(change);
+        if (subject === null) return refuse("a consent change names its customer by customerId or by email, not both");
+        if (subject.value === "" || change.category === "") return refuse("a consent change needs a customer and a category");
         const input = {
-          customerId: change.customerId,
+          [subject.by]: subject.value,
           category: change.category,
           channel: change.channel,
           enabled: change.enabled
@@ -886,6 +888,12 @@ function createAppClient(config) {
     }
   };
 }
+function consentSubject(change) {
+  const loose = change;
+  if (loose.email !== void 0 && loose.customerId !== void 0) return null;
+  if (loose.email !== void 0) return { by: "email", value: loose.email.trim() };
+  return { by: "customerId", value: loose.customerId ?? "" };
+}
 function directionOf(raw) {
   const name = (raw ?? "").replace(/^FIELD_SYNC_DIRECTION_/, "");
   return name === "SOURCE_ONLY" || name === "BIDIRECTIONAL" ? name : "SINK_ONLY";

package/dist/data/compatibility.d.ts

@@ -0,0 +1,95 @@
+/**
+ * Whether the surface being served can still answer what a generated module
+ * prints.
+ *
+ * A generated module records the surface version it came from, and that version
+ * is a hash over everything `foir types` reads. So it moves when a model gains
+ * a field, when a namespace gains an op, and when the platform adds a mutation
+ * to every model at once. None of those changes a document this client prints:
+ * the document names the fields and arguments the module knew about, and the
+ * server still has every one of them. Treating a moved version as a reason to
+ * refuse calls made every deployed client stop working the moment the surface
+ * grew, with nothing in its own project having changed.
+ *
+ * So the two are kept apart. A moved version is DRIFT, and it is reported. A
+ * call is refused only for an INCOMPATIBILITY: something that call prints, or
+ * sends, that the server no longer serves the way the module describes. The
+ * client holds both sides of that question once the manifest has arrived, since
+ * the generated trees and the served manifest are the same shape, and this file
+ * compares them.
+ *
+ * ---------------------------------------------------------------------------
+ * What "the same" means
+ * ---------------------------------------------------------------------------
+ *
+ * What `document.ts` reads, because a property the printer never reads cannot
+ * change a document:
+ *
+ *   - an op: its root `field`, whether it is a `mutation`, its `args` and
+ *     `argTypes`, and its `payload` (`kind`, `model`, `union`, `fields`);
+ *   - a selection field: its `key`, and which of the printer's branches it
+ *     takes (a relation, a stopping point, a `model` reference, a `union`
+ *     reference, an object with `fields`, or a leaf);
+ *   - a relation an `include` resolves: `target`, `targets` and `connection`,
+ *     and one property the printer does not read, `list`, because it decides
+ *     whether the same document answers with one record or an array;
+ *   - a model's `typeName`, which names the fragment a polymorphic relation
+ *     prints for it;
+ *   - a union's members, by `typeName`, and each member's fields.
+ *
+ * `cost`, `nullable`, `deprecated` and the buckets the generator does not emit
+ * are not compared. `alias` is not compared either, and that one is a decision:
+ * an alias is a name this client gives a field in its OWN document, so the
+ * server never sees the manifest's opinion of it. A new union member whose
+ * field collides with an existing one makes the server publish aliases for
+ * both, and the module's document, which selects only the members it knew,
+ * is as valid as it was.
+ *
+ * The comparison runs one way. Everything the module names must still be
+ * served; whatever the server has added is never looked at, with one
+ * exception: an argument the served op REQUIRES and the module does not know,
+ * since a call that cannot supply it cannot succeed.
+ */
+import { type FoirSelectionSource } from './document';
+/** One thing the generated module describes that the server no longer serves that way. */
+export interface FoirIncompatibility {
+    /**
+     * Where it sits, in the manifest's own keys:
+     * `models.order.selection.status`, `models.order.ops.update`,
+     * `namespaces.search.ops.searchRecords.args.query`.
+     */
+    path: string;
+    /** What happened to it, as a clause a message can put in brackets. */
+    reason: string;
+}
+/** The comparison, held by a client for as long as it lives. */
+export interface FoirSurfaceComparison {
+    /** Every incompatible path, sorted. Empty when the surface has only grown. */
+    readonly incompatible: readonly string[];
+    /** What `foir.<model>.<op>()` depends on that is incompatible. */
+    modelCall(model: string, op: string, include: unknown): readonly FoirIncompatibility[];
+    /** What `foir.ns.<namespace>.<op>()` depends on that is incompatible. */
+    namespaceCall(namespace: string, op: string, include: unknown): readonly FoirIncompatibility[];
+}
+/**
+ * Compare a generated module's trees with the manifest being served.
+ *
+ * Called once, when the manifest arrives, and off the response path. What it
+ * returns answers each later call from maps built here, so a call pays for a
+ * lookup and, when it has an `include`, a walk of the relations it names.
+ *
+ * How far a break reaches is decided per call rather than per model. A call
+ * depends on its op, on every tree its result prints (the model's own, the
+ * unions inside it, and so on down), and on the relations THIS call includes
+ * with the trees of their targets. A model whose relation points at a broken
+ * model is not refused for it until a call includes that relation, because
+ * until then the broken tree is not in the document. Refusing on the whole
+ * relation graph would let one field removed from one model stop every call in
+ * a project whose models all reach each other, which is most projects.
+ *
+ * It is not narrowed by `pick` or `omit`. A call that omits the one field that
+ * is gone is still refused: resolving a caller's paths against two trees, with
+ * aliases and union members in play, is the printer's work done a second time,
+ * and regenerating is the remedy either way.
+ */
+export declare function compareFoirSurfaces(generated: FoirSelectionSource, served: FoirSelectionSource): FoirSurfaceComparison;

package/dist/data/document.d.ts

@@ -51,7 +51,7 @@
  * inferring a literal would reinstate the defect above under a condition no
  * caller can see.
  */
-import type { FoirManifestOp, FoirManifestRelation, FoirManifestSelection, FoirManifestSelectionField, FoirManifestSelectionUnion } from './manifest';
+import type { FoirManifestOp, FoirManifestOpPayload, FoirManifestRelation, FoirManifestSelection, FoirManifestSelectionField, FoirManifestSelectionUnion } from './manifest';
 /**
  * One model, as the printer needs it.
  *
@@ -145,6 +145,16 @@ export interface FoirRecordPath {
     /** Model key whose published `selection` is printed at that position. */
     modelKey: string;
 }
+/**
+ * Every record position in a payload, in the order the tree declares them.
+ *
+ * ONE walk, and everything that needs to know where the records are reads it:
+ * `planCall` takes the model SET from it to decide where `pick`/`omit`/`include`
+ * land, and the plan carries the positions so the transport's caller can find
+ * the records in the response. A second walk would be correct on the day it was
+ * written and wrong on the day the payload format grew a case.
+ */
+export declare function payloadRecordPaths(payload: FoirManifestOpPayload): readonly FoirRecordPath[];
 /** One printed operation, and what the transport needs to route it. */
 export interface FoirDocumentPlan {
     /** The document text. Also the thing that gets hashed for APQ. */

package/dist/data/transport.d.ts

@@ -419,19 +419,33 @@ export interface FoirKeyClientConfig<S extends FoirSchemaDefinition = FoirSchema
     /** Called instead of `console.warn` when drift is detected. */
     onSchemaDrift?: (drift: FoirSchemaDrift) => void;
     /**
-     * Refuse typed calls once drift is detected, instead of serving the stale
-     * shape. **On by default**; pass `false` to opt out.
-     *
-     * The asymmetry this closes: an unknown ARGUMENT is refused client-side
-     * before the server sees it, while a field the server has and the generated
-     * selection does not is simply not requested. The second is the common case
-     * when a schema evolves, and it surfaces as absent data rather than as a
-     * tooling problem — so it is the one that needs to be loud.
-     *
-     * It is the default rather than an opt-in because the thing it prevents is
-     * SILENT. An opt-in guard against a silent failure only protects the people
-     * who already suspected the failure existed, and the warning it replaces is
-     * one more line to scroll past.
+     * Refuse a typed call that depends on something the server no longer serves
+     * the way the generated module describes. **On by default**; pass `false` to
+     * opt out.
+     *
+     * A drift by itself refuses nothing. The surface version moves whenever the
+     * surface grows (a field on a model, an op on a namespace, a mutation the
+     * platform adds to every model), and a document printed from the older trees
+     * is still answered in full. So once the manifest has arrived the client
+     * compares its generated trees with the served ones, and refuses only the
+     * calls whose own parts changed:
+     *
+     *   - the op is gone, or its root field or result kind changed;
+     *   - an argument the module declares is gone or has a type the generated
+     *     one no longer fits, or the op now requires an argument the module does
+     *     not know;
+     *   - a field the call's selection names is gone or has another shape, in the
+     *     model the op returns, in a union that model's tree embeds, or in the
+     *     target of a relation the call includes.
+     *
+     * Anything ADDED refuses nothing: a model, a namespace, an op, an optional
+     * argument, a field, a relation, a union member, a subscription.
+     *
+     * It is the default because the alternative is worse for the caller. A call
+     * that depends on a removed field is answered with a server error naming the
+     * field, and one whose relation changed from a record to a list is answered
+     * in a shape the types do not describe. Neither says the generated module is
+     * the thing to fix. `FoirSchemaDriftError` does, and names the part.
      *
      * Two things it deliberately does not do.
      *
@@ -441,20 +455,16 @@ export interface FoirKeyClientConfig<S extends FoirSchemaDefinition = FoirSchema
      * block every first call on a second round trip, which is the cost the
      * warning was designed to avoid.
      *
-     * It does not touch `raw`. A hand-written document asks for exactly the
-     * fields it names, so it cannot silently omit one — raw is immune to this
-     * class of bug by construction, and refusing it would punish the escape
-     * hatch people reach for precisely because it is immune.
+     * It does not touch `raw`. A hand-written document is not printed from the
+     * generated trees, so nothing compared here says anything about it.
      *
-     * Turning it off is never the remedy for a drift. The version it compares
-     * is the SURFACE the types were generated from, which moves only when
-     * regenerating would write a different file, so every drift it reports is a
-     * real one and the fix is `foir types`. The opt-out exists for an app that
-     * knowingly ships a stale module for a while, and it says so at the call
-     * site, where a reader can see it:
+     * Turning it off is never the remedy. A refusal names something that really
+     * is no longer served as generated, and the fix is `foir types`. The opt-out
+     * exists for an app that would rather send the call and handle the server's
+     * answer, and it says so at the call site, where a reader can see it:
      *
      * ```ts
-     * createFoirClient({ strictSchemaDrift: false })  // serve stale, warn only
+     * createFoirClient({ strictSchemaDrift: false })  // never refuse, warn only
      * ```
      */
     strictSchemaDrift?: boolean;
@@ -578,9 +588,23 @@ export interface FoirSchemaDrift {
      * too. Empty only when the module was wired without `surfaceHashes`.
      */
     changed: readonly string[];
+    /**
+     * What the generated module describes that the server no longer serves that
+     * way, as paths into the manifest, sorted:
+     * `models.order.selection.status`, `models.order.ops.update`,
+     * `namespaces.search.ops.searchRecords.args.query`,
+     * `models.order.relations.customer`, `selectionUnions.Block.HeroBlock.title`.
+     *
+     * `changed` says what moved; this says what BROKE. Empty when the surface
+     * only grew, which is the usual drift, and then no typed call is refused.
+     * Also empty for a client that prints from the served manifest rather than
+     * from generated trees, since it has nothing older to compare.
+     */
+    incompatible: readonly string[];
 }
 /**
- * Thrown by a typed call under `strictSchemaDrift` once drift is detected.
+ * Thrown by a typed call under `strictSchemaDrift` when the call depends on
+ * something in `drift.incompatible`. The message names which.
  *
  * A subclass rather than a plain `FoirRequestError` so an app can tell "your
  * generated module is stale" from "this request failed", which want different

package/dist/data.js

@@ -1008,6 +1008,304 @@ function isFoirMutationDocument(documentText) {
   return /\bmutation\b/.test(documentText);
 }
 
+// src/data/compatibility.ts
+var newPart = () => ({ broken: [], prints: /* @__PURE__ */ new Set() });
+var GONE = "no longer served";
+function shapeOf(field) {
+  if (field.relation) return "a relation";
+  if (field.truncated) {
+    return field.union ? `a stopping point before the union ${field.union}` : "a stopping point";
+  }
+  if (field.model) return `the model ${field.model}`;
+  if (field.union) return `the union ${field.union}`;
+  return field.fields?.length ? "an object" : "a leaf";
+}
+function compareFields(generated, served, path, part) {
+  const byKey = new Map((served ?? []).map((field) => [field.key, field]));
+  for (const field of generated) {
+    if (field.relation) continue;
+    const at = `${path}.${field.key}`;
+    const now = byKey.get(field.key);
+    if (!now) {
+      part.broken.push({ path: at, reason: GONE });
+      continue;
+    }
+    const was = shapeOf(field);
+    const is = shapeOf(now);
+    if (field.truncated) {
+      const composite = !now.relation && is !== "a leaf";
+      if (!composite || field.union && now.union !== field.union) {
+        part.broken.push({ path: at, reason: `generated as ${was}, served as ${is}` });
+        continue;
+      }
+      if (field.union) part.prints.add(`u:${field.union}`);
+      continue;
+    }
+    if (was !== is) {
+      part.broken.push({ path: at, reason: `generated as ${was}, served as ${is}` });
+      continue;
+    }
+    if (field.model) part.prints.add(`m:${field.model}`);
+    else if (field.union) part.prints.add(`u:${field.union}`);
+    else if (field.fields?.length) compareFields(field.fields, now.fields, at, part);
+  }
+}
+function variableFits(variable, position) {
+  if (position.endsWith("!")) {
+    return variable.endsWith("!") && variableFits(variable.slice(0, -1), position.slice(0, -1));
+  }
+  if (variable.endsWith("!")) return variableFits(variable.slice(0, -1), position);
+  if (position.startsWith("[")) {
+    return variable.startsWith("[") && variableFits(variable.slice(1, -1), position.slice(1, -1));
+  }
+  return variable === position;
+}
+function compareOp(generated, served, at) {
+  const part = newPart();
+  if (!served) {
+    part.broken.push({ path: at, reason: GONE });
+    return part;
+  }
+  if (generated.field !== served.field) {
+    part.broken.push({
+      path: `${at}.field`,
+      reason: `root field ${generated.field}, served as ${served.field}`
+    });
+  }
+  if (Boolean(generated.mutation) !== Boolean(served.mutation)) {
+    part.broken.push({
+      path: `${at}.mutation`,
+      reason: served.mutation ? "now a mutation" : "no longer a mutation"
+    });
+  }
+  const declared = generated.args ?? [];
+  for (const name of declared) {
+    const type = generated.argTypes?.[name];
+    if (!type) continue;
+    if (!served.args?.includes(name)) {
+      part.broken.push({ path: `${at}.args.${name}`, reason: "no longer accepted" });
+      continue;
+    }
+    const now2 = served.argTypes?.[name];
+    if (!now2 || !variableFits(type, now2)) {
+      part.broken.push({
+        path: `${at}.args.${name}`,
+        reason: `type ${type}, served as ${now2 ?? "no published type"}`
+      });
+    }
+  }
+  for (const name of served.args ?? []) {
+    if (declared.includes(name)) continue;
+    if (served.argTypes?.[name]?.endsWith("!")) {
+      part.broken.push({ path: `${at}.args.${name}`, reason: "a new required argument" });
+    }
+  }
+  const payload = generated.payload;
+  if (!payload || payload.error) return part;
+  const now = served.payload;
+  if (!now || now.error) {
+    part.broken.push({ path: `${at}.payload`, reason: "no result shape is served" });
+    return part;
+  }
+  if (payload.kind !== now.kind) {
+    part.broken.push({
+      path: `${at}.payload`,
+      reason: `result kind ${payload.kind}, served as ${String(now.kind)}`
+    });
+    return part;
+  }
+  if (payload.kind === "record" && payload.model) {
+    if (payload.model !== now.model) {
+      part.broken.push({
+        path: `${at}.payload`,
+        reason: `returns the model ${payload.model}, served as ${now.model ?? "none"}`
+      });
+    } else {
+      part.prints.add(`m:${payload.model}`);
+    }
+  } else if (payload.kind === "union" && payload.union) {
+    if (payload.union !== now.union) {
+      part.broken.push({
+        path: `${at}.payload`,
+        reason: `returns the union ${payload.union}, served as ${now.union ?? "none"}`
+      });
+    } else {
+      part.prints.add(`u:${payload.union}`);
+    }
+  } else if (payload.kind === "object") {
+    compareFields(payload.fields ?? [], now.fields, `${at}.payload`, part);
+  }
+  return part;
+}
+function compareRelation(generated, served, at) {
+  if (!served) return { path: at, reason: GONE };
+  const targets = generated.targets ?? [];
+  const nowTargets = served.targets ?? [];
+  if (targets.length) {
+    const dropped = targets.filter((target) => !nowTargets.includes(target));
+    if (dropped.length) {
+      return { path: at, reason: `no longer targets ${dropped.join(", ")}` };
+    }
+  } else if (nowTargets.length || (generated.target ?? "") !== (served.target ?? "")) {
+    return {
+      path: at,
+      reason: `targets ${generated.target ?? "nothing"}, served as ${nowTargets.length ? nowTargets.join(" | ") : served.target ?? "nothing"}`
+    };
+  }
+  if (Boolean(generated.connection) !== Boolean(served.connection)) {
+    return {
+      path: at,
+      reason: served.connection ? "now a connection" : "no longer a connection"
+    };
+  }
+  if (Boolean(generated.list) !== Boolean(served.list)) {
+    return { path: at, reason: served.list ? "now a list" : "no longer a list" };
+  }
+  return void 0;
+}
+var NOTHING = [];
+function compareFoirSurfaces(generated, served) {
+  const servedModels = served.models ?? {};
+  const servedNamespaces = served.namespaces ?? {};
+  const servedUnions = served.selectionUnions ?? {};
+  const trees = /* @__PURE__ */ new Map();
+  const ops = /* @__PURE__ */ new Map();
+  const relations = /* @__PURE__ */ new Map();
+  for (const [key, model] of Object.entries(generated.models ?? {})) {
+    const at = `models.${key}`;
+    const now = servedModels[key];
+    const tree = newPart();
+    trees.set(`m:${key}`, tree);
+    if (!now) {
+      const gone = { path: at, reason: GONE };
+      tree.broken.push(gone);
+      for (const op of Object.keys(model.ops ?? {})) {
+        ops.set(`${at}.ops.${op}`, { broken: [gone], prints: /* @__PURE__ */ new Set() });
+      }
+      for (const relation of model.relations ?? []) {
+        relations.set(`${key} ${relation.key}`, gone);
+      }
+      continue;
+    }
+    if (model.typeName !== now.typeName) {
+      tree.broken.push({
+        path: `${at}.typeName`,
+        reason: `type ${model.typeName}, served as ${now.typeName}`
+      });
+    }
+    if (model.selection) {
+      if (!now.selection) tree.broken.push({ path: `${at}.selection`, reason: GONE });
+      else compareFields(model.selection.fields, now.selection.fields, `${at}.selection`, tree);
+    }
+    for (const [op, def] of Object.entries(model.ops ?? {})) {
+      ops.set(`${at}.ops.${op}`, compareOp(def, now.ops?.[op], `${at}.ops.${op}`));
+    }
+    for (const relation of model.relations ?? []) {
+      const broken = compareRelation(
+        relation,
+        now.relations?.find((r) => r.key === relation.key),
+        `${at}.relations.${relation.key}`
+      );
+      if (broken) relations.set(`${key} ${relation.key}`, broken);
+    }
+  }
+  for (const [name, namespace] of Object.entries(generated.namespaces ?? {})) {
+    const at = `namespaces.${name}`;
+    const now = servedNamespaces[name];
+    const gone = now ? void 0 : { path: at, reason: GONE };
+    for (const [op, def] of Object.entries(namespace.ops ?? {})) {
+      ops.set(
+        `${at}.ops.${op}`,
+        gone ? { broken: [gone], prints: /* @__PURE__ */ new Set() } : compareOp(def, now?.ops?.[op], `${at}.ops.${op}`)
+      );
+    }
+  }
+  for (const [name, union] of Object.entries(generated.selectionUnions ?? {})) {
+    const at = `selectionUnions.${name}`;
+    const now = servedUnions[name];
+    const tree = newPart();
+    trees.set(`u:${name}`, tree);
+    if (!now) {
+      tree.broken.push({ path: at, reason: GONE });
+      continue;
+    }
+    for (const member of union.members) {
+      const nowMember = now.members?.find((m) => m.typeName === member.typeName);
+      if (!nowMember) {
+        tree.broken.push({ path: `${at}.${member.typeName}`, reason: "no longer a member" });
+        continue;
+      }
+      compareFields(member.fields, nowMember.fields, `${at}.${member.typeName}`, tree);
+    }
+  }
+  const paths = /* @__PURE__ */ new Set();
+  for (const part of [...trees.values(), ...ops.values()]) {
+    for (const broken of part.broken) paths.add(broken.path);
+  }
+  for (const broken of relations.values()) paths.add(broken.path);
+  const incompatible = [...paths].sort();
+  const reached = /* @__PURE__ */ new Map();
+  const reach = (start) => {
+    const held = reached.get(start);
+    if (held) return held;
+    const out = [];
+    const seen = /* @__PURE__ */ new Set();
+    const pending = [start];
+    while (pending.length) {
+      const id = pending.pop();
+      if (seen.has(id)) continue;
+      seen.add(id);
+      const tree = trees.get(id);
+      if (!tree) continue;
+      out.push(...tree.broken);
+      pending.push(...tree.prints);
+    }
+    reached.set(start, out);
+    return out;
+  };
+  const included = (modelKey, include, out) => {
+    if (!include || typeof include !== "object") return;
+    const model = generated.models[modelKey];
+    if (!model) return;
+    for (const [key, value] of Object.entries(include)) {
+      if (value === void 0 || value === false) continue;
+      const relation = model.relations?.find((r) => r.key === key);
+      if (!relation) continue;
+      const broken = relations.get(`${modelKey} ${key}`);
+      if (broken) out.push(broken);
+      const nested = value && typeof value === "object" ? value["include"] : void 0;
+      const targets = relation.targets?.length ? relation.targets : [relation.target ?? ""];
+      for (const target of targets) {
+        out.push(...reach(`m:${target}`));
+        included(target, nested, out);
+      }
+    }
+  };
+  const call = (address, def, include) => {
+    if (incompatible.length === 0) return NOTHING;
+    const op = ops.get(address);
+    if (!op || !def) return NOTHING;
+    const out = [...op.broken];
+    for (const id of op.prints) out.push(...reach(id));
+    if (include && def.payload) {
+      const records = new Set(payloadRecordPaths(def.payload).map((entry) => entry.modelKey));
+      if (records.size === 1) included([...records][0], include, out);
+    }
+    if (out.length === 0) return NOTHING;
+    const unique = new Map(out.map((broken) => [broken.path, broken]));
+    return [...unique.values()].sort((a, b) => a.path < b.path ? -1 : a.path > b.path ? 1 : 0);
+  };
+  return {
+    incompatible,
+    modelCall: (model, op, include) => call(`models.${model}.ops.${op}`, generated.models[model]?.ops?.[op], include),
+    namespaceCall: (namespace, op, include) => call(
+      `namespaces.${namespace}.ops.${op}`,
+      generated.namespaces?.[namespace]?.ops?.[op],
+      include
+    )
+  };
+}
+
 // src/data/subscription-document.ts
 function printSubscriptionDocument(input) {
   const args = input.args ?? [];
@@ -1863,6 +2161,15 @@ function describeDrift(drift) {
   const moved = describeChanged(drift.changed);
   return `the types were generated from surface ${drift.generated}, and the server is serving ${drift.server} (${drift.channel}).` + (moved ? ` Changed since: ${moved}.` : "");
 }
+var NAMED_INCOMPATIBLE_PARTS = 5;
+function nameParts(parts) {
+  const named = parts.slice(0, NAMED_INCOMPATIBLE_PARTS).join(", ");
+  const rest = parts.length - NAMED_INCOMPATIBLE_PARTS;
+  return rest > 0 ? `${named} and ${rest} more` : named;
+}
+function describeIncompatible(parts) {
+  return nameParts(parts.map((part) => `${part.path} (${part.reason})`));
+}
 function announceFallback(config) {
   if (config.generated !== void 0 || config.selections !== void 0) return;
   if (config.announceManifestFallback === false) return;
@@ -1881,6 +2188,7 @@ function createFoirClient(clientConfig) {
   announceFallback(config);
   let driftChecked = false;
   let detectedDrift;
+  let servedComparison;
   let manifestOnce;
   const manifest = () => {
     if (!manifestOnce) {
@@ -1909,32 +2217,51 @@ function createFoirClient(clientConfig) {
     driftChecked = true;
     void manifest().then((served) => {
       if (!served.surfaceVersion || served.surfaceVersion === generated) return;
+      const comparison = config.selections ? compareFoirSurfaces(
+        {
+          models: config.selections,
+          namespaces: config.namespaceSelections,
+          selectionUnions: config.selectionUnions
+        },
+        served
+      ) : void 0;
       const drift = {
         generated,
         server: served.surfaceVersion,
         channel: served.channel,
-        changed: changedSurfaceParts(config.surfaceHashes, served.surfaceHashes)
+        changed: changedSurfaceParts(config.surfaceHashes, served.surfaceHashes),
+        incompatible: comparison?.incompatible ?? []
       };
       detectedDrift = drift;
+      servedComparison = comparison;
       if (config.onSchemaDrift) {
         config.onSchemaDrift(drift);
         return;
       }
+      if (drift.incompatible.length === 0) {
+        console.warn(
+          `[foir] schema drift: ${describeDrift(drift)} Everything the generated module describes is still served as generated, so every typed call keeps working. The surface has grown: re-run \`foir types\` to pick up what is new, because a field added since is not merely untyped, it is not requested.`
+        );
+        return;
+      }
+      const those = drift.incompatible.length === 1 ? "it" : "them";
       console.warn(
-        `[foir] schema drift: ${describeDrift(drift)} Re-run \`foir types\`: the selection trees this client prints from are the ones that surface published, so a new field is not merely untyped, it is not requested.`
+        `[foir] schema drift: ${describeDrift(drift)} No longer served as the generated module describes: ${nameParts(drift.incompatible)}. ` + (config.strictSchemaDrift === false ? `Typed calls that depend on ${those} are still sent, and can fail or answer in another shape. ` : `Typed calls that depend on ${those} are refused. `) + `Re-run \`foir types\`.`
       );
     }).catch(() => {
     });
   };
-  const assertNoStaleSelections = (what) => {
-    if (config.strictSchemaDrift === false || !detectedDrift) return;
+  const assertStillServed = (what, dependsOn) => {
+    if (config.strictSchemaDrift === false || !detectedDrift || !servedComparison) return;
+    const broken = dependsOn(servedComparison);
+    if (broken.length === 0) return;
     throw new FoirSchemaDriftError(
-      `[foir] refusing ${what}: ${describeDrift(detectedDrift)} The selection trees this client prints from are the ones that surface published, so a field added since is not requested at all. Re-run \`foir types\`.`,
+      `[foir] refusing ${what}: ${describeDrift(detectedDrift)} This call depends on ${describeIncompatible(broken)}, which the server no longer serves as the generated module describes. Re-run \`foir types\`.`,
       detectedDrift
     );
   };
   const runModel = async (model, op, query) => {
-    assertNoStaleSelections(`${model}.${op}`);
+    assertStillServed(`${model}.${op}`, (served) => served.modelCall(model, op, query?.include));
     const { args, include, omit, pick, depth } = splitQuery(query);
     const source = await selectionSource();
     const plan = planFoirModelCall(source, {
@@ -1952,7 +2279,10 @@ function createFoirClient(clientConfig) {
     return result;
   };
   const runNamespace = async (namespace, op, query) => {
-    assertNoStaleSelections(`ns.${namespace}.${op}`);
+    assertStillServed(
+      `ns.${namespace}.${op}`,
+      (served) => served.namespaceCall(namespace, op, query?.include)
+    );
     const { args, include, omit, pick, depth } = splitQuery(query);
     const plan = planFoirNamespaceCall(await selectionSource(), {
       namespace,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@foir/sdk",
-  "version": "0.18.0",
+  "version": "0.19.0",
   "description": "Official Foir SDK — editor iframe client + server-side platform helpers",
   "type": "module",
   "publishConfig": {