@kensio/smartass 1.16.0 → 1.17.0

package/dist/assert/one-of/one-of.type.d.ts

@@ -0,0 +1,33 @@
+import type { AssertionMatcher, refinement } from "../../match/match.js";
+/**
+ * Unique symbol to reliably identify the OneOfMatcher type.
+ *
+ * TypeScript is structurally typed, so matcher types with similar predicates
+ * can otherwise accidentally satisfy each other's conditional branches.
+ */
+export declare const oneOfMatcher: unique symbol;
+type OneOfElement<TAllowed extends readonly unknown[]> = TAllowed[number];
+/**
+ * Type produced when an actual value is matched by oneOf().
+ *
+ * The primary goal is to expose clean, readable user-facing types in IDE
+ * tooltips and TypeScript errors. When the calling scope already has overlap
+ * with the allowed values, we preserve that overlap. Otherwise, we fall back to
+ * the allowed value union.
+ */
+export type OneOfMatch<TActual, TAllowed extends readonly unknown[]> = [
+    Extract<TActual, OneOfElement<TAllowed>>
+] extends [never] ? OneOfElement<TAllowed> : Extract<TActual, OneOfElement<TAllowed>>;
+export type OneOfMatcher<TAllowed extends readonly unknown[]> = AssertionMatcher<OneOfElement<TAllowed>> & {
+    readonly [oneOfMatcher]: TAllowed;
+    /**
+     * Optional type-level hook used by compositional assertions such as
+     * assertObjectMatches().
+     *
+     * This lets the matcher describe how it refines an existing actual type,
+     * rather than only exposing the standalone matches() predicate type.
+     */
+    readonly [refinement]?: <TActual>(actual: TActual) => OneOfMatch<TActual, TAllowed>;
+};
+export {};
+//# sourceMappingURL=one-of.type.d.ts.map

package/dist/assert/one-of/one-of.type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"one-of.type.d.ts","sourceRoot":"","sources":["../../../src/assert/one-of/one-of.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,YAAY,eAAkC,CAAC;AAE5D,KAAK,YAAY,CAAC,QAAQ,SAAS,SAAS,OAAO,EAAE,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;AAE1E;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,CAAC,OAAO,EAAE,QAAQ,SAAS,SAAS,OAAO,EAAE,IAAI;IACrE,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC;CACzC,SAAS,CAAC,KAAK,CAAC,GACb,YAAY,CAAC,QAAQ,CAAC,GACtB,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;AAE7C,MAAM,MAAM,YAAY,CAAC,QAAQ,SAAS,SAAS,OAAO,EAAE,IAC1D,gBAAgB,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,GAAG;IACzC,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC;IAElC;;;;;;OAMG;IACH,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,EAC9B,MAAM,EAAE,OAAO,KACZ,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;CACpC,CAAC"}

package/dist/assert/one-of/one-of.type.js

@@ -0,0 +1,8 @@
+/**
+ * Unique symbol to reliably identify the OneOfMatcher type.
+ *
+ * TypeScript is structurally typed, so matcher types with similar predicates
+ * can otherwise accidentally satisfy each other's conditional branches.
+ */
+export const oneOfMatcher = Symbol("smartass.oneOfMatcher");
+//# sourceMappingURL=one-of.type.js.map

package/dist/assert/one-of/one-of.type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"one-of.type.js","sourceRoot":"","sources":["../../../src/assert/one-of/one-of.type.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,uBAAuB,CAAC,CAAC"}

package/dist/assert/string-ends-with/string-ends-with.assert.d.ts

@@ -1,5 +1,4 @@
-/**
- * Assert that a string ends with a given suffix, with type narrowing.
- */
-export declare function assertStringEndsWith<const T extends string>(value: string, suffix: T, message?: string): asserts value is `${string}${T}`;
+import type { StringEndingWithAssertion } from "./string-ends-with.type.js";
+export declare function assertStringEndsWith<TActual extends string, const TSuffix extends string>(value: TActual, suffix: TSuffix, message?: string): asserts value is StringEndingWithAssertion<TActual, TSuffix>;
+export declare function assertStringEndsWith<const TSuffix extends string>(value: unknown, suffix: TSuffix, message?: string): asserts value is `${string}${TSuffix}`;
 //# sourceMappingURL=string-ends-with.assert.d.ts.map

package/dist/assert/string-ends-with/string-ends-with.assert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"string-ends-with.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/string-ends-with/string-ends-with.assert.ts"],"names":[],"mappings":"AAIA;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACzD,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,CAAC,EACT,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,GAAG,MAAM,GAAG,CAAC,EAAE,CAUlC"}
+{"version":3,"file":"string-ends-with.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/string-ends-with/string-ends-with.assert.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAE5E,wBAAgB,oBAAoB,CAClC,OAAO,SAAS,MAAM,EACtB,KAAK,CAAC,OAAO,SAAS,MAAM,EAE5B,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,OAAO,EACf,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAEhE,wBAAgB,oBAAoB,CAAC,KAAK,CAAC,OAAO,SAAS,MAAM,EAC/D,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,OAAO,EACf,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC"}

package/dist/assert/string-ends-with/string-ends-with.assert.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-ends-with.assert.js","sourceRoot":"","sources":["../../../src/assert/string-ends-with/string-ends-with.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAE/D;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAa,EACb,MAAS,EACT,OAAgB;IAEhB,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,cAAc,CACtB,OAAO;YACL,YAAY,IAAI,CAAC,KAAK,CAAC,gBAAgB,IAAI,CAAC,MAAM,CAAC,mBAAmB,EACxE,KAAK,EACL,OAAO,CAAC,SAAS,EAAE,CACpB,CAAC;IACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"string-ends-with.assert.js","sourceRoot":"","sources":["../../../src/assert/string-ends-with/string-ends-with.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAkB/D;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAc,EACd,MAAc,EACd,OAAgB;IAEhB,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,cAAc,CACtB,OAAO;YACL,YAAY,IAAI,CAAC,KAAK,CAAC,gBAAgB,IAAI,CAAC,MAAM,CAAC,mBAAmB,EACxE,KAAK,EACL,OAAO,CAAC,SAAS,EAAE,CACpB,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/assert/string-ends-with/string-ends-with.match.d.ts

@@ -1,6 +1,6 @@
-import { type AssertionMatcher } from "../../match/match.js";
+import { type StringEndingWithMatcher } from "./string-ends-with.type.js";
 /**
  * Matcher for a string that ends with a given suffix.
  */
-export declare function stringEndingWith<const T extends string>(suffix: T): AssertionMatcher<`${string}${T}`>;
+export declare function stringEndingWith<const T extends string>(suffix: T): StringEndingWithMatcher<T>;
 //# sourceMappingURL=string-ends-with.match.d.ts.map

package/dist/assert/string-ends-with/string-ends-with.match.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"string-ends-with.match.d.ts","sourceRoot":"","sources":["../../../src/assert/string-ends-with/string-ends-with.match.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,gBAAgB,EAAiB,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACrD,MAAM,EAAE,CAAC,GACR,gBAAgB,CAAC,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC,CAOnC"}
+{"version":3,"file":"string-ends-with.match.d.ts","sourceRoot":"","sources":["../../../src/assert/string-ends-with/string-ends-with.match.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,uBAAuB,EAC7B,MAAM,4BAA4B,CAAC;AAEpC;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACrD,MAAM,EAAE,CAAC,GACR,uBAAuB,CAAC,CAAC,CAAC,CAY5B"}

package/dist/assert/string-ends-with/string-ends-with.match.js

@@ -1,9 +1,15 @@
 import { repr } from "../../describe/describe.js";
 import { createMatcher } from "../../match/match.js";
+import { stringEndingWithMatcher, } from "./string-ends-with.type.js";
 /**
  * Matcher for a string that ends with a given suffix.
  */
 export function stringEndingWith(suffix) {
-    return createMatcher((value) => typeof value === "string" && value.endsWith(suffix), () => `string ending with ${repr(suffix)}`, () => `"…${suffix}"`);
+    return {
+        ...createMatcher((value) => typeof value === "string" && value.endsWith(suffix), () => `string ending with ${repr(suffix)}`, () => `"…${suffix}"`),
+        // Runtime marker used only to make the matcher type nominal for type-level
+        // refinement dispatch. It is not part of the user-facing matcher behaviour.
+        [stringEndingWithMatcher]: suffix,
+    };
 }
 //# sourceMappingURL=string-ends-with.match.js.map

package/dist/assert/string-ends-with/string-ends-with.match.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-ends-with.match.js","sourceRoot":"","sources":["../../../src/assert/string-ends-with/string-ends-with.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EAAyB,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAAS;IAET,OAAO,aAAa,CAClB,CAAC,KAAK,EAA4B,EAAE,CAClC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EACrD,GAAG,EAAE,CAAC,sBAAsB,IAAI,CAAC,MAAM,CAAC,EAAE,EAC1C,GAAG,EAAE,CAAC,KAAK,MAAM,GAAG,CACrB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"string-ends-with.match.js","sourceRoot":"","sources":["../../../src/assert/string-ends-with/string-ends-with.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,uBAAuB,GAExB,MAAM,4BAA4B,CAAC;AAEpC;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAAS;IAET,OAAO;QACL,GAAG,aAAa,CACd,CAAC,KAAK,EAA4B,EAAE,CAClC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EACrD,GAAG,EAAE,CAAC,sBAAsB,IAAI,CAAC,MAAM,CAAC,EAAE,EAC1C,GAAG,EAAE,CAAC,KAAK,MAAM,GAAG,CACrB;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,uBAAuB,CAAC,EAAE,MAAM;KAClC,CAAC;AACJ,CAAC"}

package/dist/assert/string-ends-with/string-ends-with.type.d.ts

@@ -0,0 +1,39 @@
+import type { AssertionMatcher, refinement } from "../../match/match.js";
+/**
+ * Unique symbol to reliably identify the StringEndingWithMatcher type.
+ *
+ * TypeScript is structurally typed, so matcher types with similar predicates can
+ * otherwise accidentally satisfy each other's conditional branches.
+ */
+export declare const stringEndingWithMatcher: unique symbol;
+/**
+ * Type produced when an actual value is matched by stringEndingWith().
+ *
+ * The primary goal is to expose clean, readable user-facing types in IDE
+ * tooltips and TypeScript errors. When the calling scope already has string
+ * literal overlap with the requested suffix, we preserve that overlap.
+ * Otherwise, we fall back to a readable template-literal string type.
+ */
+export type StringEndingWithMatch<TActual, TSuffix extends string> = [
+    Extract<NonNullable<TActual>, `${string}${TSuffix}`>
+] extends [never] ? `${string}${TSuffix}` : Extract<NonNullable<TActual>, `${string}${TSuffix}`>;
+/**
+ * Type produced when assertStringEndsWith() narrows a value.
+ *
+ * Assertion functions must assert a type assignable to the asserted parameter's
+ * original type. So unlike StringEndingWithMatch, the no-overlap fallback keeps
+ * the original actual string type in an intersection.
+ */
+export type StringEndingWithAssertion<TActual extends string, TSuffix extends string> = [Extract<TActual, `${string}${TSuffix}`>] extends [never] ? TActual & `${string}${TSuffix}` : Extract<TActual, `${string}${TSuffix}`>;
+export type StringEndingWithMatcher<TSuffix extends string> = AssertionMatcher<`${string}${TSuffix}`> & {
+    readonly [stringEndingWithMatcher]: TSuffix;
+    /**
+     * Optional type-level hook used by compositional assertions such as
+     * assertObjectMatches().
+     *
+     * This lets the matcher describe how it refines an existing actual type,
+     * rather than only exposing the standalone matches() predicate type.
+     */
+    readonly [refinement]?: <TActual>(actual: TActual) => StringEndingWithMatch<TActual, TSuffix>;
+};
+//# sourceMappingURL=string-ends-with.type.d.ts.map

package/dist/assert/string-ends-with/string-ends-with.type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-ends-with.type.d.ts","sourceRoot":"","sources":["../../../src/assert/string-ends-with/string-ends-with.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,eAEnC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,qBAAqB,CAAC,OAAO,EAAE,OAAO,SAAS,MAAM,IAAI;IACnE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC;CACrD,SAAS,CAAC,KAAK,CAAC,GACb,GAAG,MAAM,GAAG,OAAO,EAAE,GACrB,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC,CAAC;AAEzD;;;;;;GAMG;AACH,MAAM,MAAM,yBAAyB,CACnC,OAAO,SAAS,MAAM,EACtB,OAAO,SAAS,MAAM,IACpB,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzD,OAAO,GAAG,GAAG,MAAM,GAAG,OAAO,EAAE,GAC/B,OAAO,CAAC,OAAO,EAAE,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC,CAAC;AAE5C,MAAM,MAAM,uBAAuB,CAAC,OAAO,SAAS,MAAM,IACxD,gBAAgB,CAAC,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC,GAAG;IACxC,QAAQ,CAAC,CAAC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAE5C;;;;;;OAMG;IACH,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,EAC9B,MAAM,EAAE,OAAO,KACZ,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;CAC9C,CAAC"}

package/dist/assert/string-ends-with/string-ends-with.type.js

@@ -0,0 +1,8 @@
+/**
+ * Unique symbol to reliably identify the StringEndingWithMatcher type.
+ *
+ * TypeScript is structurally typed, so matcher types with similar predicates can
+ * otherwise accidentally satisfy each other's conditional branches.
+ */
+export const stringEndingWithMatcher = Symbol("smartass.stringEndingWithMatcher");
+//# sourceMappingURL=string-ends-with.type.js.map

package/dist/assert/string-ends-with/string-ends-with.type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-ends-with.type.js","sourceRoot":"","sources":["../../../src/assert/string-ends-with/string-ends-with.type.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAC3C,kCAAkC,CACnC,CAAC"}

package/dist/assert/string-includes/string-includes.assert.d.ts

@@ -1,5 +1,4 @@
-/**
- * Assert that a string includes a given substring, with type narrowing.
- */
-export declare function assertStringIncludes<const T extends string>(value: string, substring: T, message?: string): asserts value is `${string}${T}${string}`;
+import type { StringIncludingAssertion } from "./string-includes.type.js";
+export declare function assertStringIncludes<TActual extends string, const TSubstring extends string>(value: TActual, substring: TSubstring, message?: string): asserts value is StringIncludingAssertion<TActual, TSubstring>;
+export declare function assertStringIncludes<const TSubstring extends string>(value: unknown, substring: TSubstring, message?: string): asserts value is `${string}${TSubstring}${string}`;
 //# sourceMappingURL=string-includes.assert.d.ts.map

package/dist/assert/string-includes/string-includes.assert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"string-includes.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/string-includes/string-includes.assert.ts"],"names":[],"mappings":"AAIA;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACzD,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,CAAC,EACZ,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,MAAM,EAAE,CAW3C"}
+{"version":3,"file":"string-includes.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/string-includes/string-includes.assert.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAE1E,wBAAgB,oBAAoB,CAClC,OAAO,SAAS,MAAM,EACtB,KAAK,CAAC,UAAU,SAAS,MAAM,EAE/B,KAAK,EAAE,OAAO,EACd,SAAS,EAAE,UAAU,EACrB,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,wBAAwB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AAElE,wBAAgB,oBAAoB,CAAC,KAAK,CAAC,UAAU,SAAS,MAAM,EAClE,KAAK,EAAE,OAAO,EACd,SAAS,EAAE,UAAU,EACrB,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,CAAC"}

package/dist/assert/string-includes/string-includes.assert.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-includes.assert.js","sourceRoot":"","sources":["../../../src/assert/string-includes/string-includes.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAa,EACb,SAAY,EACZ,OAAgB;IAEhB,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;IAE3C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,cAAc,CACtB,OAAO;YACL,YAAY,IAAI,CAAC,KAAK,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAC1E,KAAK,EACL,OAAO,CAAC,SAAS,EAAE,CACpB,CAAC;IACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"string-includes.assert.js","sourceRoot":"","sources":["../../../src/assert/string-includes/string-includes.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAkB7D;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAc,EACd,SAAiB,EACjB,OAAgB;IAEhB,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;IAE3C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,cAAc,CACtB,OAAO;YACL,YAAY,IAAI,CAAC,KAAK,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAC1E,KAAK,EACL,OAAO,CAAC,SAAS,EAAE,CACpB,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/assert/string-includes/string-includes.match.d.ts

@@ -1,6 +1,6 @@
-import { type AssertionMatcher } from "../../match/match.js";
+import { type StringIncludingMatcher } from "./string-includes.type.js";
 /**
  * Matcher for a string that includes a given substring.
  */
-export declare function stringIncluding<const T extends string>(substring: T): AssertionMatcher<`${string}${T}${string}`>;
+export declare function stringIncluding<const T extends string>(substring: T): StringIncludingMatcher<T>;
 //# sourceMappingURL=string-includes.match.d.ts.map

package/dist/assert/string-includes/string-includes.match.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"string-includes.match.d.ts","sourceRoot":"","sources":["../../../src/assert/string-includes/string-includes.match.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,gBAAgB,EAAiB,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AACH,wBAAgB,eAAe,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACpD,SAAS,EAAE,CAAC,GACX,gBAAgB,CAAC,GAAG,MAAM,GAAG,CAAC,GAAG,MAAM,EAAE,CAAC,CAO5C"}
+{"version":3,"file":"string-includes.match.d.ts","sourceRoot":"","sources":["../../../src/assert/string-includes/string-includes.match.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,sBAAsB,EAC5B,MAAM,2BAA2B,CAAC;AAEnC;;GAEG;AACH,wBAAgB,eAAe,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACpD,SAAS,EAAE,CAAC,GACX,sBAAsB,CAAC,CAAC,CAAC,CAY3B"}

package/dist/assert/string-includes/string-includes.match.js

@@ -1,9 +1,15 @@
 import { repr } from "../../describe/describe.js";
 import { createMatcher } from "../../match/match.js";
+import { stringIncludingMatcher, } from "./string-includes.type.js";
 /**
  * Matcher for a string that includes a given substring.
  */
 export function stringIncluding(substring) {
-    return createMatcher((value) => typeof value === "string" && value.includes(substring), () => `string including ${repr(substring)}`, () => `"…${substring}…"`);
+    return {
+        ...createMatcher((value) => typeof value === "string" && value.includes(substring), () => `string including ${repr(substring)}`, () => `"…${substring}…"`),
+        // Runtime marker used only to make the matcher type nominal for type-level
+        // refinement dispatch. It is not part of the user-facing matcher behaviour.
+        [stringIncludingMatcher]: substring,
+    };
 }
 //# sourceMappingURL=string-includes.match.js.map

package/dist/assert/string-includes/string-includes.match.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-includes.match.js","sourceRoot":"","sources":["../../../src/assert/string-includes/string-includes.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EAAyB,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAY;IAEZ,OAAO,aAAa,CAClB,CAAC,KAAK,EAAqC,EAAE,CAC3C,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EACxD,GAAG,EAAE,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,EAAE,EAC3C,GAAG,EAAE,CAAC,KAAK,SAAS,IAAI,CACzB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"string-includes.match.js","sourceRoot":"","sources":["../../../src/assert/string-includes/string-includes.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,sBAAsB,GAEvB,MAAM,2BAA2B,CAAC;AAEnC;;GAEG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAY;IAEZ,OAAO;QACL,GAAG,aAAa,CACd,CAAC,KAAK,EAAqC,EAAE,CAC3C,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EACxD,GAAG,EAAE,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,EAAE,EAC3C,GAAG,EAAE,CAAC,KAAK,SAAS,IAAI,CACzB;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,sBAAsB,CAAC,EAAE,SAAS;KACpC,CAAC;AACJ,CAAC"}

package/dist/assert/string-includes/string-includes.type.d.ts

@@ -0,0 +1,39 @@
+import type { AssertionMatcher, refinement } from "../../match/match.js";
+/**
+ * Unique symbol to reliably identify the StringIncludingMatcher type.
+ *
+ * TypeScript is structurally typed, so matcher types with similar predicates can
+ * otherwise accidentally satisfy each other's conditional branches.
+ */
+export declare const stringIncludingMatcher: unique symbol;
+/**
+ * Type produced when an actual value is matched by stringIncluding().
+ *
+ * The primary goal is to expose clean, readable user-facing types in IDE
+ * tooltips and TypeScript errors. When the calling scope already has string
+ * literal overlap with the requested substring, we preserve that overlap.
+ * Otherwise, we fall back to a readable template-literal string type.
+ */
+export type StringIncludingMatch<TActual, TSubstring extends string> = [
+    Extract<NonNullable<TActual>, `${string}${TSubstring}${string}`>
+] extends [never] ? `${string}${TSubstring}${string}` : Extract<NonNullable<TActual>, `${string}${TSubstring}${string}`>;
+/**
+ * Type produced when assertStringIncludes() narrows a value.
+ *
+ * Assertion functions must assert a type assignable to the asserted parameter's
+ * original type. So unlike StringIncludingMatch, the no-overlap fallback keeps
+ * the original actual string type in an intersection.
+ */
+export type StringIncludingAssertion<TActual extends string, TSubstring extends string> = [Extract<TActual, `${string}${TSubstring}${string}`>] extends [never] ? TActual & `${string}${TSubstring}${string}` : Extract<TActual, `${string}${TSubstring}${string}`>;
+export type StringIncludingMatcher<TSubstring extends string> = AssertionMatcher<`${string}${TSubstring}${string}`> & {
+    readonly [stringIncludingMatcher]: TSubstring;
+    /**
+     * Optional type-level hook used by compositional assertions such as
+     * assertObjectMatches().
+     *
+     * This lets the matcher describe how it refines an existing actual type,
+     * rather than only exposing the standalone matches() predicate type.
+     */
+    readonly [refinement]?: <TActual>(actual: TActual) => StringIncludingMatch<TActual, TSubstring>;
+};
+//# sourceMappingURL=string-includes.type.d.ts.map

package/dist/assert/string-includes/string-includes.type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-includes.type.d.ts","sourceRoot":"","sources":["../../../src/assert/string-includes/string-includes.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,eAA4C,CAAC;AAEhF;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,CAAC,OAAO,EAAE,UAAU,SAAS,MAAM,IAAI;IACrE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,CAAC;CACjE,SAAS,CAAC,KAAK,CAAC,GACb,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,GACjC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,CAAC,CAAC;AAErE;;;;;;GAMG;AACH,MAAM,MAAM,wBAAwB,CAClC,OAAO,SAAS,MAAM,EACtB,UAAU,SAAS,MAAM,IACvB,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACrE,OAAO,GAAG,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,GAC3C,OAAO,CAAC,OAAO,EAAE,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,CAAC,CAAC;AAExD,MAAM,MAAM,sBAAsB,CAAC,UAAU,SAAS,MAAM,IAC1D,gBAAgB,CAAC,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,CAAC,GAAG;IACpD,QAAQ,CAAC,CAAC,sBAAsB,CAAC,EAAE,UAAU,CAAC;IAE9C;;;;;;OAMG;IACH,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,EAC9B,MAAM,EAAE,OAAO,KACZ,oBAAoB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;CAChD,CAAC"}

package/dist/assert/string-includes/string-includes.type.js

@@ -0,0 +1,8 @@
+/**
+ * Unique symbol to reliably identify the StringIncludingMatcher type.
+ *
+ * TypeScript is structurally typed, so matcher types with similar predicates can
+ * otherwise accidentally satisfy each other's conditional branches.
+ */
+export const stringIncludingMatcher = Symbol("smartass.stringIncludingMatcher");
+//# sourceMappingURL=string-includes.type.js.map

package/dist/assert/string-includes/string-includes.type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-includes.type.js","sourceRoot":"","sources":["../../../src/assert/string-includes/string-includes.type.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,iCAAiC,CAAC,CAAC"}

package/dist/assert/string-length/string-length.assert.d.ts

@@ -1,15 +1,4 @@
-import { type StringOfLength } from "./string-length.match.js";
-/**
- * Assert that a string has exactly the expected length, with type narrowing.
- *
- * The type narrowing indicates:
- *  - An empty string for 0
- *  - An exact length and safe indexing of known character positions up to 10
- *  - For >10, an exact length and safe indexing of known character positions up
- *    to 10 when those positions are guaranteed to exist.
- *
- * Note that this models JavaScript string indexing and length (UTF-16 code units),
- * not Unicode grapheme clusters.
- */
-export declare function assertStringLength<const N extends number>(value: string, expectedLength: N, message?: string): asserts value is StringOfLength<N>;
+import type { StringOfLength, StringOfLengthAssertion } from "./string-length.type.js";
+export declare function assertStringLength<TActual extends string, const N extends number>(value: TActual, expectedLength: N, message?: string): asserts value is StringOfLengthAssertion<TActual, N>;
+export declare function assertStringLength<const N extends number>(value: unknown, expectedLength: N, message?: string): asserts value is StringOfLength<N>;
 //# sourceMappingURL=string-length.assert.d.ts.map

package/dist/assert/string-length/string-length.assert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"string-length.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/string-length/string-length.assert.ts"],"names":[],"mappings":"AAEA,OAAO,EAAkB,KAAK,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE/E;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACvD,KAAK,EAAE,MAAM,EACb,cAAc,EAAE,CAAC,EACjB,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,CAUpC"}
+{"version":3,"file":"string-length.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/string-length/string-length.assert.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,cAAc,EACd,uBAAuB,EACxB,MAAM,yBAAyB,CAAC;AAEjC,wBAAgB,kBAAkB,CAChC,OAAO,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,MAAM,EAEtB,KAAK,EAAE,OAAO,EACd,cAAc,EAAE,CAAC,EACjB,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,uBAAuB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAExD,wBAAgB,kBAAkB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACvD,KAAK,EAAE,OAAO,EACd,cAAc,EAAE,CAAC,EACjB,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC"}

package/dist/assert/string-length/string-length.assert.js

@@ -16,8 +16,13 @@ import { stringOfLength } from "./string-length.match.js";
 export function assertStringLength(value, expectedLength, message) {
     const matcher = stringOfLength(expectedLength);
     if (!matcher.matches(value)) {
-        throw new AssertionError(message ??
-            `Expected ${desc(value)} to have length ${repr(expectedLength)}, but it had length ${repr(value.length)}.`, value, matcher.represent());
+        throw new AssertionError(message ?? buildStringLengthMessage(value, expectedLength), value, matcher.represent());
     }
 }
+function buildStringLengthMessage(value, expectedLength) {
+    if (typeof value !== "string") {
+        return `Expected ${desc(value)} to be a string of length ${repr(expectedLength)}.`;
+    }
+    return `Expected ${desc(value)} to have length ${repr(expectedLength)}, but it had length ${repr(value.length)}.`;
+}
 //# sourceMappingURL=string-length.assert.js.map

package/dist/assert/string-length/string-length.assert.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-length.assert.js","sourceRoot":"","sources":["../../../src/assert/string-length/string-length.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAuB,MAAM,0BAA0B,CAAC;AAE/E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAa,EACb,cAAiB,EACjB,OAAgB;IAEhB,MAAM,OAAO,GAAG,cAAc,CAAC,cAAc,CAAC,CAAC;IAC/C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,cAAc,CACtB,OAAO;YACL,YAAY,IAAI,CAAC,KAAK,CAAC,mBAAmB,IAAI,CAAC,cAAc,CAAC,uBAAuB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAC5G,KAAK,EACL,OAAO,CAAC,SAAS,EAAE,CACpB,CAAC;IACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"string-length.assert.js","sourceRoot":"","sources":["../../../src/assert/string-length/string-length.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAqB1D;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAc,EACd,cAAsB,EACtB,OAAgB;IAEhB,MAAM,OAAO,GAAG,cAAc,CAAC,cAAc,CAAC,CAAC;IAC/C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,cAAc,CACtB,OAAO,IAAI,wBAAwB,CAAC,KAAK,EAAE,cAAc,CAAC,EAC1D,KAAK,EACL,OAAO,CAAC,SAAS,EAAE,CACpB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAc,EACd,cAAsB;IAEtB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,YAAY,IAAI,CAAC,KAAK,CAAC,6BAA6B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC;IACrF,CAAC;IAED,OAAO,YAAY,IAAI,CAAC,KAAK,CAAC,mBAAmB,IAAI,CAAC,cAAc,CAAC,uBAAuB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC;AACpH,CAAC"}

package/dist/assert/string-length/string-length.match.d.ts

@@ -1,96 +1,4 @@
-import { type AssertionMatcher, type refinement } from "../../match/match.js";
-export type StringOfLength<N extends number> = N extends 0 ? "" : N extends 1 ? string & {
-    length: 1;
-    0: string;
-} : N extends 2 ? string & {
-    length: 2;
-    0: string;
-    1: string;
-} : N extends 3 ? string & {
-    length: 3;
-    0: string;
-    1: string;
-    2: string;
-} : N extends 4 ? string & {
-    length: 4;
-    0: string;
-    1: string;
-    2: string;
-    3: string;
-} : N extends 5 ? string & {
-    length: 5;
-    0: string;
-    1: string;
-    2: string;
-    3: string;
-    4: string;
-} : N extends 6 ? string & {
-    length: 6;
-    0: string;
-    1: string;
-    2: string;
-    3: string;
-    4: string;
-    5: string;
-} : N extends 7 ? string & {
-    length: 7;
-    0: string;
-    1: string;
-    2: string;
-    3: string;
-    4: string;
-    5: string;
-    6: string;
-} : N extends 8 ? string & {
-    length: 8;
-    0: string;
-    1: string;
-    2: string;
-    3: string;
-    4: string;
-    5: string;
-    6: string;
-    7: string;
-} : N extends 9 ? string & {
-    length: 9;
-    0: string;
-    1: string;
-    2: string;
-    3: string;
-    4: string;
-    5: string;
-    6: string;
-    7: string;
-    8: string;
-} : N extends 10 ? string & {
-    length: 10;
-    0: string;
-    1: string;
-    2: string;
-    3: string;
-    4: string;
-    5: string;
-    6: string;
-    7: string;
-    8: string;
-    9: string;
-} : string & {
-    length: N;
-    0: string;
-    1: string;
-    2: string;
-    3: string;
-    4: string;
-    5: string;
-    6: string;
-    7: string;
-    8: string;
-    9: string;
-    10: string;
-};
-export type StringOfLengthMatcher<N extends number> = AssertionMatcher<StringOfLength<N>> & {
-    readonly [refinement]?: (actual: unknown) => StringOfLength<N>;
-};
+import { type StringOfLengthMatcher } from "./string-length.type.js";
 /**
  * Matcher for a string with exactly the expected length.
  */

package/dist/assert/string-length/string-length.match.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"string-length.match.d.ts","sourceRoot":"","sources":["../../../src/assert/string-length/string-length.match.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,gBAAgB,EAErB,KAAK,UAAU,EAChB,MAAM,sBAAsB,CAAC;AAG9B,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GACtD,EAAE,GACF,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GACjC,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5C,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GACvD,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAClE,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IACP,MAAM,EAAE,CAAC,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,GACD,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IACP,MAAM,EAAE,CAAC,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,GACD,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IACP,MAAM,EAAE,CAAC,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,GACD,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IACP,MAAM,EAAE,CAAC,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,GACD,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IACP,MAAM,EAAE,CAAC,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,GACD,CAAC,SAAS,EAAE,GACV,MAAM,GAAG;IACP,MAAM,EAAE,EAAE,CAAC;IACX,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,GACD,MAAM,GAAG;IACP,MAAM,EAAE,CAAC,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC;AAE1B,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,MAAM,IAAI,gBAAgB,CACpE,cAAc,CAAC,CAAC,CAAC,CAClB,GAAG;IACF,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC;CAChE,CAAC;AAEF;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACnD,cAAc,EAAE,CAAC,GAChB,qBAAqB,CAAC,CAAC,CAAC,CAO1B"}
+{"version":3,"file":"string-length.match.d.ts","sourceRoot":"","sources":["../../../src/assert/string-length/string-length.match.ts"],"names":[],"mappings":"AAEA,OAAO,EAGL,KAAK,qBAAqB,EAC3B,MAAM,yBAAyB,CAAC;AAEjC;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACnD,cAAc,EAAE,CAAC,GAChB,qBAAqB,CAAC,CAAC,CAAC,CAY1B"}

package/dist/assert/string-length/string-length.match.js

@@ -1,9 +1,15 @@
-import { createMatcher, } from "../../match/match.js";
+import { createMatcher } from "../../match/match.js";
 import { repr } from "../../describe/describe.js";
+import { stringOfLengthMatcher, } from "./string-length.type.js";
 /**
  * Matcher for a string with exactly the expected length.
  */
 export function stringOfLength(expectedLength) {
-    return createMatcher((value) => typeof value === "string" && value.length === expectedLength, () => `string of length ${repr(expectedLength)}`, () => `String(${repr(expectedLength)})`);
+    return {
+        ...createMatcher((value) => typeof value === "string" && value.length === expectedLength, () => `string of length ${repr(expectedLength)}`, () => `String(${repr(expectedLength)})`),
+        // Runtime marker used only to make the matcher type nominal for type-level
+        // refinement dispatch. It is not part of the user-facing matcher behaviour.
+        [stringOfLengthMatcher]: expectedLength,
+    };
 }
 //# sourceMappingURL=string-length.match.js.map

package/dist/assert/string-length/string-length.match.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-length.match.js","sourceRoot":"","sources":["../../../src/assert/string-length/string-length.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,aAAa,GAEd,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAsGlD;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,cAAiB;IAEjB,OAAO,aAAa,CAClB,CAAC,KAAK,EAA8B,EAAE,CACpC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,cAAc,EAC9D,GAAG,EAAE,CAAC,oBAAoB,IAAI,CAAC,cAAc,CAAC,EAAE,EAChD,GAAG,EAAE,CAAC,UAAU,IAAI,CAAC,cAAc,CAAC,GAAG,CACxC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"string-length.match.js","sourceRoot":"","sources":["../../../src/assert/string-length/string-length.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EACL,qBAAqB,GAGtB,MAAM,yBAAyB,CAAC;AAEjC;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,cAAiB;IAEjB,OAAO;QACL,GAAG,aAAa,CACd,CAAC,KAAK,EAA8B,EAAE,CACpC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,cAAc,EAC9D,GAAG,EAAE,CAAC,oBAAoB,IAAI,CAAC,cAAc,CAAC,EAAE,EAChD,GAAG,EAAE,CAAC,UAAU,IAAI,CAAC,cAAc,CAAC,GAAG,CACxC;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,qBAAqB,CAAC,EAAE,cAAc;KACxC,CAAC;AACJ,CAAC"}

package/dist/assert/string-length/string-length.type.d.ts

@@ -0,0 +1,132 @@
+import type { AssertionMatcher, refinement } from "../../match/match.js";
+/**
+ * Unique symbol to reliably identify the StringOfLengthMatcher type.
+ *
+ * TypeScript is structurally typed, so matcher types with similar predicates
+ * can otherwise accidentally satisfy each other's conditional branches.
+ */
+export declare const stringOfLengthMatcher: unique symbol;
+export type StringOfLength<N extends number> = N extends 0 ? "" : N extends 1 ? string & {
+    length: 1;
+    0: string;
+} : N extends 2 ? string & {
+    length: 2;
+    0: string;
+    1: string;
+} : N extends 3 ? string & {
+    length: 3;
+    0: string;
+    1: string;
+    2: string;
+} : N extends 4 ? string & {
+    length: 4;
+    0: string;
+    1: string;
+    2: string;
+    3: string;
+} : N extends 5 ? string & {
+    length: 5;
+    0: string;
+    1: string;
+    2: string;
+    3: string;
+    4: string;
+} : N extends 6 ? string & {
+    length: 6;
+    0: string;
+    1: string;
+    2: string;
+    3: string;
+    4: string;
+    5: string;
+} : N extends 7 ? string & {
+    length: 7;
+    0: string;
+    1: string;
+    2: string;
+    3: string;
+    4: string;
+    5: string;
+    6: string;
+} : N extends 8 ? string & {
+    length: 8;
+    0: string;
+    1: string;
+    2: string;
+    3: string;
+    4: string;
+    5: string;
+    6: string;
+    7: string;
+} : N extends 9 ? string & {
+    length: 9;
+    0: string;
+    1: string;
+    2: string;
+    3: string;
+    4: string;
+    5: string;
+    6: string;
+    7: string;
+    8: string;
+} : N extends 10 ? string & {
+    length: 10;
+    0: string;
+    1: string;
+    2: string;
+    3: string;
+    4: string;
+    5: string;
+    6: string;
+    7: string;
+    8: string;
+    9: string;
+} : string & {
+    length: N;
+    0: string;
+    1: string;
+    2: string;
+    3: string;
+    4: string;
+    5: string;
+    6: string;
+    7: string;
+    8: string;
+    9: string;
+    10: string;
+};
+/**
+ * Type produced when an actual value is matched by stringOfLength().
+ *
+ * The primary goal is to expose clean, readable user-facing types in IDE
+ * tooltips and TypeScript errors. For exact length checks, the readable type is
+ * StringOfLength<N>, which models exact length and safe indexing up to a fixed
+ * limit.
+ *
+ * We intentionally do not try to recursively compute the length of arbitrary
+ * string literal unions here. That would add significant type complexity and
+ * noisier compiler output for limited practical gain.
+ */
+export type StringOfLengthMatch<TActual, N extends number> = [
+    Extract<NonNullable<TActual>, StringOfLength<N>>
+] extends [never] ? StringOfLength<N> : Extract<NonNullable<TActual>, StringOfLength<N>>;
+/**
+ * Type produced when assertStringLength() narrows a value.
+ *
+ * Assertion functions must assert a type assignable to the asserted parameter's
+ * original type. So the no-overlap fallback keeps the original actual string
+ * type in an intersection.
+ */
+export type StringOfLengthAssertion<TActual extends string, N extends number> = [Extract<TActual, StringOfLength<N>>] extends [never] ? TActual & StringOfLength<N> : Extract<TActual, StringOfLength<N>>;
+export type StringOfLengthMatcher<N extends number> = AssertionMatcher<StringOfLength<N>> & {
+    readonly [stringOfLengthMatcher]: N;
+    /**
+     * Optional type-level hook used by compositional assertions such as
+     * assertObjectMatches().
+     *
+     * This lets the matcher describe how it refines an existing actual type,
+     * rather than only exposing the standalone matches() predicate type.
+     */
+    readonly [refinement]?: <TActual>(actual: TActual) => StringOfLengthMatch<TActual, N>;
+};
+//# sourceMappingURL=string-length.type.d.ts.map

package/dist/assert/string-length/string-length.type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-length.type.d.ts","sourceRoot":"","sources":["../../../src/assert/string-length/string-length.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,eAA2C,CAAC;AAE9E,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GACtD,EAAE,GACF,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GACjC,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5C,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GACvD,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAClE,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IACP,MAAM,EAAE,CAAC,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,GACD,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IACP,MAAM,EAAE,CAAC,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,GACD,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IACP,MAAM,EAAE,CAAC,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,GACD,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IACP,MAAM,EAAE,CAAC,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,GACD,CAAC,SAAS,CAAC,GACT,MAAM,GAAG;IACP,MAAM,EAAE,CAAC,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,GACD,CAAC,SAAS,EAAE,GACV,MAAM,GAAG;IACP,MAAM,EAAE,EAAE,CAAC;IACX,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,GACD,MAAM,GAAG;IACP,MAAM,EAAE,CAAC,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC;AAE1B;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,mBAAmB,CAAC,OAAO,EAAE,CAAC,SAAS,MAAM,IAAI;IAC3D,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;CACjD,SAAS,CAAC,KAAK,CAAC,GACb,cAAc,CAAC,CAAC,CAAC,GACjB,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;AAErD;;;;;;GAMG;AACH,MAAM,MAAM,uBAAuB,CACjC,OAAO,SAAS,MAAM,EACtB,CAAC,SAAS,MAAM,IACd,CAAC,OAAO,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACrD,OAAO,GAAG,cAAc,CAAC,CAAC,CAAC,GAC3B,OAAO,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;AAExC,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,MAAM,IAAI,gBAAgB,CACpE,cAAc,CAAC,CAAC,CAAC,CAClB,GAAG;IACF,QAAQ,CAAC,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;IAEpC;;;;;;OAMG;IACH,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,EAC9B,MAAM,EAAE,OAAO,KACZ,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;CACtC,CAAC"}