typia 15.0.0 → 15.1.0

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

@@ -2,27 +2,22 @@ package main
 
 import (
   "os"
-  "os/exec"
   "path/filepath"
   "strings"
   "testing"
 )
 
-// TestNativeNamedIntersectionUnionTransform verifies a structural intersection
-// keeps its object identity when a user declaration shares a native name.
+// TestNativeNamedIntersectionUnionTransform verifies structural user-native intersections and impossible native union pruning.
 //
-// The standalone local Date and Date intersection already use structural
-// metadata. Union composition must retain that classification instead of
-// pruning the inhabited arm as a native/object conflict. Native-named local
-// String and Number declarations must follow the same structural path, while
-// genuine native wrappers and impossible intersections retain their existing
-// pruning paths.
+// User-named structural intersections retain their members; typia prunes primitive/native intersections outside its supported validation domain while retaining supported object alternatives.
 //
-//  1. Transform standalone, union, genuine-native, impossible, and colliding
-//     native-name controls.
-//  2. Inspect each union factory to prove local structural arms are retained
-//     while genuine wrappers and existing collection arms keep their emit.
-//  3. Execute both valid arms, invalid near-misses, and pruning controls.
+// 1. Local names, real Date/boxed native controls and unsupported primitive intersections distinguish typia's identity and supported-domain boundaries.
+// 2. User-named structural members survive without native overmatch; real native wrappers and impossible intersections are pruned while inhabited object arms remain.
+//
+// @evidence contracts/testing.md#behavioral-verification User-named structural members survive without native overmatch; real native wrappers and impossible intersections are pruned while inhabited object arms remain.
+// @evidence contracts/testing.md#independent-expectations User-named structural intersections retain their members; typia prunes primitive/native intersections outside its supported validation domain while retaining supported object alternatives.
+// @evidence contracts/testing.md#distinguishing-cases Local names, real Date/boxed native controls and unsupported primitive intersections distinguish typia's identity and supported-domain boundaries.
+// @evidence contracts/testing.md#execution-ownership The native Go runner discovers TestNativeNamedIntersectionUnionTransform 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 TestNativeNamedIntersectionUnionTransform(t *testing.T) {
   project := nativeNamedIntersectionUnionProject(t)
   js := nativeNamedIntersectionUnionTransform(t, project)
@@ -121,21 +116,11 @@ func TestNativeNamedIntersectionUnionTransform(t *testing.T) {
     t.Fatalf("impossible intersection control lost its inhabited object arm:\n%s", impossibleUnion)
   }
 
-  nativeNamedIntersectionUnionRunRuntimeCases(t, project, js)
 }
 
 func nativeNamedIntersectionUnionProject(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, "native-named-intersection-union-")
-  if err != nil {
-    t.Fatalf("create temp fixture: %v", err)
-  }
-  t.Cleanup(func() { _ = os.RemoveAll(dir) })
+  dir := ttscTypiaTestFixtureDirectory(t, "native-named-intersection-union-")
   src := filepath.Join(dir, "src")
   if err := os.MkdirAll(src, 0o755); err != nil {
     t.Fatalf("mkdir fixture src: %v", err)
@@ -183,35 +168,6 @@ func nativeNamedIntersectionUnionExport(t *testing.T, js string, name string, ne
   return segment
 }
 
-func nativeNamedIntersectionUnionRunRuntimeCases(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)
-  if err := os.WriteFile(filepath.Join(runtimeDir, "main.cjs"), []byte(ttscTypiaTestRewriteCommonJS(t, js)), 0o644); err != nil {
-    t.Fatalf("write runtime module: %v", err)
-  }
-  runner := filepath.Join(runtimeDir, "run.cjs")
-  if err := os.WriteFile(runner, []byte(nativeNamedIntersectionUnionRuntimeRunner), 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("native-named intersection union runtime cases failed: %v\n%s", err, output)
-  }
-  if !strings.Contains(string(output), "RAN 44 CASES") {
-    t.Fatalf("runtime runner did not report all cases:\n%s", output)
-  }
-}
-
 const nativeNamedIntersectionUnionTSConfig = `{
   "compilerOptions": {
     "target": "ES2022",
@@ -307,84 +263,3 @@ export const isNativeNumberIntersectionUnion =
   typia.createIs<NativeNumberIntersectionUnion>();
 export const isImpossibleUnion = typia.createIs<ImpossibleUnion>();
 `
-
-const nativeNamedIntersectionUnionRuntimeRunner = `const mod = require("./main.cjs");
-
-let ran = 0;
-const failures = [];
-const check = (label, actual, expected) => {
-  ran += 1;
-  if (actual !== expected) {
-    failures.push(label + ": expected " + expected + " but got " + actual);
-  }
-};
-
-check("local Date valid", mod.isLocalDate({ stamp: 1 }), true);
-check("local Date native", mod.isLocalDate(new Date(0)), false);
-check("local Date missing stamp", mod.isLocalDate({}), false);
-
-check("local intersection valid", mod.isLocalIntersection({ stamp: 1, label: "x" }), true);
-check("local intersection missing label", mod.isLocalIntersection({ stamp: 1 }), false);
-check("local intersection missing stamp", mod.isLocalIntersection({ label: "x" }), false);
-
-check("local union structural arm", mod.isLocalUnion({ stamp: 1, label: "x" }), true);
-check("local union other arm", mod.isLocalUnion({ ok: true }), true);
-check("local union near-miss", mod.isLocalUnion({ stamp: 1 }), false);
-check("local union bad other arm", mod.isLocalUnion({ ok: "yes" }), false);
-
-check("local String union structural arm", mod.isLocalStringUnion({ stringValue: "x", label: "s" }), true);
-check("local String union other arm", mod.isLocalStringUnion({ stringOk: true }), true);
-check("local String union near-miss", mod.isLocalStringUnion({ stringValue: "x" }), false);
-check("local String union bad other arm", mod.isLocalStringUnion({ stringOk: "yes" }), false);
-check("local Number union structural arm", mod.isLocalNumberUnion({ numberValue: 1, label: "n" }), true);
-check("local Number union other arm", mod.isLocalNumberUnion({ numberOk: true }), true);
-check("local Number union near-miss", mod.isLocalNumberUnion({ numberValue: 1 }), false);
-check("local Number union bad other arm", mod.isLocalNumberUnion({ numberOk: "yes" }), false);
-
-check("local Map union structural arm", mod.isLocalMapUnion({ brandMap: "x", valueMap: 1, label: "m" }), true);
-check("local Map union other arm", mod.isLocalMapUnion({ mapOk: true }), true);
-check("local Map union near-miss", mod.isLocalMapUnion({ brandMap: "x", valueMap: 1 }), false);
-check("local Set union structural arm", mod.isLocalSetUnion({ brandSet: "x", label: "s" }), true);
-check("local Set union other arm", mod.isLocalSetUnion({ setOk: true }), true);
-check("local Set union near-miss", mod.isLocalSetUnion({ brandSet: "x" }), false);
-check("local WeakMap union structural arm", mod.isLocalWeakMapUnion({ brandWeakMap: {}, valueWeakMap: "x", label: "wm" }), true);
-check("local WeakMap union other arm", mod.isLocalWeakMapUnion({ weakMapOk: true }), true);
-check("local WeakMap union near-miss", mod.isLocalWeakMapUnion({ brandWeakMap: {}, valueWeakMap: "x" }), false);
-check("local WeakSet union structural arm", mod.isLocalWeakSetUnion({ brandWeakSet: {}, label: "ws" }), true);
-check("local WeakSet union other arm", mod.isLocalWeakSetUnion({ weakSetOk: true }), true);
-check("local WeakSet union near-miss", mod.isLocalWeakSetUnion({ brandWeakSet: {} }), false);
-
-check("genuine Date", mod.isNativeDate(new Date(0)), true);
-check("genuine Date plain object", mod.isNativeDate({}), false);
-check(
-  "genuine native intersection pruned",
-  mod.isNativeIntersectionUnion(Object.assign(new Date(0), { label: "x" })),
-  false,
-);
-check("genuine native union other arm", mod.isNativeIntersectionUnion({ ok: true }), true);
-check("genuine native plain near-miss", mod.isNativeIntersectionUnion({ label: "x" }), false);
-
-check(
-  "genuine String wrapper intersection pruned",
-  mod.isNativeStringIntersectionUnion(Object.assign(new String("x"), { label: "s" })),
-  false,
-);
-check("genuine String wrapper union other arm", mod.isNativeStringIntersectionUnion({ nativeStringOk: true }), true);
-check("genuine String wrapper plain near-miss", mod.isNativeStringIntersectionUnion({ label: "s" }), false);
-check(
-  "genuine Number wrapper intersection pruned",
-  mod.isNativeNumberIntersectionUnion(Object.assign(new Number(1), { label: "n" })),
-  false,
-);
-check("genuine Number wrapper union other arm", mod.isNativeNumberIntersectionUnion({ nativeNumberOk: true }), true);
-check("genuine Number wrapper plain near-miss", mod.isNativeNumberIntersectionUnion({ label: "n" }), false);
-
-check("impossible union other arm", mod.isImpossibleUnion({ ok: true }), true);
-check("impossible union primitive", mod.isImpossibleUnion("x"), false);
-check("impossible union object", mod.isImpossibleUnion({ data: 1 }), false);
-
-console.log("RAN " + ran + " CASES");
-if (failures.length !== 0) {
-  throw new Error("MISMATCHES:\n" + failures.join("\n"));
-}
-`

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

@@ -3,32 +3,22 @@ package main
 import (
   "fmt"
   "os"
-  "os/exec"
   "path/filepath"
   "strings"
   "testing"
 )
 
-// TestNodeBufferNativeExportsIsTransform preserves runtime-native identity for
-// the authoritative Blob and File exports from Node's buffer modules (#1568).
+// TestNodeBufferNativeExportsIsTransform verifies Node buffer-module Blob/File exports versus counterfeit modules.
 //
-// Node's module-exported types and its equivalent bare globals have distinct
-// checker symbols even though they describe the same runtime constructors. A
-// name-only or global-pointer-only classifier can therefore confuse either the
-// authoritative exports or unrelated package declarations with structural
-// lookalikes.
+// Node builtin export aliases share the Blob/File native declaration contract, but a same-spelled package or user type cannot acquire it from its name alone.
 //
-//  1. Transform validators for Blob and File imported from both Node module
-//     spellings, plus their bare-global controls, with DOM libraries excluded.
-//  2. Require every validator to emit a runtime-native identity check rather
-//     than structural Blob/File property checks.
-//  3. Execute real instances and full plain lookalikes through all six emitted
-//     validators, requiring exactly twelve runtime outcomes.
-//  4. Transform ordinary package and user ambient Blob/File declarations and
-//     require their structural members and eight negative-control outcomes.
-//  5. Exclude Node types and prove a user-authored counterfeit of the exact
-//     node:buffer/buffer module names remains structural in eight more cases,
-//     even when its path mimics node_modules/@types/node without package data.
+// 1. Several actual Node export/alias forms contrast with user declarations and a counterfeit module; counted checks prevent both missing and duplicated native handling.
+// 2. Native Blob/File export spellings produce the required instance-check counts and remove structural noise; user/counterfeit controls keep their members and avoid native checks.
+//
+// @evidence contracts/testing.md#behavioral-verification Native Blob/File export spellings produce the required instance-check counts and remove structural noise; user/counterfeit controls keep their members and avoid native checks.
+// @evidence contracts/testing.md#independent-expectations Node builtin export aliases share the Blob/File native declaration contract, but a same-spelled package or user type cannot acquire it from its name alone.
+// @evidence contracts/testing.md#distinguishing-cases Several actual Node export/alias forms contrast with user declarations and a counterfeit module; counted checks prevent both missing and duplicated native handling.
+// @evidence contracts/testing.md#execution-ownership The native Go runner discovers TestNodeBufferNativeExportsIsTransform 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 TestNodeBufferNativeExportsIsTransform(t *testing.T) {
   project := nodeBufferNativeExportsProject(t)
   transform := func(file string) string {
@@ -112,23 +102,6 @@ func TestNodeBufferNativeExportsIsTransform(t *testing.T) {
     }
   }
 
-  output, runtimeErr := nodeBufferNativeExportsRun(t, project, js, controlsJS)
-  if runtimeErr != nil {
-    failures = append(failures, fmt.Sprintf("runtime matrix failed: %v\n%s", runtimeErr, output))
-  }
-  for _, expectedCases := range []string{"RAN 12 CASES", "RAN 10 INTERSECTION CASES", "RAN 8 CONTROL CASES"} {
-    if !strings.Contains(output, expectedCases) {
-      failures = append(failures, fmt.Sprintf("runtime runner did not report %q; got:\n%s", expectedCases, output))
-    }
-  }
-  spoofOutput, spoofRuntimeErr := nodeBufferNativeExportsSpoofRun(t, spoofProject, spoofJS)
-  if spoofRuntimeErr != nil {
-    failures = append(failures, fmt.Sprintf("counterfeit runtime matrix failed: %v\n%s", spoofRuntimeErr, spoofOutput))
-  }
-  const expectedSpoofCases = "RAN 8 COUNTERFEIT CASES"
-  if !strings.Contains(spoofOutput, expectedSpoofCases) {
-    failures = append(failures, fmt.Sprintf("counterfeit runner did not report %q; got:\n%s", expectedSpoofCases, spoofOutput))
-  }
   if len(failures) != 0 {
     t.Fatalf(
       "Node buffer native export mismatches:\n%s\n\nnative emit:\n%s\n\ncontrol emit:\n%s\n\ncounterfeit emit:\n%s",
@@ -142,18 +115,7 @@ func TestNodeBufferNativeExportsIsTransform(t *testing.T) {
 
 func nodeBufferNativeExportsProject(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, "node-buffer-native-exports-")
-  if err != nil {
-    t.Fatalf("create temp fixture: %v", err)
-  }
-  t.Cleanup(func() {
-    _ = os.RemoveAll(dir)
-  })
+  dir := ttscTypiaTestFixtureDirectory(t, "node-buffer-native-exports-")
 
   src := filepath.Join(dir, "src")
   dependency := filepath.Join(dir, "node_modules", "native-buffer-lookalike")
@@ -163,13 +125,13 @@ func nodeBufferNativeExportsProject(t *testing.T) string {
     }
   }
   for path, content := range map[string]string{
-    filepath.Join(dir, "tsconfig.json"):       nodeBufferNativeExportsTSConfig,
-    filepath.Join(src, "input.ts"):            nodeBufferNativeExportsSource,
-    filepath.Join(src, "controls.ts"):         nodeBufferNativeExportsControlSource,
+    filepath.Join(dir, "tsconfig.json"):                 nodeBufferNativeExportsTSConfig,
+    filepath.Join(src, "input.ts"):                      nodeBufferNativeExportsSource,
+    filepath.Join(src, "controls.ts"):                   nodeBufferNativeExportsControlSource,
     filepath.Join(src, "node-buffer-augmentation.d.ts"): nodeBufferNativeExportsAugmentation,
-    filepath.Join(src, "user-ambient.d.ts"):   nodeBufferNativeExportsAmbientDeclarations,
-    filepath.Join(dependency, "package.json"): nodeBufferNativeExportsPackageJSON,
-    filepath.Join(dependency, "index.d.ts"):   nodeBufferNativeExportsPackageDeclarations,
+    filepath.Join(src, "user-ambient.d.ts"):             nodeBufferNativeExportsAmbientDeclarations,
+    filepath.Join(dependency, "package.json"):           nodeBufferNativeExportsPackageJSON,
+    filepath.Join(dependency, "index.d.ts"):             nodeBufferNativeExportsPackageDeclarations,
   } {
     if err := os.WriteFile(path, []byte(content), 0o644); err != nil {
       t.Fatalf("write fixture file %s: %v", path, err)
@@ -180,18 +142,7 @@ func nodeBufferNativeExportsProject(t *testing.T) string {
 
 func nodeBufferNativeExportsSpoofProject(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, "node-buffer-native-exports-spoof-")
-  if err != nil {
-    t.Fatalf("create counterfeit fixture: %v", err)
-  }
-  t.Cleanup(func() {
-    _ = os.RemoveAll(dir)
-  })
+  dir := ttscTypiaTestFixtureDirectory(t, "node-buffer-native-exports-spoof-")
 
   src := filepath.Join(dir, "src")
   fakeNodeRoot := filepath.Join(src, "node_modules", "@types", "node")
@@ -201,7 +152,7 @@ func nodeBufferNativeExportsSpoofProject(t *testing.T) string {
     }
   }
   for path, content := range map[string]string{
-    filepath.Join(dir, "tsconfig.json"):       nodeBufferNativeExportsSpoofTSConfig,
+    filepath.Join(dir, "tsconfig.json"):        nodeBufferNativeExportsSpoofTSConfig,
     filepath.Join(fakeNodeRoot, "buffer.d.ts"): nodeBufferNativeExportsSpoofDeclarations,
     filepath.Join(src, "input.ts"):             nodeBufferNativeExportsSpoofSource,
   } {
@@ -212,59 +163,6 @@ func nodeBufferNativeExportsSpoofProject(t *testing.T) string {
   return dir
 }
 
-func nodeBufferNativeExportsRun(t *testing.T, project string, js string, controlsJS string) (string, error) {
-  t.Helper()
-  node, err := exec.LookPath("node")
-  if err != nil {
-    t.Skip("node executable not found")
-    return "", nil
-  }
-  runtimeDir := filepath.Join(project, "runtime")
-  if err := os.MkdirAll(runtimeDir, 0o755); err != nil {
-    t.Fatalf("mkdir runtime dir: %v", err)
-  }
-  ttscTypiaTestWriteCommonRuntimeStubs(t, runtimeDir)
-  for name, content := range map[string]string{
-    "input.cjs":    ttscTypiaTestRewriteCommonJS(t, js),
-    "controls.cjs": ttscTypiaTestRewriteCommonJS(t, controlsJS),
-    "run.cjs":      nodeBufferNativeExportsRuntimeRunner,
-  } {
-    if err := os.WriteFile(filepath.Join(runtimeDir, name), []byte(content), 0o644); err != nil {
-      t.Fatalf("write runtime file %s: %v", name, err)
-    }
-  }
-  cmd := exec.Command(node, filepath.Join(runtimeDir, "run.cjs"))
-  cmd.Dir = runtimeDir
-  output, err := cmd.CombinedOutput()
-  return string(output), err
-}
-
-func nodeBufferNativeExportsSpoofRun(t *testing.T, project string, js string) (string, error) {
-  t.Helper()
-  node, err := exec.LookPath("node")
-  if err != nil {
-    t.Skip("node executable not found")
-    return "", nil
-  }
-  runtimeDir := filepath.Join(project, "runtime")
-  if err := os.MkdirAll(runtimeDir, 0o755); err != nil {
-    t.Fatalf("mkdir counterfeit runtime dir: %v", err)
-  }
-  ttscTypiaTestWriteCommonRuntimeStubs(t, runtimeDir)
-  for name, content := range map[string]string{
-    "input.cjs": ttscTypiaTestRewriteCommonJS(t, js),
-    "run.cjs":   nodeBufferNativeExportsSpoofRuntimeRunner,
-  } {
-    if err := os.WriteFile(filepath.Join(runtimeDir, name), []byte(content), 0o644); err != nil {
-      t.Fatalf("write counterfeit runtime file %s: %v", name, err)
-    }
-  }
-  cmd := exec.Command(node, filepath.Join(runtimeDir, "run.cjs"))
-  cmd.Dir = runtimeDir
-  output, err := cmd.CombinedOutput()
-  return string(output), err
-}
-
 const nodeBufferNativeExportsTSConfig = `{
   "compilerOptions": {
     "target": "ES2022",
@@ -410,117 +308,3 @@ export const isNodeFile = typia.createIs<NodeFile>();
 export const isLegacyBlob = typia.createIs<LegacyBlob>();
 export const isLegacyFile = typia.createIs<LegacyFile>();
 `
-
-const nodeBufferNativeExportsRuntimeRunner = `const validators = require("./input.cjs");
-const controls = require("./controls.cjs");
-const node = require("node:buffer");
-const legacy = require("buffer");
-
-const blobPlain = { size: 1, type: "text/plain" };
-const filePlain = {
-  lastModified: 0,
-  name: "x.txt",
-  size: 1,
-  type: "text/plain",
-  webkitRelativePath: "",
-};
-
-const cases = [
-  ["node:buffer Blob real", validators.isNodeBlob(new node.Blob(["x"], { type: "text/plain" })), true],
-  ["node:buffer Blob plain", validators.isNodeBlob(blobPlain), false],
-  ["node:buffer File real", validators.isNodeFile(new node.File(["x"], "x.txt", { lastModified: 0, type: "text/plain" })), true],
-  ["node:buffer File plain", validators.isNodeFile(filePlain), false],
-  ["buffer Blob real", validators.isLegacyBlob(new legacy.Blob(["x"], { type: "text/plain" })), true],
-  ["buffer Blob plain", validators.isLegacyBlob(blobPlain), false],
-  ["buffer File real", validators.isLegacyFile(new legacy.File(["x"], "x.txt", { lastModified: 0, type: "text/plain" })), true],
-  ["buffer File plain", validators.isLegacyFile(filePlain), false],
-  ["global Blob real", validators.isGlobalBlob(new Blob(["x"], { type: "text/plain" })), true],
-  ["global Blob plain", validators.isGlobalBlob(blobPlain), false],
-  ["global File real", validators.isGlobalFile(new File(["x"], "x.txt", { lastModified: 0, type: "text/plain" })), true],
-  ["global File plain", validators.isGlobalFile(filePlain), false],
-];
-
-const intersectionCases = [
-  ["branded Node Blob real", validators.isBrandedNodeBlob(new node.Blob(["x"])), true],
-  ["branded Node Blob plain", validators.isBrandedNodeBlob(blobPlain), false],
-  ["branded Node File real", validators.isBrandedNodeFile(new node.File(["x"], "x.txt")), true],
-  ["branded Node File plain", validators.isBrandedNodeFile(filePlain), false],
-  ["Node Blob intersection pruned", validators.isNodeBlobIntersectionUnion(Object.assign(new node.Blob(["x"]), { blobLabel: "x" })), false],
-  ["Node Blob intersection plain", validators.isNodeBlobIntersectionUnion({ ...blobPlain, blobLabel: "x" }), false],
-  ["Node Blob intersection other", validators.isNodeBlobIntersectionUnion({ nodeBlobOk: true }), true],
-  ["Node File intersection pruned", validators.isNodeFileIntersectionUnion(Object.assign(new node.File(["x"], "x.txt"), { fileLabel: "x" })), false],
-  ["Node File intersection plain", validators.isNodeFileIntersectionUnion({ ...filePlain, fileLabel: "x" }), false],
-  ["Node File intersection other", validators.isNodeFileIntersectionUnion({ nodeFileOk: true }), true],
-];
-
-const packageBlob = { packageBrand: "package", size: 1, type: "text/plain" };
-const packageFile = {
-  ...packageBlob,
-  lastModified: 0,
-  name: "x.txt",
-  webkitRelativePath: "",
-};
-const ambientBlob = { ambientBrand: "ambient", size: 1, type: "text/plain" };
-const ambientFile = {
-  ...ambientBlob,
-  lastModified: 0,
-  name: "x.txt",
-  webkitRelativePath: "",
-};
-const controlCases = [
-  ["package Blob structural", controls.isPackageBlob(packageBlob), true],
-  ["package Blob rejects native", controls.isPackageBlob(new node.Blob(["x"])), false],
-  ["package File structural", controls.isPackageFile(packageFile), true],
-  ["package File rejects native", controls.isPackageFile(new node.File(["x"], "x.txt")), false],
-  ["ambient Blob structural", controls.isAmbientBlob(ambientBlob), true],
-  ["ambient Blob rejects native", controls.isAmbientBlob(new node.Blob(["x"])), false],
-  ["ambient File structural", controls.isAmbientFile(ambientFile), true],
-  ["ambient File rejects native", controls.isAmbientFile(new node.File(["x"], "x.txt")), false],
-];
-
-const failures = [];
-for (const [name, actual, expected] of [...cases, ...intersectionCases, ...controlCases]) {
-  if (actual !== expected) {
-    failures.push(name + ": expected " + expected + " but got " + actual);
-  }
-}
-console.log("RAN " + cases.length + " CASES");
-console.log("RAN " + intersectionCases.length + " INTERSECTION CASES");
-console.log("RAN " + controlCases.length + " CONTROL CASES");
-if (failures.length !== 0) {
-  throw new Error("MISMATCHES:\n" + failures.join("\n"));
-}
-`
-
-const nodeBufferNativeExportsSpoofRuntimeRunner = `const validators = require("./input.cjs");
-const node = require("node:buffer");
-
-const blob = { spoofBrand: "fake", size: 1, type: "text/plain" };
-const file = {
-  ...blob,
-  lastModified: 0,
-  name: "x.txt",
-  webkitRelativePath: "",
-};
-const cases = [
-  ["counterfeit node:buffer Blob structural", validators.isNodeBlob(blob), true],
-  ["counterfeit node:buffer Blob rejects native", validators.isNodeBlob(new node.Blob(["x"])), false],
-  ["counterfeit node:buffer File structural", validators.isNodeFile(file), true],
-  ["counterfeit node:buffer File rejects native", validators.isNodeFile(new node.File(["x"], "x.txt")), false],
-  ["counterfeit buffer Blob structural", validators.isLegacyBlob(blob), true],
-  ["counterfeit buffer Blob rejects native", validators.isLegacyBlob(new node.Blob(["x"])), false],
-  ["counterfeit buffer File structural", validators.isLegacyFile(file), true],
-  ["counterfeit buffer File rejects native", validators.isLegacyFile(new node.File(["x"], "x.txt")), false],
-];
-
-const failures = [];
-for (const [name, actual, expected] of cases) {
-  if (actual !== expected) {
-    failures.push(name + ": expected " + expected + " but got " + actual);
-  }
-}
-console.log("RAN " + cases.length + " COUNTERFEIT CASES");
-if (failures.length !== 0) {
-  throw new Error("MISMATCHES:\n" + failures.join("\n"));
-}
-`

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

@@ -2,7 +2,6 @@ package main
 
 import (
   "os"
-  "os/exec"
   "path/filepath"
   "strings"
   "testing"
@@ -22,8 +21,13 @@ import (
 //     records a diagnostic naming the offending tuple, which every host --
 //     single-file included since samchon/typia#2117 -- reports while refusing to
 //     publish an artifact.
-//  2. Require trailing-rest tuples to keep compiling and validating
-//     correctly at every length.
+//  2. Require a trailing-rest tuple to transform successfully and retain both
+//     its number head check and boolean rest checks in emitted code.
+//
+// @evidence contracts/testing.md#behavioral-verification Leading and middle rest positions return status 3, name the offending tuple and cause, and publish no artifact; the trailing-rest twin emits number and boolean guards instead of the runtime stub.
+// @evidence contracts/testing.md#independent-expectations Typia's positional tuple contract supports a fixed head followed by a repeated tail, while non-trailing variable-length segments are explicitly unsupported and must diagnose rather than emit fixed wrong indices.
+// @evidence contracts/testing.md#distinguishing-cases Leading and middle rest shapes are rejected separately; moving the variable-length segment to the end produces an accepted number-head/boolean-tail twin.
+// @evidence contracts/testing.md#execution-ownership The native Go runner discovers TestNonTrailingRestTupleTransform as a unit test. Its named subtests call runTransform in process on isolated fixture files; the helper verifies diagnostic identity and output without a compiler subprocess.
 func TestNonTrailingRestTupleTransform(t *testing.T) {
   t.Run("leading rest rejected", func(t *testing.T) {
     nonTrailingRestExpectRejection(t, "leading-",
@@ -36,24 +40,23 @@ func TestNonTrailingRestTupleTransform(t *testing.T) {
       "[number, ...boolean[], string]")
   })
   t.Run("trailing rest keeps working", func(t *testing.T) {
-    nonTrailingRestTrailingControl(t)
+    project := nonTrailingRestProject(t, "trailing-",
+      "export const validate = typia.createValidate<[number, ...boolean[]]>();")
+    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("trailing rest tuple must transform: code=%d stderr=%s", code, errText)
+    }
+    if !strings.Contains(out, `"number" === typeof`) || !strings.Contains(out, `"boolean" === typeof`) || strings.Contains(out, ".createValidate()") {
+      t.Fatalf("trailing rest output must check both the head and rest elements:\n%s", out)
+    }
   })
 }
 
 func nonTrailingRestProject(t *testing.T, prefix string, body 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, "rest-tuple-"+prefix)
-  if err != nil {
-    t.Fatalf("create temp fixture: %v", err)
-  }
-  t.Cleanup(func() {
-    _ = os.RemoveAll(dir)
-  })
+  dir := ttscTypiaTestFixtureDirectory(t, "rest-tuple-"+prefix)
   src := filepath.Join(dir, "src")
   if err := os.MkdirAll(src, 0o755); err != nil {
     t.Fatalf("mkdir fixture src: %v", err)
@@ -97,46 +100,6 @@ func nonTrailingRestExpectRejection(t *testing.T, prefix string, body string, tu
   }
 }
 
-func nonTrailingRestTrailingControl(t *testing.T) {
-  t.Helper()
-  project := nonTrailingRestProject(t, "trailing-",
-    "export const validate = typia.createValidate<[string, ...number[]]>();")
-  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("trailing rest tuple failed to compile: %s", errText)
-  }
-  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, out)
-  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(nonTrailingRestRuntimeRunner), 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("trailing rest runtime cases failed: %v\n%s", err, output)
-  }
-}
-
 const nonTrailingRestTSConfig = `{
   "compilerOptions": {
     "target": "ES2022",
@@ -151,18 +114,3 @@ const nonTrailingRestTSConfig = `{
   "include": ["src"]
 }
 `
-
-const nonTrailingRestRuntimeRunner = `const mod = require("./main.cjs");
-
-const expect = (label, result, success) => {
-  if (result.success !== success) {
-    throw new Error(label + " expected success=" + success + ": " + JSON.stringify(result.errors));
-  }
-};
-
-expect("solo head", mod.validate(["head"]), true);
-expect("head + numbers", mod.validate(["head", 1, 2, 3]), true);
-expect("empty", mod.validate([]), false);
-expect("wrong head", mod.validate([1, 2]), false);
-expect("wrong rest element", mod.validate(["head", 1, "x"]), false);
-`