@ontrails/testing 1.0.0-beta.1 → 1.0.0-beta.11

package/src/{hike.ts → follows.ts}

@@ -1,14 +1,20 @@
 /**
- * testHike — composition-aware scenario testing for hikes.
+ * testFollows — composition-aware scenario testing for trails with follow.
  *
- * Tests the composition graph: which trails were followed, in what order,
+ * Tests the follow graph: which trails were followed, in what order,
  * and supports failure injection from followed trail examples.
  */
 
 import { describe, expect, test } from 'bun:test';
 
-import type { AnyHike, AnyTrail, FollowFn, TrailContext } from '@ontrails/core';
+import type {
+  AnyTrail,
+  FollowFn,
+  ServiceOverrideMap,
+  TrailContext,
+} from '@ontrails/core';
 import {
+  executeTrail,
   InternalError,
   Result,
   ValidationError,
@@ -19,10 +25,9 @@ import {
   assertErrorMatch,
   assertFullMatch,
   assertSchemaMatch,
-  expectOk,
 } from './assertions.js';
-import { mergeTestContext } from './context.js';
-import type { HikeScenario } from './types.js';
+import { mergeServiceOverrides, mergeTestContext } from './context.js';
+import type { FollowScenario } from './types.js';
 
 // ---------------------------------------------------------------------------
 // Follow trace
@@ -33,6 +38,58 @@ interface FollowRecord {
   readonly input: unknown;
 }
 
+const collectDeclaredServices = (
+  trailDef: AnyTrail,
+  trailsMap: ReadonlyMap<string, AnyTrail> | undefined
+): AnyTrail['services'] => {
+  const seenServiceIds = new Set<string>();
+  const seenTrailIds = new Set<string>();
+  const services: AnyTrail['services'][number][] = [];
+
+  const collect = (candidate: AnyTrail): void => {
+    for (const declaredService of candidate.services) {
+      if (seenServiceIds.has(declaredService.id)) {
+        continue;
+      }
+      seenServiceIds.add(declaredService.id);
+      services.push(declaredService);
+    }
+  };
+
+  const visit = (candidate: AnyTrail): void => {
+    if (seenTrailIds.has(candidate.id)) {
+      return;
+    }
+    seenTrailIds.add(candidate.id);
+    collect(candidate);
+    for (const followedId of candidate.follow) {
+      const followedTrail = trailsMap?.get(followedId);
+      if (followedTrail) {
+        visit(followedTrail);
+      }
+    }
+  };
+
+  visit(trailDef);
+  return services;
+};
+
+const resolveMockServices = async (
+  trailDef: AnyTrail,
+  trailsMap: ReadonlyMap<string, AnyTrail> | undefined
+): Promise<ServiceOverrideMap> => {
+  const services: Record<string, unknown> = {};
+
+  for (const declaredService of collectDeclaredServices(trailDef, trailsMap)) {
+    if (!declaredService.mock) {
+      continue;
+    }
+    services[declaredService.id] = await declaredService.mock();
+  }
+
+  return services;
+};
+
 // ---------------------------------------------------------------------------
 // Injection helpers
 // ---------------------------------------------------------------------------
@@ -58,7 +115,7 @@ const findErrorExample = (
  */
 const tryInjectError = (
   id: string,
-  scenario: HikeScenario,
+  scenario: FollowScenario,
   trailsMap: ReadonlyMap<string, AnyTrail> | undefined
 ): Result<unknown, Error> | undefined => {
   const injection = scenario.injectFromExample?.[id];
@@ -90,18 +147,20 @@ const executeFromMap = (
   id: string,
   input: unknown,
   trailsMap: ReadonlyMap<string, AnyTrail> | undefined,
-  ctx: TrailContext
+  ctx: TrailContext,
+  services: ServiceOverrideMap | undefined,
+  follow?: FollowFn
 ): Result<unknown, Error> | Promise<Result<unknown, Error>> | undefined => {
   const trailDef = trailsMap?.get(id);
   if (trailDef === undefined) {
     return undefined;
   }
 
-  const validated = validateInput(trailDef.input, input);
-  if (validated.isErr()) {
-    return validated;
-  }
-  return trailDef.implementation(validated.value, ctx);
+  const nestedCtx = follow ? { ...ctx, follow } : ctx;
+  return executeTrail(trailDef, input, {
+    ctx: nestedCtx,
+    services,
+  });
 };
 
 // ---------------------------------------------------------------------------
@@ -113,10 +172,11 @@ const executeFromMap = (
  */
 const createRecordingFollow = (
   trace: FollowRecord[],
-  scenario: HikeScenario,
+  scenario: FollowScenario,
   trailsMap: ReadonlyMap<string, AnyTrail> | undefined,
   baseFollow: FollowFn | undefined,
-  ctx: TrailContext
+  ctx: TrailContext,
+  services: ServiceOverrideMap | undefined
 ): FollowFn => {
   // The generic O on FollowFn is erased at runtime; the cast is safe
   // because callers narrow via isOk/isErr before accessing the value.
@@ -132,7 +192,14 @@ const createRecordingFollow = (
       return baseFollow(id, input);
     }
 
-    const executed = executeFromMap(id, input, trailsMap, ctx);
+    const executed = executeFromMap(
+      id,
+      input,
+      trailsMap,
+      ctx,
+      services,
+      follow as FollowFn
+    );
     if (executed !== undefined) {
       return Promise.resolve(executed);
     }
@@ -148,8 +215,8 @@ const createRecordingFollow = (
 
 const assertScenarioResult = (
   result: Result<unknown, Error>,
-  scenario: HikeScenario,
-  hikeDef: AnyHike
+  scenario: FollowScenario,
+  trailDef: AnyTrail
 ): void => {
   if (scenario.expectValue !== undefined) {
     assertFullMatch(result, scenario.expectValue);
@@ -162,13 +229,13 @@ const assertScenarioResult = (
     }
   } else if (scenario.expectOk === true) {
     expect(result.isOk()).toBe(true);
-    assertSchemaMatch(result, hikeDef.output);
+    assertSchemaMatch(result, trailDef.output);
   }
 };
 
 const assertFollowTrace = (
   trace: readonly FollowRecord[],
-  scenario: HikeScenario
+  scenario: FollowScenario
 ): void => {
   if (scenario.expectFollowed !== undefined) {
     const followedIds = trace.map((r) => r.id);
@@ -185,7 +252,7 @@ const assertFollowTrace = (
 
 const handleValidationError = (
   validated: Result<unknown, Error>,
-  scenario: HikeScenario
+  scenario: FollowScenario
 ): boolean => {
   if (!validated.isErr()) {
     return false;
@@ -207,9 +274,10 @@ const handleValidationError = (
 // ---------------------------------------------------------------------------
 
 const buildTestContext = (
-  scenario: HikeScenario,
+  scenario: FollowScenario,
   ctx: Partial<TrailContext> | undefined,
-  trailsMap: ReadonlyMap<string, AnyTrail> | undefined
+  trailsMap: ReadonlyMap<string, AnyTrail> | undefined,
+  services: ServiceOverrideMap | undefined
 ): { trace: FollowRecord[]; testCtx: TrailContext } => {
   const trace: FollowRecord[] = [];
   const baseCtx = mergeTestContext(ctx);
@@ -218,46 +286,62 @@ const buildTestContext = (
     scenario,
     trailsMap,
     baseCtx.follow,
-    baseCtx
+    baseCtx,
+    services
   );
   return { testCtx: { ...baseCtx, follow }, trace };
 };
 
 const runScenario = async (
-  hikeDef: AnyHike,
-  scenario: HikeScenario,
+  trailDef: AnyTrail,
+  scenario: FollowScenario,
   ctx: Partial<TrailContext> | undefined,
-  trailsMap: ReadonlyMap<string, AnyTrail> | undefined
+  trailsMap: ReadonlyMap<string, AnyTrail> | undefined,
+  services: ServiceOverrideMap | undefined
 ): Promise<void> => {
-  const validated = validateInput(hikeDef.input, scenario.input);
+  const validated = validateInput(trailDef.input, scenario.input);
   if (handleValidationError(validated, scenario)) {
     return;
   }
 
-  const { trace, testCtx } = buildTestContext(scenario, ctx, trailsMap);
-  const result = await hikeDef.implementation(expectOk(validated), testCtx);
+  const { trace, testCtx } = buildTestContext(
+    scenario,
+    ctx,
+    trailsMap,
+    services
+  );
+  const result = await executeTrail(trailDef, scenario.input, {
+    ctx: testCtx,
+    services,
+  });
   assertFollowTrace(trace, scenario);
-  assertScenarioResult(result, scenario, hikeDef);
+  assertScenarioResult(result, scenario, trailDef);
 };
 
 // ---------------------------------------------------------------------------
-// testHike
+// testFollows
 // ---------------------------------------------------------------------------
 
-/** Options for testHike that provide trail definitions for injection. */
-export interface TestHikeOptions {
+/** Options for testFollows that provide trail definitions for injection. */
+export interface TestFollowOptions {
   /** Partial context overrides. */
   readonly ctx?: Partial<TrailContext> | undefined;
+  /**
+   * Explicit service overrides merged on top of auto-resolved mocks for every
+   * scenario. Values are passed by reference — provide immutable objects, or
+   * use `mock()` on the service definition to get a fresh instance per run.
+   */
+  readonly services?: ServiceOverrideMap | undefined;
   /** Map of trail ID to trail definition, used for injectFromExample. */
   readonly trails?: ReadonlyMap<string, AnyTrail> | undefined;
 }
 
 /**
- * Generate a describe block for a hike with one test per scenario.
+ * Generate a describe block for a composition trail with one test per scenario.
  *
  * @example
  * ```ts
- * testHike(onboardHike, [
+ * testFollows(onboardTrail, [
  *   {
  *     description: "follows add then relate",
  *     input: { name: "Alpha" },
@@ -267,16 +351,27 @@ export interface TestHikeOptions {
  * ]);
  * ```
  */
-export const testHike = (
-  hikeDef: AnyHike,
-  scenarios: readonly HikeScenario[],
-  options?: TestHikeOptions
+export const testFollows = (
+  trailDef: AnyTrail,
+  scenarios: readonly FollowScenario[],
+  options?: TestFollowOptions
 ): void => {
-  describe(hikeDef.id, () => {
+  describe(trailDef.id, () => {
     test.each([...scenarios])(
       '$description',
-      async (scenario: HikeScenario) => {
-        await runScenario(hikeDef, scenario, options?.ctx, options?.trails);
+      async (scenario: FollowScenario) => {
+        const services = mergeServiceOverrides(
+          await resolveMockServices(trailDef, options?.trails),
+          options?.ctx,
+          options?.services
+        );
+        await runScenario(
+          trailDef,
+          scenario,
+          options?.ctx,
+          options?.trails,
+          services
+        );
       }
     );
   });

package/src/harness-mcp.ts

@@ -31,9 +31,12 @@ import type {
  * ```
  */
 export const createMcpHarness = (options: McpHarnessOptions): McpHarness => {
-  const tools = buildMcpTools(options.app);
+  const toolsResult = buildMcpTools(options.app);
+  if (toolsResult.isErr()) {
+    throw toolsResult.error;
+  }
   const toolMap = new Map<string, McpToolDefinition>();
-  for (const tool of tools) {
+  for (const tool of toolsResult.value) {
     toolMap.set(tool.name, tool);
   }
 

package/src/index.ts

@@ -1,7 +1,7 @@
 // Contract-driven testing
 export { testAll } from './all.js';
 export { testExamples } from './examples.js';
-export { testHike } from './hike.js';
+export { testFollows } from './follows.js';
 export { testTrail } from './trail.js';
 export { testContracts } from './contracts.js';
 export { testDetours } from './detours.js';
@@ -16,7 +16,7 @@ export {
 } from './assertions.js';
 
 // Mock factories
-export { createTestContext } from './context.js';
+export { createFollowContext, createTestContext } from './context.js';
 export { createTestLogger } from './logger.js';
 
 // Surface harnesses
@@ -24,10 +24,12 @@ export { createCliHarness } from './harness-cli.js';
 export { createMcpHarness } from './harness-mcp.js';
 
 // Types
-export type { TestHikeOptions } from './hike.js';
+export type { CreateFollowContextOptions } from './context.js';
+export type { TestExecutionOptions } from './context.js';
+export type { TestFollowOptions } from './follows.js';
 
 export type {
-  HikeScenario,
+  FollowScenario,
   TestScenario,
   TestLogger,
   TestTrailContextOptions,

package/src/trail.ts

@@ -82,7 +82,7 @@ const runScenario = async (
   }
   const validatedInput = expectOk(validated);
 
-  const result = await trailDef.implementation(validatedInput, testCtx);
+  const result = await trailDef.run(validatedInput, testCtx);
   assertScenarioResult(result, scenario, trailDef);
 };
 

package/src/types.ts

@@ -26,11 +26,11 @@ export interface TestScenario {
 }
 
 // ---------------------------------------------------------------------------
-// Hike Scenario (for testHike)
+// Follow Scenario (for testFollows)
 // ---------------------------------------------------------------------------
 
-/** A test scenario for a hike's composition graph. */
-export interface HikeScenario extends TestScenario {
+/** A test scenario for a trail's composition graph. */
+export interface FollowScenario extends TestScenario {
   /** Assert these trail IDs were followed, in order. */
   readonly expectFollowed?: readonly string[] | undefined;
   /** Assert follow counts per trail ID. */

package/tsconfig.tsbuildinfo

@@ -1 +1 @@
-{"root":["./src/all.ts","./src/assertions.ts","./src/context.ts","./src/contracts.ts","./src/detours.ts","./src/examples.ts","./src/harness-cli.ts","./src/harness-mcp.ts","./src/hike.ts","./src/index.ts","./src/logger.ts","./src/trail.ts","./src/types.ts"],"version":"5.9.3"}
+{"root":["./src/all.ts","./src/assertions.ts","./src/context.ts","./src/contracts.ts","./src/detours.ts","./src/examples.ts","./src/follows.ts","./src/harness-cli.ts","./src/harness-mcp.ts","./src/index.ts","./src/logger.ts","./src/trail.ts","./src/types.ts"],"version":"5.9.3"}

package/dist/hike.d.ts

@@ -1,32 +0,0 @@
-/**
- * testHike — composition-aware scenario testing for hikes.
- *
- * Tests the composition graph: which trails were followed, in what order,
- * and supports failure injection from followed trail examples.
- */
-import type { AnyHike, AnyTrail, TrailContext } from '@ontrails/core';
-import type { HikeScenario } from './types.js';
-/** Options for testHike that provide trail definitions for injection. */
-export interface TestHikeOptions {
-    /** 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 hike with one test per scenario.
- *
- * @example
- * ```ts
- * testHike(onboardHike, [
- *   {
- *     description: "follows add then relate",
- *     input: { name: "Alpha" },
- *     expectOk: true,
- *     expectFollowed: ["entity.add", "entity.relate"],
- *   },
- * ]);
- * ```
- */
-export declare const testHike: (hikeDef: AnyHike, scenarios: readonly HikeScenario[], options?: TestHikeOptions) => void;
-//# sourceMappingURL=hike.d.ts.map

package/dist/hike.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"hike.d.ts","sourceRoot":"","sources":["../src/hike.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAY,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAehF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AA8N/C,yEAAyE;AACzE,MAAM,WAAW,eAAe;IAC9B,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,QAAQ,GACnB,SAAS,OAAO,EAChB,WAAW,SAAS,YAAY,EAAE,EAClC,UAAU,eAAe,KACxB,IASF,CAAC"}

package/dist/hike.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"hike.js","sourceRoot":"","sources":["../src/hike.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAGlD,OAAO,EACL,aAAa,EACb,MAAM,EACN,eAAe,EACf,aAAa,GACd,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,QAAQ,GACT,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAYhD,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,QAAsB,EACtB,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;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,EAAU,EACV,KAAc,EACd,SAAoD,EACpD,GAAiB,EACqD,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,aAAa,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACvD,IAAI,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,QAAQ,CAAC,cAAc,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,qBAAqB,GAAG,CAC5B,KAAqB,EACrB,QAAsB,EACtB,SAAoD,EACpD,UAAgC,EAChC,GAAiB,EACP,EAAE;IACZ,mEAAmE;IACnE,oEAAoE;IACpE,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,KAAc,EAAE,EAAE;QAC5C,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,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnC,CAAC;QAED,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC3D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnC,CAAC;QAED,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC;IACF,OAAO,MAAkB,CAAC;AAC5B,CAAC,CAAC;AAEF,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E,MAAM,oBAAoB,GAAG,CAC3B,MAA8B,EAC9B,QAAsB,EACtB,OAAgB,EACV,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,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,KAA8B,EAC9B,QAAsB,EAChB,EAAE;IACR,IAAI,QAAQ,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,QAAQ,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QAC/C,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,mBAAmB,EAAE,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,SAAiC,EACjC,QAAsB,EACb,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,QAAsB,EACtB,GAAsC,EACtC,SAAoD,EACF,EAAE;IACpD,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,qBAAqB,CAClC,KAAK,EACL,QAAQ,EACR,SAAS,EACT,OAAO,CAAC,MAAM,EACd,OAAO,CACR,CAAC;IACF,OAAO,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,KAAK,EACvB,OAAgB,EAChB,QAAsB,EACtB,GAAsC,EACtC,SAAoD,EACrC,EAAE;IACjB,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,qBAAqB,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO;IACT,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,gBAAgB,CAAC,QAAQ,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IACtE,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;IAC1E,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACnC,oBAAoB,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC,CAAC;AAcF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,OAAgB,EAChB,SAAkC,EAClC,OAAyB,EACnB,EAAE;IACR,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE;QACxB,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CACvB,cAAc,EACd,KAAK,EAAE,QAAsB,EAAE,EAAE;YAC/B,MAAM,WAAW,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACtE,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/src/__tests__/hike.test.ts

@@ -1,164 +0,0 @@
-import { describe } from 'bun:test';
-
-import type { AnyTrail, TrailContext } from '@ontrails/core';
-import { Result, hike, trail } from '@ontrails/core';
-import { z } from 'zod';
-
-import { testHike } from '../hike.js';
-
-// ---------------------------------------------------------------------------
-// Test trails (followed by hikes)
-// ---------------------------------------------------------------------------
-
-const addTrail = trail('entity.add', {
-  description: 'Add an entity',
-  examples: [
-    { input: { name: 'Alpha' }, name: 'success' },
-    {
-      description: 'duplicate name',
-      error: 'AlreadyExistsError',
-      input: { name: '' },
-      name: 'duplicate',
-    },
-  ],
-  implementation: (input: { name: string }) =>
-    Result.ok({ id: '1', name: input.name }),
-  input: z.object({ name: z.string() }),
-  output: z.object({ id: z.string(), name: z.string() }),
-});
-
-const relateTrail = trail('entity.relate', {
-  description: 'Relate two entities',
-  implementation: (input: { from: string; to: string }) =>
-    Result.ok({ from: input.from, to: input.to }),
-  input: z.object({ from: z.string(), to: z.string() }),
-  output: z.object({ from: z.string(), to: z.string() }),
-});
-
-// ---------------------------------------------------------------------------
-// Test hike
-// ---------------------------------------------------------------------------
-
-const onboardHike = hike('entity.onboard', {
-  follows: ['entity.add', 'entity.relate'],
-  implementation: async (
-    input: { name: string; relatedTo: string },
-    ctx: TrailContext
-  ) => {
-    if (!ctx.follow) {
-      return Result.err(new Error('follow not available'));
-    }
-    const addResult = await ctx.follow<{ id: string; name: string }>(
-      'entity.add',
-      { name: input.name }
-    );
-    if (addResult.isErr()) {
-      return Result.err(addResult.error);
-    }
-
-    const relateResult = await ctx.follow<{ from: string; to: string }>(
-      'entity.relate',
-      { from: addResult.value.name, to: input.relatedTo }
-    );
-    if (relateResult.isErr()) {
-      return Result.err(relateResult.error);
-    }
-
-    return Result.ok({
-      name: addResult.value.name,
-      relatedTo: relateResult.value.to,
-    });
-  },
-  input: z.object({ name: z.string(), relatedTo: z.string() }),
-  output: z.object({ name: z.string(), relatedTo: z.string() }),
-});
-
-const trailsMap = new Map<string, AnyTrail>([
-  ['entity.add', addTrail],
-  ['entity.relate', relateTrail],
-]);
-
-// ---------------------------------------------------------------------------
-// Tests
-// ---------------------------------------------------------------------------
-
-const opts = { trails: trailsMap };
-
-describe('testHike: expectOk', () => {
-  // eslint-disable-next-line jest/require-hook
-  testHike(
-    onboardHike,
-    [
-      {
-        description: 'basic onboard succeeds',
-        expectOk: true,
-        input: { name: 'Alpha', relatedTo: 'Beta' },
-      },
-    ],
-    opts
-  );
-});
-
-describe('testHike: expectFollowed', () => {
-  // eslint-disable-next-line jest/require-hook
-  testHike(
-    onboardHike,
-    [
-      {
-        description: 'follows add then relate in order',
-        expectFollowed: ['entity.add', 'entity.relate'],
-        expectOk: true,
-        input: { name: 'Alpha', relatedTo: 'Beta' },
-      },
-    ],
-    opts
-  );
-});
-
-describe('testHike: expectFollowedCount', () => {
-  // eslint-disable-next-line jest/require-hook
-  testHike(
-    onboardHike,
-    [
-      {
-        description: 'each trail followed exactly once',
-        expectFollowedCount: { 'entity.add': 1, 'entity.relate': 1 },
-        expectOk: true,
-        input: { name: 'Alpha', relatedTo: 'Beta' },
-      },
-    ],
-    opts
-  );
-});
-
-describe('testHike: injectFromExample', () => {
-  // eslint-disable-next-line jest/require-hook
-  testHike(
-    onboardHike,
-    [
-      {
-        description: 'inject duplicate error from add trail example',
-        expectErr: Error,
-        expectErrMessage: 'AlreadyExistsError',
-        injectFromExample: { 'entity.add': 'duplicate' },
-        input: { name: 'Alpha', relatedTo: 'Beta' },
-      },
-    ],
-    opts
-  );
-});
-
-describe('testHike: expectValue', () => {
-  // eslint-disable-next-line jest/require-hook
-  testHike(
-    onboardHike,
-    [
-      {
-        description: 'exact value match',
-        expectValue: { name: 'Alpha', relatedTo: 'Beta' },
-        input: { name: 'Alpha', relatedTo: 'Beta' },
-      },
-    ],
-    opts
-  );
-});