typia 13.1.1 → 13.2.0

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

@@ -0,0 +1,151 @@
+package main
+
+import (
+  "os"
+  "path/filepath"
+  "strings"
+  "testing"
+)
+
+// TestJsonApplicationAliasFunctionValidation verifies that a function property
+// written through a `type` alias reaches the same #2195 guards as an inline one.
+//
+// `json.application` keeps the alias on the property value it validates but
+// unaliases the one it emits, so before #2216 the two disagreed: `Validate` read
+// `p.Value.Functions` (empty for an aliased member) and skipped every per-function
+// check, while `WriteApplication` unaliased and silently dropped the malformed
+// function. The mirror case rejected a valid aliased application with a spurious
+// "must have at least a function type." This pins both directions.
+//
+//  1. Reject an aliased union / optional / nullable function with its exact
+//     #2195 diagnostic, matching the inline sibling fixtures.
+//  2. Accept an aliased required single function (direct and through a deep
+//     alias chain), emitting it and reporting no "at least a function" error.
+func TestJsonApplicationAliasFunctionValidation(t *testing.T) {
+  for _, tt := range []struct {
+    name     string
+    source   string
+    fragment string
+  }{
+    {
+      name: "alias-union",
+      source: `import typia from "typia";
+type BadUnion = (() => number) | ((value: number) => string);
+typia.json.application<{ good(): number; bad: BadUnion; }>();
+`,
+      fragment: "JSON application's function type does not allow union type.",
+    },
+    {
+      name: "alias-optional",
+      source: `import typia from "typia";
+type BadFn = () => number;
+typia.json.application<{ good(): number; bad?: BadFn; }>();
+`,
+      fragment: "JSON application's function type must be required.",
+    },
+    {
+      name: "alias-nullable",
+      source: `import typia from "typia";
+type BadFn = () => number;
+typia.json.application<{ good(): number; bad: BadFn | null; }>();
+`,
+      fragment: "JSON application's function type must not be nullable.",
+    },
+  } {
+    jsonApplicationAliasExpectDiagnostic(t, tt.name, tt.source, tt.fragment)
+  }
+
+  for _, tt := range []struct {
+    name     string
+    source   string
+    function string
+  }{
+    {
+      name: "alias-required-single",
+      source: `import typia from "typia";
+type GoodFn = () => number;
+typia.json.application<{ only: GoodFn; }>();
+`,
+      function: "only",
+    },
+    {
+      name: "alias-deep-chain",
+      source: `import typia from "typia";
+type A = B;
+type B = () => number;
+typia.json.application<{ deep: A; }>();
+`,
+      function: "deep",
+    },
+  } {
+    jsonApplicationAliasExpectInclusion(t, tt.name, tt.source, tt.function)
+  }
+}
+
+func jsonApplicationAliasExpectDiagnostic(t *testing.T, name string, source string, fragment string) {
+  t.Helper()
+  project := jsonApplicationAliasProject(t, name, source)
+  _, errText, code := ttscTypiaTestCapture(func() int {
+    return runBuild([]string{
+      "--cwd", project,
+      "--tsconfig", "tsconfig.json",
+      "--emit",
+      "--outDir", filepath.Join(project, "dist"),
+    })
+  })
+  if code != 3 {
+    t.Fatalf("%s aliased application build should fail with code 3, got %d\nstderr=%s", name, code, errText)
+  }
+  for _, want := range []string{"error TS(typia.json.application):", fragment} {
+    if !strings.Contains(errText, want) {
+      t.Fatalf("%s aliased application diagnostic missing %q:\n%s", name, want, errText)
+    }
+  }
+}
+
+func jsonApplicationAliasExpectInclusion(t *testing.T, name string, source string, function string) {
+  t.Helper()
+  project := jsonApplicationAliasProject(t, name, source)
+  out, errText, code := ttscTypiaTestCapture(func() int {
+    return runTransform([]string{
+      "--cwd", project,
+      "--tsconfig", "tsconfig.json",
+      "--file", "src/main.ts",
+      "--output", "js",
+    })
+  })
+  if code != 0 {
+    t.Fatalf("%s valid aliased application should transform, got code %d\nstderr=%s", name, code, errText)
+  }
+  if !strings.Contains(out, `name: "`+function+`"`) {
+    t.Fatalf("%s valid aliased application dropped its function %q:\n%s", name, function, out)
+  }
+  if strings.Contains(out, "at least a function") {
+    t.Fatalf("%s valid aliased application reported a spurious empty-application error:\n%s", name, out)
+  }
+}
+
+func jsonApplicationAliasProject(t *testing.T, name string, source string) string {
+  t.Helper()
+  root := ttscTypiaTestRepoRoot(t)
+  base := filepath.Join(root, "packages", "typia", "native", ".tmp-ttsc-typia-tests")
+  if err := os.MkdirAll(base, 0o755); err != nil {
+    t.Fatalf("mkdir temp base: %v", err)
+  }
+  dir, err := os.MkdirTemp(base, "json-application-alias-"+name+"-")
+  if err != nil {
+    t.Fatalf("create temp fixture: %v", err)
+  }
+  t.Cleanup(func() { _ = os.RemoveAll(dir) })
+  src := filepath.Join(dir, "src")
+  if err := os.MkdirAll(src, 0o755); err != nil {
+    t.Fatalf("mkdir fixture src: %v", err)
+  }
+  if err := os.WriteFile(filepath.Join(dir, "tsconfig.json"), []byte(randomRecursiveMinItemsTSConfig), 0o644); err != nil {
+    t.Fatalf("write tsconfig: %v", err)
+  }
+  if err := os.WriteFile(filepath.Join(src, "main.ts"), []byte(source), 0o644); err != nil {
+    t.Fatalf("write source: %v", err)
+  }
+  return dir
+}

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

@@ -0,0 +1,198 @@
+package main
+
+import (
+  "os"
+  "os/exec"
+  "path/filepath"
+  "strings"
+  "testing"
+)
+
+// TestJsonIsStringifyFiniteNumberTransform pins json.isStringify against a bare
+// number leaf so a non-finite value cannot leak into the serialized text (#2196).
+//
+// json.isStringify forces Options.Finite on its inner `__is` guard precisely to
+// keep NaN and Infinity out of JSON. Because `is` dropped `finite`, that guard
+// accepted NaN, so `__is(input) ? __stringify(input) : null` serialized the input
+// instead of returning the top-level null it owes an invalid value. Both option
+// rows reproduce a distinct failure the fix must close:
+//
+//   - default options: the validated stringify folds the number through
+//     _jsonStringifyNumber, so NaN silently became `{"value":null}` -- an accepted
+//     invalid input rather than a rejected one.
+//   - finite:true: the validated stringify emits raw `String(input)` for the
+//     number, so NaN became the literal `{"value":NaN}` token -- invalid JSON that
+//     JSON.parse throws on. This is the corruption hole the guard closes.
+//
+//  1. Transform a `json.isStringify<{ value: number }>` fixture per option row.
+//  2. Execute the emitted serializer in Node.
+//  3. Require a finite value to serialize and NaN/Infinity/-Infinity to yield null.
+func TestJsonIsStringifyFiniteNumberTransform(t *testing.T) {
+  for _, tc := range jsonIsStringifyFiniteNumberCases() {
+    t.Run(tc.name, func(t *testing.T) {
+      project := jsonIsStringifyFiniteNumberProject(t)
+      js := jsonIsStringifyFiniteNumberTransform(t, project, tc.payload)
+      jsonIsStringifyFiniteNumberRunRuntime(t, project, js)
+    })
+  }
+}
+
+type jsonIsStringifyFiniteNumberCase struct {
+  name    string
+  payload string
+}
+
+func jsonIsStringifyFiniteNumberCases() []jsonIsStringifyFiniteNumberCase {
+  return []jsonIsStringifyFiniteNumberCase{
+    {
+      name:    "default options",
+      payload: `[{"config":{"transform":"typia/lib/transform"},"name":"typia","stage":"transform"}]`,
+    },
+    {
+      name:    "finite option on",
+      payload: `[{"config":{"transform":"typia/lib/transform","finite":true},"name":"typia","stage":"transform"}]`,
+    },
+  }
+}
+
+func jsonIsStringifyFiniteNumberProject(t *testing.T) string {
+  t.Helper()
+  root := ttscTypiaTestRepoRoot(t)
+  base := filepath.Join(root, "packages", "typia", "native", ".tmp-ttsc-typia-tests")
+  if err := os.MkdirAll(base, 0o755); err != nil {
+    t.Fatalf("mkdir temp base: %v", err)
+  }
+  dir, err := os.MkdirTemp(base, "json-is-stringify-finite-number-")
+  if err != nil {
+    t.Fatalf("create temp fixture: %v", err)
+  }
+  t.Cleanup(func() {
+    _ = os.RemoveAll(dir)
+  })
+  src := filepath.Join(dir, "src")
+  if err := os.MkdirAll(src, 0o755); err != nil {
+    t.Fatalf("mkdir fixture src: %v", err)
+  }
+  if err := os.WriteFile(filepath.Join(dir, "tsconfig.json"), []byte(jsonIsStringifyFiniteNumberTSConfig), 0o644); err != nil {
+    t.Fatalf("write tsconfig: %v", err)
+  }
+  if err := os.WriteFile(filepath.Join(src, "main.ts"), []byte(jsonIsStringifyFiniteNumberSource), 0o644); err != nil {
+    t.Fatalf("write source: %v", err)
+  }
+  return dir
+}
+
+func jsonIsStringifyFiniteNumberTransform(t *testing.T, project string, payload string) string {
+  t.Helper()
+  out, errText, code := ttscTypiaTestCapture(func() int {
+    return runTransform([]string{
+      "--cwd", project,
+      "--tsconfig", "tsconfig.json",
+      "--file", "src/main.ts",
+      "--output", "js",
+      "--plugins-json", payload,
+    })
+  })
+  if code != 0 {
+    t.Fatalf("json isStringify finite transform failed: code=%d stderr=\n%s", code, errText)
+  }
+  return out
+}
+
+func jsonIsStringifyFiniteNumberRunRuntime(t *testing.T, project string, js string) {
+  t.Helper()
+  node, err := exec.LookPath("node")
+  if err != nil {
+    t.Skip("node executable not found")
+  }
+  runtimeDir := filepath.Join(project, "runtime")
+  if err := os.MkdirAll(runtimeDir, 0o755); err != nil {
+    t.Fatalf("mkdir runtime dir: %v", err)
+  }
+  ttscTypiaTestWriteCommonRuntimeStubs(t, runtimeDir)
+  stubs := map[string]string{
+    "json-stringify-number-stub.cjs":  jsonIsStringifyScopedCheckerNumberStub,
+    "json-stringify-string-stub.cjs":  jsonIsStringifyScopedCheckerStringStub,
+    "throw-type-guard-error-stub.cjs": jsonIsStringifyScopedCheckerThrowStub,
+  }
+  for name, content := range stubs {
+    if err := os.WriteFile(filepath.Join(runtimeDir, name), []byte(content), 0o644); err != nil {
+      t.Fatalf("write %s: %v", name, err)
+    }
+  }
+  runtimeJS := strings.ReplaceAll(js, `require("typia/lib/internal/_jsonStringifyNumber")`, `require("./json-stringify-number-stub.cjs")`)
+  runtimeJS = strings.ReplaceAll(runtimeJS, `require("typia/lib/internal/_jsonStringifyString")`, `require("./json-stringify-string-stub.cjs")`)
+  runtimeJS = strings.ReplaceAll(runtimeJS, `require("typia/lib/internal/_throwTypeGuardError")`, `require("./throw-type-guard-error-stub.cjs")`)
+  runtimeJS = ttscTypiaTestRewriteCommonJS(t, runtimeJS)
+  if err := os.WriteFile(filepath.Join(runtimeDir, "main.cjs"), []byte(runtimeJS), 0o644); err != nil {
+    t.Fatalf("write runtime module: %v", err)
+  }
+  runner := filepath.Join(runtimeDir, "run.cjs")
+  if err := os.WriteFile(runner, []byte(jsonIsStringifyFiniteNumberRunner), 0o644); err != nil {
+    t.Fatalf("write runtime runner: %v", err)
+  }
+  cmd := exec.Command(node, runner)
+  cmd.Dir = runtimeDir
+  output, err := cmd.CombinedOutput()
+  if err != nil {
+    t.Fatalf("json isStringify finite runtime failed: %v\n%s", err, output)
+  }
+  const expected = "RAN 4 CASES"
+  if !strings.Contains(string(output), expected) {
+    t.Fatalf("json isStringify finite runner did not report %q; got:\n%s", expected, output)
+  }
+}
+
+const jsonIsStringifyFiniteNumberTSConfig = `{
+  "compilerOptions": {
+    "target": "ES2022",
+    "module": "commonjs",
+    "moduleResolution": "bundler",
+    "ignoreDeprecations": "6.0",
+    "types": ["*"],
+    "esModuleInterop": true,
+    "strict": true,
+    "skipLibCheck": true
+  },
+  "include": ["src"]
+}
+`
+
+const jsonIsStringifyFiniteNumberSource = `import typia from "typia";
+
+interface Box {
+  value: number;
+}
+
+export const stringify = (input: unknown): string | null =>
+  typia.json.isStringify<Box>(input);
+`
+
+const jsonIsStringifyFiniteNumberRunner = `const mod = require("./main.cjs");
+
+const finite = mod.stringify({ value: 1 });
+if (finite === null) {
+  throw new Error("json.isStringify rejected a finite number");
+}
+const parsed = JSON.parse(finite);
+if (parsed.value !== 1) {
+  throw new Error("json.isStringify serialized the wrong value: " + finite);
+}
+
+let ran = 1;
+for (const [name, value] of [
+  ["NaN", Number.NaN],
+  ["Infinity", Number.POSITIVE_INFINITY],
+  ["-Infinity", Number.NEGATIVE_INFINITY],
+]) {
+  const out = mod.stringify({ value });
+  ran += 1;
+  if (out !== null) {
+    throw new Error(
+      name + " leaked into json.isStringify output instead of null: " + JSON.stringify(out),
+    );
+  }
+}
+
+console.log("RAN " + ran + " CASES");
+`

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

@@ -0,0 +1,246 @@
+package main
+
+import (
+  "bytes"
+  "crypto/sha256"
+  "os"
+  "os/exec"
+  "path/filepath"
+  "testing"
+)
+
+// TestJsonSchemaDynamicKeyDeterminismTransform verifies dynamic-key schemas emit deterministically.
+//
+// Multiple template and numeric index signatures used to reach a Go map before
+// their value metadata was merged. Repeating one unchanged transform therefore
+// has to compare the complete output bytes, while runtime checks ensure a stable
+// order is not achieved by losing, duplicating, or broadening schema branches.
+//
+//  1. Transform unchanged tag-free dynamic-key fixtures repeatedly to TypeScript and JavaScript.
+//  2. Require every complete emit to match the first emit byte for byte.
+//  3. Execute the JavaScript and assert branch completeness plus unrelated ordering controls.
+func TestJsonSchemaDynamicKeyDeterminismTransform(t *testing.T) {
+  project := jsonSchemaDynamicKeyDeterminismProject(t)
+  var javascript string
+  for _, output := range []string{"ts", "js"} {
+    baseline := jsonSchemaDynamicKeyDeterminismTransform(t, project, output)
+    for iteration := 1; iteration < 32; iteration++ {
+      current := jsonSchemaDynamicKeyDeterminismTransform(t, project, output)
+      if bytes.Equal([]byte(current), []byte(baseline)) == false {
+        t.Fatalf(
+          "%s emit %d changed for unchanged input: baseline=%x current=%x first-difference=%d",
+          output,
+          iteration+1,
+          sha256.Sum256([]byte(baseline)),
+          sha256.Sum256([]byte(current)),
+          jsonSchemaDynamicKeyDeterminismFirstDifference(baseline, current),
+        )
+      }
+    }
+    t.Logf("%s emit remained byte-identical across 32 transforms: sha256=%x", output, sha256.Sum256([]byte(baseline)))
+    if output == "js" {
+      javascript = baseline
+    }
+  }
+  jsonSchemaDynamicKeyDeterminismRunRuntimeCases(t, project, javascript)
+}
+
+func jsonSchemaDynamicKeyDeterminismProject(t *testing.T) string {
+  t.Helper()
+  root := ttscTypiaTestRepoRoot(t)
+  base := filepath.Join(root, "packages", "typia", "native", ".tmp-ttsc-typia-tests")
+  if err := os.MkdirAll(base, 0o755); err != nil {
+    t.Fatalf("mkdir temp base: %v", err)
+  }
+  dir, err := os.MkdirTemp(base, "json-schema-dynamic-key-determinism-")
+  if err != nil {
+    t.Fatalf("create temp fixture: %v", err)
+  }
+  t.Cleanup(func() {
+    _ = os.RemoveAll(dir)
+  })
+  src := filepath.Join(dir, "src")
+  if err := os.MkdirAll(src, 0o755); err != nil {
+    t.Fatalf("mkdir fixture src: %v", err)
+  }
+  if err := os.WriteFile(filepath.Join(dir, "tsconfig.json"), []byte(jsonSchemaDynamicKeyDeterminismTSConfig), 0o644); err != nil {
+    t.Fatalf("write tsconfig: %v", err)
+  }
+  if err := os.WriteFile(filepath.Join(src, "main.ts"), []byte(jsonSchemaDynamicKeyDeterminismSource), 0o644); err != nil {
+    t.Fatalf("write source: %v", err)
+  }
+  return dir
+}
+
+func jsonSchemaDynamicKeyDeterminismTransform(t *testing.T, project string, output string) string {
+  t.Helper()
+  out, errText, code := ttscTypiaTestCapture(func() int {
+    return runTransform([]string{
+      "--cwd", project,
+      "--tsconfig", "tsconfig.json",
+      "--file", "src/main.ts",
+      "--output", output,
+    })
+  })
+  if code != 0 {
+    t.Fatalf("dynamic-key schema transform failed: output=%s code=%d stderr=\n%s", output, code, errText)
+  }
+  return out
+}
+
+func jsonSchemaDynamicKeyDeterminismFirstDifference(x string, y string) int {
+  limit := len(x)
+  if len(y) < limit {
+    limit = len(y)
+  }
+  for i := 0; i < limit; i++ {
+    if x[i] != y[i] {
+      return i
+    }
+  }
+  return limit
+}
+
+func jsonSchemaDynamicKeyDeterminismRunRuntimeCases(t *testing.T, project string, javascript string) {
+  t.Helper()
+  node, err := exec.LookPath("node")
+  if err != nil {
+    t.Skip("node executable not found")
+  }
+  runtimeDir := filepath.Join(project, "runtime")
+  if err := os.MkdirAll(runtimeDir, 0o755); err != nil {
+    t.Fatalf("mkdir runtime dir: %v", err)
+  }
+  ttscTypiaTestWriteCommonRuntimeStubs(t, runtimeDir)
+  runtimeJS := ttscTypiaTestRewriteCommonJS(t, javascript)
+  if err := os.WriteFile(filepath.Join(runtimeDir, "main.cjs"), []byte(runtimeJS), 0o644); err != nil {
+    t.Fatalf("write runtime module: %v", err)
+  }
+  runner := filepath.Join(runtimeDir, "run.cjs")
+  if err := os.WriteFile(runner, []byte(jsonSchemaDynamicKeyDeterminismRuntimeRunner), 0o644); err != nil {
+    t.Fatalf("write runtime runner: %v", err)
+  }
+  cmd := exec.Command(node, runner)
+  cmd.Dir = runtimeDir
+  output, err := cmd.CombinedOutput()
+  if err != nil {
+    t.Fatalf("dynamic-key schema runtime cases failed: %v\n%s", err, output)
+  }
+}
+
+const jsonSchemaDynamicKeyDeterminismTSConfig = `{
+  "compilerOptions": {
+    "target": "ES2022",
+    "module": "commonjs",
+    "moduleResolution": "bundler",
+    "ignoreDeprecations": "6.0",
+    "types": ["*"],
+    "esModuleInterop": true,
+    "strict": true,
+    "skipLibCheck": true
+  },
+  "include": ["src"]
+}
+`
+
+const jsonSchemaDynamicKeyDeterminismSource = `import typia from "typia";
+
+interface DynamicComposite {
+  id: string;
+  name: string;
+  [index: number]: number;
+  [key: ` + "`prefix_${string}`" + `]: string;
+  [key: ` + "`${string}_postfix`" + `]: string;
+  [key: ` + "`value_${number}`" + `]: boolean | string | number;
+  [key: ` + "`between_${string}_and_${number}`" + `]: boolean;
+}
+
+interface DynamicTemplate {
+  [key: ` + "`prefix_${string}`" + `]: string;
+  [key: ` + "`${string}_postfix`" + `]: string;
+  [key: ` + "`value_${number}`" + `]: number;
+  [key: ` + "`between_${string}_and_${number}`" + `]: boolean;
+}
+
+interface DynamicUnion {
+  [key: number | ` + "`prefix_${string}`" + ` | ` + "`${string}_postfix`" + `]: string;
+  [key: ` + "`value_between_${number}_and_${number}`" + `]: number;
+}
+
+interface LiteralOnly {
+  z: string;
+  a: number;
+}
+
+interface SingleDynamic {
+  [key: ` + "`only_${string}`" + `]: string;
+}
+
+type OrdinaryUnion = string | number;
+
+export const schemas = typia.json.schemas<[
+  DynamicComposite,
+  DynamicTemplate,
+  DynamicUnion,
+  LiteralOnly,
+  SingleDynamic,
+  OrdinaryUnion,
+]>();
+`
+
+const jsonSchemaDynamicKeyDeterminismRuntimeRunner = `const unit = require("./main.cjs").schemas;
+
+const components = unit.components?.schemas ?? {};
+const assertTypes = (name, expected) => {
+  const additional = components[name]?.additionalProperties;
+  const actual = Array.isArray(additional?.oneOf)
+    ? additional.oneOf.map((schema) => schema.type)
+    : [additional?.type];
+  if (JSON.stringify(actual) !== JSON.stringify(expected)) {
+    throw new Error(name + " branches were " + JSON.stringify(actual) + ", expected " + JSON.stringify(expected));
+  }
+};
+
+assertTypes("DynamicComposite", ["number", "string", "boolean"]);
+assertTypes("DynamicTemplate", ["string", "number", "boolean"]);
+assertTypes("DynamicUnion", ["string", "number"]);
+
+const literal = components.LiteralOnly;
+const literalShape = {
+  type: literal?.type,
+  propertyKeys: Object.keys(literal?.properties ?? {}),
+  propertyTypes: Object.values(literal?.properties ?? {}).map((schema) => schema.type),
+  required: literal?.required,
+  additionalProperties: literal?.additionalProperties,
+};
+const expectedLiteralShape = {
+  type: "object",
+  propertyKeys: ["z", "a"],
+  propertyTypes: ["string", "number"],
+  required: ["z", "a"],
+  additionalProperties: false,
+};
+if (JSON.stringify(literalShape) !== JSON.stringify(expectedLiteralShape)) {
+  throw new Error("zero-dynamic literal schema changed: " + JSON.stringify(literalShape));
+}
+if (components.SingleDynamic?.additionalProperties?.type !== "string") {
+  throw new Error("single dynamic-key schema changed: " + JSON.stringify(components.SingleDynamic));
+}
+const ordinaryTypes = components.OrdinaryUnion?.oneOf?.map((schema) => schema.type) ?? [];
+if (JSON.stringify(ordinaryTypes) !== JSON.stringify(["string", "number"])) {
+  throw new Error("ordinary union branches changed: " + JSON.stringify(ordinaryTypes));
+}
+
+const refs = unit.schemas.map((schema) => schema.$ref);
+const expectedRefs = [
+  "#/components/schemas/DynamicComposite",
+  "#/components/schemas/DynamicTemplate",
+  "#/components/schemas/DynamicUnion",
+  "#/components/schemas/LiteralOnly",
+  "#/components/schemas/SingleDynamic",
+  "#/components/schemas/OrdinaryUnion",
+];
+if (JSON.stringify(refs) !== JSON.stringify(expectedRefs)) {
+  throw new Error("schema order changed: " + JSON.stringify(refs));
+}
+`