typia 7.3.0-dev.20241213 → 7.3.0

package/src/programmers/CheckerProgrammer.ts

@@ -1,1617 +1,1617 @@
-import ts from "typescript";
-
-import { ExpressionFactory } from "../factories/ExpressionFactory";
-import { IdentifierFactory } from "../factories/IdentifierFactory";
-import { MetadataCollection } from "../factories/MetadataCollection";
-import { MetadataFactory } from "../factories/MetadataFactory";
-import { StatementFactory } from "../factories/StatementFactory";
-import { TypeFactory } from "../factories/TypeFactory";
-import { ValueFactory } from "../factories/ValueFactory";
-
-import { Metadata } from "../schemas/metadata/Metadata";
-import { MetadataArray } from "../schemas/metadata/MetadataArray";
-import { MetadataConstant } from "../schemas/metadata/MetadataConstant";
-import { MetadataMap } from "../schemas/metadata/MetadataMap";
-import { MetadataObjectType } from "../schemas/metadata/MetadataObjectType";
-import { MetadataSet } from "../schemas/metadata/MetadataSet";
-import { MetadataTuple } from "../schemas/metadata/MetadataTuple";
-import { MetadataTupleType } from "../schemas/metadata/MetadataTupleType";
-
-import { ITypiaContext } from "../transformers/ITypiaContext";
-import { TransformerError } from "../transformers/TransformerError";
-
-import { FeatureProgrammer } from "./FeatureProgrammer";
-import { IsProgrammer } from "./IsProgrammer";
-import { AtomicPredicator } from "./helpers/AtomicPredicator";
-import { FunctionProgrammer } from "./helpers/FunctionProgrammer";
-import { ICheckEntry } from "./helpers/ICheckEntry";
-import { IExpressionEntry } from "./helpers/IExpressionEntry";
-import { OptionPredicator } from "./helpers/OptionPredicator";
-import { UnionExplorer } from "./helpers/UnionExplorer";
-import { check_array_length } from "./internal/check_array_length";
-import { check_bigint } from "./internal/check_bigint";
-import { check_native } from "./internal/check_native";
-import { check_number } from "./internal/check_number";
-import { check_string } from "./internal/check_string";
-import { check_template } from "./internal/check_template";
-import { decode_union_object } from "./internal/decode_union_object";
-import { postfix_of_tuple } from "./internal/postfix_of_tuple";
-import { wrap_metadata_rest_tuple } from "./internal/wrap_metadata_rest_tuple";
-
-export namespace CheckerProgrammer {
-  export interface IConfig {
-    prefix: string;
-    path: boolean;
-    trace: boolean;
-    equals: boolean;
-    numeric: boolean;
-    addition?: () => ts.Statement[];
-    decoder?: (props: {
-      metadata: Metadata;
-      input: ts.Expression;
-      explore: IExplore;
-    }) => ts.Expression;
-    combiner: IConfig.Combiner;
-    atomist: (props: {
-      entry: ICheckEntry;
-      input: ts.Expression;
-      explore: IExplore;
-    }) => ts.Expression;
-    joiner: IConfig.IJoiner;
-    success: ts.Expression;
-  }
-  export namespace IConfig {
-    export interface Combiner {
-      (props: {
-        explore: IExplore;
-        logic: "and" | "or";
-        input: ts.Expression;
-        binaries: IBinary[];
-        expected: string;
-      }): ts.Expression;
-    }
-    export interface IJoiner {
-      object(props: {
-        input: ts.Expression;
-        entries: IExpressionEntry<ts.Expression>[];
-      }): ts.Expression;
-      array(props: {
-        input: ts.Expression;
-        arrow: ts.ArrowFunction;
-      }): ts.Expression;
-      tuple?: undefined | ((exprs: ts.Expression[]) => ts.Expression);
-
-      failure(props: {
-        input: ts.Expression;
-        expected: string;
-        explore?: undefined | FeatureProgrammer.IExplore;
-      }): ts.Expression;
-      is?(expression: ts.Expression): ts.Expression;
-      required?(exp: ts.Expression): ts.Expression;
-      full?:
-        | undefined
-        | ((props: {
-            condition: ts.Expression;
-            input: ts.Expression;
-            expected: string;
-            explore: IExplore;
-          }) => ts.Expression);
-    }
-  }
-  export type IExplore = FeatureProgrammer.IExplore;
-
-  export interface IBinary {
-    expression: ts.Expression;
-    combined: boolean;
-  }
-
-  /* -----------------------------------------------------------
-        WRITERS
-    ----------------------------------------------------------- */
-  export const compose = (props: {
-    context: ITypiaContext;
-    config: IConfig;
-    functor: FunctionProgrammer;
-    type: ts.Type;
-    name: string | undefined;
-  }): FeatureProgrammer.IComposed =>
-    FeatureProgrammer.compose({
-      ...props,
-      config: configure(props),
-    });
-
-  export const write = (props: {
-    context: ITypiaContext;
-    config: IConfig;
-    functor: FunctionProgrammer;
-    type: ts.Type;
-    name?: string;
-  }): ts.ArrowFunction =>
-    FeatureProgrammer.write({
-      config: configure(props),
-      context: props.context,
-      functor: props.functor,
-      type: props.type,
-      name: props.name,
-    });
-
-  export const write_object_functions = (props: {
-    context: ITypiaContext;
-    config: IConfig;
-    functor: FunctionProgrammer;
-    collection: MetadataCollection;
-  }): ts.VariableStatement[] =>
-    FeatureProgrammer.write_object_functions({
-      config: configure(props),
-      context: props.context,
-      collection: props.collection,
-    });
-
-  export const write_union_functions = (props: {
-    context: ITypiaContext;
-    config: IConfig;
-    functor: FunctionProgrammer;
-    collection: MetadataCollection;
-  }): ts.VariableStatement[] =>
-    FeatureProgrammer.write_union_functions({
-      config: configure({
-        context: props.context,
-        config: {
-          ...props.config,
-          numeric: false,
-        },
-        functor: props.functor,
-      }),
-      collection: props.collection,
-    });
-
-  export const write_array_functions = (props: {
-    context: ITypiaContext;
-    config: IConfig;
-    functor: FunctionProgrammer;
-    collection: MetadataCollection;
-  }): ts.VariableStatement[] =>
-    props.collection
-      .arrays()
-      .filter((a) => a.recursive)
-      .map((type, i) =>
-        StatementFactory.constant({
-          name: `${props.config.prefix}a${i}`,
-          value: ts.factory.createArrowFunction(
-            undefined,
-            undefined,
-            FeatureProgrammer.parameterDeclarations({
-              config: props.config,
-              type: TypeFactory.keyword("any"),
-              input: ts.factory.createIdentifier("input"),
-            }),
-            TypeFactory.keyword("any"),
-            undefined,
-            decode_array_inline({
-              ...props,
-              input: ts.factory.createIdentifier("input"),
-              array: MetadataArray.create({
-                type,
-                tags: [],
-              }),
-              explore: {
-                tracable: props.config.trace,
-                source: "function",
-                from: "array",
-                postfix: "",
-              },
-            }),
-          ),
-        }),
-      );
-
-  export const write_tuple_functions = (props: {
-    context: ITypiaContext;
-    config: IConfig;
-    functor: FunctionProgrammer;
-    collection: MetadataCollection;
-  }): ts.VariableStatement[] =>
-    props.collection
-      .tuples()
-      .filter((t) => t.recursive)
-      .map((tuple, i) =>
-        StatementFactory.constant({
-          name: `${props.config.prefix}t${i}`,
-          value: ts.factory.createArrowFunction(
-            undefined,
-            undefined,
-            FeatureProgrammer.parameterDeclarations({
-              config: props.config,
-              type: TypeFactory.keyword("any"),
-              input: ts.factory.createIdentifier("input"),
-            }),
-            TypeFactory.keyword("any"),
-            undefined,
-            decode_tuple_inline({
-              config: props.config,
-              context: props.context,
-              functor: props.functor,
-              input: ts.factory.createIdentifier("input"),
-              tuple,
-              explore: {
-                tracable: props.config.trace,
-                source: "function",
-                from: "array",
-                postfix: "",
-              },
-            }),
-          ),
-        }),
-      );
-
-  const configure = (props: {
-    context: ITypiaContext;
-    config: IConfig;
-    functor: FunctionProgrammer;
-  }): FeatureProgrammer.IConfig => ({
-    types: {
-      input: () => TypeFactory.keyword("any"),
-      output: (type, name) =>
-        ts.factory.createTypePredicateNode(
-          undefined,
-          "input",
-          ts.factory.createTypeReferenceNode(
-            name ??
-              TypeFactory.getFullName({ checker: props.context.checker, type }),
-          ),
-        ),
-    },
-    trace: props.config.trace,
-    path: props.config.path,
-    prefix: props.config.prefix,
-    initializer: (next) => {
-      const collection: MetadataCollection = new MetadataCollection();
-      const result = MetadataFactory.analyze({
-        checker: next.context.checker,
-        transformer: next.context.transformer,
-        options: {
-          escape: false,
-          constant: true,
-          absorb: true,
-        },
-        collection,
-        type: next.type,
-      });
-      if (result.success === false)
-        throw TransformerError.from({
-          code: next.functor.method,
-          errors: result.errors,
-        });
-      return {
-        collection,
-        metadata: result.data,
-      };
-    },
-    addition: props.config.addition,
-    decoder: props.config.decoder
-      ? (next) => props.config.decoder!(next)
-      : (next) =>
-          decode({
-            context: props.context,
-            config: props.config,
-            functor: props.functor,
-            input: next.input,
-            metadata: next.metadata,
-            explore: next.explore,
-          }),
-    objector: {
-      checker: props.config.decoder
-        ? (next) => props.config.decoder!(next)
-        : (next) =>
-            decode({
-              context: props.context,
-              config: props.config,
-              functor: props.functor,
-              input: next.input,
-              metadata: next.metadata,
-              explore: next.explore,
-            }),
-      decoder: (next) =>
-        decode_object({
-          config: props.config,
-          functor: props.functor,
-          input: next.input,
-          object: next.object,
-          explore: next.explore,
-        }),
-      joiner: props.config.joiner.object,
-      unionizer: props.config.equals
-        ? (next) =>
-            decode_union_object({
-              checker: (v) =>
-                decode_object({
-                  config: props.config,
-                  functor: props.functor,
-                  object: v.object,
-                  input: v.input,
-                  explore: v.explore,
-                }),
-              decoder: (v) =>
-                decode_object({
-                  config: props.config,
-                  functor: props.functor,
-                  input: v.input,
-                  object: v.object,
-                  explore: {
-                    ...v.explore,
-                    tracable: true,
-                  },
-                }),
-              success: props.config.joiner.is ?? ((expr) => expr),
-              escaper: (v) =>
-                ts.factory.createReturnStatement(
-                  props.config.joiner.failure(v),
-                ),
-              input: next.input,
-              objects: next.objects,
-              explore: next.explore,
-            })
-        : (next) =>
-            props.config.combiner({
-              logic: "or",
-              explore: next.explore,
-              input: next.input,
-              binaries: next.objects.map((object) => ({
-                expression: decode_object({
-                  config: props.config,
-                  functor: props.functor,
-                  object,
-                  input: next.input,
-                  explore: next.explore,
-                }),
-                combined: true,
-              })),
-              expected: `(${next.objects.map((t) => t.name).join(" | ")})`,
-            }),
-      failure: (next) =>
-        ts.factory.createReturnStatement(props.config.joiner.failure(next)),
-      is: props.config.joiner.is,
-      required: props.config.joiner.required,
-      full: props.config.joiner.full
-        ? (next) => props.config.joiner.full!(next)
-        : undefined,
-      type: TypeFactory.keyword("boolean"),
-    },
-    generator: {
-      unions: props.config.numeric
-        ? (collection) =>
-            FeatureProgrammer.write_union_functions({
-              config: configure({
-                ...props,
-                config: {
-                  ...props.config,
-                  numeric: false,
-                },
-              }),
-              collection,
-            })
-        : undefined,
-      arrays: (collection) =>
-        write_array_functions({
-          ...props,
-          collection,
-        }),
-      tuples: (collection) =>
-        write_tuple_functions({
-          ...props,
-          collection,
-        }),
-    },
-  });
-
-  /* -----------------------------------------------------------
-        DECODERS
-    ----------------------------------------------------------- */
-  export const decode = (props: {
-    context: ITypiaContext;
-    config: IConfig;
-    functor: FunctionProgrammer;
-    input: ts.Expression;
-    metadata: Metadata;
-    explore: IExplore;
-  }): ts.Expression => {
-    if (props.metadata.any) return props.config.success;
-
-    const top: IBinary[] = [];
-    const binaries: IBinary[] = [];
-    const add = (next: {
-      exact: boolean;
-      left: ts.Expression;
-      right?: ts.Expression;
-    }) =>
-      create_add({
-        binaries,
-        left: next.left,
-        right: next.right,
-        exact: next.exact,
-        default: props.input,
-      });
-    const getConstantValue = (value: number | string | bigint | boolean) => {
-      if (typeof value === "string")
-        return ts.factory.createStringLiteral(value);
-      else if (typeof value === "bigint")
-        return ExpressionFactory.bigint(value);
-      return ts.factory.createIdentifier(value.toString());
-    };
-
-    //----
-    // CHECK OPTIONAL
-    //----
-    // @todo -> should be elaborated
-    const checkOptional: boolean =
-      props.metadata.empty() || props.metadata.isUnionBucket();
-
-    // NULLABLE
-    if (checkOptional || props.metadata.nullable)
-      if (props.metadata.nullable)
-        add({
-          exact: props.metadata.nullable,
-          left: ValueFactory.NULL(),
-        });
-      else
-        create_add({
-          binaries: top,
-          default: props.input,
-          exact: props.metadata.nullable,
-          left: ValueFactory.NULL(),
-        });
-
-    // UNDEFINDABLE
-    if (checkOptional || !props.metadata.isRequired())
-      if (props.metadata.isRequired())
-        create_add({
-          binaries: top,
-          default: props.input,
-          exact: false,
-          left: ValueFactory.UNDEFINED(),
-        });
-      else
-        add({
-          exact: true,
-          left: ValueFactory.UNDEFINED(),
-        });
-
-    // FUNCTIONAL
-    if (props.metadata.functions.length)
-      if (
-        OptionPredicator.functional(props.context.options) ||
-        props.metadata.size() !== 1
-      )
-        add({
-          exact: true,
-          left: ts.factory.createStringLiteral("function"),
-          right: ValueFactory.TYPEOF(props.input),
-        });
-      else
-        binaries.push({
-          combined: false,
-          expression: props.config.success,
-        });
-
-    //----
-    // VALUES
-    //----
-    // CONSTANT VALUES
-    const constants: MetadataConstant[] = props.metadata.constants.filter((c) =>
-      AtomicPredicator.constant({
-        metadata: props.metadata,
-        name: c.type,
-      }),
-    );
-    const constantLength: number = constants
-      .map((c) => c.values.length)
-      .reduce((a, b) => a + b, 0);
-    if (constantLength >= 10) {
-      const values: Array<boolean | number | string | bigint> = constants
-        .map((c) => c.values.map((v) => v.value))
-        .flat();
-      add({
-        exact: true,
-        left: ts.factory.createTrue(),
-        right: ts.factory.createCallExpression(
-          IdentifierFactory.access(
-            props.functor.emplaceVariable(
-              `${props.config.prefix}v${props.functor.increment()}`,
-              ts.factory.createNewExpression(
-                ts.factory.createIdentifier("Set"),
-                undefined,
-                [
-                  ts.factory.createArrayLiteralExpression(
-                    values.map((v) =>
-                      typeof v === "boolean"
-                        ? v === true
-                          ? ts.factory.createTrue()
-                          : ts.factory.createFalse()
-                        : typeof v === "bigint"
-                          ? ExpressionFactory.bigint(v)
-                          : typeof v === "number"
-                            ? ExpressionFactory.number(v)
-                            : ts.factory.createStringLiteral(v.toString()),
-                    ),
-                  ),
-                ],
-              ),
-            ),
-            "has",
-          ),
-          undefined,
-          [props.input],
-        ),
-      });
-    } else
-      for (const c of constants)
-        if (
-          AtomicPredicator.constant({
-            metadata: props.metadata,
-            name: c.type,
-          })
-        )
-          for (const v of c.values)
-            add({
-              exact: true,
-              left: getConstantValue(v.value),
-            });
-
-    // ATOMIC VALUES
-    for (const atom of props.metadata.atomics)
-      if (
-        AtomicPredicator.atomic({
-          metadata: props.metadata,
-          name: atom.type,
-        }) === false
-      )
-        continue;
-      else if (atom.type === "number")
-        binaries.push({
-          expression: props.config.atomist({
-            explore: props.explore,
-            entry: check_number({
-              context: props.context,
-              numeric: props.config.numeric,
-              atomic: atom,
-              input: props.input,
-            }),
-            input: props.input,
-          }),
-          combined: false,
-        });
-      else if (atom.type === "bigint")
-        binaries.push({
-          expression: props.config.atomist({
-            explore: props.explore,
-            entry: check_bigint({
-              context: props.context,
-              atomic: atom,
-              input: props.input,
-            }),
-            input: props.input,
-          }),
-          combined: false,
-        });
-      else if (atom.type === "string")
-        binaries.push({
-          expression: props.config.atomist({
-            explore: props.explore,
-            entry: check_string({
-              context: props.context,
-              atomic: atom,
-              input: props.input,
-            }),
-            input: props.input,
-          }),
-          combined: false,
-        });
-      else
-        add({
-          exact: true,
-          left: ts.factory.createStringLiteral(atom.type),
-          right: ValueFactory.TYPEOF(props.input),
-        });
-
-    // TEMPLATE LITERAL VALUES
-    if (props.metadata.templates.length)
-      if (AtomicPredicator.template(props.metadata))
-        binaries.push({
-          expression: props.config.atomist({
-            explore: props.explore,
-            entry: check_template({
-              templates: props.metadata.templates,
-              input: props.input,
-            }),
-            input: props.input,
-          }),
-          combined: false,
-        });
-
-    // NATIVE CLASSES
-    for (const native of props.metadata.natives)
-      binaries.push({
-        expression: check_native({
-          name: native.name,
-          input: props.input,
-        }),
-        combined: false,
-      });
-
-    //----
-    // INSTANCES
-    //----
-    interface IInstance {
-      head: ts.Expression;
-      body: ts.Expression | null;
-      expected: string;
-    }
-    const instances: IInstance[] = [];
-    const prepare = (next: IInstance) => instances.push(next);
-
-    // SETS
-    if (props.metadata.sets.length) {
-      const install = (body: ts.Expression | null) =>
-        prepare({
-          head: check_native({
-            name: "Set",
-            input: props.input,
-          }),
-          expected: props.metadata.sets
-            .map((elem) => `Set<${elem.getName()}>`)
-            .join(" | "),
-          body,
-        });
-      if (props.metadata.sets.some((elem) => elem.value.any)) install(null);
-      else
-        install(
-          explore_sets({
-            config: props.config,
-            context: props.context,
-            functor: props.functor,
-            sets: props.metadata.sets,
-            input: props.input,
-            explore: {
-              ...props.explore,
-              from: "array",
-            },
-          }),
-        );
-    }
-
-    // MAPS
-    if (props.metadata.maps.length) {
-      const install = (body: ts.Expression | null) =>
-        prepare({
-          head: check_native({
-            name: "Map",
-            input: props.input,
-          }),
-          expected: props.metadata.maps
-            .map(({ key, value }) => `Map<${key}, ${value}>`)
-            .join(" | "),
-          body,
-        });
-      if (props.metadata.maps.some((elem) => elem.key.any && elem.value.any))
-        install(null);
-      else
-        install(
-          explore_maps({
-            config: props.config,
-            context: props.context,
-            functor: props.functor,
-            maps: props.metadata.maps,
-            input: props.input,
-            explore: {
-              ...props.explore,
-              from: "array",
-            },
-          }),
-        );
-    }
-
-    // ARRAYS AND TUPLES
-    if (props.metadata.tuples.length + props.metadata.arrays.length > 0) {
-      const install = (body: ts.Expression | null) =>
-        prepare({
-          head: props.config.atomist({
-            explore: props.explore,
-            entry: {
-              expected: [
-                ...props.metadata.tuples.map((t) => t.type.name),
-                ...props.metadata.arrays.map((a) => a.getName()),
-              ].join(" | "),
-              expression: ExpressionFactory.isArray(props.input),
-              conditions: [],
-            },
-            input: props.input,
-          }),
-          expected: [...props.metadata.tuples, ...props.metadata.arrays]
-            .map((elem) => elem.type.name)
-            .join(" | "),
-          body,
-        });
-      if (props.metadata.arrays.length === 0)
-        if (props.metadata.tuples.length === 1)
-          install(
-            decode_tuple({
-              config: props.config,
-              context: props.context,
-              functor: props.functor,
-              tuple: props.metadata.tuples[0]!,
-              input: props.input,
-              explore: {
-                ...props.explore,
-                from: "array",
-              },
-            }),
-          );
-        // TUPLE ONLY
-        else
-          install(
-            explore_tuples({
-              config: props.config,
-              context: props.context,
-              functor: props.functor,
-              tuples: props.metadata.tuples,
-              input: props.input,
-              explore: {
-                ...props.explore,
-                from: "array",
-              },
-            }),
-          );
-      else if (props.metadata.arrays.some((elem) => elem.type.value.any))
-        install(null);
-      else if (props.metadata.tuples.length === 0)
-        if (props.metadata.arrays.length === 1)
-          // ARRAY ONLY
-          install(
-            decode_array({
-              config: props.config,
-              context: props.context,
-              functor: props.functor,
-              array: props.metadata.arrays[0]!,
-              input: props.input,
-              explore: {
-                ...props.explore,
-                from: "array",
-              },
-            }),
-          );
-        else
-          install(
-            explore_arrays({
-              config: props.config,
-              context: props.context,
-              functor: props.functor,
-              arrays: props.metadata.arrays,
-              input: props.input,
-              explore: {
-                ...props.explore,
-                from: "array",
-              },
-            }),
-          );
-      else
-        install(
-          explore_arrays_and_tuples({
-            config: props.config,
-            context: props.context,
-            functor: props.functor,
-            definitions: [...props.metadata.tuples, ...props.metadata.arrays],
-            input: props.input,
-            explore: props.explore,
-          }),
-        );
-    }
-
-    // OBJECT
-    if (props.metadata.objects.length > 0)
-      prepare({
-        head: ExpressionFactory.isObject({
-          checkNull: true,
-          checkArray: props.metadata.objects.some((obj) =>
-            obj.type.properties.every(
-              (prop) => !prop.key.isSoleLiteral() || !prop.value.isRequired(),
-            ),
-          ),
-          input: props.input,
-        }),
-        expected: props.metadata.objects
-          .map((obj) => obj.type.name)
-          .join(" | "),
-        body: explore_objects({
-          config: props.config,
-          functor: props.functor,
-          metadata: props.metadata,
-          input: props.input,
-          explore: {
-            ...props.explore,
-            from: "object",
-          },
-        }),
-      });
-
-    if (instances.length) {
-      const transformer =
-        (merge: (x: ts.Expression, y: ts.Expression) => ts.Expression) =>
-        (instance: IInstance) =>
-          instance.body
-            ? {
-                expression: merge(instance.head, instance.body),
-                combined: true,
-              }
-            : {
-                expression: instance.head,
-                combined: false,
-              };
-      if (instances.length === 1)
-        binaries.push(
-          transformer((head, body) =>
-            props.config.combiner({
-              explore: props.explore,
-              logic: "and",
-              input: props.input,
-              binaries: [head, body].map((expression) => ({
-                expression,
-                combined: expression !== head,
-              })),
-              expected: props.metadata.getName(),
-            }),
-          )(instances[0]!),
-        );
-      else
-        binaries.push({
-          expression: props.config.combiner({
-            explore: props.explore,
-            logic: "or",
-            input: props.input,
-            binaries: instances.map(transformer(ts.factory.createLogicalAnd)),
-            expected: props.metadata.getName(),
-          }),
-          combined: true,
-        });
-    }
-
-    // ESCAPED CASE
-    if (props.metadata.escaped !== null)
-      binaries.push({
-        combined: false,
-        expression:
-          props.metadata.escaped.original.size() === 1 &&
-          props.metadata.escaped.original.natives.length === 1
-            ? check_native({
-                name: props.metadata.escaped.original.natives[0]!.name,
-                input: props.input,
-              })
-            : ts.factory.createLogicalAnd(
-                decode({
-                  context: props.context,
-                  config: props.config,
-                  functor: props.functor,
-                  metadata: props.metadata.escaped.original,
-                  input: props.input,
-                  explore: props.explore,
-                }),
-                ts.factory.createLogicalAnd(
-                  IsProgrammer.decode_to_json({
-                    checkNull: false,
-                    input: props.input,
-                  }),
-                  decode_escaped({
-                    config: props.config,
-                    context: props.context,
-                    functor: props.functor,
-                    metadata: props.metadata.escaped.returns,
-                    input: props.input,
-                    explore: props.explore,
-                  }),
-                ),
-              ),
-      });
-
-    //----
-    // COMBINE CONDITIONS
-    //----
-    return top.length && binaries.length
-      ? props.config.combiner({
-          explore: props.explore,
-          logic: "and",
-          input: props.input,
-          binaries: [
-            ...top,
-            {
-              expression: props.config.combiner({
-                explore: props.explore,
-                logic: "or",
-                input: props.input,
-                binaries,
-                expected: props.metadata.getName(),
-              }),
-              combined: true,
-            },
-          ],
-          expected: props.metadata.getName(),
-        })
-      : binaries.length
-        ? props.config.combiner({
-            explore: props.explore,
-            logic: "or",
-            input: props.input,
-            binaries,
-            expected: props.metadata.getName(),
-          })
-        : props.config.success;
-  };
-
-  export const decode_object = (props: {
-    config: IConfig;
-    functor: FunctionProgrammer;
-    object: MetadataObjectType;
-    input: ts.Expression;
-    explore: IExplore;
-  }) => {
-    props.object.validated ||= true;
-    return FeatureProgrammer.decode_object(props);
-  };
-
-  const decode_array = (props: {
-    config: IConfig;
-    context: ITypiaContext;
-    functor: FunctionProgrammer;
-    array: MetadataArray;
-    input: ts.Expression;
-    explore: IExplore;
-  }) => {
-    if (props.array.type.recursive === false) return decode_array_inline(props);
-
-    const arrayExplore: IExplore = {
-      ...props.explore,
-      source: "function",
-      from: "array",
-    };
-    return ts.factory.createLogicalOr(
-      ts.factory.createCallExpression(
-        ts.factory.createIdentifier(
-          props.functor.useLocal(
-            `${props.config.prefix}a${props.array.type.index}`,
-          ),
-        ),
-        undefined,
-        FeatureProgrammer.argumentsArray({
-          config: props.config,
-          explore: {
-            ...arrayExplore,
-            source: "function",
-            from: "array",
-          },
-          input: props.input,
-        }),
-      ),
-      props.config.joiner.failure({
-        input: props.input,
-        expected: props.array.type.name,
-        explore: arrayExplore,
-      }),
-    );
-  };
-
-  const decode_array_inline = (props: {
-    config: IConfig;
-    context: ITypiaContext;
-    functor: FunctionProgrammer;
-    array: MetadataArray;
-    input: ts.Expression;
-    explore: IExplore;
-  }): ts.Expression => {
-    const length: ICheckEntry = check_array_length({
-      context: props.context,
-      array: props.array,
-      input: props.input,
-    });
-    const main: ts.Expression = FeatureProgrammer.decode_array({
-      config: {
-        prefix: props.config.prefix,
-        trace: props.config.trace,
-        path: props.config.path,
-        decoder: (next) =>
-          decode({
-            ...props,
-            ...next,
-          }),
-      },
-      functor: props.functor,
-      combiner: props.config.joiner.array,
-      array: props.array,
-      input: props.input,
-      explore: props.explore,
-    });
-    return length.expression === null && length.conditions.length === 0
-      ? main
-      : ts.factory.createLogicalAnd(
-          props.config.atomist({
-            explore: props.explore,
-            input: props.input,
-            entry: length,
-          }),
-          main,
-        );
-  };
-
-  const decode_tuple = (props: {
-    context: ITypiaContext;
-    config: IConfig;
-    functor: FunctionProgrammer;
-    tuple: MetadataTuple;
-    input: ts.Expression;
-    explore: IExplore;
-  }): ts.Expression => {
-    if (props.tuple.type.recursive === false)
-      return decode_tuple_inline({
-        ...props,
-        tuple: props.tuple.type,
-      });
-    const arrayExplore: IExplore = {
-      ...props.explore,
-      source: "function",
-      from: "array",
-    };
-    return ts.factory.createLogicalOr(
-      ts.factory.createCallExpression(
-        ts.factory.createIdentifier(
-          props.functor.useLocal(
-            `${props.config.prefix}t${props.tuple.type.index}`,
-          ),
-        ),
-        undefined,
-        FeatureProgrammer.argumentsArray({
-          config: props.config,
-          explore: {
-            ...arrayExplore,
-            source: "function",
-          },
-          input: props.input,
-        }),
-      ),
-      props.config.joiner.failure({
-        input: props.input,
-        expected: props.tuple.type.name,
-        explore: arrayExplore,
-      }),
-    );
-  };
-
-  const decode_tuple_inline = (props: {
-    config: IConfig;
-    context: ITypiaContext;
-    functor: FunctionProgrammer;
-    tuple: MetadataTupleType;
-    input: ts.Expression;
-    explore: IExplore;
-  }): ts.Expression => {
-    const binaries: ts.Expression[] = props.tuple.elements
-      .filter((metadata) => metadata.rest === null)
-      .map((metadata, index) =>
-        decode({
-          context: props.context,
-          config: props.config,
-          functor: props.functor,
-          input: ts.factory.createElementAccessExpression(props.input, index),
-          metadata,
-          explore: {
-            ...props.explore,
-            from: "array",
-            postfix: props.explore.postfix.length
-              ? `${postfix_of_tuple(props.explore.postfix)}[${index}]"`
-              : `"[${index}]"`,
-          },
-        }),
-      );
-    const rest: ts.Expression | null =
-      props.tuple.elements.length && props.tuple.elements.at(-1)!.rest !== null
-        ? decode({
-            config: props.config,
-            context: props.context,
-            functor: props.functor,
-            input: ts.factory.createCallExpression(
-              IdentifierFactory.access(props.input, "slice"),
-              undefined,
-              [ExpressionFactory.number(props.tuple.elements.length - 1)],
-            ),
-            metadata: wrap_metadata_rest_tuple(
-              props.tuple.elements.at(-1)!.rest!,
-            ),
-            explore: {
-              ...props.explore,
-              start: props.tuple.elements.length - 1,
-            },
-          })
-        : null;
-    const arrayLength = ts.factory.createPropertyAccessExpression(
-      props.input,
-      "length",
-    );
-    return props.config.combiner({
-      explore: props.explore,
-      logic: "and",
-      input: props.input,
-      binaries: [
-        ...(rest === null
-          ? props.tuple.elements.every((t) => t.optional === false)
-            ? [
-                {
-                  combined: false,
-                  expression: ts.factory.createStrictEquality(
-                    arrayLength,
-                    ExpressionFactory.number(props.tuple.elements.length),
-                  ),
-                },
-              ]
-            : [
-                {
-                  combined: false,
-                  expression: ts.factory.createLogicalAnd(
-                    ts.factory.createLessThanEquals(
-                      ExpressionFactory.number(
-                        props.tuple.elements.filter((t) => t.optional === false)
-                          .length,
-                      ),
-                      arrayLength,
-                    ),
-                    ts.factory.createGreaterThanEquals(
-                      ExpressionFactory.number(props.tuple.elements.length),
-                      arrayLength,
-                    ),
-                  ),
-                },
-              ]
-          : []),
-        ...(props.config.joiner.tuple
-          ? [
-              {
-                expression: props.config.joiner.tuple(binaries),
-                combined: true,
-              },
-            ]
-          : binaries.map((expression) => ({
-              expression,
-              combined: true,
-            }))),
-        ...(rest !== null
-          ? [
-              {
-                expression: rest,
-                combined: true,
-              },
-            ]
-          : []),
-      ],
-      expected: `[${props.tuple.elements.map((t) => t.getName()).join(", ")}]`,
-    });
-  };
-
-  const decode_escaped = (props: {
-    config: IConfig;
-    context: ITypiaContext;
-    functor: FunctionProgrammer;
-    metadata: Metadata;
-    input: ts.Expression;
-    explore: IExplore;
-  }): ts.Expression =>
-    ts.factory.createCallExpression(
-      ts.factory.createParenthesizedExpression(
-        ts.factory.createArrowFunction(
-          undefined,
-          undefined,
-          [IdentifierFactory.parameter("input", TypeFactory.keyword("any"))],
-          undefined,
-          undefined,
-          decode({
-            ...props,
-            input: ts.factory.createIdentifier("input"),
-          }),
-        ),
-      ),
-      undefined,
-      [
-        ts.factory.createCallExpression(
-          IdentifierFactory.access(props.input, "toJSON"),
-          undefined,
-          [],
-        ),
-      ],
-    );
-
-  /* -----------------------------------------------------------
-        UNION TYPE EXPLORERS
-    ----------------------------------------------------------- */
-  const explore_sets = (props: {
-    context: ITypiaContext;
-    config: IConfig;
-    functor: FunctionProgrammer;
-    sets: MetadataSet[];
-    input: ts.Expression;
-    explore: IExplore;
-  }): ts.Expression =>
-    ts.factory.createCallExpression(
-      UnionExplorer.set({
-        config: {
-          checker: (v) =>
-            decode({
-              context: props.context,
-              config: props.config,
-              functor: props.functor,
-              input: v.input,
-              metadata: v.definition,
-              explore: v.explore,
-            }),
-          decoder: (v) =>
-            decode_array({
-              config: props.config,
-              context: props.context,
-              functor: props.functor,
-              array: v.definition,
-              input: v.input,
-              explore: v.explore,
-            }),
-          empty: props.config.success,
-          success: props.config.success,
-          failure: (v) =>
-            ts.factory.createReturnStatement(props.config.joiner.failure(v)),
-        },
-        parameters: [],
-        input: props.input,
-        sets: props.sets,
-        explore: props.explore,
-      }),
-      undefined,
-      undefined,
-    );
-
-  const explore_maps = (props: {
-    context: ITypiaContext;
-    config: IConfig;
-    functor: FunctionProgrammer;
-    input: ts.Expression;
-    maps: MetadataMap[];
-    explore: IExplore;
-  }): ts.Expression =>
-    ts.factory.createCallExpression(
-      UnionExplorer.map({
-        config: {
-          checker: (v) =>
-            ts.factory.createLogicalAnd(
-              decode({
-                config: props.config,
-                context: props.context,
-                functor: props.functor,
-                input: ts.factory.createElementAccessExpression(v.input, 0),
-                metadata: v.definition[0],
-                explore: {
-                  ...v.explore,
-                  postfix: `${v.explore.postfix}[0]`,
-                },
-              }),
-              decode({
-                config: props.config,
-                context: props.context,
-                functor: props.functor,
-                input: ts.factory.createElementAccessExpression(v.input, 1),
-                metadata: v.definition[1],
-                explore: {
-                  ...v.explore,
-                  postfix: `${v.explore.postfix}[1]`,
-                },
-              }),
-            ),
-          decoder: (v) =>
-            decode_array({
-              context: props.context,
-              config: props.config,
-              functor: props.functor,
-              array: v.definition,
-              input: v.input,
-              explore: v.explore,
-            }),
-          empty: props.config.success,
-          success: props.config.success,
-          failure: (v) =>
-            ts.factory.createReturnStatement(props.config.joiner.failure(v)),
-        },
-        parameters: [],
-        input: props.input,
-        maps: props.maps,
-        explore: props.explore,
-      }),
-      undefined,
-      undefined,
-    );
-
-  const explore_tuples = (props: {
-    config: IConfig;
-    context: ITypiaContext;
-    functor: FunctionProgrammer;
-    tuples: MetadataTuple[];
-    input: ts.Expression;
-    explore: IExplore;
-  }): ts.Expression =>
-    explore_array_like_union_types<MetadataTuple>({
-      config: props.config,
-      functor: props.functor,
-      factory: (next) =>
-        UnionExplorer.tuple({
-          config: {
-            checker: (v) =>
-              decode_tuple({
-                context: props.context,
-                config: props.config,
-                functor: props.functor,
-                input: v.input,
-                tuple: v.definition,
-                explore: v.explore,
-              }),
-            decoder: (v) =>
-              decode_tuple({
-                context: props.context,
-                config: props.config,
-                functor: props.functor,
-                tuple: v.definition,
-                input: v.input,
-                explore: v.explore,
-              }),
-            empty: props.config.success,
-            success: props.config.success,
-            failure: (v) =>
-              ts.factory.createReturnStatement(props.config.joiner.failure(v)),
-          },
-          parameters: next.parameters,
-          tuples: next.definitions,
-          input: next.input,
-          explore: next.explore,
-        }),
-      definitions: props.tuples,
-      input: props.input,
-      explore: props.explore,
-    });
-
-  const explore_arrays = (props: {
-    config: IConfig;
-    context: ITypiaContext;
-    functor: FunctionProgrammer;
-    arrays: MetadataArray[];
-    input: ts.Expression;
-    explore: IExplore;
-  }): ts.Expression =>
-    explore_array_like_union_types<MetadataArray>({
-      config: props.config,
-      functor: props.functor,
-      factory: (next) =>
-        UnionExplorer.array({
-          config: {
-            checker: (v) =>
-              decode({
-                context: props.context,
-                config: props.config,
-                functor: props.functor,
-                metadata: v.definition,
-                input: v.input,
-                explore: v.explore,
-              }),
-            decoder: (v) =>
-              decode_array({
-                context: props.context,
-                config: props.config,
-                functor: props.functor,
-                array: v.definition,
-                input: v.input,
-                explore: v.explore,
-              }),
-            empty: props.config.success,
-            success: props.config.success,
-            failure: (v) =>
-              ts.factory.createReturnStatement(props.config.joiner.failure(v)),
-          },
-          parameters: next.parameters,
-          arrays: next.definitions,
-          input: next.input,
-          explore: next.explore,
-        }),
-      definitions: props.arrays,
-      input: props.input,
-      explore: props.explore,
-    });
-
-  const explore_arrays_and_tuples = (props: {
-    config: IConfig;
-    context: ITypiaContext;
-    functor: FunctionProgrammer;
-    definitions: Array<MetadataArray | MetadataTuple>;
-    input: ts.Expression;
-    explore: IExplore;
-  }): ts.Expression =>
-    explore_array_like_union_types<MetadataArray | MetadataTuple>({
-      config: props.config,
-      functor: props.functor,
-      factory: (next) =>
-        UnionExplorer.array_or_tuple({
-          config: {
-            checker: (v) =>
-              v.definition instanceof MetadataTuple
-                ? decode_tuple({
-                    config: props.config,
-                    context: props.context,
-                    functor: props.functor,
-                    input: v.input,
-                    tuple: v.definition,
-                    explore: v.explore,
-                  })
-                : props.config.atomist({
-                    explore: v.explore,
-                    entry: {
-                      expected: props.definitions
-                        .map((elem) =>
-                          elem instanceof MetadataArray
-                            ? elem.getName()
-                            : elem.type.name,
-                        )
-                        .join(" | "),
-                      expression: decode({
-                        functor: props.functor,
-                        context: props.context,
-                        config: props.config,
-                        metadata: v.definition,
-                        input: v.input,
-                        explore: v.explore,
-                      }),
-                      conditions: [],
-                    },
-                    input: v.container,
-                  }),
-            decoder: (v) =>
-              v.definition instanceof MetadataTuple
-                ? decode_tuple({
-                    context: props.context,
-                    config: props.config,
-                    functor: props.functor,
-                    input: v.input,
-                    tuple: v.definition,
-                    explore: v.explore,
-                  })
-                : decode_array({
-                    context: props.context,
-                    config: props.config,
-                    functor: props.functor,
-                    input: v.input,
-                    array: v.definition,
-                    explore: v.explore,
-                  }),
-            empty: props.config.success,
-            success: props.config.success,
-            failure: (v) =>
-              ts.factory.createReturnStatement(props.config.joiner.failure(v)),
-          },
-          parameters: next.parameters,
-          definitions: next.definitions,
-          input: next.input,
-          explore: next.explore,
-        }),
-      input: props.input,
-      definitions: props.definitions,
-      explore: props.explore,
-    });
-
-  const explore_array_like_union_types = <
-    T extends MetadataArray | MetadataTuple,
-  >(props: {
-    config: IConfig;
-    functor: FunctionProgrammer;
-    factory: (next: {
-      parameters: ts.ParameterDeclaration[];
-      definitions: T[];
-      input: ts.Expression;
-      explore: IExplore;
-    }) => ts.ArrowFunction;
-    input: ts.Expression;
-    definitions: T[];
-    explore: IExplore;
-  }): ts.Expression => {
-    const arrow = (next: {
-      parameters: ts.ParameterDeclaration[];
-      explore: IExplore;
-      input: ts.Expression;
-    }): ts.ArrowFunction =>
-      props.factory({
-        parameters: next.parameters,
-        definitions: props.definitions,
-        input: next.input,
-        explore: next.explore,
-      });
-    if (props.definitions.every((e) => e.type.recursive === false))
-      ts.factory.createCallExpression(
-        arrow({
-          explore: props.explore,
-          input: props.input,
-          parameters: [],
-        }),
-        undefined,
-        [],
-      );
-    const arrayExplore: IExplore = {
-      ...props.explore,
-      source: "function",
-      from: "array",
-    };
-    return ts.factory.createLogicalOr(
-      ts.factory.createCallExpression(
-        ts.factory.createIdentifier(
-          props.functor.emplaceUnion(
-            props.config.prefix,
-            props.definitions.map((e) => e.type.name).join(" | "),
-            () =>
-              arrow({
-                parameters: FeatureProgrammer.parameterDeclarations({
-                  config: props.config,
-                  type: TypeFactory.keyword("any"),
-                  input: ts.factory.createIdentifier("input"),
-                }),
-                explore: {
-                  ...arrayExplore,
-                  postfix: "",
-                },
-                input: ts.factory.createIdentifier("input"),
-              }),
-          ),
-        ),
-        undefined,
-        FeatureProgrammer.argumentsArray(props),
-      ),
-      props.config.joiner.failure({
-        input: props.input,
-        expected: props.definitions.map((e) => e.type.name).join(" | "),
-        explore: arrayExplore,
-      }),
-    );
-  };
-
-  const explore_objects = (props: {
-    config: IConfig;
-    functor: FunctionProgrammer;
-    input: ts.Expression;
-    metadata: Metadata;
-    explore: IExplore;
-  }) =>
-    props.metadata.objects.length === 1
-      ? decode_object({
-          config: props.config,
-          functor: props.functor,
-          object: props.metadata.objects[0]!.type,
-          input: props.input,
-          explore: props.explore,
-        })
-      : ts.factory.createCallExpression(
-          ts.factory.createIdentifier(
-            props.functor.useLocal(
-              `${props.config.prefix}u${props.metadata.union_index!}`,
-            ),
-          ),
-          undefined,
-          FeatureProgrammer.argumentsArray(props),
-        );
-}
-
-const create_add = (props: {
-  binaries: CheckerProgrammer.IBinary[];
-  default: ts.Expression;
-  exact: boolean;
-  left: ts.Expression;
-  right?: ts.Expression;
-}) => {
-  const factory = props.exact
-    ? ts.factory.createStrictEquality
-    : ts.factory.createStrictInequality;
-  props.binaries.push({
-    expression: factory(props.left, props.right ?? props.default),
-    combined: false,
-  });
-};
+import ts from "typescript";
+
+import { ExpressionFactory } from "../factories/ExpressionFactory";
+import { IdentifierFactory } from "../factories/IdentifierFactory";
+import { MetadataCollection } from "../factories/MetadataCollection";
+import { MetadataFactory } from "../factories/MetadataFactory";
+import { StatementFactory } from "../factories/StatementFactory";
+import { TypeFactory } from "../factories/TypeFactory";
+import { ValueFactory } from "../factories/ValueFactory";
+
+import { Metadata } from "../schemas/metadata/Metadata";
+import { MetadataArray } from "../schemas/metadata/MetadataArray";
+import { MetadataConstant } from "../schemas/metadata/MetadataConstant";
+import { MetadataMap } from "../schemas/metadata/MetadataMap";
+import { MetadataObjectType } from "../schemas/metadata/MetadataObjectType";
+import { MetadataSet } from "../schemas/metadata/MetadataSet";
+import { MetadataTuple } from "../schemas/metadata/MetadataTuple";
+import { MetadataTupleType } from "../schemas/metadata/MetadataTupleType";
+
+import { ITypiaContext } from "../transformers/ITypiaContext";
+import { TransformerError } from "../transformers/TransformerError";
+
+import { FeatureProgrammer } from "./FeatureProgrammer";
+import { IsProgrammer } from "./IsProgrammer";
+import { AtomicPredicator } from "./helpers/AtomicPredicator";
+import { FunctionProgrammer } from "./helpers/FunctionProgrammer";
+import { ICheckEntry } from "./helpers/ICheckEntry";
+import { IExpressionEntry } from "./helpers/IExpressionEntry";
+import { OptionPredicator } from "./helpers/OptionPredicator";
+import { UnionExplorer } from "./helpers/UnionExplorer";
+import { check_array_length } from "./internal/check_array_length";
+import { check_bigint } from "./internal/check_bigint";
+import { check_native } from "./internal/check_native";
+import { check_number } from "./internal/check_number";
+import { check_string } from "./internal/check_string";
+import { check_template } from "./internal/check_template";
+import { decode_union_object } from "./internal/decode_union_object";
+import { postfix_of_tuple } from "./internal/postfix_of_tuple";
+import { wrap_metadata_rest_tuple } from "./internal/wrap_metadata_rest_tuple";
+
+export namespace CheckerProgrammer {
+  export interface IConfig {
+    prefix: string;
+    path: boolean;
+    trace: boolean;
+    equals: boolean;
+    numeric: boolean;
+    addition?: () => ts.Statement[];
+    decoder?: (props: {
+      metadata: Metadata;
+      input: ts.Expression;
+      explore: IExplore;
+    }) => ts.Expression;
+    combiner: IConfig.Combiner;
+    atomist: (props: {
+      entry: ICheckEntry;
+      input: ts.Expression;
+      explore: IExplore;
+    }) => ts.Expression;
+    joiner: IConfig.IJoiner;
+    success: ts.Expression;
+  }
+  export namespace IConfig {
+    export interface Combiner {
+      (props: {
+        explore: IExplore;
+        logic: "and" | "or";
+        input: ts.Expression;
+        binaries: IBinary[];
+        expected: string;
+      }): ts.Expression;
+    }
+    export interface IJoiner {
+      object(props: {
+        input: ts.Expression;
+        entries: IExpressionEntry<ts.Expression>[];
+      }): ts.Expression;
+      array(props: {
+        input: ts.Expression;
+        arrow: ts.ArrowFunction;
+      }): ts.Expression;
+      tuple?: undefined | ((exprs: ts.Expression[]) => ts.Expression);
+
+      failure(props: {
+        input: ts.Expression;
+        expected: string;
+        explore?: undefined | FeatureProgrammer.IExplore;
+      }): ts.Expression;
+      is?(expression: ts.Expression): ts.Expression;
+      required?(exp: ts.Expression): ts.Expression;
+      full?:
+        | undefined
+        | ((props: {
+            condition: ts.Expression;
+            input: ts.Expression;
+            expected: string;
+            explore: IExplore;
+          }) => ts.Expression);
+    }
+  }
+  export type IExplore = FeatureProgrammer.IExplore;
+
+  export interface IBinary {
+    expression: ts.Expression;
+    combined: boolean;
+  }
+
+  /* -----------------------------------------------------------
+        WRITERS
+    ----------------------------------------------------------- */
+  export const compose = (props: {
+    context: ITypiaContext;
+    config: IConfig;
+    functor: FunctionProgrammer;
+    type: ts.Type;
+    name: string | undefined;
+  }): FeatureProgrammer.IComposed =>
+    FeatureProgrammer.compose({
+      ...props,
+      config: configure(props),
+    });
+
+  export const write = (props: {
+    context: ITypiaContext;
+    config: IConfig;
+    functor: FunctionProgrammer;
+    type: ts.Type;
+    name?: string;
+  }): ts.ArrowFunction =>
+    FeatureProgrammer.write({
+      config: configure(props),
+      context: props.context,
+      functor: props.functor,
+      type: props.type,
+      name: props.name,
+    });
+
+  export const write_object_functions = (props: {
+    context: ITypiaContext;
+    config: IConfig;
+    functor: FunctionProgrammer;
+    collection: MetadataCollection;
+  }): ts.VariableStatement[] =>
+    FeatureProgrammer.write_object_functions({
+      config: configure(props),
+      context: props.context,
+      collection: props.collection,
+    });
+
+  export const write_union_functions = (props: {
+    context: ITypiaContext;
+    config: IConfig;
+    functor: FunctionProgrammer;
+    collection: MetadataCollection;
+  }): ts.VariableStatement[] =>
+    FeatureProgrammer.write_union_functions({
+      config: configure({
+        context: props.context,
+        config: {
+          ...props.config,
+          numeric: false,
+        },
+        functor: props.functor,
+      }),
+      collection: props.collection,
+    });
+
+  export const write_array_functions = (props: {
+    context: ITypiaContext;
+    config: IConfig;
+    functor: FunctionProgrammer;
+    collection: MetadataCollection;
+  }): ts.VariableStatement[] =>
+    props.collection
+      .arrays()
+      .filter((a) => a.recursive)
+      .map((type, i) =>
+        StatementFactory.constant({
+          name: `${props.config.prefix}a${i}`,
+          value: ts.factory.createArrowFunction(
+            undefined,
+            undefined,
+            FeatureProgrammer.parameterDeclarations({
+              config: props.config,
+              type: TypeFactory.keyword("any"),
+              input: ts.factory.createIdentifier("input"),
+            }),
+            TypeFactory.keyword("any"),
+            undefined,
+            decode_array_inline({
+              ...props,
+              input: ts.factory.createIdentifier("input"),
+              array: MetadataArray.create({
+                type,
+                tags: [],
+              }),
+              explore: {
+                tracable: props.config.trace,
+                source: "function",
+                from: "array",
+                postfix: "",
+              },
+            }),
+          ),
+        }),
+      );
+
+  export const write_tuple_functions = (props: {
+    context: ITypiaContext;
+    config: IConfig;
+    functor: FunctionProgrammer;
+    collection: MetadataCollection;
+  }): ts.VariableStatement[] =>
+    props.collection
+      .tuples()
+      .filter((t) => t.recursive)
+      .map((tuple, i) =>
+        StatementFactory.constant({
+          name: `${props.config.prefix}t${i}`,
+          value: ts.factory.createArrowFunction(
+            undefined,
+            undefined,
+            FeatureProgrammer.parameterDeclarations({
+              config: props.config,
+              type: TypeFactory.keyword("any"),
+              input: ts.factory.createIdentifier("input"),
+            }),
+            TypeFactory.keyword("any"),
+            undefined,
+            decode_tuple_inline({
+              config: props.config,
+              context: props.context,
+              functor: props.functor,
+              input: ts.factory.createIdentifier("input"),
+              tuple,
+              explore: {
+                tracable: props.config.trace,
+                source: "function",
+                from: "array",
+                postfix: "",
+              },
+            }),
+          ),
+        }),
+      );
+
+  const configure = (props: {
+    context: ITypiaContext;
+    config: IConfig;
+    functor: FunctionProgrammer;
+  }): FeatureProgrammer.IConfig => ({
+    types: {
+      input: () => TypeFactory.keyword("any"),
+      output: (type, name) =>
+        ts.factory.createTypePredicateNode(
+          undefined,
+          "input",
+          ts.factory.createTypeReferenceNode(
+            name ??
+              TypeFactory.getFullName({ checker: props.context.checker, type }),
+          ),
+        ),
+    },
+    trace: props.config.trace,
+    path: props.config.path,
+    prefix: props.config.prefix,
+    initializer: (next) => {
+      const collection: MetadataCollection = new MetadataCollection();
+      const result = MetadataFactory.analyze({
+        checker: next.context.checker,
+        transformer: next.context.transformer,
+        options: {
+          escape: false,
+          constant: true,
+          absorb: true,
+        },
+        collection,
+        type: next.type,
+      });
+      if (result.success === false)
+        throw TransformerError.from({
+          code: next.functor.method,
+          errors: result.errors,
+        });
+      return {
+        collection,
+        metadata: result.data,
+      };
+    },
+    addition: props.config.addition,
+    decoder: props.config.decoder
+      ? (next) => props.config.decoder!(next)
+      : (next) =>
+          decode({
+            context: props.context,
+            config: props.config,
+            functor: props.functor,
+            input: next.input,
+            metadata: next.metadata,
+            explore: next.explore,
+          }),
+    objector: {
+      checker: props.config.decoder
+        ? (next) => props.config.decoder!(next)
+        : (next) =>
+            decode({
+              context: props.context,
+              config: props.config,
+              functor: props.functor,
+              input: next.input,
+              metadata: next.metadata,
+              explore: next.explore,
+            }),
+      decoder: (next) =>
+        decode_object({
+          config: props.config,
+          functor: props.functor,
+          input: next.input,
+          object: next.object,
+          explore: next.explore,
+        }),
+      joiner: props.config.joiner.object,
+      unionizer: props.config.equals
+        ? (next) =>
+            decode_union_object({
+              checker: (v) =>
+                decode_object({
+                  config: props.config,
+                  functor: props.functor,
+                  object: v.object,
+                  input: v.input,
+                  explore: v.explore,
+                }),
+              decoder: (v) =>
+                decode_object({
+                  config: props.config,
+                  functor: props.functor,
+                  input: v.input,
+                  object: v.object,
+                  explore: {
+                    ...v.explore,
+                    tracable: true,
+                  },
+                }),
+              success: props.config.joiner.is ?? ((expr) => expr),
+              escaper: (v) =>
+                ts.factory.createReturnStatement(
+                  props.config.joiner.failure(v),
+                ),
+              input: next.input,
+              objects: next.objects,
+              explore: next.explore,
+            })
+        : (next) =>
+            props.config.combiner({
+              logic: "or",
+              explore: next.explore,
+              input: next.input,
+              binaries: next.objects.map((object) => ({
+                expression: decode_object({
+                  config: props.config,
+                  functor: props.functor,
+                  object,
+                  input: next.input,
+                  explore: next.explore,
+                }),
+                combined: true,
+              })),
+              expected: `(${next.objects.map((t) => t.name).join(" | ")})`,
+            }),
+      failure: (next) =>
+        ts.factory.createReturnStatement(props.config.joiner.failure(next)),
+      is: props.config.joiner.is,
+      required: props.config.joiner.required,
+      full: props.config.joiner.full
+        ? (next) => props.config.joiner.full!(next)
+        : undefined,
+      type: TypeFactory.keyword("boolean"),
+    },
+    generator: {
+      unions: props.config.numeric
+        ? (collection) =>
+            FeatureProgrammer.write_union_functions({
+              config: configure({
+                ...props,
+                config: {
+                  ...props.config,
+                  numeric: false,
+                },
+              }),
+              collection,
+            })
+        : undefined,
+      arrays: (collection) =>
+        write_array_functions({
+          ...props,
+          collection,
+        }),
+      tuples: (collection) =>
+        write_tuple_functions({
+          ...props,
+          collection,
+        }),
+    },
+  });
+
+  /* -----------------------------------------------------------
+        DECODERS
+    ----------------------------------------------------------- */
+  export const decode = (props: {
+    context: ITypiaContext;
+    config: IConfig;
+    functor: FunctionProgrammer;
+    input: ts.Expression;
+    metadata: Metadata;
+    explore: IExplore;
+  }): ts.Expression => {
+    if (props.metadata.any) return props.config.success;
+
+    const top: IBinary[] = [];
+    const binaries: IBinary[] = [];
+    const add = (next: {
+      exact: boolean;
+      left: ts.Expression;
+      right?: ts.Expression;
+    }) =>
+      create_add({
+        binaries,
+        left: next.left,
+        right: next.right,
+        exact: next.exact,
+        default: props.input,
+      });
+    const getConstantValue = (value: number | string | bigint | boolean) => {
+      if (typeof value === "string")
+        return ts.factory.createStringLiteral(value);
+      else if (typeof value === "bigint")
+        return ExpressionFactory.bigint(value);
+      return ts.factory.createIdentifier(value.toString());
+    };
+
+    //----
+    // CHECK OPTIONAL
+    //----
+    // @todo -> should be elaborated
+    const checkOptional: boolean =
+      props.metadata.empty() || props.metadata.isUnionBucket();
+
+    // NULLABLE
+    if (checkOptional || props.metadata.nullable)
+      if (props.metadata.nullable)
+        add({
+          exact: props.metadata.nullable,
+          left: ValueFactory.NULL(),
+        });
+      else
+        create_add({
+          binaries: top,
+          default: props.input,
+          exact: props.metadata.nullable,
+          left: ValueFactory.NULL(),
+        });
+
+    // UNDEFINDABLE
+    if (checkOptional || !props.metadata.isRequired())
+      if (props.metadata.isRequired())
+        create_add({
+          binaries: top,
+          default: props.input,
+          exact: false,
+          left: ValueFactory.UNDEFINED(),
+        });
+      else
+        add({
+          exact: true,
+          left: ValueFactory.UNDEFINED(),
+        });
+
+    // FUNCTIONAL
+    if (props.metadata.functions.length)
+      if (
+        OptionPredicator.functional(props.context.options) ||
+        props.metadata.size() !== 1
+      )
+        add({
+          exact: true,
+          left: ts.factory.createStringLiteral("function"),
+          right: ValueFactory.TYPEOF(props.input),
+        });
+      else
+        binaries.push({
+          combined: false,
+          expression: props.config.success,
+        });
+
+    //----
+    // VALUES
+    //----
+    // CONSTANT VALUES
+    const constants: MetadataConstant[] = props.metadata.constants.filter((c) =>
+      AtomicPredicator.constant({
+        metadata: props.metadata,
+        name: c.type,
+      }),
+    );
+    const constantLength: number = constants
+      .map((c) => c.values.length)
+      .reduce((a, b) => a + b, 0);
+    if (constantLength >= 10) {
+      const values: Array<boolean | number | string | bigint> = constants
+        .map((c) => c.values.map((v) => v.value))
+        .flat();
+      add({
+        exact: true,
+        left: ts.factory.createTrue(),
+        right: ts.factory.createCallExpression(
+          IdentifierFactory.access(
+            props.functor.emplaceVariable(
+              `${props.config.prefix}v${props.functor.increment()}`,
+              ts.factory.createNewExpression(
+                ts.factory.createIdentifier("Set"),
+                undefined,
+                [
+                  ts.factory.createArrayLiteralExpression(
+                    values.map((v) =>
+                      typeof v === "boolean"
+                        ? v === true
+                          ? ts.factory.createTrue()
+                          : ts.factory.createFalse()
+                        : typeof v === "bigint"
+                          ? ExpressionFactory.bigint(v)
+                          : typeof v === "number"
+                            ? ExpressionFactory.number(v)
+                            : ts.factory.createStringLiteral(v.toString()),
+                    ),
+                  ),
+                ],
+              ),
+            ),
+            "has",
+          ),
+          undefined,
+          [props.input],
+        ),
+      });
+    } else
+      for (const c of constants)
+        if (
+          AtomicPredicator.constant({
+            metadata: props.metadata,
+            name: c.type,
+          })
+        )
+          for (const v of c.values)
+            add({
+              exact: true,
+              left: getConstantValue(v.value),
+            });
+
+    // ATOMIC VALUES
+    for (const atom of props.metadata.atomics)
+      if (
+        AtomicPredicator.atomic({
+          metadata: props.metadata,
+          name: atom.type,
+        }) === false
+      )
+        continue;
+      else if (atom.type === "number")
+        binaries.push({
+          expression: props.config.atomist({
+            explore: props.explore,
+            entry: check_number({
+              context: props.context,
+              numeric: props.config.numeric,
+              atomic: atom,
+              input: props.input,
+            }),
+            input: props.input,
+          }),
+          combined: false,
+        });
+      else if (atom.type === "bigint")
+        binaries.push({
+          expression: props.config.atomist({
+            explore: props.explore,
+            entry: check_bigint({
+              context: props.context,
+              atomic: atom,
+              input: props.input,
+            }),
+            input: props.input,
+          }),
+          combined: false,
+        });
+      else if (atom.type === "string")
+        binaries.push({
+          expression: props.config.atomist({
+            explore: props.explore,
+            entry: check_string({
+              context: props.context,
+              atomic: atom,
+              input: props.input,
+            }),
+            input: props.input,
+          }),
+          combined: false,
+        });
+      else
+        add({
+          exact: true,
+          left: ts.factory.createStringLiteral(atom.type),
+          right: ValueFactory.TYPEOF(props.input),
+        });
+
+    // TEMPLATE LITERAL VALUES
+    if (props.metadata.templates.length)
+      if (AtomicPredicator.template(props.metadata))
+        binaries.push({
+          expression: props.config.atomist({
+            explore: props.explore,
+            entry: check_template({
+              templates: props.metadata.templates,
+              input: props.input,
+            }),
+            input: props.input,
+          }),
+          combined: false,
+        });
+
+    // NATIVE CLASSES
+    for (const native of props.metadata.natives)
+      binaries.push({
+        expression: check_native({
+          name: native.name,
+          input: props.input,
+        }),
+        combined: false,
+      });
+
+    //----
+    // INSTANCES
+    //----
+    interface IInstance {
+      head: ts.Expression;
+      body: ts.Expression | null;
+      expected: string;
+    }
+    const instances: IInstance[] = [];
+    const prepare = (next: IInstance) => instances.push(next);
+
+    // SETS
+    if (props.metadata.sets.length) {
+      const install = (body: ts.Expression | null) =>
+        prepare({
+          head: check_native({
+            name: "Set",
+            input: props.input,
+          }),
+          expected: props.metadata.sets
+            .map((elem) => `Set<${elem.getName()}>`)
+            .join(" | "),
+          body,
+        });
+      if (props.metadata.sets.some((elem) => elem.value.any)) install(null);
+      else
+        install(
+          explore_sets({
+            config: props.config,
+            context: props.context,
+            functor: props.functor,
+            sets: props.metadata.sets,
+            input: props.input,
+            explore: {
+              ...props.explore,
+              from: "array",
+            },
+          }),
+        );
+    }
+
+    // MAPS
+    if (props.metadata.maps.length) {
+      const install = (body: ts.Expression | null) =>
+        prepare({
+          head: check_native({
+            name: "Map",
+            input: props.input,
+          }),
+          expected: props.metadata.maps
+            .map(({ key, value }) => `Map<${key}, ${value}>`)
+            .join(" | "),
+          body,
+        });
+      if (props.metadata.maps.some((elem) => elem.key.any && elem.value.any))
+        install(null);
+      else
+        install(
+          explore_maps({
+            config: props.config,
+            context: props.context,
+            functor: props.functor,
+            maps: props.metadata.maps,
+            input: props.input,
+            explore: {
+              ...props.explore,
+              from: "array",
+            },
+          }),
+        );
+    }
+
+    // ARRAYS AND TUPLES
+    if (props.metadata.tuples.length + props.metadata.arrays.length > 0) {
+      const install = (body: ts.Expression | null) =>
+        prepare({
+          head: props.config.atomist({
+            explore: props.explore,
+            entry: {
+              expected: [
+                ...props.metadata.tuples.map((t) => t.type.name),
+                ...props.metadata.arrays.map((a) => a.getName()),
+              ].join(" | "),
+              expression: ExpressionFactory.isArray(props.input),
+              conditions: [],
+            },
+            input: props.input,
+          }),
+          expected: [...props.metadata.tuples, ...props.metadata.arrays]
+            .map((elem) => elem.type.name)
+            .join(" | "),
+          body,
+        });
+      if (props.metadata.arrays.length === 0)
+        if (props.metadata.tuples.length === 1)
+          install(
+            decode_tuple({
+              config: props.config,
+              context: props.context,
+              functor: props.functor,
+              tuple: props.metadata.tuples[0]!,
+              input: props.input,
+              explore: {
+                ...props.explore,
+                from: "array",
+              },
+            }),
+          );
+        // TUPLE ONLY
+        else
+          install(
+            explore_tuples({
+              config: props.config,
+              context: props.context,
+              functor: props.functor,
+              tuples: props.metadata.tuples,
+              input: props.input,
+              explore: {
+                ...props.explore,
+                from: "array",
+              },
+            }),
+          );
+      else if (props.metadata.arrays.some((elem) => elem.type.value.any))
+        install(null);
+      else if (props.metadata.tuples.length === 0)
+        if (props.metadata.arrays.length === 1)
+          // ARRAY ONLY
+          install(
+            decode_array({
+              config: props.config,
+              context: props.context,
+              functor: props.functor,
+              array: props.metadata.arrays[0]!,
+              input: props.input,
+              explore: {
+                ...props.explore,
+                from: "array",
+              },
+            }),
+          );
+        else
+          install(
+            explore_arrays({
+              config: props.config,
+              context: props.context,
+              functor: props.functor,
+              arrays: props.metadata.arrays,
+              input: props.input,
+              explore: {
+                ...props.explore,
+                from: "array",
+              },
+            }),
+          );
+      else
+        install(
+          explore_arrays_and_tuples({
+            config: props.config,
+            context: props.context,
+            functor: props.functor,
+            definitions: [...props.metadata.tuples, ...props.metadata.arrays],
+            input: props.input,
+            explore: props.explore,
+          }),
+        );
+    }
+
+    // OBJECT
+    if (props.metadata.objects.length > 0)
+      prepare({
+        head: ExpressionFactory.isObject({
+          checkNull: true,
+          checkArray: props.metadata.objects.some((obj) =>
+            obj.type.properties.every(
+              (prop) => !prop.key.isSoleLiteral() || !prop.value.isRequired(),
+            ),
+          ),
+          input: props.input,
+        }),
+        expected: props.metadata.objects
+          .map((obj) => obj.type.name)
+          .join(" | "),
+        body: explore_objects({
+          config: props.config,
+          functor: props.functor,
+          metadata: props.metadata,
+          input: props.input,
+          explore: {
+            ...props.explore,
+            from: "object",
+          },
+        }),
+      });
+
+    if (instances.length) {
+      const transformer =
+        (merge: (x: ts.Expression, y: ts.Expression) => ts.Expression) =>
+        (instance: IInstance) =>
+          instance.body
+            ? {
+                expression: merge(instance.head, instance.body),
+                combined: true,
+              }
+            : {
+                expression: instance.head,
+                combined: false,
+              };
+      if (instances.length === 1)
+        binaries.push(
+          transformer((head, body) =>
+            props.config.combiner({
+              explore: props.explore,
+              logic: "and",
+              input: props.input,
+              binaries: [head, body].map((expression) => ({
+                expression,
+                combined: expression !== head,
+              })),
+              expected: props.metadata.getName(),
+            }),
+          )(instances[0]!),
+        );
+      else
+        binaries.push({
+          expression: props.config.combiner({
+            explore: props.explore,
+            logic: "or",
+            input: props.input,
+            binaries: instances.map(transformer(ts.factory.createLogicalAnd)),
+            expected: props.metadata.getName(),
+          }),
+          combined: true,
+        });
+    }
+
+    // ESCAPED CASE
+    if (props.metadata.escaped !== null)
+      binaries.push({
+        combined: false,
+        expression:
+          props.metadata.escaped.original.size() === 1 &&
+          props.metadata.escaped.original.natives.length === 1
+            ? check_native({
+                name: props.metadata.escaped.original.natives[0]!.name,
+                input: props.input,
+              })
+            : ts.factory.createLogicalAnd(
+                decode({
+                  context: props.context,
+                  config: props.config,
+                  functor: props.functor,
+                  metadata: props.metadata.escaped.original,
+                  input: props.input,
+                  explore: props.explore,
+                }),
+                ts.factory.createLogicalAnd(
+                  IsProgrammer.decode_to_json({
+                    checkNull: false,
+                    input: props.input,
+                  }),
+                  decode_escaped({
+                    config: props.config,
+                    context: props.context,
+                    functor: props.functor,
+                    metadata: props.metadata.escaped.returns,
+                    input: props.input,
+                    explore: props.explore,
+                  }),
+                ),
+              ),
+      });
+
+    //----
+    // COMBINE CONDITIONS
+    //----
+    return top.length && binaries.length
+      ? props.config.combiner({
+          explore: props.explore,
+          logic: "and",
+          input: props.input,
+          binaries: [
+            ...top,
+            {
+              expression: props.config.combiner({
+                explore: props.explore,
+                logic: "or",
+                input: props.input,
+                binaries,
+                expected: props.metadata.getName(),
+              }),
+              combined: true,
+            },
+          ],
+          expected: props.metadata.getName(),
+        })
+      : binaries.length
+        ? props.config.combiner({
+            explore: props.explore,
+            logic: "or",
+            input: props.input,
+            binaries,
+            expected: props.metadata.getName(),
+          })
+        : props.config.success;
+  };
+
+  export const decode_object = (props: {
+    config: IConfig;
+    functor: FunctionProgrammer;
+    object: MetadataObjectType;
+    input: ts.Expression;
+    explore: IExplore;
+  }) => {
+    props.object.validated ||= true;
+    return FeatureProgrammer.decode_object(props);
+  };
+
+  const decode_array = (props: {
+    config: IConfig;
+    context: ITypiaContext;
+    functor: FunctionProgrammer;
+    array: MetadataArray;
+    input: ts.Expression;
+    explore: IExplore;
+  }) => {
+    if (props.array.type.recursive === false) return decode_array_inline(props);
+
+    const arrayExplore: IExplore = {
+      ...props.explore,
+      source: "function",
+      from: "array",
+    };
+    return ts.factory.createLogicalOr(
+      ts.factory.createCallExpression(
+        ts.factory.createIdentifier(
+          props.functor.useLocal(
+            `${props.config.prefix}a${props.array.type.index}`,
+          ),
+        ),
+        undefined,
+        FeatureProgrammer.argumentsArray({
+          config: props.config,
+          explore: {
+            ...arrayExplore,
+            source: "function",
+            from: "array",
+          },
+          input: props.input,
+        }),
+      ),
+      props.config.joiner.failure({
+        input: props.input,
+        expected: props.array.type.name,
+        explore: arrayExplore,
+      }),
+    );
+  };
+
+  const decode_array_inline = (props: {
+    config: IConfig;
+    context: ITypiaContext;
+    functor: FunctionProgrammer;
+    array: MetadataArray;
+    input: ts.Expression;
+    explore: IExplore;
+  }): ts.Expression => {
+    const length: ICheckEntry = check_array_length({
+      context: props.context,
+      array: props.array,
+      input: props.input,
+    });
+    const main: ts.Expression = FeatureProgrammer.decode_array({
+      config: {
+        prefix: props.config.prefix,
+        trace: props.config.trace,
+        path: props.config.path,
+        decoder: (next) =>
+          decode({
+            ...props,
+            ...next,
+          }),
+      },
+      functor: props.functor,
+      combiner: props.config.joiner.array,
+      array: props.array,
+      input: props.input,
+      explore: props.explore,
+    });
+    return length.expression === null && length.conditions.length === 0
+      ? main
+      : ts.factory.createLogicalAnd(
+          props.config.atomist({
+            explore: props.explore,
+            input: props.input,
+            entry: length,
+          }),
+          main,
+        );
+  };
+
+  const decode_tuple = (props: {
+    context: ITypiaContext;
+    config: IConfig;
+    functor: FunctionProgrammer;
+    tuple: MetadataTuple;
+    input: ts.Expression;
+    explore: IExplore;
+  }): ts.Expression => {
+    if (props.tuple.type.recursive === false)
+      return decode_tuple_inline({
+        ...props,
+        tuple: props.tuple.type,
+      });
+    const arrayExplore: IExplore = {
+      ...props.explore,
+      source: "function",
+      from: "array",
+    };
+    return ts.factory.createLogicalOr(
+      ts.factory.createCallExpression(
+        ts.factory.createIdentifier(
+          props.functor.useLocal(
+            `${props.config.prefix}t${props.tuple.type.index}`,
+          ),
+        ),
+        undefined,
+        FeatureProgrammer.argumentsArray({
+          config: props.config,
+          explore: {
+            ...arrayExplore,
+            source: "function",
+          },
+          input: props.input,
+        }),
+      ),
+      props.config.joiner.failure({
+        input: props.input,
+        expected: props.tuple.type.name,
+        explore: arrayExplore,
+      }),
+    );
+  };
+
+  const decode_tuple_inline = (props: {
+    config: IConfig;
+    context: ITypiaContext;
+    functor: FunctionProgrammer;
+    tuple: MetadataTupleType;
+    input: ts.Expression;
+    explore: IExplore;
+  }): ts.Expression => {
+    const binaries: ts.Expression[] = props.tuple.elements
+      .filter((metadata) => metadata.rest === null)
+      .map((metadata, index) =>
+        decode({
+          context: props.context,
+          config: props.config,
+          functor: props.functor,
+          input: ts.factory.createElementAccessExpression(props.input, index),
+          metadata,
+          explore: {
+            ...props.explore,
+            from: "array",
+            postfix: props.explore.postfix.length
+              ? `${postfix_of_tuple(props.explore.postfix)}[${index}]"`
+              : `"[${index}]"`,
+          },
+        }),
+      );
+    const rest: ts.Expression | null =
+      props.tuple.elements.length && props.tuple.elements.at(-1)!.rest !== null
+        ? decode({
+            config: props.config,
+            context: props.context,
+            functor: props.functor,
+            input: ts.factory.createCallExpression(
+              IdentifierFactory.access(props.input, "slice"),
+              undefined,
+              [ExpressionFactory.number(props.tuple.elements.length - 1)],
+            ),
+            metadata: wrap_metadata_rest_tuple(
+              props.tuple.elements.at(-1)!.rest!,
+            ),
+            explore: {
+              ...props.explore,
+              start: props.tuple.elements.length - 1,
+            },
+          })
+        : null;
+    const arrayLength = ts.factory.createPropertyAccessExpression(
+      props.input,
+      "length",
+    );
+    return props.config.combiner({
+      explore: props.explore,
+      logic: "and",
+      input: props.input,
+      binaries: [
+        ...(rest === null
+          ? props.tuple.elements.every((t) => t.optional === false)
+            ? [
+                {
+                  combined: false,
+                  expression: ts.factory.createStrictEquality(
+                    arrayLength,
+                    ExpressionFactory.number(props.tuple.elements.length),
+                  ),
+                },
+              ]
+            : [
+                {
+                  combined: false,
+                  expression: ts.factory.createLogicalAnd(
+                    ts.factory.createLessThanEquals(
+                      ExpressionFactory.number(
+                        props.tuple.elements.filter((t) => t.optional === false)
+                          .length,
+                      ),
+                      arrayLength,
+                    ),
+                    ts.factory.createGreaterThanEquals(
+                      ExpressionFactory.number(props.tuple.elements.length),
+                      arrayLength,
+                    ),
+                  ),
+                },
+              ]
+          : []),
+        ...(props.config.joiner.tuple
+          ? [
+              {
+                expression: props.config.joiner.tuple(binaries),
+                combined: true,
+              },
+            ]
+          : binaries.map((expression) => ({
+              expression,
+              combined: true,
+            }))),
+        ...(rest !== null
+          ? [
+              {
+                expression: rest,
+                combined: true,
+              },
+            ]
+          : []),
+      ],
+      expected: `[${props.tuple.elements.map((t) => t.getName()).join(", ")}]`,
+    });
+  };
+
+  const decode_escaped = (props: {
+    config: IConfig;
+    context: ITypiaContext;
+    functor: FunctionProgrammer;
+    metadata: Metadata;
+    input: ts.Expression;
+    explore: IExplore;
+  }): ts.Expression =>
+    ts.factory.createCallExpression(
+      ts.factory.createParenthesizedExpression(
+        ts.factory.createArrowFunction(
+          undefined,
+          undefined,
+          [IdentifierFactory.parameter("input", TypeFactory.keyword("any"))],
+          undefined,
+          undefined,
+          decode({
+            ...props,
+            input: ts.factory.createIdentifier("input"),
+          }),
+        ),
+      ),
+      undefined,
+      [
+        ts.factory.createCallExpression(
+          IdentifierFactory.access(props.input, "toJSON"),
+          undefined,
+          [],
+        ),
+      ],
+    );
+
+  /* -----------------------------------------------------------
+        UNION TYPE EXPLORERS
+    ----------------------------------------------------------- */
+  const explore_sets = (props: {
+    context: ITypiaContext;
+    config: IConfig;
+    functor: FunctionProgrammer;
+    sets: MetadataSet[];
+    input: ts.Expression;
+    explore: IExplore;
+  }): ts.Expression =>
+    ts.factory.createCallExpression(
+      UnionExplorer.set({
+        config: {
+          checker: (v) =>
+            decode({
+              context: props.context,
+              config: props.config,
+              functor: props.functor,
+              input: v.input,
+              metadata: v.definition,
+              explore: v.explore,
+            }),
+          decoder: (v) =>
+            decode_array({
+              config: props.config,
+              context: props.context,
+              functor: props.functor,
+              array: v.definition,
+              input: v.input,
+              explore: v.explore,
+            }),
+          empty: props.config.success,
+          success: props.config.success,
+          failure: (v) =>
+            ts.factory.createReturnStatement(props.config.joiner.failure(v)),
+        },
+        parameters: [],
+        input: props.input,
+        sets: props.sets,
+        explore: props.explore,
+      }),
+      undefined,
+      undefined,
+    );
+
+  const explore_maps = (props: {
+    context: ITypiaContext;
+    config: IConfig;
+    functor: FunctionProgrammer;
+    input: ts.Expression;
+    maps: MetadataMap[];
+    explore: IExplore;
+  }): ts.Expression =>
+    ts.factory.createCallExpression(
+      UnionExplorer.map({
+        config: {
+          checker: (v) =>
+            ts.factory.createLogicalAnd(
+              decode({
+                config: props.config,
+                context: props.context,
+                functor: props.functor,
+                input: ts.factory.createElementAccessExpression(v.input, 0),
+                metadata: v.definition[0],
+                explore: {
+                  ...v.explore,
+                  postfix: `${v.explore.postfix}[0]`,
+                },
+              }),
+              decode({
+                config: props.config,
+                context: props.context,
+                functor: props.functor,
+                input: ts.factory.createElementAccessExpression(v.input, 1),
+                metadata: v.definition[1],
+                explore: {
+                  ...v.explore,
+                  postfix: `${v.explore.postfix}[1]`,
+                },
+              }),
+            ),
+          decoder: (v) =>
+            decode_array({
+              context: props.context,
+              config: props.config,
+              functor: props.functor,
+              array: v.definition,
+              input: v.input,
+              explore: v.explore,
+            }),
+          empty: props.config.success,
+          success: props.config.success,
+          failure: (v) =>
+            ts.factory.createReturnStatement(props.config.joiner.failure(v)),
+        },
+        parameters: [],
+        input: props.input,
+        maps: props.maps,
+        explore: props.explore,
+      }),
+      undefined,
+      undefined,
+    );
+
+  const explore_tuples = (props: {
+    config: IConfig;
+    context: ITypiaContext;
+    functor: FunctionProgrammer;
+    tuples: MetadataTuple[];
+    input: ts.Expression;
+    explore: IExplore;
+  }): ts.Expression =>
+    explore_array_like_union_types<MetadataTuple>({
+      config: props.config,
+      functor: props.functor,
+      factory: (next) =>
+        UnionExplorer.tuple({
+          config: {
+            checker: (v) =>
+              decode_tuple({
+                context: props.context,
+                config: props.config,
+                functor: props.functor,
+                input: v.input,
+                tuple: v.definition,
+                explore: v.explore,
+              }),
+            decoder: (v) =>
+              decode_tuple({
+                context: props.context,
+                config: props.config,
+                functor: props.functor,
+                tuple: v.definition,
+                input: v.input,
+                explore: v.explore,
+              }),
+            empty: props.config.success,
+            success: props.config.success,
+            failure: (v) =>
+              ts.factory.createReturnStatement(props.config.joiner.failure(v)),
+          },
+          parameters: next.parameters,
+          tuples: next.definitions,
+          input: next.input,
+          explore: next.explore,
+        }),
+      definitions: props.tuples,
+      input: props.input,
+      explore: props.explore,
+    });
+
+  const explore_arrays = (props: {
+    config: IConfig;
+    context: ITypiaContext;
+    functor: FunctionProgrammer;
+    arrays: MetadataArray[];
+    input: ts.Expression;
+    explore: IExplore;
+  }): ts.Expression =>
+    explore_array_like_union_types<MetadataArray>({
+      config: props.config,
+      functor: props.functor,
+      factory: (next) =>
+        UnionExplorer.array({
+          config: {
+            checker: (v) =>
+              decode({
+                context: props.context,
+                config: props.config,
+                functor: props.functor,
+                metadata: v.definition,
+                input: v.input,
+                explore: v.explore,
+              }),
+            decoder: (v) =>
+              decode_array({
+                context: props.context,
+                config: props.config,
+                functor: props.functor,
+                array: v.definition,
+                input: v.input,
+                explore: v.explore,
+              }),
+            empty: props.config.success,
+            success: props.config.success,
+            failure: (v) =>
+              ts.factory.createReturnStatement(props.config.joiner.failure(v)),
+          },
+          parameters: next.parameters,
+          arrays: next.definitions,
+          input: next.input,
+          explore: next.explore,
+        }),
+      definitions: props.arrays,
+      input: props.input,
+      explore: props.explore,
+    });
+
+  const explore_arrays_and_tuples = (props: {
+    config: IConfig;
+    context: ITypiaContext;
+    functor: FunctionProgrammer;
+    definitions: Array<MetadataArray | MetadataTuple>;
+    input: ts.Expression;
+    explore: IExplore;
+  }): ts.Expression =>
+    explore_array_like_union_types<MetadataArray | MetadataTuple>({
+      config: props.config,
+      functor: props.functor,
+      factory: (next) =>
+        UnionExplorer.array_or_tuple({
+          config: {
+            checker: (v) =>
+              v.definition instanceof MetadataTuple
+                ? decode_tuple({
+                    config: props.config,
+                    context: props.context,
+                    functor: props.functor,
+                    input: v.input,
+                    tuple: v.definition,
+                    explore: v.explore,
+                  })
+                : props.config.atomist({
+                    explore: v.explore,
+                    entry: {
+                      expected: props.definitions
+                        .map((elem) =>
+                          elem instanceof MetadataArray
+                            ? elem.getName()
+                            : elem.type.name,
+                        )
+                        .join(" | "),
+                      expression: decode({
+                        functor: props.functor,
+                        context: props.context,
+                        config: props.config,
+                        metadata: v.definition,
+                        input: v.input,
+                        explore: v.explore,
+                      }),
+                      conditions: [],
+                    },
+                    input: v.container,
+                  }),
+            decoder: (v) =>
+              v.definition instanceof MetadataTuple
+                ? decode_tuple({
+                    context: props.context,
+                    config: props.config,
+                    functor: props.functor,
+                    input: v.input,
+                    tuple: v.definition,
+                    explore: v.explore,
+                  })
+                : decode_array({
+                    context: props.context,
+                    config: props.config,
+                    functor: props.functor,
+                    input: v.input,
+                    array: v.definition,
+                    explore: v.explore,
+                  }),
+            empty: props.config.success,
+            success: props.config.success,
+            failure: (v) =>
+              ts.factory.createReturnStatement(props.config.joiner.failure(v)),
+          },
+          parameters: next.parameters,
+          definitions: next.definitions,
+          input: next.input,
+          explore: next.explore,
+        }),
+      input: props.input,
+      definitions: props.definitions,
+      explore: props.explore,
+    });
+
+  const explore_array_like_union_types = <
+    T extends MetadataArray | MetadataTuple,
+  >(props: {
+    config: IConfig;
+    functor: FunctionProgrammer;
+    factory: (next: {
+      parameters: ts.ParameterDeclaration[];
+      definitions: T[];
+      input: ts.Expression;
+      explore: IExplore;
+    }) => ts.ArrowFunction;
+    input: ts.Expression;
+    definitions: T[];
+    explore: IExplore;
+  }): ts.Expression => {
+    const arrow = (next: {
+      parameters: ts.ParameterDeclaration[];
+      explore: IExplore;
+      input: ts.Expression;
+    }): ts.ArrowFunction =>
+      props.factory({
+        parameters: next.parameters,
+        definitions: props.definitions,
+        input: next.input,
+        explore: next.explore,
+      });
+    if (props.definitions.every((e) => e.type.recursive === false))
+      ts.factory.createCallExpression(
+        arrow({
+          explore: props.explore,
+          input: props.input,
+          parameters: [],
+        }),
+        undefined,
+        [],
+      );
+    const arrayExplore: IExplore = {
+      ...props.explore,
+      source: "function",
+      from: "array",
+    };
+    return ts.factory.createLogicalOr(
+      ts.factory.createCallExpression(
+        ts.factory.createIdentifier(
+          props.functor.emplaceUnion(
+            props.config.prefix,
+            props.definitions.map((e) => e.type.name).join(" | "),
+            () =>
+              arrow({
+                parameters: FeatureProgrammer.parameterDeclarations({
+                  config: props.config,
+                  type: TypeFactory.keyword("any"),
+                  input: ts.factory.createIdentifier("input"),
+                }),
+                explore: {
+                  ...arrayExplore,
+                  postfix: "",
+                },
+                input: ts.factory.createIdentifier("input"),
+              }),
+          ),
+        ),
+        undefined,
+        FeatureProgrammer.argumentsArray(props),
+      ),
+      props.config.joiner.failure({
+        input: props.input,
+        expected: props.definitions.map((e) => e.type.name).join(" | "),
+        explore: arrayExplore,
+      }),
+    );
+  };
+
+  const explore_objects = (props: {
+    config: IConfig;
+    functor: FunctionProgrammer;
+    input: ts.Expression;
+    metadata: Metadata;
+    explore: IExplore;
+  }) =>
+    props.metadata.objects.length === 1
+      ? decode_object({
+          config: props.config,
+          functor: props.functor,
+          object: props.metadata.objects[0]!.type,
+          input: props.input,
+          explore: props.explore,
+        })
+      : ts.factory.createCallExpression(
+          ts.factory.createIdentifier(
+            props.functor.useLocal(
+              `${props.config.prefix}u${props.metadata.union_index!}`,
+            ),
+          ),
+          undefined,
+          FeatureProgrammer.argumentsArray(props),
+        );
+}
+
+const create_add = (props: {
+  binaries: CheckerProgrammer.IBinary[];
+  default: ts.Expression;
+  exact: boolean;
+  left: ts.Expression;
+  right?: ts.Expression;
+}) => {
+  const factory = props.exact
+    ? ts.factory.createStrictEquality
+    : ts.factory.createStrictInequality;
+  props.binaries.push({
+    expression: factory(props.left, props.right ?? props.default),
+    combined: false,
+  });
+};