@kensio/smartass 1.16.0 → 1.17.0

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

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

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

@@ -1 +1 @@
-{"version":3,"file":"type-number.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-number/type-number.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-number.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-number/type-number.match.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,iBAAiB,EACvB,MAAM,uBAAuB,CAAC;AAE/B;;GAEG;AACH,wBAAgB,UAAU,IAAI,iBAAiB,CAW9C"}

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

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

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

@@ -1 +1 @@
-{"version":3,"file":"type-number.match.js","sourceRoot":"","sources":["../../../src/assert/type-number/type-number.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-number.match.js","sourceRoot":"","sources":["../../../src/assert/type-number/type-number.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,iBAAiB,GAElB,MAAM,uBAAuB,CAAC;AAE/B;;GAEG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO;QACL,GAAG,aAAa,CACd,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,EACrD,GAAG,EAAE,CAAC,QAAQ,EACd,GAAG,EAAE,CAAC,UAAU,CACjB;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,iBAAiB,CAAC,EAAE,IAAI;KAC1B,CAAC;AACJ,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-number.type.d.ts","sourceRoot":"","sources":["../../../src/assert/type-number/type-number.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,eAAuC,CAAC;AAEtE;;;;;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,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC;IAEnC;;;;;;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-number/type-number.type.js

@@ -0,0 +1,9 @@
+/**
+ * Unique symbol to reliably identify the TypeNumberMatcher type.
+ *
+ * This keeps refinement dispatch nominal. Without this marker, structurally
+ * similar primitive type matchers could accidentally match the wrong conditional
+ * branch.
+ */
+export const typeNumberMatcher = Symbol("smartass.typeNumberMatcher");
+//# sourceMappingURL=type-number.type.js.map

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

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

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

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

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

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

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

@@ -1,8 +1,14 @@
 import { createMatcher } from "../../match/match.js";
+import { typeNumericMatcher, } from "./type-numeric.type.js";
 /**
  * Matcher for a numeric value (number or bigint).
  */
 export function typeNumeric() {
-    return createMatcher((value) => typeof value === "number" || typeof value === "bigint", () => "numeric", () => "Number()|BigInt()");
+    return {
+        ...createMatcher((value) => typeof value === "number" || typeof value === "bigint", () => "numeric", () => "Number()|BigInt()"),
+        // 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.
+        [typeNumericMatcher]: true,
+    };
 }
 //# sourceMappingURL=type-numeric.match.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"type-numeric.match.js","sourceRoot":"","sources":["../../../src/assert/type-numeric/type-numeric.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyB,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AACH,MAAM,UAAU,WAAW;IACzB,OAAO,aAAa,CAClB,CAAC,KAAK,EAA4B,EAAE,CAClC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EACxD,GAAG,EAAE,CAAC,SAAS,EACf,GAAG,EAAE,CAAC,mBAAmB,CAC1B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"type-numeric.match.js","sourceRoot":"","sources":["../../../src/assert/type-numeric/type-numeric.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,EAA4B,EAAE,CAClC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EACxD,GAAG,EAAE,CAAC,SAAS,EACf,GAAG,EAAE,CAAC,mBAAmB,CAC1B;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,kBAAkB,CAAC,EAAE,IAAI;KAC3B,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,33 @@
+import type { AssertionMatcher, refinement } from "../../match/match.js";
+/**
+ * Unique symbol to reliably identify the TypeNumericMatcher type.
+ *
+ * This keeps refinement dispatch nominal. Without this marker, structurally
+ * similar primitive type matchers could accidentally match the wrong conditional
+ * branch.
+ */
+export declare const typeNumericMatcher: unique symbol;
+type Numeric = number | bigint;
+/**
+ * Type produced when an actual value is matched by typeNumeric().
+ *
+ * If the calling scope already knows number or bigint literal information,
+ * preserve that overlap. Otherwise, fall back to the standalone matcher type:
+ * number | bigint.
+ */
+export type TypeNumericMatch<TActual> = [
+    Extract<NonNullable<TActual>, Numeric>
+] extends [never] ? Numeric : Extract<NonNullable<TActual>, Numeric>;
+export type TypeNumericMatcher = AssertionMatcher<Numeric> & {
+    readonly [typeNumericMatcher]: 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) => TypeNumericMatch<TActual>;
+};
+export {};
+//# sourceMappingURL=type-numeric.type.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-numeric.type.d.ts","sourceRoot":"","sources":["../../../src/assert/type-numeric/type-numeric.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,eAAwC,CAAC;AAExE,KAAK,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAE/B;;;;;;GAMG;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-numeric/type-numeric.type.js

@@ -0,0 +1,9 @@
+/**
+ * Unique symbol to reliably identify the TypeNumericMatcher type.
+ *
+ * This keeps refinement dispatch nominal. Without this marker, structurally
+ * similar primitive type matchers could accidentally match the wrong conditional
+ * branch.
+ */
+export const typeNumericMatcher = Symbol("smartass.typeNumericMatcher");
+//# sourceMappingURL=type-numeric.type.js.map

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

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

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

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

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

@@ -1 +1 @@
-{"version":3,"file":"type-object.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-object/type-object.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-object.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-object/type-object.match.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,iBAAiB,EACvB,MAAM,uBAAuB,CAAC;AAE/B;;GAEG;AACH,wBAAgB,UAAU,IAAI,iBAAiB,CAW9C"}

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

@@ -1,8 +1,14 @@
 import { createMatcher } from "../../match/match.js";
+import { typeObjectMatcher, } from "./type-object.type.js";
 /**
  * Matcher for an object value.
  */
 export function typeObject() {
-    return createMatcher((value) => typeof value === "object", () => "object", () => "Object()");
+    return {
+        ...createMatcher((value) => typeof value === "object" && value !== null, () => "object", () => "Object()"),
+        // 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.
+        [typeObjectMatcher]: true,
+    };
 }
 //# sourceMappingURL=type-object.match.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"type-object.match.js","sourceRoot":"","sources":["../../../src/assert/type-object/type-object.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-object.match.js","sourceRoot":"","sources":["../../../src/assert/type-object/type-object.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,iBAAiB,GAElB,MAAM,uBAAuB,CAAC;AAE/B;;GAEG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO;QACL,GAAG,aAAa,CACd,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EACvE,GAAG,EAAE,CAAC,QAAQ,EACd,GAAG,EAAE,CAAC,UAAU,CACjB;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,iBAAiB,CAAC,EAAE,IAAI;KAC1B,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,33 @@
+import type { AssertionMatcher, refinement } from "../../match/match.js";
+/**
+ * Unique symbol to reliably identify the TypeObjectMatcher type.
+ *
+ * This keeps refinement dispatch nominal. Without this marker, structurally
+ * similar matcher types could accidentally match the wrong conditional branch.
+ */
+export declare const typeObjectMatcher: unique symbol;
+/**
+ * Type produced when an actual value is matched by typeObject().
+ *
+ * If the calling scope already knows specific object shapes, arrays, or class
+ * instances, preserve that overlap. Otherwise, fall back to the standalone
+ * matcher type: object.
+ *
+ * Note that this intentionally follows JavaScript's runtime typeof behaviour:
+ * arrays are objects, but functions are not matched by typeObject().
+ */
+export type TypeObjectMatch<TActual> = [
+    Extract<NonNullable<TActual>, object>
+] extends [never] ? object : Extract<NonNullable<TActual>, object>;
+export type TypeObjectMatcher = AssertionMatcher<object> & {
+    readonly [typeObjectMatcher]: 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) => TypeObjectMatch<TActual>;
+};
+//# sourceMappingURL=type-object.type.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-object.type.d.ts","sourceRoot":"","sources":["../../../src/assert/type-object/type-object.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,eAAuC,CAAC;AAEtE;;;;;;;;;GASG;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,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC;IAEnC;;;;;;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-object/type-object.type.js

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

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

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

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

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

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

@@ -1 +1 @@
-{"version":3,"file":"type-string.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-string/type-string.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-string.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-string/type-string.match.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,iBAAiB,EACvB,MAAM,uBAAuB,CAAC;AAE/B;;GAEG;AACH,wBAAgB,UAAU,IAAI,iBAAiB,CAW9C"}

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

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

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

@@ -1 +1 @@
-{"version":3,"file":"type-string.match.js","sourceRoot":"","sources":["../../../src/assert/type-string/type-string.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-string.match.js","sourceRoot":"","sources":["../../../src/assert/type-string/type-string.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,iBAAiB,GAElB,MAAM,uBAAuB,CAAC;AAE/B;;GAEG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO;QACL,GAAG,aAAa,CACd,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,EACrD,GAAG,EAAE,CAAC,QAAQ,EACd,GAAG,EAAE,CAAC,UAAU,CACjB;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,iBAAiB,CAAC,EAAE,IAAI;KAC1B,CAAC;AACJ,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-string.type.d.ts","sourceRoot":"","sources":["../../../src/assert/type-string/type-string.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,eAAuC,CAAC;AAEtE;;;;;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,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC;IAEnC;;;;;;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-string/type-string.type.js

@@ -0,0 +1,9 @@
+/**
+ * Unique symbol to reliably identify the TypeStringMatcher type.
+ *
+ * This keeps refinement dispatch nominal. Without this marker, structurally
+ * similar primitive type matchers could accidentally match the wrong conditional
+ * branch.
+ */
+export const typeStringMatcher = Symbol("smartass.typeStringMatcher");
+//# sourceMappingURL=type-string.type.js.map

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

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

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

@@ -0,0 +1,5 @@
+/**
+ * Assert that a value is of type symbol, with type-narrowing.
+ */
+export declare function assertTypeSymbol(value: unknown, message?: string): asserts value is symbol;
+//# sourceMappingURL=type-symbol.assert.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-symbol.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/type-symbol/type-symbol.assert.ts"],"names":[],"mappings":"AAIA;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,OAAO,EACd,OAAO,SAAkD,GACxD,OAAO,CAAC,KAAK,IAAI,MAAM,CAKzB"}

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

@@ -0,0 +1,13 @@
+import { AssertionError } from "../../assertion-error.js";
+import { desc } from "../../describe/describe.js";
+import { typeSymbol } from "./type-symbol.match.js";
+/**
+ * Assert that a value is of type symbol, with type-narrowing.
+ */
+export function assertTypeSymbol(value, message = `Expected ${desc(value)} to be of type symbol.`) {
+    const matcher = typeSymbol();
+    if (!matcher.matches(value)) {
+        throw new AssertionError(message, value, matcher.represent());
+    }
+}
+//# sourceMappingURL=type-symbol.assert.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-symbol.assert.js","sourceRoot":"","sources":["../../../src/assert/type-symbol/type-symbol.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAc,EACd,OAAO,GAAG,YAAY,IAAI,CAAC,KAAK,CAAC,wBAAwB;IAEzD,MAAM,OAAO,GAAG,UAAU,EAAE,CAAC;IAC7B,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-symbol/type-symbol.match.d.ts

@@ -0,0 +1,6 @@
+import { type TypeSymbolMatcher } from "./type-symbol.type.js";
+/**
+ * Matcher for a symbol value.
+ */
+export declare function typeSymbol(): TypeSymbolMatcher;
+//# sourceMappingURL=type-symbol.match.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-symbol.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-symbol/type-symbol.match.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,iBAAiB,EACvB,MAAM,uBAAuB,CAAC;AAE/B;;GAEG;AACH,wBAAgB,UAAU,IAAI,iBAAiB,CAW9C"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-symbol.match.js","sourceRoot":"","sources":["../../../src/assert/type-symbol/type-symbol.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,iBAAiB,GAElB,MAAM,uBAAuB,CAAC;AAE/B;;GAEG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO;QACL,GAAG,aAAa,CACd,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,EACrD,GAAG,EAAE,CAAC,QAAQ,EACd,GAAG,EAAE,CAAC,UAAU,CACjB;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,iBAAiB,CAAC,EAAE,IAAI;KAC1B,CAAC;AACJ,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-symbol.type.d.ts","sourceRoot":"","sources":["../../../src/assert/type-symbol/type-symbol.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,eAAuC,CAAC;AAEtE;;;;;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,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC;IAEnC;;;;;;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-symbol/type-symbol.type.js

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

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

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

package/dist/assert/type-typed-array/type-typed-array.assert.d.ts

@@ -1,4 +1,4 @@
-import { type TypedArray } from "./type-typed-array.match.js";
+import type { TypedArray } from "./type-typed-array.type.js";
 /**
  * Assert that a value is a TypedArray, with type-narrowing.
  * Supports all TypedArray types: Uint8Array, Int8Array, Uint16Array,

package/dist/assert/type-typed-array/type-typed-array.assert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-typed-array.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/type-typed-array/type-typed-array.assert.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,UAAU,EAAkB,MAAM,6BAA6B,CAAC;AAE9E;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,OAAO,EACd,OAAO,SAAgD,GACtD,OAAO,CAAC,KAAK,IAAI,UAAU,CAK7B"}
+{"version":3,"file":"type-typed-array.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/type-typed-array/type-typed-array.assert.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAE7D;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,OAAO,EACd,OAAO,SAAgD,GACtD,OAAO,CAAC,KAAK,IAAI,UAAU,CAK7B"}

package/dist/assert/type-typed-array/type-typed-array.assert.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-typed-array.assert.js","sourceRoot":"","sources":["../../../src/assert/type-typed-array/type-typed-array.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EAAmB,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAE9E;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAc,EACd,OAAO,GAAG,YAAY,IAAI,CAAC,KAAK,CAAC,sBAAsB;IAEvD,MAAM,OAAO,GAAG,cAAc,EAAE,CAAC;IACjC,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-typed-array.assert.js","sourceRoot":"","sources":["../../../src/assert/type-typed-array/type-typed-array.assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAG7D;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAc,EACd,OAAO,GAAG,YAAY,IAAI,CAAC,KAAK,CAAC,sBAAsB;IAEvD,MAAM,OAAO,GAAG,cAAc,EAAE,CAAC;IACjC,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-typed-array/type-typed-array.match.d.ts

@@ -1,10 +1,6 @@
-import { type AssertionMatcher } from "../../match/match.js";
-/**
- * Union type of all TypedArray types
- */
-export type TypedArray = Uint8Array | Int8Array | Uint16Array | Int16Array | Uint32Array | Int32Array | Float32Array | Float64Array | BigInt64Array | BigUint64Array;
+import { type TypeTypedArrayMatcher } from "./type-typed-array.type.js";
 /**
  * Matcher for a TypedArray value.
  */
-export declare function typeTypedArray(): AssertionMatcher<TypedArray>;
+export declare function typeTypedArray(): TypeTypedArrayMatcher;
 //# sourceMappingURL=type-typed-array.match.d.ts.map

package/dist/assert/type-typed-array/type-typed-array.match.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-typed-array.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-typed-array/type-typed-array.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,gBAAgB,EAAiB,MAAM,sBAAsB,CAAC;AAE5E;;GAEG;AACH,MAAM,MAAM,UAAU,GAClB,UAAU,GACV,SAAS,GACT,WAAW,GACX,UAAU,GACV,WAAW,GACX,UAAU,GACV,YAAY,GACZ,YAAY,GACZ,aAAa,GACb,cAAc,CAAC;AAEnB;;GAEG;AACH,wBAAgB,cAAc,IAAI,gBAAgB,CAAC,UAAU,CAAC,CAM7D"}
+{"version":3,"file":"type-typed-array.match.d.ts","sourceRoot":"","sources":["../../../src/assert/type-typed-array/type-typed-array.match.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,qBAAqB,EAE3B,MAAM,4BAA4B,CAAC;AAEpC;;GAEG;AACH,wBAAgB,cAAc,IAAI,qBAAqB,CAYtD"}

package/dist/assert/type-typed-array/type-typed-array.match.js

@@ -1,8 +1,14 @@
 import { createMatcher } from "../../match/match.js";
+import { typeTypedArrayMatcher, } from "./type-typed-array.type.js";
 /**
  * Matcher for a TypedArray value.
  */
 export function typeTypedArray() {
-    return createMatcher((value) => ArrayBuffer.isView(value), () => "TypedArray", () => "TypedArray()");
+    return {
+        ...createMatcher((value) => ArrayBuffer.isView(value) && !(value instanceof DataView), () => "TypedArray", () => "TypedArray()"),
+        // 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.
+        [typeTypedArrayMatcher]: true,
+    };
 }
 //# sourceMappingURL=type-typed-array.match.js.map

package/dist/assert/type-typed-array/type-typed-array.match.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-typed-array.match.js","sourceRoot":"","sources":["../../../src/assert/type-typed-array/type-typed-array.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyB,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAiB5E;;GAEG;AACH,MAAM,UAAU,cAAc;IAC5B,OAAO,aAAa,CAClB,CAAC,KAAK,EAAuB,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EACzD,GAAG,EAAE,CAAC,YAAY,EAClB,GAAG,EAAE,CAAC,cAAc,CACrB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"type-typed-array.match.js","sourceRoot":"","sources":["../../../src/assert/type-typed-array/type-typed-array.match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,qBAAqB,GAGtB,MAAM,4BAA4B,CAAC;AAEpC;;GAEG;AACH,MAAM,UAAU,cAAc;IAC5B,OAAO;QACL,GAAG,aAAa,CACd,CAAC,KAAK,EAAuB,EAAE,CAC7B,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,YAAY,QAAQ,CAAC,EAC3D,GAAG,EAAE,CAAC,YAAY,EAClB,GAAG,EAAE,CAAC,cAAc,CACrB;QACD,2EAA2E;QAC3E,4EAA4E;QAC5E,CAAC,qBAAqB,CAAC,EAAE,IAAI;KAC9B,CAAC;AACJ,CAAC"}

package/dist/assert/type-typed-array/type-typed-array.type.d.ts

@@ -0,0 +1,33 @@
+import type { AssertionMatcher, refinement } from "../../match/match.js";
+/**
+ * Unique symbol to reliably identify the TypeTypedArrayMatcher type.
+ *
+ * This keeps refinement dispatch nominal. Without this marker, structurally
+ * similar object matchers could accidentally match the wrong conditional branch.
+ */
+export declare const typeTypedArrayMatcher: unique symbol;
+/**
+ * Union type of all TypedArray types
+ */
+export type TypedArray = Uint8Array | Int8Array | Uint16Array | Int16Array | Uint32Array | Int32Array | Float32Array | Float64Array | BigInt64Array | BigUint64Array;
+/**
+ * Type produced when an actual value is matched by typeTypedArray().
+ *
+ * If the calling scope already knows specific TypedArray variants, preserve that
+ * overlap. Otherwise, fall back to the standalone matcher type: TypedArray.
+ */
+export type TypeTypedArrayMatch<TActual> = [
+    Extract<NonNullable<TActual>, TypedArray>
+] extends [never] ? TypedArray : Extract<NonNullable<TActual>, TypedArray>;
+export type TypeTypedArrayMatcher = AssertionMatcher<TypedArray> & {
+    readonly [typeTypedArrayMatcher]: 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) => TypeTypedArrayMatch<TActual>;
+};
+//# sourceMappingURL=type-typed-array.type.d.ts.map

package/dist/assert/type-typed-array/type-typed-array.type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-typed-array.type.d.ts","sourceRoot":"","sources":["../../../src/assert/type-typed-array/type-typed-array.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,eAA2C,CAAC;AAE9E;;GAEG;AACH,MAAM,MAAM,UAAU,GAClB,UAAU,GACV,SAAS,GACT,WAAW,GACX,UAAU,GACV,WAAW,GACX,UAAU,GACV,YAAY,GACZ,YAAY,GACZ,aAAa,GACb,cAAc,CAAC;AAEnB;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,CAAC,OAAO,IAAI;IACzC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC;CAC1C,SAAS,CAAC,KAAK,CAAC,GACb,UAAU,GACV,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC;AAE9C,MAAM,MAAM,qBAAqB,GAAG,gBAAgB,CAAC,UAAU,CAAC,GAAG;IACjE,QAAQ,CAAC,CAAC,qBAAqB,CAAC,EAAE,IAAI,CAAC;IAEvC;;;;;;OAMG;IACH,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,EAC9B,MAAM,EAAE,OAAO,KACZ,mBAAmB,CAAC,OAAO,CAAC,CAAC;CACnC,CAAC"}

package/dist/assert/type-typed-array/type-typed-array.type.js

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

package/dist/assert/type-typed-array/type-typed-array.type.js.map

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

package/dist/assert/uuid/uuid-v4.assert.d.ts

@@ -1,6 +1,4 @@
-import { type UuidV4 } from "./uuid-v4.match.js";
-/**
- * Assert that a value is a UUID v4 string, with type-narrowing.
- */
+import type { UuidV4 } from "./uuid-v4.type.js";
+export declare function assertUuidV4<TActual extends string>(value: TActual, message?: string): asserts value is TActual & UuidV4;
 export declare function assertUuidV4(value: unknown, message?: string): asserts value is UuidV4;
 //# sourceMappingURL=uuid-v4.assert.d.ts.map

package/dist/assert/uuid/uuid-v4.assert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"uuid-v4.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/uuid/uuid-v4.assert.ts"],"names":[],"mappings":"AAEA,OAAO,EAAU,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEzD;;GAEG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,OAAO,EACd,OAAO,SAAoD,GAC1D,OAAO,CAAC,KAAK,IAAI,MAAM,CAKzB"}
+{"version":3,"file":"uuid-v4.assert.d.ts","sourceRoot":"","sources":["../../../src/assert/uuid/uuid-v4.assert.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEhD,wBAAgB,YAAY,CAAC,OAAO,SAAS,MAAM,EACjD,KAAK,EAAE,OAAO,EACd,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,OAAO,GAAG,MAAM,CAAC;AAErC,wBAAgB,YAAY,CAC1B,KAAK,EAAE,OAAO,EACd,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC"}