typia 15.0.0 → 15.1.0

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

@@ -2,52 +2,33 @@ package main
 
 import (
   "os"
-  "os/exec"
   "path/filepath"
   "strings"
   "testing"
 )
 
-// TestIntersectionUnionValidationTransform verifies intersected unions co-operate.
+// TestIntersectionUnionValidationTransform verifies intersection-union member and native identity emission.
 //
-// Issue #1590 combines two discriminated unions through an intersection:
-// `(Individual | Corporation) & ({ partyRole: "customer" } | OtherRole)`.
-// The validator must accept a value whose left union branch contains a native
-// Date and whose right union branch is selected by another discriminator. The
-// same fixture also pins shared-field guards and primitive/native overlap
-// decisions whose metadata may otherwise misroute union validation.
+// An intersection applied to union variants must preserve the common member restriction and the variant native value type rather than flattening away one contribution.
 //
-//  1. Transform the intersected-union fixture into JavaScript.
-//  2. Execute `is`, `validate`, `assert`, and direct validate entrypoints.
-//  3. Require valid intersection branches to pass and invalid `Date` data to
-//     fail without depending on exact error formatting.
-//  4. Require invalid `other` data not to report the unrelated `"customer"`
-//     branch, and require shared native/container fields not to misroute a
-//     valid branch on either side.
-//  5. Require non-bigint inputs to fail every BigInt-typed entrypoint.
+// 1. The fixture intersects multiple union alternatives, including a Date-bearing variant; this case pins member/native emission rather than executing runtime union errors.
+// 2. The transformed fixture retains partyRole and Date checks.
+//
+// @evidence contracts/testing.md#behavioral-verification The transformed fixture retains partyRole and Date checks.
+// @evidence contracts/testing.md#independent-expectations An intersection applied to union variants must preserve the common member restriction and the variant native value type rather than flattening away one contribution.
+// @evidence contracts/testing.md#distinguishing-cases The fixture intersects multiple union alternatives, including a Date-bearing variant; this case pins member/native emission rather than executing runtime union errors.
+// @evidence contracts/testing.md#execution-ownership The native Go runner discovers TestIntersectionUnionValidationTransform 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 TestIntersectionUnionValidationTransform(t *testing.T) {
   project := intersectionUnionValidationProject(t)
   js := intersectionUnionValidationTransform(t, project)
   if !strings.Contains(js, "partyRole") || !strings.Contains(js, "Date") {
     t.Fatalf("intersected union validation fixture was not emitted:\n%s", js)
   }
-  intersectionUnionValidationRunRuntimeCases(t, project, js)
 }
 
 func intersectionUnionValidationProject(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, "intersection-union-")
-  if err != nil {
-    t.Fatalf("create temp fixture: %v", err)
-  }
-  t.Cleanup(func() {
-    _ = os.RemoveAll(dir)
-  })
+  dir := ttscTypiaTestFixtureDirectory(t, "intersection-union-")
   src := filepath.Join(dir, "src")
   if err := os.MkdirAll(src, 0o755); err != nil {
     t.Fatalf("mkdir fixture src: %v", err)
@@ -77,33 +58,6 @@ func intersectionUnionValidationTransform(t *testing.T, project string) string {
   return out
 }
 
-func intersectionUnionValidationRunRuntimeCases(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(intersectionUnionValidationRuntimeRunner), 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("intersection union runtime cases failed: %v\n%s", err, output)
-  }
-}
-
 const intersectionUnionValidationTSConfig = `{
   "compilerOptions": {
     "target": "ES2022",
@@ -240,351 +194,3 @@ export const assertBigIntPrimitiveOrInterface = typia.createAssert<BigIntPrimiti
 export const assertBigIntLiteralOrInterface = typia.createAssert<BigIntLiteralOrInterface>();
 export const assertBigIntInterfaceOnly = typia.createAssert<BigIntInterfaceOnly>();
 `
-
-const intersectionUnionValidationRuntimeRunner = `const mod = require("./main.cjs");
-
-const capture = (task) => {
-  try {
-    task();
-    return null;
-  } catch (error) {
-    return error;
-  }
-};
-
-const validIndividualOther = {
-  type: "individual",
-  birthDate: new Date("2025-06-10T10:43:59.087Z"),
-  partyRole: "other",
-  otherPartyRole: "some-valid-string",
-};
-const validCorporationCustomer = {
-  type: "corporation",
-  partyRole: "customer",
-};
-const validIndividualCustomer = {
-  type: "individual",
-  birthDate: new Date("2025-06-10T10:43:59.087Z"),
-  partyRole: "customer",
-};
-const validCorporationOther = {
-  type: "corporation",
-  partyRole: "other",
-  otherPartyRole: "some-valid-string",
-};
-const invalidOtherMissingDetail = {
-  type: "individual",
-  birthDate: new Date("2025-06-10T10:43:59.087Z"),
-  partyRole: "other",
-};
-const invalidIndividualBirthDate = {
-  type: "individual",
-  birthDate: "2025-06-10T10:43:59.087Z",
-  partyRole: "other",
-  otherPartyRole: "some-valid-string",
-};
-
-const validate = mod.validateParty(validIndividualOther);
-if (validate.success !== true) {
-  throw new Error("valid individual/other intersection failed: " + JSON.stringify(validate));
-}
-const direct = mod.validateDirect(validIndividualOther);
-if (direct.success !== true) {
-  throw new Error("direct validate failed for individual/other intersection: " + JSON.stringify(direct));
-}
-if (mod.isParty(validIndividualOther) !== true) {
-  throw new Error("is failed for valid individual/other intersection");
-}
-if (mod.assertParty(validIndividualOther) !== validIndividualOther) {
-  throw new Error("assert did not return the valid individual/other value");
-}
-if (mod.validateParty(validCorporationCustomer).success !== true) {
-  throw new Error("valid corporation/customer intersection failed");
-}
-for (const [name, input] of [
-  ["individual/customer", validIndividualCustomer],
-  ["corporation/other", validCorporationOther],
-]) {
-  if (mod.validateParty(input).success !== true) {
-    throw new Error("valid " + name + " intersection failed validate");
-  }
-  if (mod.isParty(input) !== true) {
-    throw new Error("valid " + name + " intersection failed is");
-  }
-  if (mod.assertParty(input) !== input) {
-    throw new Error("valid " + name + " intersection failed assert");
-  }
-}
-
-const invalid = mod.validateParty(invalidOtherMissingDetail);
-if (invalid.success !== false) {
-  throw new Error("missing otherPartyRole unexpectedly passed");
-}
-if (mod.isParty(invalidOtherMissingDetail) !== false) {
-  throw new Error("is accepted missing otherPartyRole");
-}
-if (invalid.errors.some((entry) => entry.path === "$input.partyRole" && entry.expected === '"customer"')) {
-  throw new Error("invalid other branch reported unrelated customer branch: " + JSON.stringify(invalid));
-}
-const invalidDirect = mod.validateDirect(invalidOtherMissingDetail);
-if (invalidDirect.success !== false) {
-  throw new Error("direct validate missing otherPartyRole unexpectedly passed");
-}
-if (invalidDirect.errors.some((entry) => entry.path === "$input.partyRole" && entry.expected === '"customer"')) {
-  throw new Error("direct validate invalid other branch reported unrelated customer branch: " + JSON.stringify(invalidDirect));
-}
-const invalidAssert = capture(() => mod.assertParty(invalidOtherMissingDetail));
-if (invalidAssert === null) {
-  throw new Error("assert missing otherPartyRole unexpectedly passed");
-}
-if (invalidAssert.path === "$input.partyRole" && invalidAssert.expected === '"customer"') {
-  throw new Error("assert invalid other branch reported unrelated customer branch: " + JSON.stringify(invalidAssert));
-}
-const invalidDate = mod.validateParty(invalidIndividualBirthDate);
-if (invalidDate.success !== false) {
-  throw new Error("invalid individual birthDate unexpectedly passed");
-}
-if (mod.isParty(invalidIndividualBirthDate) !== false) {
-  throw new Error("is accepted invalid individual birthDate");
-}
-const invalidDateDirect = mod.validateDirect(invalidIndividualBirthDate);
-if (invalidDateDirect.success !== false) {
-  throw new Error("direct validate invalid individual birthDate unexpectedly passed");
-}
-const invalidDateAssert = capture(() => mod.assertParty(invalidIndividualBirthDate));
-if (invalidDateAssert === null) {
-  throw new Error("assert invalid individual birthDate unexpectedly passed");
-}
-
-const validDateRight = {
-  stamp: new Date("2025-06-10T10:43:59.087Z"),
-  right: "selected-right",
-};
-const dateRight = mod.validateDateShared(validDateRight);
-if (dateRight.success !== true) {
-  throw new Error("shared Date native union failed its right branch: " + JSON.stringify(dateRight));
-}
-if (mod.validateDateShared({
-  stamp: "2025-06-10T10:43:59.087Z",
-  right: "selected-right",
-}).success !== false) {
-  throw new Error("shared Date native union accepted invalid right branch stamp");
-}
-
-const validBytesRight = {
-  bytes: new Uint8Array([1, 2, 3]),
-  right: "selected-right",
-};
-const bytesRight = mod.validateBytesShared(validBytesRight);
-if (bytesRight.success !== true) {
-  throw new Error("shared Uint8Array native union failed its right branch: " + JSON.stringify(bytesRight));
-}
-if (mod.validateBytesShared({
-  bytes: [1, 2, 3],
-  right: "selected-right",
-}).success !== false) {
-  throw new Error("shared Uint8Array native union accepted invalid right branch bytes");
-}
-
-const primitiveWrapperRight = mod.validatePrimitiveWrapperShared({
-  value: "x",
-  right: "selected-right",
-});
-if (primitiveWrapperRight.success !== true) {
-  throw new Error("shared primitive wrapper union failed its right branch: " + JSON.stringify(primitiveWrapperRight));
-}
-if (mod.validatePrimitiveWrapperShared({
-  value: 1,
-  right: "selected-right",
-}).success !== false) {
-  throw new Error("shared primitive wrapper union accepted invalid right branch value");
-}
-
-const templateRight = mod.validateTemplateShared({
-  code: "id-1",
-  right: "selected-right",
-});
-if (templateRight.success !== true) {
-  throw new Error("shared template union failed its overlapping right branch: " + JSON.stringify(templateRight));
-}
-if (mod.isTemplateShared({
-  code: "id-1",
-  right: "selected-right",
-}) !== true) {
-  throw new Error("shared template union failed its overlapping right branch is");
-}
-const templateAssertInput = {
-  code: "id-1",
-  right: "selected-right",
-};
-if (mod.assertTemplateShared(templateAssertInput) !== templateAssertInput) {
-  throw new Error("shared template union failed its overlapping right branch assert");
-}
-if (mod.validateTemplateShared({
-  code: "other-1",
-  right: "selected-right",
-}).success !== false) {
-  throw new Error("shared template union accepted invalid right branch code");
-}
-if (mod.isTemplateShared({
-  code: "other-1",
-  right: "selected-right",
-}) !== false) {
-  throw new Error("shared template union is accepted invalid right branch code");
-}
-if (capture(() => mod.assertTemplateShared({
-  code: "other-1",
-  right: "selected-right",
-})) === null) {
-  throw new Error("shared template union assert accepted invalid right branch code");
-}
-
-const setRight = mod.validateSetShared({
-  items: new Set(),
-  right: "selected-right",
-});
-if (setRight.success !== true) {
-  throw new Error("shared empty Set union failed its right branch: " + JSON.stringify(setRight));
-}
-if (mod.validateSetShared({
-  items: new Set(["left-shaped"]),
-  right: "selected-right",
-}).success !== false) {
-  throw new Error("shared Set union accepted invalid right branch value");
-}
-
-const mapRight = mod.validateMapShared({
-  lookup: new Map(),
-  right: "selected-right",
-});
-if (mapRight.success !== true) {
-  throw new Error("shared empty Map union failed its right branch: " + JSON.stringify(mapRight));
-}
-if (mod.validateMapShared({
-  lookup: new Map([["left-key", 1]]),
-  right: "selected-right",
-}).success !== false) {
-  throw new Error("shared Map union accepted invalid right branch entry");
-}
-
-const arrayTupleRight = mod.validateArrayTupleShared({
-  items: [1],
-  right: "selected-right",
-});
-if (arrayTupleRight.success !== true) {
-  throw new Error("shared array/tuple union failed its right branch: " + JSON.stringify(arrayTupleRight));
-}
-if (mod.validateArrayTupleShared({
-  items: [1, 2],
-  right: "selected-right",
-}).success !== false) {
-  throw new Error("shared array/tuple union accepted invalid right branch item");
-}
-
-for (const [name, validate, input] of [
-  ["Date", mod.validateDateShared, { stamp: new Date("2025-06-10T10:43:59.087Z"), left: "selected-left" }],
-  ["Uint8Array", mod.validateBytesShared, { bytes: new Uint8Array([1, 2, 3]), left: "selected-left" }],
-  ["primitive wrapper", mod.validatePrimitiveWrapperShared, { value: "x", left: "selected-left" }],
-  ["template", mod.validateTemplateShared, { code: "id-1", left: "selected-left" }],
-  ["Set", mod.validateSetShared, { items: new Set(["left-shaped"]), left: "selected-left" }],
-  ["Map", mod.validateMapShared, { lookup: new Map([["left-key", 1]]), left: "selected-left" }],
-  ["array/tuple", mod.validateArrayTupleShared, { items: [1, 2], left: "selected-left" }],
-]) {
-  const left = validate(input);
-  if (left.success !== true) {
-    throw new Error("shared " + name + " union failed its left branch: " + JSON.stringify(left));
-  }
-}
-
-if (mod.validateBigIntPrimitiveOrInterface(1n).success !== true) {
-  throw new Error("bigint primitive should pass bigint | BigInt validation");
-}
-if (mod.validateBigIntLiteralOrInterface(1n).success !== true) {
-  throw new Error("bigint literal should pass 1n | BigInt validation");
-}
-const boxedBigInt = Object(1n);
-if (mod.validateBigIntInterfaceOnly(boxedBigInt).success !== true) {
-  throw new Error("boxed BigInt should pass BigInt validation");
-}
-if (mod.validateBigIntInterfaceOnly(1n).success !== true) {
-  throw new Error("primitive bigint should pass BigInt validation");
-}
-if (mod.validateBigIntPrimitiveOrInterface(boxedBigInt).success !== true) {
-  throw new Error("boxed BigInt should pass bigint | BigInt validation");
-}
-if (mod.validateBigIntLiteralOrInterface(Object(2n)).success !== true) {
-  throw new Error("boxed BigInt should pass 1n | BigInt validation");
-}
-if (mod.validateBigIntLiteralOrInterface(2n).success !== true) {
-  throw new Error("primitive bigint should pass 1n | BigInt validation through BigInt");
-}
-if (mod.isBigIntPrimitiveOrInterface(1n) !== true) {
-  throw new Error("bigint primitive should pass bigint | BigInt is");
-}
-if (mod.isBigIntLiteralOrInterface(1n) !== true) {
-  throw new Error("bigint literal should pass 1n | BigInt is");
-}
-if (mod.isBigIntInterfaceOnly(boxedBigInt) !== true) {
-  throw new Error("boxed BigInt should pass BigInt is");
-}
-if (mod.isBigIntInterfaceOnly(1n) !== true) {
-  throw new Error("primitive bigint should pass BigInt is");
-}
-if (mod.isBigIntPrimitiveOrInterface(boxedBigInt) !== true) {
-  throw new Error("boxed BigInt should pass bigint | BigInt is");
-}
-if (mod.isBigIntLiteralOrInterface(Object(2n)) !== true) {
-  throw new Error("boxed BigInt should pass 1n | BigInt is");
-}
-if (mod.isBigIntLiteralOrInterface(2n) !== true) {
-  throw new Error("primitive bigint should pass 1n | BigInt is through BigInt");
-}
-if (mod.assertBigIntPrimitiveOrInterface(1n) !== 1n) {
-  throw new Error("bigint primitive should pass bigint | BigInt assert");
-}
-if (mod.assertBigIntLiteralOrInterface(1n) !== 1n) {
-  throw new Error("bigint literal should pass 1n | BigInt assert");
-}
-if (mod.assertBigIntInterfaceOnly(boxedBigInt) !== boxedBigInt) {
-  throw new Error("boxed BigInt should pass BigInt assert");
-}
-if (mod.assertBigIntInterfaceOnly(1n) !== 1n) {
-  throw new Error("primitive bigint should pass BigInt assert");
-}
-if (mod.assertBigIntPrimitiveOrInterface(boxedBigInt) !== boxedBigInt) {
-  throw new Error("boxed BigInt should pass bigint | BigInt assert");
-}
-const boxedBigIntTwo = Object(2n);
-if (mod.assertBigIntLiteralOrInterface(boxedBigIntTwo) !== boxedBigIntTwo) {
-  throw new Error("boxed BigInt should pass 1n | BigInt assert");
-}
-if (mod.assertBigIntLiteralOrInterface(2n) !== 2n) {
-  throw new Error("primitive bigint should pass 1n | BigInt assert through BigInt");
-}
-
-// NOTE: 2n is NOT a negative for 1n | BigInt: the BigInt arm absorbs every
-// bigint, so 2n is asserted as a positive above. Negatives must be non-bigint.
-const bigintNegatives = [
-  ["string", "1"],
-  ["number", 1],
-  ["null", null],
-  ["boxed Number", Object(1)],
-];
-for (const [alias, validate, is, assert] of [
-  ["bigint | BigInt", mod.validateBigIntPrimitiveOrInterface, mod.isBigIntPrimitiveOrInterface, mod.assertBigIntPrimitiveOrInterface],
-  ["1n | BigInt", mod.validateBigIntLiteralOrInterface, mod.isBigIntLiteralOrInterface, mod.assertBigIntLiteralOrInterface],
-  ["BigInt", mod.validateBigIntInterfaceOnly, mod.isBigIntInterfaceOnly, mod.assertBigIntInterfaceOnly],
-]) {
-  for (const [kind, input] of bigintNegatives) {
-    if (validate(input).success !== false) {
-      throw new Error(kind + " input unexpectedly passed " + alias + " validate");
-    }
-    if (is(input) !== false) {
-      throw new Error(kind + " input unexpectedly passed " + alias + " is");
-    }
-    if (capture(() => assert(input)) === null) {
-      throw new Error(kind + " input unexpectedly passed " + alias + " assert");
-    }
-  }
-}
-`

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

@@ -7,20 +7,17 @@ import (
   "testing"
 )
 
-// TestJsonApplicationAliasFunctionValidation verifies that a function property
-// written through a `type` alias reaches the same #2195 guards as an inline one.
+// TestJsonApplicationAliasFunctionValidation checks the authored operation results described below.
 //
-// `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.
+// A type alias preserves the underlying function meaning: JSON application requires one required, nonnullable signature and must apply the same checks before and after unaliasing.
 //
-//  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.
+// 1. Three invalid alias shapes contrast with direct and deep single-function alias chains, pinning both under-rejection and over-rejection.
+// 2. Aliased union/optional/nullable functions report their exact rejection reasons; direct and deep required aliases emit the named function without spurious empty-application errors.
+//
+// @evidence contracts/testing.md#behavioral-verification Aliased union/optional/nullable functions report their exact rejection reasons; direct and deep required aliases emit the named function without spurious empty-application errors.
+// @evidence contracts/testing.md#independent-expectations A type alias preserves the underlying function meaning: JSON application requires one required, nonnullable signature and must apply the same checks before and after unaliasing.
+// @evidence contracts/testing.md#distinguishing-cases Three invalid alias shapes contrast with direct and deep single-function alias chains, pinning both under-rejection and over-rejection.
+// @evidence contracts/testing.md#execution-ownership The native Go runner discovers TestJsonApplicationAliasFunctionValidation 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 TestJsonApplicationAliasFunctionValidation(t *testing.T) {
   for _, tt := range []struct {
     name     string
@@ -127,16 +124,7 @@ func jsonApplicationAliasExpectInclusion(t *testing.T, name string, source strin
 
 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) })
+  dir := ttscTypiaTestFixtureDirectory(t, "json-application-alias-"+name+"-")
   src := filepath.Join(dir, "src")
   if err := os.MkdirAll(src, 0o755); err != nil {
     t.Fatalf("mkdir fixture src: %v", err)

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

@@ -2,26 +2,22 @@ package main
 
 import (
   "os"
-  "os/exec"
   "path/filepath"
   "strings"
   "testing"
 )
 
-// TestJsonIsStringifyScopedCheckerTransform verifies validated stringify owns
-// its branch-selection helpers.
+// TestJsonIsStringifyScopedCheckerTransform verifies scoped checker and toJSON handling in checked stringification.
 //
-// `json.isStringify` first validates with the regular checker collection, then
-// serializes with the JSON stringify collection. A recursive type with
-// `toJSON()` can add JSON-only object-union branches inside serializer helper
-// functions, so the serializer must not reference `_io*` helpers from the
-// validator collection.
+// Checked stringify validates the value being serialized, including declared toJSON projections, and nested helper references need their own emitted bindings.
 //
-//  1. Transform a recursive `json.isStringify` fixture whose `toJSON()` returns
-//     an object union absent from the regular checker graph.
-//  2. Execute the emitted JavaScript through Node.
-//  3. Require the serializer to return JSON text instead of throwing a missing
-//     helper `ReferenceError`.
+// 1. The fixture combines toJSON-bearing and nested checked serialization shapes; unchecked serialization branches are owned by the constant/atomic union case.
+// 2. Emission retains toJSON handling and materializes scoped is helpers for validation before serialization.
+//
+// @evidence contracts/testing.md#behavioral-verification Emission retains toJSON handling and materializes scoped is helpers for validation before serialization.
+// @evidence contracts/testing.md#independent-expectations Checked stringify validates the value being serialized, including declared toJSON projections, and nested helper references need their own emitted bindings.
+// @evidence contracts/testing.md#distinguishing-cases The fixture combines toJSON-bearing and nested checked serialization shapes; unchecked serialization branches are owned by the constant/atomic union case.
+// @evidence contracts/testing.md#execution-ownership The native Go runner discovers TestJsonIsStringifyScopedCheckerTransform 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 TestJsonIsStringifyScopedCheckerTransform(t *testing.T) {
   project := jsonIsStringifyScopedCheckerProject(t)
   js := jsonIsStringifyScopedCheckerTransform(t, project)
@@ -31,23 +27,11 @@ func TestJsonIsStringifyScopedCheckerTransform(t *testing.T) {
   if !strings.Contains(js, "const _si") {
     t.Fatalf("validated stringify did not emit scoped is-check helpers:\n%s", js)
   }
-  jsonIsStringifyScopedCheckerRunRuntime(t, project, js)
 }
 
 func jsonIsStringifyScopedCheckerProject(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-scoped-checker-")
-  if err != nil {
-    t.Fatalf("create temp fixture: %v", err)
-  }
-  t.Cleanup(func() {
-    _ = os.RemoveAll(dir)
-  })
+  dir := ttscTypiaTestFixtureDirectory(t, "json-is-stringify-scoped-checker-")
   src := filepath.Join(dir, "src")
   if err := os.MkdirAll(src, 0o755); err != nil {
     t.Fatalf("mkdir fixture src: %v", err)
@@ -77,46 +61,6 @@ func jsonIsStringifyScopedCheckerTransform(t *testing.T, project string) string
   return out
 }
 
-func jsonIsStringifyScopedCheckerRunRuntime(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(jsonIsStringifyScopedCheckerRunner), 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 runtime failed: %v\n%s", err, output)
-  }
-}
-
 const jsonIsStringifyScopedCheckerTSConfig = `{
   "compilerOptions": {
     "target": "ES2022",
@@ -159,48 +103,3 @@ interface Payload {
 export const stringifyPayload = (input: unknown): string | null =>
   typia.json.isStringify<Payload>(input);
 `
-
-const jsonIsStringifyScopedCheckerRunner = `const mod = require("./main.cjs");
-
-const text = mod.stringifyPayload({
-  item: {
-    id: "box",
-    toJSON() {
-      return { data: { count: 3 } };
-    },
-  },
-  children: [
-    {
-      item: {
-        id: "box",
-        toJSON() {
-          return { data: { value: "nested" } };
-        },
-      },
-      children: [],
-    },
-  ],
-});
-
-if (text === null) {
-  throw new Error("json.isStringify rejected a valid toJSON payload");
-}
-
-const parsed = JSON.parse(text);
-if (parsed.item.data.count !== 3 || parsed.children[0].item.data.value !== "nested") {
-  throw new Error("json.isStringify serialized the wrong branch: " + text);
-}
-`
-
-const jsonIsStringifyScopedCheckerNumberStub = `module.exports._jsonStringifyNumber = (value) => (isFinite(value) ? String(value) : "null");
-`
-
-const jsonIsStringifyScopedCheckerStringStub = `module.exports._jsonStringifyString = (value) => JSON.stringify(value);
-`
-
-const jsonIsStringifyScopedCheckerThrowStub = `module.exports._throwTypeGuardError = (props) => {
-  const error = new Error(props.expected);
-  Object.assign(error, props);
-  throw error;
-};
-`