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

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;AAsCzD;;;;;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,IAkDF,CAAC"}

package/dist/contracts.js

@@ -1,75 +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 { mergeResourceOverrides, mergeTestContext, normalizeTestExecutionOptions, createMockResources, } from './context.js';
-import { deriveTrailExamples } from './effective-examples.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().map((trailDef) => ({
-        ...trailDef,
-        examples: deriveTrailExamples(trailDef),
-    }));
-    describe('contracts', () => {
-        describe.each(allEntries)('$id', (t) => {
-            if (t.output === undefined) {
-                return;
-            }
-            if (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 resources = mergeResourceOverrides(await createMockResources(app), resolved.ctx, resolved.resources);
-                const testCtx = mergeTestContext(resolved.ctx);
-                const validated = validateInput(t.input, example.input);
-                expectOk(validated);
-                const result = await executeTrail(t, example.input, {
-                    ctx: testCtx,
-                    resources,
-                });
-                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,sBAAsB,EACtB,gBAAgB,EAChB,6BAA6B,EAC7B,mBAAmB,GACpB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAE9D,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,GAAI,GAAG,CAAC,IAAI,EAAyC,CAAC,GAAG,CACvE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACb,GAAG,QAAQ;QACX,QAAQ,EAAE,mBAAmB,CAAC,QAAQ,CAAC;KACxC,CAAC,CACH,CAAC;IAEF,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,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,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,SAAS,GAAG,sBAAsB,CACtC,MAAM,mBAAmB,CAAC,GAAG,CAAC,EAC9B,QAAQ,CAAC,GAAG,EACZ,QAAQ,CAAC,SAAS,CACnB,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,SAAS;iBACV,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, ResourceOverrideMap, 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 resource overrides merged on top of auto-resolved mocks for every
-     * scenario. Values are passed by reference — provide immutable objects, or
-     * use `mock()` on the resource definition to get a fresh instance per run.
-     */
-    readonly resources?: ResourceOverrideMap | 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,mBAAmB,EACnB,YAAY,EACb,MAAM,gBAAgB,CAAC;AAgBxB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAmVhD,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,SAAS,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAC;IACrD,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"}

package/dist/crosses.js

@@ -1,223 +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 { describe, expect, test } from 'bun:test';
-import { buildCrossValidationSchema, executeTrail, InternalError, Result, ValidationError, validateInput, } from '@ontrails/core';
-import { assertErrorMatch, assertFullMatch, assertSchemaMatch, } from './assertions.js';
-import { mergeResourceOverrides, mergeTestContext } from './context.js';
-const collectDeclaredResources = (trailDef, trailsMap) => {
-    const seenResourceIds = new Set();
-    const seenTrailIds = new Set();
-    const resources = [];
-    const collect = (candidate) => {
-        for (const declaredResource of candidate.resources) {
-            if (seenResourceIds.has(declaredResource.id)) {
-                continue;
-            }
-            seenResourceIds.add(declaredResource.id);
-            resources.push(declaredResource);
-        }
-    };
-    const visit = (candidate) => {
-        if (seenTrailIds.has(candidate.id)) {
-            return;
-        }
-        seenTrailIds.add(candidate.id);
-        collect(candidate);
-        for (const crossedId of candidate.crosses) {
-            const crossedTrail = trailsMap?.get(crossedId);
-            if (crossedTrail) {
-                visit(crossedTrail);
-            }
-        }
-    };
-    visit(trailDef);
-    return resources;
-};
-const resolveCrossMockResources = async (trailDef, trailsMap) => {
-    const resources = {};
-    for (const declaredResource of collectDeclaredResources(trailDef, trailsMap)) {
-        if (!declaredResource.mock) {
-            continue;
-        }
-        resources[declaredResource.id] = await declaredResource.mock();
-    }
-    return resources;
-};
-// ---------------------------------------------------------------------------
-// Injection helpers
-// ---------------------------------------------------------------------------
-/**
- * Find an error example on a trail by name or description substring.
- */
-const findErrorExample = (trailDef, description) => {
-    const example = trailDef.examples?.find((ex) => ex.error !== undefined &&
-        (ex.description?.includes(description) || ex.name.includes(description)));
-    return example?.error;
-};
-/**
- * Try to inject an error from a crossed trail's example.
- * Returns undefined when no injection is configured for this trail ID.
- */
-const tryInjectError = (id, scenario, trailsMap) => {
-    const injection = scenario.injectFromExample?.[id];
-    if (injection === undefined) {
-        return undefined;
-    }
-    const trailDef = trailsMap?.get(id);
-    if (trailDef === undefined) {
-        return Result.err(new InternalError(`Cannot inject: trail "${id}" not in topo`));
-    }
-    const errorName = findErrorExample(trailDef, injection);
-    if (errorName === undefined) {
-        return Result.err(new InternalError(`No error example matching "${injection}" on trail "${id}"`));
-    }
-    return Result.err(new Error(errorName));
-};
-const executeFromMap = (id, input, trailsMap, ctx, resources, cross) => {
-    const trailDef = trailsMap?.get(id);
-    if (trailDef === undefined) {
-        return undefined;
-    }
-    const nestedCtx = cross ? { ...ctx, cross } : ctx;
-    return executeTrail(trailDef, input, {
-        ctx: nestedCtx,
-        resources,
-        validationSchema: buildCrossValidationSchema(trailDef),
-    });
-};
-/** Extract trail ID from either a trail object or a string. */
-const resolveCrossId = (idOrTrail) => typeof idOrTrail === 'string' ? idOrTrail : idOrTrail.id;
-// ---------------------------------------------------------------------------
-// Cross factory
-// ---------------------------------------------------------------------------
-/** Delegate to baseCross, executeFromMap, or fall back to Result.ok(). */
-const delegateCross = (id, input, baseCross, trailsMap, ctx, resources, self) => {
-    if (baseCross !== undefined) {
-        return baseCross(id, input);
-    }
-    const executed = executeFromMap(id, input, trailsMap, ctx, resources, self);
-    return Promise.resolve(executed ?? Result.ok());
-};
-/**
- * Build a recording cross function that optionally injects errors.
- */
-const createRecordingCross = (trace, scenario, trailsMap, baseCross, ctx, resources) => {
-    // The generic O on CrossFn is erased at runtime; the cast is safe
-    // because callers narrow via isOk/isErr before accessing the value.
-    const invokeCross = async (idOrTrail, input, self) => {
-        const id = resolveCrossId(idOrTrail);
-        trace.push({ id, input });
-        const injected = tryInjectError(id, scenario, trailsMap);
-        if (injected !== undefined) {
-            return injected;
-        }
-        return await delegateCross(id, input, baseCross, trailsMap, ctx, resources, self);
-    };
-    // Accepts either a trail object (typed cross), a string id (untyped),
-    // or a batch of `[target, input]` tuples.
-    const cross = async function cross(idOrTrail, input) {
-        if (Array.isArray(idOrTrail)) {
-            return await Promise.all(idOrTrail.map(([target, batchInput]) => invokeCross(target, batchInput, cross)));
-        }
-        return await invokeCross(idOrTrail, input, cross);
-    };
-    return cross;
-};
-// ---------------------------------------------------------------------------
-// Scenario assertions
-// ---------------------------------------------------------------------------
-const assertScenarioResult = (result, scenario, trailDef) => {
-    if (scenario.expectValue !== undefined) {
-        assertFullMatch(result, scenario.expectValue);
-    }
-    else if (scenario.expectErr !== undefined) {
-        assertErrorMatch(result, scenario.expectErr, scenario.expectErrMessage);
-    }
-    else if (scenario.expectErrMessage !== undefined) {
-        expect(result.isErr()).toBe(true);
-        if (result.isErr()) {
-            expect(result.error.message).toContain(scenario.expectErrMessage);
-        }
-    }
-    else if (scenario.expectOk === true) {
-        expect(result.isOk()).toBe(true);
-        assertSchemaMatch(result, trailDef.output);
-    }
-};
-const assertCrossTrace = (trace, scenario) => {
-    if (scenario.expectCrossed !== undefined) {
-        const crossedIds = trace.map((r) => r.id);
-        expect(crossedIds).toEqual([...scenario.expectCrossed]);
-    }
-    if (scenario.expectCrossedCount !== undefined) {
-        const counts = {};
-        for (const record of trace) {
-            counts[record.id] = (counts[record.id] ?? 0) + 1;
-        }
-        expect(counts).toEqual({ ...scenario.expectCrossedCount });
-    }
-};
-const handleValidationError = (validated, scenario) => {
-    if (!validated.isErr()) {
-        return false;
-    }
-    if (scenario.expectErr === ValidationError) {
-        expect(validated.error).toBeInstanceOf(ValidationError);
-        if (scenario.expectErrMessage !== undefined) {
-            expect(validated.error.message).toContain(scenario.expectErrMessage);
-        }
-        return true;
-    }
-    throw new Error(`Input validation failed unexpectedly: ${validated.error.message}`);
-};
-// ---------------------------------------------------------------------------
-// Scenario runner
-// ---------------------------------------------------------------------------
-const buildTestContext = (scenario, ctx, trailsMap, resources) => {
-    const trace = [];
-    const baseCtx = mergeTestContext(ctx);
-    const cross = createRecordingCross(trace, scenario, trailsMap, baseCtx.cross, baseCtx, resources);
-    return { testCtx: { ...baseCtx, cross }, trace };
-};
-const runScenario = async (trailDef, scenario, ctx, trailsMap, resources) => {
-    const validated = validateInput(trailDef.input, scenario.input);
-    if (handleValidationError(validated, scenario)) {
-        return;
-    }
-    const { trace, testCtx } = buildTestContext(scenario, ctx, trailsMap, resources);
-    const result = await executeTrail(trailDef, scenario.input, {
-        ctx: testCtx,
-        resources,
-    });
-    assertCrossTrace(trace, scenario);
-    assertScenarioResult(result, scenario, trailDef);
-};
-/**
- * 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 const testCrosses = (trailDef, scenarios, options) => {
-    const explicitResources = options?.resources;
-    describe(trailDef.id, () => {
-        test.each([...scenarios])('$description', async (scenario) => {
-            const resources = mergeResourceOverrides(await resolveCrossMockResources(trailDef, options?.trails), options?.ctx, explicitResources);
-            await runScenario(trailDef, scenario, options?.ctx, options?.trails, resources);
-        });
-    });
-};
-//# sourceMappingURL=crosses.js.map

package/dist/crosses.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"crosses.js","sourceRoot":"","sources":["../src/crosses.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAQlD,OAAO,EACL,0BAA0B,EAC1B,YAAY,EACZ,aAAa,EACb,MAAM,EACN,eAAe,EACf,aAAa,GACd,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,gBAAgB,EAChB,eAAe,EACf,iBAAiB,GAClB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAYxE,MAAM,wBAAwB,GAAG,CAC/B,QAAkB,EAClB,SAAoD,EAC7B,EAAE;IACzB,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,SAAS,GAAoC,EAAE,CAAC;IAEtD,MAAM,OAAO,GAAG,CAAC,SAAmB,EAAQ,EAAE;QAC5C,KAAK,MAAM,gBAAgB,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;YACnD,IAAI,eAAe,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7C,SAAS;YACX,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;YACzC,SAAS,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACnC,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,SAAmB,EAAQ,EAAE;QAC1C,IAAI,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;YACnC,OAAO;QACT,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC/B,OAAO,CAAC,SAAS,CAAC,CAAC;QACnB,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YAC1C,MAAM,YAAY,GAAG,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;YAC/C,IAAI,YAAY,EAAE,CAAC;gBACjB,KAAK,CAAC,YAAY,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,KAAK,EACrC,QAAkB,EAClB,SAAoD,EACtB,EAAE;IAChC,MAAM,SAAS,GAA4B,EAAE,CAAC;IAE9C,KAAK,MAAM,gBAAgB,IAAI,wBAAwB,CACrD,QAAQ,EACR,SAAS,CACV,EAAE,CAAC;QACF,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,SAAS,CAAC,gBAAgB,CAAC,EAAE,CAAC,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,CAAC;IACjE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,QAAkB,EAClB,WAAmB,EACC,EAAE;IACtB,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,EAAE,IAAI,CACrC,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,KAAK,KAAK,SAAS;QACtB,CAAC,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAC3E,CAAC;IACF,OAAO,OAAO,EAAE,KAAK,CAAC;AACxB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CACrB,EAAU,EACV,QAAuB,EACvB,SAAoD,EAChB,EAAE;IACtC,MAAM,SAAS,GAAG,QAAQ,CAAC,iBAAiB,EAAE,CAAC,EAAE,CAAC,CAAC;IACnD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACpC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,GAAG,CACf,IAAI,aAAa,CAAC,yBAAyB,EAAE,eAAe,CAAC,CAC9D,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACxD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,GAAG,CACf,IAAI,aAAa,CACf,8BAA8B,SAAS,eAAe,EAAE,GAAG,CAC5D,CACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,EAAU,EACV,KAAc,EACd,SAAoD,EACpD,GAAiB,EACjB,SAA0C,EAC1C,KAAe,EACuD,EAAE;IACxE,MAAM,QAAQ,GAAG,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACpC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAClD,OAAO,YAAY,CAAC,QAAQ,EAAE,KAAK,EAAE;QACnC,GAAG,EAAE,SAAS;QACd,SAAS;QACT,gBAAgB,EAAE,0BAA0B,CAAC,QAAQ,CAAC;KACvD,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,+DAA+D;AAC/D,MAAM,cAAc,GAAG,CAAC,SAA2C,EAAU,EAAE,CAC7E,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;AAE3D,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E,0EAA0E;AAC1E,MAAM,aAAa,GAAG,CACpB,EAAU,EACV,KAAc,EACd,SAA8B,EAC9B,SAAoD,EACpD,GAAiB,EACjB,SAA0C,EAC1C,IAAa,EACoB,EAAE;IACnC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC5E,OAAO,OAAO,CAAC,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,KAAoB,EACpB,QAAuB,EACvB,SAAoD,EACpD,SAA8B,EAC9B,GAAiB,EACjB,SAA0C,EACjC,EAAE;IACX,kEAAkE;IAClE,oEAAoE;IACpE,MAAM,WAAW,GAAG,KAAK,EACvB,SAA2C,EAC3C,KAAc,EACd,IAAa,EACb,EAAE;QACF,MAAM,EAAE,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAE1B,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACzD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,OAAO,MAAM,aAAa,CACxB,EAAE,EACF,KAAK,EACL,SAAS,EACT,SAAS,EACT,GAAG,EACH,SAAS,EACT,IAAI,CACL,CAAC;IACJ,CAAC,CAAC;IAEF,sEAAsE;IACtE,0CAA0C;IAC1C,MAAM,KAAK,GAAG,KAAK,UAAU,KAAK,CAChC,SAGqE,EACrE,KAAe;QAEf,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,OAAO,MAAM,OAAO,CAAC,GAAG,CACtB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,EAAE,CACrC,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,KAAgB,CAAC,CAClD,CACF,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,WAAW,CACtB,SAA6C,EAC7C,KAAK,EACL,KAAgB,CACjB,CAAC;IACJ,CAAY,CAAC;IAEb,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E,MAAM,oBAAoB,GAAG,CAC3B,MAA8B,EAC9B,QAAuB,EACvB,QAAkB,EACZ,EAAE;IACR,IAAI,QAAQ,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACvC,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;IAChD,CAAC;SAAM,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5C,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IAC1E,CAAC;SAAM,IAAI,QAAQ,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC;YACnB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;SAAM,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,KAA6B,EAC7B,QAAuB,EACjB,EAAE;IACR,IAAI,QAAQ,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,QAAQ,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;QAC9C,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACnD,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,SAAiC,EACjC,QAAuB,EACd,EAAE;IACX,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,KAAK,eAAe,EAAE,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;QACxD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YAC5C,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,KAAK,CACb,yCAAyC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,CACnE,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E,MAAM,gBAAgB,GAAG,CACvB,QAAuB,EACvB,GAAsC,EACtC,SAAoD,EACpD,SAA0C,EACO,EAAE;IACnD,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,oBAAoB,CAChC,KAAK,EACL,QAAQ,EACR,SAAS,EACT,OAAO,CAAC,KAAK,EACb,OAAO,EACP,SAAS,CACV,CAAC;IACF,OAAO,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,KAAK,EACvB,QAAkB,EAClB,QAAuB,EACvB,GAAsC,EACtC,SAAoD,EACpD,SAA0C,EAC3B,EAAE;IACjB,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAChE,IAAI,qBAAqB,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO;IACT,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,gBAAgB,CACzC,QAAQ,EACR,GAAG,EACH,SAAS,EACT,SAAS,CACV,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE;QAC1D,GAAG,EAAE,OAAO;QACZ,SAAS;KACV,CAAC,CAAC;IACH,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAClC,oBAAoB,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC,CAAC;AAoBF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,QAAkB,EAClB,SAAmC,EACnC,OAA0B,EACpB,EAAE;IACR,MAAM,iBAAiB,GAAG,OAAO,EAAE,SAAS,CAAC;IAE7C,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE;QACzB,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CACvB,cAAc,EACd,KAAK,EAAE,QAAuB,EAAE,EAAE;YAChC,MAAM,SAAS,GAAG,sBAAsB,CACtC,MAAM,yBAAyB,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EAC1D,OAAO,EAAE,GAAG,EACZ,iBAAiB,CAClB,CAAC;YACF,MAAM,WAAW,CACf,QAAQ,EACR,QAAQ,EACR,OAAO,EAAE,GAAG,EACZ,OAAO,EAAE,MAAM,EACf,SAAS,CACV,CAAC;QACJ,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/detours.d.ts

@@ -1,13 +0,0 @@
-/**
- * testDetours — validate the live detour contract for every trail.
- *
- * Pure structural validation. No blaze or detour recovery execution needed.
- */
-import type { Topo } from '@ontrails/core';
-/**
- * Verify that every trail's detours match the live runtime contract:
- * `on` must be an error constructor, `recover` must be callable, and
- * later detours must not be shadowed by earlier broader `on` types.
- */
-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;AAKH,OAAO,KAAK,EAAE,IAAI,EAAS,MAAM,gBAAgB,CAAC;AA+HlD;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,IAAI,KAAG,IAuCvC,CAAC"}

package/dist/detours.js

@@ -1,109 +0,0 @@
-/**
- * testDetours — validate the live detour contract for every trail.
- *
- * Pure structural validation. No blaze or detour recovery execution needed.
- */
-import { describe, test } from 'bun:test';
-import { TrailsError } from '@ontrails/core';
-const isErrorConstructor = (value) => {
-    if (typeof value !== 'function') {
-        return false;
-    }
-    const { prototype } = value;
-    return prototype instanceof Error;
-};
-const detourLabel = (trailId, index, detour) => {
-    if (typeof detour.on === 'function') {
-        const { name } = detour.on;
-        if (typeof name === 'string' && name.length > 0) {
-            return `${trailId} detour[${index}] on ${name}`;
-        }
-    }
-    return `${trailId} detour[${index}]`;
-};
-const assertValidOn = (trailId, index, detour) => {
-    if (isErrorConstructor(detour.on)) {
-        return;
-    }
-    throw new Error(`${detourLabel(trailId, index, detour)} must declare a real error constructor in on:`);
-};
-const assertCallableRecover = (trailId, index, detour) => {
-    if (typeof detour.recover === 'function') {
-        return;
-    }
-    throw new Error(`${detourLabel(trailId, index, detour)} must declare a callable recover function`);
-};
-const sameOrSubtype = (candidate, ancestor) => {
-    if (candidate === ancestor) {
-        return true;
-    }
-    let current = Object.getPrototypeOf(candidate.prototype);
-    while (current && typeof current === 'object') {
-        const ctor = current.constructor;
-        if (ctor === ancestor) {
-            return true;
-        }
-        current = Object.getPrototypeOf(current);
-    }
-    return false;
-};
-const getShadowingDetour = (detours, index) => {
-    const detour = detours[index];
-    if (!detour || !isErrorConstructor(detour.on)) {
-        return undefined;
-    }
-    for (let previousIndex = 0; previousIndex < index; previousIndex += 1) {
-        const previous = detours[previousIndex];
-        if (!previous || !isErrorConstructor(previous.on)) {
-            continue;
-        }
-        if (sameOrSubtype(detour.on, previous.on)) {
-            return { index: previousIndex, on: previous.on };
-        }
-    }
-    return undefined;
-};
-const assertNotShadowed = (trailId, detours, index) => {
-    const detour = detours[index];
-    if (!detour || !isErrorConstructor(detour.on)) {
-        return;
-    }
-    const shadowing = getShadowingDetour(detours, index);
-    if (!shadowing) {
-        return;
-    }
-    const previousName = shadowing.on.name || TrailsError.name;
-    const currentName = detour.on.name || TrailsError.name;
-    throw new Error(`${trailId} detour[${index}] on ${currentName} is shadowed by earlier detour[${shadowing.index}] on ${previousName}`);
-};
-/**
- * Verify that every trail's detours match the live runtime contract:
- * `on` must be an error constructor, `recover` must be callable, and
- * later detours must not be shadowed by earlier broader `on` types.
- */
-export const testDetours = (app) => {
-    const trailEntries = [...app.trails];
-    describe('detours', () => {
-        describe.each(trailEntries)('%s', (_id, trailDef) => {
-            const trail = trailDef;
-            if (trail.detours.length === 0) {
-                return;
-            }
-            const detourCases = trail.detours.map((detour, index) => ({
-                detour,
-                index,
-                trailId: trail.id,
-            }));
-            test.each(detourCases)('$trailId detour[$index] uses an error constructor', ({ detour, index, trailId }) => {
-                assertValidOn(trailId, index, detour);
-            });
-            test.each(detourCases)('$trailId detour[$index] provides a callable recover', ({ detour, index, trailId }) => {
-                assertCallableRecover(trailId, index, detour);
-            });
-            test.each(detourCases)('$trailId detour[$index] is not shadowed by an earlier detour', ({ index, trailId }) => {
-                assertNotShadowed(trailId, trail.detours, index);
-            });
-        });
-    });
-};
-//# 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,IAAI,EAAE,MAAM,UAAU,CAAC;AAE1C,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAQ7C,MAAM,kBAAkB,GAAG,CACzB,KAAc,EACqC,EAAE;IACrD,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,EAAE,SAAS,EAAE,GAAG,KAAgC,CAAC;IACvD,OAAO,SAAS,YAAY,KAAK,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,OAAe,EAAE,KAAa,EAAE,MAAqB,EAAE,EAAE;IAC5E,IAAI,OAAO,MAAM,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;QACpC,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,EAAwB,CAAC;QACjD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChD,OAAO,GAAG,OAAO,WAAW,KAAK,QAAQ,IAAI,EAAE,CAAC;QAClD,CAAC;IACH,CAAC;IAED,OAAO,GAAG,OAAO,WAAW,KAAK,GAAG,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,OAAe,EACf,KAAa,EACb,MAAqB,EACf,EAAE;IACR,IAAI,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QAClC,OAAO;IACT,CAAC;IAED,MAAM,IAAI,KAAK,CACb,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,+CAA+C,CACtF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,OAAe,EACf,KAAa,EACb,MAAqB,EACf,EAAE;IACR,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QACzC,OAAO;IACT,CAAC;IAED,MAAM,IAAI,KAAK,CACb,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,2CAA2C,CAClF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,SAAmD,EACnD,QAAkD,EACzC,EAAE;IACX,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACzD,OAAO,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAI,OAAqC,CAAC,WAAW,CAAC;QAChE,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,OAAiC,EACjC,KAAa,EAMD,EAAE;IACd,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,KAAK,IAAI,aAAa,GAAG,CAAC,EAAE,aAAa,GAAG,KAAK,EAAE,aAAa,IAAI,CAAC,EAAE,CAAC;QACtE,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;QACxC,IAAI,CAAC,QAAQ,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YAClD,SAAS;QACX,CAAC;QAED,IAAI,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1C,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC;QACnD,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,OAAe,EACf,OAAiC,EACjC,KAAa,EACP,EAAE;IACR,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9C,OAAO;IACT,CAAC;IAED,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACrD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;IACT,CAAC;IAED,MAAM,YAAY,GAAG,SAAS,CAAC,EAAE,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC;IAC3D,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC;IACvD,MAAM,IAAI,KAAK,CACb,GAAG,OAAO,WAAW,KAAK,QAAQ,WAAW,kCAAkC,SAAS,CAAC,KAAK,QAAQ,YAAY,EAAE,CACrH,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;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,KAAK,GAAG,QAA4C,CAAC;YAE3D,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/B,OAAO;YACT,CAAC;YAED,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBACxD,MAAM;gBACN,KAAK;gBACL,OAAO,EAAE,KAAK,CAAC,EAAE;aAClB,CAAC,CAAC,CAAC;YAEJ,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CACpB,mDAAmD,EACnD,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE;gBAC7B,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACxC,CAAC,CACF,CAAC;YAEF,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CACpB,qDAAqD,EACrD,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE;gBAC7B,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAChD,CAAC,CACF,CAAC;YAEF,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CACpB,8DAA8D,EAC9D,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE;gBACrB,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACnD,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/effective-examples.d.ts

@@ -1,30 +0,0 @@
-import type { Trail, TrailExample } from '@ontrails/core';
-/**
- * Returns `true` if the given example was synthesized from contour fixtures
- * by `deriveTrailExamples`, `false` if it was authored on the trail.
- */
-export declare const isDerivedExample: (example: TrailExample<unknown, unknown>) => boolean;
-/**
- * Prefer authored trail examples and fall back to contour-derived fixtures.
- *
- * Examples returned by this helper come from one of two provenances:
- * - **Authored.** When `trail.examples` is non-empty, its entries are
- *   returned verbatim. These are the developer's stated intent and carry
- *   full invariants — including crossing-coverage assertions in
- *   `testExamples`.
- * - **Derived.** When there are no authored examples but the trail has
- *   contours with examples, candidate inputs are synthesized from contour
- *   fixtures and validated against `trail.input`. These are opportunistic
- *   coverage that exists to let `testAll(app)` exercise contour-backed
- *   trails without per-test setup; they are not guaranteed to exercise
- *   every composition branch, so consumers should relax invariants that
- *   only make sense for authored inputs (see `isDerivedExample`).
- *
- * Contour examples stay as the raw input payload so Trails validation /
- * transforms still happen exactly once inside the normal test execution
- * path. Derived examples are additionally tagged via a module-level
- * `WeakSet` so consumers can detect them without widening the public
- * `TrailExample` shape.
- */
-export declare const deriveTrailExamples: (trail: Trail<unknown, unknown, unknown>) => readonly TrailExample<unknown, unknown>[];
-//# sourceMappingURL=effective-examples.d.ts.map

package/dist/effective-examples.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"effective-examples.d.ts","sourceRoot":"","sources":["../src/effective-examples.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAc,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAiBtE;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAC3B,SAAS,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,KACtC,OAAuC,CAAC;AAqQ3C;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,KACtC,SAAS,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,EAyCzC,CAAC"}