@ontrails/testing 1.0.0-beta.4 → 1.0.0-beta.41

package/dist/assertions.js

@@ -1,84 +0,0 @@
-/**
- * Progressive assertion logic for example-driven testing.
- *
- * Three tiers:
- * 1. Full match — example has `expected` output
- * 2. Schema-only — no expected output, no error
- * 3. Error match — example declares an error class name
- */
-import { expect } from 'bun:test';
-import { formatZodIssues } from '@ontrails/core';
-// ---------------------------------------------------------------------------
-// Result narrowing helpers
-// ---------------------------------------------------------------------------
-/**
- * Assert that a Result is Ok and return its value.
- *
- * Eliminates the `if (result.isOk())` / `as unknown as` dance in tests.
- *
- * @example
- * ```typescript
- * const value = expectOk(result);
- * expect(value.name).toBe('Alice');
- * ```
- */
-export const expectOk = (result) => {
-    expect(result.isOk()).toBe(true);
-    return result.value;
-};
-/**
- * Assert that a Result is Err and return its error.
- *
- * Eliminates the `if (result.isErr())` / `as unknown as` dance in tests.
- *
- * @example
- * ```typescript
- * const error = expectErr(result);
- * expect(error).toBeInstanceOf(ValidationError);
- * ```
- */
-export const expectErr = (result) => {
-    expect(result.isErr()).toBe(true);
-    return result.error;
-};
-// ---------------------------------------------------------------------------
-// Full Match
-// ---------------------------------------------------------------------------
-/**
- * Assert that the result is ok and its value deep-equals the expected output.
- */
-export const assertFullMatch = (result, expected) => {
-    const value = expectOk(result);
-    expect(value).toEqual(expected);
-};
-// ---------------------------------------------------------------------------
-// Schema-Only Match
-// ---------------------------------------------------------------------------
-/**
- * Assert that the result is ok and, if an output schema is provided,
- * the value parses against it.
- */
-export const assertSchemaMatch = (result, outputSchema) => {
-    const value = expectOk(result);
-    if (outputSchema !== undefined) {
-        const parsed = outputSchema.safeParse(value);
-        if (!parsed.success) {
-            throw new Error(`Output does not match schema: ${formatZodIssues(parsed.error.issues).join('; ')}`);
-        }
-    }
-};
-// ---------------------------------------------------------------------------
-// Error Match
-// ---------------------------------------------------------------------------
-/**
- * Assert that the result is an error of the specified type, with optional
- * message substring matching.
- */
-export const assertErrorMatch = (result, expectedError, expectedMessage) => {
-    const error = expectErr(result);
-    expect(error).toBeInstanceOf(expectedError);
-    if (expectedMessage !== undefined) {
-        expect(error.message).toContain(expectedMessage);
-    }
-};
-//# sourceMappingURL=assertions.js.map

package/dist/assertions.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"assertions.js","sourceRoot":"","sources":["../src/assertions.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAGlC,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGjD,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAO,MAAoB,EAAK,EAAE;IACxD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,OAAQ,MAAkC,CAAC,KAAK,CAAC;AACnD,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,MAAoB,EAAK,EAAE;IACzD,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,OAAQ,MAAkC,CAAC,KAAK,CAAC;AACnD,CAAC,CAAC;AAEF,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,MAA8B,EAC9B,QAAiB,EACX,EAAE;IACR,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAA8B,EAC9B,YAAmC,EAC7B,EAAE;IACR,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/B,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CACb,iCAAiC,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACnF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAA8B,EAC9B,aAA8C,EAC9C,eAAwB,EAClB,EAAE;IACR,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;IAC5C,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACnD,CAAC;AACH,CAAC,CAAC"}

package/dist/context.d.ts

@@ -1,19 +0,0 @@
-/**
- * Test context factory for creating TrailContext instances suitable for testing.
- */
-import type { TrailContext } from '@ontrails/core';
-import type { TestTrailContextOptions } from './types.js';
-/**
- * Create a TrailContext with deterministic, test-friendly defaults.
- *
- * - `requestId`: `"test-request-001"` (deterministic)
- * - `logger`: a `TestLogger` that captures entries
- * - `signal`: a non-aborted AbortController signal
- */
-export declare const createTestContext: (overrides?: TestTrailContextOptions) => TrailContext;
-/**
- * Merge a Partial<TrailContext> into a test context.
- * Used internally when the public API accepts Partial<TrailContext>.
- */
-export declare const mergeTestContext: (ctx?: Partial<TrailContext>) => TrailContext;
-//# sourceMappingURL=context.d.ts.map

package/dist/context.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../src/context.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAGnD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAM1D;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,GAC5B,YAAY,uBAAuB,KAClC,YAMD,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,OAAO,CAAC,YAAY,CAAC,KAAG,YAO9D,CAAC"}

package/dist/context.js

@@ -1,33 +0,0 @@
-/**
- * Test context factory for creating TrailContext instances suitable for testing.
- */
-import { createTestLogger } from './logger.js';
-// ---------------------------------------------------------------------------
-// createTestContext
-// ---------------------------------------------------------------------------
-/**
- * Create a TrailContext with deterministic, test-friendly defaults.
- *
- * - `requestId`: `"test-request-001"` (deterministic)
- * - `logger`: a `TestLogger` that captures entries
- * - `signal`: a non-aborted AbortController signal
- */
-export const createTestContext = (overrides) => ({
-    env: overrides?.env ?? { TRAILS_ENV: 'test' },
-    logger: overrides?.logger ?? createTestLogger(),
-    requestId: overrides?.requestId ?? 'test-request-001',
-    signal: overrides?.signal ?? new AbortController().signal,
-    workspaceRoot: overrides?.cwd ?? process.cwd(),
-});
-/**
- * Merge a Partial<TrailContext> into a test context.
- * Used internally when the public API accepts Partial<TrailContext>.
- */
-export const mergeTestContext = (ctx) => {
-    if (ctx === undefined) {
-        return createTestContext();
-    }
-    const base = createTestContext();
-    return { ...base, ...ctx };
-};
-//# sourceMappingURL=context.js.map

package/dist/context.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"context.js","sourceRoot":"","sources":["../src/context.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAG/C,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,SAAmC,EACrB,EAAE,CAAC,CAAC;IAClB,GAAG,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE;IAC7C,MAAM,EAAE,SAAS,EAAE,MAAM,IAAI,gBAAgB,EAAE;IAC/C,SAAS,EAAE,SAAS,EAAE,SAAS,IAAI,kBAAkB;IACrD,MAAM,EAAE,SAAS,EAAE,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC,MAAM;IACzD,aAAa,EAAE,SAAS,EAAE,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE;CAC/C,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,GAA2B,EAAgB,EAAE;IAC5E,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,iBAAiB,EAAE,CAAC;IAC7B,CAAC;IAED,MAAM,IAAI,GAAG,iBAAiB,EAAE,CAAC;IACjC,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,EAAE,CAAC;AAC7B,CAAC,CAAC"}

package/dist/contracts.d.ts

@@ -1,16 +0,0 @@
-/**
- * testContracts — output schema verification.
- *
- * For every trail that has both examples and an output schema,
- * run each example and validate the implementation output against
- * the declared schema.
- */
-import type { Topo, TrailContext } from '@ontrails/core';
-/**
- * Verify that every trail implementation output matches its declared
- * output schema. Catches implementation-schema drift.
- *
- * Trails without output schemas or examples are skipped.
- */
-export declare const testContracts: (app: Topo, ctxOrFactory?: Partial<TrailContext> | (() => Partial<TrailContext>)) => void;
-//# sourceMappingURL=contracts.d.ts.map

package/dist/contracts.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../src/contracts.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,KAAK,EAAE,IAAI,EAAuB,YAAY,EAAE,MAAM,gBAAgB,CAAC;AA0C9E;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GACxB,KAAK,IAAI,EACT,eAAe,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,OAAO,CAAC,YAAY,CAAC,CAAC,KACnE,IAoCF,CAAC"}

package/dist/contracts.js

@@ -1,66 +0,0 @@
-/**
- * testContracts — output schema verification.
- *
- * For every trail that has both examples and an output schema,
- * run each example and validate the implementation output against
- * the declared schema.
- */
-import { describe, test } from 'bun:test';
-import { formatZodIssues, validateInput } from '@ontrails/core';
-import { expectOk } from './assertions.js';
-import { mergeTestContext } from './context.js';
-// ---------------------------------------------------------------------------
-// Helpers
-// ---------------------------------------------------------------------------
-/** Check if a trail requires follow() but the context doesn't provide it. */
-const needsFollowContext = (t, resolveCtx) => {
-    const spec = t;
-    if (!spec.follow || spec.follow.length === 0) {
-        return false;
-    }
-    return !resolveCtx()?.follow;
-};
-const validateOutputSchema = (outputSchema, value, trailId, exampleName) => {
-    const parsed = outputSchema.safeParse(value);
-    if (!parsed.success) {
-        const issues = formatZodIssues(parsed.error.issues);
-        throw new Error(`Output schema violation for trail "${trailId}", example "${exampleName}":\n${issues.map((i) => `  - ${i}`).join('\n')}\n\nActual output: ${JSON.stringify(value, null, 2)}`);
-    }
-};
-// ---------------------------------------------------------------------------
-// testContracts
-// ---------------------------------------------------------------------------
-/**
- * Verify that every trail implementation output matches its declared
- * output schema. Catches implementation-schema drift.
- *
- * Trails without output schemas or examples are skipped.
- */
-export const testContracts = (app, ctxOrFactory) => {
-    const resolveCtx = typeof ctxOrFactory === 'function' ? ctxOrFactory : () => ctxOrFactory;
-    const allEntries = app.list();
-    describe('contracts', () => {
-        describe.each(allEntries)('$id', (t) => {
-            if (t.output === undefined) {
-                return;
-            }
-            if (t.examples === undefined || t.examples.length === 0) {
-                return;
-            }
-            if (needsFollowContext(t, resolveCtx)) {
-                return;
-            }
-            const { examples, output: outputSchema } = t;
-            const successExamples = examples.filter((e) => e.error === undefined);
-            test.each(successExamples)('contract: $name', async (example) => {
-                const testCtx = mergeTestContext(resolveCtx());
-                const validated = validateInput(t.input, example.input);
-                const validatedInput = expectOk(validated);
-                const result = await t.run(validatedInput, testCtx);
-                const resultValue = expectOk(result);
-                validateOutputSchema(outputSchema, resultValue, t.id, example.name);
-            });
-        });
-    });
-};
-//# sourceMappingURL=contracts.js.map

package/dist/contracts.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../src/contracts.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAG1C,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAGhE,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,6EAA6E;AAC7E,MAAM,kBAAkB,GAAG,CACzB,CAAU,EACV,UAAmD,EAC1C,EAAE;IACX,MAAM,IAAI,GAAG,CAAmC,CAAC;IACjD,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,YAAuB,EACvB,KAAc,EACd,OAAe,EACf,WAAmB,EACb,EAAE;IACR,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,IAAI,KAAK,CACb,sCAAsC,OAAO,eAAe,WAAW,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAC7K,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,GAAS,EACT,YAAoE,EAC9D,EAAE;IACR,MAAM,UAAU,GACd,OAAO,YAAY,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC;IACzE,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,EAA+B,CAAC;IAE3D,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;QACzB,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACrC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO;YACT,CAAC;YACD,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxD,OAAO;YACT,CAAC;YACD,IAAI,kBAAkB,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;gBACtC,OAAO;YACT,CAAC;YAED,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;YAEtE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CACxB,iBAAiB,EACjB,KAAK,EAAE,OAAuC,EAAE,EAAE;gBAChD,MAAM,OAAO,GAAG,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC;gBAE/C,MAAM,SAAS,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;gBACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;gBAE3C,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;gBACpD,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAErC,oBAAoB,CAAC,YAAY,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YACtE,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/detours.d.ts

@@ -1,12 +0,0 @@
-/**
- * testDetours — verify that all detour targets exist in the topo.
- *
- * Pure structural validation. No implementation execution needed.
- */
-import type { Topo } from '@ontrails/core';
-/**
- * Verify that every trail's detour targets reference trails that
- * actually exist in the app's topo.
- */
-export declare const testDetours: (app: Topo) => void;
-//# sourceMappingURL=detours.d.ts.map

package/dist/detours.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"detours.d.ts","sourceRoot":"","sources":["../src/detours.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,KAAK,EAAE,IAAI,EAAS,MAAM,gBAAgB,CAAC;AAMlD;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,IAAI,KAAG,IAyBvC,CAAC"}

package/dist/detours.js

@@ -1,30 +0,0 @@
-/**
- * testDetours — verify that all detour targets exist in the topo.
- *
- * Pure structural validation. No implementation execution needed.
- */
-import { describe, expect, test } from 'bun:test';
-// ---------------------------------------------------------------------------
-// testDetours
-// ---------------------------------------------------------------------------
-/**
- * Verify that every trail's detour targets reference trails that
- * actually exist in the app's topo.
- */
-export const testDetours = (app) => {
-    const trailEntries = [...app.trails];
-    describe('detours', () => {
-        describe.each(trailEntries)('%s', (_id, trailDef) => {
-            const t = trailDef;
-            if (t.detours === undefined) {
-                return;
-            }
-            const { detours } = t;
-            const testCases = Object.entries(detours).flatMap(([detourName, targets]) => targets.map((targetId) => ({ detourName, targetId })));
-            test.each(testCases)('detour "$detourName" -> "$targetId" exists', ({ targetId }) => {
-                expect(app.has(targetId)).toBe(true);
-            });
-        });
-    });
-};
-//# sourceMappingURL=detours.js.map

package/dist/detours.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"detours.js","sourceRoot":"","sources":["../src/detours.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAIlD,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,GAAS,EAAQ,EAAE;IAC7C,MAAM,YAAY,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IAErC,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE;YAClD,MAAM,CAAC,GAAG,QAAmC,CAAC;YAE9C,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC5B,OAAO;YACT,CAAC;YAED,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YACtB,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAC/C,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,EAAE,CACxB,OAAO,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,CACxD,CAAC;YAEF,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAClB,4CAA4C,EAC5C,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE;gBACf,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/examples.d.ts

@@ -1,22 +0,0 @@
-/**
- * testExamples — the headline one-liner.
- *
- * Iterates every trail in the app's topo. For each trail with examples,
- * generates describe/test blocks using bun:test. Progressive assertion
- * determines which check to run per example. For trails with `follow`
- * declarations, checks that every declared follow was called at least once.
- */
-import type { Topo, TrailContext } from '@ontrails/core';
-/**
- * Generate describe/test blocks for every trail example in the app.
- *
- * For trails with `follow` declarations and examples, also verifies that
- * every declared follow ID was called at least once across all examples.
- *
- * One line in your test file:
- * ```ts
- * testExamples(app);
- * ```
- */
-export declare const testExamples: (app: Topo, ctxOrFactory?: Partial<TrailContext> | (() => Partial<TrailContext>)) => void;
-//# sourceMappingURL=examples.d.ts.map

package/dist/examples.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"examples.d.ts","sourceRoot":"","sources":["../src/examples.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,EAEV,IAAI,EAGJ,YAAY,EACb,MAAM,gBAAgB,CAAC;AAiMxB;;;;;;;;;;GAUG;AACH,eAAO,MAAM,YAAY,GACvB,KAAK,IAAI,EACT,eAAe,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,OAAO,CAAC,YAAY,CAAC,CAAC,KACnE,IAqDF,CAAC"}

package/dist/examples.js

@@ -1,175 +0,0 @@
-/**
- * testExamples — the headline one-liner.
- *
- * Iterates every trail in the app's topo. For each trail with examples,
- * generates describe/test blocks using bun:test. Progressive assertion
- * determines which check to run per example. For trails with `follow`
- * declarations, checks that every declared follow was called at least once.
- */
-import { describe, expect, test } from 'bun:test';
-import { AlreadyExistsError, AmbiguousError, AssertionError, AuthError, CancelledError, ConflictError, InternalError, NetworkError, NotFoundError, PermissionError, RateLimitError, Result, TimeoutError, TrailsError, ValidationError, validateInput, } from '@ontrails/core';
-import { assertErrorMatch, assertFullMatch, assertSchemaMatch, expectOk, } from './assertions.js';
-import { mergeTestContext } from './context.js';
-// ---------------------------------------------------------------------------
-// Error class name -> constructor map
-// ---------------------------------------------------------------------------
-const ERROR_MAP = {
-    AlreadyExistsError: AlreadyExistsError,
-    AmbiguousError: AmbiguousError,
-    AssertionError: AssertionError,
-    AuthError: AuthError,
-    CancelledError: CancelledError,
-    ConflictError: ConflictError,
-    InternalError: InternalError,
-    NetworkError: NetworkError,
-    NotFoundError: NotFoundError,
-    PermissionError: PermissionError,
-    RateLimitError: RateLimitError,
-    TimeoutError: TimeoutError,
-    TrailsError: TrailsError,
-    ValidationError: ValidationError,
-};
-/**
- * Resolve an error class name string to the actual constructor.
- * Falls back to generic Error if the name is not in the core taxonomy.
- */
-const resolveErrorClass = (name) => ERROR_MAP[name] ?? Error;
-// ---------------------------------------------------------------------------
-// Helpers
-// ---------------------------------------------------------------------------
-const assertProgressiveMatch = (result, example, output) => {
-    if (example.expected !== undefined) {
-        assertFullMatch(result, example.expected);
-        return;
-    }
-    if (example.error !== undefined) {
-        const errorClass = resolveErrorClass(example.error);
-        assertErrorMatch(result, errorClass);
-        return;
-    }
-    assertSchemaMatch(result, output);
-};
-/**
- * Handle input validation failure for an example.
- * Returns true if the validation error was expected (and assertions passed).
- * Throws if the validation error was unexpected.
- */
-const handleValidationError = (validated, example) => {
-    if (!validated.isErr()) {
-        return false;
-    }
-    if (example.error !== undefined) {
-        const errorClass = resolveErrorClass(example.error);
-        expect(validated.error).toBeInstanceOf(errorClass);
-        return true;
-    }
-    throw new Error(`Example "${example.name}" has invalid input: ${validated.error.message}`);
-};
-/**
- * Run a single example against a trail.
- * Handles validation, execution, and assertions.
- */
-const runExample = async (t, example, output, testCtx) => {
-    const validated = validateInput(t.input, example.input);
-    if (handleValidationError(validated, example)) {
-        return;
-    }
-    const validatedInput = expectOk(validated);
-    const result = await t.run(validatedInput, testCtx);
-    assertProgressiveMatch(result, example, output);
-};
-// ---------------------------------------------------------------------------
-// Follow coverage for composition trails
-// ---------------------------------------------------------------------------
-/**
- * Build a recording follow function that tracks which trail IDs are called.
- *
- * Delegates to `baseFollow` when available, otherwise looks up the trail
- * in the topo and executes it with validated input. Falls back to
- * `Result.ok()` when neither is available.
- */
-const createCoverageFollow = (called, baseFollow, topo, ctx) => {
-    const follow = (id, input) => {
-        called.add(id);
-        if (baseFollow !== undefined) {
-            return baseFollow(id, input);
-        }
-        const trailDef = topo.get(id);
-        if (trailDef !== undefined) {
-            const validated = validateInput(trailDef.input, input);
-            if (validated.isErr()) {
-                return Promise.resolve(validated);
-            }
-            return Promise.resolve(trailDef.run(validated.value, ctx));
-        }
-        return Promise.resolve(Result.ok());
-    };
-    return follow;
-};
-/**
- * Run a single example against a composition trail, recording follow calls.
- */
-const runCompositionExample = async (trailDef, example, output, baseCtx, called, topo) => {
-    const validated = validateInput(trailDef.input, example.input);
-    if (handleValidationError(validated, example)) {
-        return;
-    }
-    const validatedInput = expectOk(validated);
-    const follow = createCoverageFollow(called, baseCtx.follow, topo, baseCtx);
-    const testCtx = { ...baseCtx, follow };
-    const result = await trailDef.run(validatedInput, testCtx);
-    assertProgressiveMatch(result, example, output);
-};
-// ---------------------------------------------------------------------------
-// testExamples
-// ---------------------------------------------------------------------------
-/**
- * Generate describe/test blocks for every trail example in the app.
- *
- * For trails with `follow` declarations and examples, also verifies that
- * every declared follow ID was called at least once across all examples.
- *
- * One line in your test file:
- * ```ts
- * testExamples(app);
- * ```
- */
-export const testExamples = (app, ctxOrFactory) => {
-    const resolveCtx = typeof ctxOrFactory === 'function' ? ctxOrFactory : () => ctxOrFactory;
-    const allTrails = app.list();
-    const withExamples = allTrails.filter((t) => t.examples !== undefined && t.examples.length > 0);
-    const simpleTrails = withExamples.filter((t) => t.follow.length === 0);
-    const compositionTrails = withExamples.filter((t) => t.follow.length > 0);
-    // Simple trails: run examples directly
-    if (simpleTrails.length > 0) {
-        describe.each(simpleTrails)('$id', (t) => {
-            const { examples, output } = t;
-            if (!examples) {
-                return;
-            }
-            test.each([...examples])('example: $name', async (example) => {
-                const testCtx = mergeTestContext(resolveCtx());
-                await runExample(t, example, output, testCtx);
-            });
-        });
-    }
-    // Composition trails: use recording follow and check coverage
-    if (compositionTrails.length > 0) {
-        describe.each(compositionTrails)('$id', (t) => {
-            const { examples, output } = t;
-            if (!examples) {
-                return;
-            }
-            const called = new Set();
-            test.each([...examples])('example: $name', async (example) => {
-                const baseCtx = mergeTestContext(resolveCtx());
-                await runCompositionExample(t, example, output, baseCtx, called, app);
-            });
-            test('follow coverage', () => {
-                const uncovered = t.follow.filter((id) => !called.has(id));
-                expect(uncovered).toEqual([]);
-            });
-        });
-    }
-};
-//# sourceMappingURL=examples.js.map

package/dist/examples.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"examples.js","sourceRoot":"","sources":["../src/examples.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAUlD,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,SAAS,EACT,cAAc,EACd,aAAa,EACb,aAAa,EACb,YAAY,EACZ,aAAa,EACb,eAAe,EACf,cAAc,EACd,MAAM,EACN,YAAY,EACZ,WAAW,EACX,eAAe,EACf,aAAa,GACd,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,QAAQ,GACT,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,8EAA8E;AAC9E,sCAAsC;AACtC,8EAA8E;AAE9E,MAAM,SAAS,GAAoD;IACjE,kBAAkB,EAAE,kBAAqD;IACzE,cAAc,EAAE,cAAiD;IACjE,cAAc,EAAE,cAAiD;IACjE,SAAS,EAAE,SAA4C;IACvD,cAAc,EAAE,cAAiD;IACjE,aAAa,EAAE,aAAgD;IAC/D,aAAa,EAAE,aAAgD;IAC/D,YAAY,EAAE,YAA+C;IAC7D,aAAa,EAAE,aAAgD;IAC/D,eAAe,EAAE,eAAkD;IACnE,cAAc,EAAE,cAAiD;IACjE,YAAY,EAAE,YAA+C;IAC7D,WAAW,EAAE,WAAyD;IACtE,eAAe,EAAE,eAAkD;CACpE,CAAC;AAEF;;;GAGG;AACH,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAqC,EAAE,CAC5E,SAAS,CAAC,IAAI,CAAC,IAAK,KAAyC,CAAC;AAEhE,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,MAAM,sBAAsB,GAAG,CAC7B,MAA8B,EAC9B,OAAuC,EACvC,MAA6B,EACvB,EAAE;IACR,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnC,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC1C,OAAO;IACT,CAAC;IAED,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpD,gBAAgB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IAED,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,qBAAqB,GAAG,CAC5B,SAAiC,EACjC,OAAuC,EAC9B,EAAE;IACX,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,IAAI,KAAK,CACb,YAAY,OAAO,CAAC,IAAI,wBAAwB,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,CAC1E,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,GAAG,KAAK,EACtB,CAA0B,EAC1B,OAAuC,EACvC,MAA6B,EAC7B,OAAqB,EACN,EAAE;IACjB,MAAM,SAAS,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAExD,IAAI,qBAAqB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;QAC9C,OAAO;IACT,CAAC;IACD,MAAM,cAAc,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IAE3C,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACpD,sBAAsB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF,8EAA8E;AAC9E,yCAAyC;AACzC,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,oBAAoB,GAAG,CAC3B,MAAmB,EACnB,UAAgC,EAChC,IAAU,EACV,GAAiB,EACP,EAAE;IACZ,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,KAAc,EAAE,EAAE;QAC5C,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEf,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACvD,IAAI,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC;gBACtB,OAAO,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACpC,CAAC;YACD,OAAO,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7D,CAAC;QAED,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC;IACF,OAAO,MAAkB,CAAC;AAC5B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,qBAAqB,GAAG,KAAK,EACjC,QAAiC,EACjC,OAAuC,EACvC,MAA6B,EAC7B,OAAqB,EACrB,MAAmB,EACnB,IAAU,EACK,EAAE;IACjB,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAE/D,IAAI,qBAAqB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;QAC9C,OAAO;IACT,CAAC;IACD,MAAM,cAAc,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IAE3C,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAiB,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC;IAErD,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IAC3D,sBAAsB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAE9E;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,GAAS,EACT,YAAoE,EAC9D,EAAE;IACR,MAAM,UAAU,GACd,OAAO,YAAY,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC;IACzE,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,EAA+B,CAAC;IAE1D,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CACzD,CAAC;IACF,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACvE,MAAM,iBAAiB,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAE1E,uCAAuC;IACvC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACvC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAC/B,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,OAAO;YACT,CAAC;YAED,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CACtB,gBAAgB,EAChB,KAAK,EAAE,OAAuC,EAAE,EAAE;gBAChD,MAAM,OAAO,GAAG,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC;gBAC/C,MAAM,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YAChD,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAED,8DAA8D;IAC9D,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YAC5C,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAC/B,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,OAAO;YACT,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;YAEjC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CACtB,gBAAgB,EAChB,KAAK,EAAE,OAAuC,EAAE,EAAE;gBAChD,MAAM,OAAO,GAAG,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC;gBAC/C,MAAM,qBAAqB,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YACxE,CAAC,CACF,CAAC;YAEF,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;gBAC3B,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC3D,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAChC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC"}

package/dist/follows.d.ts

@@ -1,32 +0,0 @@
-/**
- * testFollows — composition-aware scenario testing for trails with follow.
- *
- * Tests the follow graph: which trails were followed, in what order,
- * and supports failure injection from followed trail examples.
- */
-import type { AnyTrail, TrailContext } from '@ontrails/core';
-import type { FollowScenario } from './types.js';
-/** Options for testFollows that provide trail definitions for injection. */
-export interface TestFollowOptions {
-    /** Partial context overrides. */
-    readonly ctx?: Partial<TrailContext> | undefined;
-    /** Map of trail ID to trail definition, used for injectFromExample. */
-    readonly trails?: ReadonlyMap<string, AnyTrail> | undefined;
-}
-/**
- * Generate a describe block for a composition trail with one test per scenario.
- *
- * @example
- * ```ts
- * testFollows(onboardTrail, [
- *   {
- *     description: "follows add then relate",
- *     input: { name: "Alpha" },
- *     expectOk: true,
- *     expectFollowed: ["entity.add", "entity.relate"],
- *   },
- * ]);
- * ```
- */
-export declare const testFollows: (trailDef: AnyTrail, scenarios: readonly FollowScenario[], options?: TestFollowOptions) => void;
-//# sourceMappingURL=follows.d.ts.map

package/dist/follows.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"follows.d.ts","sourceRoot":"","sources":["../src/follows.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAAE,QAAQ,EAAY,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAevE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AA8NjD,4EAA4E;AAC5E,MAAM,WAAW,iBAAiB;IAChC,iCAAiC;IACjC,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAAG,SAAS,CAAC;IACjD,uEAAuE;IACvE,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,SAAS,CAAC;CAC7D;AAED;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,WAAW,GACtB,UAAU,QAAQ,EAClB,WAAW,SAAS,cAAc,EAAE,EACpC,UAAU,iBAAiB,KAC1B,IASF,CAAC"}