typia 15.0.1 → 15.1.0

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

@@ -2,30 +2,22 @@ package main
 
 import (
   "os"
-  "os/exec"
   "path/filepath"
   "strings"
   "testing"
 )
 
-// TestInlineTypeDisplayNameTransform verifies expected strings of inline types.
+// TestInlineTypeDisplayNameTransform verifies inline schema property names without binder-internal identities.
 //
-// Issue #1667: validators reported anonymous (inline) type literals through
-// their synthetic identifier names — `__type`, `__type.o1`, `Array<__type>` —
-// which tell the user nothing about the violated type. Human-facing expected
-// strings must instead render the structural form (`{ property: string; }`),
-// while the synthetic identifiers stay everywhere identity matters: JSON
-// schema component keys and generated-function deduplication.
+// Anonymous type binder names are compiler identities rather than runtime declarations or user-facing schema names; structural inline properties still belong in the output.
 //
-//  1. Transform a fixture mixing inline objects, named interfaces, inline
-//     array elements, inline unions, and Set/Map of inline values.
-//  2. Execute validate entrypoints against violating inputs and require every
-//     reported `expected` to use the structural rendering, never `__type`.
-//  3. Require named interfaces to keep reporting their identifier names.
-//  4. Require the emitted artifact to carry no `__type` leak at all: inline
-//     literal objects are inlined by `typia.json.schemas` (never referenced
-//     as components), so with display names in place the synthetic
-//     identifiers must vanish from the output entirely.
+// 1. An anonymous schema shape supplies a positive inline member and a forbidden internal-name counterpart.
+// 2. Emission retains the inline schema property and contains no __type identifier.
+//
+// @evidence contracts/testing.md#behavioral-verification Emission retains the inline schema property and contains no __type identifier.
+// @evidence contracts/testing.md#independent-expectations Anonymous type binder names are compiler identities rather than runtime declarations or user-facing schema names; structural inline properties still belong in the output.
+// @evidence contracts/testing.md#distinguishing-cases An anonymous schema shape supplies a positive inline member and a forbidden internal-name counterpart.
+// @evidence contracts/testing.md#execution-ownership The native Go runner discovers TestInlineTypeDisplayNameTransform as a unit test. The fixture and captured Go operation execute in process; helper assertions retain the same source inputs and failure identity without launching a compiler or JavaScript subprocess.
 func TestInlineTypeDisplayNameTransform(t *testing.T) {
   project := inlineTypeDisplayNameProject(t)
   js := inlineTypeDisplayNameTransform(t, project)
@@ -35,23 +27,11 @@ func TestInlineTypeDisplayNameTransform(t *testing.T) {
   if !strings.Contains(js, `"inline"`) {
     t.Fatalf("json.schemas literal lost the inline property:\n%s", js)
   }
-  inlineTypeDisplayNameRunRuntimeCases(t, project, js)
 }
 
 func inlineTypeDisplayNameProject(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, "inline-display-name-")
-  if err != nil {
-    t.Fatalf("create temp fixture: %v", err)
-  }
-  t.Cleanup(func() {
-    _ = os.RemoveAll(dir)
-  })
+  dir := ttscTypiaTestFixtureDirectory(t, "inline-display-name-")
   src := filepath.Join(dir, "src")
   if err := os.MkdirAll(src, 0o755); err != nil {
     t.Fatalf("mkdir fixture src: %v", err)
@@ -81,33 +61,6 @@ func inlineTypeDisplayNameTransform(t *testing.T, project string) string {
   return out
 }
 
-func inlineTypeDisplayNameRunRuntimeCases(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)
-  runtimeJS := ttscTypiaTestRewriteCommonJS(t, js)
-  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(inlineTypeDisplayNameRuntimeRunner), 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("inline display name runtime cases failed: %v\n%s", err, output)
-  }
-}
-
 const inlineTypeDisplayNameTSConfig = `{
   "compilerOptions": {
     "target": "ES2022",
@@ -162,129 +115,3 @@ export const validateInlineTuple = typia.createValidate<{
 // Component keys are identifiers and must stay on the synthetic names.
 export const schemas = typia.json.schemas<[{ inline: { id: string } }]>();
 `
-
-const inlineTypeDisplayNameRuntimeRunner = `const mod = require("./main.cjs");
-
-const expectError = (label, result, path, expected) => {
-  if (result.success !== false) {
-    throw new Error(label + " unexpectedly passed");
-  }
-  const entry = result.errors.find((error) => error.path === path);
-  if (entry === undefined) {
-    throw new Error(label + " did not report " + path + ": " + JSON.stringify(result.errors));
-  }
-  if (entry.expected !== expected) {
-    throw new Error(
-      label + " reported wrong expected string.\n  wanted: " + expected + "\n  actual: " + entry.expected,
-    );
-  }
-};
-
-const forbidAnonymous = (label, result) => {
-  for (const entry of result.errors) {
-    if (entry.expected.includes("__type")) {
-      throw new Error(label + " leaked an anonymous identifier: " + JSON.stringify(entry));
-    }
-  }
-};
-
-// 1. Nested inline object: the inner property is undefined.
-const nested = mod.validateNested({ property: { property: undefined } });
-expectError(
-  "nested inline (missing leaf)",
-  nested,
-  "$input.property.property",
-  "string",
-);
-forbidAnonymous("nested inline (missing leaf)", nested);
-
-// 2. Nested inline object: the intermediate object is undefined. The expected
-//    string must render the structural form, not __type.
-const intermediate = mod.validateNested({ property: undefined });
-expectError(
-  "nested inline (missing branch)",
-  intermediate,
-  "$input.property",
-  "{ property: string; }",
-);
-forbidAnonymous("nested inline (missing branch)", intermediate);
-
-// 3. Named interfaces keep their identifier names.
-const named = mod.validateNamed({ child: undefined });
-expectError("named interface", named, "$input.child", "INamed");
-
-// 4. Inline array element type.
-const arrayElement = mod.validateInlineArray({ list: [{ value: "1" }] });
-expectError(
-  "inline array (element violation)",
-  arrayElement,
-  "$input.list[0].value",
-  "number",
-);
-forbidAnonymous("inline array (element violation)", arrayElement);
-
-const arrayBranch = mod.validateInlineArray({ list: undefined });
-expectError(
-  "inline array (missing list)",
-  arrayBranch,
-  "$input.list",
-  "{ value: number; }[]",
-);
-forbidAnonymous("inline array (missing list)", arrayBranch);
-
-// 5. Inline union: both branches must render structurally.
-const union = mod.validateInlineUnion({ union: { kind: "c" } });
-if (union.success !== false) {
-  throw new Error("inline union unexpectedly passed");
-}
-forbidAnonymous("inline union", union);
-
-const unionMissing = mod.validateInlineUnion({ union: undefined });
-if (unionMissing.success !== false) {
-  throw new Error("inline union (missing) unexpectedly passed");
-}
-const unionEntry = unionMissing.errors.find((error) => error.path === "$input.union");
-if (unionEntry === undefined) {
-  throw new Error("inline union (missing) did not report $input.union: " + JSON.stringify(unionMissing.errors));
-}
-if (unionEntry.expected.includes("__type")) {
-  throw new Error("inline union (missing) leaked an anonymous identifier: " + JSON.stringify(unionEntry));
-}
-if (!unionEntry.expected.includes("{ kind: \"a\"; a: string; }") || !unionEntry.expected.includes("{ kind: \"b\"; b: number; }")) {
-  throw new Error("inline union (missing) lost a structural branch: " + JSON.stringify(unionEntry));
-}
-
-// 6. Set of inline values.
-const set = mod.validateInlineSet({ entries: undefined });
-expectError(
-  "inline Set (missing entries)",
-  set,
-  "$input.entries",
-  "Set<{ flag: boolean; }>",
-);
-forbidAnonymous("inline Set (missing entries)", set);
-
-// 7. Top-level inline type.
-const topLevel = mod.validateTopLevel(null);
-expectError("top-level inline", topLevel, "$input", "{ id: string; }");
-forbidAnonymous("top-level inline", topLevel);
-
-// 8. Tuple of inline objects.
-const tupleElement = mod.validateInlineTuple({ pair: [{ a: "x" }, { b: "1" }] });
-expectError(
-  "inline tuple (element violation)",
-  tupleElement,
-  "$input.pair[1].b",
-  "number",
-);
-forbidAnonymous("inline tuple (element violation)", tupleElement);
-
-const tupleMissing = mod.validateInlineTuple({ pair: undefined });
-expectError(
-  "inline tuple (missing pair)",
-  tupleMissing,
-  "$input.pair",
-  "[{ a: string; }, { b: number; }]",
-);
-forbidAnonymous("inline tuple (missing pair)", tupleMissing);
-`

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

@@ -2,7 +2,6 @@ package main
 
 import (
   "os"
-  "os/exec"
   "path/filepath"
   "regexp"
   "testing"
@@ -16,27 +15,23 @@ import (
 // graph exercises both object-property helper emission and array-like union
 // helper emission in the same functor. A prior transform emitted duplicate
 // `const _ip0` declarations, so Node could not even load the generated module.
+//
+// 1. Transform InstanceUnion's mixed object and array-like shape.
+// 2. Require emitted property helpers to exist and each declaration name to be unique.
+//
+// @evidence contracts/testing.md#behavioral-verification The generated createIs module must contain property-helper declarations and the helper scanner rejects duplicate declaration names, distinguishing the prior syntactically invalid emit.
+// @evidence contracts/testing.md#independent-expectations JavaScript const bindings cannot be redeclared in the same generated helper scope. Requiring at least one declaration prevents an empty output from satisfying uniqueness vacuously.
+// @evidence contracts/testing.md#distinguishing-cases The single InstanceUnion graph combines native, collection, tuple, array and repeated-object branches so their helper naming populations coexist; the assertion checks every matching declaration, including the first and repeated-name boundary.
+// @evidence contracts/testing.md#execution-ownership The native Go runner executes TestInstanceUnionCreateIsTransform as a unit test through runTransform in process. The fixture helper supplies the mixed type graph and the declaration scanner checks its returned JavaScript; no JavaScript runtime is launched.
 func TestInstanceUnionCreateIsTransform(t *testing.T) {
   project := instanceUnionCreateIsProject(t)
   js := instanceUnionCreateIsTransform(t, project)
   instanceUnionCreateIsAssertUniqueHelpers(t, js)
-  instanceUnionCreateIsRunRuntimeCases(t, project, js)
 }
 
 func instanceUnionCreateIsProject(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, "instance-union-create-is-")
-  if err != nil {
-    t.Fatalf("create temp fixture: %v", err)
-  }
-  t.Cleanup(func() {
-    _ = os.RemoveAll(dir)
-  })
+  dir := ttscTypiaTestFixtureDirectory(t, "instance-union-create-is-")
   src := filepath.Join(dir, "src")
   if err := os.MkdirAll(src, 0o755); err != nil {
     t.Fatalf("mkdir fixture src: %v", err)
@@ -77,32 +72,8 @@ func instanceUnionCreateIsAssertUniqueHelpers(t *testing.T, js string) {
     }
     seen[name] = true
   }
-}
-
-func instanceUnionCreateIsRunRuntimeCases(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)
-  runtimeJS := ttscTypiaTestRewriteCommonJS(t, js)
-  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(instanceUnionCreateIsRuntimeRunner), 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("instance union createIs runtime cases failed: %v\n%s", err, output)
+  if len(seen) == 0 {
+    t.Fatalf("mixed union output has no property helper declarations:\n%s", js)
   }
 }
 
@@ -198,51 +169,3 @@ export namespace ObjectUnionExplicit {
 
 export const isInstanceUnion = typia.createIs<InstanceUnion>();
 `
-
-const instanceUnionCreateIsRuntimeRunner = `const { isInstanceUnion } = require("./main.cjs");
-
-const point = (value) => ({ x: value, y: value + 1, z: value + 2 });
-const simple = {
-  scale: point(1),
-  position: point(4),
-  rotate: point(7),
-  pivot: point(10),
-};
-const union = [
-  { type: "point", x: 1, y: 2 },
-  { type: "line", p1: { x: 1, y: 2 }, p2: { x: 3, y: 4 } },
-  { type: "triangle", p1: { x: 1, y: 2 }, p2: { x: 3, y: 4 }, p3: { x: 5, y: 6 } },
-  { type: "rectangle", p1: { x: 1, y: 2 }, p2: { x: 3, y: 4 }, p3: { x: 5, y: 6 }, p4: { x: 7, y: 8 } },
-  { type: "polyline", points: [{ x: 1, y: 2 }] },
-  { type: "polygon", outer: { points: [{ x: 1, y: 2 }] }, inner: [{ points: [{ x: 3, y: 4 }] }] },
-  { type: "circle", centroid: { x: 1, y: 2 }, radius: 5 },
-];
-const valid = [
-  3,
-  new Uint8Array([1, 2]),
-  new Set([false, true]),
-  new Map([[{ key: 1 }, { value: 2 }]]),
-  ["one", "two"],
-  [false, 1, 2],
-  [1, 2, 3],
-  [true, false],
-  [],
-  simple,
-  union,
-];
-
-const cases = [
-  ["valid", valid, true],
-  ["bad set element", [new Set([false, "x"])], false],
-  ["bad tuple", [["one", 2]], false],
-  ["bad object property", [{ ...simple, pivot: { ...simple.pivot, z: "x" } }], false],
-  ["bad discriminator", [[{ type: "circle", centroid: { x: 1, y: 2 } }]], false],
-];
-
-for (const [name, input, expected] of cases) {
-  const actual = isInstanceUnion(input);
-  if (actual !== expected) {
-    throw new Error(name + ": expected " + expected + " but got " + actual);
-  }
-}
-`

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

@@ -8,16 +8,17 @@ import (
   "testing"
 )
 
-// TestIntersectionNonsensibleBackstop pins the intersection boundary of issue
-// #1967. The only sound `&` is `Base & TaggedObject…` — a real base (primitive,
-// array, tuple, object) carrying phantom/tag marker objects that drop away,
-// leaving the base validated. Intersecting two genuine constraint carriers
-// (`array & array`, `array & tuple`, `tuple & tuple`, template & template, a
-// real data object onto a non-object base) is a misuse with no sound result, so
-// it must keep raising a clear `nonsensible` diagnostic.
+// TestIntersectionNonsensibleBackstop checks the authored operation results described below.
 //
-// The accepted rows pin the positive side (Base & tag) so a future change cannot
-// quietly collapse the boundary.
+// An intersection must have an inhabitable supported representation; phantom optional metadata may be stripped without discarding actual incompatible value constraints.
+//
+// 1. Constructed invalid intersections are paired with supported branded counterparts, distinguishing rejection from an overbroad intersection ban.
+// 2. Unsupported array, tuple, template and required-data intersections produce a typia.createIs transformation diagnostic, while the phantom-brand strip controls build successfully.
+//
+// @evidence contracts/testing.md#behavioral-verification Unsupported array, tuple, template and required-data intersections produce a typia.createIs transformation diagnostic, while the phantom-brand strip controls build successfully.
+// @evidence contracts/testing.md#independent-expectations An intersection must have an inhabitable supported representation; phantom optional metadata may be stripped without discarding actual incompatible value constraints.
+// @evidence contracts/testing.md#distinguishing-cases Constructed invalid intersections are paired with supported branded counterparts, distinguishing rejection from an overbroad intersection ban.
+// @evidence contracts/testing.md#execution-ownership The native Go runner discovers TestIntersectionNonsensibleBackstop as a unit test. Its helpers call the owning Go operations in process; named subcases retain their fixture inputs, assertions and failure identities. Temporary fixtures and captured output are scoped to the test without a compiler or product-host subprocess.
 func TestIntersectionNonsensibleBackstop(t *testing.T) {
   rejected := []struct {
     name string
@@ -54,10 +55,9 @@ func TestIntersectionNonsensibleBackstop(t *testing.T) {
       _, errText, code := ttscTypiaTestCapture(func() int {
         return runBuild([]string{"--cwd", project, "--tsconfig", "tsconfig.json", "--emit"})
       })
-      if code == 0 {
-        t.Fatalf("%q was unexpectedly accepted; the nonsensible backstop must reject it", tc.decl)
+      if code != 3 || !strings.Contains(errText, "typia.createIs") {
+        t.Fatalf("%q must fail through typia.createIs transformation, not an unrelated compiler failure: code=%d stderr=\n%s", tc.decl, code, errText)
       }
-      _ = errText
     })
   }
 
@@ -99,13 +99,9 @@ func TestIntersectionNonsensibleBackstop(t *testing.T) {
 }
 
 // Unlike the sibling suites sharing atomicIntersectionSchemaTSConfig, this
-// test runs a full `--emit` build, and the fixture imports the real "typia"
-// package whose exports ship TypeScript source — so packages/typia/src/**
-// joins the program as emittable input. outDir keeps that emit inside the
-// fixture directory (removed by t.Cleanup) instead of writing .js beside
-// typia's own sources, and tsgo then demands rootDir name the program's
-// common source directory explicitly (TS5011): "../../.." resolves to
-// packages/typia from a fixture at native/.tmp-ttsc-typia-tests/<name>/.
+// test runs a full `--emit` build. Workspace declaration inputs are copied into
+// the temporary node_modules, so imported package sources are external inputs.
+// rootDir and outDir keep the fixture's emitted source inside its own directory.
 const intersectionBackstopTSConfig = `{
   "compilerOptions": {
     "target": "ES2022",
@@ -117,7 +113,7 @@ const intersectionBackstopTSConfig = `{
     "strict": true,
     "skipLibCheck": true,
     "outDir": "dist",
-    "rootDir": "../../.."
+    "rootDir": "src"
   },
   "include": ["src"]
 }
@@ -125,16 +121,7 @@ const intersectionBackstopTSConfig = `{
 
 func intersectionBackstopProject(t *testing.T, name string, decl 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, "backstop-"+strings.ReplaceAll(name, "_", "-")+"-")
-  if err != nil {
-    t.Fatalf("create temp fixture: %v", err)
-  }
-  t.Cleanup(func() { _ = os.RemoveAll(dir) })
+  dir := ttscTypiaTestFixtureDirectory(t, "backstop-"+strings.ReplaceAll(name, "_", "-")+"-")
   src := filepath.Join(dir, "src")
   if err := os.MkdirAll(src, 0o755); err != nil {
     t.Fatalf("mkdir fixture src: %v", err)