@augment-vir/core 31.71.2 → 31.71.3

package/dist/augments/array/tuple.d.ts

@@ -1,3 +1,4 @@
+import { type Digit } from '../number/digit.js';
 /**
  * Creates a tuple with length of `OriginalTuple` with values of `NewValueType`.
  *
@@ -49,14 +50,31 @@ export type RemoveFirstTupleEntry<T extends any[]> = T extends [
     any?,
     ...infer Tail
 ] ? Tail : any[];
+/**
+ * Detects whether `Length` is a safe size to materialize as a tuple at the type level. Only matches
+ * non-negative integer literals 0–99, whose stringification is exactly one or two ASCII digits.
+ * Anything else — sizes ≥ 100, negatives, non-integers, scientific notation, or a non-literal
+ * `number` — fails to match, because `_TupleOf` either exceeds TS's recursion limit or never
+ * terminates for those inputs.
+ *
+ * @category Array
+ * @category Package : @augment-vir/common
+ * @package [`@augment-vir/common`](https://www.npmjs.com/package/@augment-vir/common)
+ */
+export type IsTupleSizeSafe<Length extends number> = `${Length}` extends `${Digit}` | `${Digit}${Digit}` ? true : false;
 /**
  * A tuple with entries of type `Element` and length of `Length`.
  *
+ * Only literal `Length` values from 0 to 99 produce a precise tuple; anything else (≥ 100,
+ * negatives, non-integers, scientific notation, or a non-literal `number`) falls back to
+ * `Element[]`, because the recursive helper either exceeds TS's recursion limit or never terminates
+ * for those inputs.
+ *
  * @category Array
  * @category Package : @augment-vir/common
  * @package [`@augment-vir/common`](https://www.npmjs.com/package/@augment-vir/common)
  */
-export type Tuple<Element, Length extends number> = Length extends Length ? number extends Length ? Element[] : _TupleOf<Element, Length, []> : never;
+export type Tuple<Element, Length extends number> = Length extends Length ? IsTupleSizeSafe<Length> extends true ? _TupleOf<Element, Length, []> : Element[] : never;
 type _TupleOf<ArrayElementGeneric, LengthGeneric extends number, FullArrayGeneric extends unknown[]> = FullArrayGeneric['length'] extends LengthGeneric ? FullArrayGeneric : _TupleOf<ArrayElementGeneric, LengthGeneric, [
     ArrayElementGeneric,
     ...FullArrayGeneric

package/dist/augments/number/digit.d.ts

@@ -0,0 +1,8 @@
+/**
+ * A union of all single digits in base 10.
+ *
+ * @category Number
+ * @category Package : @augment-vir/common
+ * @package [`@augment-vir/common`](https://www.npmjs.com/package/@augment-vir/common)
+ */
+export type Digit = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9;

package/dist/augments/number/digit.js

@@ -0,0 +1 @@
+export {};

package/dist/index.d.ts

@@ -13,6 +13,7 @@ export * from './augments/http/http-status.js';
 export * from './augments/json/json-compatible.js';
 export * from './augments/min-max.js';
 export * from './augments/narrow-type.js';
+export * from './augments/number/digit.js';
 export * from './augments/object/generic-object-type.js';
 export * from './augments/object/object-keys.js';
 export * from './augments/object/object-sort.js';

package/dist/index.js

@@ -13,6 +13,7 @@ export * from './augments/http/http-status.js';
 export * from './augments/json/json-compatible.js';
 export * from './augments/min-max.js';
 export * from './augments/narrow-type.js';
+export * from './augments/number/digit.js';
 export * from './augments/object/generic-object-type.js';
 export * from './augments/object/object-keys.js';
 export * from './augments/object/object-sort.js';

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@augment-vir/core",
-    "version": "31.71.2",
+    "version": "31.71.3",
     "description": "Core augment-vir augments. Use @augment-vir/common instead.",
     "homepage": "https://github.com/electrovir/augment-vir",
     "bugs": {