@overkill-dev/run 0.0.1 → 0.0.2

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) Overkill contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

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

@@ -0,0 +1,13 @@
+import { type ComparisonResult } from '../compare/comparison.ts';
+import type { SerializedValue } from '../compare/serialized-value.ts';
+import type { Diff, DiffPathSegment } from '../diff/diff-shape.ts';
+export type AssertionOutcome = {
+    readonly actual: SerializedValue;
+    readonly diff: Diff | null;
+    readonly expected: SerializedValue;
+    readonly passed: boolean;
+    readonly path: readonly DiffPathSegment[];
+};
+export declare const assertionOutcome: (actual: unknown, expected: unknown, passed: boolean) => AssertionOutcome;
+export declare function comparisonOutcome(comparison: ComparisonResult): AssertionOutcome;
+//# sourceMappingURL=assertion-evaluation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-evaluation.d.ts","sourceRoot":"","sources":["../../../../source/assertion-protocol/assertion-evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,gBAAgB,EAAqB,MAAM,0BAA0B,CAAC;AACpF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAEnE,MAAM,MAAM,gBAAgB,GAAG;IAC3B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;CAC7C,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,KAAK,gBACnE,CAAC;AAEtB,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,gBAAgB,GAAG,gBAAgB,CAEhF"}

package/assertion-protocol/assertion-node-shape.d.ts

@@ -0,0 +1,71 @@
+import type { SerializedValue } from '../compare/serialized-value.ts';
+import type { Diff, DiffPathSegment } from '../diff/diff-shape.ts';
+import type { ThrownErrorRecord } from './thrown-error-record.ts';
+export declare const assertionSources: readonly ["assert", "require"];
+export type NonEmptyReadonlyArray<Item> = readonly [Item, ...(readonly Item[])];
+export type AssertionSource = (typeof assertionSources)[number];
+type PrimitiveValueByType = {
+    readonly bigint: bigint;
+    readonly boolean: boolean;
+    readonly null: null;
+    readonly number: number;
+    readonly string: string;
+    readonly symbol: symbol;
+    readonly undefined: undefined;
+};
+type PrimitiveValue = PrimitiveValueByType[keyof PrimitiveValueByType];
+type IsAny<Value> = 0 extends Value & 1 ? true : false;
+type DeepComparableKnownValue<Value> = [Extract<Value, PrimitiveValue>] extends [never] ? Value : never;
+type DeepComparableUnknownValue<Value> = unknown extends Value ? unknown : DeepComparableKnownValue<Value>;
+export type DeepComparable<Value = unknown> = IsAny<Value> extends true ? never : DeepComparableUnknownValue<Value>;
+export type AssertionOptions = {
+    readonly message: string;
+};
+export type SourceLocation = {
+    readonly column: number | null;
+    readonly file: string;
+    readonly line: number | null;
+};
+export type SourceLocationProvider = () => SourceLocation;
+export type ResolvableSourceLocation = SourceLocation | SourceLocationProvider;
+type FailedCheckBase = {
+    readonly actual: SerializedValue;
+    readonly diff: Diff | null;
+    readonly expected: SerializedValue;
+    readonly id: string;
+    readonly location: SourceLocation;
+    readonly path: readonly DiffPathSegment[];
+    readonly source: AssertionSource;
+    readonly summary: string;
+};
+export type FailedLeafCheck = FailedCheckBase & {
+    readonly kind: 'leaf';
+};
+export type FailedCompositeCheck = FailedCheckBase & {
+    readonly children: NonEmptyReadonlyArray<FailedCheck>;
+    readonly kind: 'composite';
+};
+export type FailedForeignCheck = FailedCheckBase & {
+    readonly error: ThrownErrorRecord;
+    readonly kind: 'foreign';
+    readonly label: string;
+};
+export type FailedCheck = FailedCompositeCheck | FailedForeignCheck | FailedLeafCheck;
+export type InstanceConstructor = abstract new (...args: never[]) => unknown;
+export type ActualAssertionNode<Source extends AssertionSource, Check extends string> = {
+    readonly actual: unknown;
+    readonly check: Check;
+    readonly location: ResolvableSourceLocation;
+    readonly message: string | null;
+    readonly source: Source;
+};
+export type ExpectedAssertionNode<Source extends AssertionSource, Check extends string> = {
+    readonly actual: unknown;
+    readonly check: Check;
+    readonly expected: unknown;
+    readonly location: ResolvableSourceLocation;
+    readonly message: string | null;
+    readonly source: Source;
+};
+export {};
+//# sourceMappingURL=assertion-node-shape.d.ts.map

package/assertion-protocol/assertion-node-shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-node-shape.d.ts","sourceRoot":"","sources":["../../../../source/assertion-protocol/assertion-node-shape.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAElE,eAAO,MAAM,gBAAgB,gCAAmC,CAAC;AAEjE,MAAM,MAAM,qBAAqB,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;AAEhF,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEhE,KAAK,oBAAoB,GAAG;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CACjC,CAAC;AAEF,KAAK,cAAc,GAAG,oBAAoB,CAAC,MAAM,oBAAoB,CAAC,CAAC;AAEvE,KAAK,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEvD,KAAK,wBAAwB,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC;AAExG,KAAK,0BAA0B,CAAC,KAAK,IAAI,OAAO,SAAS,KAAK,GAAG,OAAO,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;AAE3G,MAAM,MAAM,cAAc,CAAC,KAAK,GAAG,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;AAEpH,MAAM,MAAM,gBAAgB,GAAG;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG,MAAM,cAAc,CAAC;AAE1D,MAAM,MAAM,wBAAwB,GAAG,cAAc,GAAG,sBAAsB,CAAC;AAE/E,KAAK,eAAe,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG,eAAe,GAAG;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG,eAAe,GAAG;IACjD,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC,WAAW,CAAC,CAAC;IACtD,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,eAAe,GAAG;IAC/C,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG,oBAAoB,GAAG,kBAAkB,GAAG,eAAe,CAAC;AAEtF,MAAM,MAAM,mBAAmB,GAAG,QAAQ,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,CAAC;AAE7E,MAAM,MAAM,mBAAmB,CAAC,MAAM,SAAS,eAAe,EAAE,KAAK,SAAS,MAAM,IAAI;IACpF,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,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,qBAAqB,CAAC,MAAM,SAAS,eAAe,EAAE,KAAK,SAAS,MAAM,IAAI;IACtF,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC"}

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

@@ -0,0 +1,97 @@
+import { type FalseAssertionNode, type TrueAssertionNode } from './assertions/boolean.ts';
+import { type EmptinessAssertionNode, type LengthAssertionNode } from './assertions/collection.ts';
+import { type DeepEqualAssertionNode, type EqualAssertionNode, type NotDeepEqualAssertionNode, type NotEqualAssertionNode } from './assertions/equality.ts';
+import { type FailAssertionNode } from './assertions/fail.ts';
+import { type BetweenAssertionNode, type NumericComparisonAssertionNode } from './assertions/numeric.ts';
+import { type ArrayContainsPartialAssertionNode, type MembersPartialDeepEqualAssertionNode, type PartialDeepEqualAssertionNode } from './assertions/partial.ts';
+import { type DefinedAssertionNode, type NotNullAssertionNode, type NullAssertionNode, type UndefinedAssertionNode } from './assertions/presence.ts';
+import { type MatchAssertionNode, type StringContainsAssertionNode } from './assertions/string.ts';
+import { type HasPropertyAssertionNode, type InstanceOfAssertionNode, type TypeAssertionNode } from './assertions/type-shape.ts';
+import type { AssertionSource, NonEmptyReadonlyArray, ResolvableSourceLocation } from './assertion-node-shape.ts';
+type ForeignAssertionErrorRecord = {
+    readonly message: string;
+    readonly name: string;
+    readonly stack: string | null;
+    readonly thrown: unknown;
+};
+type RequireAssertionNodeByName = {
+    readonly defined: DefinedAssertionNode<'require'>;
+    readonly hasProperty: HasPropertyAssertionNode<'require'>;
+    readonly instanceOf: InstanceOfAssertionNode<'require'>;
+    readonly notNull: NotNullAssertionNode<'require'>;
+    readonly null: NullAssertionNode<'require'>;
+    readonly type: TypeAssertionNode<'require'>;
+};
+type BuiltInAssertAssertionNodeByName<Source extends AssertionSource> = {
+    readonly arrayContainsPartial: ArrayContainsPartialAssertionNode<Source>;
+    readonly between: BetweenAssertionNode<Source>;
+    readonly deepEqual: DeepEqualAssertionNode<Source>;
+    readonly defined: DefinedAssertionNode<Source>;
+    readonly emptiness: EmptinessAssertionNode<Source>;
+    readonly equal: EqualAssertionNode<Source>;
+    readonly fail: FailAssertionNode<Source>;
+    readonly false: FalseAssertionNode<Source>;
+    readonly hasProperty: HasPropertyNode<Source>;
+    readonly instanceOf: InstanceOfAssertionNode<Source>;
+    readonly length: LengthAssertionNode<Source>;
+    readonly match: MatchAssertionNode<Source>;
+    readonly membersPartialDeepEqual: MembersPartialDeepEqualAssertionNode<Source>;
+    readonly notDeepEqual: NotDeepEqualAssertionNode<Source>;
+    readonly notEqual: NotEqualAssertionNode<Source>;
+    readonly notNull: NotNullAssertionNode<Source>;
+    readonly null: NullAssertionNode<Source>;
+    readonly numericComparison: NumericComparisonAssertionNode<Source>;
+    readonly partialDeepEqual: PartialDeepEqualAssertionNode<Source>;
+    readonly stringContains: StringContainsAssertionNode<Source>;
+    readonly true: TrueAssertionNode<Source>;
+    readonly type: TypeAssertionNode<Source>;
+    readonly undefined: UndefinedAssertionNode<Source>;
+};
+type HasPropertyNode<Source extends AssertionSource> = HasPropertyAssertionNode<Source>;
+export type BuiltInAssertAssertionNode<Source extends AssertionSource = 'assert'> = BuiltInAssertAssertionNodeByName<Source>[keyof BuiltInAssertAssertionNodeByName<Source>];
+type ForeignAssertionResultByOutcome = {
+    readonly fail: {
+        readonly error: ForeignAssertionErrorRecord;
+        readonly passed: false;
+    };
+    readonly pass: {
+        readonly passed: true;
+    };
+};
+export type ForeignAssertionResult = ForeignAssertionResultByOutcome[keyof ForeignAssertionResultByOutcome];
+export type ForeignAssertionNode<Source extends AssertionSource = AssertionSource> = {
+    readonly check: 'foreign';
+    readonly label: string;
+    readonly location: ResolvableSourceLocation;
+    readonly message: string | null;
+    readonly result: ForeignAssertionResult;
+    readonly source: Source;
+    readonly summary: string;
+};
+type CompositeAssertionChildNodeByKind<Source extends AssertionSource> = {
+    readonly builtIn: BuiltInAssertAssertionNode<Source>;
+    readonly foreign: ForeignAssertionNode<Source>;
+};
+export type CompositeAssertionChildNode<Source extends AssertionSource = AssertionSource> = CompositeAssertionChildNodeByKind<Source>[keyof CompositeAssertionChildNodeByKind<Source>];
+export type CompositeAssertionNode<Source extends AssertionSource = AssertionSource> = {
+    readonly actual: unknown;
+    readonly check: 'composite';
+    readonly children: NonEmptyReadonlyArray<CompositeAssertionChildNode<Source>>;
+    readonly expected: unknown;
+    readonly location: ResolvableSourceLocation;
+    readonly message: string | null;
+    readonly name: string;
+    readonly source: Source;
+    readonly summary: string;
+};
+type RequireAssertionNodeByKind = RequireAssertionNodeByName & {
+    readonly composite: CompositeAssertionNode<'require'>;
+};
+export type RequireAssertionNode = RequireAssertionNodeByKind[keyof RequireAssertionNodeByKind];
+export type AssertAssertionNode = BuiltInAssertAssertionNode | CompositeAssertionNode<'assert'>;
+export type AssertionNode = AssertAssertionNode | RequireAssertionNode;
+export type AssertionResult = AssertAssertionNode | NonEmptyReadonlyArray<AssertAssertionNode>;
+type SummarizedAssertionNode = AssertionNode | CompositeAssertionChildNode | CompositeAssertionNode;
+export declare function assertionSummary(assertion: SummarizedAssertionNode): string;
+export {};
+//# sourceMappingURL=assertion-node.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-node.d.ts","sourceRoot":"","sources":["../../../../source/assertion-protocol/assertion-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyB,KAAK,kBAAkB,EAAE,KAAK,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjH,OAAO,EAEH,KAAK,sBAAsB,EAC3B,KAAK,mBAAmB,EAC3B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAEH,KAAK,sBAAsB,EAC3B,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAC9B,KAAK,qBAAqB,EAC7B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAsB,KAAK,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,EAEH,KAAK,oBAAoB,EACzB,KAAK,8BAA8B,EACtC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAEH,KAAK,iCAAiC,EACtC,KAAK,oCAAoC,EACzC,KAAK,6BAA6B,EACrC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAEH,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACtB,KAAK,sBAAsB,EAC9B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAEH,KAAK,kBAAkB,EACvB,KAAK,2BAA2B,EACnC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAEH,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,EAC5B,KAAK,iBAAiB,EACzB,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EACR,eAAe,EACf,qBAAqB,EACrB,wBAAwB,EAC3B,MAAM,2BAA2B,CAAC;AAEnC,KAAK,2BAA2B,GAAG;IAC/B,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,KAAK,0BAA0B,GAAG;IAC9B,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAClD,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC,SAAS,CAAC,CAAC;IAC1D,QAAQ,CAAC,UAAU,EAAE,uBAAuB,CAAC,SAAS,CAAC,CAAC;IACxD,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC5C,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC,SAAS,CAAC,CAAC;CAC/C,CAAC;AAEF,KAAK,gCAAgC,CAAC,MAAM,SAAS,eAAe,IAAI;IACpE,QAAQ,CAAC,oBAAoB,EAAE,iCAAiC,CAAC,MAAM,CAAC,CAAC;IACzE,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,UAAU,EAAE,uBAAuB,CAAC,MAAM,CAAC,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,uBAAuB,EAAE,oCAAoC,CAAC,MAAM,CAAC,CAAC;IAC/E,QAAQ,CAAC,YAAY,EAAE,yBAAyB,CAAC,MAAM,CAAC,CAAC;IACzD,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,iBAAiB,EAAE,8BAA8B,CAAC,MAAM,CAAC,CAAC;IACnE,QAAQ,CAAC,gBAAgB,EAAE,6BAA6B,CAAC,MAAM,CAAC,CAAC;IACjE,QAAQ,CAAC,cAAc,EAAE,2BAA2B,CAAC,MAAM,CAAC,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;CACtD,CAAC;AAEF,KAAK,eAAe,CAAC,MAAM,SAAS,eAAe,IAAI,wBAAwB,CAAC,MAAM,CAAC,CAAC;AAExF,MAAM,MAAM,0BAA0B,CAAC,MAAM,SAAS,eAAe,GAAG,QAAQ,IAAI,gCAAgC,CAChH,MAAM,CACT,CAAC,MAAM,gCAAgC,CAAC,MAAM,CAAC,CAAC,CAAC;AAElD,KAAK,+BAA+B,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE;QACX,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAC;QAC5C,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;KAC1B,CAAC;IACF,QAAQ,CAAC,IAAI,EAAE;QACX,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;KACzB,CAAC;CACL,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG,+BAA+B,CAAC,MAAM,+BAA+B,CAAC,CAAC;AAE5G,MAAM,MAAM,oBAAoB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IACjF,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,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,sBAAsB,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,KAAK,iCAAiC,CAAC,MAAM,SAAS,eAAe,IAAI;IACrE,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAC,MAAM,CAAC,CAAC;IACrD,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAC;CAClD,CAAC;AAEF,MAAM,MAAM,2BAA2B,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IACpF,iCAAiC,CAAC,MAAM,CAAC,CAAC,MAAM,iCAAiC,CAAC,MAAM,CAAC,CAAC,CAAC;AAE/F,MAAM,MAAM,sBAAsB,CAAC,MAAM,SAAS,eAAe,GAAG,eAAe,IAAI;IACnF,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9E,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,KAAK,0BAA0B,GAAG,0BAA0B,GAAG;IAC3D,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;CACzD,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG,0BAA0B,CAAC,MAAM,0BAA0B,CAAC,CAAC;AAEhG,MAAM,MAAM,mBAAmB,GAAG,0BAA0B,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;AAEhG,MAAM,MAAM,aAAa,GAAG,mBAAmB,GAAG,oBAAoB,CAAC;AAEvE,MAAM,MAAM,eAAe,GAAG,mBAAmB,GAAG,qBAAqB,CAAC,mBAAmB,CAAC,CAAC;AAc/F,KAAK,uBAAuB,GAAG,aAAa,GAAG,2BAA2B,GAAG,sBAAsB,CAAC;AAQpG,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,uBAAuB,GAAG,MAAM,CAU3E"}

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/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/evaluation.d.ts

@@ -0,0 +1,32 @@
+import { type AssertionNode, type CompositeAssertionChildNode } from './assertion-node.ts';
+import type { FailedCheck } from './assertion-node-shape.ts';
+type DeepAssertionCheckByName = {
+    readonly arrayContainsPartial: 'array-contains-partial';
+    readonly deepEqual: 'deep-equal';
+    readonly membersPartialDeepEqual: 'members-partial-deep-equal';
+    readonly notDeepEqual: 'not-deep-equal';
+    readonly partialDeepEqual: 'partial-deep-equal';
+};
+type DeepAssertionCheck = DeepAssertionCheckByName[keyof DeepAssertionCheckByName];
+type DeepAssertionOperandRole = 'actual' | 'expected';
+type PrimitiveValueTypeByName = {
+    readonly bigint: 'bigint';
+    readonly boolean: 'boolean';
+    readonly null: 'null';
+    readonly number: 'number';
+    readonly string: 'string';
+    readonly symbol: 'symbol';
+    readonly undefined: 'undefined';
+};
+type PrimitiveValueType = PrimitiveValueTypeByName[keyof PrimitiveValueTypeByName];
+export type InvalidDeepAssertionOperand = {
+    readonly check: DeepAssertionCheck;
+    readonly index: number | null;
+    readonly role: DeepAssertionOperandRole;
+    readonly type: PrimitiveValueType;
+};
+export declare function invalidDeepAssertionOperand(assertion: AssertionNode | CompositeAssertionChildNode): InvalidDeepAssertionOperand | null;
+export declare function evaluateAssertion(assertion: AssertionNode | CompositeAssertionChildNode, id: number | string): FailedCheck | null;
+export declare function assertionPasses(assertion: AssertionNode): boolean;
+export {};
+//# sourceMappingURL=evaluation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../../../../source/assertion-protocol/evaluation.ts"],"names":[],"mappings":"AAEA,OAAO,EAEH,KAAK,aAAa,EAElB,KAAK,2BAA2B,EAGnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAmB,WAAW,EAAyB,MAAM,2BAA2B,CAAC;AAIrG,KAAK,wBAAwB,GAAG;IAC5B,QAAQ,CAAC,oBAAoB,EAAE,wBAAwB,CAAC;IACxD,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,uBAAuB,EAAE,4BAA4B,CAAC;IAC/D,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;IACxC,QAAQ,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;CACnD,CAAC;AAEF,KAAK,kBAAkB,GAAG,wBAAwB,CAAC,MAAM,wBAAwB,CAAC,CAAC;AAEnF,KAAK,wBAAwB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAEtD,KAAK,wBAAwB,GAAG;IAC5B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;CACnC,CAAC;AAEF,KAAK,kBAAkB,GAAG,wBAAwB,CAAC,MAAM,wBAAwB,CAAC,CAAC;AAEnF,MAAM,MAAM,2BAA2B,GAAG;IACtC,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;CACrC,CAAC;AAiHF,wBAAgB,2BAA2B,CACvC,SAAS,EAAE,aAAa,GAAG,2BAA2B,GACvD,2BAA2B,GAAG,IAAI,CAgBpC;AAsGD,wBAAgB,iBAAiB,CAC7B,SAAS,EAAE,aAAa,GAAG,2BAA2B,EACtD,EAAE,EAAE,MAAM,GAAG,MAAM,GACpB,WAAW,GAAG,IAAI,CAYpB;AAED,wBAAgB,eAAe,CAAC,SAAS,EAAE,aAAa,GAAG,OAAO,CAEjE"}