@naturalcycles/nodejs-lib 15.91.0 → 15.92.0

package/dist/validation/ajv/ajvSchema.d.ts

@@ -7,13 +7,13 @@ import { AjvValidationError } from './ajvValidationError.js';
  * On creation - compiles ajv validation function.
  * Provides convenient methods, error reporting, etc.
  */
-export declare class AjvSchema<IN = unknown, OUT = IN> {
-    schema: JsonSchema<IN, OUT>;
+export declare class AjvSchema<OUT> {
+    schema: JsonSchema<OUT>;
     private constructor();
     /**
      * Shortcut for AjvSchema.create(schema, { lazy: true })
      */
-    static createLazy<IN, OUT>(schema: SchemaHandledByAjv<IN, OUT>, cfg?: Partial<AjvSchemaCfg>): AjvSchema<IN, OUT>;
+    static createLazy<OUT>(schema: SchemaHandledByAjv<OUT>, cfg?: Partial<AjvSchemaCfg>): AjvSchema<OUT>;
     /**
      * Conveniently allows to pass either JsonSchema or JsonSchemaBuilder, or existing AjvSchema.
      * If it's already an AjvSchema - it'll just return it without any processing.
@@ -23,8 +23,8 @@ export declare class AjvSchema<IN = unknown, OUT = IN> {
      * Implementation note: JsonSchemaBuilder goes first in the union type, otherwise TypeScript fails to infer <T> type
      * correctly for some reason.
      */
-    static create<IN, OUT = IN>(schema: SchemaHandledByAjv<IN, OUT>, cfg?: Partial<AjvSchemaCfg>): AjvSchema<IN, OUT>;
-    static isJsonSchemaBuilder<IN, OUT>(schema: unknown): schema is JsonSchemaTerminal<IN, OUT, any>;
+    static create<OUT>(schema: SchemaHandledByAjv<OUT>, cfg?: Partial<AjvSchemaCfg>): AjvSchema<OUT>;
+    static isJsonSchemaBuilder<OUT>(schema: unknown): schema is JsonSchemaTerminal<OUT, any>;
     readonly cfg: AjvSchemaCfg;
     /**
      * It returns the original object just for convenience.
@@ -34,13 +34,13 @@ export declare class AjvSchema<IN = unknown, OUT = IN> {
      *
      * Returned object is always the same object (`===`) that was passed, so it is returned just for convenience.
      */
-    validate(input: IN, opt?: AjvValidationOptions<IN>): OUT;
-    isValid(input: IN, opt?: AjvValidationOptions<IN>): boolean;
-    getValidationResult(input: IN, opt?: AjvValidationOptions<IN>): ValidationFunctionResult<OUT, AjvValidationError>;
-    getValidationFunction(): ValidationFunction<IN, OUT, AjvValidationError>;
-    static isSchemaWithCachedAjvSchema<Base, IN, OUT>(schema: Base): schema is WithCachedAjvSchema<Base, IN, OUT>;
-    static cacheAjvSchema<Base extends AnyObject, IN, OUT>(schema: Base, ajvSchema: AjvSchema<IN, OUT>): WithCachedAjvSchema<Base, IN, OUT>;
-    static requireCachedAjvSchema<Base, IN, OUT>(schema: WithCachedAjvSchema<Base, IN, OUT>): AjvSchema<IN, OUT>;
+    validate(input: unknown, opt?: AjvValidationOptions): OUT;
+    isValid(input: unknown, opt?: AjvValidationOptions): boolean;
+    getValidationResult(input: unknown, opt?: AjvValidationOptions): ValidationFunctionResult<OUT, AjvValidationError>;
+    getValidationFunction(): ValidationFunction<OUT, AjvValidationError>;
+    static isSchemaWithCachedAjvSchema<Base, OUT>(schema: Base): schema is WithCachedAjvSchema<Base, OUT>;
+    static cacheAjvSchema<Base extends AnyObject, OUT>(schema: Base, ajvSchema: AjvSchema<OUT>): WithCachedAjvSchema<Base, OUT>;
+    static requireCachedAjvSchema<Base, OUT>(schema: WithCachedAjvSchema<Base, OUT>): AjvSchema<OUT>;
     private getAJVValidateFunction;
     private static requireValidJsonSchema;
     private applyImprovementsOnErrorMessages;
@@ -51,10 +51,10 @@ export declare class AjvSchema<IN = unknown, OUT = IN> {
     private getObjectPropertySchema;
 }
 export declare const HIDDEN_AJV_SCHEMA: unique symbol;
-export type WithCachedAjvSchema<Base, IN, OUT> = Base & {
-    [HIDDEN_AJV_SCHEMA]: AjvSchema<IN, OUT>;
+export type WithCachedAjvSchema<Base, OUT> = Base & {
+    [HIDDEN_AJV_SCHEMA]: AjvSchema<OUT>;
 };
-export interface AjvValidationOptions<IN> {
+export interface AjvValidationOptions {
     /**
      * Defaults to true,
      * because that's how AJV works by default,
@@ -82,7 +82,7 @@ export interface AjvValidationOptions<IN> {
      * can include it "how it was" in an error message. So, for that reason we'll use
      * `getOriginalInput()`, if it's provided.
      */
-    getOriginalInput?: () => IN;
+    getOriginalInput?: () => unknown;
 }
 export interface AjvSchemaCfg {
     /**
@@ -104,21 +104,21 @@ export interface AjvSchemaCfg {
      */
     lazy?: boolean;
 }
-export type SchemaHandledByAjv<IN, OUT = IN> = JsonSchemaTerminal<IN, OUT, any> | JsonSchema<IN, OUT> | AjvSchema<IN, OUT>;
+export type SchemaHandledByAjv<OUT> = JsonSchemaTerminal<OUT, any> | JsonSchema<OUT> | AjvSchema<OUT>;
 export declare const j: {
     /**
      * Matches literally any value - equivalent to TypeScript's `any` type.
      * Use sparingly, as it bypasses type validation entirely.
      */
-    any(): JsonSchemaAnyBuilder<any, any, false>;
-    string(): JsonSchemaStringBuilder<string, string, false>;
-    number(): JsonSchemaNumberBuilder<number, number, false>;
-    boolean(): JsonSchemaBooleanBuilder<boolean, boolean, false>;
+    any(): JsonSchemaAnyBuilder<any, false>;
+    string(): JsonSchemaStringBuilder<string, false>;
+    number(): JsonSchemaNumberBuilder<number, false>;
+    boolean(): JsonSchemaBooleanBuilder<boolean, false>;
     object: typeof object & {
         dbEntity: typeof objectDbEntity;
         infer: typeof objectInfer;
-        any(): JsonSchemaObjectBuilder<AnyObject, AnyObject, false>;
-        stringMap<S extends JsonSchemaTerminal<any, any, any>>(schema: S): JsonSchemaObjectBuilder<StringMap<SchemaIn<S>>, StringMap<SchemaOut<S>>, false>;
+        any(): JsonSchemaObjectBuilder<AnyObject, false>;
+        stringMap<S extends JsonSchemaTerminal<any, any>>(schema: S): JsonSchemaObjectBuilder<StringMap<SchemaOut<S>>, false>;
         /**
          * @experimental Look around, maybe you find a rule that is better for your use-case.
          *
@@ -154,11 +154,11 @@ export declare const j: {
         withEnumKeys: typeof withEnumKeys;
         withRegexKeys: typeof withRegexKeys;
     };
-    array<IN, OUT, Opt>(itemSchema: JsonSchemaAnyBuilder<IN, OUT, Opt>): JsonSchemaArrayBuilder<IN, OUT, Opt>;
-    tuple<const S extends JsonSchemaAnyBuilder<any, any, any>[]>(items: S): JsonSchemaTupleBuilder<S>;
-    set<IN, OUT, Opt>(itemSchema: JsonSchemaAnyBuilder<IN, OUT, Opt>): JsonSchemaSet2Builder<IN, OUT, Opt>;
+    array<OUT, Opt>(itemSchema: JsonSchemaAnyBuilder<OUT, Opt>): JsonSchemaArrayBuilder<OUT, Opt>;
+    tuple<const S extends JsonSchemaAnyBuilder<any, any>[]>(items: S): JsonSchemaTupleBuilder<S>;
+    set<OUT, Opt>(itemSchema: JsonSchemaAnyBuilder<OUT, Opt>): JsonSchemaSet2Builder<OUT, Opt>;
     buffer(): JsonSchemaBufferBuilder;
-    enum<const T extends any>(input: T, opt?: JsonBuilderRuleOpt | undefined): JsonSchemaEnumBuilder<T extends readonly (infer U)[] ? U : T extends StringEnum ? T[keyof T] : T extends NumberEnum ? T[keyof T] : never, T extends readonly (infer U)[] ? U : T extends StringEnum ? T[keyof T] : T extends NumberEnum ? T[keyof T] : never, false>;
+    enum<const T extends any>(input: T, opt?: JsonBuilderRuleOpt | undefined): JsonSchemaEnumBuilder<T extends readonly (infer U)[] ? U : T extends StringEnum ? T[keyof T] : T extends NumberEnum ? T[keyof T] : never, false>;
     /**
      * Use only with primitive values, otherwise this function will throw to avoid bugs.
      * To validate objects, use `anyOfBy`.
@@ -170,7 +170,7 @@ export declare const j: {
      * Use `anyOf` when schemas may overlap (e.g., AccountId | PartnerId with same format).
      * Use `oneOf` when schemas are mutually exclusive.
      */
-    oneOf<B extends readonly JsonSchemaAnyBuilder<any, any, boolean>[], IN = BuilderInUnion<B>, OUT = BuilderOutUnion<B>>(items: [...B]): JsonSchemaAnyBuilder<IN, OUT, false>;
+    oneOf<B extends readonly JsonSchemaAnyBuilder<any, boolean>[], OUT = BuilderOutUnion<B>>(items: [...B]): JsonSchemaAnyBuilder<OUT, false>;
     /**
      * Use only with primitive values, otherwise this function will throw to avoid bugs.
      * To validate objects, use `anyOfBy` or `anyOfThese`.
@@ -182,7 +182,7 @@ export declare const j: {
      * Use `anyOf` when schemas may overlap (e.g., AccountId | PartnerId with same format).
      * Use `oneOf` when schemas are mutually exclusive.
      */
-    anyOf<B extends readonly JsonSchemaAnyBuilder<any, any, boolean>[], IN = BuilderInUnion<B>, OUT = BuilderOutUnion<B>>(items: [...B]): JsonSchemaAnyBuilder<IN, OUT, false>;
+    anyOf<B extends readonly JsonSchemaAnyBuilder<any, boolean>[], OUT = BuilderOutUnion<B>>(items: [...B]): JsonSchemaAnyBuilder<OUT, false>;
     /**
      * Pick validation schema for an object based on the value of a specific property.
      *
@@ -195,7 +195,7 @@ export declare const j: {
      * const schema = j.anyOfBy('success', schemaMap)
      * ```
      */
-    anyOfBy<P extends string, D extends Record<PropertyKey, JsonSchemaTerminal<any, any, any>>, IN = AnyOfByIn<D>, OUT = AnyOfByOut<D>>(propertyName: P, schemaDictionary: D): JsonSchemaAnyOfByBuilder<IN, OUT, P>;
+    anyOfBy<D extends Record<PropertyKey, JsonSchemaTerminal<any, any>>, OUT = AnyOfByOut<D>>(propertyName: string, schemaDictionary: D): JsonSchemaAnyOfByBuilder<OUT>;
     /**
      * Custom version of `anyOf` which - in contrast to the original function - does not mutate the input.
      * This comes with a performance penalty, so do not use it where performance matters.
@@ -204,37 +204,46 @@ export declare const j: {
      * const schema = j.anyOfThese([successSchema, errorSchema])
      * ```
      */
-    anyOfThese<B extends readonly JsonSchemaAnyBuilder<any, any, boolean>[], IN = BuilderInUnion<B>, OUT = BuilderOutUnion<B>>(items: [...B]): JsonSchemaAnyBuilder<IN, OUT, false>;
+    anyOfThese<B extends readonly JsonSchemaAnyBuilder<any, boolean>[], OUT = BuilderOutUnion<B>>(items: [...B]): JsonSchemaAnyBuilder<OUT, false>;
     and(): {
         silentBob: () => never;
     };
-    literal<const V extends string | number | boolean | null>(v: V): JsonSchemaEnumBuilder<V, V, false>;
+    literal<const V extends string | number | boolean | null>(v: V): JsonSchemaEnumBuilder<V, false>;
 };
-export declare class JsonSchemaTerminal<IN, OUT, Opt> {
-    protected [HIDDEN_AJV_SCHEMA]: AjvSchema<any, any> | undefined;
+export declare class JsonSchemaTerminal<OUT, Opt> {
+    protected [HIDDEN_AJV_SCHEMA]: AjvSchema<any> | undefined;
     protected schema: JsonSchema;
     constructor(schema: JsonSchema);
-    get ajvSchema(): AjvSchema<any, any>;
+    get ajvSchema(): AjvSchema<any>;
     getSchema(): JsonSchema;
     /**
      * Produces a "clean schema object" without methods.
      * Same as if it would be JSON.stringified.
      */
-    build(): JsonSchema<IN, OUT>;
+    build(): JsonSchema<OUT>;
     clone(): this;
     cloneAndUpdateSchema(schema: Partial<JsonSchema>): this;
-    validate(input: any, opt?: AjvValidationOptions<IN>): OUT;
-    isValid(input: any, opt?: AjvValidationOptions<IN>): boolean;
-    getValidationResult(input: any, opt?: AjvValidationOptions<IN>): ValidationFunctionResult<OUT, AjvValidationError>;
-    getValidationFunction(): ValidationFunction<any, OUT, AjvValidationError>;
+    validate(input: unknown, opt?: AjvValidationOptions): OUT;
+    isValid(input: unknown, opt?: AjvValidationOptions): boolean;
+    getValidationResult(input: unknown, opt?: AjvValidationOptions): ValidationFunctionResult<OUT, AjvValidationError>;
+    getValidationFunction(): ValidationFunction<OUT, AjvValidationError>;
+    /**
+     * Specify a function to be called after the normal validation is finished.
+     *
+     * This function will receive the validated, type-safe data, and you can use it
+     * to do further validations, e.g. conditional validations based on certain property values,
+     * or to do data modifications either by mutating the input or returning a new value.
+     *
+     * If you throw an error from this function, it will show up as an error in the validation.
+     */
+    postValidation<OUT2 = OUT>(fn: PostValidatonFn<OUT, OUT2>): JsonSchemaTerminal<OUT2, Opt>;
     /**
      * @experimental
      */
-    in: IN;
     out: OUT;
     opt: Opt;
 }
-export declare class JsonSchemaAnyBuilder<IN, OUT, Opt> extends JsonSchemaTerminal<IN, OUT, Opt> {
+export declare class JsonSchemaAnyBuilder<OUT, Opt> extends JsonSchemaTerminal<OUT, Opt> {
     protected setErrorMessage(ruleName: string, errorMessage: string | undefined): void;
     /**
      * A helper function that takes a type parameter and compares it with the type inferred from the schema.
@@ -261,24 +270,24 @@ export declare class JsonSchemaAnyBuilder<IN, OUT, Opt> extends JsonSchemaTermin
     type(type: string): this;
     default(v: any): this;
     instanceof(of: string): this;
-    optional(): JsonSchemaAnyBuilder<IN | undefined, OUT | undefined, true>;
-    nullable(): JsonSchemaAnyBuilder<IN | null, OUT | null, Opt>;
+    optional(): JsonSchemaAnyBuilder<OUT | undefined, true>;
+    nullable(): JsonSchemaAnyBuilder<OUT | null, Opt>;
     /**
      * @deprecated
      * The usage of this function is discouraged as it defeats the purpose of having type-safe validation.
      */
-    castAs<T>(): JsonSchemaAnyBuilder<T, T, Opt>;
+    castAs<T>(): JsonSchemaAnyBuilder<T, Opt>;
     /**
      * Locks the given schema chain and no other modification can be done to it.
      */
-    final(): JsonSchemaTerminal<IN, OUT, Opt>;
+    final(): JsonSchemaTerminal<OUT, Opt>;
     /**
      *
      * @param validator A validator function that returns an error message or undefined.
      *
      * You may add multiple custom validators and they will be executed in the order you added them.
      */
-    custom<OUT2 = OUT>(validator: CustomValidatorFn): JsonSchemaAnyBuilder<IN, OUT2, Opt>;
+    custom<OUT2 = OUT>(validator: CustomValidatorFn): JsonSchemaAnyBuilder<OUT2, Opt>;
     /**
      *
      * @param converter A converter function that returns a new value.
@@ -289,9 +298,9 @@ export declare class JsonSchemaAnyBuilder<IN, OUT, Opt> extends JsonSchemaTermin
      * This feature only works when the current schema is nested in an object or array schema,
      * due to how mutability works in Ajv.
      */
-    convert<OUT2>(converter: CustomConverterFn<OUT2>): JsonSchemaAnyBuilder<IN, OUT2, Opt>;
+    convert<OUT2>(converter: CustomConverterFn<OUT2>): JsonSchemaAnyBuilder<OUT2, Opt>;
 }
-export declare class JsonSchemaStringBuilder<IN extends string | undefined = string, OUT = IN, Opt extends boolean = false> extends JsonSchemaAnyBuilder<IN, OUT, Opt> {
+export declare class JsonSchemaStringBuilder<OUT extends string | undefined = string, Opt extends boolean = false> extends JsonSchemaAnyBuilder<OUT, Opt> {
     constructor();
     /**
      * @param optionalValues List of values that should be considered/converted as `undefined`.
@@ -304,7 +313,7 @@ export declare class JsonSchemaStringBuilder<IN extends string | undefined = str
      * When `null` is included in optionalValues, the return type becomes `JsonSchemaTerminal`
      * (no further chaining allowed) because the schema is wrapped in an anyOf structure.
      */
-    optional<T extends readonly (string | null)[] | undefined = undefined>(optionalValues?: T): T extends readonly (infer U)[] ? null extends U ? JsonSchemaTerminal<IN | undefined, OUT | undefined, true> : JsonSchemaStringBuilder<IN | undefined, OUT | undefined, true> : JsonSchemaStringBuilder<IN | undefined, OUT | undefined, true>;
+    optional<T extends readonly (string | null)[] | undefined = undefined>(optionalValues?: T): T extends readonly (infer U)[] ? null extends U ? JsonSchemaTerminal<OUT | undefined, true> : JsonSchemaStringBuilder<OUT | undefined, true> : JsonSchemaStringBuilder<OUT | undefined, true>;
     regex(pattern: RegExp, opt?: JsonBuilderRuleOpt): this;
     pattern(pattern: string, opt?: JsonBuilderRuleOpt): this;
     minLength(minLength: number): this;
@@ -316,7 +325,7 @@ export declare class JsonSchemaStringBuilder<IN extends string | undefined = str
     toLowerCase(): this;
     toUpperCase(): this;
     truncate(toLength: number): this;
-    branded<B extends string>(): JsonSchemaStringBuilder<B, B, Opt>;
+    branded<B extends string>(): JsonSchemaStringBuilder<B, Opt>;
     /**
      * Validates that the input is a fully-specified YYYY-MM-DD formatted valid IsoDate value.
      *
@@ -324,7 +333,7 @@ export declare class JsonSchemaStringBuilder<IN extends string | undefined = str
      * because this call effectively starts a new schema chain.
      */
     isoDate(): JsonSchemaIsoDateBuilder;
-    isoDateTime(): JsonSchemaStringBuilder<IsoDateTime | IN, IsoDateTime, Opt>;
+    isoDateTime(): JsonSchemaStringBuilder<IsoDateTime, Opt>;
     isoMonth(): JsonSchemaIsoMonthBuilder;
     /**
      * Validates the string format to be JWT.
@@ -345,14 +354,14 @@ export declare class JsonSchemaStringBuilder<IN extends string | undefined = str
      * All previous expectations in the schema chain are dropped - including `.optional()` -
      * because this call effectively starts a new schema chain as an `enum` validation.
      */
-    ianaTimezone(): JsonSchemaEnumBuilder<string | IANATimezone, IANATimezone, false>;
+    ianaTimezone(): JsonSchemaEnumBuilder<IANATimezone, false>;
     base64Url(): this;
     uuid(): this;
 }
 export interface JsonSchemaStringEmailOptions {
     checkTLD: boolean;
 }
-export declare class JsonSchemaIsoDateBuilder<Opt extends boolean = false> extends JsonSchemaAnyBuilder<string | IsoDate, IsoDate, Opt> {
+export declare class JsonSchemaIsoDateBuilder<Opt extends boolean = false> extends JsonSchemaAnyBuilder<IsoDate, Opt> {
     constructor();
     /**
      * @param nullValue Pass `null` to have `null` values be considered/converted as `undefined`.
@@ -363,7 +372,7 @@ export declare class JsonSchemaIsoDateBuilder<Opt extends boolean = false> exten
      * When `null` is passed, the return type becomes `JsonSchemaTerminal`
      * (no further chaining allowed) because the schema is wrapped in an anyOf structure.
      */
-    optional<N extends null | undefined = undefined>(nullValue?: N): N extends null ? JsonSchemaTerminal<string | IsoDate | null | undefined, IsoDate | undefined, true> : JsonSchemaAnyBuilder<string | IsoDate | undefined, IsoDate | undefined, true>;
+    optional<N extends null | undefined = undefined>(nullValue?: N): N extends null ? JsonSchemaTerminal<IsoDate | undefined, true> : JsonSchemaAnyBuilder<IsoDate | undefined, true>;
     before(date: string): this;
     sameOrBefore(date: string): this;
     after(date: string): this;
@@ -376,12 +385,12 @@ export interface JsonSchemaIsoDateOptions {
     after?: string;
     sameOrAfter?: string;
 }
-export declare class JsonSchemaIsoMonthBuilder<Opt extends boolean = false> extends JsonSchemaAnyBuilder<string | IsoDate, IsoMonth, Opt> {
+export declare class JsonSchemaIsoMonthBuilder<Opt extends boolean = false> extends JsonSchemaAnyBuilder<IsoMonth, Opt> {
     constructor();
 }
 export interface JsonSchemaIsoMonthOptions {
 }
-export declare class JsonSchemaNumberBuilder<IN extends number | undefined = number, OUT = IN, Opt extends boolean = false> extends JsonSchemaAnyBuilder<IN, OUT, Opt> {
+export declare class JsonSchemaNumberBuilder<OUT extends number | undefined = number, Opt extends boolean = false> extends JsonSchemaAnyBuilder<OUT, Opt> {
     constructor();
     /**
      * @param optionalValues List of values that should be considered/converted as `undefined`.
@@ -394,9 +403,9 @@ export declare class JsonSchemaNumberBuilder<IN extends number | undefined = num
      * When `null` is included in optionalValues, the return type becomes `JsonSchemaTerminal`
      * (no further chaining allowed) because the schema is wrapped in an anyOf structure.
      */
-    optional<T extends readonly (number | null)[] | undefined = undefined>(optionalValues?: T): T extends readonly (infer U)[] ? null extends U ? JsonSchemaTerminal<IN | undefined, OUT | undefined, true> : JsonSchemaNumberBuilder<IN | undefined, OUT | undefined, true> : JsonSchemaNumberBuilder<IN | undefined, OUT | undefined, true>;
+    optional<T extends readonly (number | null)[] | undefined = undefined>(optionalValues?: T): T extends readonly (infer U)[] ? null extends U ? JsonSchemaTerminal<OUT | undefined, true> : JsonSchemaNumberBuilder<OUT | undefined, true> : JsonSchemaNumberBuilder<OUT | undefined, true>;
     integer(): this;
-    branded<B extends number>(): JsonSchemaNumberBuilder<B, B, Opt>;
+    branded<B extends number>(): JsonSchemaNumberBuilder<B, Opt>;
     multipleOf(multipleOf: number): this;
     min(minimum: number): this;
     exclusiveMin(exclusiveMinimum: number): this;
@@ -412,10 +421,10 @@ export declare class JsonSchemaNumberBuilder<IN extends number | undefined = num
     int64(): this;
     float(): this;
     double(): this;
-    unixTimestamp(): JsonSchemaNumberBuilder<UnixTimestamp, UnixTimestamp, Opt>;
-    unixTimestamp2000(): JsonSchemaNumberBuilder<UnixTimestamp, UnixTimestamp, Opt>;
-    unixTimestampMillis(): JsonSchemaNumberBuilder<UnixTimestampMillis, UnixTimestampMillis, Opt>;
-    unixTimestamp2000Millis(): JsonSchemaNumberBuilder<UnixTimestampMillis, UnixTimestampMillis, Opt>;
+    unixTimestamp(): JsonSchemaNumberBuilder<UnixTimestamp, Opt>;
+    unixTimestamp2000(): JsonSchemaNumberBuilder<UnixTimestamp, Opt>;
+    unixTimestampMillis(): JsonSchemaNumberBuilder<UnixTimestampMillis, Opt>;
+    unixTimestamp2000Millis(): JsonSchemaNumberBuilder<UnixTimestampMillis, Opt>;
     utcOffset(): this;
     utcOffsetHour(): this;
     /**
@@ -425,7 +434,7 @@ export declare class JsonSchemaNumberBuilder<IN extends number | undefined = num
      */
     precision(numberOfDigits: number): this;
 }
-export declare class JsonSchemaBooleanBuilder<IN extends boolean | undefined = boolean, OUT = IN, Opt extends boolean = false> extends JsonSchemaAnyBuilder<IN, OUT, Opt> {
+export declare class JsonSchemaBooleanBuilder<OUT extends boolean | undefined = boolean, Opt extends boolean = false> extends JsonSchemaAnyBuilder<OUT, Opt> {
     constructor();
     /**
      * @param optionalValue One of the two possible boolean values that should be considered/converted as `undefined`.
@@ -433,9 +442,9 @@ export declare class JsonSchemaBooleanBuilder<IN extends boolean | undefined = b
      * This `optionalValue` feature only works when the current schema is nested in an object or array schema,
      * due to how mutability works in Ajv.
      */
-    optional(optionalValue?: boolean): JsonSchemaBooleanBuilder<IN | undefined, OUT | undefined, true>;
+    optional(optionalValue?: boolean): JsonSchemaBooleanBuilder<OUT | undefined, true>;
 }
-export declare class JsonSchemaObjectBuilder<IN extends AnyObject, OUT extends AnyObject, Opt extends boolean = false> extends JsonSchemaAnyBuilder<IN, OUT, Opt> {
+export declare class JsonSchemaObjectBuilder<OUT extends AnyObject, Opt extends boolean = false> extends JsonSchemaAnyBuilder<OUT, Opt> {
     constructor(props?: AnyObject, opt?: JsonSchemaObjectBuilderOpts);
     addProperties(props: AnyObject): this;
     /**
@@ -447,17 +456,15 @@ export declare class JsonSchemaObjectBuilder<IN extends AnyObject, OUT extends A
      * When `null` is passed, the return type becomes `JsonSchemaTerminal`
      * (no further chaining allowed) because the schema is wrapped in an anyOf structure.
      */
-    optional<N extends null | undefined = undefined>(nullValue?: N): N extends null ? JsonSchemaTerminal<IN | null | undefined, OUT | undefined, true> : JsonSchemaAnyBuilder<IN | undefined, OUT | undefined, true>;
+    optional<N extends null | undefined = undefined>(nullValue?: N): N extends null ? JsonSchemaTerminal<OUT | undefined, true> : JsonSchemaAnyBuilder<OUT | undefined, true>;
     /**
      * When set, the validation will not strip away properties that are not specified explicitly in the schema.
      */
     allowAdditionalProperties(): this;
-    extend<P extends Record<string, JsonSchemaAnyBuilder<any, any, any>>>(props: P): JsonSchemaObjectBuilder<RelaxIndexSignature<OptionalDbEntityFields<Override<IN, {
-        [K in keyof P]?: P[K] extends JsonSchemaAnyBuilder<infer IN2, any, any> ? IN2 : never;
-    }>>>, Override<OUT, {
-        [K in keyof P as P[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? never : K : never]: P[K] extends JsonSchemaAnyBuilder<any, infer OUT2, any> ? OUT2 : never;
+    extend<P extends Record<string, JsonSchemaAnyBuilder<any, any>>>(props: P): JsonSchemaObjectBuilder<Override<OUT, {
+        [K in keyof P as P[K] extends JsonSchemaAnyBuilder<any, infer IsOpt> ? IsOpt extends true ? never : K : never]: P[K] extends JsonSchemaAnyBuilder<infer OUT2, any> ? OUT2 : never;
     } & {
-        [K in keyof P as P[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? K : never : never]?: P[K] extends JsonSchemaAnyBuilder<any, infer OUT2, any> ? OUT2 : never;
+        [K in keyof P as P[K] extends JsonSchemaAnyBuilder<any, infer IsOpt> ? IsOpt extends true ? K : never : never]?: P[K] extends JsonSchemaAnyBuilder<infer OUT2, any> ? OUT2 : never;
     }>, false>;
     /**
      * Concatenates another schema to the current schema.
@@ -477,36 +484,28 @@ export declare class JsonSchemaObjectBuilder<IN extends AnyObject, OUT extends A
      *  const shuSchema = fooSchema.concat(barSchema).isOfType<Shu>() // important
      * ```
      */
-    concat<IN2 extends AnyObject, OUT2 extends AnyObject>(other: JsonSchemaObjectBuilder<IN2, OUT2, any>): JsonSchemaObjectBuilder<IN & IN2, OUT & OUT2, false>;
+    concat<OUT2 extends AnyObject>(other: JsonSchemaObjectBuilder<OUT2, any>): JsonSchemaObjectBuilder<OUT & OUT2, false>;
     /**
      * Extends the current schema with `id`, `created` and `updated` according to NC DB conventions.
      */
-    dbEntity(): JsonSchemaObjectBuilder<RelaxIndexSignature<OptionalDbEntityFields<Override<IN, {
-        id?: string | undefined;
-        created?: any;
-        updated?: any;
-    }>>>, Override<OUT, {
+    dbEntity(): JsonSchemaObjectBuilder<Override<OUT, {
         id: string;
         created: any;
         updated: any;
     } & {}>, false>;
     minProperties(minProperties: number): this;
     maxProperties(maxProperties: number): this;
-    exclusiveProperties(propNames: readonly (keyof IN & string)[]): this;
+    exclusiveProperties(propNames: readonly (keyof OUT & string)[]): this;
 }
 interface JsonSchemaObjectBuilderOpts {
     hasIsOfTypeCheck?: false;
-    patternProperties?: StringMap<JsonSchema<any, any>>;
+    patternProperties?: StringMap<JsonSchema<any>>;
     keySchema?: JsonSchema;
 }
-export declare class JsonSchemaObjectInferringBuilder<PROPS extends Record<string, JsonSchemaAnyBuilder<any, any, any>>, Opt extends boolean = false> extends JsonSchemaAnyBuilder<Expand<{
-    [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? never : K : never]: PROPS[K] extends JsonSchemaAnyBuilder<infer IN, any, any> ? IN : never;
-} & {
-    [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? K : never : never]?: PROPS[K] extends JsonSchemaAnyBuilder<infer IN, any, any> ? IN : never;
-}>, Expand<{
-    [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? never : K : never]: PROPS[K] extends JsonSchemaAnyBuilder<any, infer OUT, any> ? OUT : never;
+export declare class JsonSchemaObjectInferringBuilder<PROPS extends Record<string, JsonSchemaAnyBuilder<any, any>>, Opt extends boolean = false> extends JsonSchemaAnyBuilder<Expand<{
+    [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, infer IsOpt> ? IsOpt extends true ? never : K : never]: PROPS[K] extends JsonSchemaAnyBuilder<infer OUT, any> ? OUT : never;
 } & {
-    [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? K : never : never]?: PROPS[K] extends JsonSchemaAnyBuilder<any, infer OUT, any> ? OUT : never;
+    [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, infer IsOpt> ? IsOpt extends true ? K : never : never]?: PROPS[K] extends JsonSchemaAnyBuilder<infer OUT, any> ? OUT : never;
 }>, Opt> {
     constructor(props?: PROPS);
     addProperties(props: PROPS): this;
@@ -520,40 +519,32 @@ export declare class JsonSchemaObjectInferringBuilder<PROPS extends Record<strin
      * (no further chaining allowed) because the schema is wrapped in an anyOf structure.
      */
     optional<N extends null | undefined = undefined>(nullValue?: N): N extends null ? JsonSchemaTerminal<Expand<{
-        [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? never : K : never]: PROPS[K] extends JsonSchemaAnyBuilder<infer IN, any, any> ? IN : never;
-    } & {
-        [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? K : never : never]?: PROPS[K] extends JsonSchemaAnyBuilder<infer IN, any, any> ? IN : never;
-    }> | undefined, Expand<{
-        [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? never : K : never]: PROPS[K] extends JsonSchemaAnyBuilder<any, infer OUT, any> ? OUT : never;
+        [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, infer IsOpt> ? IsOpt extends true ? never : K : never]: PROPS[K] extends JsonSchemaAnyBuilder<infer OUT, any> ? OUT : never;
     } & {
-        [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? K : never : never]?: PROPS[K] extends JsonSchemaAnyBuilder<any, infer OUT, any> ? OUT : never;
+        [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, infer IsOpt> ? IsOpt extends true ? K : never : never]?: PROPS[K] extends JsonSchemaAnyBuilder<infer OUT, any> ? OUT : never;
     }> | undefined, true> : JsonSchemaAnyBuilder<Expand<{
-        [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? never : K : never]: PROPS[K] extends JsonSchemaAnyBuilder<infer IN, any, any> ? IN : never;
+        [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, infer IsOpt> ? IsOpt extends true ? never : K : never]: PROPS[K] extends JsonSchemaAnyBuilder<infer OUT, any> ? OUT : never;
     } & {
-        [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? K : never : never]?: PROPS[K] extends JsonSchemaAnyBuilder<infer IN, any, any> ? IN : never;
-    }> | undefined, Expand<{
-        [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? never : K : never]: PROPS[K] extends JsonSchemaAnyBuilder<any, infer OUT, any> ? OUT : never;
-    } & {
-        [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, any, infer IsOpt> ? IsOpt extends true ? K : never : never]?: PROPS[K] extends JsonSchemaAnyBuilder<any, infer OUT, any> ? OUT : never;
+        [K in keyof PROPS as PROPS[K] extends JsonSchemaAnyBuilder<any, infer IsOpt> ? IsOpt extends true ? K : never : never]?: PROPS[K] extends JsonSchemaAnyBuilder<infer OUT, any> ? OUT : never;
     }> | undefined, true>;
     /**
      * When set, the validation will not strip away properties that are not specified explicitly in the schema.
      */
     allowAdditionalProperties(): this;
-    extend<NEW_PROPS extends Record<string, JsonSchemaAnyBuilder<any, any, any>>>(props: NEW_PROPS): JsonSchemaObjectInferringBuilder<{
+    extend<NEW_PROPS extends Record<string, JsonSchemaAnyBuilder<any, any>>>(props: NEW_PROPS): JsonSchemaObjectInferringBuilder<{
         [K in keyof PROPS | keyof NEW_PROPS]: K extends keyof NEW_PROPS ? NEW_PROPS[K] : K extends keyof PROPS ? PROPS[K] : never;
     }, Opt>;
     /**
      * Extends the current schema with `id`, `created` and `updated` according to NC DB conventions.
      */
     dbEntity(): JsonSchemaObjectInferringBuilder<{ [K in "created" | "id" | "updated" | keyof PROPS]: K extends "created" | "id" | "updated" ? {
-        id: JsonSchemaStringBuilder<string, string, false>;
-        created: JsonSchemaNumberBuilder<UnixTimestamp, UnixTimestamp, false>;
-        updated: JsonSchemaNumberBuilder<UnixTimestamp, UnixTimestamp, false>;
+        id: JsonSchemaStringBuilder<string, false>;
+        created: JsonSchemaNumberBuilder<UnixTimestamp, false>;
+        updated: JsonSchemaNumberBuilder<UnixTimestamp, false>;
     }[K] : K extends keyof PROPS ? PROPS[K] : never; }, Opt>;
 }
-export declare class JsonSchemaArrayBuilder<IN, OUT, Opt> extends JsonSchemaAnyBuilder<IN[], OUT[], Opt> {
-    constructor(itemsSchema: JsonSchemaAnyBuilder<IN, OUT, Opt>);
+export declare class JsonSchemaArrayBuilder<OUT, Opt> extends JsonSchemaAnyBuilder<OUT[], Opt> {
+    constructor(itemsSchema: JsonSchemaAnyBuilder<OUT, Opt>);
     minLength(minItems: number): this;
     maxLength(maxItems: number): this;
     length(exactLength: number): this;
@@ -561,33 +552,29 @@ export declare class JsonSchemaArrayBuilder<IN, OUT, Opt> extends JsonSchemaAnyB
     exactLength(length: number): this;
     unique(): this;
 }
-export declare class JsonSchemaSet2Builder<IN, OUT, Opt> extends JsonSchemaAnyBuilder<Iterable<IN>, Set2<OUT>, Opt> {
-    constructor(itemsSchema: JsonSchemaAnyBuilder<IN, OUT, Opt>);
+export declare class JsonSchemaSet2Builder<OUT, Opt> extends JsonSchemaAnyBuilder<Set2<OUT>, Opt> {
+    constructor(itemsSchema: JsonSchemaAnyBuilder<OUT, Opt>);
     min(minItems: number): this;
     max(maxItems: number): this;
 }
-export declare class JsonSchemaBufferBuilder extends JsonSchemaAnyBuilder<string | any[] | ArrayBuffer | Buffer, Buffer, false> {
+export declare class JsonSchemaBufferBuilder extends JsonSchemaAnyBuilder<Buffer, false> {
     constructor();
 }
-export declare class JsonSchemaEnumBuilder<IN extends string | number | boolean | null, OUT extends IN = IN, Opt extends boolean = false> extends JsonSchemaAnyBuilder<IN, OUT, Opt> {
-    constructor(enumValues: readonly IN[], baseType: EnumBaseType, opt?: JsonBuilderRuleOpt);
-    branded<B extends IN>(): JsonSchemaEnumBuilder<B | IN, B, Opt>;
+export declare class JsonSchemaEnumBuilder<OUT extends string | number | boolean | null, Opt extends boolean = false> extends JsonSchemaAnyBuilder<OUT, Opt> {
+    constructor(enumValues: readonly OUT[], baseType: EnumBaseType, opt?: JsonBuilderRuleOpt);
+    branded<B extends OUT>(): JsonSchemaEnumBuilder<B, Opt>;
 }
-export declare class JsonSchemaTupleBuilder<ITEMS extends JsonSchemaAnyBuilder<any, any, any>[]> extends JsonSchemaAnyBuilder<TupleIn<ITEMS>, TupleOut<ITEMS>, false> {
-    private readonly _items;
+export declare class JsonSchemaTupleBuilder<ITEMS extends JsonSchemaAnyBuilder<any, any>[]> extends JsonSchemaAnyBuilder<TupleOut<ITEMS>, false> {
     constructor(items: ITEMS);
 }
-export declare class JsonSchemaAnyOfByBuilder<IN, OUT, _P extends string = string> extends JsonSchemaAnyBuilder<AnyOfByInput<IN, _P> | IN, OUT, false> {
-    in: IN;
-    constructor(propertyName: string, schemaDictionary: Record<PropertyKey, JsonSchemaTerminal<any, any, any>>);
+export declare class JsonSchemaAnyOfByBuilder<OUT> extends JsonSchemaAnyBuilder<OUT, false> {
+    constructor(propertyName: string, schemaDictionary: Record<PropertyKey, JsonSchemaTerminal<any, any>>);
 }
-export declare class JsonSchemaAnyOfTheseBuilder<IN, OUT, _P extends string = string> extends JsonSchemaAnyBuilder<AnyOfByInput<IN, _P> | IN, OUT, false> {
-    in: IN;
-    constructor(propertyName: string, schemaDictionary: Record<PropertyKey, JsonSchemaTerminal<any, any, any>>);
+export declare class JsonSchemaAnyOfTheseBuilder<OUT> extends JsonSchemaAnyBuilder<OUT, false> {
+    constructor(propertyName: string, schemaDictionary: Record<PropertyKey, JsonSchemaTerminal<any, any>>);
 }
 type EnumBaseType = 'string' | 'number' | 'other';
-export interface JsonSchema<IN = unknown, OUT = IN> {
-    readonly in?: IN;
+export interface JsonSchema<OUT = unknown> {
     readonly out?: OUT;
     $schema?: string;
     $id?: string;
@@ -600,14 +587,14 @@ export interface JsonSchema<IN = unknown, OUT = IN> {
     items?: JsonSchema;
     prefixItems?: JsonSchema[];
     properties?: {
-        [K in keyof IN & keyof OUT]: JsonSchema<IN[K], OUT[K]>;
+        [K in keyof OUT]: JsonSchema<OUT[K]>;
     };
-    patternProperties?: StringMap<JsonSchema<any, any>>;
+    patternProperties?: StringMap<JsonSchema<any>>;
     required?: string[];
     additionalProperties?: boolean;
     minProperties?: number;
     maxProperties?: number;
-    default?: IN;
+    default?: OUT;
     if?: JsonSchema;
     then?: JsonSchema;
     else?: JsonSchema;
@@ -661,38 +648,35 @@ export interface JsonSchema<IN = unknown, OUT = IN> {
     precision?: number;
     customValidations?: CustomValidatorFn[];
     customConversions?: CustomConverterFn<any>[];
+    postValidation?: PostValidatonFn<any, OUT>;
 }
 declare function object(props: AnyObject): never;
-declare function object<IN extends AnyObject>(props: {
-    [K in keyof Required<IN>]-?: JsonSchemaTerminal<any, IN[K], any>;
-}): JsonSchemaObjectBuilder<IN, IN, false>;
-declare function objectInfer<P extends Record<string, JsonSchemaAnyBuilder<any, any, any>>>(props: P): JsonSchemaObjectInferringBuilder<P, false>;
+declare function object<OUT extends AnyObject>(props: {
+    [K in keyof Required<OUT>]-?: JsonSchemaTerminal<OUT[K], any>;
+}): JsonSchemaObjectBuilder<OUT, false>;
+declare function objectInfer<P extends Record<string, JsonSchemaAnyBuilder<any, any>>>(props: P): JsonSchemaObjectInferringBuilder<P, false>;
 declare function objectDbEntity(props: AnyObject): never;
-declare function objectDbEntity<IN extends BaseDBEntity, EXTRA_KEYS extends Exclude<keyof IN, keyof BaseDBEntity> = Exclude<keyof IN, keyof BaseDBEntity>>(props: {
-    [K in EXTRA_KEYS]-?: BuilderFor<IN[K]>;
-} & (ExactMatch<IN['id'], BaseDBEntity['id']> extends true ? {
+declare function objectDbEntity<OUT extends BaseDBEntity, EXTRA_KEYS extends Exclude<keyof OUT, keyof BaseDBEntity> = Exclude<keyof OUT, keyof BaseDBEntity>>(props: {
+    [K in EXTRA_KEYS]-?: BuilderFor<OUT[K]>;
+} & (ExactMatch<OUT['id'], BaseDBEntity['id']> extends true ? {
     id?: BuilderFor<BaseDBEntity['id']>;
 } : {
-    id: BuilderFor<IN['id']>;
-}) & (ExactMatch<IN['created'], BaseDBEntity['created']> extends true ? {
+    id: BuilderFor<OUT['id']>;
+}) & (ExactMatch<OUT['created'], BaseDBEntity['created']> extends true ? {
     created?: BuilderFor<BaseDBEntity['created']>;
 } : {
-    created: BuilderFor<IN['created']>;
-}) & (ExactMatch<IN['updated'], BaseDBEntity['updated']> extends true ? {
+    created: BuilderFor<OUT['created']>;
+}) & (ExactMatch<OUT['updated'], BaseDBEntity['updated']> extends true ? {
     updated?: BuilderFor<BaseDBEntity['updated']>;
 } : {
-    updated: BuilderFor<IN['updated']>;
-})): JsonSchemaObjectBuilder<IN, IN, false>;
-declare function record<KS extends JsonSchemaAnyBuilder<any, any, any>, VS extends JsonSchemaAnyBuilder<any, any, any>, Opt extends boolean = SchemaOpt<VS>>(keySchema: KS, valueSchema: VS): JsonSchemaObjectBuilder<Opt extends true ? Partial<Record<SchemaIn<KS>, SchemaIn<VS>>> : Record<SchemaIn<KS>, SchemaIn<VS>>, Opt extends true ? Partial<Record<SchemaOut<KS>, SchemaOut<VS>>> : Record<SchemaOut<KS>, SchemaOut<VS>>, false>;
-declare function withRegexKeys<S extends JsonSchemaAnyBuilder<any, any, any>, Opt extends boolean = SchemaOpt<S>>(keyRegex: RegExp | string, schema: S): JsonSchemaObjectBuilder<Opt extends true ? StringMap<SchemaIn<S>> : StringMap<SchemaIn<S>>, Opt extends true ? StringMap<SchemaOut<S>> : StringMap<SchemaOut<S>>, false>;
+    updated: BuilderFor<OUT['updated']>;
+})): JsonSchemaObjectBuilder<OUT, false>;
+declare function record<KS extends JsonSchemaAnyBuilder<any, any>, VS extends JsonSchemaAnyBuilder<any, any>, Opt extends boolean = SchemaOpt<VS>>(keySchema: KS, valueSchema: VS): JsonSchemaObjectBuilder<Opt extends true ? Partial<Record<SchemaOut<KS>, SchemaOut<VS>>> : Record<SchemaOut<KS>, SchemaOut<VS>>, false>;
+declare function withRegexKeys<S extends JsonSchemaAnyBuilder<any, any>>(keyRegex: RegExp | string, schema: S): JsonSchemaObjectBuilder<StringMap<SchemaOut<S>>, false>;
 /**
  * Builds the object schema with the indicated `keys` and uses the `schema` for their validation.
  */
-declare function withEnumKeys<const T extends readonly (string | number)[] | StringEnum | NumberEnum, S extends JsonSchemaAnyBuilder<any, any, any>, K extends string | number = EnumKeyUnion<T>, Opt extends boolean = SchemaOpt<S>>(keys: T, schema: S): JsonSchemaObjectBuilder<Opt extends true ? {
-    [P in K]?: SchemaIn<S>;
-} : {
-    [P in K]: SchemaIn<S>;
-}, Opt extends true ? {
+declare function withEnumKeys<const T extends readonly (string | number)[] | StringEnum | NumberEnum, S extends JsonSchemaAnyBuilder<any, any>, K extends string | number = EnumKeyUnion<T>, Opt extends boolean = SchemaOpt<S>>(keys: T, schema: S): JsonSchemaObjectBuilder<Opt extends true ? {
     [P in K]?: SchemaOut<S>;
 } : {
     [P in K]: SchemaOut<S>;
@@ -713,28 +697,15 @@ type HasAllowExtraKeys<T> = T extends {
 } ? true : false;
 type IsAny<T> = 0 extends 1 & T ? true : false;
 type IsAssignableRelaxed<A, B> = IsAny<RelaxIndexSignature<A>> extends true ? true : [RelaxIndexSignature<A>] extends [B] ? true : false;
-type OptionalDbEntityFields<T> = T extends BaseDBEntity ? Omit<T, keyof BaseDBEntity> & Partial<Pick<T, keyof BaseDBEntity>> : T;
 type ExactMatchBase<A, B> = (<T>() => T extends A ? 1 : 2) extends <T>() => (T extends B ? 1 : 2) ? (<T>() => T extends B ? 1 : 2) extends <T>() => (T extends A ? 1 : 2) ? true : false : false;
 type ExactMatch<A, B> = HasAllowExtraKeys<B> extends true ? IsAssignableRelaxed<B, A> : ExactMatchBase<Expand<A>, Expand<B>> extends true ? true : ExactMatchBase<Expand<StripIndexSignatureDeep<A>>, Expand<StripIndexSignatureDeep<B>>>;
-type BuilderOutUnion<B extends readonly JsonSchemaAnyBuilder<any, any, any>[]> = {
-    [K in keyof B]: B[K] extends JsonSchemaAnyBuilder<any, infer O, any> ? O : never;
-}[number];
-type BuilderInUnion<B extends readonly JsonSchemaAnyBuilder<any, any, any>[]> = {
-    [K in keyof B]: B[K] extends JsonSchemaAnyBuilder<infer I, any, any> ? I : never;
+type BuilderOutUnion<B extends readonly JsonSchemaAnyBuilder<any, any>[]> = {
+    [K in keyof B]: B[K] extends JsonSchemaAnyBuilder<infer O, any> ? O : never;
 }[number];
-type AnyOfByIn<D extends Record<PropertyKey, JsonSchemaTerminal<any, any, any>>> = {
-    [K in keyof D]: D[K] extends JsonSchemaTerminal<infer I, any, any> ? I : never;
+type AnyOfByOut<D extends Record<PropertyKey, JsonSchemaTerminal<any, any>>> = {
+    [K in keyof D]: D[K] extends JsonSchemaTerminal<infer O, any> ? O : never;
 }[keyof D];
-type AnyOfByOut<D extends Record<PropertyKey, JsonSchemaTerminal<any, any, any>>> = {
-    [K in keyof D]: D[K] extends JsonSchemaTerminal<any, infer O, any> ? O : never;
-}[keyof D];
-type AnyOfByDiscriminant<IN, P extends string> = IN extends {
-    [K in P]: infer V;
-} ? V : never;
-type AnyOfByInput<IN, P extends string, D = AnyOfByDiscriminant<IN, P>> = IN extends unknown ? Omit<Partial<IN>, P> & {
-    [K in P]?: D;
-} : never;
-type BuilderFor<T> = JsonSchemaAnyBuilder<any, T, any>;
+type BuilderFor<T> = JsonSchemaAnyBuilder<T, any>;
 interface JsonBuilderRuleOpt {
     /**
      * Text of error message to return when the validation fails for the given rule:
@@ -750,15 +721,12 @@ interface JsonBuilderRuleOpt {
     name?: string;
 }
 type EnumKeyUnion<T> = T extends readonly (infer U)[] ? U : T extends StringEnum | NumberEnum ? T[keyof T] : never;
-type SchemaIn<S> = S extends JsonSchemaAnyBuilder<infer IN, any, any> ? IN : never;
-type SchemaOut<S> = S extends JsonSchemaAnyBuilder<any, infer OUT, any> ? OUT : never;
-type SchemaOpt<S> = S extends JsonSchemaAnyBuilder<any, any, infer Opt> ? (Opt extends true ? true : false) : false;
-type TupleIn<T extends readonly JsonSchemaAnyBuilder<any, any, any>[]> = {
-    [K in keyof T]: T[K] extends JsonSchemaAnyBuilder<infer I, any, any> ? I : never;
-};
-type TupleOut<T extends readonly JsonSchemaAnyBuilder<any, any, any>[]> = {
-    [K in keyof T]: T[K] extends JsonSchemaAnyBuilder<any, infer O, any> ? O : never;
+type SchemaOut<S> = S extends JsonSchemaAnyBuilder<infer OUT, any> ? OUT : never;
+type SchemaOpt<S> = S extends JsonSchemaAnyBuilder<any, infer Opt> ? (Opt extends true ? true : false) : false;
+type TupleOut<T extends readonly JsonSchemaAnyBuilder<any, any>[]> = {
+    [K in keyof T]: T[K] extends JsonSchemaAnyBuilder<infer O, any> ? O : never;
 };
+export type PostValidatonFn<OUT, OUT2> = (v: OUT) => OUT2;
 export type CustomValidatorFn = (v: any) => string | undefined;
 export type CustomConverterFn<OUT> = (v: any) => OUT;
 export {};