typia 15.0.0 → 15.1.0

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

@@ -3,25 +3,23 @@ package main
 import (
   "bytes"
   "os"
-  "os/exec"
   "path/filepath"
   "runtime"
   "strings"
   "testing"
 )
 
-// TestNullablePrimitivePropertyIsTransform verifies nullable primitive
-// properties keep their null guard in typia.is().
+// TestNullablePrimitivePropertyIsTransform verifies null alternatives on required primitive property checks.
 //
-// The object-property checker must not collapse `primitive | null` to the
-// primitive `typeof` branch. Required nullable properties exercise the branch
-// reported in #1806 because no optional-property shortcut can accept the value.
+// A required primitive-or-null property admits either value category and excludes missing/undefined; neither union order nor nesting changes that TypeScript meaning.
 //
-//  1. Transform a fixture with required number, string, and boolean nullable
-//     properties.
-//  2. Assert each property keeps both the primitive guard and the null guard.
-//  3. Execute the emitted validator against primitive, null, missing, and
-//     undefined runtime cases.
+// 1. Three primitive kinds, reversed union spelling and nested properties pin the generated disjunction. Missing/undefined runtime outcomes are not executed here.
+// 2. Emission contains null-or-primitive guards for number, string and boolean members, reversed number spelling and nested value fields.
+//
+// @evidence contracts/testing.md#behavioral-verification Emission contains null-or-primitive guards for number, string and boolean members, reversed number spelling and nested value fields.
+// @evidence contracts/testing.md#independent-expectations A required primitive-or-null property admits either value category and excludes missing/undefined; neither union order nor nesting changes that TypeScript meaning.
+// @evidence contracts/testing.md#distinguishing-cases Three primitive kinds, reversed union spelling and nested properties pin the generated disjunction. Missing/undefined runtime outcomes are not executed here.
+// @evidence contracts/testing.md#execution-ownership The native Go runner discovers TestNullablePrimitivePropertyIsTransform 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 TestNullablePrimitivePropertyIsTransform(t *testing.T) {
   project := nullablePrimitivePropertyProject(t)
   out := nullablePrimitivePropertyTransform(t, project, "ts")
@@ -34,27 +32,11 @@ func TestNullablePrimitivePropertyIsTransform(t *testing.T) {
     `null === input.value || "string" === typeof input.value`,
     `null === input.value || "boolean" === typeof input.value`,
   })
-  nullablePrimitivePropertyRunRuntimeCases(
-    t,
-    project,
-    nullablePrimitivePropertyTransform(t, project, "js"),
-  )
 }
 
 func nullablePrimitivePropertyProject(t *testing.T) string {
   t.Helper()
-  root := nullablePrimitivePropertyRepoRoot(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, "nullable-primitive-is-")
-  if err != nil {
-    t.Fatalf("create temp fixture: %v", err)
-  }
-  t.Cleanup(func() {
-    _ = os.RemoveAll(dir)
-  })
+  dir := ttscTypiaTestFixtureDirectory(t, "nullable-primitive-is-")
   src := filepath.Join(dir, "src")
   if err := os.MkdirAll(src, 0o755); err != nil {
     t.Fatalf("mkdir fixture src: %v", err)
@@ -127,35 +109,6 @@ func nullablePrimitivePropertyContainsAll(t *testing.T, text string, expected []
   }
 }
 
-func nullablePrimitivePropertyRunRuntimeCases(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)
-  }
-  if err := os.WriteFile(filepath.Join(runtimeDir, "typia-stub.cjs"), []byte("module.exports = {};\n"), 0o644); err != nil {
-    t.Fatalf("write typia stub: %v", err)
-  }
-  runtimeJS := strings.ReplaceAll(js, `require("typia")`, `require("./typia-stub.cjs")`)
-  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(nullablePrimitivePropertyRuntimeRunner), 0o644); err != nil {
-    t.Fatalf("write runtime runner: %v", err)
-  }
-  cmd := exec.Command(node, runner)
-  cmd.Dir = project
-  output, err := cmd.CombinedOutput()
-  if err != nil {
-    t.Fatalf("nullable primitive runtime cases failed: %v\n%s", err, output)
-  }
-}
-
 const nullablePrimitivePropertyTSConfig = `{
   "compilerOptions": {
     "target": "ES2022",
@@ -189,48 +142,3 @@ interface NullablePrimitiveProperties {
 export const isNullablePrimitive = (input: unknown): boolean =>
   typia.is<NullablePrimitiveProperties>(input);
 `
-
-const nullablePrimitivePropertyRuntimeRunner = `const { isNullablePrimitive } = require("./main.cjs");
-
-const valid = {
-  number: 1,
-  string: "alpha",
-  boolean: true,
-  reversedNumber: 2,
-  nested: { value: "nested" },
-  array: [{ value: false }],
-};
-const allNull = {
-  number: null,
-  string: null,
-  boolean: null,
-  reversedNumber: null,
-  nested: { value: null },
-  array: [{ value: null }],
-};
-const cases = [
-  ["valid primitives", valid, true],
-  ["all nullable fields are null", allNull, true],
-  ["wrong number primitive", { ...valid, number: "1" }, false],
-  ["wrong string primitive", { ...valid, string: 1 }, false],
-  ["wrong boolean primitive", { ...valid, boolean: "true" }, false],
-  ["wrong reversed primitive", { ...valid, reversedNumber: false }, false],
-  ["wrong nested nullable primitive", { ...valid, nested: { value: 1 } }, false],
-  ["wrong array nullable primitive", { ...valid, array: [{ value: "false" }] }, false],
-  ["missing required property", (() => {
-    const next = { ...valid };
-    delete next.number;
-    return next;
-  })(), false],
-  ["present undefined required property", { ...valid, number: undefined }, false],
-  ["present undefined nested property", { ...valid, nested: { value: undefined } }, false],
-  ["present undefined array property", { ...valid, array: [{ value: undefined }] }, false],
-];
-
-for (const [name, input, expected] of cases) {
-  const actual = isNullablePrimitive(input);
-  if (actual !== expected) {
-    throw new Error(name + ": expected " + expected + " but got " + actual);
-  }
-}
-`

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

@@ -2,23 +2,22 @@ package main
 
 import (
   "os"
-  "os/exec"
   "path/filepath"
   "strings"
   "testing"
 )
 
-// TestObjectCustomTagValidationTransform verifies object-target custom tags run.
+// TestObjectCustomTagValidationTransform verifies object-level predicates alongside structural checks.
 //
-// Object tags are stored on MetadataObject references, while object validator
-// functions are shared by MetadataObjectType. This test pins the reference-level
-// tag check so the transform cannot silently drop object custom validations when
-// it reuses the shared object validator.
+// Object tags constrain the container itself; structural property validation cannot substitute for authored key-count or custom predicates.
 //
-//  1. Transform a fixture with an object-target `TagBase` validator.
-//  2. Assert the generated JavaScript contains the custom object expressions.
-//  3. Execute the emitted validators, requiring `createIs`, `createValidate`,
-//     `createAssert`, and equals variants to preserve object tag semantics.
+// 1. Two object cardinality bounds and a side-effecting tag exercise wrapper emission without claiming its runtime call count.
+// 2. Emission contains Object.keys with both one-key minimum and two-key maximum and retains the side-effecting custom tag reference.
+//
+// @evidence contracts/testing.md#behavioral-verification Emission contains Object.keys with both one-key minimum and two-key maximum and retains the side-effecting custom tag reference.
+// @evidence contracts/testing.md#independent-expectations Object tags constrain the container itself; structural property validation cannot substitute for authored key-count or custom predicates.
+// @evidence contracts/testing.md#distinguishing-cases Two object cardinality bounds and a side-effecting tag exercise wrapper emission without claiming its runtime call count.
+// @evidence contracts/testing.md#execution-ownership The native Go runner discovers TestObjectCustomTagValidationTransform 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 TestObjectCustomTagValidationTransform(t *testing.T) {
   project := objectCustomTagValidationProject(t)
   js := objectCustomTagValidationTransform(t, project, "js")
@@ -28,23 +27,11 @@ func TestObjectCustomTagValidationTransform(t *testing.T) {
   if !strings.Contains(js, "__objectTagCount") {
     t.Fatalf("side-effecting object custom tag validation was not emitted:\n%s", js)
   }
-  objectCustomTagValidationRunRuntimeCases(t, project, js)
 }
 
 func objectCustomTagValidationProject(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, "object-custom-tag-")
-  if err != nil {
-    t.Fatalf("create temp fixture: %v", err)
-  }
-  t.Cleanup(func() {
-    _ = os.RemoveAll(dir)
-  })
+  dir := ttscTypiaTestFixtureDirectory(t, "object-custom-tag-")
   src := filepath.Join(dir, "src")
   if err := os.MkdirAll(src, 0o755); err != nil {
     t.Fatalf("mkdir fixture src: %v", err)
@@ -74,33 +61,6 @@ func objectCustomTagValidationTransform(t *testing.T, project string, output str
   return out
 }
 
-func objectCustomTagValidationRunRuntimeCases(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(objectCustomTagValidationRuntimeRunner), 0o644); err != nil {
-    t.Fatalf("write runtime runner: %v", err)
-  }
-  cmd := exec.Command(node, runner)
-  cmd.Dir = project
-  output, err := cmd.CombinedOutput()
-  if err != nil {
-    t.Fatalf("object custom tag runtime cases failed: %v\n%s", err, output)
-  }
-}
-
 const objectCustomTagValidationTSConfig = `{
   "compilerOptions": {
     "target": "ES2022",
@@ -268,65 +228,3 @@ export const run = () => ({
   }),
 });
 `
-
-const objectCustomTagValidationRuntimeRunner = `const mod = require("./main.cjs");
-const result = mod.run();
-
-if (result.emptyIs !== false) throw new Error("empty object passed createIs");
-if (result.validIs !== true) throw new Error("non-empty object failed createIs");
-if (result.emptyValidate !== false) throw new Error("empty object passed createValidate");
-if (result.validValidate !== true) throw new Error("non-empty object failed createValidate");
-if (result.emptyEquals !== false) throw new Error("empty object passed createEquals");
-if (result.validEquals !== true) throw new Error("non-empty object failed createEquals");
-if (result.emptyValidateEquals !== false) throw new Error("empty object passed createValidateEquals");
-if (result.validValidateEquals !== true) throw new Error("non-empty object failed createValidateEquals");
-if (result.directEmptyEquals !== false) throw new Error("empty object passed direct equals");
-if (result.directValidEquals !== true) throw new Error("non-empty object failed direct equals");
-if (result.directEmptyValidateEquals !== false) throw new Error("empty object passed direct validateEquals");
-if (result.directValidValidateEquals !== true) throw new Error("non-empty object failed direct validateEquals");
-if (result.boundedEmptyIs !== false) throw new Error("empty object passed bounded createIs");
-if (result.boundedSingleIs !== true) throw new Error("single-entry object failed bounded createIs");
-if (result.boundedTooManyIs !== false) throw new Error("too-large object passed bounded createIs");
-if (result.boundedEmptyValidate !== false) throw new Error("empty object passed bounded createValidate");
-if (result.boundedSingleValidate !== true) throw new Error("single-entry object failed bounded createValidate");
-if (result.boundedTooManyValidate !== false) throw new Error("too-large object passed bounded createValidate");
-if (result.unionInvalidAIs !== false) throw new Error("tagged union branch passed createIs without enough entries");
-if (result.unionValidAIs !== true) throw new Error("tagged union branch failed createIs with enough entries");
-if (result.unionValidBIs !== true) throw new Error("untagged union branch failed createIs");
-if (result.unionInvalidAValidate.success !== false) throw new Error("tagged union branch passed createValidate without enough entries");
-if (!result.unionInvalidAValidate.errors.some((error) => error.path === "$input")) {
-  throw new Error("tagged union custom tag failure did not report the union path: " + JSON.stringify(result.unionInvalidAValidate.errors));
-}
-if (!result.unionInvalidAAssert || result.unionInvalidAAssert.path !== "$input") {
-  throw new Error("tagged union custom tag assert reported the wrong path: " + JSON.stringify(result.unionInvalidAAssert));
-}
-if (result.unionValidAValidate !== true) throw new Error("tagged union branch failed createValidate with enough entries");
-if (result.unionValidBValidate !== true) throw new Error("untagged union branch failed createValidate");
-if (result.unionValidBAssert !== null) throw new Error("untagged union branch failed createAssert");
-if (result.countedUnionValid.value !== true || result.countedUnionValid.count !== 1) {
-  throw new Error("selected tagged union branch executed its object tag more than once: " + JSON.stringify(result.countedUnionValid));
-}
-if (result.countedUnionValidValidate.value !== true || result.countedUnionValidValidate.count !== 1) {
-  throw new Error("selected validate union branch executed its object tag more than once: " + JSON.stringify(result.countedUnionValidValidate));
-}
-if (result.countedUnionValidAssert.value !== null || result.countedUnionValidAssert.count !== 1) {
-  throw new Error("selected assert union branch executed its object tag more than once: " + JSON.stringify(result.countedUnionValidAssert));
-}
-if (result.countedUnionPlain.value !== true || result.countedUnionPlain.count !== 0) {
-  throw new Error("untagged union branch executed an unrelated object tag: " + JSON.stringify(result.countedUnionPlain));
-}
-if (result.containerValidBAssert !== null) throw new Error("nested untagged union branch failed createAssert");
-if (!result.containerInvalidOtherAssert || result.containerInvalidOtherAssert.path !== "$input.other") {
-  throw new Error("nested union slow-path assert reported the wrong path: " + JSON.stringify(result.containerInvalidOtherAssert));
-}
-if (result.containerInvalidOtherValidate.success !== false) {
-  throw new Error("container with invalid other property passed createValidate");
-}
-const paths = result.containerInvalidOtherValidate.errors.map((error) => error.path);
-if (paths.includes("$input.union")) {
-  throw new Error("nested valid union emitted a spurious validation error: " + JSON.stringify(result.containerInvalidOtherValidate.errors));
-}
-if (!paths.includes("$input.other")) {
-  throw new Error("container validation did not report the invalid other property: " + JSON.stringify(result.containerInvalidOtherValidate.errors));
-}
-`

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

@@ -2,8 +2,8 @@ package main
 
 import (
   "os"
-  "os/exec"
   "path/filepath"
+  "strings"
   "testing"
 )
 
@@ -16,29 +16,82 @@ import (
 // component, so OpenAPI validation saw every branch as the same shape.
 //
 //  1. Transform a local fixture mirroring the template structure.
-//  2. Execute the emitted JavaScript with typia runtime imports stubbed out.
+//  2. Decode the emitted schema literal AST without executing JavaScript.
 //  3. Assert the `Shape` oneOf points to seven distinct discriminator
 //     components and that each component retains its literal kind and fields.
+//
+// @evidence contracts/testing.md#behavioral-verification Exactly one seven-branch Shape union contains distinct references and all seven authored discriminator literals; every component retains its kind-specific fields.
+// @evidence contracts/testing.md#independent-expectations Expected primitive types, discriminator literals and member names come from the authored TypeScript type, not a previous transform snapshot. AST literal decoding interprets the emitted result but does not execute JavaScript.
+// @evidence contracts/testing.md#distinguishing-cases Exactly one seven-branch Shape union contains distinct references and all seven authored discriminator literals; every component retains its kind-specific fields.
+// @evidence contracts/testing.md#execution-ownership The native Go runner discovers TestObjectUnionExplicitPointerSchemaTransform as a unit test. It runs the transform in process and parses its result through the in-memory TypeScript parser; no compiler or JavaScript subprocess is launched.
 func TestObjectUnionExplicitPointerSchemaTransform(t *testing.T) {
   project := objectUnionExplicitPointerSchemaProject(t)
   js := objectUnionExplicitPointerSchemaTransform(t, project)
-  objectUnionExplicitPointerSchemaRunRuntimeCases(t, project, js)
+  unit := ttscTypiaTestSchemaLiteral(t, js)
+  schemas := ttscTypiaTestSchemaPath(t, unit, "components", "schemas").(map[string]any)
+  expected := map[string][]string{"circle": {"centroid", "radius"}, "line": {"p1", "p2"}, "point": {"x", "y"}, "polygon": {"outer", "inner"}, "polyline": {"points"}, "rectangle": {"p1", "p2", "p3", "p4"}, "triangle": {"p1", "p2", "p3"}}
+  candidates := 0
+  for _, value := range schemas {
+    shape, ok := value.(map[string]any)
+    if !ok {
+      continue
+    }
+    branches, ok := shape["oneOf"].([]any)
+    if !ok || len(branches) != 7 {
+      continue
+    }
+    kinds := map[string]bool{}
+    refs := map[string]bool{}
+    for _, value := range branches {
+      branch, ok := value.(map[string]any)
+      if !ok {
+        t.Fatalf("non-object branch %#v", value)
+      }
+      ref, ok := branch["$ref"].(string)
+      if !ok || refs[ref] {
+        t.Fatalf("missing or duplicated reference %#v", branch)
+      }
+      refs[ref] = true
+      name := ref[strings.LastIndex(ref, "/")+1:]
+      target, ok := schemas[name].(map[string]any)
+      if !ok {
+        t.Fatalf("missing target %s", ref)
+      }
+      properties, ok := target["properties"].(map[string]any)
+      if !ok {
+        t.Fatalf("missing properties %s", ref)
+      }
+      typ, ok := properties["type"].(map[string]any)
+      if !ok {
+        t.Fatalf("missing discriminator %s", ref)
+      }
+      kind, ok := typ["const"].(string)
+      if !ok {
+        if enums, valid := typ["enum"].([]any); valid && len(enums) > 0 {
+          kind, ok = enums[0].(string)
+        }
+      }
+      fields, valid := expected[kind]
+      if !ok || !valid || kinds[kind] {
+        t.Fatalf("wrong or repeated discriminator %#v", typ)
+      }
+      kinds[kind] = true
+      for _, field := range fields {
+        if _, ok := properties[field]; !ok {
+          t.Fatalf("%s lost field %s", kind, field)
+        }
+      }
+    }
+    candidates++
+  }
+  if candidates != 1 {
+    t.Fatalf("expected one complete seven-branch Shape union, got %d", candidates)
+  }
 }
 
 func objectUnionExplicitPointerSchemaProject(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, "object-union-explicit-pointer-schema-")
-  if err != nil {
-    t.Fatalf("create temp fixture: %v", err)
-  }
-  t.Cleanup(func() {
-    _ = os.RemoveAll(dir)
-  })
+  dir := ttscTypiaTestFixtureDirectory(t, "object-union-explicit-pointer-schema-")
   src := filepath.Join(dir, "src")
   if err := os.MkdirAll(src, 0o755); err != nil {
     t.Fatalf("mkdir fixture src: %v", err)
@@ -68,33 +121,6 @@ func objectUnionExplicitPointerSchemaTransform(t *testing.T, project string) str
   return out
 }
 
-func objectUnionExplicitPointerSchemaRunRuntimeCases(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(objectUnionExplicitPointerSchemaRuntimeRunner), 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("object union explicit pointer schema runtime cases failed: %v\n%s", err, output)
-  }
-}
-
 const objectUnionExplicitPointerSchemaTSConfig = `{
   "compilerOptions": {
     "target": "ES2022",
@@ -195,75 +221,3 @@ export namespace ObjectUnionExplicitPointer {
 
 export const schema = typia.json.schema<ObjectUnionExplicitPointer>();
 `
-
-const objectUnionExplicitPointerSchemaRuntimeRunner = `const unit = require("./main.cjs").schema;
-
-const schemas = unit.components?.schemas ?? {};
-const expectedKinds = ["circle", "line", "point", "polygon", "polyline", "rectangle", "triangle"];
-const expectedFields = {
-  circle: ["centroid", "radius"],
-  line: ["p1", "p2"],
-  point: ["x", "y"],
-  polygon: ["outer", "inner"],
-  polyline: ["points"],
-  rectangle: ["p1", "p2", "p3", "p4"],
-  triangle: ["p1", "p2", "p3"],
-};
-
-const schemaName = (ref) => ref.split("/").at(-1);
-const refsOf = (schema) =>
-  Array.isArray(schema?.oneOf)
-    ? schema.oneOf.map((branch) => branch?.$ref).filter((ref) => typeof ref === "string")
-    : [];
-const literalOf = (schema) => {
-  const property = schema?.properties?.type;
-  if (typeof property?.const === "string") return property.const;
-  if (Array.isArray(property?.enum) && typeof property.enum[0] === "string") return property.enum[0];
-  return undefined;
-};
-const sameStrings = (actual, expected) =>
-  JSON.stringify([...actual].sort()) === JSON.stringify([...expected].sort());
-
-const candidates = Object.entries(schemas).filter(([, schema]) => {
-  const refs = refsOf(schema);
-  const unique = [...new Set(refs)];
-  if (refs.length !== 7 || unique.length !== 7) return false;
-  const kinds = unique
-    .map((ref) => literalOf(schemas[schemaName(ref)]))
-    .filter((kind) => typeof kind === "string");
-  return sameStrings(kinds, expectedKinds);
-});
-
-if (candidates.length !== 1) {
-  throw new Error(
-    "expected exactly one seven-branch Shape oneOf, got " +
-      candidates.length +
-      " among components " +
-      JSON.stringify(Object.keys(schemas)),
-  );
-}
-
-const [shapeName, shape] = candidates[0];
-const refs = refsOf(shape);
-const uniqueRefs = [...new Set(refs)];
-if (refs.length !== 7 || uniqueRefs.length !== 7) {
-  throw new Error(shapeName + " collapsed discriminator refs: " + JSON.stringify(refs));
-}
-
-for (const ref of uniqueRefs) {
-  const target = schemas[schemaName(ref)];
-  if (target === undefined) {
-    throw new Error("missing component for " + ref);
-  }
-  const kind = literalOf(target);
-  if (expectedKinds.includes(kind) === false) {
-    throw new Error("unexpected discriminator kind for " + ref + ": " + JSON.stringify(target));
-  }
-  const properties = target.properties ?? {};
-  for (const field of expectedFields[kind]) {
-    if (properties[field] === undefined) {
-      throw new Error(kind + " branch lost field " + field + ": " + JSON.stringify(target));
-    }
-  }
-}
-`