@fougere/testing 0.9.0-alpha.1 → 0.9.3-alpha.0

package/dist/index.d.ts

@@ -4,7 +4,9 @@ export { testApp } from './app.js';
 export { checkContract, checkOutput, verdictOf, type Verdict } from './doors.js';
 export { stubOf, type Port, type Stub } from './stub.js';
 export { frondOf, type Scope } from './scope.js';
-export { loadScript } from './load.js';
+export { loadScript, reachableOps } from './load.js';
+export { statementsOf } from './statements.js';
+export { spansOf } from './spans.js';
 export { checkDoorContract, checkDoors, } from './comparison.js';
 export { at } from './gql.js';
 export { driftOf, agrees, explain, type CardDrift } from './remotes.js';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,KAAK,EAAE,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,OAAO,EAAE,MAAM,YAAY,CAAC;AACjF,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EACL,iBAAiB,EACjB,UAAU,GACX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,KAAK,EAAE,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,OAAO,EAAE,MAAM,YAAY,CAAC;AACjF,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EACL,iBAAiB,EACjB,UAAU,GACX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC"}

package/dist/index.js

@@ -5,7 +5,9 @@ export { testApp } from './app.js';
 export { checkContract, checkOutput, verdictOf } from './doors.js';
 export { stubOf } from './stub.js';
 export { frondOf } from './scope.js';
-export { loadScript } from './load.js';
+export { loadScript, reachableOps } from './load.js';
+export { statementsOf } from './statements.js';
+export { spansOf } from './spans.js';
 export { checkDoorContract, checkDoors, } from './comparison.js';
 export { at } from './gql.js';
 export { driftOf, agrees, explain } from './remotes.js';

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,sDAAsD;AACtD,OAAO,EAAE,KAAK,EAAuB,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAgB,MAAM,YAAY,CAAC;AACjF,OAAO,EAAE,MAAM,EAAwB,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,OAAO,EAAc,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EACL,iBAAiB,EACjB,UAAU,GACX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAkB,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,sDAAsD;AACtD,OAAO,EAAE,KAAK,EAAuB,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAgB,MAAM,YAAY,CAAC;AACjF,OAAO,EAAE,MAAM,EAAwB,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,OAAO,EAAc,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EACL,iBAAiB,EACjB,UAAU,GACX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAkB,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC"}

package/dist/load.d.ts

@@ -1,17 +1,31 @@
-import type { App } from '@fougere/core';
+import type { FrondDescriptor } from '@fougere/core/descriptor';
+/**
+ * What a load script is read from: the fronds, and nothing else.
+ *
+ * An `App` satisfies it, and so does a scan — which is what lets `fougere load` answer without
+ * booting the project it describes. A boot runs migrations and seeds, so a command that wrote a
+ * scenario would also write to the target's database.
+ */
+interface Serving {
+    fronds: readonly FrondDescriptor[];
+}
 export interface LoadOptions {
     /** Where the calls go. The RPC door of a running app. */
     door?: string;
+    /** The topology statement, so an op that crosses a process is given the time to. */
+    remotes?: Record<string, 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;
     input: unknown;
+    /** How many times this op's work crosses a process — what its budget is a function of. */
+    hops: number;
 }
 /** Every operation the app answers, with a body for those that take one. */
-export declare function reachableOps(app: App, given?: LoadOptions['given']): Reachable[];
+export declare function reachableOps(app: Serving, given?: LoadOptions['given'], remotes?: Record<string, string>): Reachable[];
 /** A k6 scenario, written from what the app answers. */
-export declare function loadScript(app: App, options?: LoadOptions): string;
+export declare function loadScript(app: Serving, options?: LoadOptions): string;
 export {};
 //# sourceMappingURL=load.d.ts.map

package/dist/load.d.ts.map

@@ -1 +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,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,4EAA4E;AAC5E,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,GAAE,WAAW,CAAC,OAAO,CAAM,GAAG,SAAS,EAAE,CAiBpF;AAED,wDAAwD;AACxD,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,GAAE,WAAgB,GAAG,MAAM,CAmDtE"}
+{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEhE;;;;;;GAMG;AACH,UAAU,OAAO;IACf,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;CACpC;AAID,MAAM,WAAW,WAAW;IAC1B,yDAAyD;IACzD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,oFAAoF;IACpF,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,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,KAAK,EAAE,OAAO,CAAC;IACf,0FAA0F;IAC1F,IAAI,EAAE,MAAM,CAAC;CACd;AAED,4EAA4E;AAC5E,wBAAgB,YAAY,CAC1B,GAAG,EAAE,OAAO,EACZ,KAAK,GAAE,WAAW,CAAC,OAAO,CAAM,EAChC,OAAO,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,GACnC,SAAS,EAAE,CAqBb;AAED,wDAAwD;AACxD,wBAAgB,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,GAAE,WAAgB,GAAG,MAAM,CAkE1E"}

package/dist/load.js

@@ -1,7 +1,10 @@
 import { frameCall } from '@fougere/transport-http';
+import { resolveEffectiveOperations } from '@fougere/core';
 import { sampleInput } from './sample.js';
 /** Every operation the app answers, with a body for those that take one. */
-export function reachableOps(app, given = {}) {
+export function reachableOps(app, given = {}, remotes = {}) {
+    const { operations } = resolveEffectiveOperations(app.fronds, { remotes });
+    const hops = new Map(operations.map((op) => [`${op.handler.address}.${op.name}`, op.reach.hops]));
     const found = [];
     for (const frond of app.fronds) {
         for (const handler of frond.handlers) {
@@ -11,9 +14,11 @@ export function reachableOps(app, given = {}) {
                 continue;
             for (const [op, contract] of handler.operations ?? []) {
                 const schema = contract.input;
+                const method = `${handler.address}.${op}`;
                 found.push({
-                    method: `${handler.address}.${op}`,
+                    method,
                     input: schema ? sampleInput(schema, given[handler.address] ?? {}) : undefined,
+                    hops: hops.get(method) ?? 0,
                 });
             }
         }
@@ -23,7 +28,7 @@ export function reachableOps(app, given = {}) {
 /** A k6 scenario, written from what the app answers. */
 export function loadScript(app, options = {}) {
     const door = options.door ?? 'http://127.0.0.1:3000/_fougere/call';
-    const ops = reachableOps(app, options.given);
+    const ops = reachableOps(app, options.given, options.remotes ?? {});
     // The shape, from the one function that states it. `body` is replaced per iteration.
     const envelope = frameCall({ entity: 'ENTITY', op: 'OP' }, { params: {}, query: {}, input: undefined, state: {} }, 0);
     // What the envelope carries that an iteration does not fill in itself. Keeping
@@ -40,6 +45,12 @@ 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)};
 
+// Yours: how long an op may take here, and what one process boundary is allowed to add. Two
+// numbers instead of one, because an op that crosses nothing and an op that crosses twice were
+// never the same subject — hops above is read from the code, these two are facts about your
+// network.
+const BUDGET = { base: 300, perHop: 200 };
+
 export const options = {
   // Yours: a flat rate draws flat lines and there is nothing to read in them.
   stages: [
@@ -47,8 +58,17 @@ export const options = {
     { 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'] },
+  // Yours: the shape of the run.
+  // Derived from BUDGET and each op's hops — an op that crosses two processes is not held to
+  // the same figure as one that never leaves. k6 reads a threshold per tag, and every call
+  // below is tagged with the op it made.
+  thresholds: {
+    http_req_failed: ['rate<0.01'],
+    ...Object.fromEntries(OPS.map((op) => [
+      \`http_req_duration{op:\${op.method}}\`,
+      [\`p(95)<\${BUDGET.base + op.hops * BUDGET.perHop}\`],
+    ])),
+  },
 };
 
 const TOTAL = OPS.reduce((sum, op) => sum + op.weight, 0);

package/dist/load.js.map

@@ -1 +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,4EAA4E;AAC5E,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,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;iBAC9E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wDAAwD;AACxD,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,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAW,EAAE,CAAC,CAAC,CAAC;IAC/H,+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"}
+{"version":3,"file":"load.js","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAc3D,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAkB1C,4EAA4E;AAC5E,MAAM,UAAU,YAAY,CAC1B,GAAY,EACZ,KAAK,GAAyB,EAAE,EAChC,OAAO,GAA2B,EAAE;IAEpC,MAAM,EAAE,UAAU,EAAE,GAAG,0BAA0B,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClG,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,MAAM,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;gBAC1C,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM;oBACN,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC7E,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;iBAC5B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,UAAU,CAAC,GAAY,EAAE,OAAO,GAAgB,EAAE;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,qCAAqC,CAAC;IACnE,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IACpE,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,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAW,EAAE,CAAC,CAAC,CAAC;IAC/H,+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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oBAuC1D,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/spans.d.ts

@@ -0,0 +1,18 @@
+import type { App } from '@fougere/core';
+import type { FinishedSpan } from '@fougere/observability';
+/**
+ * The steps one call opened — the operation, then whatever ran under it.
+ *
+ * The dual of [statementsOf]: that one counts what a call asked the database, this one holds
+ * the shape of the call itself. What it is FOR is a test about structure rather than speed —
+ * an op that delegates reports almost no self time, whatever the machine it runs on:
+ *
+ * ```ts
+ * const [op] = await spansOf(app, () => door.list());
+ * expect(op.selfMs).toBeLessThan(0.1 * op.ms);   // it delegates, it does not work
+ * ```
+ *
+ * A threshold in milliseconds tests the machine. A ratio tests the code.
+ */
+export declare function spansOf(app: App, run: () => Promise<unknown>): Promise<FinishedSpan[]>;
+//# sourceMappingURL=spans.d.ts.map

package/dist/spans.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spans.d.ts","sourceRoot":"","sources":["../src/spans.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAK3D;;;;;;;;;;;;;GAaG;AACH,wBAAsB,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAY5F"}

package/dist/spans.js

@@ -0,0 +1,56 @@
+/** One tracer per app: `app.use` has no undo, so a second call would stack a middleware. */
+const installed = new WeakMap();
+/**
+ * The steps one call opened — the operation, then whatever ran under it.
+ *
+ * The dual of [statementsOf]: that one counts what a call asked the database, this one holds
+ * the shape of the call itself. What it is FOR is a test about structure rather than speed —
+ * an op that delegates reports almost no self time, whatever the machine it runs on:
+ *
+ * ```ts
+ * const [op] = await spansOf(app, () => door.list());
+ * expect(op.selfMs).toBeLessThan(0.1 * op.ms);   // it delegates, it does not work
+ * ```
+ *
+ * A threshold in milliseconds tests the machine. A ratio tests the code.
+ */
+export async function spansOf(app, run) {
+    const collecting = await tracerOf(app);
+    const spans = [];
+    collecting.push(spans);
+    try {
+        await run();
+    }
+    finally {
+        collecting.splice(collecting.indexOf(spans), 1);
+    }
+    return spans;
+}
+async function tracerOf(app) {
+    const held = installed.get(app);
+    if (held)
+        return held;
+    const { statementsUnder, tracing } = await observability();
+    const collecting = [];
+    installed.set(app, collecting);
+    // A test IS the diagnosis, so it asks for the detail a process running continuously does not.
+    const tracer = tracing([(span) => { for (const into of collecting)
+            into.push(span); }], { spanPerStatement: true });
+    app.use(tracer.middleware);
+    // Both halves, or `selfMs` would read as if the handler did the waiting itself. The
+    // subscription lives as long as the test process: `app.use` has no undo either, and one
+    // app per file is what a test file has.
+    await statementsUnder(tracer);
+    return collecting;
+}
+/** Optional, and dynamic for the reason `@fougere/calls` states: this package depends on none. */
+async function observability() {
+    try {
+        return await import('@fougere/observability');
+    }
+    catch {
+        throw new Error('[spansOf] reading what a call cost needs @fougere/observability — install it, '
+            + 'or there is no span to read.');
+    }
+}
+//# sourceMappingURL=spans.js.map

package/dist/spans.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spans.js","sourceRoot":"","sources":["../src/spans.ts"],"names":[],"mappings":"AAGA,4FAA4F;AAC5F,MAAM,SAAS,GAAG,IAAI,OAAO,EAAyB,CAAC;AAEvD;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,GAAQ,EAAE,GAA2B;IACjE,MAAM,UAAU,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAEvB,IAAI,CAAC;QACH,MAAM,GAAG,EAAE,CAAC;IACd,CAAC;YAAS,CAAC;QACT,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,GAAQ;IAC9B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IAEtB,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,GAAG,MAAM,aAAa,EAAE,CAAC;IAC3D,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC/B,8FAA8F;IAC9F,MAAM,MAAM,GAAG,OAAO,CACpB,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,MAAM,IAAI,IAAI,UAAU;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAC/D,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAC3B,CAAC;IACF,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC3B,oFAAoF;IACpF,wFAAwF;IACxF,wCAAwC;IACxC,MAAM,eAAe,CAAC,MAAM,CAAC,CAAC;IAE9B,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,kGAAkG;AAClG,KAAK,UAAU,aAAa;IAC1B,IAAI,CAAC;QACH,OAAO,MAAM,MAAM,CAAC,wBAAwB,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CACb,gFAAgF;cAC9E,8BAA8B,CACjC,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/statements.d.ts

@@ -0,0 +1,17 @@
+import type { QueryEvent } from '@fougere/adapter-sql';
+/**
+ * Every statement a call ran, in order.
+ *
+ * `testApp` boots on real SQLite, so this is what the handler actually asked the database —
+ * one per row is the shape of an N+1, and it is a number a test can refuse. A computed field
+ * that reads is the case: the façade hands the presenter the whole PAGE, so one query is
+ * possible, and nothing refuses `Promise.all(rows.map(…))` inside the field body.
+ *
+ * It REFUSES when `@fougere/adapter-sql` is absent, where the tracer degrades quietly: zero
+ * is what a passing assertion looks like, so an app observing nothing would turn this into a
+ * test that cannot fail.
+ *
+ * What it counts is the PROCESS, not the call — everything running while the block runs.
+ */
+export declare function statementsOf(run: () => Promise<unknown>): Promise<QueryEvent[]>;
+//# sourceMappingURL=statements.d.ts.map

package/dist/statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../src/statements.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,YAAY,CAAC,GAAG,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAYrF"}

package/dist/statements.js

@@ -0,0 +1,37 @@
+/**
+ * Every statement a call ran, in order.
+ *
+ * `testApp` boots on real SQLite, so this is what the handler actually asked the database —
+ * one per row is the shape of an N+1, and it is a number a test can refuse. A computed field
+ * that reads is the case: the façade hands the presenter the whole PAGE, so one query is
+ * possible, and nothing refuses `Promise.all(rows.map(…))` inside the field body.
+ *
+ * It REFUSES when `@fougere/adapter-sql` is absent, where the tracer degrades quietly: zero
+ * is what a passing assertion looks like, so an app observing nothing would turn this into a
+ * test that cannot fail.
+ *
+ * What it counts is the PROCESS, not the call — everything running while the block runs.
+ */
+export async function statementsOf(run) {
+    const { onQuery } = await sql();
+    const ran = [];
+    const stop = onQuery((event) => ran.push(event));
+    try {
+        await run();
+    }
+    finally {
+        stop();
+    }
+    return ran;
+}
+/** Optional, and dynamic for the reason `@fougere/calls` states: this package depends on none. */
+async function sql() {
+    try {
+        return await import('@fougere/adapter-sql');
+    }
+    catch {
+        throw new Error('[statementsOf] counting statements needs @fougere/adapter-sql — install it, '
+            + 'or the count is zero whatever the handler ran.');
+    }
+}
+//# sourceMappingURL=statements.js.map

package/dist/statements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.js","sourceRoot":"","sources":["../src/statements.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,GAA2B;IAC5D,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,GAAG,EAAE,CAAC;IAChC,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAEjD,IAAI,CAAC;QACH,MAAM,GAAG,EAAE,CAAC;IACd,CAAC;YAAS,CAAC;QACT,IAAI,EAAE,CAAC;IACT,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,kGAAkG;AAClG,KAAK,UAAU,GAAG;IAChB,IAAI,CAAC;QACH,OAAO,MAAM,MAAM,CAAC,sBAAsB,CAAC,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CACb,8EAA8E;cAC5E,gDAAgD,CACnD,CAAC;IACJ,CAAC;AACH,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fougere/testing",
-  "version": "0.9.0-alpha.1",
+  "version": "0.9.3-alpha.0",
   "description": "Tests derived from the declaration — cases, stubs and a gradient of realities.",
   "keywords": [
     "fougere",
@@ -34,20 +34,22 @@
   ],
   "dependencies": {
     "json-schema-faker": "^0.6.3",
-    "@fougere/container": "0.9.0-alpha.1",
-    "@fougere/defaults": "0.9.0-alpha.1",
-    "@fougere/core": "0.9.0-alpha.1",
-    "@fougere/transport-http": "0.9.0-alpha.1",
-    "@fougere/schema": "0.9.0-alpha.1",
-    "@fougere/compiler": "0.9.0-alpha.1",
-    "@fougere/app": "0.9.0-alpha.1"
+    "@fougere/container": "0.9.3-alpha.0",
+    "@fougere/schema": "0.9.3-alpha.0",
+    "@fougere/compiler": "0.9.3-alpha.0",
+    "@fougere/defaults": "0.9.3-alpha.0",
+    "@fougere/app": "0.9.3-alpha.0",
+    "@fougere/core": "0.9.3-alpha.0",
+    "@fougere/transport-http": "0.9.3-alpha.0"
   },
   "publishConfig": {
     "access": "public"
   },
   "peerDependencies": {
     "vitest": ">=2",
-    "@fougere/adapter-graphql": "0.9.0-alpha.1"
+    "@fougere/observability": "0.9.3-alpha.0",
+    "@fougere/adapter-sql": "0.9.3-alpha.0",
+    "@fougere/adapter-graphql": "0.9.3-alpha.0"
   },
   "peerDependenciesMeta": {
     "vitest": {
@@ -55,11 +57,19 @@
     },
     "@fougere/adapter-graphql": {
       "optional": true
+    },
+    "@fougere/adapter-sql": {
+      "optional": true
+    },
+    "@fougere/observability": {
+      "optional": true
     }
   },
   "devDependencies": {
     "vitest": "^4.1.0",
-    "@fougere/adapter-graphql": "0.9.0-alpha.1"
+    "@fougere/adapter-graphql": "0.9.3-alpha.0",
+    "@fougere/adapter-sql": "0.9.3-alpha.0",
+    "@fougere/observability": "0.9.3-alpha.0"
   },
   "scripts": {
     "build": "rm -rf dist && tsc",

package/src/index.ts

@@ -5,7 +5,9 @@ export { testApp } from './app.js';
 export { checkContract, checkOutput, verdictOf, type Verdict } from './doors.js';
 export { stubOf, type Port, type Stub } from './stub.js';
 export { frondOf, type Scope } from './scope.js';
-export { loadScript } from './load.js';
+export { loadScript, reachableOps } from './load.js';
+export { statementsOf } from './statements.js';
+export { spansOf } from './spans.js';
 export {
   checkDoorContract,
   checkDoors,

package/src/load.ts

@@ -1,11 +1,25 @@
 import { frameCall } from '@fougere/transport-http';
-import type { App } from '@fougere/core';
+import { resolveEffectiveOperations } from '@fougere/core';
+import type { FrondDescriptor } from '@fougere/core/descriptor';
+
+/**
+ * What a load script is read from: the fronds, and nothing else.
+ *
+ * An `App` satisfies it, and so does a scan — which is what lets `fougere load` answer without
+ * booting the project it describes. A boot runs migrations and seeds, so a command that wrote a
+ * scenario would also write to the target's database.
+ */
+interface Serving {
+  fronds: readonly FrondDescriptor[];
+}
 import type { SchemaView } from '@fougere/schema';
 import { sampleInput } from './sample.js';
 
 export interface LoadOptions {
   /** Where the calls go. The RPC door of a running app. */
   door?: string;
+  /** The topology statement, so an op that crosses a process is given the time to. */
+  remotes?: Record<string, string>;
   /** Values the generator cannot invent, by entity name — the id a `ref()` points at. */
   given?: Record<string, Record<string, unknown>>;
 }
@@ -13,10 +27,18 @@ export interface LoadOptions {
 interface Reachable {
   method: string;
   input: unknown;
+  /** How many times this op's work crosses a process — what its budget is a function of. */
+  hops: number;
 }
 
 /** Every operation the app answers, with a body for those that take one. */
-export function reachableOps(app: App, given: LoadOptions['given'] = {}): Reachable[] {
+export function reachableOps(
+  app: Serving,
+  given: LoadOptions['given'] = {},
+  remotes: Record<string, string> = {},
+): Reachable[] {
+  const { operations } = resolveEffectiveOperations(app.fronds, { remotes });
+  const hops = new Map(operations.map((op) => [`${op.handler.address}.${op.name}`, op.reach.hops]));
   const found: Reachable[] = [];
   for (const frond of app.fronds) {
     for (const handler of frond.handlers) {
@@ -25,9 +47,11 @@ export function reachableOps(app: App, given: LoadOptions['given'] = {}): Reacha
       if (handler.surface) continue;
       for (const [op, contract] of handler.operations ?? []) {
         const schema = contract.input as SchemaView | undefined;
+        const method = `${handler.address}.${op}`;
         found.push({
-          method: `${handler.address}.${op}`,
+          method,
           input: schema ? sampleInput(schema, given[handler.address] ?? {}) : undefined,
+          hops: hops.get(method) ?? 0,
         });
       }
     }
@@ -36,9 +60,9 @@ export function reachableOps(app: App, given: LoadOptions['given'] = {}): Reacha
 }
 
 /** A k6 scenario, written from what the app answers. */
-export function loadScript(app: App, options: LoadOptions = {}): string {
+export function loadScript(app: Serving, options: LoadOptions = {}): string {
   const door = options.door ?? 'http://127.0.0.1:3000/_fougere/call';
-  const ops = reachableOps(app, options.given);
+  const ops = reachableOps(app, options.given, options.remotes ?? {});
   // The shape, from the one function that states it. `body` is replaced per iteration.
   const envelope = frameCall({ entity: 'ENTITY', op: 'OP' }, { params: {}, query: {}, input: undefined, state: {} } as never, 0);
   // What the envelope carries that an iteration does not fill in itself. Keeping
@@ -56,6 +80,12 @@ 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)};
 
+// Yours: how long an op may take here, and what one process boundary is allowed to add. Two
+// numbers instead of one, because an op that crosses nothing and an op that crosses twice were
+// never the same subject — hops above is read from the code, these two are facts about your
+// network.
+const BUDGET = { base: 300, perHop: 200 };
+
 export const options = {
   // Yours: a flat rate draws flat lines and there is nothing to read in them.
   stages: [
@@ -63,8 +93,17 @@ export const options = {
     { 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'] },
+  // Yours: the shape of the run.
+  // Derived from BUDGET and each op's hops — an op that crosses two processes is not held to
+  // the same figure as one that never leaves. k6 reads a threshold per tag, and every call
+  // below is tagged with the op it made.
+  thresholds: {
+    http_req_failed: ['rate<0.01'],
+    ...Object.fromEntries(OPS.map((op) => [
+      \`http_req_duration{op:\${op.method}}\`,
+      [\`p(95)<\${BUDGET.base + op.hops * BUDGET.perHop}\`],
+    ])),
+  },
 };
 
 const TOTAL = OPS.reduce((sum, op) => sum + op.weight, 0);

package/src/spans.ts

@@ -0,0 +1,66 @@
+import type { App } from '@fougere/core';
+import type { FinishedSpan } from '@fougere/observability';
+
+/** One tracer per app: `app.use` has no undo, so a second call would stack a middleware. */
+const installed = new WeakMap<App, FinishedSpan[][]>();
+
+/**
+ * The steps one call opened — the operation, then whatever ran under it.
+ *
+ * The dual of [statementsOf]: that one counts what a call asked the database, this one holds
+ * the shape of the call itself. What it is FOR is a test about structure rather than speed —
+ * an op that delegates reports almost no self time, whatever the machine it runs on:
+ *
+ * ```ts
+ * const [op] = await spansOf(app, () => door.list());
+ * expect(op.selfMs).toBeLessThan(0.1 * op.ms);   // it delegates, it does not work
+ * ```
+ *
+ * A threshold in milliseconds tests the machine. A ratio tests the code.
+ */
+export async function spansOf(app: App, run: () => Promise<unknown>): Promise<FinishedSpan[]> {
+  const collecting = await tracerOf(app);
+  const spans: FinishedSpan[] = [];
+  collecting.push(spans);
+
+  try {
+    await run();
+  } finally {
+    collecting.splice(collecting.indexOf(spans), 1);
+  }
+
+  return spans;
+}
+
+async function tracerOf(app: App): Promise<FinishedSpan[][]> {
+  const held = installed.get(app);
+  if (held) return held;
+
+  const { statementsUnder, tracing } = await observability();
+  const collecting: FinishedSpan[][] = [];
+  installed.set(app, collecting);
+  // A test IS the diagnosis, so it asks for the detail a process running continuously does not.
+  const tracer = tracing(
+    [(span) => { for (const into of collecting) into.push(span); }],
+    { spanPerStatement: true },
+  );
+  app.use(tracer.middleware);
+  // Both halves, or `selfMs` would read as if the handler did the waiting itself. The
+  // subscription lives as long as the test process: `app.use` has no undo either, and one
+  // app per file is what a test file has.
+  await statementsUnder(tracer);
+
+  return collecting;
+}
+
+/** Optional, and dynamic for the reason `@fougere/calls` states: this package depends on none. */
+async function observability(): Promise<typeof import('@fougere/observability')> {
+  try {
+    return await import('@fougere/observability');
+  } catch {
+    throw new Error(
+      '[spansOf] reading what a call cost needs @fougere/observability — install it, '
+      + 'or there is no span to read.',
+    );
+  }
+}

package/src/statements.ts

@@ -0,0 +1,41 @@
+import type { QueryEvent } from '@fougere/adapter-sql';
+
+/**
+ * Every statement a call ran, in order.
+ *
+ * `testApp` boots on real SQLite, so this is what the handler actually asked the database —
+ * one per row is the shape of an N+1, and it is a number a test can refuse. A computed field
+ * that reads is the case: the façade hands the presenter the whole PAGE, so one query is
+ * possible, and nothing refuses `Promise.all(rows.map(…))` inside the field body.
+ *
+ * It REFUSES when `@fougere/adapter-sql` is absent, where the tracer degrades quietly: zero
+ * is what a passing assertion looks like, so an app observing nothing would turn this into a
+ * test that cannot fail.
+ *
+ * What it counts is the PROCESS, not the call — everything running while the block runs.
+ */
+export async function statementsOf(run: () => Promise<unknown>): Promise<QueryEvent[]> {
+  const { onQuery } = await sql();
+  const ran: QueryEvent[] = [];
+  const stop = onQuery((event) => ran.push(event));
+
+  try {
+    await run();
+  } finally {
+    stop();
+  }
+
+  return ran;
+}
+
+/** Optional, and dynamic for the reason `@fougere/calls` states: this package depends on none. */
+async function sql(): Promise<typeof import('@fougere/adapter-sql')> {
+  try {
+    return await import('@fougere/adapter-sql');
+  } catch {
+    throw new Error(
+      '[statementsOf] counting statements needs @fougere/adapter-sql — install it, '
+      + 'or the count is zero whatever the handler ran.',
+    );
+  }
+}