@fougere/testing 0.3.0-alpha.0

package/dist/doors.js

@@ -0,0 +1,76 @@
+import { describe, it, expect } from 'vitest';
+import { createLocalRunner, validationErrorsOf } from '@fougere/core';
+import { EMPTY_INVOCATION } from '@fougere/core/contract';
+import { outputFields, registrationKeyOf } from '@fougere/schema';
+import { holds } from '@fougere/schema';
+import { derivedCases } from './derive.js';
+import { sampleInput, replaySeed } from './sample.js';
+/**
+ * What a door answers, in the shape a verdict is compared in.
+ *
+ * A refusal reaches a caller as a thrown `FougereError` carrying `details`, not as a
+ * returned value — so the translation happens once, here, and every reader below compares
+ * the same thing.
+ */
+export async function verdictOf(call) {
+    try {
+        await call();
+        return { success: true };
+    }
+    catch (error) {
+        const refusals = validationErrorsOf(error);
+        if (!refusals)
+            throw error;
+        return { success: false, errors: refusals };
+    }
+}
+function opsFor(entity) {
+    const name = registrationKeyOf(entity.name ?? '');
+    return { name, create: 'create', update: 'update' };
+}
+/**
+ * The declared contract, posed to the façade that will receive it.
+ *
+ * Declares one `it` per case rather than looping inside a single one: a failure names the
+ * case, and a suite that lists what it checked is the point — the list comes from the
+ * entity, not from what the author remembered.
+ */
+export function checkContract(app, entity, options = {}) {
+    const { name, create, update } = opsFor(entity);
+    const run = createLocalRunner(app);
+    const table = derivedCases(entity, options.given ?? {}, options);
+    describe(`${entity.name} — the contract it declares`, () => {
+        for (const one of table) {
+            it(one.why, async () => {
+                const verdict = await verdictOf(() => run({ entity: name, op: one.patch ? update : create }, { ...EMPTY_INVOCATION, params: one.patch ? { id: '__absent__' } : {}, body: one.body }));
+                expect(holds(one.expect, verdict), `${JSON.stringify(verdict)} — replay: ${replaySeed()}`).toBe(true);
+            });
+        }
+    });
+}
+/**
+ * What may leave, checked against what the entity says may leave.
+ *
+ * Costs nothing to state: `outputFields` already answers it, and a field the boundary
+ * closes has no business in any response. A `password: text({ boundary: 'writeOnly' })`
+ * that reaches a caller is the one leak no reviewer catches by reading a handler.
+ */
+export function checkOutput(app, entity, options = {}) {
+    const { name, create } = opsFor(entity);
+    const run = createLocalRunner(app);
+    const allowed = new Set(Object.keys(outputFields(entity.getFields())));
+    const closed = Object.keys(entity.getFields()).filter((field) => !allowed.has(field));
+    describe(`${entity.name} — what leaves it`, () => {
+        it(closed.length > 0 ? `keeps ${closed.join(', ')} in` : 'closes no field, and says so', async () => {
+            const row = await run({ entity: name, op: create }, { ...EMPTY_INVOCATION, body: sampleInput(entity, options.given ?? {}, options) });
+            expect(Object.keys(row).filter((field) => closed.includes(field))).toEqual([]);
+        });
+        it('answers with fields the entity declares, and no others', async () => {
+            const row = await run({ entity: name, op: create }, { ...EMPTY_INVOCATION, body: sampleInput(entity, options.given ?? {}, options) });
+            // A computed field from a presenter is declared by the presenter, not the entity,
+            // so this reads the entity's own names as a floor rather than a ceiling.
+            expect(Object.keys(row).every((field) => field in entity.getFields())).toBe(true);
+        });
+    });
+}
+//# sourceMappingURL=doors.js.map

package/dist/doors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"doors.js","sourceRoot":"","sources":["../src/doors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAY,MAAM,eAAe,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAyC,MAAM,iBAAiB,CAAC;AACzG,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,UAAU,EAAsB,MAAM,aAAa,CAAC;AAQ1E;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAA4B;IAC1D,IAAI,CAAC;QACH,MAAM,IAAI,EAAE,CAAC;QACb,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,QAAQ;YAAE,MAAM,KAAK,CAAC;QAC3B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,MAAkB;IAChC,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAClD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACtD,CAAC;AAOD;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,GAAQ,EAAE,MAAkB,EAAE,OAAO,GAAiB,EAAE;IACpF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IAEjE,QAAQ,CAAC,GAAG,MAAM,CAAC,IAAI,6BAA6B,EAAE,GAAG,EAAE;QACzD,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YACxB,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,IAAI,EAAE;gBACrB,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CACvC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EACjD,EAAE,GAAG,gBAAgB,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CACvF,CAAC,CAAC;gBAEH,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,cAAc,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxG,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,GAAQ,EAAE,MAAkB,EAAE,OAAO,GAAiB,EAAE;IAClF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAEtF,QAAQ,CAAC,GAAG,MAAM,CAAC,IAAI,mBAAmB,EAAE,GAAG,EAAE;QAC/C,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,8BAA8B,EAAE,KAAK,IAAI,EAAE;YAClG,MAAM,GAAG,GAAG,MAAM,GAAG,CACnB,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAC5B,EAAE,GAAG,gBAAgB,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,EAAE,CACtD,CAAC;YAE7B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACtE,MAAM,GAAG,GAAG,MAAM,GAAG,CACnB,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAC5B,EAAE,GAAG,gBAAgB,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,EAAE,CACtD,CAAC;YAE7B,kFAAkF;YAClF,yEAAyE;YACzE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/gql.d.ts

@@ -0,0 +1,67 @@
+import { type SchemaView } from '@fougere/schema';
+/** One field of a root type, in the shape this file reads it. */
+interface RootField {
+    name: string;
+    type: {
+        toString(): string;
+    };
+    args: {
+        name: string;
+    }[];
+}
+/** The minimum of a GraphQL schema this file reads — no `graphql` import, no second copy. */
+interface Introspectable {
+    getQueryType(): {
+        getFields(): Record<string, RootField>;
+    } | null | undefined;
+    getMutationType?(): {
+        getFields(): Record<string, RootField>;
+    } | null | undefined;
+}
+/**
+ * The scalar fields of an entity, as a GraphQL selection.
+ *
+ * Relations are left out: they resolve to an object, so naming one without a sub-selection
+ * is a syntax error, and following it would compare a neighbour's rows rather than these.
+ */
+export declare function selectionOf(entity: SchemaView): string;
+/**
+ * The Query field that answers an operation, asked of the schema rather than recomputed.
+ *
+ * `pluralize` is written privately in `adapter/rest/src/routes.ts` AND in
+ * `adapter/graphql/src/pothos.ts`; a third copy here would be the one that drifts. The
+ * schema already states the answer, so it is read: a list is the field whose type is the
+ * entity's list type, and a find is the field of the entity's own type that takes an id.
+ */
+export declare function queryFieldFor(schema: Introspectable, entity: SchemaView, op: 'list' | 'findById'): string | undefined;
+/** A `list` query, and the path at which its rows sit in the answer. */
+export declare function listQuery(schema: Introspectable, entity: SchemaView): {
+    query: string;
+    at: string[];
+} | undefined;
+/** A `findById` query for one row. */
+export declare function findQuery(schema: Introspectable, entity: SchemaView, id: string): {
+    query: string;
+    at: string[];
+} | undefined;
+/** Follow a path into a GraphQL answer, tolerating an absence rather than throwing. */
+export declare function at(data: unknown, path: string[]): unknown;
+/**
+ * The Mutation field that answers an operation.
+ *
+ * By NAME here, unlike the Query side: `createProduct` and `quote` both take a single
+ * `input` argument and both return `Product!`, so their shapes do not separate them. Two
+ * candidates are tried against the real fields — `<op><Entity>` for a CRUD write, and the
+ * bare op for a custom one — which needs no pluralization and invents nothing.
+ */
+export declare function mutationFieldFor(schema: Introspectable, entity: SchemaView, op: string): string | undefined;
+/** A mutation, with the arguments its operation takes and where its answer sits. */
+export declare function mutationFor(schema: Introspectable, entity: SchemaView, op: string, input: {
+    id?: string;
+    body?: Record<string, unknown>;
+}): {
+    query: string;
+    at: string[];
+} | undefined;
+export {};
+//# sourceMappingURL=gql.d.ts.map

package/dist/gql.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gql.d.ts","sourceRoot":"","sources":["../src/gql.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2C,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE3F,iEAAiE;AACjE,UAAU,SAAS;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE;QAAE,QAAQ,IAAI,MAAM,CAAA;KAAE,CAAC;IAC7B,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC1B;AAED,6FAA6F;AAC7F,UAAU,cAAc;IACtB,YAAY,IAAI;QAAE,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;KAAE,GAAG,IAAI,GAAG,SAAS,CAAC;IAC9E,eAAe,CAAC,IAAI;QAAE,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;KAAE,GAAG,IAAI,GAAG,SAAS,CAAC;CACnF;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAKtD;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,cAAc,EACtB,MAAM,EAAE,UAAU,EAClB,EAAE,EAAE,MAAM,GAAG,UAAU,GACtB,MAAM,GAAG,SAAS,CAapB;AAED,wEAAwE;AACxE,wBAAgB,SAAS,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,SAAS,CAMjH;AAED,sCAAsC;AACtC,wBAAgB,SAAS,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,SAAS,CAI7H;AAED,uFAAuF;AACvF,wBAAgB,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAEzD;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAI3G;AAED,oFAAoF;AACpF,wBAAgB,WAAW,CACzB,MAAM,EAAE,cAAc,EACtB,MAAM,EAAE,UAAU,EAClB,EAAE,EAAE,MAAM,EACV,KAAK,EAAE;IAAE,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACrD;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,SAAS,CAa7C"}

package/dist/gql.js

@@ -0,0 +1,113 @@
+import { Anatomy, Role, outputFields } from '@fougere/schema';
+/**
+ * The scalar fields of an entity, as a GraphQL selection.
+ *
+ * Relations are left out: they resolve to an object, so naming one without a sub-selection
+ * is a syntax error, and following it would compare a neighbour's rows rather than these.
+ */
+export function selectionOf(entity) {
+    return Object.entries(outputFields(entity.getFields()))
+        .filter(([, field]) => !Role.of(field).relation)
+        .map(([name]) => name)
+        .join(' ');
+}
+/**
+ * The Query field that answers an operation, asked of the schema rather than recomputed.
+ *
+ * `pluralize` is written privately in `adapter/rest/src/routes.ts` AND in
+ * `adapter/graphql/src/pothos.ts`; a third copy here would be the one that drifts. The
+ * schema already states the answer, so it is read: a list is the field whose type is the
+ * entity's list type, and a find is the field of the entity's own type that takes an id.
+ */
+export function queryFieldFor(schema, entity, op) {
+    const fields = schema.getQueryType()?.getFields() ?? {};
+    const wanted = op === 'list' ? `${entity.name}List` : entity.name;
+    for (const field of Object.values(fields)) {
+        // `String(type)` gives the name with its wrappers (`Product!`, `[Product!]!`), which
+        // is why this compares on inclusion rather than equality.
+        const named = String(field.type).replace(/[![\]]/g, '');
+        if (named !== wanted)
+            continue;
+        const takesId = field.args.some((arg) => arg.name === 'id');
+        if (op === 'findById' ? takesId : !takesId)
+            return field.name;
+    }
+    return undefined;
+}
+/** A `list` query, and the path at which its rows sit in the answer. */
+export function listQuery(schema, entity) {
+    const field = queryFieldFor(schema, entity, 'list');
+    if (!field)
+        return undefined;
+    // The list type wraps its rows — `ProductList { items }` — so the reader below has to
+    // be told where to look rather than assume the answer IS the rows.
+    return { query: `{ ${field} { items { ${selectionOf(entity)} } } }`, at: [field, 'items'] };
+}
+/** A `findById` query for one row. */
+export function findQuery(schema, entity, id) {
+    const field = queryFieldFor(schema, entity, 'findById');
+    if (!field)
+        return undefined;
+    return { query: `{ ${field}(id: ${JSON.stringify(id)}) { ${selectionOf(entity)} } }`, at: [field] };
+}
+/** Follow a path into a GraphQL answer, tolerating an absence rather than throwing. */
+export function at(data, path) {
+    return path.reduce((value, key) => value?.[key], data);
+}
+/**
+ * The Mutation field that answers an operation.
+ *
+ * By NAME here, unlike the Query side: `createProduct` and `quote` both take a single
+ * `input` argument and both return `Product!`, so their shapes do not separate them. Two
+ * candidates are tried against the real fields — `<op><Entity>` for a CRUD write, and the
+ * bare op for a custom one — which needs no pluralization and invents nothing.
+ */
+export function mutationFieldFor(schema, entity, op) {
+    const fields = schema.getMutationType?.()?.getFields() ?? {};
+    const candidates = [`${op}${entity.name}`, op];
+    return candidates.find((name) => name in fields);
+}
+/** A mutation, with the arguments its operation takes and where its answer sits. */
+export function mutationFor(schema, entity, op, input) {
+    const field = mutationFieldFor(schema, entity, op);
+    if (!field)
+        return undefined;
+    const args = [];
+    if (input.id !== undefined)
+        args.push(`id: ${JSON.stringify(input.id)}`);
+    if (input.body !== undefined)
+        args.push(`input: ${literalOf(input.body, enumsOf(entity))}`);
+    const call = args.length ? `${field}(${args.join(', ')})` : field;
+    // `delete` answers a Boolean, which takes no sub-selection — asking for one is a syntax
+    // error, and the schema is what says which case this is.
+    const scalar = String(schema.getMutationType?.()?.getFields()[field]?.type ?? '').replace(/[!]/g, '') === 'Boolean';
+    return { query: `mutation { ${call}${scalar ? '' : ` { ${selectionOf(entity)} }`} }`, at: [field] };
+}
+/** The fields the entity declares as a bounded set — GraphQL turns each into an enum. */
+function enumsOf(entity) {
+    return new Set(Object.entries(entity.getFields())
+        .filter(([, field]) => { const base = Anatomy.of(field.shape).base; return base?.type === 'string' && Array.isArray(base.enum); })
+        .map(([name]) => name));
+}
+/**
+ * A JS value as a GraphQL literal.
+ *
+ * `JSON.stringify` is not it, twice over: an input object's keys are NAMES, so
+ * `{"sku": "x"}` is a syntax error where `{sku: "x"}` is the value — and an ENUM value is
+ * a name too, so `status: "draft"` is refused where `status: draft` is taken. Which
+ * fields are enums is read from the entity (`shape.enum`), not guessed from the string.
+ */
+function literalOf(value, enums = new Set(), key) {
+    if (value === null)
+        return 'null';
+    if (key !== undefined && enums.has(key) && typeof value === 'string')
+        return value;
+    if (Array.isArray(value))
+        return `[${value.map((one) => literalOf(one, enums, key)).join(', ')}]`;
+    if (typeof value === 'object') {
+        return `{${Object.entries(value)
+            .map(([name, one]) => `${name}: ${literalOf(one, enums, name)}`).join(', ')}}`;
+    }
+    return JSON.stringify(value);
+}
+//# sourceMappingURL=gql.js.map

package/dist/gql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gql.js","sourceRoot":"","sources":["../src/gql.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAA+B,MAAM,iBAAiB,CAAC;AAe3F;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,MAAkB;IAC5C,OAAO,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;SACpD,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAc,CAAC,CAAC,QAAQ,CAAC;SACxD,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;SACrB,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAsB,EACtB,MAAkB,EAClB,EAAuB;IAEvB,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACxD,MAAM,MAAM,GAAG,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IAElE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,qFAAqF;QACrF,0DAA0D;QAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACxD,IAAI,KAAK,KAAK,MAAM;YAAE,SAAS;QAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC5D,IAAI,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IAChE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,SAAS,CAAC,MAAsB,EAAE,MAAkB;IAClE,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,sFAAsF;IACtF,mEAAmE;IACnE,OAAO,EAAE,KAAK,EAAE,KAAK,KAAK,cAAc,WAAW,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;AAC9F,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,SAAS,CAAC,MAAsB,EAAE,MAAkB,EAAE,EAAU;IAC9E,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IACxD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,OAAO,EAAE,KAAK,EAAE,KAAK,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;AACtG,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,EAAE,CAAC,IAAa,EAAE,IAAc;IAC9C,OAAO,IAAI,CAAC,MAAM,CAAU,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAE,KAAiC,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;AAC/F,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAsB,EAAE,MAAkB,EAAE,EAAU;IACrF,MAAM,MAAM,GAAG,MAAM,CAAC,eAAe,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC7D,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAC/C,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC;AACnD,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,WAAW,CACzB,MAAsB,EACtB,MAAkB,EAClB,EAAU,EACV,KAAsD;IAEtD,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IACnD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,KAAK,CAAC,EAAE,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACzE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,CAAC,UAAU,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5F,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;IAElE,wFAAwF;IACxF,yDAAyD;IACzD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,SAAS,CAAC;IACpH,OAAO,EAAE,KAAK,EAAE,cAAc,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;AACtG,CAAC;AAED,yFAAyF;AACzF,SAAS,OAAO,CAAC,MAAkB;IACjC,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;SAC9C,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,GAAG,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;SACjI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,SAAS,CAAC,KAAc,EAAE,KAAK,GAAgB,IAAI,GAAG,EAAE,EAAE,GAAY;IAC7E,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACnF,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAClG,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;aACxD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACnF,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,14 @@
+export { sampleInput, replaySeed, type SampleOptions } from './sample.js';
+export { derivedCases } from './derive.js';
+export { casesFor, holds, refusalBranches, type Case } from '@fougere/schema';
+export { testApp, type TestAppOptions, type TestApp } from './app.js';
+export { checkContract, checkOutput, verdictOf, type Verdict, type CheckOptions } from './doors.js';
+export { stubOf, methodsOf, installStubs, type Port, type Stub } from './stub.js';
+export { scopeOf, scopeOfRun, frondOf, rootOf, type Scope } from './scope.js';
+export { loadScript, reachableOps, type LoadOptions } from './load.js';
+export { checkDoorContract, checkDoors, type DoorContractCase, type DoorInput, type DoorOptions, } from './comparison.js';
+export { selectionOf, queryFieldFor, mutationFieldFor, listQuery, findQuery, mutationFor, at } from './gql.js';
+export { driftOf, agrees, explain, type CardDrift } from './remotes.js';
+export { checkAll, servedEntities, type CheckAllOptions } from './all.js';
+export { syncedRemotes, heldShapes, syncDriftOf, inSync, type SyncedRemote, type SyncDrift } from './sync.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAC9E,OAAO,EAAE,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,OAAO,EAAE,MAAM,UAAU,CAAC;AACtE,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AACpG,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AAClF,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AAC9E,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AACvE,OAAO,EACL,iBAAiB,EACjB,UAAU,EACV,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,WAAW,GACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC/G,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,KAAK,eAAe,EAAE,MAAM,UAAU,CAAC;AAC1E,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,YAAY,EAAE,KAAK,SAAS,EAAE,MAAM,WAAW,CAAC"}

package/dist/index.js

@@ -0,0 +1,15 @@
+export { sampleInput, replaySeed } from './sample.js';
+export { derivedCases } from './derive.js';
+// The derivation itself lives with the axes it reads.
+export { casesFor, holds, refusalBranches } from '@fougere/schema';
+export { testApp } from './app.js';
+export { checkContract, checkOutput, verdictOf } from './doors.js';
+export { stubOf, methodsOf, installStubs } from './stub.js';
+export { scopeOf, scopeOfRun, frondOf, rootOf } from './scope.js';
+export { loadScript, reachableOps } from './load.js';
+export { checkDoorContract, checkDoors, } from './comparison.js';
+export { selectionOf, queryFieldFor, mutationFieldFor, listQuery, findQuery, mutationFor, at } from './gql.js';
+export { driftOf, agrees, explain } from './remotes.js';
+export { checkAll, servedEntities } from './all.js';
+export { syncedRemotes, heldShapes, syncDriftOf, inSync } from './sync.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAsB,MAAM,aAAa,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,sDAAsD;AACtD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAa,MAAM,iBAAiB,CAAC;AAC9E,OAAO,EAAE,OAAO,EAAqC,MAAM,UAAU,CAAC;AACtE,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAmC,MAAM,YAAY,CAAC;AACpG,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAwB,MAAM,WAAW,CAAC;AAClF,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAc,MAAM,YAAY,CAAC;AAC9E,OAAO,EAAE,UAAU,EAAE,YAAY,EAAoB,MAAM,WAAW,CAAC;AACvE,OAAO,EACL,iBAAiB,EACjB,UAAU,GAIX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC/G,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAkB,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAwB,MAAM,UAAU,CAAC;AAC1E,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAqC,MAAM,WAAW,CAAC"}

package/dist/load.d.ts

@@ -0,0 +1,34 @@
+import type { App } from '@fougere/core';
+export interface LoadOptions {
+    /** Where the calls go. The RPC door of a running app. */
+    door?: string;
+    /** Values the generator cannot invent, by entity name — the id a `ref()` points at. */
+    given?: Record<string, Record<string, unknown>>;
+}
+interface Reachable {
+    method: string;
+    body: unknown;
+}
+/**
+ * Every operation the app answers, with a body for those that take one.
+ *
+ * Enumerated rather than chosen, and that is the whole point: a scenario written by hand
+ * holds the operations its author thought of — `demos/observability/load.js` exercises
+ * three — while this one holds all of them, and an operation given `weight: 0` becomes a
+ * decision visible in the file instead of an omission nobody can see.
+ */
+export declare function reachableOps(app: App, given?: LoadOptions['given']): Reachable[];
+/**
+ * A k6 scenario, written from what the app answers.
+ *
+ * k6 runs on its own runtime and cannot import from here, so the file is GENERATED rather
+ * than made to import `frameCall` — but the envelope in it comes from `frameCall` itself,
+ * called once at generation time. `demos/observability/load.js` spells that envelope by
+ * hand, so it will go on claiming to be JSON-RPC the day the format moves.
+ *
+ * What stays the author's: the weights, the stages and the thresholds. The scan knows
+ * which operations exist; it knows nothing about the traffic they receive.
+ */
+export declare function loadScript(app: App, options?: LoadOptions): string;
+export {};
+//# sourceMappingURL=load.d.ts.map

package/dist/load.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAIzC,MAAM,WAAW,WAAW;IAC1B,yDAAyD;IACzD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,uFAAuF;IACvF,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACjD;AAED,UAAU,SAAS;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,OAAO,CAAC;CACf;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,GAAE,WAAW,CAAC,OAAO,CAAM,GAAG,SAAS,EAAE,CAiBpF;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,GAAE,WAAgB,GAAG,MAAM,CAmDtE"}

package/dist/load.js

@@ -0,0 +1,92 @@
+import { frameCall } from '@fougere/transport-http';
+import { sampleInput } from './sample.js';
+/**
+ * Every operation the app answers, with a body for those that take one.
+ *
+ * Enumerated rather than chosen, and that is the whole point: a scenario written by hand
+ * holds the operations its author thought of — `demos/observability/load.js` exercises
+ * three — while this one holds all of them, and an operation given `weight: 0` becomes a
+ * decision visible in the file instead of an omission nobody can see.
+ */
+export function reachableOps(app, given = {}) {
+    const found = [];
+    for (const frond of app.fronds) {
+        for (const handler of frond.handlers) {
+            // A named surface is a restricted door; the load of an app is what its default
+            // door answers, so a surface would count the same operation twice.
+            if (handler.surface)
+                continue;
+            for (const [op, contract] of handler.operations ?? []) {
+                const schema = contract.input;
+                found.push({
+                    method: `${handler.address}.${op}`,
+                    body: schema ? sampleInput(schema, given[handler.address] ?? {}) : undefined,
+                });
+            }
+        }
+    }
+    return found;
+}
+/**
+ * A k6 scenario, written from what the app answers.
+ *
+ * k6 runs on its own runtime and cannot import from here, so the file is GENERATED rather
+ * than made to import `frameCall` — but the envelope in it comes from `frameCall` itself,
+ * called once at generation time. `demos/observability/load.js` spells that envelope by
+ * hand, so it will go on claiming to be JSON-RPC the day the format moves.
+ *
+ * What stays the author's: the weights, the stages and the thresholds. The scan knows
+ * which operations exist; it knows nothing about the traffic they receive.
+ */
+export function loadScript(app, options = {}) {
+    const door = options.door ?? 'http://127.0.0.1:3000/_fougere/call';
+    const ops = reachableOps(app, options.given);
+    // The shape, from the one function that states it. `body` is replaced per iteration.
+    const envelope = frameCall({ entity: 'ENTITY', op: 'OP' }, { params: {}, query: {}, body: undefined, state: {} }, 0);
+    // What the envelope carries that an iteration does not fill in itself. Keeping
+    // `params` here too put it in the object AND in the spread that overwrites it.
+    const perCall = new Set(['method', 'id', 'params']);
+    const keys = Object.keys(envelope).filter((key) => !perCall.has(key));
+    return `// Generated by \`fougere load\` — edit the weights, the stages and the thresholds.
+// Everything else is read from what the app answers: regenerate rather than patch.
+import http from 'k6/http';
+import { check } from 'k6';
+
+const DOOR = ${JSON.stringify(door)};
+
+// Every operation the app serves. A weight of 0 takes one out, visibly.
+const OPS = ${JSON.stringify(ops.map((op) => ({ ...op, weight: 1 })), null, 2)};
+
+export const options = {
+  // Yours: a flat rate draws flat lines and there is nothing to read in them.
+  stages: [
+    { duration: '30s', target: 5 },
+    { duration: '45s', target: 5 },
+    { duration: '30s', target: 0 },
+  ],
+  // Yours: what counts as too slow is a fact about your users.
+  thresholds: { http_req_failed: ['rate<0.01'], http_req_duration: ['p(95)<500'] },
+};
+
+const TOTAL = OPS.reduce((sum, op) => sum + op.weight, 0);
+let id = 0;
+
+function pick() {
+  let roll = Math.random() * TOTAL;
+  for (const op of OPS) if ((roll -= op.weight) < 0) return op;
+  return OPS[OPS.length - 1];
+}
+
+export default function () {
+  const op = pick();
+  const payload = ${JSON.stringify(Object.fromEntries(keys.map((key) => [key, envelope[key]])))};
+  const response = http.post(
+    DOOR,
+    JSON.stringify({ ...payload, id: ++id, method: op.method, params: { params: {}, query: {}, body: op.body, state: {} } }),
+    { headers: { 'content-type': 'application/json' }, tags: { op: op.method } },
+  );
+  check(response, { 'answered': (r) => r.status === 200 });
+}
+`;
+}
+//# sourceMappingURL=load.js.map

package/dist/load.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"load.js","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAGpD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAc1C;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,GAAQ,EAAE,KAAK,GAAyB,EAAE;IACrE,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,+EAA+E;YAC/E,mEAAmE;YACnE,IAAI,OAAO,CAAC,OAAO;gBAAE,SAAS;YAC9B,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,OAAO,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBACtD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAA+B,CAAC;gBACxD,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,IAAI,EAAE,EAAE;oBAClC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;iBAC7E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,UAAU,CAAC,GAAQ,EAAE,OAAO,GAAgB,EAAE;IAC5D,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,qCAAqC,CAAC;IACnE,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7C,qFAAqF;IACrF,MAAM,QAAQ,GAAG,SAAS,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAW,EAAE,CAAC,CAAC,CAAC;IAC9H,+EAA+E;IAC/E,+EAA+E;IAC/E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAEtE,OAAO;;;;;eAKM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;;;cAGrB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;oBAwB1D,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,GAA4B,CAAC,CAAC,CAAC,CAAC,CAAC;;;;;;;;CAQvH,CAAC;AACF,CAAC"}

package/dist/remotes.d.ts

@@ -0,0 +1,49 @@
+import { type Change } from '@fougere/schema';
+import type { IdentityCard } from '@fougere/core';
+/** What separates the copy a consumer holds from what the producer actually serves. */
+export interface CardDrift {
+    frond: string;
+    /** A door the consumer calls that the producer no longer serves. */
+    missingDoors: string[];
+    /** An operation the consumer calls that the door no longer has. */
+    missingOps: {
+        door: string;
+        ops: string[];
+    }[];
+    /** A shape that moved under a door the consumer still calls. */
+    shapes: {
+        door: string;
+        changes: Change[];
+    }[];
+    /** A fact the consumer subscribes to whose shape moved, or that is gone. */
+    facts: {
+        fact: string;
+        changes: Change[] | 'gone';
+    }[];
+}
+/**
+ * What a consumer's synced copy no longer matches in what the producer serves.
+ *
+ * The gap TypeScript cannot see, and the only place the gradient genuinely lies: the code
+ * is identical in-process and split, but one side may have aged. `fougere sync` wrote the
+ * consumer's copy three weeks ago, the producer moved on, and it still compiles —
+ * production is where that is found today. This is what Pact sells; the material was
+ * already here, in `rpc.discover` and in `diff`.
+ *
+ * Read in ONE direction on purpose: what the consumer holds, checked against what is
+ * served. A producer serving MORE than the consumer knows is not drift — it is a producer
+ * that moved forward without breaking anyone, which is the whole point of the order the
+ * repo already states (re-sync the readers, then deploy the sender).
+ */
+export declare function driftOf(mine: IdentityCard, theirs: IdentityCard, frond: string): CardDrift;
+/** Whether anything at all separates the two cards. */
+export declare function agrees(drift: CardDrift): boolean;
+/**
+ * The drift, in the words a deploy needs.
+ *
+ * A fact says the order out loud, because the repo already states it as a rule and
+ * nothing enforced it: a fact is judged strictly, so a reader that has not been re-synced
+ * refuses what the sender now announces.
+ */
+export declare function explain(drift: CardDrift): string[];
+//# sourceMappingURL=remotes.d.ts.map

package/dist/remotes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"remotes.d.ts","sourceRoot":"","sources":["../src/remotes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,MAAM,EAAyB,MAAM,iBAAiB,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAElD,uFAAuF;AACvF,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,oEAAoE;IACpE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,mEAAmE;IACnE,UAAU,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IAC9C,gEAAgE;IAChE,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IAC9C,4EAA4E;IAC5E,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,GAAG,MAAM,CAAA;KAAE,EAAE,CAAC;CACvD;AAuBD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,CAgC1F;AAED,uDAAuD;AACvD,wBAAgB,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAKhD;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,EAAE,CAYlD"}

package/dist/remotes.js

@@ -0,0 +1,121 @@
+import { diff } from '@fougere/schema';
+/** Every door of a card, by name. */
+function doorsOf(card, frond) {
+    const found = new Map();
+    for (const one of card.fronds) {
+        if (one.name !== frond)
+            continue;
+        for (const door of one.doors) {
+            found.set(door.name, { ops: new Set(door.ops.map((op) => op.name)), schema: door.schema });
+        }
+    }
+    return found;
+}
+function factsOf(card, frond) {
+    const found = new Map();
+    for (const one of card.fronds) {
+        if (one.name !== frond)
+            continue;
+        for (const fact of one.facts ?? [])
+            found.set(fact.name, fact.schema);
+    }
+    return found;
+}
+/**
+ * What a consumer's synced copy no longer matches in what the producer serves.
+ *
+ * The gap TypeScript cannot see, and the only place the gradient genuinely lies: the code
+ * is identical in-process and split, but one side may have aged. `fougere sync` wrote the
+ * consumer's copy three weeks ago, the producer moved on, and it still compiles —
+ * production is where that is found today. This is what Pact sells; the material was
+ * already here, in `rpc.discover` and in `diff`.
+ *
+ * Read in ONE direction on purpose: what the consumer holds, checked against what is
+ * served. A producer serving MORE than the consumer knows is not drift — it is a producer
+ * that moved forward without breaking anyone, which is the whole point of the order the
+ * repo already states (re-sync the readers, then deploy the sender).
+ */
+export function driftOf(mine, theirs, frond) {
+    const held = doorsOf(mine, frond);
+    const served = doorsOf(theirs, frond);
+    const drift = { frond, missingDoors: [], missingOps: [], shapes: [], facts: [] };
+    for (const [name, door] of held) {
+        const there = served.get(name);
+        if (!there) {
+            drift.missingDoors.push(name);
+            continue;
+        }
+        const missing = [...door.ops].filter((op) => !there.ops.has(op));
+        if (missing.length > 0)
+            drift.missingOps.push({ door: name, ops: missing.sort() });
+        if (door.schema && there.schema) {
+            // `diff` never guesses a rename — a field gone plus a field appeared lands in
+            // `ambiguous`, and only a declaration settles it. Here nobody can declare one, so
+            // the pair is reported as it is and a human reads it.
+            const moved = diff(door.schema, there.schema);
+            if (moved.changes.length > 0)
+                drift.shapes.push({ door: name, changes: moved.changes });
+        }
+    }
+    const heldFacts = factsOf(mine, frond);
+    const servedFacts = factsOf(theirs, frond);
+    for (const [name, shape] of heldFacts) {
+        if (!servedFacts.has(name)) {
+            drift.facts.push({ fact: name, changes: 'gone' });
+            continue;
+        }
+        const there = servedFacts.get(name);
+        if (!shape || !there)
+            continue;
+        const moved = diff(shape, there);
+        if (moved.changes.length > 0)
+            drift.facts.push({ fact: name, changes: moved.changes });
+    }
+    return drift;
+}
+/** Whether anything at all separates the two cards. */
+export function agrees(drift) {
+    return drift.missingDoors.length === 0
+        && drift.missingOps.length === 0
+        && drift.shapes.length === 0
+        && drift.facts.length === 0;
+}
+/**
+ * The drift, in the words a deploy needs.
+ *
+ * A fact says the order out loud, because the repo already states it as a rule and
+ * nothing enforced it: a fact is judged strictly, so a reader that has not been re-synced
+ * refuses what the sender now announces.
+ */
+export function explain(drift) {
+    const lines = [];
+    for (const door of drift.missingDoors)
+        lines.push(`${drift.frond}.${door} — you call it, it is not served`);
+    for (const { door, ops } of drift.missingOps)
+        lines.push(`${drift.frond}.${door} — gone: ${ops.join(', ')}`);
+    for (const { door, changes } of drift.shapes) {
+        for (const change of changes)
+            lines.push(`${drift.frond}.${door} — ${describe(change)}`);
+    }
+    for (const { fact, changes } of drift.facts) {
+        if (changes === 'gone') {
+            lines.push(`${fact} — you subscribe to it, it is no longer announced`);
+            continue;
+        }
+        for (const change of changes)
+            lines.push(`${fact} — ${describe(change)} → re-sync and deploy the readers, THEN the sender`);
+    }
+    return lines;
+}
+function describe(change) {
+    switch (change.kind) {
+        case 'added': return `+ ${change.field}${change.required ? ' (required)' : ''}`;
+        case 'removed': return `- ${change.field}`;
+        case 'renamed': return `${change.from} → ${change.to}`;
+        case 'retyped': return `${change.field}: ${[...change.from].join('|')} → ${[...change.to].join('|')}`;
+        case 'reshaped': return `${change.field}: its bounds moved`;
+        case 'required': return `${change.field}: ${change.from ? 'no longer' : 'now'} required`;
+        case 'restated': return `${change.field}: its ${change.axis} moved`;
+    }
+}
+//# sourceMappingURL=remotes.js.map