@overkill-dev/doubles 0.0.1 → 0.0.2

package/assertion-protocol/assertion-reference.d.ts

@@ -0,0 +1,73 @@
+import type { CompositeAssertionChildNode } from './assertion-node.ts';
+import type { AssertionSource, NonEmptyReadonlyArray, ResolvableSourceLocation } from './assertion-node-shape.ts';
+declare const assertionReferenceIdentity: unique symbol;
+declare const assertionReferenceRecordIdentity: unique symbol;
+declare const compositeGroupIdentity: unique symbol;
+export type CompositeAssertionSummaryContext = {
+    readonly name: string;
+    readonly source: AssertionSource;
+};
+export type CompositeAssertionGroup<Source extends AssertionSource = AssertionSource> = {
+    readonly [compositeGroupIdentity]: true;
+    readonly children: NonEmptyReadonlyArray<CompositeAssertionChildNode<Source>>;
+};
+type CompositeAssertionReturnByKind<Source extends AssertionSource> = {
+    readonly child: CompositeAssertionChildNode<Source>;
+    readonly group: CompositeAssertionGroup<Source>;
+};
+export type CompositeAssertionReturn<Source extends AssertionSource = AssertionSource> = CompositeAssertionReturnByKind<Source>[keyof CompositeAssertionReturnByKind<Source>];
+type PromiseCompositeAssertionReturn = Promise<CompositeAssertionReturn<'assert'>>;
+export type AssertCompositeAssertionReturn = CompositeAssertionReturn<'assert'> | PromiseCompositeAssertionReturn;
+type SyncAssertionReturn = ReturnType<() => void>;
+export type CompositeAssertionSummaryFormatter<Arguments extends readonly unknown[]> = (context: CompositeAssertionSummaryContext, ...parameters: Arguments) => string;
+export type NarrowingCompositeAssertionSummaryFormatter<Actual, Arguments extends readonly unknown[]> = (context: CompositeAssertionSummaryContext, actual: Actual, ...parameters: Arguments) => string;
+export type CompositeAssertionRunnerInput<Arguments extends readonly unknown[], Source extends AssertionSource> = {
+    readonly location: ResolvableSourceLocation;
+    readonly message: string | null;
+    readonly parameters: Arguments;
+    readonly source: Source;
+};
+export type CompositeAssertionReferenceRecord<Arguments extends readonly unknown[] = readonly unknown[], Result extends AssertCompositeAssertionReturn = AssertCompositeAssertionReturn> = {
+    readonly formatSummary: CompositeAssertionSummaryFormatter<Arguments> | null;
+    readonly kind: 'composite';
+    readonly name: string;
+    readonly run: (input: CompositeAssertionRunnerInput<Arguments, 'assert'>) => Result;
+};
+export type NarrowingCompositeAssertionReferenceRecord<Actual = unknown, Narrowed extends Actual = Actual, Arguments extends readonly unknown[] = readonly unknown[]> = {
+    readonly formatSummary: NarrowingCompositeAssertionSummaryFormatter<Actual, Arguments> | null;
+    readonly kind: 'narrowing-composite';
+    readonly name: string;
+    readonly narrows: (actual: Actual, ...parameters: Arguments) => actual is Narrowed;
+};
+export type AssertionReferenceRecord = CompositeAssertionReferenceRecord | NarrowingCompositeAssertionReferenceRecord;
+export type CompositeAssertionReference<Arguments extends readonly unknown[] = readonly unknown[], Result extends AssertCompositeAssertionReturn = AssertCompositeAssertionReturn> = {
+    readonly [assertionReferenceIdentity]: true;
+    readonly [assertionReferenceRecordIdentity]: CompositeAssertionReferenceRecord<Arguments, Result>;
+};
+export type NarrowingCompositeAssertionReference<Actual = unknown, Narrowed extends Actual = Actual, Arguments extends readonly unknown[] = readonly unknown[]> = {
+    readonly [assertionReferenceIdentity]: true;
+    readonly [assertionReferenceRecordIdentity]: NarrowingCompositeAssertionReferenceRecord<Actual, Narrowed, Arguments>;
+};
+export type AssertionReference = CompositeAssertionReference | NarrowingCompositeAssertionReference;
+type NarrowingReferenceArguments<Actual, Arguments extends readonly unknown[]> = readonly [
+    actual: Actual,
+    ...parameters: Arguments
+];
+type ReferenceArguments<Reference> = Reference extends NarrowingCompositeAssertionReference<infer Actual, infer Narrowed, infer Arguments> ? NarrowingReferenceArguments<Actual | Narrowed, Arguments> : never;
+type ReferenceReturn<Result> = Result extends Promise<CompositeAssertionReturn<'assert'>> ? Promise<void> : SyncAssertionReturn;
+type ReadonlyParameters<Arguments extends readonly unknown[]> = readonly [...Arguments];
+export type AssertReferenceArguments<Reference> = Reference extends CompositeAssertionReference<infer Arguments> ? ReadonlyParameters<Arguments> : ReferenceArguments<Reference>;
+export type AssertReferenceReturn<Reference> = Reference extends CompositeAssertionReference<infer Arguments, infer Result> ? Arguments extends readonly unknown[] ? ReferenceReturn<Result> : never : SyncAssertionReturn;
+export declare function createAssertionReferenceRecord<Arguments extends readonly unknown[], Result extends AssertCompositeAssertionReturn>(record: CompositeAssertionReferenceRecord<Arguments, Result>): CompositeAssertionReference<Arguments, Result>;
+export declare function createAssertionReferenceRecord<Actual, Narrowed extends Actual, Arguments extends readonly unknown[]>(record: NarrowingCompositeAssertionReferenceRecord<Actual, Narrowed, Arguments>): NarrowingCompositeAssertionReference<Actual, Narrowed, Arguments>;
+export declare function createCompositeAssertionReferenceRecord<Arguments extends readonly unknown[], Result extends AssertCompositeAssertionReturn>(record: CompositeAssertionReferenceRecord<Arguments, Result>): CompositeAssertionReference<Arguments, Result>;
+export declare function createNarrowingCompositeAssertionReferenceRecord<Actual, Narrowed extends Actual, Arguments extends readonly unknown[]>(record: NarrowingCompositeAssertionReferenceRecord<Actual, Narrowed, Arguments>): NarrowingCompositeAssertionReference<Actual, Narrowed, Arguments>;
+export declare function getAssertionReferenceRecord(reference: AssertionReference): AssertionReferenceRecord;
+export declare function getCompositeAssertionReferenceRecord<Arguments extends readonly unknown[], Result extends AssertCompositeAssertionReturn>(reference: CompositeAssertionReference<Arguments, Result>): CompositeAssertionReferenceRecord<Arguments, Result>;
+export declare function getNarrowingAssertionReferenceRecord<Actual, Narrowed extends Actual, Arguments extends readonly unknown[]>(reference: NarrowingCompositeAssertionReference<Actual, Narrowed, Arguments>): NarrowingCompositeAssertionReferenceRecord<Actual, Narrowed, Arguments>;
+export declare function isAssertionReference(value: unknown): value is AssertionReference;
+export declare function isNarrowingAssertionReference(value: unknown): value is NarrowingCompositeAssertionReference;
+export declare function isCompositeAssertionGroup<Source extends AssertionSource>(value: unknown): value is CompositeAssertionGroup<Source>;
+export declare function createCompositeAssertionGroup<Source extends AssertionSource>(children: NonEmptyReadonlyArray<CompositeAssertionChildNode<Source>>): CompositeAssertionGroup<Source>;
+export {};
+//# sourceMappingURL=assertion-reference.d.ts.map

package/assertion-protocol/assertion-reference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-reference.d.ts","sourceRoot":"","sources":["../../../../source/assertion-protocol/assertion-reference.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,2BAA2B,EAC9B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EACR,eAAe,EACf,qBAAqB,EACrB,wBAAwB,EAC3B,MAAM,2BAA2B,CAAC;AAEnC,QAAA,MAAM,0BAA0B,EAAE,OAAO,MAAiD,CAAC;AAC3F,QAAA,MAAM,gCAAgC,EAAE,OAAO,MAAuD,CAAC;AACvG,QAAA,MAAM,sBAAsB,EAAE,OAAO,MAA6C,CAAC;AAEnF,MAAM,MAAM,gCAAgC,GAAG;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,uBAAuB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IACpF,QAAQ,CAAC,CAAC,sBAAsB,CAAC,EAAE,IAAI,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC,CAAC;CACjF,CAAC;AAEF,KAAK,8BAA8B,CAAC,MAAM,SAAS,eAAe,IAAI;IAClE,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAC,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,uBAAuB,CAAC,MAAM,CAAC,CAAC;CACnD,CAAC;AAEF,MAAM,MAAM,wBAAwB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,8BAA8B,CACnH,MAAM,CACT,CAAC,MAAM,8BAA8B,CAAC,MAAM,CAAC,CAAC,CAAC;AAEhD,KAAK,+BAA+B,GAAG,OAAO,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEnF,MAAM,MAAM,8BAA8B,GAAG,wBAAwB,CAAC,QAAQ,CAAC,GAAG,+BAA+B,CAAC;AAElH,KAAK,mBAAmB,GAAG,UAAU,CAAC,MAAM,IAAI,CAAC,CAAC;AAElD,MAAM,MAAM,kCAAkC,CAAC,SAAS,SAAS,SAAS,OAAO,EAAE,IAAI,CACnF,OAAO,EAAE,gCAAgC,EACzC,GAAG,UAAU,EAAE,SAAS,KACvB,MAAM,CAAC;AAEZ,MAAM,MAAM,2CAA2C,CAAC,MAAM,EAAE,SAAS,SAAS,SAAS,OAAO,EAAE,IAAI,CACpG,OAAO,EAAE,gCAAgC,EACzC,MAAM,EAAE,MAAM,EACd,GAAG,UAAU,EAAE,SAAS,KACvB,MAAM,CAAC;AAEZ,MAAM,MAAM,6BAA6B,CACrC,SAAS,SAAS,SAAS,OAAO,EAAE,EACpC,MAAM,SAAS,eAAe,IAC9B;IACA,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,iCAAiC,CACzC,SAAS,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,EACzD,MAAM,SAAS,8BAA8B,GAAG,8BAA8B,IAC9E;IACA,QAAQ,CAAC,aAAa,EAAE,kCAAkC,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;IAC7E,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,6BAA6B,CAAC,SAAS,EAAE,QAAQ,CAAC,KAAK,MAAM,CAAC;CACvF,CAAC;AAEF,MAAM,MAAM,0CAA0C,CAClD,MAAM,GAAG,OAAO,EAChB,QAAQ,SAAS,MAAM,GAAG,MAAM,EAChC,SAAS,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,IACzD;IACA,QAAQ,CAAC,aAAa,EAAE,2CAA2C,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI,CAAC;IAC9F,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,SAAS,KAAK,MAAM,IAAI,QAAQ,CAAC;CACtF,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG,iCAAiC,GAAG,0CAA0C,CAAC;AAEtH,MAAM,MAAM,2BAA2B,CACnC,SAAS,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,EACzD,MAAM,SAAS,8BAA8B,GAAG,8BAA8B,IAC9E;IACA,QAAQ,CAAC,CAAC,0BAA0B,CAAC,EAAE,IAAI,CAAC;IAC5C,QAAQ,CAAC,CAAC,gCAAgC,CAAC,EAAE,iCAAiC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;CACrG,CAAC;AAEF,MAAM,MAAM,oCAAoC,CAC5C,MAAM,GAAG,OAAO,EAChB,QAAQ,SAAS,MAAM,GAAG,MAAM,EAChC,SAAS,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,IACzD;IACA,QAAQ,CAAC,CAAC,0BAA0B,CAAC,EAAE,IAAI,CAAC;IAC5C,QAAQ,CAAC,CAAC,gCAAgC,CAAC,EAAE,0CAA0C,CACnF,MAAM,EACN,QAAQ,EACR,SAAS,CACZ,CAAC;CACL,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,2BAA2B,GAAG,oCAAoC,CAAC;AAEpG,KAAK,2BAA2B,CAAC,MAAM,EAAE,SAAS,SAAS,SAAS,OAAO,EAAE,IAAI,SAAS;IACtF,MAAM,EAAE,MAAM;IACd,GAAG,UAAU,EAAE,SAAS;CAC3B,CAAC;AAEF,KAAK,kBAAkB,CAAC,SAAS,IAAI,SAAS,SAAS,oCAAoC,CACvF,MAAM,MAAM,EACZ,MAAM,QAAQ,EACd,MAAM,SAAS,CAClB,GAAG,2BAA2B,CAAC,MAAM,GAAG,QAAQ,EAAE,SAAS,CAAC,GACvD,KAAK,CAAC;AAEZ,KAAK,eAAe,CAAC,MAAM,IAAI,MAAM,SAAS,OAAO,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GACnG,mBAAmB,CAAC;AAE1B,KAAK,kBAAkB,CAAC,SAAS,SAAS,SAAS,OAAO,EAAE,IAAI,SAAS,CAAC,GAAG,SAAS,CAAC,CAAC;AAExF,MAAM,MAAM,wBAAwB,CAAC,SAAS,IAAI,SAAS,SAAS,2BAA2B,CAAC,MAAM,SAAS,CAAC,GAC1G,kBAAkB,CAAC,SAAS,CAAC,GAC7B,kBAAkB,CAAC,SAAS,CAAC,CAAC;AAEpC,MAAM,MAAM,qBAAqB,CAAC,SAAS,IAAI,SAAS,SAAS,2BAA2B,CACxF,MAAM,SAAS,EACf,MAAM,MAAM,CACf,GAAG,SAAS,SAAS,SAAS,OAAO,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,GACpE,mBAAmB,CAAC;AAQ1B,wBAAgB,8BAA8B,CAC1C,SAAS,SAAS,SAAS,OAAO,EAAE,EACpC,MAAM,SAAS,8BAA8B,EAC/C,MAAM,EAAE,iCAAiC,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,2BAA2B,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AAChH,wBAAgB,8BAA8B,CAC1C,MAAM,EACN,QAAQ,SAAS,MAAM,EACvB,SAAS,SAAS,SAAS,OAAO,EAAE,EAEpC,MAAM,EAAE,0CAA0C,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,GAChF,oCAAoC,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AAiBrE,wBAAgB,uCAAuC,CACnD,SAAS,SAAS,SAAS,OAAO,EAAE,EACpC,MAAM,SAAS,8BAA8B,EAC/C,MAAM,EAAE,iCAAiC,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,2BAA2B,CAAC,SAAS,EAAE,MAAM,CAAC,CAE9G;AAED,wBAAgB,gDAAgD,CAC5D,MAAM,EACN,QAAQ,SAAS,MAAM,EACvB,SAAS,SAAS,SAAS,OAAO,EAAE,EAEpC,MAAM,EAAE,0CAA0C,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,GAChF,oCAAoC,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAEnE;AAED,wBAAgB,2BAA2B,CAAC,SAAS,EAAE,kBAAkB,GAAG,wBAAwB,CAEnG;AAED,wBAAgB,oCAAoC,CAChD,SAAS,SAAS,SAAS,OAAO,EAAE,EACpC,MAAM,SAAS,8BAA8B,EAE7C,SAAS,EAAE,2BAA2B,CAAC,SAAS,EAAE,MAAM,CAAC,GAC1D,iCAAiC,CAAC,SAAS,EAAE,MAAM,CAAC,CAEtD;AAED,wBAAgB,oCAAoC,CAChD,MAAM,EACN,QAAQ,SAAS,MAAM,EACvB,SAAS,SAAS,SAAS,OAAO,EAAE,EAEpC,SAAS,EAAE,oCAAoC,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,GAC7E,0CAA0C,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAEzE;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,kBAAkB,CAEhF;AAED,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,oCAAoC,CAE3G;AAED,wBAAgB,yBAAyB,CAAC,MAAM,SAAS,eAAe,EACpE,KAAK,EAAE,OAAO,GACf,KAAK,IAAI,uBAAuB,CAAC,MAAM,CAAC,CAE1C;AAED,wBAAgB,6BAA6B,CAAC,MAAM,SAAS,eAAe,EACxE,QAAQ,EAAE,qBAAqB,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC,GACrE,uBAAuB,CAAC,MAAM,CAAC,CAEjC"}

package/assertion-protocol/assertion-reference.js

@@ -0,0 +1,49 @@
+const assertionReferenceIdentity = Symbol.for('OverkillAssertionReference');
+const assertionReferenceRecordIdentity = Symbol.for('OverkillAssertionReferenceRecord');
+const compositeGroupIdentity = Symbol.for('OverkillCompositeGroup');
+function ensureAssertionName(name) {
+    if (name.trim().length === 0) {
+        throw new TypeError('Assertion reference name must not be empty.');
+    }
+}
+export function createAssertionReferenceRecord(record) {
+    ensureAssertionName(record.name);
+    if (record.kind === 'composite') {
+        return {
+            [assertionReferenceIdentity]: true,
+            [assertionReferenceRecordIdentity]: record
+        };
+    }
+    return {
+        [assertionReferenceIdentity]: true,
+        [assertionReferenceRecordIdentity]: record
+    };
+}
+export function createCompositeAssertionReferenceRecord(record) {
+    return createAssertionReferenceRecord({ ...record });
+}
+export function createNarrowingCompositeAssertionReferenceRecord(record) {
+    return createAssertionReferenceRecord({ ...record });
+}
+export function getAssertionReferenceRecord(reference) {
+    return reference[assertionReferenceRecordIdentity];
+}
+export function getCompositeAssertionReferenceRecord(reference) {
+    return reference[assertionReferenceRecordIdentity];
+}
+export function getNarrowingAssertionReferenceRecord(reference) {
+    return reference[assertionReferenceRecordIdentity];
+}
+export function isAssertionReference(value) {
+    return typeof value === 'object' && value !== null && Object.hasOwn(value, assertionReferenceIdentity);
+}
+export function isNarrowingAssertionReference(value) {
+    return isAssertionReference(value) && getAssertionReferenceRecord(value).kind === 'narrowing-composite';
+}
+export function isCompositeAssertionGroup(value) {
+    return typeof value === 'object' && value !== null && Object.hasOwn(value, compositeGroupIdentity);
+}
+export function createCompositeAssertionGroup(children) {
+    return { [compositeGroupIdentity]: true, children };
+}
+//# sourceMappingURL=assertion-reference.js.map

package/assertion-protocol/assertion-reference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-reference.js","sourceRoot":"","sources":["../../../../source/assertion-protocol/assertion-reference.ts"],"names":[],"mappings":"AASA,MAAM,0BAA0B,GAAkB,MAAM,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;AAC3F,MAAM,gCAAgC,GAAkB,MAAM,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;AACvG,MAAM,sBAAsB,GAAkB,MAAM,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;AAyHnF,SAAS,mBAAmB,CAAC,IAAY;IACrC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;IACvE,CAAC;AACL,CAAC;AAaD,MAAM,UAAU,8BAA8B,CAAC,MAAgC;IAC3E,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAEjC,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO;YACH,CAAC,0BAA0B,CAAC,EAAE,IAAI;YAClC,CAAC,gCAAgC,CAAC,EAAE,MAAM;SAC7C,CAAC;IACN,CAAC;IAED,OAAO;QACH,CAAC,0BAA0B,CAAC,EAAE,IAAI;QAClC,CAAC,gCAAgC,CAAC,EAAE,MAAM;KAC7C,CAAC;AACN,CAAC;AAED,MAAM,UAAU,uCAAuC,CAGrD,MAA4D;IAC1D,OAAO,8BAA8B,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,gDAAgD,CAK5D,MAA+E;IAE/E,OAAO,8BAA8B,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,SAA6B;IACrE,OAAO,SAAS,CAAC,gCAAgC,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,oCAAoC,CAIhD,SAAyD;IAEzD,OAAO,SAAS,CAAC,gCAAgC,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,oCAAoC,CAKhD,SAA4E;IAE5E,OAAO,SAAS,CAAC,gCAAgC,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAc;IAC/C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;AAC3G,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,KAAc;IACxD,OAAO,oBAAoB,CAAC,KAAK,CAAC,IAAI,2BAA2B,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC;AAC5G,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,KAAc;IAEd,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;AACvG,CAAC;AAED,MAAM,UAAU,6BAA6B,CACzC,QAAoE;IAEpE,OAAO,EAAE,CAAC,sBAAsB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACxD,CAAC"}

package/assertion-protocol/assertions/boolean.d.ts

@@ -0,0 +1,11 @@
+import { type AssertionOutcome } from '../assertion-evaluation.ts';
+import type { ActualAssertionNode, AssertionSource } from '../assertion-node-shape.ts';
+export type TrueAssertionNode<Source extends AssertionSource = AssertionSource> = ActualAssertionNode<Source, 'true'>;
+export type FalseAssertionNode<Source extends AssertionSource = AssertionSource> = ActualAssertionNode<Source, 'false'>;
+export declare const booleanSummaryByCheck: {
+    readonly false: "Expected value to be false.";
+    readonly true: "Expected value to be true.";
+};
+export declare function evaluateFalse(assertion: FalseAssertionNode): AssertionOutcome;
+export declare function evaluateTrue(assertion: TrueAssertionNode): AssertionOutcome;
+//# sourceMappingURL=boolean.d.ts.map

package/assertion-protocol/assertions/boolean.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"boolean.d.ts","sourceRoot":"","sources":["../../../../../source/assertion-protocol/assertions/boolean.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACrF,OAAO,KAAK,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAEvF,MAAM,MAAM,iBAAiB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAEtH,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAExH,eAAO,MAAM,qBAAqB;;;CAGxB,CAAC;AAEX,wBAAgB,aAAa,CAAC,SAAS,EAAE,kBAAkB,GAAG,gBAAgB,CAE7E;AAED,wBAAgB,YAAY,CAAC,SAAS,EAAE,iBAAiB,GAAG,gBAAgB,CAE3E"}

package/assertion-protocol/assertions/collection.d.ts

@@ -0,0 +1,22 @@
+import { type AssertionOutcome } from '../assertion-evaluation.ts';
+import type { ActualAssertionNode, AssertionSource, ResolvableSourceLocation } from '../assertion-node-shape.ts';
+export type LengthAssertionNode<Source extends AssertionSource = AssertionSource> = {
+    readonly actual: unknown;
+    readonly check: 'length';
+    readonly expectedLength: number;
+    readonly location: ResolvableSourceLocation;
+    readonly message: string | null;
+    readonly source: Source;
+};
+export type EmptinessAssertionNode<Source extends AssertionSource = AssertionSource> = {
+    readonly [Check in 'empty' | 'not-empty']: ActualAssertionNode<Source, Check>;
+}['empty' | 'not-empty'];
+export declare const collectionSummaryByCheck: {
+    readonly empty: "Expected collection to be empty.";
+    readonly length: "Expected collection length to match.";
+    readonly 'not-empty': "Expected collection not to be empty.";
+};
+export declare function evaluateEmpty(assertion: EmptinessAssertionNode): AssertionOutcome;
+export declare function evaluateLength(assertion: LengthAssertionNode): AssertionOutcome;
+export declare function evaluateNotEmpty(assertion: EmptinessAssertionNode): AssertionOutcome;
+//# sourceMappingURL=collection.d.ts.map

package/assertion-protocol/assertions/collection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection.d.ts","sourceRoot":"","sources":["../../../../../source/assertion-protocol/assertions/collection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACrF,OAAO,KAAK,EAAE,mBAAmB,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AAGjH,MAAM,MAAM,mBAAmB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IAChF,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,sBAAsB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IACnF,QAAQ,EAAE,KAAK,IAAI,OAAO,GAAG,WAAW,GAAG,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC;CAChF,CAAC,OAAO,GAAG,WAAW,CAAC,CAAC;AAEzB,eAAO,MAAM,wBAAwB;;;;CAI3B,CAAC;AAEX,wBAAgB,aAAa,CAAC,SAAS,EAAE,sBAAsB,GAAG,gBAAgB,CAQjF;AAED,wBAAgB,cAAc,CAAC,SAAS,EAAE,mBAAmB,GAAG,gBAAgB,CAS/E;AAED,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,sBAAsB,GAAG,gBAAgB,CAQpF"}

package/assertion-protocol/assertions/equality.d.ts

@@ -0,0 +1,17 @@
+import { type AssertionOutcome } from '../assertion-evaluation.ts';
+import type { AssertionSource, ExpectedAssertionNode } from '../assertion-node-shape.ts';
+export type EqualAssertionNode<Source extends AssertionSource = AssertionSource> = ExpectedAssertionNode<Source, 'equal'>;
+export type NotEqualAssertionNode<Source extends AssertionSource = AssertionSource> = ExpectedAssertionNode<Source, 'not-equal'>;
+export type DeepEqualAssertionNode<Source extends AssertionSource = AssertionSource> = ExpectedAssertionNode<Source, 'deep-equal'>;
+export type NotDeepEqualAssertionNode<Source extends AssertionSource = AssertionSource> = ExpectedAssertionNode<Source, 'not-deep-equal'>;
+export declare const equalitySummaryByCheck: {
+    readonly 'deep-equal': "Expected values to be deeply equal.";
+    readonly equal: "Expected values to be equal.";
+    readonly 'not-deep-equal': "Expected values not to be deeply equal.";
+    readonly 'not-equal': "Expected values not to be equal.";
+};
+export declare function evaluateDeepEqual(assertion: DeepEqualAssertionNode): AssertionOutcome;
+export declare function evaluateEqual(assertion: EqualAssertionNode): AssertionOutcome;
+export declare function evaluateNotDeepEqual(assertion: NotDeepEqualAssertionNode): AssertionOutcome;
+export declare function evaluateNotEqual(assertion: NotEqualAssertionNode): AssertionOutcome;
+//# sourceMappingURL=equality.d.ts.map

package/assertion-protocol/assertions/equality.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"equality.d.ts","sourceRoot":"","sources":["../../../../../source/assertion-protocol/assertions/equality.ts"],"names":[],"mappings":"AAKA,OAAO,EAAuC,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACxG,OAAO,KAAK,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEzF,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,qBAAqB,CACpG,MAAM,EACN,OAAO,CACV,CAAC;AAEF,MAAM,MAAM,qBAAqB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,qBAAqB,CACvG,MAAM,EACN,WAAW,CACd,CAAC;AAEF,MAAM,MAAM,sBAAsB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,qBAAqB,CACxG,MAAM,EACN,YAAY,CACf,CAAC;AAEF,MAAM,MAAM,yBAAyB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,qBAAqB,CAC3G,MAAM,EACN,gBAAgB,CACnB,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;CAKzB,CAAC;AAEX,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,sBAAsB,GAAG,gBAAgB,CAErF;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,kBAAkB,GAAG,gBAAgB,CAM7E;AAED,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,yBAAyB,GAAG,gBAAgB,CAM3F;AAED,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,qBAAqB,GAAG,gBAAgB,CAEnF"}

package/assertion-protocol/assertions/fail.d.ts

@@ -0,0 +1,13 @@
+import { type AssertionOutcome } from '../assertion-evaluation.ts';
+import type { AssertionSource, ResolvableSourceLocation } from '../assertion-node-shape.ts';
+export type FailAssertionNode<Source extends AssertionSource = AssertionSource> = {
+    readonly check: 'fail';
+    readonly location: ResolvableSourceLocation;
+    readonly message: string | null;
+    readonly source: Source;
+};
+export declare const failSummaryByCheck: {
+    readonly fail: "Assertion failed.";
+};
+export declare function evaluateFail(assertion: FailAssertionNode): AssertionOutcome;
+//# sourceMappingURL=fail.d.ts.map

package/assertion-protocol/assertions/fail.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fail.d.ts","sourceRoot":"","sources":["../../../../../source/assertion-protocol/assertions/fail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACrF,OAAO,KAAK,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AAE5F,MAAM,MAAM,iBAAiB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IAC9E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,eAAO,MAAM,kBAAkB;;CAErB,CAAC;AAEX,wBAAgB,YAAY,CAAC,SAAS,EAAE,iBAAiB,GAAG,gBAAgB,CAE3E"}

package/assertion-protocol/assertions/numeric.d.ts

@@ -0,0 +1,29 @@
+import { type AssertionOutcome } from '../assertion-evaluation.ts';
+import type { AssertionSource, ExpectedAssertionNode, ResolvableSourceLocation } from '../assertion-node-shape.ts';
+type NumericComparisonCheck = 'greater-than' | 'greater-than-or-equal' | 'less-than' | 'less-than-or-equal';
+export type NumericComparisonAssertionNode<Source extends AssertionSource = AssertionSource> = {
+    readonly [Check in NumericComparisonCheck]: ExpectedAssertionNode<Source, Check>;
+}[NumericComparisonCheck];
+export type BetweenAssertionNode<Source extends AssertionSource = AssertionSource> = {
+    readonly actual: unknown;
+    readonly check: 'between';
+    readonly location: ResolvableSourceLocation;
+    readonly maximum: number;
+    readonly message: string | null;
+    readonly minimum: number;
+    readonly source: Source;
+};
+export declare const numericSummaryByCheck: {
+    readonly between: "Expected number to be between the bounds.";
+    readonly 'greater-than': "Expected number to be greater than the threshold.";
+    readonly 'greater-than-or-equal': "Expected number to be greater than or equal to the threshold.";
+    readonly 'less-than': "Expected number to be less than the threshold.";
+    readonly 'less-than-or-equal': "Expected number to be less than or equal to the threshold.";
+};
+export declare function evaluateBetween(assertion: BetweenAssertionNode): AssertionOutcome;
+export declare function evaluateGreaterThan(assertion: NumericComparisonAssertionNode): AssertionOutcome;
+export declare function evaluateGreaterThanOrEqual(assertion: NumericComparisonAssertionNode): AssertionOutcome;
+export declare function evaluateLessThan(assertion: NumericComparisonAssertionNode): AssertionOutcome;
+export declare function evaluateLessThanOrEqual(assertion: NumericComparisonAssertionNode): AssertionOutcome;
+export {};
+//# sourceMappingURL=numeric.d.ts.map

package/assertion-protocol/assertions/numeric.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric.d.ts","sourceRoot":"","sources":["../../../../../source/assertion-protocol/assertions/numeric.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACrF,OAAO,KAAK,EAAE,eAAe,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AAEnH,KAAK,sBAAsB,GAAG,cAAc,GAAG,uBAAuB,GAAG,WAAW,GAAG,oBAAoB,CAAC;AAE5G,MAAM,MAAM,8BAA8B,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IAC3F,QAAQ,EAAE,KAAK,IAAI,sBAAsB,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC;CACnF,CAAC,sBAAsB,CAAC,CAAC;AAE1B,MAAM,MAAM,oBAAoB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IACjF,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,eAAO,MAAM,qBAAqB;;;;;;CAMxB,CAAC;AAMX,wBAAgB,eAAe,CAAC,SAAS,EAAE,oBAAoB,GAAG,gBAAgB,CAOjF;AAED,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,8BAA8B,GAAG,gBAAgB,CAM/F;AAED,wBAAgB,0BAA0B,CAAC,SAAS,EAAE,8BAA8B,GAAG,gBAAgB,CAMtG;AAED,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,8BAA8B,GAAG,gBAAgB,CAM5F;AAED,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,8BAA8B,GAAG,gBAAgB,CAMnG"}

package/assertion-protocol/assertions/partial.d.ts

@@ -0,0 +1,14 @@
+import { type AssertionOutcome } from '../assertion-evaluation.ts';
+import type { AssertionSource, ExpectedAssertionNode } from '../assertion-node-shape.ts';
+export type PartialDeepEqualAssertionNode<Source extends AssertionSource = AssertionSource> = ExpectedAssertionNode<Source, 'partial-deep-equal'>;
+export type ArrayContainsPartialAssertionNode<Source extends AssertionSource = AssertionSource> = ExpectedAssertionNode<Source, 'array-contains-partial'>;
+export type MembersPartialDeepEqualAssertionNode<Source extends AssertionSource = AssertionSource> = ExpectedAssertionNode<Source, 'members-partial-deep-equal'>;
+export declare const partialSummaryByCheck: {
+    readonly 'array-contains-partial': "Expected array to contain a partial member.";
+    readonly 'members-partial-deep-equal': "Expected array to contain the partial members.";
+    readonly 'partial-deep-equal': "Expected value to partially match.";
+};
+export declare function evaluateArrayContainsPartial(assertion: ArrayContainsPartialAssertionNode): AssertionOutcome;
+export declare function evaluateMembersPartialDeepEqual(assertion: MembersPartialDeepEqualAssertionNode): AssertionOutcome;
+export declare function evaluatePartialDeepEqual(assertion: PartialDeepEqualAssertionNode): AssertionOutcome;
+//# sourceMappingURL=partial.d.ts.map

package/assertion-protocol/assertions/partial.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"partial.d.ts","sourceRoot":"","sources":["../../../../../source/assertion-protocol/assertions/partial.ts"],"names":[],"mappings":"AAKA,OAAO,EAAqB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACtF,OAAO,KAAK,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEzF,MAAM,MAAM,6BAA6B,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,qBAAqB,CAC/G,MAAM,EACN,oBAAoB,CACvB,CAAC;AAEF,MAAM,MAAM,iCAAiC,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,qBAAqB,CACnH,MAAM,EACN,wBAAwB,CAC3B,CAAC;AAEF,MAAM,MAAM,oCAAoC,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAC7F,qBAAqB,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC;AAEhE,eAAO,MAAM,qBAAqB;;;;CAIxB,CAAC;AAEX,wBAAgB,4BAA4B,CAAC,SAAS,EAAE,iCAAiC,GAAG,gBAAgB,CAE3G;AAED,wBAAgB,+BAA+B,CAAC,SAAS,EAAE,oCAAoC,GAAG,gBAAgB,CAEjH;AAED,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,6BAA6B,GAAG,gBAAgB,CAEnG"}

package/assertion-protocol/assertions/presence.d.ts

@@ -0,0 +1,17 @@
+import { type AssertionOutcome } from '../assertion-evaluation.ts';
+import type { ActualAssertionNode, AssertionSource } from '../assertion-node-shape.ts';
+export type DefinedAssertionNode<Source extends AssertionSource = AssertionSource> = ActualAssertionNode<Source, 'defined'>;
+export type NullAssertionNode<Source extends AssertionSource = AssertionSource> = ActualAssertionNode<Source, 'null'>;
+export type NotNullAssertionNode<Source extends AssertionSource = AssertionSource> = ActualAssertionNode<Source, 'not-null'>;
+export type UndefinedAssertionNode<Source extends AssertionSource = AssertionSource> = ActualAssertionNode<Source, 'undefined'>;
+export declare const presenceSummaryByCheck: {
+    readonly defined: "Expected value to be defined.";
+    readonly 'not-null': "Expected value not to be null.";
+    readonly null: "Expected value to be null.";
+    readonly undefined: "Expected value to be undefined.";
+};
+export declare function evaluateDefined(assertion: DefinedAssertionNode): AssertionOutcome;
+export declare function evaluateNotNull(assertion: NotNullAssertionNode): AssertionOutcome;
+export declare function evaluateNull(assertion: NullAssertionNode): AssertionOutcome;
+export declare function evaluateUndefined(assertion: UndefinedAssertionNode): AssertionOutcome;
+//# sourceMappingURL=presence.d.ts.map

package/assertion-protocol/assertions/presence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"presence.d.ts","sourceRoot":"","sources":["../../../../../source/assertion-protocol/assertions/presence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACrF,OAAO,KAAK,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAEvF,MAAM,MAAM,oBAAoB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,mBAAmB,CACpG,MAAM,EACN,SAAS,CACZ,CAAC;AAEF,MAAM,MAAM,iBAAiB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAEtH,MAAM,MAAM,oBAAoB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,mBAAmB,CACpG,MAAM,EACN,UAAU,CACb,CAAC;AAEF,MAAM,MAAM,sBAAsB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI,mBAAmB,CACtG,MAAM,EACN,WAAW,CACd,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;CAKzB,CAAC;AAEX,wBAAgB,eAAe,CAAC,SAAS,EAAE,oBAAoB,GAAG,gBAAgB,CAMjF;AAED,wBAAgB,eAAe,CAAC,SAAS,EAAE,oBAAoB,GAAG,gBAAgB,CAEjF;AAED,wBAAgB,YAAY,CAAC,SAAS,EAAE,iBAAiB,GAAG,gBAAgB,CAE3E;AAED,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,sBAAsB,GAAG,gBAAgB,CAErF"}

package/assertion-protocol/assertions/string.d.ts

@@ -0,0 +1,28 @@
+import { type AssertionOutcome } from '../assertion-evaluation.ts';
+import type { AssertionSource, ExpectedAssertionNode, ResolvableSourceLocation } from '../assertion-node-shape.ts';
+export type MatchAssertionNode<Source extends AssertionSource = AssertionSource> = {
+    readonly [Check in 'match' | 'not-match']: {
+        readonly actual: unknown;
+        readonly check: Check;
+        readonly location: ResolvableSourceLocation;
+        readonly message: string | null;
+        readonly pattern: RegExp;
+        readonly source: Source;
+    };
+}['match' | 'not-match'];
+export type StringContainsAssertionNode<Source extends AssertionSource = AssertionSource> = {
+    readonly [Check in 'ends-with' | 'includes' | 'starts-with']: ExpectedAssertionNode<Source, Check>;
+}['ends-with' | 'includes' | 'starts-with'];
+export declare const stringSummaryByCheck: {
+    readonly 'ends-with': "Expected string to end with the value.";
+    readonly includes: "Expected string to include the value.";
+    readonly match: "Expected string to match the pattern.";
+    readonly 'not-match': "Expected string not to match the pattern.";
+    readonly 'starts-with': "Expected string to start with the value.";
+};
+export declare function evaluateEndsWith(assertion: StringContainsAssertionNode): AssertionOutcome;
+export declare function evaluateIncludes(assertion: StringContainsAssertionNode): AssertionOutcome;
+export declare function evaluateMatch(assertion: MatchAssertionNode): AssertionOutcome;
+export declare function evaluateNotMatch(assertion: MatchAssertionNode): AssertionOutcome;
+export declare function evaluateStartsWith(assertion: StringContainsAssertionNode): AssertionOutcome;
+//# sourceMappingURL=string.d.ts.map

package/assertion-protocol/assertions/string.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../../../../source/assertion-protocol/assertions/string.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACrF,OAAO,KAAK,EAAE,eAAe,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AAEnH,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IAC/E,QAAQ,EAAE,KAAK,IAAI,OAAO,GAAG,WAAW,GAAG;QACvC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;QACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;QAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KAC3B;CACJ,CAAC,OAAO,GAAG,WAAW,CAAC,CAAC;AAEzB,MAAM,MAAM,2BAA2B,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IACxF,QAAQ,EAAE,KAAK,IAAI,WAAW,GAAG,UAAU,GAAG,aAAa,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC;CACrG,CAAC,WAAW,GAAG,UAAU,GAAG,aAAa,CAAC,CAAC;AAE5C,eAAO,MAAM,oBAAoB;;;;;;CAMvB,CAAC;AAEX,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,2BAA2B,GAAG,gBAAgB,CAMzF;AAED,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,2BAA2B,GAAG,gBAAgB,CAMzF;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,kBAAkB,GAAG,gBAAgB,CAM7E;AAED,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,kBAAkB,GAAG,gBAAgB,CAMhF;AAED,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,2BAA2B,GAAG,gBAAgB,CAM3F"}

package/assertion-protocol/assertions/type-shape.d.ts

@@ -0,0 +1,42 @@
+import { type AssertionOutcome } from '../assertion-evaluation.ts';
+import type { ActualAssertionNode, AssertionSource, InstanceConstructor, ResolvableSourceLocation } from '../assertion-node-shape.ts';
+type TypeAssertionCheck = 'array' | 'boolean' | 'function' | 'number' | 'object' | 'string';
+export type TypeAssertionNode<Source extends AssertionSource = AssertionSource> = {
+    readonly [Check in TypeAssertionCheck]: ActualAssertionNode<Source, Check>;
+}[TypeAssertionCheck];
+export type InstanceOfAssertionNode<Source extends AssertionSource = AssertionSource> = {
+    readonly actual: unknown;
+    readonly check: 'instance-of';
+    readonly expected: InstanceConstructor;
+    readonly location: ResolvableSourceLocation;
+    readonly message: string | null;
+    readonly source: Source;
+};
+export type HasPropertyAssertionNode<Source extends AssertionSource = AssertionSource> = {
+    readonly actual: unknown;
+    readonly check: 'has-property';
+    readonly key: PropertyKey;
+    readonly location: ResolvableSourceLocation;
+    readonly message: string | null;
+    readonly source: Source;
+};
+export declare const typeShapeSummaryByCheck: {
+    readonly array: "Expected value to be an array.";
+    readonly boolean: "Expected value to be a boolean.";
+    readonly function: "Expected value to be a function.";
+    readonly 'has-property': "Expected object to have the own property.";
+    readonly 'instance-of': "Expected value to be an instance of the constructor.";
+    readonly number: "Expected value to be a number.";
+    readonly object: "Expected value to be an object.";
+    readonly string: "Expected value to be a string.";
+};
+export declare function evaluateArray(assertion: TypeAssertionNode): AssertionOutcome;
+export declare function evaluateBoolean(assertion: TypeAssertionNode): AssertionOutcome;
+export declare function evaluateFunction(assertion: TypeAssertionNode): AssertionOutcome;
+export declare function evaluateHasProperty(assertion: HasPropertyAssertionNode): AssertionOutcome;
+export declare function evaluateInstanceOf(assertion: InstanceOfAssertionNode): AssertionOutcome;
+export declare function evaluateNumber(assertion: TypeAssertionNode): AssertionOutcome;
+export declare function evaluateObject(assertion: TypeAssertionNode): AssertionOutcome;
+export declare function evaluateString(assertion: TypeAssertionNode): AssertionOutcome;
+export {};
+//# sourceMappingURL=type-shape.d.ts.map

package/assertion-protocol/assertions/type-shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-shape.d.ts","sourceRoot":"","sources":["../../../../../source/assertion-protocol/assertions/type-shape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACrF,OAAO,KAAK,EACR,mBAAmB,EACnB,eAAe,EACf,mBAAmB,EACnB,wBAAwB,EAC3B,MAAM,4BAA4B,CAAC;AAGpC,KAAK,kBAAkB,GAAG,OAAO,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAE5F,MAAM,MAAM,iBAAiB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IAC9E,QAAQ,EAAE,KAAK,IAAI,kBAAkB,GAAG,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC;CAC7E,CAAC,kBAAkB,CAAC,CAAC;AAEtB,MAAM,MAAM,uBAAuB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IACpF,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,wBAAwB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IACrF,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,eAAO,MAAM,uBAAuB;;;;;;;;;CAS1B,CAAC;AAUX,wBAAgB,aAAa,CAAC,SAAS,EAAE,iBAAiB,GAAG,gBAAgB,CAE5E;AAED,wBAAgB,eAAe,CAAC,SAAS,EAAE,iBAAiB,GAAG,gBAAgB,CAE9E;AAED,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,iBAAiB,GAAG,gBAAgB,CAE/E;AAED,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,wBAAwB,GAAG,gBAAgB,CAMzF;AAED,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,uBAAuB,GAAG,gBAAgB,CAEvF;AAED,wBAAgB,cAAc,CAAC,SAAS,EAAE,iBAAiB,GAAG,gBAAgB,CAE7E;AAED,wBAAgB,cAAc,CAAC,SAAS,EAAE,iBAAiB,GAAG,gBAAgB,CAE7E;AAED,wBAAgB,cAAc,CAAC,SAAS,EAAE,iBAAiB,GAAG,gBAAgB,CAE7E"}

package/assertion-protocol/thrown-error-record.d.ts

@@ -0,0 +1,8 @@
+export type ThrownErrorRecord = {
+    readonly message: string;
+    readonly name: string;
+    readonly stack: string | null;
+    readonly thrown: unknown;
+};
+export declare function createThrownErrorRecord(thrown: unknown): ThrownErrorRecord;
+//# sourceMappingURL=thrown-error-record.d.ts.map

package/assertion-protocol/thrown-error-record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"thrown-error-record.d.ts","sourceRoot":"","sources":["../../../../source/assertion-protocol/thrown-error-record.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,iBAAiB,GAAG;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,OAAO,GAAG,iBAAiB,CAgB1E"}

package/assertion-protocol/thrown-error-record.js

@@ -0,0 +1,17 @@
+export function createThrownErrorRecord(thrown) {
+    if (thrown instanceof Error) {
+        return {
+            message: thrown.message,
+            name: thrown.name,
+            stack: thrown.stack ?? null,
+            thrown
+        };
+    }
+    return {
+        message: 'Test body threw a non-error value.',
+        name: typeof thrown,
+        stack: null,
+        thrown
+    };
+}
+//# sourceMappingURL=thrown-error-record.js.map

package/assertion-protocol/thrown-error-record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"thrown-error-record.js","sourceRoot":"","sources":["../../../../source/assertion-protocol/thrown-error-record.ts"],"names":[],"mappings":"AAOA,MAAM,UAAU,uBAAuB,CAAC,MAAe;IACnD,IAAI,MAAM,YAAY,KAAK,EAAE,CAAC;QAC1B,OAAO;YACH,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,IAAI;YAC3B,MAAM;SACT,CAAC;IACN,CAAC;IAED,OAAO;QACH,OAAO,EAAE,oCAAoC;QAC7C,IAAI,EAAE,OAAO,MAAM;QACnB,KAAK,EAAE,IAAI;QACX,MAAM;KACT,CAAC;AACN,CAAC"}

package/assertion-protocol/thrown-matcher.d.ts

@@ -0,0 +1,51 @@
+import type { CompositeAssertionChildNode, CompositeAssertionNode } from './assertion-node.ts';
+import type { AssertionSource, InstanceConstructor, NonEmptyReadonlyArray, ResolvableSourceLocation } from './assertion-node-shape.ts';
+type OptionalFields<Shape, RequiredKey extends keyof Shape> = {
+    readonly [ShapeKey in keyof Shape as ShapeKey extends RequiredKey ? never : ShapeKey]?: Shape[ShapeKey];
+};
+type RequiredField<Shape, RequiredKey extends keyof Shape> = {
+    readonly [ShapeKey in RequiredKey]-?: Shape[ShapeKey];
+};
+type RequireAtLeastOne<Shape, Key extends keyof Shape = keyof Shape> = {
+    readonly [RequiredKey in Key]: OptionalFields<Shape, RequiredKey> & RequiredField<Shape, RequiredKey>;
+}[Key];
+type ErrorConstructor = InstanceConstructor & (abstract new (...args: never[]) => Error);
+type ErrorMatcherFields = {
+    readonly cause: ThrownMatcher;
+    readonly code: string;
+    readonly message: RegExp | string;
+    readonly name: string;
+    readonly type: ErrorConstructor;
+};
+export type ExactThrownMatcher = {
+    readonly cause?: never;
+    readonly code?: never;
+    readonly exact: unknown;
+    readonly message?: never;
+    readonly name?: never;
+    readonly type?: never;
+};
+export type ErrorMatcher = RequireAtLeastOne<ErrorMatcherFields> & {
+    readonly exact?: never;
+};
+export type ThrownMatcher = ErrorMatcher | ExactThrownMatcher;
+type NonPromise<Body extends () => unknown> = ReturnType<Body> extends PromiseLike<unknown> ? never : Body;
+export type SynchronousCallback<Body extends () => unknown> = [ReturnType<Body>] extends [never] ? Body : NonPromise<Body>;
+type ThrownAssertionKind = 'rejects' | 'throws';
+type ObservationStatus = 'rejected' | 'resolved' | 'returned' | 'threw';
+export type ThrownAssertionObservation = {
+    readonly status: ObservationStatus;
+    readonly value: unknown;
+};
+type ThrownAssertionInput<Source extends AssertionSource> = {
+    readonly kind: ThrownAssertionKind;
+    readonly location: ResolvableSourceLocation;
+    readonly matcher: ThrownMatcher;
+    readonly message: string | null;
+    readonly observation: ThrownAssertionObservation;
+    readonly source: Source;
+};
+export declare function thrownMatcherChildren<Source extends AssertionSource>(input: ThrownAssertionInput<Source>): NonEmptyReadonlyArray<CompositeAssertionChildNode<Source>>;
+export declare function createThrownMatcherAssertion<Source extends AssertionSource>(input: ThrownAssertionInput<Source>): CompositeAssertionNode<Source>;
+export {};
+//# sourceMappingURL=thrown-matcher.d.ts.map

package/assertion-protocol/thrown-matcher.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"thrown-matcher.d.ts","sourceRoot":"","sources":["../../../../source/assertion-protocol/thrown-matcher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,2BAA2B,EAC3B,sBAAsB,EACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EACR,eAAe,EACf,mBAAmB,EACnB,qBAAqB,EACrB,wBAAwB,EAC3B,MAAM,2BAA2B,CAAC;AAEnC,KAAK,cAAc,CAAC,KAAK,EAAE,WAAW,SAAS,MAAM,KAAK,IAAI;IAC1D,QAAQ,EAAE,QAAQ,IAAI,MAAM,KAAK,IAAI,QAAQ,SAAS,WAAW,GAAG,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC;CAC1G,CAAC;AAEF,KAAK,aAAa,CAAC,KAAK,EAAE,WAAW,SAAS,MAAM,KAAK,IAAI;IACzD,QAAQ,EAAE,QAAQ,IAAI,WAAW,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC;CACxD,CAAC;AAEF,KAAK,iBAAiB,CAAC,KAAK,EAAE,GAAG,SAAS,MAAM,KAAK,GAAG,MAAM,KAAK,IAAI;IACnE,QAAQ,EAAE,WAAW,IAAI,GAAG,GAAG,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,WAAW,CAAC;CACxG,CAAC,GAAG,CAAC,CAAC;AAEP,KAAK,gBAAgB,GAAG,mBAAmB,GAAG,CAAC,QAAQ,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC,CAAC;AAEzF,KAAK,kBAAkB,GAAG;IACtB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,iBAAiB,CAAC,kBAAkB,CAAC,GAAG;IAC/D,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,YAAY,GAAG,kBAAkB,CAAC;AAE9D,KAAK,UAAU,CAAC,IAAI,SAAS,MAAM,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,OAAO,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC;AAE3G,MAAM,MAAM,mBAAmB,CAAC,IAAI,SAAS,MAAM,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GACjG,UAAU,CAAC,IAAI,CAAC,CAAC;AAEvB,KAAK,mBAAmB,GAAG,SAAS,GAAG,QAAQ,CAAC;AAEhD,KAAK,iBAAiB,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,OAAO,CAAC;AAExE,MAAM,MAAM,0BAA0B,GAAG;IACrC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,KAAK,oBAAoB,CAAC,MAAM,SAAS,eAAe,IAAI;IACxD,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,0BAA0B,CAAC;IACjD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AA8RF,wBAAgB,qBAAqB,CAAC,MAAM,SAAS,eAAe,EAChE,KAAK,EAAE,oBAAoB,CAAC,MAAM,CAAC,GACpC,qBAAqB,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC,CAS5D;AAMD,wBAAgB,4BAA4B,CAAC,MAAM,SAAS,eAAe,EACvE,KAAK,EAAE,oBAAoB,CAAC,MAAM,CAAC,GACpC,sBAAsB,CAAC,MAAM,CAAC,CAYhC"}