@shirudo/ddd-kit 3.0.0-rc.8 → 3.0.0-rc.9

package/dist/testing.d.ts

@@ -502,7 +502,8 @@ declare function createProjectionCheckpointStoreContractTests<TCtx>(harness: Pro
 interface ContractRepository<TAggregate extends Aggregate<Id<string>, AnyDomainEvent>> {
   findById(id: TAggregate["id"]): Promise<TAggregate | undefined>;
   add(aggregate: TAggregate): void;
-  update(aggregate: TAggregate): void;
+  /** An append-only port declares no update. */
+  update?(aggregate: TAggregate): void;
   /** Physical removal is an optional persistence capability. */
   remove?(aggregate: TAggregate): void;
 }
@@ -541,6 +542,14 @@ interface RepositoryContractHarness<TAggregate extends Aggregate<Id<string>, TEv
   snapshotState?(aggregate: TAggregate): unknown;
   /** Opt out only for an intentionally upserting add implementation. */
   insertsAreDuplicateChecked?: boolean;
+  /**
+   * Opt out only for an append-only port, one that the definition marks
+   * with `appendOnly: true`. The suite then skips every update proof. The
+   * duplicate-add proof is the concurrency proof that remains, so it is
+   * mandatory. Provide `createAggregateWithId` and keep
+   * `insertsAreDuplicateChecked`, or the proof fails instead of skipping.
+   */
+  updatesAreSupported?: boolean;
   /** Enables physical-remove behavior and stale-remove OCC tests. */
   removesAreSupported?: boolean;
   /** The remove flush predicates on the version captured at load. */

package/dist/testing.js

@@ -2596,10 +2596,19 @@ function createRepositoryContractTests(harness) {
 	const mutateVersionOnly = harness.mutateVersionOnly;
 	const mutateChildCollection = harness.mutateChildCollection;
 	const insertsAreDuplicateChecked = harness.insertsAreDuplicateChecked !== false;
+	const updatesAreSupported = harness.updatesAreSupported !== false;
 	const removesAreSupported = harness.removesAreSupported === true;
 	const removesAreVersionChecked = removesAreSupported && harness.removesAreVersionChecked === true;
 	const overlappingCallsBoundMs = harness.overlappingCallsBoundMs ?? 1e3;
 	const load = (repository, id) => loadAggregateOrFail(repository, id, "the adapter did not commit or reconstitute the aggregate");
+	const update = (repository, aggregate) => {
+		assert(repository.update !== void 0, "the harness keeps updatesAreSupported, but the repository has no update");
+		repository.update(aggregate);
+	};
+	const updateGate = {
+		capability: "updatesAreSupported",
+		satisfiedBy: updatesAreSupported
+	};
 	async function seed(environment) {
 		const aggregate = harness.createAggregate();
 		harness.mutate(aggregate);
@@ -2650,7 +2659,7 @@ function createRepositoryContractTests(harness) {
 				});
 			})
 		},
-		{
+		gatedContractTest(updateGate, {
 			name: "MANDATORY stale update: writer B conflicts after writer A commits and persists nothing",
 			run: inEnvironment(async (environment) => {
 				const seeded = await seed(environment);
@@ -2658,12 +2667,12 @@ function createRepositoryContractTests(harness) {
 					const stale = await load(repository, seeded.id);
 					await hold();
 					harness.mutate(stale);
-					repository.update(stale);
+					update(repository, stale);
 				}));
 				const committedA = await awaitOverlappingCall(() => environment.run(async ({ repository }) => {
 					const current = await load(repository, seeded.id);
 					harness.mutate(current);
-					repository.update(current);
+					update(repository, current);
 					return current;
 				}), writerB, overlappingCallsBoundMs);
 				const outboxAfterA = await environment.committedOutboxEvents();
@@ -2675,7 +2684,7 @@ function createRepositoryContractTests(harness) {
 				if (snapshotState) assert(deepEqual(snapshotState.call(harness, final), snapshotState.call(harness, committedA)), "the stale writer must not replace writer A's state");
 				assert(deepEqual(eventIds(await environment.committedOutboxEvents()), eventIds(outboxAfterA)), "a rejected stale flush must add no outbox records");
 			})
-		},
+		}),
 		{
 			name: "rollback acknowledges nothing and commits neither state nor outbox",
 			run: inEnvironment(async (environment) => {
@@ -2720,26 +2729,26 @@ function createRepositoryContractTests(harness) {
 				});
 			})
 		},
-		{
+		gatedContractTest(updateGate, {
 			name: "an unchanged explicit update is safe and emits no event",
 			run: inEnvironment(async (environment) => {
 				const seeded = await seed(environment);
 				const before = await environment.committedOutboxEvents();
 				await environment.run(async ({ repository }) => {
 					const aggregate = await load(repository, seeded.id);
-					repository.update(aggregate);
+					update(repository, aggregate);
 				});
 				assert(deepEqual(eventIds(await environment.committedOutboxEvents()), eventIds(before)), "an unchanged update must not manufacture an outbox event");
 			})
-		}
+		})
 	];
 	tests.push(gatedContractTest({
 		capability: createAggregateWithId ? "insertsAreDuplicateChecked" : "createAggregateWithId",
-		satisfiedBy: Boolean(createAggregateWithId) && insertsAreDuplicateChecked
+		satisfiedBy: Boolean(createAggregateWithId) && insertsAreDuplicateChecked || !updatesAreSupported
 	}, {
 		name: "duplicate add rejects and preserves the existing aggregate",
 		run: inEnvironment(async (environment) => {
-			assert(createAggregateWithId !== void 0, "capability gate");
+			assert(createAggregateWithId !== void 0 && insertsAreDuplicateChecked, "an append-only harness must provide createAggregateWithId and keep insertsAreDuplicateChecked: the duplicate-add proof is its only concurrency proof");
 			const seeded = await seed(environment);
 			const duplicate = createAggregateWithId.call(harness, seeded.id);
 			harness.mutate(duplicate);
@@ -2753,7 +2762,7 @@ function createRepositoryContractTests(harness) {
 			if (snapshotState) assert(deepEqual(snapshotState.call(harness, final), snapshotState.call(harness, seeded)), "the existing row's state must be untouched by the rejected duplicate add");
 		})
 	}));
-	tests.push(gatedContractTest({
+	tests.push(gatedContractTest(updateGate, gatedContractTest({
 		capability: "mutateVersionOnly",
 		satisfiedBy: Boolean(mutateVersionOnly)
 	}, {
@@ -2765,14 +2774,14 @@ function createRepositoryContractTests(harness) {
 			await environment.run(async ({ repository }) => {
 				const aggregate = await load(repository, seeded.id);
 				mutateVersionOnly.call(harness, aggregate);
-				repository.update(aggregate);
+				update(repository, aggregate);
 			});
 			const reloaded = await reload(environment, seeded.id);
 			assertEqual(reloaded.version, seeded.version + 1, "a version-only change (empty change set, bumped version) must still be persisted; skipping it desyncs the persisted version and produces false concurrency conflicts later");
 			assert(deepEqual(eventIds(await environment.committedOutboxEvents()), eventIds(outboxBefore)), "state-only update must not create an outbox event");
 		})
-	}));
-	tests.push(gatedContractTest({
+	})));
+	tests.push(gatedContractTest(updateGate, gatedContractTest({
 		capability: "mutateChildCollection",
 		satisfiedBy: Boolean(mutateChildCollection)
 	}, {
@@ -2783,12 +2792,12 @@ function createRepositoryContractTests(harness) {
 			await environment.run(async ({ repository }) => {
 				const aggregate = await load(repository, seeded.id);
 				mutateChildCollection.call(harness, aggregate);
-				repository.update(aggregate);
+				update(repository, aggregate);
 			});
 			const reloaded = await reload(environment, seeded.id);
 			assertEqual(reloaded.version, seeded.version + 1, "nested collection update must advance the persisted root version");
 		})
-	}));
+	})));
 	tests.push(gatedContractTest({
 		capability: "removesAreSupported",
 		satisfiedBy: removesAreSupported
@@ -2805,7 +2814,7 @@ function createRepositoryContractTests(harness) {
 			assert(await environment.run(({ repository }) => repository.findById(seeded.id)) === void 0, "remove must physically remove the aggregate after commit");
 		})
 	}));
-	tests.push(gatedContractTest({
+	tests.push(gatedContractTest(updateGate, gatedContractTest({
 		capability: "removesAreVersionChecked",
 		satisfiedBy: removesAreVersionChecked
 	}, {
@@ -2821,14 +2830,14 @@ function createRepositoryContractTests(harness) {
 			await awaitOverlappingCall(() => environment.run(async ({ repository }) => {
 				const current = await load(repository, seeded.id);
 				harness.mutate(current);
-				repository.update(current);
+				update(repository, current);
 			}), staleRemove, overlappingCallsBoundMs);
 			staleRemove.release();
 			const rejection = await captureRejection(staleRemove.call);
 			assertChainContainsKitError(rejection, ["CONCURRENCY_CONFLICT"], `stale remove must reject with ConcurrencyConflictError; got ${describeError(rejection)}`);
 			assert(await reload(environment, seeded.id) !== void 0, "stale remove must not delete the concurrent winner");
 		})
-	}));
+	})));
 	return tests;
 }