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

package/src/__tests__/contracts.test.ts

@@ -1,185 +0,0 @@
-import { describe, test } from 'bun:test';
-
-import { Result, provision, trail, topo } from '@ontrails/core';
-import { z } from 'zod';
-
-import { testContracts } from '../contracts.js';
-
-// ---------------------------------------------------------------------------
-// Test trails
-// ---------------------------------------------------------------------------
-
-/** Trail whose implementation matches the output schema. */
-const validTrail = trail('valid', {
-  blaze: (input: { name: string }) => Result.ok({ id: 1, name: input.name }),
-  examples: [
-    {
-      expected: { id: 1, name: 'Alpha' },
-      input: { name: 'Alpha' },
-      name: 'Valid output',
-    },
-  ],
-  input: z.object({ name: z.string() }),
-  output: z.object({ id: z.number(), name: z.string() }),
-});
-
-/** Trail without output schema -- should be skipped. */
-const noSchemaTrail = trail('noschema', {
-  blaze: (input: { x: number }) => Result.ok(input.x * 2),
-  examples: [{ expected: 10, input: { x: 5 }, name: 'No schema' }],
-  input: z.object({ x: z.number() }),
-});
-
-/** Trail without examples -- should be skipped. */
-const noExamplesTrail = trail('noexamples', {
-  blaze: (input: { x: number }) => Result.ok({ value: input.x }),
-  input: z.object({ x: z.number() }),
-  output: z.object({ value: z.number() }),
-});
-
-// ---------------------------------------------------------------------------
-// Composition trail
-// ---------------------------------------------------------------------------
-
-/** Composition trail whose implementation matches the output schema. */
-const compositionTrail = trail('composition.valid', {
-  blaze: (input: { a: number; b: number }) =>
-    Result.ok({ total: input.a + input.b }),
-  crosses: ['valid'],
-  examples: [
-    {
-      expected: { total: 3 },
-      input: { a: 1, b: 2 },
-      name: 'Valid composition output',
-    },
-  ],
-  input: z.object({ a: z.number(), b: z.number() }),
-  output: z.object({ total: z.number() }),
-});
-
-const transformedInputTrail = trail('contract.transformed', {
-  blaze: (input: { value: number }) => Result.ok({ value: input.value }),
-  examples: [
-    {
-      expected: { value: 2 },
-      input: { value: '1' },
-      name: 'Raw contract input is only transformed once',
-    },
-  ],
-  input: z
-    .object({ value: z.string() })
-    .transform(({ value }) => ({ value: Number(value) + 1 })),
-  output: z.object({ value: z.number() }),
-});
-
-const undeclaredContractDbProvision = provision('db.undeclared.contracts', {
-  create: () => Result.ok({ source: 'factory' }),
-  mock: () => ({ source: 'mock' }),
-});
-
-const undeclaredContractTrail = trail('provision.undeclared.contracts', {
-  blaze: (_input, ctx) =>
-    Result.ok({
-      hasInjectedProvision:
-        ctx.extensions?.[undeclaredContractDbProvision.id] !== undefined,
-    }),
-  examples: [
-    {
-      expected: { hasInjectedProvision: false },
-      input: {},
-      name: 'Undeclared provisions are not preloaded into contract contexts',
-    },
-  ],
-  input: z.object({}),
-  output: z.object({ hasInjectedProvision: z.literal(false) }),
-});
-
-const ctxOverrideContractProvision = provision('db.mock.contracts', {
-  create: () => Result.ok({ source: 'factory' }),
-  mock: () => ({ source: 'mock' }),
-});
-
-const ctxOverrideContractTrail = trail('provision.ctx.contracts', {
-  blaze: (_input, ctx) =>
-    Result.ok({ source: ctxOverrideContractProvision.from(ctx).source }),
-  examples: [
-    {
-      expected: { source: 'ctx' },
-      input: {},
-      name: 'Context extensions beat auto-resolved contract provision mocks',
-    },
-  ],
-  input: z.object({}),
-  output: z.object({ source: z.literal('ctx') }),
-  provisions: [ctxOverrideContractProvision],
-});
-
-// ---------------------------------------------------------------------------
-// Tests
-// ---------------------------------------------------------------------------
-
-describe('testContracts: valid output matches schema', () => {
-  // eslint-disable-next-line jest/require-hook
-  testContracts(topo('test-app', { validTrail } as Record<string, unknown>));
-});
-
-describe('testContracts: skips trails without output schemas', () => {
-  // eslint-disable-next-line jest/require-hook
-  testContracts(topo('test-app', { noSchemaTrail } as Record<string, unknown>));
-
-  test('no-op marker', () => {
-    // Trail without output schema is skipped -- no contract tests generated
-  });
-});
-
-describe('testContracts: skips trails without examples', () => {
-  // eslint-disable-next-line jest/require-hook
-  testContracts(
-    topo('test-app', { noExamplesTrail } as Record<string, unknown>)
-  );
-
-  test('no-op marker', () => {
-    // Trail without examples is skipped -- no contract tests generated
-  });
-});
-
-describe('testContracts: validates output schemas for trails with crossings', () => {
-  // eslint-disable-next-line jest/require-hook
-  testContracts(
-    topo('test-app', { compositionTrail } as Record<string, unknown>)
-  );
-});
-
-describe('testContracts: raw transformed input', () => {
-  // eslint-disable-next-line jest/require-hook
-  testContracts(
-    topo('transformed-contract-app', {
-      transformedInputTrail,
-    } as Record<string, unknown>)
-  );
-});
-
-describe('testContracts: context extension overrides', () => {
-  // eslint-disable-next-line jest/require-hook
-  testContracts(
-    topo('ctx-contract-app', {
-      ctxOverrideContractProvision,
-      ctxOverrideContractTrail,
-    } as Record<string, unknown>),
-    {
-      ctx: {
-        extensions: { 'db.mock.contracts': { source: 'ctx' } },
-      },
-    }
-  );
-});
-
-describe('testContracts provision declarations', () => {
-  // eslint-disable-next-line jest/require-hook
-  testContracts(
-    topo('undeclared-contract-provision-app', {
-      undeclaredContractDbProvision,
-      undeclaredContractTrail,
-    } as Record<string, unknown>)
-  );
-});