@kensio/smartass 1.16.0 → 1.18.0

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

@@ -0,0 +1,8 @@
+/**
+ * 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 const stringOfLengthMatcher = Symbol("smartass.stringOfLengthMatcher");
+//# sourceMappingURL=string-length.type.js.map

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

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

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

@@ -1,5 +1,5 @@
-/**
- * Assert that a string does not include a given substring, with type narrowing.
- */
-export declare function assertStringNotIncludes<const T extends string>(value: string, substring: T, message?: string): asserts value is Exclude<string, `${string}${T}${string}`>;
+type StringNotIncluding<TActual extends string, TSubstring extends string> = TActual extends `${string}${TSubstring}${string}` ? never : TActual;
+export declare function assertStringNotIncludes<TActual extends string, const TSubstring extends string>(value: TActual, substring: TSubstring, message?: string): asserts value is StringNotIncluding<TActual, TSubstring>;
+export declare function assertStringNotIncludes<const TSubstring extends string>(value: unknown, substring: TSubstring, message?: string): asserts value is Exclude<string, `${string}${TSubstring}${string}`>;
+export {};
 //# sourceMappingURL=string-not-includes.assert.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"string-not-includes.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/string-not-includes/string-not-includes.assert.ts"],"names":[],"mappings":"AAIA;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAC5D,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,CAAC,EACZ,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,GAAG,MAAM,GAAG,CAAC,GAAG,MAAM,EAAE,CAAC,CAW5D"}
+{"version":3,"file":"string-not-includes.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/string-not-includes/string-not-includes.assert.ts"],"names":[],"mappings":"AAIA,KAAK,kBAAkB,CACrB,OAAO,SAAS,MAAM,EACtB,UAAU,SAAS,MAAM,IACvB,OAAO,SAAS,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,GAAG,KAAK,GAAG,OAAO,CAAC;AAExE,wBAAgB,uBAAuB,CACrC,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,kBAAkB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AAE5D,wBAAgB,uBAAuB,CAAC,KAAK,CAAC,UAAU,SAAS,MAAM,EACrE,KAAK,EAAE,OAAO,EACd,SAAS,EAAE,UAAU,EACrB,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,CAAC,CAAC"}

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

@@ -7,8 +7,13 @@ import { desc, repr } from "../../describe/describe.js";
 export function assertStringNotIncludes(value, substring, message) {
     const matcher = stringNotIncluding(substring);
     if (!matcher.matches(value)) {
-        throw new AssertionError(message ??
-            `Expected ${desc(value)} not to include ${repr(substring)}, but it did.`, value, matcher.represent());
+        throw new AssertionError(message ?? buildStringNotIncludesMessage(value, substring), value, matcher.represent());
     }
 }
+function buildStringNotIncludesMessage(value, substring) {
+    if (typeof value !== "string") {
+        return `Expected ${desc(value)} to be a string not including ${repr(substring)}.`;
+    }
+    return `Expected ${desc(value)} not to include ${repr(substring)}, but it did.`;
+}
 //# sourceMappingURL=string-not-includes.assert.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"string-not-includes.assert.js","sourceRoot":"","sources":["../../../src/assert/string-not-includes/string-not-includes.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAExD;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAa,EACb,SAAY,EACZ,OAAgB;IAEhB,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAE9C,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,SAAS,CAAC,eAAe,EAC1E,KAAK,EACL,OAAO,CAAC,SAAS,EAAE,CACpB,CAAC;IACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"string-not-includes.assert.js","sourceRoot":"","sources":["../../../src/assert/string-not-includes/string-not-includes.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAsBxD;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAc,EACd,SAAiB,EACjB,OAAgB;IAEhB,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAE9C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,cAAc,CACtB,OAAO,IAAI,6BAA6B,CAAC,KAAK,EAAE,SAAS,CAAC,EAC1D,KAAK,EACL,OAAO,CAAC,SAAS,EAAE,CACpB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CACpC,KAAc,EACd,SAAiB;IAEjB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,YAAY,IAAI,CAAC,KAAK,CAAC,iCAAiC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;IACpF,CAAC;IAED,OAAO,YAAY,IAAI,CAAC,KAAK,CAAC,mBAAmB,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC;AAClF,CAAC"}

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

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

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

@@ -1 +1 @@
-{"version":3,"file":"string-not-includes.match.d.ts","sourceRoot":"","sources":["../../../src/assert/string-not-includes/string-not-includes.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,gBAAgB,EAAiB,MAAM,sBAAsB,CAAC;AAG5E;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACvD,SAAS,EAAE,CAAC,GACX,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,MAAM,GAAG,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,CAO7D"}
+{"version":3,"file":"string-not-includes.match.d.ts","sourceRoot":"","sources":["../../../src/assert/string-not-includes/string-not-includes.match.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,yBAAyB,EAC/B,MAAM,+BAA+B,CAAC;AAEvC;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACvD,SAAS,EAAE,CAAC,GACX,yBAAyB,CAAC,CAAC,CAAC,CAY9B"}

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

@@ -1,9 +1,15 @@
-import { createMatcher } from "../../match/match.js";
 import { repr } from "../../describe/describe.js";
+import { createMatcher } from "../../match/match.js";
+import { stringNotIncludingMatcher, } from "./string-not-includes.type.js";
 /**
  * Matcher for a string that does not include a given substring.
  */
 export function stringNotIncluding(substring) {
-    return createMatcher((value) => typeof value === "string" && !value.includes(substring), () => `string not including ${repr(substring)}`, () => `"✗${substring}✗"`);
+    return {
+        ...createMatcher((value) => typeof value === "string" && !value.includes(substring), () => `string not 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.
+        [stringNotIncludingMatcher]: substring,
+    };
 }
 //# sourceMappingURL=string-not-includes.match.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"string-not-includes.match.js","sourceRoot":"","sources":["../../../src/assert/string-not-includes/string-not-includes.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyB,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAElD;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,SAAY;IAEZ,OAAO,aAAa,CAClB,CAAC,KAAK,EAAsD,EAAE,CAC5D,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EACzD,GAAG,EAAE,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,EAAE,EAC/C,GAAG,EAAE,CAAC,KAAK,SAAS,IAAI,CACzB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"string-not-includes.match.js","sourceRoot":"","sources":["../../../src/assert/string-not-includes/string-not-includes.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,yBAAyB,GAE1B,MAAM,+BAA+B,CAAC;AAEvC;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,SAAY;IAEZ,OAAO;QACL,GAAG,aAAa,CACd,CAAC,KAAK,EAAsD,EAAE,CAC5D,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EACzD,GAAG,EAAE,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,EAAE,EAC/C,GAAG,EAAE,CAAC,KAAK,SAAS,IAAI,CACzB;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,yBAAyB,CAAC,EAAE,SAAS;KACvC,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,30 @@
+import type { AssertionMatcher, refinement } from "../../match/match.js";
+/**
+ * Unique symbol to reliably identify the StringNotIncludingMatcher type.
+ *
+ * TypeScript is structurally typed, so matcher types with similar predicates
+ * can otherwise accidentally satisfy each other's conditional branches.
+ */
+export declare const stringNotIncludingMatcher: unique symbol;
+/**
+ * Type produced when an actual value is matched by stringNotIncluding().
+ *
+ * When the calling scope already has string literal information, we preserve the
+ * literals that do not include the forbidden substring. Otherwise, we fall back
+ * to the matcher's standalone string predicate type.
+ */
+export type StringNotIncludingMatch<TActual, TSubstring extends string> = [
+    Exclude<Extract<NonNullable<TActual>, string>, `${string}${TSubstring}${string}`>
+] extends [never] ? Exclude<string, `${string}${TSubstring}${string}`> : Exclude<Extract<NonNullable<TActual>, string>, `${string}${TSubstring}${string}`>;
+export type StringNotIncludingMatcher<TSubstring extends string> = AssertionMatcher<Exclude<string, `${string}${TSubstring}${string}`>> & {
+    readonly [stringNotIncludingMatcher]: 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) => StringNotIncludingMatch<TActual, TSubstring>;
+};
+//# sourceMappingURL=string-not-includes.type.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"string-not-includes.type.d.ts","sourceRoot":"","sources":["../../../src/assert/string-not-includes/string-not-includes.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,eAErC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,uBAAuB,CAAC,OAAO,EAAE,UAAU,SAAS,MAAM,IAAI;IACxE,OAAO,CACL,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EACrC,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,CAClC;CACF,SAAS,CAAC,KAAK,CAAC,GACb,OAAO,CAAC,MAAM,EAAE,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,CAAC,GAClD,OAAO,CACL,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EACrC,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,CAClC,CAAC;AAEN,MAAM,MAAM,yBAAyB,CAAC,UAAU,SAAS,MAAM,IAC7D,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,EAAE,CAAC,CAAC,GAAG;IACrE,QAAQ,CAAC,CAAC,yBAAyB,CAAC,EAAE,UAAU,CAAC;IAEjD;;;;;;OAMG;IACH,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,EAC9B,MAAM,EAAE,OAAO,KACZ,uBAAuB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;CACnD,CAAC"}

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

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

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

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

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

@@ -1,5 +1,5 @@
-/**
- * Assert that a string starts with a given prefix, with type narrowing.
- */
-export declare function assertStringStartsWith<const T extends string>(value: string, prefix: T, message?: string): asserts value is `${T}${string}`;
+type StringStartingWith<TActual extends string, TPrefix extends string> = TActual extends `${TPrefix}${string}` ? TActual : never;
+export declare function assertStringStartsWith<TActual extends string, const TPrefix extends string>(value: TActual, prefix: TPrefix, message?: string): asserts value is StringStartingWith<TActual, TPrefix>;
+export declare function assertStringStartsWith<const TPrefix extends string>(value: unknown, prefix: TPrefix, message?: string): asserts value is `${TPrefix}${string}`;
+export {};
 //# sourceMappingURL=string-starts-with.assert.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"string-starts-with.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/string-starts-with/string-starts-with.assert.ts"],"names":[],"mappings":"AAIA;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAC3D,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,CAAC,EACT,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,MAAM,EAAE,CAUlC"}
+{"version":3,"file":"string-starts-with.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/string-starts-with/string-starts-with.assert.ts"],"names":[],"mappings":"AAIA,KAAK,kBAAkB,CACrB,OAAO,SAAS,MAAM,EACtB,OAAO,SAAS,MAAM,IACpB,OAAO,SAAS,GAAG,OAAO,GAAG,MAAM,EAAE,GAAG,OAAO,GAAG,KAAK,CAAC;AAE5D,wBAAgB,sBAAsB,CACpC,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,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAEzD,wBAAgB,sBAAsB,CAAC,KAAK,CAAC,OAAO,SAAS,MAAM,EACjE,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,OAAO,EACf,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,GAAG,OAAO,GAAG,MAAM,EAAE,CAAC"}

package/dist/assert/string-starts-with/string-starts-with.assert.js

@@ -7,8 +7,13 @@ import { stringStartingWith } from "./string-starts-with.match.js";
 export function assertStringStartsWith(value, prefix, message) {
     const matcher = stringStartingWith(prefix);
     if (!matcher.matches(value)) {
-        throw new AssertionError(message ??
-            `Expected ${desc(value)} to start with ${repr(prefix)}, but it did not.`, value, matcher.represent());
+        throw new AssertionError(message ?? buildStringStartsWithMessage(value, prefix), value, matcher.represent());
     }
 }
+function buildStringStartsWithMessage(value, prefix) {
+    if (typeof value !== "string") {
+        return `Expected ${desc(value)} to be a string starting with ${repr(prefix)}.`;
+    }
+    return `Expected ${desc(value)} to start with ${repr(prefix)}, but it did not.`;
+}
 //# sourceMappingURL=string-starts-with.assert.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"string-starts-with.assert.js","sourceRoot":"","sources":["../../../src/assert/string-starts-with/string-starts-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,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAEnE;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAa,EACb,MAAS,EACT,OAAgB;IAEhB,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,cAAc,CACtB,OAAO;YACL,YAAY,IAAI,CAAC,KAAK,CAAC,kBAAkB,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAC1E,KAAK,EACL,OAAO,CAAC,SAAS,EAAE,CACpB,CAAC;IACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"string-starts-with.assert.js","sourceRoot":"","sources":["../../../src/assert/string-starts-with/string-starts-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,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAsBnE;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAc,EACd,MAAc,EACd,OAAgB;IAEhB,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,cAAc,CACtB,OAAO,IAAI,4BAA4B,CAAC,KAAK,EAAE,MAAM,CAAC,EACtD,KAAK,EACL,OAAO,CAAC,SAAS,EAAE,CACpB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,4BAA4B,CAAC,KAAc,EAAE,MAAc;IAClE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,YAAY,IAAI,CAAC,KAAK,CAAC,iCAAiC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;IACjF,CAAC;IAED,OAAO,YAAY,IAAI,CAAC,KAAK,CAAC,kBAAkB,IAAI,CAAC,MAAM,CAAC,mBAAmB,CAAC;AAClF,CAAC"}

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

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

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

@@ -1 +1 @@
-{"version":3,"file":"string-starts-with.match.d.ts","sourceRoot":"","sources":["../../../src/assert/string-starts-with/string-starts-with.match.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,gBAAgB,EAAiB,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACvD,MAAM,EAAE,CAAC,GACR,gBAAgB,CAAC,GAAG,CAAC,GAAG,MAAM,EAAE,CAAC,CAOnC"}
+{"version":3,"file":"string-starts-with.match.d.ts","sourceRoot":"","sources":["../../../src/assert/string-starts-with/string-starts-with.match.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,yBAAyB,EAC/B,MAAM,8BAA8B,CAAC;AAEtC;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EACvD,MAAM,EAAE,CAAC,GACR,yBAAyB,CAAC,CAAC,CAAC,CAY9B"}

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

@@ -1,9 +1,15 @@
 import { repr } from "../../describe/describe.js";
 import { createMatcher } from "../../match/match.js";
+import { stringStartingWithMatcher, } from "./string-starts-with.type.js";
 /**
  * Matcher for a string that starts with a given prefix.
  */
 export function stringStartingWith(prefix) {
-    return createMatcher((value) => typeof value === "string" && value.startsWith(prefix), () => `string starting with ${repr(prefix)}`, () => `"${prefix}…"`);
+    return {
+        ...createMatcher((value) => typeof value === "string" && value.startsWith(prefix), () => `string starting with ${repr(prefix)}`, () => `"${prefix}…"`),
+        // 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.
+        [stringStartingWithMatcher]: prefix,
+    };
 }
 //# sourceMappingURL=string-starts-with.match.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"string-starts-with.match.js","sourceRoot":"","sources":["../../../src/assert/string-starts-with/string-starts-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,kBAAkB,CAChC,MAAS;IAET,OAAO,aAAa,CAClB,CAAC,KAAK,EAA4B,EAAE,CAClC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EACvD,GAAG,EAAE,CAAC,wBAAwB,IAAI,CAAC,MAAM,CAAC,EAAE,EAC5C,GAAG,EAAE,CAAC,IAAI,MAAM,IAAI,CACrB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"string-starts-with.match.js","sourceRoot":"","sources":["../../../src/assert/string-starts-with/string-starts-with.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,yBAAyB,GAE1B,MAAM,8BAA8B,CAAC;AAEtC;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAS;IAET,OAAO;QACL,GAAG,aAAa,CACd,CAAC,KAAK,EAA4B,EAAE,CAClC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EACvD,GAAG,EAAE,CAAC,wBAAwB,IAAI,CAAC,MAAM,CAAC,EAAE,EAC5C,GAAG,EAAE,CAAC,IAAI,MAAM,IAAI,CACrB;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,yBAAyB,CAAC,EAAE,MAAM;KACpC,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,39 @@
+import type { AssertionMatcher, refinement } from "../../match/match.js";
+/**
+ * Unique symbol to reliably identify the StringStartingWithMatcher type.
+ *
+ * TypeScript is structurally typed, so matcher types with similar predicates can
+ * otherwise accidentally satisfy each other's conditional branches.
+ */
+export declare const stringStartingWithMatcher: unique symbol;
+/**
+ * Type produced when an actual value is matched by stringStartingWith().
+ *
+ * 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 prefix, we preserve that overlap.
+ * Otherwise, we fall back to a readable template-literal string type.
+ */
+export type StringStartingWithMatch<TActual, TPrefix extends string> = [
+    Extract<NonNullable<TActual>, `${TPrefix}${string}`>
+] extends [never] ? `${TPrefix}${string}` : Extract<NonNullable<TActual>, `${TPrefix}${string}`>;
+/**
+ * Type produced when assertStringStartsWith() narrows a value.
+ *
+ * Assertion functions must assert a type assignable to the asserted parameter's
+ * original type. So unlike StringStartingWithMatch, the no-overlap fallback
+ * keeps the original actual string type in an intersection.
+ */
+export type StringStartingWithAssertion<TActual extends string, TPrefix extends string> = [Extract<TActual, `${TPrefix}${string}`>] extends [never] ? TActual & `${TPrefix}${string}` : Extract<TActual, `${TPrefix}${string}`>;
+export type StringStartingWithMatcher<TPrefix extends string> = AssertionMatcher<`${TPrefix}${string}`> & {
+    readonly [stringStartingWithMatcher]: TPrefix;
+    /**
+     * 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) => StringStartingWithMatch<TActual, TPrefix>;
+};
+//# sourceMappingURL=string-starts-with.type.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"string-starts-with.type.d.ts","sourceRoot":"","sources":["../../../src/assert/string-starts-with/string-starts-with.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,eAErC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,uBAAuB,CAAC,OAAO,EAAE,OAAO,SAAS,MAAM,IAAI;IACrE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,OAAO,GAAG,MAAM,EAAE,CAAC;CACrD,SAAS,CAAC,KAAK,CAAC,GACb,GAAG,OAAO,GAAG,MAAM,EAAE,GACrB,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,OAAO,GAAG,MAAM,EAAE,CAAC,CAAC;AAEzD;;;;;;GAMG;AACH,MAAM,MAAM,2BAA2B,CACrC,OAAO,SAAS,MAAM,EACtB,OAAO,SAAS,MAAM,IACpB,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,OAAO,GAAG,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzD,OAAO,GAAG,GAAG,OAAO,GAAG,MAAM,EAAE,GAC/B,OAAO,CAAC,OAAO,EAAE,GAAG,OAAO,GAAG,MAAM,EAAE,CAAC,CAAC;AAE5C,MAAM,MAAM,yBAAyB,CAAC,OAAO,SAAS,MAAM,IAC1D,gBAAgB,CAAC,GAAG,OAAO,GAAG,MAAM,EAAE,CAAC,GAAG;IACxC,QAAQ,CAAC,CAAC,yBAAyB,CAAC,EAAE,OAAO,CAAC;IAE9C;;;;;;OAMG;IACH,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,EAC9B,MAAM,EAAE,OAAO,KACZ,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;CAChD,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"string-starts-with.type.js","sourceRoot":"","sources":["../../../src/assert/string-starts-with/string-starts-with.type.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,MAAM,CAC7C,oCAAoC,CACrC,CAAC"}

package/dist/assert/throws-error-like/throws-error-like.assert.d.ts

@@ -1,8 +1,4 @@
-export interface ErrorLike {
-    name: string;
-    message: string;
-    stack?: string;
-}
+import type { ErrorLike } from "./throws-error-like.type.js";
 /**
  * Assertion function that verifies a given function throws something that
  * appears to be an error.

package/dist/assert/throws-error-like/throws-error-like.assert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"throws-error-like.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/throws-error-like/throws-error-like.assert.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,MAAM,OAAO,EACjB,OAAO,CAAC,EAAE,MAAM,GACf,SAAS,CAqBX"}
+{"version":3,"file":"throws-error-like.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/throws-error-like/throws-error-like.assert.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAE7D;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,MAAM,OAAO,EACjB,OAAO,CAAC,EAAE,MAAM,GACf,SAAS,CAqBX"}

package/dist/assert/throws-error-like/throws-error-like.assert.js.map

@@ -1 +1 @@
-{"version":3,"file":"throws-error-like.assert.js","sourceRoot":"","sources":["../../../src/assert/throws-error-like/throws-error-like.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAQlD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CACnC,EAAiB,EACjB,OAAgB;IAEhB,IAAI,CAAC;QACH,EAAE,EAAE,CAAC;IACP,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,IAAI,cAAc,CACtB,OAAO;YACL,YAAY,IAAI,CAAC,EAAE,CAAC,6CAA6C,IAAI,CAAC,KAAK,CAAC,GAAG,EACjF,KAAK,EACL,KAAK,CACN,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,cAAc,CACtB,OAAO,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC,4BAA4B,EAC3D,SAAS,EACT,KAAK,CACN,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,MAAM,IAAI,KAAK;QACf,SAAS,IAAI,KAAK;QAClB,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,CAClC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"throws-error-like.assert.js","sourceRoot":"","sources":["../../../src/assert/throws-error-like/throws-error-like.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAGlD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CACnC,EAAiB,EACjB,OAAgB;IAEhB,IAAI,CAAC;QACH,EAAE,EAAE,CAAC;IACP,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,IAAI,cAAc,CACtB,OAAO;YACL,YAAY,IAAI,CAAC,EAAE,CAAC,6CAA6C,IAAI,CAAC,KAAK,CAAC,GAAG,EACjF,KAAK,EACL,KAAK,CACN,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,cAAc,CACtB,OAAO,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC,4BAA4B,EAC3D,SAAS,EACT,KAAK,CACN,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,MAAM,IAAI,KAAK;QACf,SAAS,IAAI,KAAK;QAClB,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,CAClC,CAAC;AACJ,CAAC"}

package/dist/assert/throws-error-like/throws-error-like.type.d.ts

@@ -0,0 +1,6 @@
+export interface ErrorLike {
+    name: string;
+    message: string;
+    stack?: string;
+}
+//# sourceMappingURL=throws-error-like.type.d.ts.map

package/dist/assert/throws-error-like/throws-error-like.type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"throws-error-like.type.d.ts","sourceRoot":"","sources":["../../../src/assert/throws-error-like/throws-error-like.type.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB"}

package/dist/assert/throws-error-like/throws-error-like.type.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=throws-error-like.type.js.map

package/dist/assert/throws-error-like/throws-error-like.type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"throws-error-like.type.js","sourceRoot":"","sources":["../../../src/assert/throws-error-like/throws-error-like.type.ts"],"names":[],"mappings":""}

package/dist/assert/type-bigint/type-bigint.match.d.ts

@@ -1,6 +1,6 @@
-import { type AssertionMatcher } from "../../match/match.js";
+import type { TypeBigIntMatcher } from "./type-bigint.type.js";
 /**
  * Matcher for a bigint value.
  */
-export declare function typeBigInt(): AssertionMatcher<bigint>;
+export declare function typeBigInt(): TypeBigIntMatcher;
 //# sourceMappingURL=type-bigint.match.d.ts.map

package/dist/assert/type-bigint/type-bigint.match.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-bigint.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-bigint/type-bigint.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,gBAAgB,EAAiB,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AACH,wBAAgB,UAAU,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAMrD"}
+{"version":3,"file":"type-bigint.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-bigint/type-bigint.match.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE/D;;GAEG;AACH,wBAAgB,UAAU,IAAI,iBAAiB,CAM9C"}

package/dist/assert/type-bigint/type-bigint.match.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-bigint.match.js","sourceRoot":"","sources":["../../../src/assert/type-bigint/type-bigint.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyB,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO,aAAa,CAClB,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,EACrD,GAAG,EAAE,CAAC,QAAQ,EACd,GAAG,EAAE,CAAC,UAAU,CACjB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"type-bigint.match.js","sourceRoot":"","sources":["../../../src/assert/type-bigint/type-bigint.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAGrD;;GAEG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO,aAAa,CAClB,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,EACrD,GAAG,EAAE,CAAC,QAAQ,EACd,GAAG,EAAE,CAAC,UAAU,CACjB,CAAC;AACJ,CAAC"}

package/dist/assert/type-bigint/type-bigint.type.d.ts

@@ -0,0 +1,21 @@
+import type { AssertionMatcher, refinement } from "../../match/match.js";
+/**
+ * Type produced when an actual value is matched by typeBigInt().
+ *
+ * When the calling scope already has bigint literal information, we preserve
+ * that overlap. Otherwise, we fall back to bigint.
+ */
+export type TypeBigIntMatch<TActual> = [
+    Extract<NonNullable<TActual>, bigint>
+] extends [never] ? bigint : Extract<NonNullable<TActual>, bigint>;
+export type TypeBigIntMatcher = AssertionMatcher<bigint> & {
+    /**
+     * 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) => TypeBigIntMatch<TActual>;
+};
+//# sourceMappingURL=type-bigint.type.d.ts.map

package/dist/assert/type-bigint/type-bigint.type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-bigint.type.d.ts","sourceRoot":"","sources":["../../../src/assert/type-bigint/type-bigint.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;GAKG;AACH,MAAM,MAAM,eAAe,CAAC,OAAO,IAAI;IACrC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CACtC,SAAS,CAAC,KAAK,CAAC,GACb,MAAM,GACN,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;AAE1C,MAAM,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,MAAM,CAAC,GAAG;IACzD;;;;;;OAMG;IACH,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,EAC9B,MAAM,EAAE,OAAO,KACZ,eAAe,CAAC,OAAO,CAAC,CAAC;CAC/B,CAAC"}

package/dist/assert/type-bigint/type-bigint.type.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=type-bigint.type.js.map

package/dist/assert/type-bigint/type-bigint.type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-bigint.type.js","sourceRoot":"","sources":["../../../src/assert/type-bigint/type-bigint.type.ts"],"names":[],"mappings":""}

package/dist/assert/type-boolean/type-boolean.match.d.ts

@@ -1,6 +1,6 @@
-import { type AssertionMatcher } from "../../match/match.js";
+import { type TypeBooleanMatcher } from "./type-boolean.type.js";
 /**
  * Matcher for a boolean value.
  */
-export declare function typeBoolean(): AssertionMatcher<boolean>;
+export declare function typeBoolean(): TypeBooleanMatcher;
 //# sourceMappingURL=type-boolean.match.d.ts.map

package/dist/assert/type-boolean/type-boolean.match.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-boolean.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-boolean/type-boolean.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,gBAAgB,EAAiB,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AACH,wBAAgB,WAAW,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAMvD"}
+{"version":3,"file":"type-boolean.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-boolean/type-boolean.match.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,wBAAwB,CAAC;AAEhC;;GAEG;AACH,wBAAgB,WAAW,IAAI,kBAAkB,CAWhD"}

package/dist/assert/type-boolean/type-boolean.match.js

@@ -1,8 +1,14 @@
 import { createMatcher } from "../../match/match.js";
+import { typeBooleanMatcher, } from "./type-boolean.type.js";
 /**
  * Matcher for a boolean value.
  */
 export function typeBoolean() {
-    return createMatcher((value) => typeof value === "boolean", () => "boolean", () => "Boolean()");
+    return {
+        ...createMatcher((value) => typeof value === "boolean", () => "boolean", () => "Boolean()"),
+        // 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.
+        [typeBooleanMatcher]: true,
+    };
 }
 //# sourceMappingURL=type-boolean.match.js.map

package/dist/assert/type-boolean/type-boolean.match.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-boolean.match.js","sourceRoot":"","sources":["../../../src/assert/type-boolean/type-boolean.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyB,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AACH,MAAM,UAAU,WAAW;IACzB,OAAO,aAAa,CAClB,CAAC,KAAK,EAAoB,EAAE,CAAC,OAAO,KAAK,KAAK,SAAS,EACvD,GAAG,EAAE,CAAC,SAAS,EACf,GAAG,EAAE,CAAC,WAAW,CAClB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"type-boolean.match.js","sourceRoot":"","sources":["../../../src/assert/type-boolean/type-boolean.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,kBAAkB,GAEnB,MAAM,wBAAwB,CAAC;AAEhC;;GAEG;AACH,MAAM,UAAU,WAAW;IACzB,OAAO;QACL,GAAG,aAAa,CACd,CAAC,KAAK,EAAoB,EAAE,CAAC,OAAO,KAAK,KAAK,SAAS,EACvD,GAAG,EAAE,CAAC,SAAS,EACf,GAAG,EAAE,CAAC,WAAW,CAClB;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,kBAAkB,CAAC,EAAE,IAAI;KAC3B,CAAC;AACJ,CAAC"}

package/dist/assert/type-boolean/type-boolean.type.d.ts

@@ -0,0 +1,30 @@
+import type { AssertionMatcher, refinement } from "../../match/match.js";
+/**
+ * Unique symbol to reliably identify the TypeBooleanMatcher type.
+ *
+ * This keeps matcher dispatch nominal instead of relying only on structural
+ * compatibility. That matters because many type matchers have very similar
+ * shapes but different refinement semantics.
+ */
+export declare const typeBooleanMatcher: unique symbol;
+/**
+ * Type produced when an actual value is matched by typeBoolean().
+ *
+ * If the calling scope already knows a narrower boolean literal type, preserve
+ * that overlap. Otherwise, fall back to the standalone matcher type: boolean.
+ */
+export type TypeBooleanMatch<TActual> = [
+    Extract<NonNullable<TActual>, boolean>
+] extends [never] ? boolean : Extract<NonNullable<TActual>, boolean>;
+export type TypeBooleanMatcher = AssertionMatcher<boolean> & {
+    readonly [typeBooleanMatcher]: true;
+    /**
+     * 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) => TypeBooleanMatch<TActual>;
+};
+//# sourceMappingURL=type-boolean.type.d.ts.map

package/dist/assert/type-boolean/type-boolean.type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-boolean.type.d.ts","sourceRoot":"","sources":["../../../src/assert/type-boolean/type-boolean.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,eAAwC,CAAC;AAExE;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,CAAC,OAAO,IAAI;IACtC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CACvC,SAAS,CAAC,KAAK,CAAC,GACb,OAAO,GACP,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;AAE3C,MAAM,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,OAAO,CAAC,GAAG;IAC3D,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,CAAC;IAEpC;;;;;;OAMG;IACH,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,EAC9B,MAAM,EAAE,OAAO,KACZ,gBAAgB,CAAC,OAAO,CAAC,CAAC;CAChC,CAAC"}

package/dist/assert/type-boolean/type-boolean.type.js

@@ -0,0 +1,9 @@
+/**
+ * Unique symbol to reliably identify the TypeBooleanMatcher type.
+ *
+ * This keeps matcher dispatch nominal instead of relying only on structural
+ * compatibility. That matters because many type matchers have very similar
+ * shapes but different refinement semantics.
+ */
+export const typeBooleanMatcher = Symbol("smartass.typeBooleanMatcher");
+//# sourceMappingURL=type-boolean.type.js.map

package/dist/assert/type-boolean/type-boolean.type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-boolean.type.js","sourceRoot":"","sources":["../../../src/assert/type-boolean/type-boolean.type.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,6BAA6B,CAAC,CAAC"}

package/dist/assert/type-function/type-function.assert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-function.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/type-function/type-function.assert.ts"],"names":[],"mappings":"AAIA;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,OAAO,EACd,OAAO,SAAoD,GAE1D,OAAO,CAAC,KAAK,IAAI,QAAQ,CAK3B"}
+{"version":3,"file":"type-function.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/type-function/type-function.assert.ts"],"names":[],"mappings":"AAIA;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,OAAO,EACd,OAAO,SAAoD,GAC1D,OAAO,CAAC,KAAK,IAAI,QAAQ,CAK3B"}

package/dist/assert/type-function/type-function.assert.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-function.assert.js","sourceRoot":"","sources":["../../../src/assert/type-function/type-function.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAExD;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAc,EACd,OAAO,GAAG,YAAY,IAAI,CAAC,KAAK,CAAC,0BAA0B;IAG3D,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;IAChE,CAAC;AACH,CAAC"}
+{"version":3,"file":"type-function.assert.js","sourceRoot":"","sources":["../../../src/assert/type-function/type-function.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAExD;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAc,EACd,OAAO,GAAG,YAAY,IAAI,CAAC,KAAK,CAAC,0BAA0B;IAE3D,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;IAChE,CAAC;AACH,CAAC"}

package/dist/assert/type-function/type-function.match.d.ts

@@ -1,6 +1,6 @@
-import { type AssertionMatcher } from "../../match/match.js";
+import { type TypeFunctionMatcher } from "./type-function.type.js";
 /**
  * Matcher for a function value.
  */
-export declare function typeFunction(): AssertionMatcher<Function>;
+export declare function typeFunction(): TypeFunctionMatcher;
 //# sourceMappingURL=type-function.match.d.ts.map

package/dist/assert/type-function/type-function.match.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-function.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-function/type-function.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,gBAAgB,EAAiB,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AAEH,wBAAgB,YAAY,IAAI,gBAAgB,CAAC,QAAQ,CAAC,CAOzD"}
+{"version":3,"file":"type-function.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-function/type-function.match.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,mBAAmB,EACzB,MAAM,yBAAyB,CAAC;AAEjC;;GAEG;AACH,wBAAgB,YAAY,IAAI,mBAAmB,CAWlD"}

package/dist/assert/type-function/type-function.match.js

@@ -1,11 +1,14 @@
 import { createMatcher } from "../../match/match.js";
+import { typeFunctionMatcher, } from "./type-function.type.js";
 /**
  * Matcher for a function value.
  */
-// eslint-disable-next-line @typescript-eslint/no-unsafe-function-type
 export function typeFunction() {
-    return createMatcher(
-    // eslint-disable-next-line @typescript-eslint/no-unsafe-function-type
-    (value) => typeof value === "function", () => "function", () => "Function()");
+    return {
+        ...createMatcher((value) => typeof value === "function", () => "function", () => "Function()"),
+        // 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.
+        [typeFunctionMatcher]: true,
+    };
 }
 //# sourceMappingURL=type-function.match.js.map

package/dist/assert/type-function/type-function.match.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-function.match.js","sourceRoot":"","sources":["../../../src/assert/type-function/type-function.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyB,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AACH,sEAAsE;AACtE,MAAM,UAAU,YAAY;IAC1B,OAAO,aAAa;IAClB,sEAAsE;IACtE,CAAC,KAAK,EAAqB,EAAE,CAAC,OAAO,KAAK,KAAK,UAAU,EACzD,GAAG,EAAE,CAAC,UAAU,EAChB,GAAG,EAAE,CAAC,YAAY,CACnB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"type-function.match.js","sourceRoot":"","sources":["../../../src/assert/type-function/type-function.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,mBAAmB,GAEpB,MAAM,yBAAyB,CAAC;AAEjC;;GAEG;AACH,MAAM,UAAU,YAAY;IAC1B,OAAO;QACL,GAAG,aAAa,CACd,CAAC,KAAK,EAAqB,EAAE,CAAC,OAAO,KAAK,KAAK,UAAU,EACzD,GAAG,EAAE,CAAC,UAAU,EAChB,GAAG,EAAE,CAAC,YAAY,CACnB;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,mBAAmB,CAAC,EAAE,IAAI;KAC5B,CAAC;AACJ,CAAC"}

package/dist/assert/type-function/type-function.type.d.ts

@@ -0,0 +1,29 @@
+import type { AssertionMatcher, refinement } from "../../match/match.js";
+/**
+ * Unique symbol to reliably identify the TypeFunctionMatcher type.
+ *
+ * This keeps refinement dispatch nominal. Without this marker, structurally
+ * similar matcher types could accidentally match the wrong conditional branch.
+ */
+export declare const typeFunctionMatcher: unique symbol;
+/**
+ * Type produced when an actual value is matched by typeFunction().
+ *
+ * If the calling scope already knows specific function signatures, preserve that
+ * overlap. Otherwise, fall back to the standalone matcher type: Function.
+ */
+export type TypeFunctionMatch<TActual> = [
+    Extract<NonNullable<TActual>, Function>
+] extends [never] ? Function : Extract<NonNullable<TActual>, Function>;
+export type TypeFunctionMatcher = AssertionMatcher<Function> & {
+    readonly [typeFunctionMatcher]: true;
+    /**
+     * 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) => TypeFunctionMatch<TActual>;
+};
+//# sourceMappingURL=type-function.type.d.ts.map

package/dist/assert/type-function/type-function.type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-function.type.d.ts","sourceRoot":"","sources":["../../../src/assert/type-function/type-function.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,eAAyC,CAAC;AAE1E;;;;;GAKG;AAEH,MAAM,MAAM,iBAAiB,CAAC,OAAO,IAAI;IACvC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC;CACxC,SAAS,CAAC,KAAK,CAAC,GACb,QAAQ,GACR,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;AAE5C,MAAM,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,QAAQ,CAAC,GAAG;IAC7D,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,IAAI,CAAC;IAErC;;;;;;OAMG;IACH,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,EAC9B,MAAM,EAAE,OAAO,KACZ,iBAAiB,CAAC,OAAO,CAAC,CAAC;CACjC,CAAC"}

package/dist/assert/type-function/type-function.type.js

@@ -0,0 +1,8 @@
+/**
+ * Unique symbol to reliably identify the TypeFunctionMatcher type.
+ *
+ * This keeps refinement dispatch nominal. Without this marker, structurally
+ * similar matcher types could accidentally match the wrong conditional branch.
+ */
+export const typeFunctionMatcher = Symbol("smartass.typeFunctionMatcher");
+//# sourceMappingURL=type-function.type.js.map

package/dist/assert/type-function/type-function.type.js.map

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