typia 7.0.0-dev.20241012 → 7.0.0-dev.20241019

package/src/factories/ProtobufFactory.ts

@@ -1,12 +1,18 @@
 import ts from "typescript";
 
+import { IMetadataTypeTag } from "../schemas/metadata/IMetadataTypeTag";
 import { Metadata } from "../schemas/metadata/Metadata";
 import { MetadataObjectType } from "../schemas/metadata/MetadataObjectType";
+import { MetadataProperty } from "../schemas/metadata/MetadataProperty";
+import { IProtobufProperty } from "../schemas/protobuf/IProtobufProperty";
+import { IProtobufPropertyType } from "../schemas/protobuf/IProtobufPropertyType";
+import { IProtobufSchema } from "../schemas/protobuf/IProtobufSchema";
 
 import { ProtobufUtil } from "../programmers/helpers/ProtobufUtil";
 
 import { TransformerError } from "../transformers/TransformerError";
 
+import { ProtobufAtomic } from "../typings/ProtobufAtomic";
 import { ValidationPipe } from "../typings/ValidationPipe";
 
 import { MetadataCollection } from "./MetadataCollection";
@@ -21,6 +27,9 @@ export namespace ProtobufFactory {
     type: ts.Type;
   }
 
+  /* -----------------------------------------------------------
+    METADATA COMPOSER
+  ----------------------------------------------------------- */
   export const metadata = (props: IProps): Metadata => {
     // COMPOSE METADATA WITH INDIVIDUAL VALIDATIONS
     const result: ValidationPipe<Metadata, MetadataFactory.IError> =
@@ -31,7 +40,7 @@ export namespace ProtobufFactory {
           escape: false,
           constant: true,
           absorb: true,
-          validate,
+          validate: validate(),
         },
       });
     if (result.success === false)
@@ -42,192 +51,791 @@ export namespace ProtobufFactory {
     return result.data;
   };
 
-  const validate = (
+  /**
+   * @internal
+   */
+  export const emplaceObject = (object: MetadataObjectType): void => {
+    for (const p of object.properties) emplaceProperty(p);
+    const properties: IProtobufProperty[] = object.properties
+      .map((p) => p.of_protobuf_)
+      .filter((p) => p !== undefined);
+    const unique: Set<number> = new Set(
+      properties
+        .filter((p) => p !== undefined)
+        .filter((p) => p.fixed === true)
+        .map((p) => p.union.map((u) => u.index))
+        .flat(),
+    );
+    let index: number = 1;
+    properties.forEach((schema) => {
+      if (schema.fixed === true)
+        index = Math.max(
+          index,
+          Math.max(...schema.union.map((u) => u.index)) + 1,
+        );
+      else {
+        for (const u of schema.union) {
+          while (unique.has(index) === true) ++index;
+          u.index = index;
+          unique.add(index);
+        }
+        ++index;
+      }
+    });
+  };
+
+  const emplaceProperty = (prop: MetadataProperty): void => {
+    const union: IProtobufPropertyType[] = [];
+    for (const native of prop.value.natives)
+      if (native.name === "Uint8Array")
+        union.push({
+          type: "bytes",
+          index: ProtobufUtil.getSequence(native.tags[0] ?? [])!,
+        });
+    union.push(...emplaceAtomic(prop.value).values());
+    for (const array of prop.value.arrays)
+      union.push({
+        type: "array",
+        array: array.type,
+        value: emplaceSchema(
+          array.type.value,
+        ) as IProtobufSchema.IArray["value"],
+        index: ProtobufUtil.getSequence(array.tags[0] ?? [])!,
+      });
+    for (const obj of prop.value.objects)
+      if (isDynamicObject(obj.type))
+        union.push({
+          type: "map",
+          map: obj.type,
+          key: emplaceSchema(
+            obj.type.properties[0]!.key,
+          ) as IProtobufSchema.IMap["key"],
+          value: emplaceSchema(
+            obj.type.properties[0]!.value,
+          ) as IProtobufSchema.IMap["value"],
+          index: ProtobufUtil.getSequence(obj.tags[0] ?? [])!,
+        });
+      else
+        union.push({
+          type: "object",
+          object: obj.type,
+          index: ProtobufUtil.getSequence(obj.tags[0] ?? [])!,
+        });
+    for (const map of prop.value.maps)
+      union.push({
+        type: "map",
+        map,
+        key: emplaceSchema(map.key) as IProtobufSchema.IMap["key"],
+        value: emplaceSchema(map.value) as IProtobufSchema.IMap["value"],
+        index: ProtobufUtil.getSequence(map.tags[0] ?? [])!,
+      });
+    prop.of_protobuf_ = {
+      union,
+      fixed: union.every((p) => p.index !== null),
+    };
+  };
+
+  const emplaceSchema = (metadata: Metadata): IProtobufSchema => {
+    for (const native of metadata.natives)
+      if (native.name === "Uint8Array")
+        return {
+          type: "bytes",
+        };
+    const atomic = emplaceAtomic(metadata);
+    if (atomic.size) return atomic.values().next().value!;
+    for (const array of metadata.arrays)
+      return {
+        type: "array",
+        array: array.type,
+        value: emplaceSchema(
+          array.type.value,
+        ) as IProtobufSchema.IArray["value"],
+      };
+    for (const obj of metadata.objects)
+      if (isDynamicObject(obj.type))
+        return {
+          type: "map",
+          map: obj.type,
+          key: emplaceSchema(
+            obj.type.properties[0]!.key,
+          ) as IProtobufSchema.IMap["key"],
+          value: emplaceSchema(
+            obj.type.properties[0]!.value,
+          ) as IProtobufSchema.IMap["value"],
+        };
+      else
+        return {
+          type: "object",
+          object: obj.type,
+        };
+    for (const map of metadata.maps)
+      return {
+        type: "map",
+        map,
+        key: emplaceSchema(map.key) as IProtobufSchema.IMap["key"],
+        value: emplaceSchema(map.value) as IProtobufSchema.IMap["value"],
+      };
+    throw new Error(
+      "Error on ProtobufFactory.emplaceSchema(): any type detected.",
+    );
+  };
+
+  const emplaceAtomic = (
     meta: Metadata,
-    explore: MetadataFactory.IExplore,
-  ): string[] => {
-    const errors: string[] = [];
-    const insert = (msg: string) => errors.push(msg);
-
-    if (explore.top === true) {
-      const onlyObject: boolean =
-        meta.size() === 1 &&
-        meta.objects.length === 1 &&
-        meta.objects[0]!.type.properties.every((p) => p.key.isSoleLiteral()) &&
-        meta.isRequired() === true &&
-        meta.nullable === false;
-      if (onlyObject === false)
-        insert("target type must be a sole and static object type");
+  ): Map<ProtobufAtomic, IProtobufPropertyType> => {
+    const map: Map<ProtobufAtomic, IProtobufPropertyType> = new Map();
+
+    // CONSTANTS
+    for (const c of meta.constants)
+      if (c.type === "boolean")
+        map.set("bool", {
+          type: "bool",
+          index: getSequence(c.values[0]?.tags[0] ?? [])!,
+        });
+      else if (c.type === "bigint") {
+        const init: ProtobufAtomic.BigNumeric = getBigintType(
+          c.values.map((v) => BigInt(v.value)),
+        );
+        for (const value of c.values)
+          emplaceBigint({
+            map,
+            tags: value.tags,
+            init,
+          });
+      } else if (c.type === "number") {
+        const init: ProtobufAtomic.Numeric = getNumberType(
+          c.values.map((v) => v.value) as number[],
+        );
+        for (const value of c.values)
+          emplaceNumber({
+            map,
+            tags: value.tags,
+            init,
+          });
+      } else if (c.type === "string")
+        map.set("string", {
+          type: "string",
+          index: getSequence(c.values[0]?.tags[0] ?? [])!,
+        });
+
+    // TEMPLATE
+    if (meta.templates.length)
+      map.set("string", {
+        type: "string",
+        index: getSequence(meta.templates[0]?.tags[0] ?? [])!,
+      });
+
+    // ATOMICS
+    for (const atomic of meta.atomics)
+      if (atomic.type === "boolean")
+        map.set("bool", {
+          type: "bool",
+          index: getSequence(atomic.tags[0] ?? [])!,
+        });
+      else if (atomic.type === "bigint")
+        emplaceBigint({
+          map,
+          tags: atomic.tags,
+          init: "int64",
+        });
+      else if (atomic.type === "number")
+        emplaceNumber({
+          map,
+          tags: atomic.tags,
+          init: "double",
+        });
+      else if (atomic.type === "string")
+        map.set("string", {
+          type: "string",
+          index: getSequence(atomic.tags[0] ?? [])!,
+        });
+
+    // SORTING IF REQUIRED
+    if (map.size && map.values().next().value!.index === null)
+      return new Map(
+        Array.from(map).sort((x, y) => ProtobufUtil.compare(x[0], y[0])),
+      );
+    return map;
+  };
+
+  const emplaceBigint = (next: {
+    map: Map<ProtobufAtomic, IProtobufPropertyType>;
+    tags: IMetadataTypeTag[][];
+    init: ProtobufAtomic.BigNumeric;
+  }): void => {
+    if (next.tags.length === 0) {
+      next.map.set(next.init, {
+        type: "bigint",
+        name: next.init,
+        index: null!,
+      });
+      return;
     }
+    for (const row of next.tags) {
+      const value: ProtobufAtomic.BigNumeric =
+        row.find(
+          (tag) =>
+            tag.kind === "type" &&
+            (tag.value === "int64" || tag.value === "uint64"),
+        )?.value ?? next.init;
+      next.map.set(next.init, {
+        type: "bigint",
+        name: value,
+        index: ProtobufUtil.getSequence(row)!,
+      });
+    }
+  };
 
-    //----
-    // NOT SUPPORTED TYPES
-    //----
-    const noSupport = (msg: string) => insert(`does not support ${msg}`);
-
-    // PROHIBIT ANY TYPE
-    if (meta.any) noSupport("any type");
-    // PROHIBIT FUNCTIONAL TYPE
-    if (meta.functions.length) noSupport("functional type");
-    // PROHIBIT TUPLE TYPE
-    if (meta.tuples.length) noSupport("tuple type");
-    // PROHIBIT SET TYPE
-    if (meta.sets.length) noSupport("Set type");
-    // NATIVE TYPE, BUT NOT Uint8Array
-    if (meta.natives.length)
-      for (const native of meta.natives) {
-        if (native === "Uint8Array") continue;
-
-        const instead = BANNED_NATIVE_TYPES.get(native);
-        if (instead === undefined) noSupport(`${native} type`);
-        else noSupport(`${native} type. Use ${instead} type instead.`);
-      }
-    //----
-    // ATOMIC CASES
-    //----
-    if (meta.atomics.length) {
-      const numbers = ProtobufUtil.getNumbers(meta);
-      const bigints = ProtobufUtil.getBigints(meta);
-
-      for (const type of ["int64", "uint64"])
-        if (numbers.some((n) => n === type) && bigints.some((b) => b === type))
-          insert(
-            `tags.Type<"${type}"> cannot be used in both number and bigint types. Recommend to remove from number type`,
-          );
+  const emplaceNumber = (next: {
+    map: Map<ProtobufAtomic, IProtobufPropertyType>;
+    tags: IMetadataTypeTag[][];
+    init: ProtobufAtomic.Numeric;
+  }): void => {
+    if (next.tags.length === 0) {
+      next.map.set(next.init, {
+        type: "number",
+        name: next.init,
+        index: null!,
+      });
+      return;
+    }
+    for (const row of next.tags) {
+      const value: ProtobufAtomic.Numeric =
+        row.find(
+          (tag) =>
+            tag.kind === "type" &&
+            (tag.value === "int32" ||
+              tag.value === "uint32" ||
+              tag.value === "int64" ||
+              tag.value === "uint64" ||
+              tag.value === "float" ||
+              tag.value === "double"),
+        )?.value ?? next.init;
+      next.map.set(value, {
+        type: "number",
+        name: value,
+        index: ProtobufUtil.getSequence(row)!,
+      });
     }
-    //----
-    // ARRRAY CASES
-    //----
-    // DO NOT ALLOW MULTI-DIMENTIONAL ARRAY
-    if (
-      meta.arrays.length &&
-      meta.arrays.some((array) => !!array.type.value.arrays.length)
-    )
-      noSupport("over two dimenstional array type");
-    // CHILD OF ARRAY TYPE MUST BE REQUIRED
-    if (
-      meta.arrays.length &&
-      meta.arrays.some(
-        (array) =>
-          array.type.value.isRequired() === false ||
-          array.type.value.nullable === true,
+  };
+
+  const getBigintType = (values: bigint[]): ProtobufAtomic.BigNumeric =>
+    values.some((v) => v < 0) ? "int64" : "uint64";
+
+  const getNumberType = (values: number[]): ProtobufAtomic.Numeric =>
+    values.every((v) => Math.floor(v) === v)
+      ? values.every((v) => -2147483648 <= v && v <= 2147483647)
+        ? "int32"
+        : "int64"
+      : "double";
+
+  const getSequence = (tags: IMetadataTypeTag[]): number | null => {
+    const sequence = tags.find(
+      (t) =>
+        t.kind === "sequence" &&
+        typeof (t.schema as any)?.["x-protobuf-sequence"] === "number",
+    );
+    if (sequence === undefined) return null;
+    const value: number = Number(
+      (sequence.schema as any)["x-protobuf-sequence"],
+    );
+    return Number.isNaN(value) ? null : value;
+  };
+
+  /* -----------------------------------------------------------
+    VALIDATORS
+  ----------------------------------------------------------- */
+  const validate = () => {
+    const visited: WeakSet<MetadataObjectType> = new WeakSet();
+    return (meta: Metadata, explore: MetadataFactory.IExplore): string[] => {
+      const errors: string[] = [];
+      const insert = (msg: string) => errors.push(msg);
+
+      if (explore.top === true) {
+        const onlyObject: boolean =
+          meta.size() === 1 &&
+          meta.objects.length === 1 &&
+          meta.objects[0]!.type.properties.every((p) =>
+            p.key.isSoleLiteral(),
+          ) &&
+          meta.isRequired() === true &&
+          meta.nullable === false;
+        if (onlyObject === false)
+          insert("target type must be a sole and static object type");
+      }
+      if (explore.object !== null && visited.has(explore.object) === false) {
+        visited.add(explore.object);
+        validateObject({
+          object: explore.object,
+          errors,
+        });
+        try {
+          emplaceObject(explore.object);
+        } catch {}
+      }
+
+      //----
+      // NOT SUPPORTED TYPES
+      //----
+      const noSupport = (msg: string) => insert(`does not support ${msg}`);
+
+      // PROHIBIT ANY TYPE
+      if (meta.any) noSupport("any type");
+      // PROHIBIT FUNCTIONAL TYPE
+      if (meta.functions.length) noSupport("functional type");
+      // PROHIBIT TUPLE TYPE
+      if (meta.tuples.length) noSupport("tuple type");
+      // PROHIBIT SET TYPE
+      if (meta.sets.length) noSupport("Set type");
+      // NATIVE TYPE, BUT NOT Uint8Array
+      if (meta.natives.length)
+        for (const native of meta.natives) {
+          if (native.name === "Uint8Array") continue;
+
+          const instead = BANNED_NATIVE_TYPES.get(native.name);
+          if (instead === undefined) noSupport(`${native.name} type`);
+          else noSupport(`${native.name} type. Use ${instead} type instead.`);
+        }
+      //----
+      // ATOMIC CASES
+      //----
+      if (meta.atomics.length) {
+        const numbers = ProtobufUtil.getNumbers(meta);
+        const bigints = ProtobufUtil.getBigints(meta);
+
+        for (const type of ["int64", "uint64"])
+          if (numbers.has(type) && bigints.has(type))
+            insert(
+              `tags.Type<"${type}"> cannot be used in both number and bigint types. Recommend to remove from number type`,
+            );
+      }
+      //----
+      // ARRRAY CASES
+      //----
+      // DO NOT ALLOW MULTI-DIMENTIONAL ARRAY
+      if (
+        meta.arrays.length &&
+        meta.arrays.some((array) => !!array.type.value.arrays.length)
       )
-    )
-      noSupport("optional type in array");
-    // UNION IN ARRAY
-    if (
-      meta.arrays.length &&
-      meta.arrays.some(
-        (a) =>
-          a.type.value.size() > 1 &&
-          a.type.value.constants.length !== 1 &&
-          a.type.value.constants[0]?.values.length !== a.type.value.size(),
+        noSupport("over two dimenstional array type");
+      // CHILD OF ARRAY TYPE MUST BE REQUIRED
+      if (
+        meta.arrays.length &&
+        meta.arrays.some(
+          (array) =>
+            array.type.value.isRequired() === false ||
+            array.type.value.nullable === true,
+        )
       )
-    )
-      noSupport("union type in array");
-    // DO DYNAMIC OBJECT IN ARRAY
-    if (
-      meta.arrays.length &&
-      meta.arrays.some(
-        (a) =>
-          a.type.value.maps.length ||
-          (a.type.value.objects.length &&
-            a.type.value.objects.some(
-              (o) => ProtobufUtil.isStaticObject(o.type) === false,
-            )),
+        noSupport("optional type in array");
+      // UNION IN ARRAY
+      if (
+        meta.arrays.length &&
+        meta.arrays.some(
+          (a) =>
+            a.type.value.size() > 1 &&
+            a.type.value.constants.length !== 1 &&
+            a.type.value.constants[0]?.values.length !== a.type.value.size(),
+        )
       )
-    )
-      noSupport("dynamic object in array");
-    // UNION WITH ARRAY
-    if (meta.size() > 1 && meta.arrays.length)
-      noSupport("union type with array type");
-    //----
-    // OBJECT CASES
-    //----
-    // EMPTY PROPERTY
-    if (
-      meta.objects.length &&
-      meta.objects.some((obj) => obj.type.properties.length === 0)
-    )
-      noSupport("empty object type");
-    // MULTIPLE DYNAMIC KEY TYPED PROPERTIES
-    if (
-      meta.objects.length &&
-      meta.objects.some(
-        (obj) =>
-          obj.type.properties.filter((p) => !p.key.isSoleLiteral()).length > 1,
+        noSupport("union type in array");
+      // DO DYNAMIC OBJECT IN ARRAY
+      if (
+        meta.arrays.length &&
+        meta.arrays.some(
+          (a) =>
+            a.type.value.maps.length ||
+            (a.type.value.objects.length &&
+              a.type.value.objects.some(
+                (o) => ProtobufUtil.isStaticObject(o.type) === false,
+              )),
+        )
       )
-    )
-      noSupport(
-        "object type with multiple dynamic key typed properties. Keep only one.",
-      );
-    // STATIC AND DYNAMIC PROPERTIES ARE COMPATIBLE
-    if (
-      meta.objects.length &&
-      meta.objects.some(
-        (obj) =>
-          obj.type.properties.some((p) => p.key.isSoleLiteral()) &&
-          obj.type.properties.some((p) => !p.key.isSoleLiteral()),
+        noSupport("dynamic object in array");
+      // UNION WITH ARRAY
+      if (meta.size() > 1 && meta.arrays.length)
+        noSupport("union type with array type");
+      //----
+      // OBJECT CASES
+      //----
+      // EMPTY PROPERTY
+      if (
+        meta.objects.length &&
+        meta.objects.some((obj) => obj.type.properties.length === 0)
       )
-    )
-      noSupport(
-        "object type with mixed static and dynamic key typed properties. Keep statics or dynamic only.",
-      );
-    // DYNAMIC OBJECT, BUT PROPERTY VALUE TYPE IS ARRAY
-    if (
-      meta.objects.length &&
-      isDynamicObject(meta.objects[0]!.type) &&
-      meta.objects[0]!.type.properties.some((p) => !!p.value.arrays.length)
-    )
-      noSupport("dynamic object with array value type");
-    // UNION WITH DYNAMIC OBJECTa
-    if (
-      meta.size() > 1 &&
-      meta.objects.length &&
-      isDynamicObject(meta.objects[0]!.type)
-    )
-      noSupport("union type with dynamic object type");
-    // UNION IN DYNAMIC PROPERTY VALUE
-    if (
-      meta.objects.length &&
-      meta.objects.some(
-        (obj) =>
-          isDynamicObject(obj.type) &&
-          obj.type.properties.some((p) => ProtobufUtil.isUnion(p.value)),
+        noSupport("empty object type");
+      // MULTIPLE DYNAMIC KEY TYPED PROPERTIES
+      if (
+        meta.objects.length &&
+        meta.objects.some(
+          (obj) =>
+            obj.type.properties.filter((p) => !p.key.isSoleLiteral()).length >
+            1,
+        )
+      )
+        noSupport(
+          "object type with multiple dynamic key typed properties. Keep only one.",
+        );
+      // STATIC AND DYNAMIC PROPERTIES ARE COMPATIBLE
+      if (
+        meta.objects.length &&
+        meta.objects.some(
+          (obj) =>
+            obj.type.properties.some((p) => p.key.isSoleLiteral()) &&
+            obj.type.properties.some((p) => !p.key.isSoleLiteral()),
+        )
+      )
+        noSupport(
+          "object type with mixed static and dynamic key typed properties. Keep statics or dynamic only.",
+        );
+      // DYNAMIC OBJECT, BUT PROPERTY VALUE TYPE IS ARRAY
+      if (
+        meta.objects.length &&
+        isDynamicObject(meta.objects[0]!.type) &&
+        meta.objects[0]!.type.properties.some((p) => !!p.value.arrays.length)
+      )
+        noSupport("dynamic object with array value type");
+      // UNION WITH DYNAMIC OBJECTa
+      if (
+        meta.size() > 1 &&
+        meta.objects.length &&
+        isDynamicObject(meta.objects[0]!.type)
       )
-    )
-      noSupport("union type in dynamic property");
-    //----
-    // MAP CASES
-    //----
-    // KEY TYPE IS UNION
-    if (meta.maps.length && meta.maps.some((m) => ProtobufUtil.isUnion(m.key)))
-      noSupport("union key typed map");
-    // KEY TYPE IS NOT ATOMIC
-    if (
-      meta.maps.length &&
-      meta.maps.some((m) => ProtobufUtil.getAtomics(m.key).length !== 1)
-    )
-      noSupport("non-atomic key typed map");
-    // MAP TYPE, BUT PROPERTY KEY TYPE IS OPTIONAL
-    if (
-      meta.maps.length &&
-      meta.maps.some((m) => m.key.isRequired() === false || m.key.nullable)
-    )
-      noSupport("optional key typed map");
-    // MAP TYPE, BUT VALUE TYPE IS ARRAY
-    if (meta.maps.length && meta.maps.some((m) => !!m.value.arrays.length))
-      noSupport("map type with array value type");
-    // UNION WITH MAP
-    if (meta.size() > 1 && meta.maps.length)
-      noSupport("union type with map type");
-    // UNION IN MAP
-    if (
-      meta.maps.length &&
-      meta.maps.some((m) => ProtobufUtil.isUnion(m.value))
-    )
-      noSupport("union type in map value type");
-    return errors;
+        noSupport("union type with dynamic object type");
+      // UNION IN DYNAMIC PROPERTY VALUE
+      if (
+        meta.objects.length &&
+        meta.objects.some(
+          (obj) =>
+            isDynamicObject(obj.type) &&
+            obj.type.properties.some((p) => ProtobufUtil.isUnion(p.value)),
+        )
+      )
+        noSupport("union type in dynamic property");
+      //----
+      // MAP CASES
+      //----
+      // KEY TYPE IS UNION
+      if (
+        meta.maps.length &&
+        meta.maps.some((m) => ProtobufUtil.isUnion(m.key))
+      )
+        noSupport("union key typed map");
+      // KEY TYPE IS NOT ATOMIC
+      if (
+        meta.maps.length &&
+        meta.maps.some((m) => ProtobufUtil.getAtomics(m.key).size !== 1)
+      )
+        noSupport("non-atomic key typed map");
+      // MAP TYPE, BUT PROPERTY KEY TYPE IS OPTIONAL
+      if (
+        meta.maps.length &&
+        meta.maps.some((m) => m.key.isRequired() === false || m.key.nullable)
+      )
+        noSupport("optional key typed map");
+      // MAP TYPE, BUT VALUE TYPE IS ARRAY
+      if (meta.maps.length && meta.maps.some((m) => !!m.value.arrays.length))
+        noSupport("map type with array value type");
+      // UNION WITH MAP
+      if (meta.size() > 1 && meta.maps.length)
+        noSupport("union type with map type");
+      // UNION IN MAP
+      if (
+        meta.maps.length &&
+        meta.maps.some((m) => ProtobufUtil.isUnion(m.value))
+      )
+        noSupport("union type in map value type");
+      return errors;
+    };
+  };
+
+  /* -----------------------------------------------------------
+    SEQUENE VALIDATOR
+  ----------------------------------------------------------- */
+  const validateObject = (next: {
+    object: MetadataObjectType;
+    errors: string[];
+  }): void => {
+    for (const property of next.object.properties)
+      validateProperty({
+        metadata: property.value,
+        errors: next.errors,
+      });
+
+    const entire: Map<number, string> = new Map();
+    const visitProperty = (p: MetadataProperty) => {
+      const local: Set<number> = new Set();
+      const tagger = (matrix: IMetadataTypeTag[][]): void => {
+        matrix.forEach((tags) => {
+          const value: number | null = ProtobufUtil.getSequence(tags);
+          if (value !== null) local.add(value);
+        });
+      };
+      for (const c of p.value.constants)
+        for (const v of c.values) tagger(v.tags);
+      for (const a of p.value.atomics) tagger(a.tags);
+      for (const t of p.value.templates) tagger(t.tags);
+      for (const o of p.value.objects) tagger(o.tags);
+      for (const a of p.value.arrays) tagger(a.tags);
+
+      for (const s of local)
+        if (entire.has(s))
+          next.errors.push(
+            `The Sequence<${s}> tag is duplicated in two properties (${JSON.stringify(entire.get(s))} and ${JSON.stringify(p.key.getSoleLiteral())})`,
+          );
+        else entire.set(s, p.key.getSoleLiteral()!);
+    };
+    for (const p of next.object.properties) visitProperty(p);
+  };
+
+  const validateProperty = (next: {
+    metadata: Metadata;
+    errors: string[];
+  }): void => {
+    let expected: number = 0;
+    const sequences: Set<number> = new Set();
+    const add = (value: number): boolean => {
+      if (sequences.has(value)) return false;
+      sequences.add(value);
+      ++expected;
+      return true;
+    };
+
+    for (const validator of [
+      validateBooleanSequence,
+      validateNumericSequences({
+        type: "bigint",
+        default: "int64",
+        categories: BIGINT_TYPES,
+      }),
+      validateNumericSequences({
+        type: "number",
+        default: "double",
+        categories: NUMBER_TYPES,
+      }),
+      validateStringSequence,
+    ])
+      validator({ metadata: next.metadata, errors: next.errors, add });
+    for (const array of next.metadata.arrays)
+      validateInstanceSequence({
+        type: "array",
+        tags: array.tags,
+        errors: next.errors,
+        add,
+      });
+    for (const object of next.metadata.objects)
+      validateInstanceSequence({
+        type: "object",
+        tags: object.tags,
+        errors: next.errors,
+        add,
+      });
+    for (const map of next.metadata.maps)
+      validateInstanceSequence({
+        type: "map",
+        tags: map.tags,
+        errors: next.errors,
+        add,
+      });
+    for (const native of next.metadata.natives)
+      if (native.name === "Uint8Array")
+        validateInstanceSequence({
+          type: "Uint8Array",
+          tags: native.tags,
+          errors: next.errors,
+          add,
+        });
+  };
+
+  const validateBooleanSequence = (next: {
+    metadata: Metadata;
+    errors: string[];
+    add: (value: number) => boolean;
+  }): void => {
+    // PREPARE EMPLACER
+    const unique: Set<number> = new Set();
+    let expected: number = 0;
+    let actual: number = 0;
+    const emplace = (matrix: IMetadataTypeTag[][]): void => {
+      for (const tags of matrix)
+        for (const tag of tags) {
+          const sequence = ProtobufUtil.getSequence([tag]);
+          if (sequence !== null) {
+            unique.add(sequence);
+            ++actual;
+          }
+          ++expected;
+        }
+    };
+
+    // GATHER SEQUENCE TAGS
+    for (const atomic of next.metadata.atomics)
+      if (atomic.type === "boolean") emplace(atomic.tags);
+    for (const constant of next.metadata.constants)
+      if (constant.type === "boolean")
+        for (const value of constant.values) emplace(value.tags);
+
+    // PREDICATE
+    if (unique.size && actual !== expected)
+      next.errors.push(
+        `The sequence tag must be declared in every union type members`,
+      );
+    else if (unique.size > 1)
+      next.errors.push(
+        `The sequence tag value must be the same in boolean type (including literal types)`,
+      );
+    else if (unique.size === 1) {
+      const value: number = unique.values().next().value!;
+      if (next.add(value) === false)
+        next.errors.push(
+          `The sequence tag value ${value} in boolean type is duplicated with other types`,
+        );
+    }
+  };
+
+  const validateNumericSequences =
+    (config: {
+      type: "number" | "bigint";
+      default: string;
+      categories: Set<string>;
+    }) =>
+    (next: {
+      metadata: Metadata;
+      errors: string[];
+      add: (value: number) => boolean;
+    }): void => {
+      // FIND TYPE CATEGORIES
+      const categories: Set<string> = new Set();
+      const getType = (tags: IMetadataTypeTag[]): string => {
+        const found: IMetadataTypeTag | undefined = tags.find(
+          (t) => t.kind === "type" && config.categories.has(t.value),
+        );
+        return found?.value ?? config.default;
+      };
+      const exploreCategory = (matrix: IMetadataTypeTag[][]): void => {
+        for (const tags of matrix) categories.add(getType(tags));
+      };
+      for (const atomic of next.metadata.atomics)
+        if (atomic.type === config.type) exploreCategory(atomic.tags);
+      for (const constant of next.metadata.constants)
+        if (constant.type === config.type)
+          for (const value of constant.values) exploreCategory(value.tags);
+
+      // ITERATE TYPE CATEGORIES
+      for (const category of categories) {
+        const unique: Set<number> = new Set();
+        let expected: number = 0;
+        let actual: number = 0;
+        const emplace = (tags: IMetadataTypeTag[]): void => {
+          const sequence: number | null = ProtobufUtil.getSequence(tags);
+          if (sequence !== null) {
+            unique.add(sequence);
+            ++actual;
+          }
+          ++expected;
+        };
+
+        for (const atomic of next.metadata.atomics)
+          if (atomic.type === config.type)
+            for (const tags of atomic.tags)
+              if (getType(tags) === category) emplace(tags);
+        for (const constant of next.metadata.constants)
+          if (constant.type === config.type)
+            for (const value of constant.values)
+              for (const tags of value.tags)
+                if (getType(tags) === category) emplace(tags);
+
+        if (unique.size && actual !== expected) {
+          console.log(category, actual, expected, unique);
+          next.errors.push(
+            `The sequence tag must be declared in every union type members`,
+          );
+        } else if (unique.size > 1)
+          next.errors.push(
+            `The sequence tag value must be the same in ${config.type} type (including literal types)`,
+          );
+        else if (unique.size === 1) {
+          const value: number = unique.values().next().value!;
+          if (next.add(value) === false)
+            next.errors.push(
+              `The sequence tag value ${value} in ${config.type} type is duplicated with other types`,
+            );
+        }
+      }
+    };
+
+  const validateStringSequence = (next: {
+    metadata: Metadata;
+    errors: string[];
+    add: (value: number) => boolean;
+  }): void => {
+    const unique: Set<number> = new Set();
+    let expected: number = 0;
+    let actual: number = 0;
+    const emplace = (matrix: IMetadataTypeTag[][]): void => {
+      for (const tags of matrix)
+        for (const tag of tags) {
+          const sequence = ProtobufUtil.getSequence([tag]);
+          if (sequence !== null) {
+            unique.add(sequence);
+            ++actual;
+          }
+          ++expected;
+        }
+    };
+    for (const atomic of next.metadata.atomics)
+      if (atomic.type === "string") emplace(atomic.tags);
+    for (const constant of next.metadata.constants)
+      if (constant.type === "string")
+        for (const value of constant.values) emplace(value.tags);
+    for (const template of next.metadata.templates) emplace(template.tags);
+
+    if (unique.size && actual !== expected)
+      next.errors.push(
+        `The sequence tag must be declared in every union type members`,
+      );
+    else if (unique.size > 1)
+      next.errors.push(
+        `The sequence tag value must be the same in string types including literal and template types`,
+      );
+    else if (unique.size === 1) {
+      const value: number = unique.values().next().value!;
+      if (next.add(value) === false)
+        next.errors.push(
+          `The sequence tag value ${value} in string type is duplicated with other types`,
+        );
+    }
+  };
+
+  const validateInstanceSequence = (next: {
+    type: "array" | "object" | "map" | "Uint8Array";
+    tags: IMetadataTypeTag[][];
+    errors: string[];
+    add: (value: number) => boolean;
+  }): void => {
+    const unique: Set<number> = new Set();
+    let count: number = 0;
+    for (const tags of next.tags) {
+      const value: number | null = ProtobufUtil.getSequence(tags);
+      if (value === null) continue;
+      unique.add(value);
+      ++count;
+    }
+    if (unique.size && count !== next.tags.length)
+      next.errors.push(
+        `The sequence tag must be declared in every union type members`,
+      );
+    else if (unique.size > 1)
+      next.errors.push(
+        `The sequence tag value must be the same in ${next.type === "array" ? "an array" : "object"} type.`,
+      );
+    else if (unique.size === 1) {
+      const value: number = unique.values().next().value!;
+      if (next.add(value) === false)
+        next.errors.push(
+          `The sequence tag value ${value} in ${next.type} type is duplicated with other types`,
+        );
+    }
   };
 }
 
@@ -259,3 +867,12 @@ const BANNED_NATIVE_TYPES: Map<string, string | null> = new Map([
   ["WeakSet", "Array"],
   ["WeakMap", "Map"],
 ]);
+const NUMBER_TYPES: Set<string> = new Set([
+  "int32",
+  "uint32",
+  "int64",
+  "uint64",
+  "float",
+  "double",
+]);
+const BIGINT_TYPES = new Set(["int64", "uint64"]);