@ontrails/testing 1.0.0-beta.14 → 1.0.0-beta.16

package/dist/all.d.ts

@@ -1,31 +0,0 @@
-/**
- * testAll — single-line governance suite for any Topo.
- *
- * Wraps topo validation, example execution, contract checks, and detour
- * verification into one describe block.
- */
-import type { Topo, TrailContext } from '@ontrails/core';
-import type { TestExecutionOptions } from './context.js';
-/**
- * Run the full governance test suite for a Topo.
- *
- * Generates a `governance` describe block containing:
- * - Structural validation via `validateTopo`
- * - Example execution via `testExamples`
- * - Output contract checks via `testContracts`
- * - Detour target verification via `testDetours`
- *
- * Accepts either a static context or a factory function that produces a
- * fresh context per test (useful when the context contains mutable state
- * like an in-memory store).
- *
- * @example
- * ```ts
- * import { testAll } from '@ontrails/testing';
- * import { app } from '../src/app.js';
- *
- * testAll(app);
- * ```
- */
-export declare const testAll: (topo: Topo, ctxOrFactory?: Partial<TrailContext> | TestExecutionOptions | (() => Partial<TrailContext> | TestExecutionOptions)) => void;
-//# sourceMappingURL=all.d.ts.map

package/dist/all.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"all.d.ts","sourceRoot":"","sources":["../src/all.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAIzD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAIzD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,OAAO,GAClB,MAAM,IAAI,EACV,eACI,OAAO,CAAC,YAAY,CAAC,GACrB,oBAAoB,GACpB,CAAC,MAAM,OAAO,CAAC,YAAY,CAAC,GAAG,oBAAoB,CAAC,KACvD,IAcF,CAAC"}

package/dist/all.js

@@ -1,47 +0,0 @@
-/**
- * testAll — single-line governance suite for any Topo.
- *
- * Wraps topo validation, example execution, contract checks, and detour
- * verification into one describe block.
- */
-import { describe, expect, test } from 'bun:test';
-import { validateTopo } from '@ontrails/core';
-import { testContracts } from './contracts.js';
-import { testDetours } from './detours.js';
-import { testExamples } from './examples.js';
-/**
- * Run the full governance test suite for a Topo.
- *
- * Generates a `governance` describe block containing:
- * - Structural validation via `validateTopo`
- * - Example execution via `testExamples`
- * - Output contract checks via `testContracts`
- * - Detour target verification via `testDetours`
- *
- * Accepts either a static context or a factory function that produces a
- * fresh context per test (useful when the context contains mutable state
- * like an in-memory store).
- *
- * @example
- * ```ts
- * import { testAll } from '@ontrails/testing';
- * import { app } from '../src/app.js';
- *
- * testAll(app);
- * ```
- */
-export const testAll = (topo, ctxOrFactory) => {
-    describe('governance', () => {
-        test('topo validates', () => {
-            const result = validateTopo(topo);
-            expect(result.isOk()).toBe(true);
-        });
-        // oxlint-disable-next-line jest/require-hook -- these generate describe/test blocks, not setup code
-        testExamples(topo, ctxOrFactory);
-        // oxlint-disable-next-line jest/require-hook -- these generate describe/test blocks, not setup code
-        testContracts(topo, ctxOrFactory);
-        // oxlint-disable-next-line jest/require-hook -- these generate describe/test blocks, not setup code
-        testDetours(topo);
-    });
-};
-//# sourceMappingURL=all.js.map

package/dist/all.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"all.js","sourceRoot":"","sources":["../src/all.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAGlD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,IAAU,EACV,YAGwD,EAClD,EAAE;IACR,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC1B,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;YAC1B,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,oGAAoG;QACpG,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACjC,oGAAoG;QACpG,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAClC,oGAAoG;QACpG,WAAW,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/assertions.d.ts

@@ -1,49 +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 type { Result } from '@ontrails/core';
-import type { z } from 'zod';
-/**
- * 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 declare const expectOk: <T, E>(result: Result<T, E>) => T;
-/**
- * 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 declare const expectErr: <T, E>(result: Result<T, E>) => E;
-/**
- * Assert that the result is ok and its value deep-equals the expected output.
- */
-export declare const assertFullMatch: (result: Result<unknown, Error>, expected: unknown) => void;
-/**
- * Assert that the result is ok and, if an output schema is provided,
- * the value parses against it.
- */
-export declare const assertSchemaMatch: (result: Result<unknown, Error>, outputSchema: z.ZodType | undefined) => void;
-/**
- * Assert that the result is an error of the specified type, with optional
- * message substring matching.
- */
-export declare const assertErrorMatch: (result: Result<unknown, Error>, expectedError: new (...args: never[]) => Error, expectedMessage?: string) => void;
-//# sourceMappingURL=assertions.d.ts.map

package/dist/assertions.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"assertions.d.ts","sourceRoot":"","sources":["../src/assertions.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAE7C,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAM7B;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAGrD,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAGtD,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,QAAQ,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,EAC9B,UAAU,OAAO,KAChB,IAGF,CAAC;AAMF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,GAC5B,QAAQ,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,EAC9B,cAAc,CAAC,CAAC,OAAO,GAAG,SAAS,KAClC,IAUF,CAAC;AAMF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAC3B,QAAQ,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,EAC9B,eAAe,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,KAAK,EAC9C,kBAAkB,MAAM,KACvB,IAMF,CAAC"}

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,75 +0,0 @@
-/**
- * Test context factory for creating TrailContext instances suitable for testing.
- */
-import type { CrossFn, ProvisionOverrideMap, Topo, TrailContext } from '@ontrails/core';
-import { Result } 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
- * - `abortSignal`: a non-aborted AbortController signal
- */
-export declare const createTestContext: (overrides?: TestTrailContextOptions) => TrailContext;
-export interface CreateCrossContextOptions {
-    readonly responses?: Record<string, Result<unknown, Error>> | undefined;
-}
-/** Minimal permit shape returned by the mint function. */
-export interface MintedPermit {
-    readonly id: string;
-    readonly scopes: readonly string[];
-}
-/** Trail shape consumed by the mint function — avoids importing permits. */
-export interface MintableTrail {
-    readonly permit?: {
-        readonly scopes: readonly string[];
-    } | 'public' | undefined;
-}
-export interface TestExecutionOptions {
-    readonly ctx?: Partial<TrailContext> | undefined;
-    readonly provisions?: ProvisionOverrideMap | undefined;
-    /**
-     * When true, disables automatic permit minting. Tests must provide
-     * explicit permits.
-     */
-    readonly strictPermits?: boolean | undefined;
-    /**
-     * Optional function to mint a test permit for a trail. When provided,
-     * called for each trail with a non-public `permit` requirement.
-     * Returning `undefined` skips minting for that trail.
-     *
-     * A default inline implementation is used when this is not provided,
-     * keeping the testing package free of a hard dependency on `@ontrails/permits`.
-     */
-    readonly mintPermit?: (trail: MintableTrail) => MintedPermit | undefined;
-}
-/**
- * Create a mock `CrossFn` for testing composite trails.
- *
- * Returns preconfigured `Result` values keyed by trail ID. Calls to
- * unregistered IDs return `Result.err` with a descriptive message.
- *
- * @example
- * ```ts
- * const cross = createCrossContext({
- *   responses: { 'entity.add': Result.ok({ id: '1', name: 'Alpha' }) },
- * });
- * const ctx = { ...createTestContext(), cross };
- * ```
- */
-export declare const createCrossContext: (options?: CreateCrossContextOptions) => CrossFn;
-/**
- * Default permit minter — reads `trail.permit.scopes` and produces a
- * minimal permit object. No dependency on `@ontrails/permits`.
- */
-export declare const defaultMintPermit: (trail: MintableTrail) => MintedPermit | undefined;
-export declare const normalizeTestExecutionOptions: (input?: Partial<TrailContext> | TestExecutionOptions) => TestExecutionOptions;
-export declare const mergeProvisionOverrides: (autoResolved: ProvisionOverrideMap, ctx: Partial<TrailContext> | undefined, explicit: ProvisionOverrideMap | undefined) => ProvisionOverrideMap;
-export declare const resolveMockProvisions: (app: Topo) => Promise<ProvisionOverrideMap>;
-/**
- * Merge a Partial<TrailContext> into a test context.
- * Used internally when the public API accepts Partial<TrailContext>.
- */
-export declare const mergeTestContext: (ctx?: Partial<TrailContext>, provisions?: ProvisionOverrideMap) => 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,EACV,OAAO,EACP,oBAAoB,EACpB,IAAI,EACJ,YAAY,EACb,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,MAAM,EAAyB,MAAM,gBAAgB,CAAC;AAG/D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAU1D;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,GAC5B,YAAY,uBAAuB,KAClC,YAcF,CAAC;AAMF,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,GAAG,SAAS,CAAC;CACzE;AAED,0DAA0D;AAC1D,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,4EAA4E;AAC5E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,CAAC,EACZ;QAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,GACtC,QAAQ,GACR,SAAS,CAAC;CACf;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAAG,SAAS,CAAC;IACjD,QAAQ,CAAC,UAAU,CAAC,EAAE,oBAAoB,GAAG,SAAS,CAAC;IACvD;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7C;;;;;;;OAOG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,aAAa,KAAK,YAAY,GAAG,SAAS,CAAC;CAC1E;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,kBAAkB,GAC7B,UAAU,yBAAyB,KAClC,OAcF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,GAC5B,OAAO,aAAa,KACnB,YAAY,GAAG,SAKjB,CAAC;AAWF,eAAO,MAAM,6BAA6B,GACxC,QAAQ,OAAO,CAAC,YAAY,CAAC,GAAG,oBAAoB,KACnD,oBACqD,CAAC;AAEzD,eAAO,MAAM,uBAAuB,GAClC,cAAc,oBAAoB,EAClC,KAAK,OAAO,CAAC,YAAY,CAAC,GAAG,SAAS,EACtC,UAAU,oBAAoB,GAAG,SAAS,KACzC,oBAID,CAAC;AAeH,eAAO,MAAM,qBAAqB,GAChC,KAAK,IAAI,KACR,OAAO,CAAC,oBAAoB,CAAmC,CAAC;AAEnE;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,OAAO,CAAC,YAAY,CAAC,EAC3B,aAAa,oBAAoB,KAChC,YAeF,CAAC"}

package/dist/context.js

@@ -1,107 +0,0 @@
-/**
- * Test context factory for creating TrailContext instances suitable for testing.
- */
-import { Result, createProvisionLookup } from '@ontrails/core';
-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
- * - `abortSignal`: a non-aborted AbortController signal
- */
-export const createTestContext = (overrides) => {
-    const cwd = overrides?.cwd ?? process.cwd();
-    const ctx = {
-        abortSignal: overrides?.abortSignal ?? new AbortController().signal,
-        cwd,
-        env: overrides?.env ?? { TRAILS_ENV: 'test' },
-        extensions: undefined,
-        logger: overrides?.logger ?? createTestLogger(),
-        requestId: overrides?.requestId ?? 'test-request-001',
-        workspaceRoot: cwd,
-    };
-    const lookup = createProvisionLookup(() => ctx);
-    ctx.provision = lookup;
-    return ctx;
-};
-/**
- * Create a mock `CrossFn` for testing composite trails.
- *
- * Returns preconfigured `Result` values keyed by trail ID. Calls to
- * unregistered IDs return `Result.err` with a descriptive message.
- *
- * @example
- * ```ts
- * const cross = createCrossContext({
- *   responses: { 'entity.add': Result.ok({ id: '1', name: 'Alpha' }) },
- * });
- * const ctx = { ...createTestContext(), cross };
- * ```
- */
-export const createCrossContext = (options) => {
-    const responses = options?.responses ?? {};
-    return (id, _input) => {
-        const response = responses[id];
-        if (response === undefined) {
-            return Promise.resolve(Result.err(new Error(`No mock response for cross("${id}")`)));
-        }
-        return Promise.resolve(response);
-    };
-};
-/**
- * Default permit minter — reads `trail.permit.scopes` and produces a
- * minimal permit object. No dependency on `@ontrails/permits`.
- */
-export const defaultMintPermit = (trail) => {
-    if (!trail.permit || trail.permit === 'public') {
-        return undefined;
-    }
-    return { id: 'test-permit', scopes: trail.permit.scopes };
-};
-const isTestExecutionOptions = (input) => input !== undefined &&
-    (Object.hasOwn(input, 'ctx') ||
-        Object.hasOwn(input, 'provisions') ||
-        Object.hasOwn(input, 'strictPermits') ||
-        Object.hasOwn(input, 'mintPermit'));
-export const normalizeTestExecutionOptions = (input) => isTestExecutionOptions(input) ? input : { ctx: input };
-export const mergeProvisionOverrides = (autoResolved, ctx, explicit) => ({
-    ...autoResolved,
-    ...ctx?.extensions,
-    ...explicit,
-});
-const buildMockProvisions = async (app) => {
-    const provisions = {};
-    for (const declaredProvision of app.listProvisions()) {
-        if (!declaredProvision.mock) {
-            continue;
-        }
-        provisions[declaredProvision.id] = await declaredProvision.mock();
-    }
-    return provisions;
-};
-export const resolveMockProvisions = async (app) => await buildMockProvisions(app);
-/**
- * Merge a Partial<TrailContext> into a test context.
- * Used internally when the public API accepts Partial<TrailContext>.
- */
-export const mergeTestContext = (ctx, provisions) => {
-    const base = createTestContext();
-    const extensions = {
-        ...base.extensions,
-        ...ctx?.extensions,
-        ...provisions,
-    };
-    const merged = {
-        ...base,
-        ...ctx,
-        extensions: Object.keys(extensions).length === 0 ? undefined : extensions,
-    };
-    const lookup = createProvisionLookup(() => merged);
-    merged.provision = lookup;
-    return merged;
-};
-//# 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;AAQH,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAE/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAO/C,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,SAAmC,EACrB,EAAE;IAChB,MAAM,GAAG,GAAG,SAAS,EAAE,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAG;QACV,WAAW,EAAE,SAAS,EAAE,WAAW,IAAI,IAAI,eAAe,EAAE,CAAC,MAAM;QACnE,GAAG;QACH,GAAG,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE;QAC7C,UAAU,EAAE,SAAS;QACrB,MAAM,EAAE,SAAS,EAAE,MAAM,IAAI,gBAAgB,EAAE;QAC/C,SAAS,EAAE,SAAS,EAAE,SAAS,IAAI,kBAAkB;QACrD,aAAa,EAAE,GAAG;KACI,CAAC;IACzB,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;IAChD,GAAG,CAAC,SAAS,GAAG,MAAM,CAAC;IACvB,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AA2CF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,OAAmC,EAC1B,EAAE;IACX,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,IAAI,EAAE,CAAC;IAC3C,OAAO,CAAI,EAAU,EAAE,MAAe,EAA6B,EAAE;QACnE,MAAM,QAAQ,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,OAAO,CAAC,OAAO,CACpB,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,+BAA+B,EAAE,IAAI,CAAC,CAG1D,CACF,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC,OAAO,CAAC,QAA4B,CAAC,CAAC;IACvD,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAoB,EACM,EAAE;IAC5B,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,KAA+D,EAChC,EAAE,CACjC,KAAK,KAAK,SAAS;IACnB,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC;QAC1B,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,eAAe,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC;AAExC,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,KAAoD,EAC9B,EAAE,CACxB,sBAAsB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AAEzD,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,YAAkC,EAClC,GAAsC,EACtC,QAA0C,EACpB,EAAE,CAAC,CAAC;IAC1B,GAAG,YAAY;IACf,GAAG,GAAG,EAAE,UAAU;IAClB,GAAG,QAAQ;CACZ,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,KAAK,EAC/B,GAAS,EACsB,EAAE;IACjC,MAAM,UAAU,GAA4B,EAAE,CAAC;IAC/C,KAAK,MAAM,iBAAiB,IAAI,GAAG,CAAC,cAAc,EAAE,EAAE,CAAC;QACrD,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC,GAAG,MAAM,iBAAiB,CAAC,IAAI,EAAE,CAAC;IACpE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,KAAK,EACxC,GAAS,EACsB,EAAE,CAAC,MAAM,mBAAmB,CAAC,GAAG,CAAC,CAAC;AAEnE;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,GAA2B,EAC3B,UAAiC,EACnB,EAAE;IAChB,MAAM,IAAI,GAAG,iBAAiB,EAAE,CAAC;IACjC,MAAM,UAAU,GAAG;QACjB,GAAG,IAAI,CAAC,UAAU;QAClB,GAAG,GAAG,EAAE,UAAU;QAClB,GAAG,UAAU;KACd,CAAC;IACF,MAAM,MAAM,GAAG;QACb,GAAG,IAAI;QACP,GAAG,GAAG;QACN,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU;KACnD,CAAC;IACzB,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC;IAC1B,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC"}

package/dist/contracts.d.ts

@@ -1,17 +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';
-import type { TestExecutionOptions } from './context.js';
-/**
- * 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> | TestExecutionOptions | (() => Partial<TrailContext> | TestExecutionOptions)) => 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;AAW9E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAqCzD;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GACxB,KAAK,IAAI,EACT,eACI,OAAO,CAAC,YAAY,CAAC,GACrB,oBAAoB,GACpB,CAAC,MAAM,OAAO,CAAC,YAAY,CAAC,GAAG,oBAAoB,CAAC,KACvD,IA6CF,CAAC"}

package/dist/contracts.js

@@ -1,71 +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 { executeTrail, formatZodIssues, validateInput } from '@ontrails/core';
-import { expectOk } from './assertions.js';
-import { mergeProvisionOverrides, mergeTestContext, normalizeTestExecutionOptions, resolveMockProvisions, } from './context.js';
-// ---------------------------------------------------------------------------
-// Helpers
-// ---------------------------------------------------------------------------
-/** Check if a trail requires cross() but the context doesn't provide it. */
-const needsCrossContext = (t, resolveCtx) => {
-    const spec = t;
-    if (!spec.crosses || spec.crosses.length === 0) {
-        return false;
-    }
-    return !normalizeTestExecutionOptions(resolveCtx()).ctx?.cross;
-};
-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 resolveInput = 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 (needsCrossContext(t, resolveInput)) {
-                return;
-            }
-            const { examples, output: outputSchema } = t;
-            const successExamples = examples.filter((e) => e.error === undefined);
-            test.each(successExamples)('contract: $name', async (example) => {
-                const resolved = normalizeTestExecutionOptions(resolveInput());
-                const provisions = mergeProvisionOverrides(await resolveMockProvisions(app), resolved.ctx, resolved.provisions);
-                const testCtx = mergeTestContext(resolved.ctx);
-                const validated = validateInput(t.input, example.input);
-                expectOk(validated);
-                const result = await executeTrail(t, example.input, {
-                    ctx: testCtx,
-                    provisions,
-                });
-                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,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAG9E,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,6BAA6B,EAC7B,qBAAqB,GACtB,MAAM,cAAc,CAAC;AAGtB,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,4EAA4E;AAC5E,MAAM,iBAAiB,GAAG,CACxB,CAAU,EACV,UAA0E,EACjE,EAAE;IACX,MAAM,IAAI,GAAG,CAAoC,CAAC;IAClD,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,6BAA6B,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC;AACjE,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,YAGwD,EAClD,EAAE;IACR,MAAM,YAAY,GAChB,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,iBAAiB,CAAC,CAAC,EAAE,YAAY,CAAC,EAAE,CAAC;gBACvC,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,QAAQ,GAAG,6BAA6B,CAAC,YAAY,EAAE,CAAC,CAAC;gBAC/D,MAAM,UAAU,GAAG,uBAAuB,CACxC,MAAM,qBAAqB,CAAC,GAAG,CAAC,EAChC,QAAQ,CAAC,GAAG,EACZ,QAAQ,CAAC,UAAU,CACpB,CAAC;gBACF,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAE/C,MAAM,SAAS,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;gBACxD,QAAQ,CAAC,SAAS,CAAC,CAAC;gBAEpB,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE;oBAClD,GAAG,EAAE,OAAO;oBACZ,UAAU;iBACX,CAAC,CAAC;gBACH,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/crosses.d.ts

@@ -1,38 +0,0 @@
-/**
- * testCrosses — crossing-aware scenario testing for trails with crossings.
- *
- * Tests the crossing graph: which trails were crossed, in what order,
- * and supports failure injection from crossed trail examples.
- */
-import type { AnyTrail, ProvisionOverrideMap, TrailContext } from '@ontrails/core';
-import type { CrossScenario } from './types.js';
-/** Options for testCrosses that provide trail definitions for injection. */
-export interface TestCrossOptions {
-    /** Partial context overrides. */
-    readonly ctx?: Partial<TrailContext> | undefined;
-    /**
-     * Explicit provision overrides merged on top of auto-resolved mocks for every
-     * scenario. Values are passed by reference — provide immutable objects, or
-     * use `mock()` on the provision definition to get a fresh instance per run.
-     */
-    readonly provisions?: ProvisionOverrideMap | undefined;
-    /** Map of trail ID to trail definition, used for injectFromExample. */
-    readonly trails?: ReadonlyMap<string, AnyTrail> | undefined;
-}
-/**
- * Generate a describe block for a trail with crossings with one test per scenario.
- *
- * @example
- * ```ts
- * testCrosses(onboardTrail, [
- *   {
- *     description: "crosses add then relate",
- *     input: { name: "Alpha" },
- *     expectOk: true,
- *     expectCrossed: ["entity.add", "entity.relate"],
- *   },
- * ]);
- * ```
- */
-export declare const testCrosses: (trailDef: AnyTrail, scenarios: readonly CrossScenario[], options?: TestCrossOptions) => void;
-//# sourceMappingURL=crosses.d.ts.map

package/dist/crosses.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"crosses.d.ts","sourceRoot":"","sources":["../src/crosses.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EACV,QAAQ,EAER,oBAAoB,EACpB,YAAY,EACb,MAAM,gBAAgB,CAAC;AAexB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AA0ShD,4EAA4E;AAC5E,MAAM,WAAW,gBAAgB;IAC/B,iCAAiC;IACjC,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAAG,SAAS,CAAC;IACjD;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,oBAAoB,GAAG,SAAS,CAAC;IACvD,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,aAAa,EAAE,EACnC,UAAU,gBAAgB,KACzB,IAsBF,CAAC"}