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

package/src/testing.ts

@@ -0,0 +1,175 @@
+import { expect } from 'bun:test';
+
+import type {
+  AnyStoreTable,
+  EntityOf,
+  FiltersOf,
+  StoreAccessor,
+  StoreIdentifierOf,
+  UpsertOf,
+} from './types.js';
+
+export interface StoreAccessorContractSubject<TTable extends AnyStoreTable> {
+  readonly accessor: StoreAccessor<TTable>;
+  readonly dispose?: () => Promise<void> | void;
+}
+
+export interface StoreAccessorContractOptions<TTable extends AnyStoreTable> {
+  readonly createInput: () => UpsertOf<TTable>;
+  readonly createSubject:
+    | (() => StoreAccessorContractSubject<TTable>)
+    | (() => Promise<StoreAccessorContractSubject<TTable>>);
+  readonly expectCreated:
+    | ((entity: EntityOf<TTable>, input: UpsertOf<TTable>) => void)
+    | ((entity: EntityOf<TTable>, input: UpsertOf<TTable>) => Promise<void>);
+  readonly expectUpdated:
+    | ((
+        entity: EntityOf<TTable>,
+        previous: EntityOf<TTable>,
+        input: UpsertOf<TTable>
+      ) => void)
+    | ((
+        entity: EntityOf<TTable>,
+        previous: EntityOf<TTable>,
+        input: UpsertOf<TTable>
+      ) => Promise<void>);
+  readonly missingId: StoreIdentifierOf<TTable>;
+  readonly seedExisting?:
+    | ((accessor: StoreAccessor<TTable>) => Promise<EntityOf<TTable>>)
+    | ((accessor: StoreAccessor<TTable>) => EntityOf<TTable>);
+  readonly table: TTable;
+  readonly updateInput: (existing: EntityOf<TTable>) => UpsertOf<TTable>;
+}
+
+export interface StoreAccessorContractCase {
+  readonly name: string;
+  readonly run: () => Promise<void>;
+}
+
+const listByIdentity = async <TTable extends AnyStoreTable>(
+  table: TTable,
+  accessor: StoreAccessor<TTable>,
+  entity: EntityOf<TTable>
+): Promise<readonly EntityOf<TTable>[]> => {
+  const identity = table.identity as keyof EntityOf<TTable> & string;
+  const filters = {
+    [identity]: entity[identity],
+  } as FiltersOf<TTable>;
+
+  return await accessor.list(filters);
+};
+
+const withSubject = async <TTable extends AnyStoreTable, TResult>(
+  createSubject: StoreAccessorContractOptions<TTable>['createSubject'],
+  run: (subject: StoreAccessorContractSubject<TTable>) => Promise<TResult>
+): Promise<TResult> => {
+  const subject = await createSubject();
+
+  try {
+    return await run(subject);
+  } finally {
+    await subject.dispose?.();
+  }
+};
+
+const seedExistingEntity = async <TTable extends AnyStoreTable>(
+  options: StoreAccessorContractOptions<TTable>,
+  accessor: StoreAccessor<TTable>
+): Promise<EntityOf<TTable>> => {
+  if (options.seedExisting !== undefined) {
+    return await options.seedExisting(accessor);
+  }
+
+  return await accessor.upsert(options.createInput());
+};
+
+/**
+ * Shared contract cases for backend-agnostic writable store accessors.
+ *
+ * Adapters can register these with their own `test(...)` wrappers so the
+ * baseline `get/list/upsert/remove` contract stays aligned across runtimes
+ * without fighting repository-specific test-lint rules.
+ */
+export const createStoreAccessorContractCases = <TTable extends AnyStoreTable>(
+  options: StoreAccessorContractOptions<TTable>
+): readonly StoreAccessorContractCase[] =>
+  [
+    {
+      name: 'upsert creates an entity and exposes it through get/list',
+      run: async () => {
+        await withSubject(options.createSubject, async ({ accessor }) => {
+          const input = options.createInput();
+          const created = await accessor.upsert(input);
+
+          await options.expectCreated(created, input);
+          expect(
+            await accessor.get(
+              created[
+                options.table.identity as keyof EntityOf<TTable> & string
+              ] as StoreIdentifierOf<TTable>
+            )
+          ).toEqual(created);
+          expect(
+            await listByIdentity(options.table, accessor, created)
+          ).toEqual([created]);
+        });
+      },
+    },
+    {
+      name: 'upsert updates an existing entity in place when the identity matches',
+      run: async () => {
+        await withSubject(options.createSubject, async ({ accessor }) => {
+          const existing = await seedExistingEntity(options, accessor);
+          const input = options.updateInput(existing);
+          const updated = await accessor.upsert(input);
+          const identity = options.table.identity as keyof EntityOf<TTable> &
+            string;
+
+          expect(updated[identity]).toBe(existing[identity]);
+          await options.expectUpdated(updated, existing, input);
+          expect(
+            await accessor.get(updated[identity] as StoreIdentifierOf<TTable>)
+          ).toEqual(updated);
+          expect(
+            await listByIdentity(options.table, accessor, updated)
+          ).toEqual([updated]);
+        });
+      },
+    },
+    {
+      name: 'remove deletes an existing entity',
+      run: async () => {
+        await withSubject(options.createSubject, async ({ accessor }) => {
+          const existing = await seedExistingEntity(options, accessor);
+          const identity = options.table.identity as keyof EntityOf<TTable> &
+            string;
+          const removed = await accessor.remove(
+            existing[identity] as StoreIdentifierOf<TTable>
+          );
+
+          expect(removed).toEqual({ deleted: true });
+          expect(
+            await accessor.get(existing[identity] as StoreIdentifierOf<TTable>)
+          ).toBeNull();
+        });
+      },
+    },
+    {
+      name: 'get returns null for a missing identity',
+      run: async () => {
+        await withSubject(options.createSubject, async ({ accessor }) => {
+          expect(await accessor.get(options.missingId)).toBeNull();
+        });
+      },
+    },
+    {
+      name: 'remove reports false when the identity is missing',
+      run: async () => {
+        await withSubject(options.createSubject, async ({ accessor }) => {
+          expect(await accessor.remove(options.missingId)).toEqual({
+            deleted: false,
+          });
+        });
+      },
+    },
+  ] as const;

package/src/trails/crud.ts

@@ -0,0 +1,356 @@
+import type { Implementation, Resource, Trail } from '@ontrails/core';
+import { deriveTrail } from '@ontrails/core/trails';
+import type {
+  DeriveTrailInput,
+  DeriveTrailOutput,
+} from '@ontrails/core/trails';
+import type { z } from 'zod';
+
+import type {
+  AnyStoreTable,
+  EntityOf,
+  FiltersOf,
+  InsertOf,
+  StoreAccessor,
+  StoreIdentifierOf,
+  UpdateOf,
+} from '../types.js';
+import type { CrudOperation } from '../crud-doctrine.js';
+import { createTableContour } from './utils.js';
+import type { TableContour } from './utils.js';
+
+type IdentityInputOf<TTable extends AnyStoreTable> = Readonly<
+  Record<Extract<TTable['identity'], string>, StoreIdentifierOf<TTable>>
+>;
+
+type CrudConnection<TTable extends AnyStoreTable> = Readonly<
+  Record<TTable['name'], StoreAccessor<TTable>>
+>;
+
+type TableContourFieldKey<TTable extends AnyStoreTable> = Extract<
+  keyof z.output<TableContour<TTable>>,
+  string
+>;
+
+type GeneratedFieldsOf<TTable extends AnyStoreTable> =
+  TTable['generated'] extends readonly TableContourFieldKey<TTable>[]
+    ? TTable['generated']
+    : readonly [];
+
+/**
+ * Input type `deriveTrail` projects for a given CRUD operation against a
+ * store table. Routes through `TableContour<TTable>` so the projected input
+ * structurally matches the contour-backed derivation path in
+ * `@ontrails/core`'s `deriveTrail`.
+ */
+type DerivedInput<
+  TTable extends AnyStoreTable,
+  TOperation extends CrudOperation,
+> = DeriveTrailInput<
+  TableContour<TTable>,
+  TOperation,
+  GeneratedFieldsOf<TTable>
+>;
+
+/**
+ * Output type `deriveTrail` projects for a given CRUD operation against a
+ * store table.
+ */
+type DerivedOutput<
+  TTable extends AnyStoreTable,
+  TOperation extends CrudOperation,
+> = DeriveTrailOutput<TableContour<TTable>, TOperation>;
+
+type InternalCreateTrailOf<TTable extends AnyStoreTable> = Trail<
+  DerivedInput<TTable, 'create'>,
+  DerivedOutput<TTable, 'create'>
+>;
+
+type InternalReadTrailOf<TTable extends AnyStoreTable> = Trail<
+  DerivedInput<TTable, 'read'>,
+  DerivedOutput<TTable, 'read'>
+>;
+
+type InternalUpdateTrailOf<TTable extends AnyStoreTable> = Trail<
+  DerivedInput<TTable, 'update'>,
+  DerivedOutput<TTable, 'update'>
+>;
+
+type InternalDeleteTrailOf<TTable extends AnyStoreTable> = Trail<
+  DerivedInput<TTable, 'delete'>,
+  DerivedOutput<TTable, 'delete'>
+>;
+
+type InternalListTrailOf<TTable extends AnyStoreTable> = Trail<
+  DerivedInput<TTable, 'list'>,
+  DerivedOutput<TTable, 'list'>
+>;
+
+type InternalCrudBaseTrails<TTable extends AnyStoreTable> = Readonly<{
+  createBase: InternalCreateTrailOf<TTable>;
+  readBase: InternalReadTrailOf<TTable>;
+  updateBase: InternalUpdateTrailOf<TTable>;
+  deleteBase: InternalDeleteTrailOf<TTable>;
+  listBase: InternalListTrailOf<TTable>;
+}>;
+
+type TrailExampleOf<TInput, TOutput> = NonNullable<
+  Trail<TInput, TOutput>['examples']
+>[number];
+
+type CreateTrailOf<TTable extends AnyStoreTable> = Trail<
+  InsertOf<TTable>,
+  EntityOf<TTable>
+>;
+
+type ReadTrailOf<TTable extends AnyStoreTable> = Trail<
+  IdentityInputOf<TTable>,
+  EntityOf<TTable>
+>;
+
+type UpdateTrailOf<TTable extends AnyStoreTable> = Trail<
+  IdentityInputOf<TTable> & UpdateOf<TTable>,
+  EntityOf<TTable>
+>;
+
+type DeleteTrailOf<TTable extends AnyStoreTable> = Trail<
+  IdentityInputOf<TTable>,
+  undefined
+>;
+
+type ListTrailOf<TTable extends AnyStoreTable> = Trail<
+  FiltersOf<TTable>,
+  EntityOf<TTable>[]
+>;
+
+type InternalCrudTrails<TTable extends AnyStoreTable> = readonly [
+  create: InternalCreateTrailOf<TTable>,
+  read: InternalReadTrailOf<TTable>,
+  update: InternalUpdateTrailOf<TTable>,
+  remove: InternalDeleteTrailOf<TTable>,
+  list: InternalListTrailOf<TTable>,
+];
+
+export type CrudTrails<TTable extends AnyStoreTable> = readonly [
+  create: CreateTrailOf<TTable>,
+  read: ReadTrailOf<TTable>,
+  update: UpdateTrailOf<TTable>,
+  remove: DeleteTrailOf<TTable>,
+  list: ListTrailOf<TTable>,
+];
+
+export interface CrudBlazeOverrides<TTable extends AnyStoreTable> {
+  readonly create?: Implementation<InsertOf<TTable>, EntityOf<TTable>>;
+  readonly read?: Implementation<IdentityInputOf<TTable>, EntityOf<TTable>>;
+  readonly update?: Implementation<
+    IdentityInputOf<TTable> & UpdateOf<TTable>,
+    EntityOf<TTable>
+  >;
+  readonly delete?: Implementation<IdentityInputOf<TTable>, undefined>;
+  readonly list?: Implementation<FiltersOf<TTable>, EntityOf<TTable>[]>;
+}
+
+export interface CrudOptions<TTable extends AnyStoreTable> {
+  readonly blaze?: CrudBlazeOverrides<TTable>;
+}
+
+interface InternalCrudBlazeOverrides<TTable extends AnyStoreTable> {
+  readonly create?: Implementation<
+    DerivedInput<TTable, 'create'>,
+    DerivedOutput<TTable, 'create'>
+  >;
+  readonly read?: Implementation<
+    DerivedInput<TTable, 'read'>,
+    DerivedOutput<TTable, 'read'>
+  >;
+  readonly update?: Implementation<
+    DerivedInput<TTable, 'update'>,
+    DerivedOutput<TTable, 'update'>
+  >;
+  readonly delete?: Implementation<
+    DerivedInput<TTable, 'delete'>,
+    DerivedOutput<TTable, 'delete'>
+  >;
+  readonly list?: Implementation<
+    DerivedInput<TTable, 'list'>,
+    DerivedOutput<TTable, 'list'>
+  >;
+}
+
+interface InternalCrudOptions<TTable extends AnyStoreTable> {
+  readonly blaze?: InternalCrudBlazeOverrides<TTable>;
+}
+
+const normalizeExampleForOutput = <TInput, TOutput>(
+  example: TrailExampleOf<TInput, TOutput>,
+  output: z.ZodType<TOutput>
+): TrailExampleOf<TInput, TOutput> | undefined => {
+  if (example.expected === undefined) {
+    return example;
+  }
+
+  const parsed = output.safeParse(example.expected);
+  return parsed.success
+    ? {
+        ...example,
+        expected: parsed.data,
+      }
+    : undefined;
+};
+
+const normalizeExamplesForOutput = <TInput, TOutput>(
+  base: Trail<TInput, TOutput>,
+  output: z.ZodType<TOutput>
+): Trail<TInput, TOutput>['examples'] => {
+  const { examples } = base;
+  if (examples === undefined || examples.length === 0) {
+    return undefined;
+  }
+
+  const next = examples
+    .map((example) => normalizeExampleForOutput(example, output))
+    .filter(
+      (example): example is TrailExampleOf<TInput, TOutput> =>
+        example !== undefined
+    );
+
+  return next.length === 0
+    ? undefined
+    : (Object.freeze(next) as Trail<TInput, TOutput>['examples']);
+};
+
+const finalizeTrail = <TInput, TOutput>(
+  base: Trail<TInput, TOutput>,
+  options: {
+    readonly blaze?: Implementation<TInput, TOutput> | undefined;
+    readonly output?: z.ZodType<TOutput> | undefined;
+    readonly pattern?: string | undefined;
+  } = {}
+): Trail<TInput, TOutput> =>
+  Object.freeze({
+    ...base,
+    ...(options.blaze === undefined ? {} : { blaze: options.blaze }),
+    ...(options.output === undefined
+      ? {}
+      : {
+          examples: normalizeExamplesForOutput(base, options.output),
+          output: options.output,
+        }),
+    ...(options.pattern === undefined ? {} : { pattern: options.pattern }),
+  }) as Trail<TInput, TOutput>;
+
+const deriveCrudBaseTrails = <
+  TTable extends AnyStoreTable,
+  TConnection extends CrudConnection<TTable>,
+>(
+  table: TTable,
+  resource: Resource<TConnection>
+): InternalCrudBaseTrails<TTable> => {
+  const entityContour = createTableContour(table);
+  // Narrow the store's `readonly string[]` to the contour's typed field-key
+  // array so `deriveTrail`'s `TGenerated` generic picks up the precise
+  // key-of shape that `CreateInputOf<Contour, TGenerated>` expects. The
+  // runtime value is unchanged — the names in `table.generated` are already
+  // keys of `table.schema.shape` by construction in `store()`.
+  const generated = table.generated as GeneratedFieldsOf<TTable>;
+
+  return {
+    createBase: deriveTrail(entityContour, 'create', {
+      generated,
+      resource,
+    }),
+    deleteBase: deriveTrail(entityContour, 'delete', {
+      resource,
+    }),
+    listBase: deriveTrail(entityContour, 'list', {
+      resource,
+    }),
+    readBase: deriveTrail(entityContour, 'read', {
+      resource,
+    }),
+    // The `update` blaze synthesized by `deriveTrail` handles the partial-patch
+    // concern: when the accessor lacks a native `update`, the fallback path in
+    // `derive-trail.ts` (`updateViaReadAndUpsert`) reads the current entity,
+    // merges the patch, strips the `version` field, then calls `upsert` with
+    // the full merged payload — so no fields are silently lost.
+    updateBase: deriveTrail(entityContour, 'update', {
+      generated,
+      resource,
+    }),
+  };
+};
+
+const buildCrudTrails = <TTable extends AnyStoreTable>(
+  baseTrails: InternalCrudBaseTrails<TTable>,
+  overrides: InternalCrudBlazeOverrides<TTable>,
+  entityOutput: z.ZodType<DerivedOutput<TTable, 'create'>>,
+  listOutput: z.ZodType<DerivedOutput<TTable, 'list'>>
+): InternalCrudTrails<TTable> =>
+  Object.freeze([
+    finalizeTrail(baseTrails.createBase, {
+      ...(overrides.create === undefined ? {} : { blaze: overrides.create }),
+      output: entityOutput,
+      pattern: 'crud',
+    }),
+    finalizeTrail(baseTrails.readBase, {
+      ...(overrides.read === undefined ? {} : { blaze: overrides.read }),
+      output: entityOutput,
+      pattern: 'crud',
+    }),
+    finalizeTrail(baseTrails.updateBase, {
+      ...(overrides.update === undefined ? {} : { blaze: overrides.update }),
+      output: entityOutput,
+      pattern: 'crud',
+    }),
+    overrides.delete === undefined
+      ? finalizeTrail(baseTrails.deleteBase, { pattern: 'crud' })
+      : finalizeTrail(baseTrails.deleteBase, {
+          blaze: overrides.delete,
+          pattern: 'crud',
+        }),
+    finalizeTrail(baseTrails.listBase, {
+      ...(overrides.list === undefined ? {} : { blaze: overrides.list }),
+      output: listOutput,
+      pattern: 'crud',
+    }),
+  ]) as InternalCrudTrails<TTable>;
+
+/**
+ * Produce the standard CRUD trail tuple for one normalized store table.
+ *
+ * The factory derives schemas, examples, resources, and contour linkage from
+ * the table metadata. Blazes default to the backend-agnostic store accessor
+ * contract via `deriveTrail()`'s single-resource synthesis path. Per-operation
+ * blaze overrides stay available for callers that need custom persistence
+ * behavior and are layered onto the derived trails in a single pass.
+ */
+export function crud<
+  TTable extends AnyStoreTable,
+  TConnection extends CrudConnection<TTable>,
+>(
+  table: TTable,
+  resource: Resource<TConnection>,
+  options?: CrudOptions<TTable>
+): CrudTrails<TTable>;
+export function crud<
+  TTable extends AnyStoreTable,
+  TConnection extends CrudConnection<TTable>,
+>(
+  table: TTable,
+  resource: Resource<TConnection>,
+  options: InternalCrudOptions<TTable> = {}
+) {
+  const overrides = options.blaze ?? {};
+  const baseTrails = deriveCrudBaseTrails(table, resource);
+  // Narrow `table.schema` (typed `StoreObjectSchema`, which is
+  // `z.ZodObject<Record<string, z.ZodType>>`) to a ZodObject keyed by the
+  // concrete shape so its `z.output` unifies with the contour-derived
+  // output. Structurally `table.schema` already has `shape:
+  // TTable['schema']['shape']` — this only refines the generic parameter.
+  const entitySchema = table.schema as z.ZodObject<TTable['schema']['shape']>;
+  const entityOutput: z.ZodType<DerivedOutput<TTable, 'create'>> = entitySchema;
+  const listOutput: z.ZodType<DerivedOutput<TTable, 'list'>> =
+    entitySchema.array();
+
+  return buildCrudTrails(baseTrails, overrides, entityOutput, listOutput);
+}

package/src/trails/index.ts

@@ -0,0 +1,15 @@
+export { crudAccessorExpectations, crudOperations } from '../crud-doctrine.js';
+export type {
+  CrudAccessorExpectation,
+  CrudOperation,
+} from '../crud-doctrine.js';
+export { crud } from './crud.js';
+export type { CrudBlazeOverrides, CrudOptions, CrudTrails } from './crud.js';
+export { reconcile } from './reconcile.js';
+export type {
+  ReconcileConflict,
+  ReconcileOptions,
+  ReconcileStrategy,
+} from './reconcile.js';
+export { sync } from './sync.js';
+export type { SyncEndpoint, SyncOptions, SyncTransform } from './sync.js';