@fougere/cli 0.9.2-alpha.0 → 0.10.0-alpha.0

package/app/commands/CheckCommand.ts

@@ -1,4 +1,5 @@
-import type { CheckResult, Finding } from '../../fronds/analysis/handlers/CheckHandler.js';
+import type { CheckResult } from '../../fronds/analysis/handlers/CheckHandler.js';
+import type { Diagnostic } from '@fougere/core';
 import type { App } from '@fougere/core';
 import { createAppRunner } from '@fougere/core';
 import type { ui as createUi } from '../../src/ui.js';
@@ -45,7 +46,7 @@ export default class CheckCommand {
   }
 }
 
-function render(f: Finding): string {
+function render(f: Diagnostic): string {
   const mark = f.severity === 'blocking' ? pc.red('✗') : pc.yellow('⚠');
   const where = relative(process.cwd(), f.filePath) || f.filePath;
   const what = f.subject ? ` ${f.subject}` : '';

package/app/commands/ExplainCommand.ts

@@ -19,7 +19,7 @@ export default class ExplainCommand {
     const operation = (raw.operation as string | undefined)?.trim();
 
     // No operation named — the question is what this project serves at all. The same
-    // model answers both, so the door is the one that was asked, never a guess.
+    // model answers both, so the facade is the one that was asked, never a guess.
     if (names || !operation) return this.listing(raw, names);
 
     const result = await this.ask('execute', raw) as ExplainResult;
@@ -88,12 +88,26 @@ export function renderExplain(result: ExplainResult): string {
     `${pc.dim('Surfaces:')}  ${result.exposure.surfaces.join(', ') || '—'}`,
     `${pc.dim('Adapters:')}  ${result.exposure.adapters.join(', ') || '—'}`,
     `${pc.dim('Placement:')} ${result.placement.frond} / ${result.placement.runtime}${result.placement.remote ? ` (${result.placement.remote})` : ''}`,
+    // Where the work GOES, under where it answers. The hop count is what a sampling rate, a
+    // histogram's bounds and a load threshold are all a function of — each hard-coded today.
+    `${pc.dim('Reach:')}     ${renderReach(result.reach)}`,
   );
 
   if (result.handler.file) lines.push(`${pc.dim('Source:')}    ${result.handler.file}`);
   return lines.join('\n');
 }
 
+/** What this op reaches, and the part of it that costs a round trip. */
+function renderReach(reach: ExplainResult['reach']): string {
+  if (reach.fronds.length === 0) return pc.dim('nothing outside its own frond');
+
+  const named = reach.fronds
+    .map((one) => (one.runtime === 'remote' ? pc.yellow(one.frond) : pc.cyan(one.frond)))
+    .join(', ');
+
+  return `${named} ${pc.dim(`— ${reach.hops} hop(s)`)}`;
+}
+
 export function renderListing(listing: ExplainListing): string {
   const lines = [pc.bold('Fronds')];
   if (listing.fronds.length === 0) lines.push('  —');

package/app/commands/GraphCommand.ts

@@ -1,5 +1,5 @@
 import type { GraphResult } from '../../fronds/analysis/handlers/GraphHandler.js';
-import type { EntityNode, DomainCluster, App } from '@fougere/core';
+import type { DeclaredTopology, EntityNode, DomainCluster, App } from '@fougere/core';
 import { createAppRunner } from '@fougere/core';
 import type { ui as createUi } from '../../src/ui.js';
 import pc from 'picocolors';
@@ -25,6 +25,7 @@ export default class GraphCommand {
     }
 
     this.ui.step(`${pc.bold(String(result.totalEntities))} entities, ${pc.bold(String(result.totalRefs))} refs, ${pc.bold(String(result.fronds.length))} frond(s)`);
+    this.ui.note(renderFronds(result.declared), 'Fronds');
     this.ui.note(renderGraph(result.nodes), 'Entity Graph');
 
     const min = (raw.minEntities as number) ?? 6;
@@ -39,6 +40,29 @@ export default class GraphCommand {
   }
 }
 
+/**
+ * Where each frond runs, and which reaches which. Read from `remotes:` and from what handlers
+ * ask for — never from a call, so this says the same thing with nothing running.
+ */
+function renderFronds(declared: DeclaredTopology): string {
+  const reached = new Map<string, string[]>();
+  for (const edge of declared.edges) {
+    reached.set(edge.from, [...(reached.get(edge.from) ?? []), edge.to]);
+  }
+
+  const width = Math.max(0, ...declared.fronds.map((one) => one.frond.length));
+
+  return declared.fronds.map((one) => {
+    const name = pc.bold(one.frond.padEnd(width));
+    const where = one.placement === 'local' ? pc.dim('local ') : pc.yellow('remote');
+    const at = one.at ? `  ${pc.dim(one.at)}` : '';
+    const calls = reached.get(one.frond);
+    const out = calls ? `  ${pc.dim('→')} ${calls.map((to) => pc.cyan(to)).join(', ')}` : '';
+
+    return `  ${name}  ${where}${at}${out}`;
+  }).join('\n');
+}
+
 function renderGraph(nodes: Map<string, EntityNode>): string {
   return [...nodes.entries()].map(([name, node]) => {
     const refs = node.refs.length > 0

package/app/commands/LoadCommand.ts

@@ -0,0 +1,44 @@
+import type { App } from '@fougere/core';
+import { createAppRunner } from '@fougere/core';
+import type { LoadScenario } from '../../fronds/analysis/handlers/LoadHandler.js';
+import type { ui as createUi } from '../../src/ui.js';
+import pc from 'picocolors';
+import { machineWanted, printMachine } from '../../src/machine.js';
+
+type Ui = ReturnType<typeof createUi>;
+
+/**
+ * The command the generated header has been naming all along.
+ *
+ * What it writes is derived — the operations from what the project serves, a body for each from
+ * the entity's own fields, the envelope from the one function that states it. What it cannot
+ * derive is what the load IS: the weights, the stages and the thresholds are facts about your
+ * users, and the file says so where they sit.
+ */
+export default class LoadCommand {
+  constructor(private app: App, private ui: Ui) {}
+
+  async run(raw: Record<string, unknown>) {
+    const result = await createAppRunner(this.app)(
+      { entity: 'load', op: 'execute' },
+      { params: {}, query: {}, input: raw, state: {} },
+    ) as LoadScenario;
+
+    if (machineWanted(raw)) return printMachine(result);
+
+    if (result.operations.length === 0) {
+      this.ui.warn('No operation answers the default facade — nothing to put under load.');
+      return;
+    }
+
+    if (!result.file) {
+      process.stdout.write(result.script);
+      return;
+    }
+
+    this.ui.step(`${pc.bold(String(result.operations.length))} operation(s) against ${pc.dim(result.facade)}`);
+    this.ui.note(result.operations.map((one) => `  ${one}`).join('\n'), 'Under load');
+    this.ui.info(`${pc.dim('Written to')} ${result.file}  ${pc.dim('— edit the weights, the stages and the thresholds.')}`);
+    this.ui.info(`${pc.dim('Then:')} k6 run ${result.file}`);
+  }
+}

package/app/commands/ServeCommand.ts

@@ -1,7 +1,7 @@
 import { createLocalRunner, identityFromEnv } from '@fougere/core';
 import { watchPathsOf } from '@fougere/compiler';
 import { installLoader } from '../../src/loader.js';
-import type { Conventions } from '@fougere/core';
+
 import { bootApp } from '@fougere/defaults';
 import { serve } from '@fougere/transport-http';
 import { watch } from 'node:fs';

package/dist/bridge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bridge.d.ts","sourceRoot":"","sources":["../src/bridge.ts"],"names":[],"mappings":"AACA,6BAA6B;AAC7B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAE9C,OAAO,KAAK,EAAE,OAAO,EAAU,MAAM,OAAO,CAAC;AAM7C,6DAA6D;AAC7D,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CA4CpD"}
+{"version":3,"file":"bridge.d.ts","sourceRoot":"","sources":["../src/bridge.ts"],"names":[],"mappings":"AACA,6BAA6B;AAC7B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAE9C,OAAO,KAAK,EAAE,OAAO,EAAU,MAAM,OAAO,CAAC;AA0B7C,6DAA6D;AAC7D,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CA+CpD"}

package/dist/bridge.js

@@ -3,22 +3,42 @@ import { Shapes, Visibility } from '@fougere/schema';
 function toKebab(name) {
     return name.replace(/[A-Z]/g, (c) => '-' + c.toLowerCase());
 }
+/**
+ * What a caller supplies: the fields the axes admit, or the PRIMARY when they admit nothing.
+ *
+ * `Visibility.input` answers who may WRITE a field, and a primary is the server's — right for a
+ * form, wrong for an operation whose whole input is `Product.pick('id')`. That contract asks the
+ * caller to NAME a row, and the axes leave it with no argument at all: `product:archive abc-9`
+ * answered `Unexpected argument`.
+ *
+ * Only when nothing else remains, so `create` over a full entity is untouched — its input holds
+ * twelve writable fields and the primary stays the server's.
+ */
+function suppliedIn(fields) {
+    const written = Visibility.of(fields).input;
+    if (Object.keys(written).length > 0)
+        return written;
+    return Object.fromEntries(Object.entries(fields).filter(([, field]) => Role.of(field).isPrimary));
+}
 /** Convert an Entity's fields into citty args definition. */
 export function entityToArgs(fields) {
     const args = {};
     let positionalIndex = 0;
-    // Axes-derived ingress membership; the CLI additionally skips ALL relations
-    // (a ref is not a flag — supplying related rows is not a CLI gesture).
-    for (const [key, field] of Object.entries(Visibility.of(fields).input)) {
+    // The CLI additionally skips ALL relations: a ref is not a flag — supplying related rows is
+    // not a CLI gesture.
+    for (const [key, field] of Object.entries(suppliedIn(fields))) {
         if (Role.of(field).isRelation)
             continue;
         // A `default(v)` travels as the create rule `{ value }` — citty shows it.
         const defaultValue = Lifecycle.of(field).literal?.value;
         const { base: shape, nullable } = Shapes.of(field.shape);
         const type = Shapes.typeOf(field.shape);
+        // Naming a row is required by definition: a generator fills a primary the server writes,
+        // never one a caller hands in to designate.
+        const designates = Role.of(field).isPrimary;
         const common = {
             description: field.meta?.description,
-            required: !nullable && Lifecycle.of(field).requiredAtCreate,
+            required: designates || (!nullable && Lifecycle.of(field).requiredAtCreate),
         };
         // A closed set is citty's `enum`: the shape already names the legal values, so the
         // refusal and the `--help` listing come from the declaration rather than a check

package/dist/bridge.js.map

@@ -1 +1 @@
-{"version":3,"file":"bridge.js","sourceRoot":"","sources":["../src/bridge.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAGlD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAkB,MAAM,iBAAiB,CAAC;AAGrE,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,MAAM,IAAI,GAAY,EAAE,CAAC;IACzB,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,4EAA4E;IAC5E,uEAAuE;IACvE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACvE,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,UAAU;YAAE,SAAS;QAExC,0EAA0E;QAC1E,MAAM,YAAY,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC;QACxD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG;YACb,WAAW,EAAE,KAAK,CAAC,IAAI,EAAE,WAAW;YACpC,QAAQ,EAAE,CAAC,QAAQ,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,gBAAgB;SAC5D,CAAC;QAEF,mFAAmF;QACnF,iFAAiF;QACjF,qBAAqB;QACrB,MAAM,OAAO,GAAG,KAAK,EAAE,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,MAAM;YAC5D,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;YAC/D,CAAC,CAAC,SAAS,CAAC;QACd,oFAAoF;QACpF,qCAAqC;QACrC,MAAM,UAAU,GAAG,eAAe,KAAK,CAAC;eACnC,MAAM,CAAC,QAAQ;eACf,GAAG,KAAK,OAAO;eACf,OAAO,KAAK,SAAS;eACrB,IAAI,KAAK,SAAS;eAClB,IAAI,KAAK,MAAM,CAAC;QACrB,IAAI,UAAU;YAAE,eAAe,EAAE,CAAC;QAElC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CACtD,IAAI,EACJ,MAAM,EACN,YAAY,EACZ,OAAO,EACP,UAAU,CACX,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,eAAe,GAA+B;IAClD,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,IAAI;IACb,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,KAAK;IACb,KAAK,EAAE,KAAK;CACb,CAAC;AAEF,sCAAsC;AACtC,SAAS,MAAM,CACb,IAA2B,EAC3B,MAAmD,EACnD,YAAqB,EACrB,OAA6B,EAC7B,UAAmB;IAEnB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,YAAY,KAAK,SAAS;YAC/B,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE;YAChC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAuB,EAAE,CAAC;IACvE,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,YAAY,KAAK,SAAS;QAC7E,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE;QACnC,CAAC,CAAC,EAAE,CAAC;IAEP,IAAI,OAAO;QAAE,OAAO,EAAE,GAAG,MAAM,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IACzE,IAAI,UAAU;QAAE,OAAO,EAAE,GAAG,MAAM,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAEzE,OAAO,EAAE,GAAG,MAAM,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACvD,CAAC"}
+{"version":3,"file":"bridge.js","sourceRoot":"","sources":["../src/bridge.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAGlD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAkB,MAAM,iBAAiB,CAAC;AAGrE,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,UAAU,CAAC,MAAc;IAChC,MAAM,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC;IAEpD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAC7D,CAAC;AACd,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,MAAM,IAAI,GAAY,EAAE,CAAC;IACzB,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,4FAA4F;IAC5F,qBAAqB;IACrB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC9D,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,UAAU;YAAE,SAAS;QAExC,0EAA0E;QAC1E,MAAM,YAAY,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC;QACxD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACxC,yFAAyF;QACzF,4CAA4C;QAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC;QAC5C,MAAM,MAAM,GAAG;YACb,WAAW,EAAE,KAAK,CAAC,IAAI,EAAE,WAAW;YACpC,QAAQ,EAAE,UAAU,IAAI,CAAC,CAAC,QAAQ,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,gBAAgB,CAAC;SAC5E,CAAC;QAEF,mFAAmF;QACnF,iFAAiF;QACjF,qBAAqB;QACrB,MAAM,OAAO,GAAG,KAAK,EAAE,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,MAAM;YAC5D,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;YAC/D,CAAC,CAAC,SAAS,CAAC;QACd,oFAAoF;QACpF,qCAAqC;QACrC,MAAM,UAAU,GAAG,eAAe,KAAK,CAAC;eACnC,MAAM,CAAC,QAAQ;eACf,GAAG,KAAK,OAAO;eACf,OAAO,KAAK,SAAS;eACrB,IAAI,KAAK,SAAS;eAClB,IAAI,KAAK,MAAM,CAAC;QACrB,IAAI,UAAU;YAAE,eAAe,EAAE,CAAC;QAElC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CACtD,IAAI,EACJ,MAAM,EACN,YAAY,EACZ,OAAO,EACP,UAAU,CACX,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,eAAe,GAA+B;IAClD,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,IAAI;IACb,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,KAAK;IACb,KAAK,EAAE,KAAK;CACb,CAAC;AAEF,sCAAsC;AACtC,SAAS,MAAM,CACb,IAA2B,EAC3B,MAAmD,EACnD,YAAqB,EACrB,OAA6B,EAC7B,UAAmB;IAEnB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,YAAY,KAAK,SAAS;YAC/B,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE;YAChC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAuB,EAAE,CAAC;IACvE,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,YAAY,KAAK,SAAS;QAC7E,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE;QACnC,CAAC,CAAC,EAAE,CAAC;IAEP,IAAI,OAAO;QAAE,OAAO,EAAE,GAAG,MAAM,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IACzE,IAAI,UAAU;QAAE,OAAO,EAAE,GAAG,MAAM,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAEzE,OAAO,EAAE,GAAG,MAAM,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACvD,CAAC"}

package/dist/machine.d.ts

@@ -1,7 +1,7 @@
 /** A command's machine output — the one shape a pipe reads. */
 export declare function machineWanted(raw: Record<string, unknown>): boolean;
 /**
- * A `Map` serializes to `{}`, so the door converts it rather than each command flattening its own
+ * A `Map` serializes to `{}`, so the facade converts it rather than each command flattening its own
  * result: `GraphResult.nodes` is a Map, and `graph --json` would have printed a report with an
  * empty graph in it.
  */

package/dist/machine.js

@@ -3,7 +3,7 @@ export function machineWanted(raw) {
     return raw.json === true || typeof raw.names === 'string';
 }
 /**
- * A `Map` serializes to `{}`, so the door converts it rather than each command flattening its own
+ * A `Map` serializes to `{}`, so the facade converts it rather than each command flattening its own
  * result: `GraphResult.nodes` is a Map, and `graph --json` would have printed a report with an
  * empty graph in it.
  */

package/dist/runner.d.ts

@@ -3,5 +3,13 @@
  * via citty.
  */
 import type { App } from '@fougere/core';
-export declare function run(app: App): Promise<void>;
+/**
+ * Every operation of an app, as a terminal command.
+ *
+ * `root` is where the PRESENTATION classes are looked for — `app/commands/`, one per command
+ * that wants to print something of its own. It defaults to this package, which is how
+ * `npx fougere` finds its fifteen; a project passes its own and gets the same treatment for
+ * the operations it declares, with no class at all where a default rendering will do.
+ */
+export declare function run(app: App, root?: string): Promise<void>;
 //# sourceMappingURL=runner.d.ts.map

package/dist/runner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAwCzC,wBAAsB,GAAG,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAgGjD"}
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAwCzC;;;;;;;GAOG;AACH,wBAAsB,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,SAA0C,GAAG,OAAO,CAAC,IAAI,CAAC,CA+FjG"}

package/dist/runner.js

@@ -13,9 +13,9 @@ function toCamel(kebab) {
     return kebab.replace(/-([a-z])/g, (_, c) => c.toUpperCase());
 }
 /** Scan app/commands/ for command classes. */
-async function loadAppCommands(cliRoot, loader) {
+async function loadAppCommands(root, loader) {
     const map = new Map();
-    const dir = join(cliRoot, 'app', 'commands');
+    const dir = join(root, 'app', 'commands');
     const files = await readdir(dir, { withFileTypes: true }).catch(() => []);
     for (const f of files) {
         if (!f.isFile() || !(f.name.endsWith('.ts') || f.name.endsWith('.js')))
@@ -29,13 +29,20 @@ async function loadAppCommands(cliRoot, loader) {
     }
     return map;
 }
-export async function run(app) {
+/**
+ * Every operation of an app, as a terminal command.
+ *
+ * `root` is where the PRESENTATION classes are looked for — `app/commands/`, one per command
+ * that wants to print something of its own. It defaults to this package, which is how
+ * `npx fougere` finds its fifteen; a project passes its own and gets the same treatment for
+ * the operations it declares, with no class at all where a default rendering will do.
+ */
+export async function run(app, root = new URL('..', import.meta.url).pathname) {
     const terminal = ui();
-    const cliRoot = new URL('..', import.meta.url).pathname;
     const { createJiti } = await import('jiti');
     const jiti = createJiti(import.meta.url, { interopDefault: true });
     const loader = (path) => jiti.import(path);
-    const appCommands = await loadAppCommands(cliRoot, loader);
+    const appCommands = await loadAppCommands(root, loader);
     const subCommands = {};
     for (const frond of app.fronds) {
         const handlerMap = new Map(frond.handlers.map((h) => [h.address, h]));
@@ -69,7 +76,7 @@ export async function run(app) {
                 meta: {
                     name: cmdName,
                     // `--help` reads the operation's own doc sentence, which the scan already
-                    // carries for every door (`OperationContract.description`). A table here
+                    // carries for every facade (`OperationContract.description`). A table here
                     // would be the same fact written twice, and it drifted: it described `add`
                     // and `doctor`, which do not exist, and had nothing for `call` or `serve`.
                     description: handlerEntry.operations.get('execute')?.description,

package/dist/runner.js.map

@@ -1 +1 @@
-{"version":3,"file":"runner.js","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC;AAC/C,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC5B,OAAO,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,8CAA8C;AAC9C,KAAK,UAAU,eAAe,CAC5B,OAAe,EACf,MAA0D;IAE1D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;IACtB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IAE1E,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAAE,SAAS;QACjF,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,IAAI,GAAG,CAAC,OAAO,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACrD,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,GAAG,CAAC,GAAQ;IAChC,MAAM,QAAQ,GAAG,EAAE,EAAE,CAAC;IACtB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;IAExD,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,IAAI,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAqC,CAAC;IACvF,MAAM,WAAW,GAAG,MAAM,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAE3D,MAAM,WAAW,GAAqD,EAAE,CAAC;IAEzE,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAEtE,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpC,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,YAAY;gBAAE,SAAS;YAE5B,MAAM,WAAW,GAAG,GAAG,MAAM,CAAC,IAAI,SAAS,CAAC;YAC5C,IAAI,OAAiC,CAAC;YACtC,IAAI,CAAC;gBACH,OAAO,GAAG,GAAG,CAAC,OAAO,CAA2B,WAAW,CAAC,CAAC;YAC/D,CAAC;YAAC,MAAM,CAAC;gBAAC,SAAS;YAAC,CAAC;YAErB,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,UAAU;gBAAE,SAAS;YAEpD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;YAC9C,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YAElC,gDAAgD;YAChD,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAE5C,gFAAgF;YAChF,IAAI,UAAU,EAAE,CAAC;gBACf,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG;wBAAE,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;gBAC3D,CAAC;YACH,CAAC;YAED,WAAW,CAAC,OAAO,CAAC,GAAG,aAAa,CAAC;gBACnC,IAAI,EAAE;oBACJ,IAAI,EAAE,OAAO;oBACb,0EAA0E;oBAC1E,yEAAyE;oBACzE,2EAA2E;oBAC3E,2EAA2E;oBAC3E,WAAW,EAAE,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,WAAW;iBACjE;gBACD,IAAI;gBACJ,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE;oBAC9B,gFAAgF;oBAChF,iFAAiF;oBACjF,8EAA8E;oBAC9E,MAAM,aAAa,GAAG,aAAa,CAAC,MAAiC,CAAC,CAAC;oBAEvE,+EAA+E;oBAC/E,sDAAsD;oBACtD,IAAI,OAAO,KAAK,YAAY,IAAI,CAAC,aAAa;wBAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;oBAEjE,sEAAsE;oBACtE,qDAAqD;oBACrD,MAAM,KAAK,GAAG,EAAE,GAAI,MAAkC,EAAE,CAAC;oBACzD,OAAO,KAAK,CAAC,CAAC,CAAC;oBACf,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;oBAEnB,IAAI,CAAC;wBACH,IAAI,UAAU,EAAE,CAAC;4BACf,MAAM,GAAG,GAAG,IAAK,UAAgG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;4BACjI,MAAM,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;wBACvB,CAAC;6BAAM,CAAC;4BACN,kEAAkE;4BAClE,MAAM,eAAe,CAAC,GAAG,CAAC,CACxB,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,EAClD,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CACnD,CAAC;wBACJ,CAAC;oBACH,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;wBACjE,4EAA4E;wBAC5E,sEAAsE;wBACtE,IAAI,aAAa;4BAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;;4BACnD,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;wBAC7B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAClB,CAAC;gBACH,CAAC;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,aAAa,CAAC;QACzB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;QACrD,WAAW;KACZ,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC"}
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC;AAC/C,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC5B,OAAO,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,8CAA8C;AAC9C,KAAK,UAAU,eAAe,CAC5B,IAAY,EACZ,MAA0D;IAE1D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;IACtB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IAE1E,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAAE,SAAS;QACjF,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,IAAI,GAAG,CAAC,OAAO,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACrD,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,GAAG,CAAC,GAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ;IAChF,MAAM,QAAQ,GAAG,EAAE,EAAE,CAAC;IAEtB,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,IAAI,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAqC,CAAC;IACvF,MAAM,WAAW,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAExD,MAAM,WAAW,GAAqD,EAAE,CAAC;IAEzE,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAEtE,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpC,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,YAAY;gBAAE,SAAS;YAE5B,MAAM,WAAW,GAAG,GAAG,MAAM,CAAC,IAAI,SAAS,CAAC;YAC5C,IAAI,OAAiC,CAAC;YACtC,IAAI,CAAC;gBACH,OAAO,GAAG,GAAG,CAAC,OAAO,CAA2B,WAAW,CAAC,CAAC;YAC/D,CAAC;YAAC,MAAM,CAAC;gBAAC,SAAS;YAAC,CAAC;YAErB,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,UAAU;gBAAE,SAAS;YAEpD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;YAC9C,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YAElC,gDAAgD;YAChD,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAE5C,gFAAgF;YAChF,IAAI,UAAU,EAAE,CAAC;gBACf,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG;wBAAE,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;gBAC3D,CAAC;YACH,CAAC;YAED,WAAW,CAAC,OAAO,CAAC,GAAG,aAAa,CAAC;gBACnC,IAAI,EAAE;oBACJ,IAAI,EAAE,OAAO;oBACb,0EAA0E;oBAC1E,2EAA2E;oBAC3E,2EAA2E;oBAC3E,2EAA2E;oBAC3E,WAAW,EAAE,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,WAAW;iBACjE;gBACD,IAAI;gBACJ,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE;oBAC9B,gFAAgF;oBAChF,iFAAiF;oBACjF,8EAA8E;oBAC9E,MAAM,aAAa,GAAG,aAAa,CAAC,MAAiC,CAAC,CAAC;oBAEvE,+EAA+E;oBAC/E,sDAAsD;oBACtD,IAAI,OAAO,KAAK,YAAY,IAAI,CAAC,aAAa;wBAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;oBAEjE,sEAAsE;oBACtE,qDAAqD;oBACrD,MAAM,KAAK,GAAG,EAAE,GAAI,MAAkC,EAAE,CAAC;oBACzD,OAAO,KAAK,CAAC,CAAC,CAAC;oBACf,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;oBAEnB,IAAI,CAAC;wBACH,IAAI,UAAU,EAAE,CAAC;4BACf,MAAM,GAAG,GAAG,IAAK,UAAgG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;4BACjI,MAAM,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;wBACvB,CAAC;6BAAM,CAAC;4BACN,kEAAkE;4BAClE,MAAM,eAAe,CAAC,GAAG,CAAC,CACxB,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,EAClD,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CACnD,CAAC;wBACJ,CAAC;oBACH,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;wBACjE,4EAA4E;wBAC5E,sEAAsE;wBACtE,IAAI,aAAa;4BAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;;4BACnD,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;wBAC7B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAClB,CAAC;gBACH,CAAC;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,aAAa,CAAC;QACzB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;QACrD,WAAW;KACZ,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC"}

package/dist/typescript/{EntityTypes.d.ts → EntityTypes/EntityTypes.d.ts}

@@ -1,8 +1,5 @@
 import { type SchemaDescriptor } from '@fougere/schema';
-export interface EntityTypesOptions {
-    name?: string;
-    exported?: boolean;
-}
+import type { EntityTypesOptions } from './EntityTypesOptions.js';
 export declare class EntityTypes {
     private readonly descriptor;
     private constructor();

package/dist/typescript/EntityTypes/EntityTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntityTypes.d.ts","sourceRoot":"","sources":["../../../src/typescript/EntityTypes/EntityTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoC,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAE1F,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAsDlE,qBAAa,WAAW;IACF,OAAO,CAAC,QAAQ,CAAC,UAAU;IAA/C,OAAO,eAA8D;IAErE,MAAM,CAAC,EAAE,CAAC,UAAU,EAAE,gBAAgB,GAAG,WAAW,CAEnD;IAED,MAAM,CAAC,OAAO,GAAE,kBAAuB,GAAG,MAAM,CAS/C;CACF"}

package/dist/typescript/{EntityTypes.js → EntityTypes/EntityTypes.js}

@@ -1,5 +1,5 @@
 import { upperFirst } from '@fougere/schema';
-import { docCommentOf, propertyKey } from './syntax.js';
+import { docCommentOf, propertyKey } from '../syntax.js';
 /** So a nullable field lands as a union. */
 function typeOf(field) {
     const types = Array.isArray(field.type) ? field.type : field.type ? [field.type] : [];

package/dist/typescript/EntityTypes/EntityTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntityTypes.js","sourceRoot":"","sources":["../../../src/typescript/EntityTypes/EntityTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAA+C,MAAM,iBAAiB,CAAC;AAC1F,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAGzD,4CAA4C;AAC5C,SAAS,MAAM,CAAC,KAAsB;IACpC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtF,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,OAAO,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9C,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU,CAAC,IAAwB,EAAE,KAAsB;IAClE,IAAI,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtF,CAAC;IACD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC1D,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC;QAC/D,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC;QAC7G;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,gDAAgD;AAChD,SAAS,YAAY,CAAC,UAA2C,EAAE,QAA2B;IAC5F,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE;QAC/D,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QACpD,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC7D,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACrC,CAAC;AAED,mDAAmD;AACnD,SAAS,WAAW,CAAC,UAA4B,EAAE,MAAM,GAAG,EAAE;IAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IAC5D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;QACzC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC;QAC3D,OAAO,GAAG,GAAG,GAAG,MAAM,KAAK,WAAW,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;IACnE,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,GAAG,CAAC;AAC9C,CAAC;AAED,MAAM,OAAO,WAAW;IACe,UAAU;IAA/C,YAAqC,UAA4B;0BAA5B,UAAU;IAAqB,CAAC;IAErE,MAAM,CAAC,EAAE,CAAC,UAA4B;QACpC,OAAO,IAAI,WAAW,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,CAAC,OAAO,GAAuB,EAAE;QACrC,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC;QACzF,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;aAClD,KAAK,CAAC,IAAI,CAAC;aACX,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;aAChD,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,OAAO,GAAG,QAAQ,SAAS,IAAI,gCAAgC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,iBAAiB,CAAC;IACxH,CAAC;CACF;AAED,iFAAiF;AACjF,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,IAAI,IAAI,2EAA2E,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/typescript/EntityTypes/EntityTypesOptions.d.ts

@@ -0,0 +1,5 @@
+export interface EntityTypesOptions {
+    name?: string;
+    exported?: boolean;
+}
+//# sourceMappingURL=EntityTypesOptions.d.ts.map

package/dist/typescript/EntityTypes/EntityTypesOptions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntityTypesOptions.d.ts","sourceRoot":"","sources":["../../../src/typescript/EntityTypes/EntityTypesOptions.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,kBAAkB;IACjC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB"}

package/dist/typescript/EntityTypes/EntityTypesOptions.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=EntityTypesOptions.js.map

package/dist/typescript/EntityTypes/EntityTypesOptions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntityTypesOptions.js","sourceRoot":"","sources":["../../../src/typescript/EntityTypes/EntityTypesOptions.ts"],"names":[],"mappings":""}

package/dist/typescript/FacadeTypes/FacadeTypes.d.ts

@@ -0,0 +1,9 @@
+import type { FacadeTypesOptions } from './FacadeTypesOptions.js';
+import type { OpDescriptor } from './OpDescriptor.js';
+export declare class FacadeTypes {
+    private readonly operations;
+    private constructor();
+    static of(operations: readonly OpDescriptor[]): FacadeTypes;
+    render(options?: FacadeTypesOptions): string;
+}
+//# sourceMappingURL=FacadeTypes.d.ts.map

package/dist/typescript/FacadeTypes/FacadeTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FacadeTypes.d.ts","sourceRoot":"","sources":["../../../src/typescript/FacadeTypes/FacadeTypes.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AActD,qBAAa,WAAW;IACF,OAAO,CAAC,QAAQ,CAAC,UAAU;IAA/C,OAAO,eAAqE;IAE5E,MAAM,CAAC,EAAE,CAAC,UAAU,EAAE,SAAS,YAAY,EAAE,GAAG,WAAW,CAE1D;IAED,MAAM,CAAC,OAAO,GAAE,kBAAuB,GAAG,MAAM,CAW/C;CACF"}

package/dist/typescript/{FacadeTypes.js → FacadeTypes/FacadeTypes.js}

@@ -1,4 +1,4 @@
-import { docCommentOf, propertyKey } from './syntax.js';
+import { docCommentOf, propertyKey } from '../syntax.js';
 /** So a consumer sees the cardinality in the type, not in a doc line. */
 function returnTypeOf(op, rowType) {
     switch (op.cardinality) {

package/dist/typescript/FacadeTypes/FacadeTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FacadeTypes.js","sourceRoot":"","sources":["../../../src/typescript/FacadeTypes/FacadeTypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAIzD,yEAAyE;AACzE,SAAS,YAAY,CAAC,EAAgB,EAAE,OAAe;IACrD,QAAQ,EAAE,CAAC,WAAW,EAAE,CAAC;QACvB,KAAK,MAAM,EAAE,OAAO,GAAG,OAAO,IAAI,CAAC;QACnC,KAAK,MAAM,EAAE,OAAO,GAAG,OAAO,gEAAgE,CAAC;QAC/F,KAAK,OAAO,EAAE,OAAO,GAAG,OAAO,cAAc,CAAC;QAC9C,KAAK,KAAK,EAAE,OAAO,OAAO,CAAC;QAC3B,KAAK,MAAM,EAAE,OAAO,SAAS,CAAC;QAC9B,SAAS,OAAO,SAAS,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,MAAM,OAAO,WAAW;IACe,UAAU;IAA/C,YAAqC,UAAmC;0BAAnC,UAAU;IAA4B,CAAC;IAE5E,MAAM,CAAC,EAAE,CAAC,UAAmC;QAC3C,OAAO,IAAI,WAAW,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,CAAC,OAAO,GAAuB,EAAE;QACrC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,QAAQ,CAAC;QACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,SAAS,CAAC;QAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;YAChD,MAAM,GAAG,GAAG,YAAY,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACtD,OAAO,GAAG,GAAG,KAAK,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,sCAAsC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC;QAC1H,CAAC,CAAC,CAAC;QAEH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,GAAG,QAAQ,aAAa,IAAI,KAAK,CAAC;QACnE,OAAO,GAAG,QAAQ,aAAa,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;IACpE,CAAC;CACF"}

package/dist/typescript/FacadeTypes/FacadeTypesOptions.d.ts

@@ -0,0 +1,6 @@
+export interface FacadeTypesOptions {
+    name?: string;
+    exported?: boolean;
+    rowType?: string;
+}
+//# sourceMappingURL=FacadeTypesOptions.d.ts.map

package/dist/typescript/FacadeTypes/FacadeTypesOptions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FacadeTypesOptions.d.ts","sourceRoot":"","sources":["../../../src/typescript/FacadeTypes/FacadeTypesOptions.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,kBAAkB;IACjC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB"}

package/dist/typescript/FacadeTypes/FacadeTypesOptions.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=FacadeTypesOptions.js.map

package/dist/typescript/FacadeTypes/FacadeTypesOptions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FacadeTypesOptions.js","sourceRoot":"","sources":["../../../src/typescript/FacadeTypes/FacadeTypesOptions.ts"],"names":[],"mappings":""}

package/dist/typescript/FacadeTypes/OpDescriptor.d.ts

@@ -0,0 +1,8 @@
+import type { SchemaDescriptor } from '@fougere/schema';
+export interface OpDescriptor {
+    name: string;
+    description?: string;
+    output?: SchemaDescriptor;
+    cardinality?: 'one' | 'maybe' | 'many' | 'page' | 'none';
+}
+//# sourceMappingURL=OpDescriptor.d.ts.map

package/dist/typescript/FacadeTypes/OpDescriptor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OpDescriptor.d.ts","sourceRoot":"","sources":["../../../src/typescript/FacadeTypes/OpDescriptor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAExD,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,WAAW,CAAC,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;CAC1D"}

package/dist/typescript/FacadeTypes/OpDescriptor.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=OpDescriptor.js.map

package/dist/typescript/FacadeTypes/OpDescriptor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OpDescriptor.js","sourceRoot":"","sources":["../../../src/typescript/FacadeTypes/OpDescriptor.ts"],"names":[],"mappings":""}

package/fronds/analysis/entities/Load.ts

@@ -0,0 +1,8 @@
+import { entity, bool, text } from '@fougere/schema';
+
+export default class Load extends entity({
+  root: text({ description: 'Project root directory (default: cwd)' }),
+  facade: text({ description: 'Where the calls go (default: http://127.0.0.1:3000/_fougere/call)' }),
+  out: text({ description: 'Where to write it, or empty to print it on stdout (default: <root>/load.js)' }),
+  json: bool({ default: false, description: 'Print the scenario as JSON, with nothing else on stdout' }),
+}) {}

package/fronds/analysis/handlers/BuildHandler.ts

@@ -1,6 +1,7 @@
 import { mkdir, writeFile } from 'node:fs/promises';
-import { dirname, relative, resolve } from 'node:path';
-import { emitScan } from '@fougere/compiler';
+import { loadConfig } from '@fougere/core/node';
+import { dirname, join, relative, resolve } from 'node:path';
+import { emitFacade, emitNames, emitScan } from '@fougere/compiler';
 import ProjectScan from '../services/ProjectScan.js';
 import type Build from '../entities/Build.js';
 
@@ -12,12 +13,20 @@ import type Build from '../entities/Build.js';
  * This is the same scan the next build performs again, so it is gitignored.
  */
 export const DEFAULT_OUT = '.fougere/scan.generated.ts';
+/** Types only, beside the module — what lets a client narrow a refusal it might meet. */
+export const FACADE_OUT = 'facade.generated.ts';
+/** Types only — what a config may NAME, so a string cannot designate a class that is not there. */
+export const NAMES_OUT = 'names.generated.d.ts';
 
 export interface BuildReport {
   /** Absolute, so a caller can print it or read it back. */
   out: string;
   /** Relative to the project root — what a human recognizes. */
   path: string;
+  /** Where the facades were written — one export per address, the page's facade in. */
+  facade: string;
+  /** Where the names went — the unions a config is judged against. */
+  names: string;
   fronds: string[];
   entities: number;
   handlers: number;
@@ -52,9 +61,23 @@ export default class BuildHandler {
     await mkdir(dirname(out), { recursive: true });
     await writeFile(out, emitScan(scan, { outFile: out }));
 
+    // The same scan, projected a third way. It holds no value and reaches no bundle: what a
+    // client cannot otherwise know is which refusals one facade can answer, because TypeScript
+    // records nothing about what a function throws.
+    const facade = join(dirname(out), FACADE_OUT);
+    await writeFile(facade, emitFacade(scan, { outFile: facade }));
+
+    // And a fourth, for the only place a name is still written as a string: a config file. The
+    // sources are the config's own keys, which no scan can find.
+    const config = await loadConfig(scan.root).catch(() => ({}) as Awaited<ReturnType<typeof loadConfig>>);
+    const names = join(dirname(out), NAMES_OUT);
+    await writeFile(names, emitNames(scan, { sources: Object.keys(config.sources ?? {}) }));
+
     return {
       out,
       path: relative(scan.root, out),
+      facade: relative(scan.root, facade),
+      names: relative(scan.root, names),
       fronds: scan.fronds.map((frond) => frond.name),
       entities: scan.fronds.reduce((total, frond) => total + frond.entities.length, 0),
       handlers: scan.fronds.reduce((total, frond) => total + frond.handlers.length, 0),

package/fronds/analysis/handlers/CheckHandler.ts

@@ -4,33 +4,19 @@ import {
   buildGraph,
   clusterEntities,
   resolveEffectiveOperations,
-  type ScanDiagnostic,
+  type Diagnostic,
 } from '@fougere/core';
 import { adaptersOf, crossFrondImports, handlerDeclarations, outsideConventions } from '@fougere/compiler';
 import { resolveConventions } from '@fougere/core';
 import ProjectScan from '../services/ProjectScan.js';
-
-/** One thing that does not hold, in the terms of whoever has to fix it. */
-export interface Finding {
-  severity: 'blocking' | 'warning';
-  /** Stable rule name — the same vocabulary a scan diagnostic uses. */
-  code: string;
-  /** Where to go and look. */
-  filePath: string;
-  /**
-   * What the finding is ABOUT — `PostHandler.whoNull(user)` — when the rule holds it
-   * as a fact rather than inside its sentence. Two ops of one handler breaking the
-   * same rule read as one repeated line without it.
-   */
-  subject?: string;
-  /** What is wrong, and what it costs. One sentence. */
-  message: string;
-}
+import { statSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import { FACADE_OUT, DEFAULT_OUT } from './BuildHandler.js';
 
 export interface CheckResult {
   fronds: number;
   handlers: number;
-  findings: Finding[];
+  findings: Diagnostic[];
 }
 
 /** Shared with `fougere graph` — one threshold, so the two never disagree. */
@@ -63,7 +49,7 @@ export default class CheckHandler {
       remotes: config.remotes,
       adapters: config.adapters,
     });
-    const findings: Finding[] = model.diagnostics.map(asFinding);
+    const findings: Diagnostic[] = [...model.diagnostics];
     const handlers = fronds.reduce((count, frond) => count + frond.handlers.length, 0);
 
     /**
@@ -121,7 +107,7 @@ export default class CheckHandler {
 
     /**
      * A `pattern` that backtracks super-linearly. The pattern is fixed at declaration and
-     * the string tested against it is not: whoever calls the door chooses it, so the cost
+     * the string tested against it is not: whoever calls the facade chooses it, so the cost
      * of one match is theirs to set. Judged HERE because a regex says the same thing on
      * every run — checking it per row would pay for a verdict that never changes.
      *
@@ -191,17 +177,40 @@ export default class CheckHandler {
       });
     }
 
+    findings.push(...facadeFindings(root, fronds));
+
     return { fronds: fronds.length, handlers, findings };
   }
 }
 
-/** A scan diagnostic IS a finding — same vocabulary, so the renderer has one shape. */
-function asFinding(d: ScanDiagnostic): Finding {
-  return {
-    severity: d.severity,
-    code: d.code,
-    filePath: d.filePath,
-    subject: d.subject,
-    message: d.message,
-  };
+/**
+ * A facade module older than the handlers it was read off.
+ *
+ * An ABSENT module needs no finding: a page importing one fails to resolve, loudly, and a
+ * backend project never imports one at all — warning there would fire on every project that
+ * does not want a facade, which is most of them.
+ *
+ * A STALE one is the silent case. The import resolves, the operations are the old ones, and a
+ * renamed op compiles against a name nothing serves any more. An mtime is the whole check.
+ */
+function facadeFindings(root: string, fronds: readonly { handlers: readonly { filePath: string }[] }[]): Diagnostic[] {
+  const facade = join(root, dirname(DEFAULT_OUT), FACADE_OUT);
+  const written = statSync(facade, { throwIfNoEntry: false })?.mtimeMs;
+  if (written === undefined) return [];
+
+  const newer = fronds
+    .flatMap((frond) => frond.handlers)
+    .filter((handler) => (statSync(handler.filePath, { throwIfNoEntry: false })?.mtimeMs ?? 0) > written);
+
+  if (newer.length === 0) return [];
+
+  return [{
+    severity: 'warning',
+    code: 'facade-stale',
+    filePath: facade,
+    subject: `${newer.length} handler${newer.length > 1 ? 's' : ''}`,
+    message: 'The facade module is older than the handlers it was read off, so a page checks its '
+      + 'calls against operations that may no longer exist. Run `fougere build`.',
+  }];
 }
+