@fougere/core 0.8.3-alpha.0 → 0.9.0-alpha.0

package/src/{store.ts → storage/store.ts}

@@ -1,7 +1,7 @@
 /** The thirteen gestures of {@link Storage}, derived from four. */
 import { applyCreate, applyUpdate, Lifecycle, Role, type SchemaView } from '@fougere/schema';
 import { comparisonOf, comparisonsIn, type Comparison } from './criterion.js';
-import type { Storage, StorageFactory } from './storage.js';
+import type { Storage, StorageFactory } from './port.js';
 
 /** One instance, as every realization hands it over. */
 export type Values = Record<string, unknown>;
@@ -47,11 +47,29 @@ export function storageOver(open: (entity: SchemaView, name: string) => Store):
         ? Object.fromEntries(Object.entries(values).filter(([key]) => selected.has(key)))
         : values);
 
+      // Same contract as SQL: the key and the creation stamps survive an overwrite.
+      // Named, and not reached through `this`: a caller may have wrapped these gestures,
+      // and a derived one that goes back through the front door is judged twice.
+      const upsert = async (input: Partial<Record<string, unknown>>): Promise<Values> => {
+        const values = applyCreate(fields, applyUpdate(fields, input));
+        const id = values[pk] as string | undefined;
+        if (id === undefined) throw new Error(`${name}.upsert(): no \`${pk}\` — an upsert needs the key it writes at.`);
+        const previous = await store.get(keyOf(id));
+        if (previous) {
+          for (const [key, field] of Object.entries(fields)) {
+            if (key === pk || Lifecycle.of(field).stampedOnce) values[key] = previous[key];
+          }
+        }
+        await store.set(keyOf(id), values);
+        return pick(values);
+      };
+
       return {
         client: store.client,
         async list(options?: any) {
           let items = await store.all();
           if (options?.where) items = items.filter((values) => matches(values, options.where));
+          if (options?.orderBy) items = sorted(items, options.orderBy, options.order);
           // Held before the page is cut, and after the filter: `total` answers "how many
           // match", which is what a paginator divides. Reading `store.size` at the end
           // answered a different question — everything the store holds, including the ones
@@ -104,22 +122,9 @@ export function storageOver(open: (entity: SchemaView, name: string) => Store):
           }
           return grouped;
         },
-        // Same contract as SQL: the key and the creation stamps survive an overwrite.
-        async upsert(input: Partial<Record<string, unknown>>) {
-          const values = applyCreate(fields, applyUpdate(fields, input));
-          const id = values[pk] as string | undefined;
-          if (id === undefined) throw new Error(`${name}.upsert(): no \`${pk}\` — an upsert needs the key it writes at.`);
-          const previous = await store.get(keyOf(id));
-          if (previous) {
-            for (const [key, field] of Object.entries(fields)) {
-              if (key === pk || Lifecycle.of(field).stampedOnce) values[key] = previous[key];
-            }
-          }
-          await store.set(keyOf(id), values);
-          return pick(values);
-        },
+        upsert,
         async upsertAll(inputs: readonly Partial<Record<string, unknown>>[]) {
-          for (const input of inputs) await this.upsert(input);
+          for (const input of inputs) await upsert(input);
           return inputs.length;
         },
         async create(input: Partial<Record<string, unknown>>) {
@@ -189,3 +194,17 @@ const ordered = (held: unknown, asked: unknown, holds: (a: number, b: number) =>
 /** What a Date and a number have in common, and a string keeps for itself. */
 const order = (value: unknown): number =>
   value instanceof Date ? value.getTime() : (value as number);
+
+/** The ORDER BY the engine would have compiled, answered over the rows the store held. */
+const sorted = (rows: Values[], field: string, direction: 'asc' | 'desc' | undefined): Values[] =>
+  [...rows].sort((left, right) =>
+    (direction === 'desc' ? -1 : 1) * rank(left[field], right[field]));
+
+/** A row that holds nothing sorts first, and two of them tie. */
+const rank = (left: unknown, right: unknown): number => {
+  if (left === null || left === undefined) return right === null || right === undefined ? 0 : -1;
+  if (right === null || right === undefined) return 1;
+  const [held, against] = [order(left), order(right)];
+
+  return held === against ? 0 : held < against ? -1 : 1;
+};

package/src/verify.ts

@@ -1,7 +1,7 @@
 import type { FrondDescriptor } from './descriptor/frond.js';
 import { lowerFirst } from '@fougere/schema';
 import { repositoryKeyOf } from './prefab/repository.js';
-import { storageKeyOf } from './storage.js';
+import { storageKeyOf } from './storage/port.js';
 import { presenterKeyOf } from './prefab/presenter.js';
 import { collectorKeyOf } from './prefab/collector.js';
 

package/src/wire/Invocation.ts

@@ -60,6 +60,8 @@ export class Invocation implements InvocationContext {
     return context instanceof Invocation ? context : new Invocation(context ?? {});
   }
 
+  static readonly empty = Invocation.from();
+
   /** Replaces the input — how the façade hands on the value it parsed. */
   withInput(input: unknown): Invocation {
     return new Invocation({ ...this, input });
@@ -70,10 +72,3 @@ export class Invocation implements InvocationContext {
     return new Invocation({ ...this, state });
   }
 }
-
-export const EMPTY_INVOCATION = Invocation.from();
-
-/** Names the same gesture as `Invocation.from` for callers that read better this way. */
-export function canonicalInvocation(context?: PartialInvocation): Invocation {
-  return Invocation.from(context);
-}

package/src/wire/binding.ts

@@ -11,6 +11,12 @@ type ParamSource =
   | { kind: 'collector'; typeName: string }
   /** `Fact<PostPublished>` — something that happened, not something a caller typed. */
   | { kind: 'fact'; factName: string }
+  /**
+   * `Pipe<PostPublished>` — the same thing, BEFORE it is final: what this op answers is
+   * the fact every subscriber then receives. The core has one such link already
+   * (`Emissions.stamped`, which realizes `created()`); this is the declared form of it.
+   */
+  | { kind: 'pipe'; factName: string }
   | { kind: 'param'; name: string; coerce?: 'number' | 'boolean' }
   | { kind: 'input' }
   | { kind: 'context' }
@@ -49,14 +55,19 @@ export function computeBindingPlan(
     // `authoruser` missed `authorUser` and fell through to branch 4, the request input.
     const typeKey = lowerFirst(typeName);
 
-    // 0. Fact — `Fact<X>` names itself, so nothing has to be known in advance. It comes
-    //    FIRST because branch 4 would otherwise hand it the caller's input under the name
-    //    of something that happened.
-    const factOf = param.type.name === 'Fact' ? param.type.generics?.[0]?.name : undefined;
-    if (factOf) {
+    // 0. Fact, or the same fact before it is final. Both name themselves, so nothing has
+    //    to be known in advance, and they come FIRST because branch 4 would otherwise hand
+    //    either the caller's input under the name of something that happened.
+    const announced = param.type.name === 'Fact' || param.type.name === 'Pipe'
+      ? param.type.generics?.[0]?.name
+      : undefined;
+    if (announced) {
       return {
         name: param.name,
-        source: { kind: 'fact' as const, factName: lowerFirst(factOf) },
+        source: {
+          kind: (param.type.name === 'Pipe' ? 'pipe' : 'fact') as 'pipe' | 'fact',
+          factName: lowerFirst(announced),
+        },
         optional: param.optional ?? false,
       };
     }

package/src/wire/call.ts

@@ -1,6 +1,6 @@
 /** Call contract — a frond call is a value. */
 import { Card, type SchemaDescriptor } from '@fougere/schema';
-import { factsAnnouncedBy } from '../emit.js';
+import { factsAnnouncedBy } from './emit.js';
 import { Invocation, type InvocationContext, type PartialInvocation } from './Invocation.js';
 import type { RouteAddress } from './RouteAddress.js';
 import { FougereError, ErrorCode } from './errors.js';

package/src/wire/emit.ts

@@ -0,0 +1,84 @@
+/** Announcing a fact — the half of the topology `remotes:` never covered. */
+import { lowerFirst } from '@fougere/schema';
+
+/**
+ * What an emitter injects. PARTIAL, because announcing is what REALIZES the fact's
+ * `lifecycle.create` — an `at: created()` is stamped by `Emissions`, so requiring it from
+ * the announcer made every emitter cast its way past its own type. A missing field is
+ * still refused, by the judge that reads the fact at announce time.
+ */
+export type Emit<T, A = never> = (fact: Partial<T>) => Promise<A[]>;
+
+/**
+ * What a subscriber accepts — and what it PROMISES about itself.
+ *
+ * What it ANSWERS is its own to choose: `Promise<void>` says nothing, any other type is an
+ * opinion. It reaches an announcer that asked for one — `Emit<CanBook, Verdict>` — and
+ * nobody otherwise, since a plain announcement does not wait.
+ */
+export type Fact<T> = T;
+
+/**
+ * The same fact, BEFORE it is final: an op taking one ANSWERS the value every subscriber
+ * then receives, so it is the declared form of what `Emissions.stamped` already does for
+ * `created()`.
+ *
+ * Not a second announcement and not a chain a subscriber joins: the links run once, before
+ * anyone is handed anything, which is what keeps a fact the same for every reader.
+ */
+export type Pipe<T> = T;
+
+/** The container key of an emission — THE one place that spells the format. */
+export function emitKeyOf(fact: string): string {
+  return `${lowerFirst(fact)}Emit`;
+}
+
+/**
+ * The key of an emission that WAITS — `Emit<CanBook, Verdict>`, where the second type is
+ * the whole difference. A separate key because they are two functions: one hands the fact
+ * over and returns, the other waits for every subscriber and gives back what they said.
+ */
+export function awaitKeyOf(fact: string): string {
+  return `${lowerFirst(fact)}Await`;
+}
+
+const SUFFIX = 'Emit';
+const AWAIT_SUFFIX = 'Await';
+
+/** The fact behind an emission key, or `undefined` when the key is not one. */
+export function factOfEmitKey(key: string): string | undefined {
+  return behind(key, SUFFIX);
+}
+
+/** The fact behind an awaited emission's key — the dual, read the same way. */
+export function factOfAwaitKey(key: string): string | undefined {
+  return behind(key, AWAIT_SUFFIX);
+}
+
+function behind(key: string, suffix: string): string | undefined {
+  return key.length > suffix.length && key.endsWith(suffix)
+    ? key.slice(0, -suffix.length)
+    : undefined;
+}
+
+/** What a set of handlers ANNOUNCES — `Emit<T>` read back out of their dependencies. */
+export function factsAnnouncedBy(handlers: readonly { deps: readonly string[] }[]): string[] {
+  return factsIn(handlers, factOfEmitKey);
+}
+
+/** What a set of handlers announces AND WAITS FOR — the same reading, one suffix apart. */
+export function factsAwaitedBy(handlers: readonly { deps: readonly string[] }[]): string[] {
+  return factsIn(handlers, factOfAwaitKey);
+}
+
+function factsIn(
+  handlers: readonly { deps: readonly string[] }[],
+  behindKey: (key: string) => string | undefined,
+): string[] {
+  return [...new Set(
+    handlers
+      .flatMap((handler) => handler.deps)
+      .map(behindKey)
+      .filter((fact): fact is string => fact !== undefined),
+  )];
+}

package/src/wire/errors.ts

@@ -55,7 +55,7 @@ export class FougereError extends Error {
 
   constructor(options: FougereErrorOptions) {
     super(options.message, { cause: options.cause });
-    this.name = 'FougereError';
+    this.name = new.target.name;
     this.code = options.code;
     this.entity = options.entity;
     this.operation = options.operation;
@@ -97,7 +97,7 @@ export function validationErrorsOf(error: unknown): ValidationError[] | undefine
   const refusals = details.filter(
     (entry): entry is ValidationError =>
       typeof entry === 'object' && entry !== null
-      && typeof (entry as ValidationError).path === 'string'
+      && Array.isArray((entry as ValidationError).path)
       && typeof (entry as ValidationError).message === 'string',
   );
   return refusals.length === details.length ? refusals : undefined;

package/src/wire/loggerMiddleware.ts

@@ -3,10 +3,16 @@
  */
 import type { AppMiddleware } from './middleware.js';
 import type { Logger } from '../builtin/logger.js';
+import { CARRIES_LINE } from '../builtin/LogLine.js';
 
 /** Create a logger middleware that logs operation entry, exit, and errors. */
 export function loggerMiddleware(logger: Logger): AppMiddleware {
   return async (ctx, next) => {
+    // An op that CARRIES a line writes none: it is dispatched, so logging it announces a
+    // line inside the announcement of one — `Emission cycle: logLine → logLine`, which is
+    // the emission catching what `onLog`'s try/catch used to swallow.
+    if (CARRIES_LINE.has(ctx.entity)) return next();
+
     const start = performance.now();
     logger.info(`${ctx.entity}.${ctx.operation}`);
     try {

package/dist/boot/boot.d.ts

@@ -1,45 +0,0 @@
-import { type FougereConfig } from '../config-loader.js';
-import type { App, CreateAppOptions } from './types.js';
-import { type Extension } from './AppLifecycle.js';
-import type { Transport } from '../wire/call.js';
-import type { Container } from '@fougere/container';
-interface BootOptions {
-    /** Project root. Defaults to process.cwd(). */
-    root?: string;
-    /** Override config (merged with fougere.config.ts). */
-    config?: Partial<FougereConfig>;
-    /** Container factory. Required. */
-    createContainer: () => Container;
-    /** Only boot these fronds (by name). Absent = all. */
-    fronds?: string[];
-    /**
-     * Remote fronds — label → address. A declared remote wins over local
-     * presence (the frond runs elsewhere). Requires `remoteTransport`.
-     */
-    remotes?: Record<string, string>;
-    /** Builds the transport to reach `remotes`. Supplied by a layer-2 package. */
-    remoteTransport?: (url: string) => Transport;
-    /** Carries an announced fact out of this process. */
-    onEmit?: CreateAppOptions['onEmit'];
-    /**
-     * storage setup — returns the storage handle (db), an storageFactory, and its two halves.
-     * The `db` value is forwarded to the auth provider via AuthContext when `auth` is set.
-     */
-    db?: (config: FougereConfig) => {
-        db?: unknown;
-        storageFactory: CreateAppOptions['storageFactory'];
-        /** Bring the schema up to date — an extension's `up`, because it runs after the container. */
-        migrate?: (app: App) => Promise<void> | void;
-        /** Closes what the factory opened — `boot()` called it, so `boot()` releases it. */
-        close?: () => Promise<void>;
-    };
-    /**
-     * What this app takes on beyond its fronds. Appended after the framework's own, so a
-     * host adds to the ascent — or replaces a member of it by declaring the same name.
-     */
-    extensions?: readonly (Extension | undefined)[];
-}
-/** Boot a Fougere app from fougere.config.ts. */
-export declare function boot(options: BootOptions): Promise<App>;
-export {};
-//# sourceMappingURL=boot.d.ts.map

package/dist/boot/boot.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"boot.d.ts","sourceRoot":"","sources":["../../src/boot/boot.ts"],"names":[],"mappings":"AAGA,OAAO,EAAc,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAGrE,OAAO,KAAK,EAAE,GAAG,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAa,KAAK,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEpD,UAAU,WAAW;IACnB,+CAA+C;IAC/C,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,uDAAuD;IACvD,MAAM,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IAChC,mCAAmC;IACnC,eAAe,EAAE,MAAM,SAAS,CAAC;IACjC,sDAAsD;IACtD,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,8EAA8E;IAC9E,eAAe,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,SAAS,CAAC;IAC7C,qDAAqD;IACrD,MAAM,CAAC,EAAE,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACpC;;;OAGG;IACH,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK;QAC9B,EAAE,CAAC,EAAE,OAAO,CAAC;QACb,cAAc,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;QACnD,8FAA8F;QAC9F,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QAC7C,oFAAoF;QACpF,KAAK,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;KAC7B,CAAC;IACF;;;OAGG;IACH,UAAU,CAAC,EAAE,SAAS,CAAC,SAAS,GAAG,SAAS,CAAC,EAAE,CAAC;CACjD;AAED,iDAAiD;AACjD,wBAAsB,IAAI,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CA4D7D"}

package/dist/boot/boot.js

@@ -1,63 +0,0 @@
-import { createApp } from './bootstrap.js';
-import { seeding } from './seed.js';
-import { scanProject } from '../scan/scanner.js';
-import { loadConfig } from '../config-loader.js';
-import { Logger } from '../builtin/logger.js';
-import { applyConfig } from './apply.js';
-import { migrating } from './AppLifecycle.js';
-/** Boot a Fougere app from fougere.config.ts. */
-export async function boot(options) {
-    const bootStart = performance.now();
-    const log = new Logger('boot');
-    const root = options.root ?? process.cwd();
-    log.info(`root: ${root}`);
-    log.debug('loading config');
-    const fileConfig = await loadConfig(root);
-    const config = { ...fileConfig, ...options.config };
-    // What this config changes in the process, said the same way at boot and at reload —
-    // there is one applier, and a host re-reading later calls the very same function.
-    applyConfig(config);
-    log.info('config loaded');
-    let dbSetup;
-    if (options.db) {
-        log.debug('initializing database');
-        dbSetup = options.db(config);
-        log.info('database initialized');
-    }
-    log.debug('creating app (scan + container)');
-    const app = await createApp({
-        // boot() lives on the Node entry, so boot() is what reads the disk. `createApp` is
-        // handed the answer and reaches for nothing.
-        scan: await scanProject(root, options.fronds, config.conventions),
-        createContainer: options.createContainer,
-        storageFactory: dbSetup?.storageFactory,
-        db: dbSetup?.db,
-        auth: config.auth,
-        remotes: options.remotes,
-        ports: config.ports,
-        // Read from the config for the same reason `ports` is, one line up: it is a fact the
-        // project states, not one the caller passes. Absent here, `serveRest` and
-        // `serveGraphQL` both answered `pass` on an app whose config declared them — the
-        // hosts got it right through their own boot (`app/shared/src/boot.ts`), and this
-        // path, the conventional one, served nothing.
-        adapters: config.adapters,
-        // boot() called the factory, so boot() owns closing what it opened. Not an extension:
-        // it was opened before the container existed, so it closes after the container goes.
-        onDispose: dbSetup?.close,
-        /**
-         * The whole ascent, in one ordered list — tables, then rows, then whatever the host takes on.
-         */
-        extensions: [
-            migrating(dbSetup?.migrate, (message) => log.warn(message)),
-            seeding((message) => log.debug(message)),
-            ...(options.extensions ?? []),
-        ],
-        onEmit: options.onEmit,
-        remoteTransport: options.remoteTransport,
-    });
-    log.info(`ascent: ${app.extensions().join(' → ') || 'nothing declared'}`);
-    const ms = (performance.now() - bootStart).toFixed(0);
-    log.info(`ready in ${ms}ms — ${app.fronds.length} frond(s)`);
-    return app;
-}
-//# sourceMappingURL=boot.js.map

package/dist/boot/boot.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"boot.js","sourceRoot":"","sources":["../../src/boot/boot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAsB,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,EAAE,SAAS,EAAkB,MAAM,mBAAmB,CAAC;AAyC9D,iDAAiD;AACjD,MAAM,CAAC,KAAK,UAAU,IAAI,CAAC,OAAoB;IAC7C,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC;IAE/B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IAC3C,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAE1B,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC5B,MAAM,UAAU,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAkB,EAAE,GAAG,UAAU,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IACnE,qFAAqF;IACrF,kFAAkF;IAClF,WAAW,CAAC,MAAM,CAAC,CAAC;IACpB,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAE1B,IAAI,OAA+D,CAAC;IACpE,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;QACf,GAAG,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;QACnC,OAAO,GAAG,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAC7B,GAAG,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,CAAC;IAED,GAAG,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC;QAC1B,mFAAmF;QACnF,6CAA6C;QAC7C,IAAI,EAAE,MAAM,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC;QACjE,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,cAAc,EAAE,OAAO,EAAE,cAAc;QACvC,EAAE,EAAE,OAAO,EAAE,EAAE;QACf,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,qFAAqF;QACrF,0EAA0E;QAC1E,iFAAiF;QACjF,iFAAiF;QACjF,8CAA8C;QAC9C,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,sFAAsF;QACtF,qFAAqF;QACrF,SAAS,EAAE,OAAO,EAAE,KAAK;QACzB;;WAEG;QACH,UAAU,EAAE;YACV,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3D,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACxC,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;SAC9B;QACD,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,eAAe,EAAE,OAAO,CAAC,eAAe;KACzC,CAAC,CAAC;IAEH,GAAG,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,kBAAkB,EAAE,CAAC,CAAC;IAE1E,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACtD,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,GAAG,CAAC,MAAM,CAAC,MAAM,WAAW,CAAC,CAAC;IAE7D,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/criterion.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"criterion.d.ts","sourceRoot":"","sources":["../src/criterion.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,OAAO,EAAE,KAAK,KAAK,EAAU,MAAM,iBAAiB,CAAC;AAErD;;;;;;GAMG;AACH,MAAM,WAAW,UAAU;IACzB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,EAAE,CAAC,EAAE,OAAO,CAAC;IACb,EAAE,CAAC,EAAE,OAAO,CAAC;IACb,EAAE,CAAC,EAAE,OAAO,CAAC;IACb,wDAAwD;IACxD,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,eAAO,MAAM,WAAW,qFAAsF,CAAC;AAE/G,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1D;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,CAM7F;AAED,6EAA6E;AAC7E,wBAAgB,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,CAAC,cAAc,EAAE,OAAO,CAAC,EAAE,CAIjF;AAED,mFAAmF;AACnF,wBAAgB,SAAS,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,CAE1D"}

package/dist/criterion.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"criterion.js","sourceRoot":"","sources":["../src/criterion.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,OAAO,EAAc,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAsBrD,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAU,CAAC;AAI/G;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,KAAwB,EAAE,KAAc;IACnE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,uFAAuF;IACvF,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAE/E,OAAO,KAAmB,CAAC;AAC7B,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,aAAa,CAAC,UAAsB;IAClD,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,CACtC,CAAC,KAAK,EAAsC,EAAE,CAAE,WAAiC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CACrG,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,SAAS,CAAC,UAAsB;IAC9C,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAE,WAAiC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AACtG,CAAC"}

package/dist/declarations.d.ts

@@ -1,34 +0,0 @@
-import type { Conventions } from './scan/conventions.js';
-import type { HandlerEntry } from './descriptor/frond.js';
-export interface HandlerDeclaration {
-    /** Stable rule name — the same vocabulary `verify()` uses. */
-    rule: 'handler-declaration';
-    frond: string;
-    filePath: string;
-    /** The handler that hosts it. */
-    handler: string;
-    /** What is declared — `AGREED_WITHIN`, `says`, `Assessment`. */
-    subject: string;
-    /** What it is in the source: a value, or a shape. */
-    kind: 'value' | 'shape';
-    message: string;
-}
-/**
- * Everything a handler file declares that is not the handler itself.
- *
- * A handler names gestures; what a gesture uses is declared where its nature says, and one
- * question settles which: does it arrive INJECTED or IMPORTED? A threshold, a formula, a word
- * list arrive imported and belong under `rules/`. Anything holding a client, a connection or
- * a cursor arrives injected and belongs under `services/`. Neither ever belongs in the file
- * that calls it — nothing there can be reached by a second caller, and the handler grows into
- * the domain it was supposed to address.
- *
- * It names the two addresses, which `outsideConventions` does on the same question one file
- * higher. Saying "a module beside its entities" instead left the reader to invent a place,
- * and inventing one is the drift both rules report.
- */
-export declare function handlerDeclarations(fronds: readonly {
-    name: string;
-    handlers: readonly Pick<HandlerEntry, 'name' | 'filePath'>[];
-}[], conventions: Conventions): Promise<HandlerDeclaration[]>;
-//# sourceMappingURL=declarations.d.ts.map

package/dist/declarations.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"declarations.d.ts","sourceRoot":"","sources":["../src/declarations.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAQ1D,MAAM,WAAW,kBAAkB;IACjC,8DAA8D;IAC9D,IAAI,EAAE,qBAAqB,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,iCAAiC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,qDAAqD;IACrD,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;CACjB;AAuBD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,SAAS;IACf,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,SAAS,IAAI,CAAC,YAAY,EAAE,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC;CAC9D,EAAE,EACH,WAAW,EAAE,WAAW,GACvB,OAAO,CAAC,kBAAkB,EAAE,CAAC,CA0C/B"}

package/dist/declarations.js

@@ -1,75 +0,0 @@
-import { readFile } from 'node:fs/promises';
-let _ts;
-async function loadTs() {
-    if (!_ts)
-        _ts = (await import('@typescript/typescript6')).default;
-    return _ts;
-}
-function subjectsOf(typescript, source) {
-    const found = [];
-    for (const statement of source.statements) {
-        if (typescript.isVariableStatement(statement)) {
-            for (const declared of statement.declarationList.declarations)
-                if (typescript.isIdentifier(declared.name))
-                    found.push([declared.name.text, 'value']);
-        }
-        else if (typescript.isFunctionDeclaration(statement) && statement.name) {
-            found.push([statement.name.text, 'value']);
-        }
-        else if (typescript.isInterfaceDeclaration(statement) ||
-            typescript.isTypeAliasDeclaration(statement) ||
-            typescript.isEnumDeclaration(statement)) {
-            found.push([statement.name.text, 'shape']);
-        }
-    }
-    return found;
-}
-/**
- * Everything a handler file declares that is not the handler itself.
- *
- * A handler names gestures; what a gesture uses is declared where its nature says, and one
- * question settles which: does it arrive INJECTED or IMPORTED? A threshold, a formula, a word
- * list arrive imported and belong under `rules/`. Anything holding a client, a connection or
- * a cursor arrives injected and belongs under `services/`. Neither ever belongs in the file
- * that calls it — nothing there can be reached by a second caller, and the handler grows into
- * the domain it was supposed to address.
- *
- * It names the two addresses, which `outsideConventions` does on the same question one file
- * higher. Saying "a module beside its entities" instead left the reader to invent a place,
- * and inventing one is the drift both rules report.
- */
-export async function handlerDeclarations(fronds, conventions) {
-    const typescript = await loadTs();
-    const found = [];
-    for (const frond of fronds) {
-        for (const handler of frond.handlers) {
-            const text = await readFile(handler.filePath, 'utf8').catch(() => undefined);
-            if (text === undefined)
-                continue;
-            const source = typescript.createSourceFile(handler.filePath, text, typescript.ScriptTarget.Latest, false);
-            for (const [subject, kind] of subjectsOf(typescript, source)) {
-                found.push({
-                    rule: 'handler-declaration',
-                    frond: frond.name,
-                    filePath: handler.filePath,
-                    handler: handler.name,
-                    subject,
-                    kind,
-                    message: kind === 'value'
-                        ? `'${subject}' is declared in ${handler.name}, so only ${handler.name} can reach it. `
-                            + `If it needs nothing but its arguments, it is a word of '${frond.name}' and belongs `
-                            + `in \`${conventions.dirs.rules}/\`; if it holds a dependency, it belongs in `
-                            + `\`${conventions.dirs.services}/\`. Either way it is stated once and imported, and `
-                            + `the handler keeps only the gesture.`
-                        : `'${subject}' is declared in ${handler.name}, which makes the shape of what an `
-                            + `operation answers readable only from the file that answers it. A shape belongs `
-                            + `with the entity it describes in \`${conventions.dirs.entities}/\`, or in `
-                            + `\`${conventions.dirs.rules}/\` beside the words that compute it — where the caller, `
-                            + `the test and the other operations can all name it.`,
-                });
-            }
-        }
-    }
-    return found;
-}
-//# sourceMappingURL=declarations.js.map

package/dist/declarations.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"declarations.js","sourceRoot":"","sources":["../src/declarations.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAI5C,IAAI,GAA0B,CAAC;AAC/B,KAAK,UAAU,MAAM;IACnB,IAAI,CAAC,GAAG;QAAE,GAAG,GAAG,CAAC,MAAM,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,OAAO,CAAC;IAClE,OAAO,GAAG,CAAC;AACb,CAAC;AAgBD,SAAS,UAAU,CAAC,UAAqB,EAAE,MAAqB;IAC9D,MAAM,KAAK,GAAkC,EAAE,CAAC;IAEhD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IAAI,UAAU,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9C,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY;gBAC3D,IAAI,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1F,CAAC;aAAM,IAAI,UAAU,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;YACzE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7C,CAAC;aAAM,IACL,UAAU,CAAC,sBAAsB,CAAC,SAAS,CAAC;YAC5C,UAAU,CAAC,sBAAsB,CAAC,SAAS,CAAC;YAC5C,UAAU,CAAC,iBAAiB,CAAC,SAAS,CAAC,EACvC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,MAGG,EACH,WAAwB;IAExB,MAAM,UAAU,GAAG,MAAM,MAAM,EAAE,CAAC;IAClC,MAAM,KAAK,GAAyB,EAAE,CAAC;IAEvC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;YAC7E,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YAEjC,MAAM,MAAM,GAAG,UAAU,CAAC,gBAAgB,CACxC,OAAO,CAAC,QAAQ,EAChB,IAAI,EACJ,UAAU,CAAC,YAAY,CAAC,MAAM,EAC9B,KAAK,CACN,CAAC;YAEF,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC;gBAC7D,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,qBAAqB;oBAC3B,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,OAAO,EAAE,OAAO,CAAC,IAAI;oBACrB,OAAO;oBACP,IAAI;oBACJ,OAAO,EACL,IAAI,KAAK,OAAO;wBACd,CAAC,CAAC,IAAI,OAAO,oBAAoB,OAAO,CAAC,IAAI,aAAa,OAAO,CAAC,IAAI,iBAAiB;8BACnF,2DAA2D,KAAK,CAAC,IAAI,gBAAgB;8BACrF,QAAQ,WAAW,CAAC,IAAI,CAAC,KAAK,+CAA+C;8BAC7E,KAAK,WAAW,CAAC,IAAI,CAAC,QAAQ,sDAAsD;8BACpF,qCAAqC;wBACzC,CAAC,CAAC,IAAI,OAAO,oBAAoB,OAAO,CAAC,IAAI,qCAAqC;8BAC9E,iFAAiF;8BACjF,qCAAqC,WAAW,CAAC,IAAI,CAAC,QAAQ,aAAa;8BAC3E,KAAK,WAAW,CAAC,IAAI,CAAC,KAAK,2DAA2D;8BACtF,oDAAoD;iBAC7D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/emit.d.ts

@@ -1,13 +0,0 @@
-/** What an emitter injects. */
-export type Emit<T> = (fact: T) => Promise<void>;
-/** What a subscriber accepts — and what it PROMISES about itself. */
-export type Fact<T> = T;
-/** The container key of an emission — THE one place that spells the format. */
-export declare function emitKeyOf(fact: string): string;
-/** The fact behind an emission key, or `undefined` when the key is not one. */
-export declare function factOfEmitKey(key: string): string | undefined;
-/** What a set of handlers ANNOUNCES — `Emit<T>` read back out of their dependencies. */
-export declare function factsAnnouncedBy(handlers: readonly {
-    deps: readonly string[];
-}[]): string[];
-//# sourceMappingURL=emit.d.ts.map

package/dist/emit.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"emit.d.ts","sourceRoot":"","sources":["../src/emit.ts"],"names":[],"mappings":"AAGA,+BAA+B;AAC/B,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;AAEjD,qEAAqE;AACrE,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;AAExB,+EAA+E;AAC/E,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE9C;AAID,+EAA+E;AAC/E,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAI7D;AAED,wFAAwF;AACxF,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,SAAS;IAAE,IAAI,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,EAAE,GAAG,MAAM,EAAE,CAO3F"}

package/dist/emit.js

@@ -1,21 +0,0 @@
-/** Announcing a fact — the half of the topology `remotes:` never covered. */
-import { lowerFirst } from '@fougere/schema';
-/** The container key of an emission — THE one place that spells the format. */
-export function emitKeyOf(fact) {
-    return `${lowerFirst(fact)}Emit`;
-}
-const SUFFIX = 'Emit';
-/** The fact behind an emission key, or `undefined` when the key is not one. */
-export function factOfEmitKey(key) {
-    return key.length > SUFFIX.length && key.endsWith(SUFFIX)
-        ? key.slice(0, -SUFFIX.length)
-        : undefined;
-}
-/** What a set of handlers ANNOUNCES — `Emit<T>` read back out of their dependencies. */
-export function factsAnnouncedBy(handlers) {
-    return [...new Set(handlers
-            .flatMap((handler) => handler.deps)
-            .map(factOfEmitKey)
-            .filter((fact) => fact !== undefined))];
-}
-//# sourceMappingURL=emit.js.map

package/dist/emit.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"emit.js","sourceRoot":"","sources":["../src/emit.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAQ7C,+EAA+E;AAC/E,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;AACnC,CAAC;AAED,MAAM,MAAM,GAAG,MAAM,CAAC;AAEtB,+EAA+E;AAC/E,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;QACvD,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QAC9B,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,gBAAgB,CAAC,QAAgD;IAC/E,OAAO,CAAC,GAAG,IAAI,GAAG,CAChB,QAAQ;aACL,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;aAClC,GAAG,CAAC,aAAa,CAAC;aAClB,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CACxD,CAAC,CAAC;AACL,CAAC"}

package/dist/imports.d.ts

@@ -1,16 +0,0 @@
-import type { FrondDescriptor } from './descriptor/frond.js';
-export interface CrossFrondImport {
-    /** Stable rule name — the same vocabulary `verify()` uses. */
-    rule: 'cross-frond-import';
-    /** The frond doing the reaching. */
-    frond: string;
-    filePath: string;
-    /** The specifier as written. */
-    specifier: string;
-    /** The frond the path lands in — absent when it lands outside every frond. */
-    target?: string;
-    message: string;
-}
-/** Every relative import that resolves outside its own frond. */
-export declare function crossFrondImports(fronds: readonly Pick<FrondDescriptor, 'name' | 'source'>[]): Promise<CrossFrondImport[]>;
-//# sourceMappingURL=imports.d.ts.map

package/dist/imports.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"imports.d.ts","sourceRoot":"","sources":["../src/imports.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAQ7D,MAAM,WAAW,gBAAgB;IAC/B,8DAA8D;IAC9D,IAAI,EAAE,oBAAoB,CAAC;IAC3B,oCAAoC;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,gCAAgC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,8EAA8E;IAC9E,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AA2BD,iEAAiE;AACjE,wBAAsB,iBAAiB,CACrC,MAAM,EAAE,SAAS,IAAI,CAAC,eAAe,EAAE,MAAM,GAAG,QAAQ,CAAC,EAAE,GAC1D,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAwC7B"}