typia 13.1.0 → 13.1.19

package/src/internal/_randomPattern.ts

@@ -1,10 +1,32 @@
 import RandExp from "randexp";
 
-export const _randomPattern = (regex: RegExp): string => {
+import { _ILengthProps } from "./_randomStringLength";
+
+export const _randomPattern = (regex: RegExp, props?: _ILengthProps): string => {
   const r: RandExp = new RandExp(regex);
-  for (let i: number = 0; i < 10; ++i) {
+  const min: number | undefined = props?.minLength;
+  const max: number | undefined = props?.maxLength;
+
+  // RandExp expands an unbounded quantifier to `randInt(token.min, token.min +
+  // r.max)`, so steering `r.max` biases the generated length toward the window.
+  // There is no matching floor control, so the length is still verified below.
+  if (max !== undefined) r.max = max;
+  else if (min !== undefined && min * 2 > r.max) r.max = min * 2;
+
+  const bounded: boolean = min !== undefined || max !== undefined;
+  const limit: number = bounded ? 1024 : 10;
+  for (let i: number = 0; i < limit; ++i) {
     const str: string = r.gen();
-    if (regex.test(str)) return str;
+    if (
+      regex.test(str) &&
+      (min === undefined || str.length >= min) &&
+      (max === undefined || str.length <= max)
+    )
+      return str;
   }
-  return r.gen();
+  throw new Error(
+    bounded
+      ? "unable to generate a random string matching the pattern within the length range."
+      : "unable to generate a random string matching the pattern.",
+  );
 };

package/src/internal/_randomStringLength.ts

@@ -0,0 +1,72 @@
+import { _randomString } from "./_randomString";
+
+/**
+ * Length bounds forwarded to a string format or pattern generator.
+ *
+ * `typia.random<T>()` passes this object to the `_randomFormat*` and
+ * `_randomPattern` helpers whenever the string leaf also carries a `MinLength`
+ * or `MaxLength` tag, so a constrained format or pattern is generated at a
+ * length its own validator accepts (issue #2189).
+ */
+export interface _ILengthProps {
+  minLength?: number;
+  maxLength?: number;
+}
+
+/**
+ * Builds the variable segment of a fixed-shape format string so that the total
+ * length `fixed + segment.length` lands inside the requested window.
+ *
+ * `fixed` is the number of characters the format always contributes around the
+ * segment, `fallback` is the segment length used when the leaf is
+ * unconstrained on that side, and `minimum` is the smallest segment the format
+ * still validates with. Throws when the window cannot be satisfied by this
+ * format's shape (e.g. `Format<"email"> & MaxLength<3>`).
+ */
+export const _randomSegmentLength = (
+  props: _ILengthProps | undefined,
+  fixed: number,
+  fallback: number,
+  minimum: number,
+): string => {
+  let low: number =
+    props?.minLength === undefined ? minimum : props.minLength - fixed;
+  if (low < minimum) low = minimum;
+  // With only a lower bound, spread the segment across `fallback` extra
+  // characters so the generated length varies, mirroring `_randomString`.
+  const high: number =
+    props?.maxLength === undefined ? low + fallback : props.maxLength - fixed;
+  if (high < low || high < minimum)
+    throw new Error(
+      "unable to generate a random string satisfying both the format and the length constraints.",
+    );
+  return _randomString({ type: "string", minLength: low, maxLength: high });
+};
+
+/**
+ * Wraps a fixed- or narrow-length format generator (uuid, ipv4, date, ...) with
+ * the requested length window.
+ *
+ * These formats cannot grow an arbitrary segment, so the generator is retried a
+ * bounded number of times and the first draw inside the window is returned. A
+ * window that excludes every length the format can produce is unsatisfiable and
+ * throws instead of silently yielding an out-of-range value.
+ */
+export const _randomFormatLength = (
+  props: _ILengthProps | undefined,
+  generate: () => string,
+): string => {
+  if (props?.minLength === undefined && props?.maxLength === undefined)
+    return generate();
+  for (let i: number = 0; i < 256; ++i) {
+    const value: string = generate();
+    if (
+      (props.minLength === undefined || value.length >= props.minLength) &&
+      (props.maxLength === undefined || value.length <= props.maxLength)
+    )
+      return value;
+  }
+  throw new Error(
+    "unable to generate a random string satisfying both the format and the length constraints.",
+  );
+};

package/src/internal/_stringLength.ts

@@ -0,0 +1,5 @@
+export const _stringLength = (value: string): number => {
+  let count: number = 0;
+  for (const _ch of value) ++count;
+  return count;
+};

package/src/internal/_validateReport.ts

@@ -1,10 +1,14 @@
 import { IValidation } from "@typia/interface";
 
 export const _validateReport = (array: IValidation.IError[]) => {
+  const isAncestor = (ancestor: string, descendant: string): boolean =>
+    descendant === ancestor ||
+    descendant.startsWith(`${ancestor}.`) ||
+    descendant.startsWith(`${ancestor}[`);
   const reportable = (path: string): boolean => {
     if (array.length === 0) return true;
     const last: string = array[array.length - 1]!.path;
-    return path.length > last.length || last.substring(0, path.length) !== path;
+    return isAncestor(path, last) === false && isAncestor(last, path) === false;
   };
   return (exceptable: boolean, error: IValidation.IError): false => {
     if (exceptable && reportable(error.path)) {

package/src/internal/private/__notationRename.ts

@@ -0,0 +1,24 @@
+/**
+ * Shared outer walk for the `camel`/`pascal` notations.
+ *
+ * Mirrors the `CamelCase<T>` / `PascalCase<T>` typings: leading underscores are
+ * preserved verbatim, an all-underscore key stays untouched, and the presence
+ * of any remaining underscore — not the number of non-empty segments — selects
+ * the `snake` conversion. Routing on underscore presence keeps a trailing or
+ * doubled underscore (`fooBar_`) on the same path the type takes, instead of
+ * collapsing it to the underscore-free `plain` path.
+ */
+export const __notationRename =
+  (props: {
+    plain: (str: string) => string;
+    snake: (str: string) => string;
+  }) =>
+  (str: string): string => {
+    let prefix: string = "";
+    while (str.startsWith("_")) {
+      prefix += "_";
+      str = str.substring(1);
+    }
+    if (str.length === 0) return prefix;
+    return `${prefix}${str.includes("_") ? props.snake(str) : props.plain(str)}`;
+  };

package/src/json.ts

@@ -101,10 +101,10 @@ export function application(): never;
  *
  * - Custom LLM function calling schema formats
  * - API documentation or code generation tools
- * - Alternative LLM integrations beyond built-in providers
+ * - Alternative LLM integrations that need full JSON Schema
  *
  * For standard LLM function calling, use {@link llm.application} instead, which
- * provides provider-specific schemas (ChatGPT, Claude, Gemini, etc.).
+ * builds the LLM-optimized function schema directly.
  *
  * @template Class Target class or interface type
  * @template Version OpenAPI version (`"3.0"` | `"3.1"`). Default `"3.1"`

package/src/module.ts

@@ -637,10 +637,10 @@ export function createAssertGuard(
  */
 export function createAssertGuard<T>(
   errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
-): (input: unknown) => AssertionGuard<T>;
+): AssertionGuard<T>;
 
 /** @internal */
-export function createAssertGuard<T>(): (input: unknown) => AssertionGuard<T> {
+export function createAssertGuard<T>(): AssertionGuard<T> {
   NoTransformConfigurationError("createAssertGuard");
 }
 
@@ -809,12 +809,10 @@ export function createAssertGuardEquals(
  */
 export function createAssertGuardEquals<T>(
   errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
-): (input: unknown) => AssertionGuard<T>;
+): AssertionGuard<T>;
 
 /** @internal */
-export function createAssertGuardEquals<T>(): (
-  input: unknown,
-) => AssertionGuard<T> {
+export function createAssertGuardEquals<T>(): AssertionGuard<T> {
   NoTransformConfigurationError("createAssertGuardEquals");
 }
 

package/src/notations.ts

@@ -23,7 +23,10 @@ import { NoTransformConfigurationError } from "./transformers/NoTransformConfigu
  * Converts property names to camelCase.
  *
  * Transforms all property names in the object (including nested) to camelCase
- * convention. Creates a new object with renamed properties.
+ * convention. Creates a new object with renamed properties. Distinct source
+ * keys that become the same destination key are rejected with an error instead
+ * of silently discarding a value. This collision policy also applies to the
+ * assert, is, validate, and factory variants.
  *
  * Does not validate the input. For validation, use:
  *
@@ -34,6 +37,7 @@ import { NoTransformConfigurationError } from "./transformers/NoTransformConfigu
  * @template T Type of input value
  * @param input Object to convert
  * @returns New object with camelCase property names
+ * @throws {Error} When two source keys become the same destination key
  */
 export function camel<T>(input: T): CamelCase<T>;
 
@@ -137,7 +141,10 @@ export function validateCamel(): never {
  * Converts property names to PascalCase.
  *
  * Transforms all property names in the object (including nested) to PascalCase
- * convention. Creates a new object with renamed properties.
+ * convention. Creates a new object with renamed properties. Distinct source
+ * keys that become the same destination key are rejected with an error instead
+ * of silently discarding a value. This collision policy also applies to the
+ * assert, is, validate, and factory variants.
  *
  * Does not validate the input. For validation, use:
  *
@@ -148,6 +155,7 @@ export function validateCamel(): never {
  * @template T Type of input value
  * @param input Object to convert
  * @returns New object with PascalCase property names
+ * @throws {Error} When two source keys become the same destination key
  */
 export function pascal<T>(input: T): PascalCase<T>;
 
@@ -251,7 +259,10 @@ export function validatePascal(): never {
  * Converts property names to snake_case.
  *
  * Transforms all property names in the object (including nested) to snake_case
- * convention. Creates a new object with renamed properties.
+ * convention. Creates a new object with renamed properties. Distinct source
+ * keys that become the same destination key are rejected with an error instead
+ * of silently discarding a value. This collision policy also applies to the
+ * assert, is, validate, and factory variants.
  *
  * Does not validate the input. For validation, use:
  *
@@ -262,6 +273,7 @@ export function validatePascal(): never {
  * @template T Type of input value
  * @param input Object to convert
  * @returns New object with snake_case property names
+ * @throws {Error} When two source keys become the same destination key
  */
 export function snake<T>(input: T): SnakeCase<T>;
 
@@ -365,7 +377,10 @@ export function validateSnake(): never {
  * Converts property names to kebab-case.
  *
  * Transforms all property names in the object (including nested) to kebab-case
- * convention. Creates a new object with renamed properties.
+ * convention. Creates a new object with renamed properties. Distinct source
+ * keys that become the same destination key are rejected with an error instead
+ * of silently discarding a value. This collision policy also applies to the
+ * assert, is, validate, and factory variants.
  *
  * Does not validate the input. For validation, use:
  *
@@ -376,6 +391,7 @@ export function validateSnake(): never {
  * @template T Type of input value
  * @param input Object to convert
  * @returns New object with kebab-case property names
+ * @throws {Error} When two source keys become the same destination key
  */
 export function kebab<T>(input: T): KebabCase<T>;
 

package/lib/internal/private/__notationCapitalize.d.ts

@@ -1 +0,0 @@
-export declare const __notationCapitalize: (str: string) => string;

package/lib/internal/private/__notationCapitalize.js

@@ -1,6 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.__notationCapitalize = void 0;
-const __notationCapitalize = (str) => str.length ? str[0].toUpperCase() + str.slice(1).toLowerCase() : str;
-exports.__notationCapitalize = __notationCapitalize;
-//# sourceMappingURL=__notationCapitalize.js.map

package/lib/internal/private/__notationCapitalize.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"__notationCapitalize.js","sourceRoot":"","sources":["../../../src/internal/private/__notationCapitalize.ts"],"names":[],"mappings":";;;AAAO,MAAM,oBAAoB,GAAG,CAAC,GAAW,EAAE,EAAE,CAClD,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AAD3D,QAAA,oBAAoB,GAApB,oBAAoB,CACuC"}

package/lib/internal/private/__notationCapitalize.mjs

@@ -1,6 +0,0 @@
-//#region src/internal/private/__notationCapitalize.ts
-const __notationCapitalize = (str) => str.length ? str[0].toUpperCase() + str.slice(1).toLowerCase() : str;
-//#endregion
-export { __notationCapitalize };
-
-//# sourceMappingURL=__notationCapitalize.mjs.map

package/lib/internal/private/__notationCapitalize.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"__notationCapitalize.mjs","names":[],"sources":["../../../src/internal/private/__notationCapitalize.ts"],"sourcesContent":["export const __notationCapitalize = (str: string) =>\n  str.length ? str[0]!.toUpperCase() + str.slice(1).toLowerCase() : str;\n"],"mappings":";AAAA,MAAa,wBAAwB,QACnC,IAAI,SAAS,IAAI,EAAE,CAAE,YAAY,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,YAAY,IAAI"}

package/lib/internal/private/__notationUnsnake.d.ts

@@ -1,4 +0,0 @@
-export declare const __notationUnsnake: (props: {
-    plain: (str: string) => string;
-    snake: (str: string, index: number) => string;
-}) => (str: string) => string;

package/lib/internal/private/__notationUnsnake.js

@@ -1,26 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.__notationUnsnake = void 0;
-const __notationUnsnake = (props) => (str) => {
-    // eslint-disable-next-line @typescript-eslint/no-unused-vars
-    let prefix = "";
-    for (let i = 0; i < str.length; i++) {
-        if (str[i] === "_")
-            prefix += "_";
-        else
-            break;
-    }
-    if (prefix.length !== 0)
-        str = str.substring(prefix.length);
-    const out = (s) => `${prefix}${s}`;
-    if (str.length === 0)
-        return out("");
-    const items = str.split("_").filter((s) => s.length !== 0);
-    return items.length === 0
-        ? out("")
-        : items.length === 1
-            ? out(props.plain(items[0]))
-            : out(items.map(props.snake).join(""));
-};
-exports.__notationUnsnake = __notationUnsnake;
-//# sourceMappingURL=__notationUnsnake.js.map

package/lib/internal/private/__notationUnsnake.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"__notationUnsnake.js","sourceRoot":"","sources":["../../../src/internal/private/__notationUnsnake.ts"],"names":[],"mappings":";;;AAAO,MAAM,iBAAiB,GAC5B,CAAC,KAGA,EAAE,EAAE,CACL,CAAC,GAAW,EAAU,EAAE;IACtB,6DAA6D;IAC7D,IAAI,MAAM,GAAW,EAAE,CAAC;IACxB,KAAK,IAAI,CAAC,GAAW,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,MAAM,IAAI,GAAG,CAAC;;YAC7B,MAAM;IACb,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAE5D,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC;IAC3C,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;IAErC,MAAM,KAAK,GAAa,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;QACvB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACT,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAClB,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;YAC7B,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC;AAvBS,QAAA,iBAAiB,GAAjB,iBAAiB,CAuB1B"}

package/lib/internal/private/__notationUnsnake.mjs

@@ -1,15 +0,0 @@
-//#region src/internal/private/__notationUnsnake.ts
-const __notationUnsnake = (props) => (str) => {
-	let prefix = "";
-	for (let i = 0; i < str.length; i++) if (str[i] === "_") prefix += "_";
-	else break;
-	if (prefix.length !== 0) str = str.substring(prefix.length);
-	const out = (s) => `${prefix}${s}`;
-	if (str.length === 0) return out("");
-	const items = str.split("_").filter((s) => s.length !== 0);
-	return items.length === 0 ? out("") : items.length === 1 ? out(props.plain(items[0])) : out(items.map(props.snake).join(""));
-};
-//#endregion
-export { __notationUnsnake };
-
-//# sourceMappingURL=__notationUnsnake.mjs.map

package/lib/internal/private/__notationUnsnake.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"__notationUnsnake.mjs","names":[],"sources":["../../../src/internal/private/__notationUnsnake.ts"],"sourcesContent":["export const __notationUnsnake =\n  (props: {\n    plain: (str: string) => string;\n    snake: (str: string, index: number) => string;\n  }) =>\n  (str: string): string => {\n    // eslint-disable-next-line @typescript-eslint/no-unused-vars\n    let prefix: string = \"\";\n    for (let i: number = 0; i < str.length; i++) {\n      if (str[i] === \"_\") prefix += \"_\";\n      else break;\n    }\n    if (prefix.length !== 0) str = str.substring(prefix.length);\n\n    const out = (s: string) => `${prefix}${s}`;\n    if (str.length === 0) return out(\"\");\n\n    const items: string[] = str.split(\"_\").filter((s) => s.length !== 0);\n    return items.length === 0\n      ? out(\"\")\n      : items.length === 1\n        ? out(props.plain(items[0]!))\n        : out(items.map(props.snake).join(\"\"));\n  };\n"],"mappings":";AAAA,MAAa,qBACV,WAIA,QAAwB;CAEvB,IAAI,SAAiB;CACrB,KAAK,IAAI,IAAY,GAAG,IAAI,IAAI,QAAQ,KACtC,IAAI,IAAI,OAAO,KAAK,UAAU;MACzB;CAEP,IAAI,OAAO,WAAW,GAAG,MAAM,IAAI,UAAU,OAAO,MAAM;CAE1D,MAAM,OAAO,MAAc,GAAG,SAAS;CACvC,IAAI,IAAI,WAAW,GAAG,OAAO,IAAI,EAAE;CAEnC,MAAM,QAAkB,IAAI,MAAM,GAAG,CAAC,CAAC,QAAQ,MAAM,EAAE,WAAW,CAAC;CACnE,OAAO,MAAM,WAAW,IACpB,IAAI,EAAE,IACN,MAAM,WAAW,IACf,IAAI,MAAM,MAAM,MAAM,EAAG,CAAC,IAC1B,IAAI,MAAM,IAAI,MAAM,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;AAC3C"}

package/native/cmd/ttsc-typia/plugin_options_missing_config_test.go

@@ -1,26 +0,0 @@
-//go:build typia_native_internal
-// +build typia_native_internal
-
-package main
-
-import (
-  "path/filepath"
-  "testing"
-)
-
-// TestPluginOptionsMissingConfigFallsBackToDefaults verifies unreadable config files are ignored.
-//
-// Plugin option detection is deliberately best-effort because the compiler can
-// still run without typia plugin flags. A missing config path must therefore
-// return the zero option set instead of surfacing a command error here.
-//
-// 1. Point option parsing at a nonexistent tsconfig file.
-// 2. Resolve the path through a temporary working directory.
-// 3. Read typia plugin options.
-// 4. Assert every option remains unset.
-func TestPluginOptionsMissingConfigFallsBackToDefaults(t *testing.T) {
-  options := readTypiaPluginOptions(t.TempDir(), filepath.Join("missing", "tsconfig.json"))
-  if options.Functional || options.Numeric || options.Finite || options.Undefined != nil {
-    t.Fatalf("missing config should return zero plugin options: %+v", options)
-  }
-}

package/native/cmd/ttsc-typia/plugin_options_undefined_false_test.go

@@ -1,36 +0,0 @@
-package main
-
-import (
-  "os"
-  "path/filepath"
-  "testing"
-)
-
-// TestPluginOptionsUndefinedFalsePreservesExplicitFalse verifies undefined option parsing.
-//
-// The exact optional-property workflow depends on distinguishing an omitted
-// plugin option from `"undefined": false`. The native command reads tsconfig
-// directly, so it must preserve explicit false instead of collapsing it into
-// the default nil option.
-//
-// 1. Write a tsconfig with the typia transformer and `"undefined": false`.
-// 2. Read plugin options through the native command helper.
-// 3. Assert the undefined option is a non-nil false pointer.
-func TestPluginOptionsUndefinedFalsePreservesExplicitFalse(t *testing.T) {
-  root := t.TempDir()
-  path := filepath.Join(root, "tsconfig.json")
-  if err := os.WriteFile(path, []byte(`{
-  "compilerOptions": {
-    "plugins": [
-      { "transform": "typia/lib/transform", "undefined": false }
-    ]
-  }
-}`), 0o644); err != nil {
-    t.Fatal(err)
-  }
-
-  options := readTypiaPluginOptions(root, path)
-  if options.Undefined == nil || *options.Undefined {
-    t.Fatalf("undefined=false should be preserved: %#v", options.Undefined)
-  }
-}

package/src/internal/private/__notationCapitalize.ts

@@ -1,2 +0,0 @@
-export const __notationCapitalize = (str: string) =>
-  str.length ? str[0]!.toUpperCase() + str.slice(1).toLowerCase() : str;

package/src/internal/private/__notationUnsnake.ts

@@ -1,24 +0,0 @@
-export const __notationUnsnake =
-  (props: {
-    plain: (str: string) => string;
-    snake: (str: string, index: number) => string;
-  }) =>
-  (str: string): string => {
-    // eslint-disable-next-line @typescript-eslint/no-unused-vars
-    let prefix: string = "";
-    for (let i: number = 0; i < str.length; i++) {
-      if (str[i] === "_") prefix += "_";
-      else break;
-    }
-    if (prefix.length !== 0) str = str.substring(prefix.length);
-
-    const out = (s: string) => `${prefix}${s}`;
-    if (str.length === 0) return out("");
-
-    const items: string[] = str.split("_").filter((s) => s.length !== 0);
-    return items.length === 0
-      ? out("")
-      : items.length === 1
-        ? out(props.plain(items[0]!))
-        : out(items.map(props.snake).join(""));
-  };