effect 4.0.0-beta.100 → 4.0.0-beta.102

package/dist/Schema.d.ts

@@ -84,8 +84,8 @@ export type ConstructorDefault = "no-default" | "with-default";
  * Use when passing `disableChecks: true` to skip validation when you trust the data.
  * - Pass `parseOptions` to control error reporting behavior.
  *
- * @see {@link Bottom.makeEffect}
- * @see {@link Bottom.make}
+ * @see {@link BottomWithoutNew.makeEffect}
+ * @see {@link BottomWithoutNew.make}
  *
  * @category options
  * @since 3.13.4
@@ -101,19 +101,19 @@ export interface MakeOptions {
     readonly disableChecks?: boolean | undefined;
 }
 /**
- * The fully-parameterized base interface for all schemas. Exposes all 14 type
- * parameters controlling type inference, mutability, optionality, services, and
- * transformation behavior.
+ * The fully-parameterized schema interface without a construct signature.
+ * Exposes all 14 type parameters controlling type inference, mutability,
+ * optionality, services, and transformation behavior.
  *
  * **When to use**
  *
- * Use when you are writing advanced generic schema utilities or performing
- *   schema introspection.
+ * Use as the base for schema interfaces that provide a specialized construct
+ * signature.
  *
  * @category models
  * @since 4.0.0
  */
-export interface Bottom<out T, out E, out RD, out RE, out Ast extends SchemaAST.AST, out Rebuild extends Top, out TypeMakeIn = T, out Iso = T, in out TypeParameters extends ReadonlyArray<Constraint> = readonly [], out TypeMake = TypeMakeIn, out TypeMutability extends Mutability = "readonly", out TypeOptionality extends Optionality = "required", out TypeConstructorDefault extends ConstructorDefault = "no-default", out EncodedMutability extends Mutability = "readonly", out EncodedOptionality extends Optionality = "required"> extends Pipeable.Pipeable {
+export interface BottomWithoutNew<out T, out E, out RD, out RE, out Ast extends SchemaAST.AST, out Rebuild extends Top, out TypeMakeIn = T, out Iso = T, in out TypeParameters extends ReadonlyArray<Constraint> = readonly [], out TypeMake = TypeMakeIn, out TypeMutability extends Mutability = "readonly", out TypeOptionality extends Optionality = "required", out TypeConstructorDefault extends ConstructorDefault = "no-default", out EncodedMutability extends Mutability = "readonly", out EncodedOptionality extends Optionality = "required"> extends Pipeable.Pipeable {
     readonly [TypeId]: typeof TypeId;
     readonly "ast": Ast;
     readonly "Rebuild": Rebuild;
@@ -154,8 +154,8 @@ export interface Bottom<out T, out E, out RD, out RE, out Ast extends SchemaAST.
      * Causes that contain defects, interruptions, or other non-schema reasons
      * throw with the underlying `Cause` attached instead.
      *
-     * @see {@link Bottom.makeOption} — construct synchronously and discard validation details
-     * @see {@link Bottom.makeEffect} — construct through `Effect` when validation failure should stay in the error channel
+     * @see {@link BottomWithoutNew.makeOption} — construct synchronously and discard validation details
+     * @see {@link BottomWithoutNew.makeEffect} — construct through `Effect` when validation failure should stay in the error channel
      */
     make(input: this["~type.make.in"], options?: MakeOptions): this["Type"];
     /**
@@ -178,8 +178,8 @@ export interface Bottom<out T, out E, out RD, out RE, out Ast extends SchemaAST.
      * that contain defects, interruptions, or other non-schema reasons throw
      * instead.
      *
-     * @see {@link Bottom.make} — construct synchronously when validation failure should throw
-     * @see {@link Bottom.makeEffect} — construct through `Effect` when validation details should stay in the error channel
+     * @see {@link BottomWithoutNew.make} — construct synchronously when validation failure should throw
+     * @see {@link BottomWithoutNew.makeEffect} — construct through `Effect` when validation details should stay in the error channel
      */
     makeOption(input: this["~type.make.in"], options?: MakeOptions): Option_.Option<this["Type"]>;
     /**
@@ -191,37 +191,82 @@ export interface Bottom<out T, out E, out RD, out RE, out Ast extends SchemaAST.
      * Use when constructor input may fail validation and you want to
      * compose that failure with other `Effect` operations instead of throwing.
      *
-     * @see {@link Bottom.make} — construct synchronously when validation failure should throw
-     * @see {@link Bottom.makeOption} — construct synchronously and discard validation details
+     * @see {@link BottomWithoutNew.make} — construct synchronously when validation failure should throw
+     * @see {@link BottomWithoutNew.makeOption} — construct synchronously and discard validation details
      */
     makeEffect(input: this["~type.make.in"], options?: MakeOptions): Effect.Effect<this["Type"], SchemaError>;
 }
 /**
- * Lazy `Bottom` variant for schema implementations that compute their public
- * views on demand.
+ * Fully-parameterized base interface for schemas that can be extended directly
+ * by TypeScript classes.
  *
  * **When to use**
  *
- * Use as an implementation base for schema interfaces that must expose
- * `Bottom` behavior without forcing TypeScript to eagerly evaluate expensive
- * `Type`, `Encoded`, or service views.
+ * Use as the base for concrete schema interfaces whose runtime values support
+ * `class ... extends schema`.
+ *
+ * **Details**
+ *
+ * Extends {@link BottomWithoutNew} with a construct signature that accepts `never`. The
+ * signature enables class extension without making ordinary schemas directly
+ * constructible.
+ *
+ * @see {@link BottomWithoutNew} for the schema protocol without a construct signature
+ *
+ * @category utility types
+ * @since 4.0.0
+ */
+export interface Bottom<out T, out E, out RD, out RE, out Ast extends SchemaAST.AST, out Rebuild extends Top, out TypeMakeIn = T, out Iso = T, in out TypeParameters extends ReadonlyArray<Constraint> = readonly [], out TypeMake = TypeMakeIn, out TypeMutability extends Mutability = "readonly", out TypeOptionality extends Optionality = "required", out TypeConstructorDefault extends ConstructorDefault = "no-default", out EncodedMutability extends Mutability = "readonly", out EncodedOptionality extends Optionality = "required"> extends BottomWithoutNew<T, E, RD, RE, Ast, Rebuild, TypeMakeIn, Iso, TypeParameters, TypeMake, TypeMutability, TypeOptionality, TypeConstructorDefault, EncodedMutability, EncodedOptionality> {
+    new (_: never): {};
+}
+/**
+ * Lazy `BottomWithoutNew` variant for schema implementations that
+ * compute their public views on demand.
+ *
+ * **When to use**
+ *
+ * Use as the base for lazy schema interfaces that provide a specialized
+ * construct signature.
  *
  * **Details**
  *
  * The laziness is purely type-level; runtime behavior is unchanged.
- * `BottomLazy` keeps the structural operations inherited from `Bottom`, but
- * erases the expensive schema views to `unknown`. Concrete schema interfaces can
- * then redeclare the precise views they expose. This keeps wide schemas such as
- * `Struct` and `Union` cheaper when generic code reads a single view, while
- * preserving their exact public types.
+ * `BottomLazyWithoutNew` keeps the structural operations inherited from
+ * `BottomWithoutNew`, but erases the expensive schema views to
+ * `unknown`. Concrete schema interfaces can then redeclare the precise views
+ * they expose. This keeps wide schemas such as `Struct` and `Union` cheaper when
+ * generic code reads a single view, while preserving their exact public types.
  *
- * @see {@link Bottom} for the fully parameterized schema interface when every
+ * @see {@link BottomWithoutNew} for the fully parameterized schema interface when every
  * view must be supplied directly.
  *
  * @category utility types
  * @since 4.0.0
  */
-export interface BottomLazy<out Ast extends SchemaAST.AST, out Rebuild extends Top, in out TypeParameters extends ReadonlyArray<Constraint> = readonly [], out TypeMutability extends Mutability = "readonly", out TypeOptionality extends Optionality = "required", out TypeConstructorDefault extends ConstructorDefault = "no-default", out EncodedMutability extends Mutability = "readonly", out EncodedOptionality extends Optionality = "required"> extends Bottom<unknown, unknown, unknown, unknown, Ast, Rebuild, unknown, unknown, TypeParameters, unknown, TypeMutability, TypeOptionality, TypeConstructorDefault, EncodedMutability, EncodedOptionality> {
+export interface BottomLazyWithoutNew<out Ast extends SchemaAST.AST, out Rebuild extends Top, in out TypeParameters extends ReadonlyArray<Constraint> = readonly [], out TypeMutability extends Mutability = "readonly", out TypeOptionality extends Optionality = "required", out TypeConstructorDefault extends ConstructorDefault = "no-default", out EncodedMutability extends Mutability = "readonly", out EncodedOptionality extends Optionality = "required"> extends BottomWithoutNew<unknown, unknown, unknown, unknown, Ast, Rebuild, unknown, unknown, TypeParameters, unknown, TypeMutability, TypeOptionality, TypeConstructorDefault, EncodedMutability, EncodedOptionality> {
+}
+/**
+ * Lazy `Bottom` variant for schemas that can be extended directly by TypeScript
+ * classes.
+ *
+ * **When to use**
+ *
+ * Use as the base for concrete lazy schema interfaces whose runtime values
+ * support `class ... extends schema`.
+ *
+ * **Details**
+ *
+ * Extends {@link BottomLazyWithoutNew} with a construct signature that accepts `never`.
+ * The signature enables class extension without making ordinary schemas
+ * directly constructible.
+ *
+ * @see {@link BottomLazyWithoutNew} for the lazy schema protocol without a construct signature
+ *
+ * @category utility types
+ * @since 4.0.0
+ */
+export interface BottomLazy<out Ast extends SchemaAST.AST, out Rebuild extends Top, in out TypeParameters extends ReadonlyArray<Constraint> = readonly [], out TypeMutability extends Mutability = "readonly", out TypeOptionality extends Optionality = "required", out TypeConstructorDefault extends ConstructorDefault = "no-default", out EncodedMutability extends Mutability = "readonly", out EncodedOptionality extends Optionality = "required"> extends BottomLazyWithoutNew<Ast, Rebuild, TypeParameters, TypeMutability, TypeOptionality, TypeConstructorDefault, EncodedMutability, EncodedOptionality> {
+    new (_: never): {};
 }
 /**
  * Type-level representation returned by {@link declareConstructor}.
@@ -372,7 +417,7 @@ export declare function revealBottom<S extends Top>(bottom: S): Bottom<S["Type"]
  * ```ts
  * import { Schema } from "effect"
  *
- * const Age = Schema.Number.pipe(
+ * const Age = Schema.Natural.pipe(
  *   Schema.annotate({
  *     title: "Age",
  *     description: "A non-negative integer representing age in years"
@@ -934,7 +979,7 @@ SchemaError };
  * // Create a standard schema from a regular schema
  * const PersonSchema = Schema.Struct({
  *   name: Schema.NonEmptyString,
- *   age: Schema.Number.check(Schema.isBetween({ minimum: 0, maximum: 150 }))
+ *   age: Schema.Finite.check(Schema.isBetween({ minimum: 0, maximum: 150 }))
  * })
  *
  * const standardSchema = Schema.toStandardSchemaV1(PersonSchema, {
@@ -1754,30 +1799,6 @@ export declare const encodeSync: <S extends ConstraintEncoder<unknown>>(schema:
  * @since 3.10.0
  */
 export declare const make: <S extends Constraint>(ast: S["ast"], options?: object) => S;
-/**
- * Transforms a schema into a class that can be extended with `extends`. The
- * resulting class inherits the full schema API (e.g. `annotate`) and can define
- * static methods that reference `this`.
- *
- * **Example** (Wrapping a primitive schema)
- *
- * ```ts
- * import { Schema } from "effect"
- *
- * class MyString extends Schema.asClass(Schema.String) {
- *   static readonly decodeUnknownSync = Schema.decodeUnknownSync(this)
- * }
- *
- * console.log(MyString.decodeUnknownSync("a"))
- * // "a"
- * ```
- *
- * @category constructors
- * @since 4.0.0
- */
-export declare function asClass<S extends Top>(schema: S): S & {
-    new (_: never): {};
-};
 /**
  * Checks whether a value is a `Schema`.
  *
@@ -2579,7 +2600,7 @@ export declare namespace Struct {
     type ReadonlySide<F extends Fields, S extends Side> = {
         readonly [K in keyof F]: F[K][S];
     };
-    type View<F extends Fields, S extends Side, O extends keyof F = SideOptionalKeys<F, S>, M extends keyof F = SideMutableKeys<F, S>> = [O | M] extends [never] ? ReadonlySide<F, S> : [M] extends [never] ? Simplify<SetOptional<ReadonlySide<F, S>, O>> : [O] extends [never] ? Simplify<SetMutable<ReadonlySide<F, S>, M>> : Simplify<SetMutable<SetOptional<ReadonlySide<F, S>, O>, Extract<keyof SetOptional<ReadonlySide<F, S>, O>, M>>>;
+    type View<F extends Fields, S extends Side, O extends keyof F = SideOptionalKeys<F, S>, M extends keyof F = SideMutableKeys<F, S>> = [O | M] extends [never] ? Simplify<ReadonlySide<F, S>> : [M] extends [never] ? Simplify<SetOptional<ReadonlySide<F, S>, O>> : [O] extends [never] ? Simplify<SetMutable<ReadonlySide<F, S>, M>> : Simplify<SetMutable<SetOptional<ReadonlySide<F, S>, O>, Extract<keyof SetOptional<ReadonlySide<F, S>, O>, M>>>;
     /**
      * Computes the decoded object type for a struct field map.
      *
@@ -3979,7 +4000,7 @@ export declare function suspend<S extends Constraint>(f: () => S): suspend<S>;
  * ```ts
  * import { Schema } from "effect"
  *
- * const AgeSchema = Schema.Number.pipe(
+ * const AgeSchema = Schema.Finite.pipe(
  *   Schema.check(Schema.isGreaterThanOrEqualTo(0), Schema.isLessThanOrEqualTo(120))
  * )
  * ```
@@ -4931,7 +4952,7 @@ export declare function TaggedUnion<const CasesByTag extends Record<string, Stru
  * @category models
  * @since 4.0.0
  */
-export interface Opaque<Self, S extends Top, Brand> extends BottomLazy<S["ast"], S["Rebuild"], S["~type.parameters"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
+export interface Opaque<Self, S extends Top, Brand> extends BottomLazyWithoutNew<S["ast"], S["Rebuild"], S["~type.parameters"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
     readonly "Type": Self;
     readonly "Encoded": S["Encoded"];
     readonly "DecodingServices": S["DecodingServices"];
@@ -5137,6 +5158,19 @@ export declare function makeFilterGroup<T>(checks: readonly [SchemaAST.Check<T>,
  * @since 4.0.0
  */
 export declare function isTrimmed(annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isTrimmed` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isTrimmed}.
+ *
+ * @see {@link isTrimmed} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isTrimmedReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Validates that a string matches the specified regular expression pattern.
  *
@@ -5154,7 +5188,23 @@ export declare function isTrimmed(annotations?: Annotations.Filter): SchemaAST.F
  * @category String checks
  * @since 4.0.0
  */
-export declare const isPattern: (regExp: globalThis.RegExp, annotations?: Annotations.Filter) => SchemaAST.Filter<string>;
+export declare function isPattern(regExp: globalThis.RegExp, annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isPattern` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isPattern}.
+ *
+ * @see {@link isPattern} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isPatternReviver: SchemaRepresentation.FilterReviver<{
+    readonly source: string;
+    readonly flags: string;
+}>;
 /**
  * Validates that a string represents a finite number.
  *
@@ -5173,7 +5223,20 @@ export declare const isPattern: (regExp: globalThis.RegExp, annotations?: Annota
  * @category String checks
  * @since 4.0.0
  */
-export declare const isStringFinite: (annotations?: Annotations.Filter) => SchemaAST.Filter<string>;
+export declare function isStringFinite(annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isStringFinite` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isStringFinite}.
+ *
+ * @see {@link isStringFinite} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isStringFiniteReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Validates that a string is a signed base-10 integer literal for Effect's
  * BigInt string encoding.
@@ -5191,7 +5254,20 @@ export declare const isStringFinite: (annotations?: Annotations.Filter) => Schem
  * @category String checks
  * @since 4.0.0
  */
-export declare const isStringBigInt: (annotations?: Annotations.Filter) => SchemaAST.Filter<string>;
+export declare function isStringBigInt(annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isStringBigInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isStringBigInt}.
+ *
+ * @see {@link isStringBigInt} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isStringBigIntReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Validates that a string has the `Symbol(description)` format used by Effect's
  * symbol string encoding.
@@ -5204,7 +5280,20 @@ export declare const isStringBigInt: (annotations?: Annotations.Filter) => Schem
  * @category String checks
  * @since 4.0.0
  */
-export declare const isStringSymbol: (annotations?: Annotations.Filter) => SchemaAST.Filter<string>;
+export declare function isStringSymbol(annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isStringSymbol` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isStringSymbol}.
+ *
+ * @see {@link isStringSymbol} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isStringSymbolReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Validates that a string is a strict Universally Unique Identifier (UUID).
  *
@@ -5236,6 +5325,21 @@ export declare const isStringSymbol: (annotations?: Annotations.Filter) => Schem
  * @since 4.0.0
  */
 export declare function isUUID(version?: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8, annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isUUID` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isUUID}.
+ *
+ * @see {@link isUUID} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isUUIDReviver: SchemaRepresentation.FilterReviver<{
+    readonly version: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | null;
+}>;
 /**
  * Validates that a string has the GUID / UUID textual shape.
  *
@@ -5261,6 +5365,19 @@ export declare function isUUID(version?: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8, annotati
  * @since 4.0.0
  */
 export declare function isGUID(annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isGUID` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isGUID}.
+ *
+ * @see {@link isGUID} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isGUIDReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Validates that a string is a valid ULID (Universally Unique Lexicographically
  * Sortable Identifier).
@@ -5281,6 +5398,19 @@ export declare function isGUID(annotations?: Annotations.Filter): SchemaAST.Filt
  * @since 4.0.0
  */
 export declare function isULID(annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isULID` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isULID}.
+ *
+ * @see {@link isULID} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isULIDReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Validates that a string is valid Base64 encoded data.
  *
@@ -5300,6 +5430,19 @@ export declare function isULID(annotations?: Annotations.Filter): SchemaAST.Filt
  * @since 4.0.0
  */
 export declare function isBase64(annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isBase64` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isBase64}.
+ *
+ * @see {@link isBase64} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isBase64Reviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Validates that a string is valid Base64URL encoded data (Base64 with URL-safe
  * characters).
@@ -5320,48 +5463,101 @@ export declare function isBase64(annotations?: Annotations.Filter): SchemaAST.Fi
  * @since 4.0.0
  */
 export declare function isBase64Url(annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isBase64Url` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isBase64Url}.
+ *
+ * @see {@link isBase64Url} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isBase64UrlReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Validates at runtime that a string starts with the specified literal prefix.
  *
  * **Details**
  *
- * Notes:
- * The JSON Schema and arbitrary metadata are built from `^${startsWith}` without
- * escaping regexp metacharacters. If the prefix contains regexp syntax, generated
- * patterns may not be equivalent to the runtime `startsWith` check.
+ * RegExp metacharacters in the prefix are escaped in JSON Schema and arbitrary
+ * metadata so that the generated patterns retain literal `startsWith` semantics.
  *
  * @category String checks
  * @since 4.0.0
  */
 export declare function isStartsWith(startsWith: string, annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isStartsWith` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isStartsWith}.
+ *
+ * @see {@link isStartsWith} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isStartsWithReviver: SchemaRepresentation.FilterReviver<{
+    readonly startsWith: string;
+}>;
 /**
  * Validates at runtime that a string ends with the specified literal suffix.
  *
  * **Details**
  *
- * Notes:
- * The JSON Schema and arbitrary metadata are built from `${endsWith}$` without
- * escaping regexp metacharacters. If the suffix contains regexp syntax, generated
- * patterns may not be equivalent to the runtime `endsWith` check.
+ * RegExp metacharacters in the suffix are escaped in JSON Schema and arbitrary
+ * metadata so that the generated patterns retain literal `endsWith` semantics.
  *
  * @category String checks
  * @since 4.0.0
  */
 export declare function isEndsWith(endsWith: string, annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isEndsWith` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isEndsWith}.
+ *
+ * @see {@link isEndsWith} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isEndsWithReviver: SchemaRepresentation.FilterReviver<{
+    readonly endsWith: string;
+}>;
 /**
  * Validates at runtime that a string contains the specified literal substring.
  *
  * **Details**
  *
- * Notes:
- * The JSON Schema and arbitrary metadata use the substring as a raw regexp
- * pattern. If the substring contains regexp syntax, generated patterns may not be
- * equivalent to the runtime `includes` check.
+ * RegExp metacharacters in the substring are escaped in JSON Schema and
+ * arbitrary metadata so that the generated patterns retain literal `includes`
+ * semantics.
  *
  * @category String checks
  * @since 4.0.0
  */
 export declare function isIncludes(includes: string, annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isIncludes` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isIncludes}.
+ *
+ * @see {@link isIncludes} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isIncludesReviver: SchemaRepresentation.FilterReviver<{
+    readonly includes: string;
+}>;
 /**
  * Validates that a string is unchanged by JavaScript's `toUpperCase()`.
  *
@@ -5375,6 +5571,19 @@ export declare function isIncludes(includes: string, annotations?: Annotations.F
  * @since 4.0.0
  */
 export declare function isUppercased(annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isUppercased` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isUppercased}.
+ *
+ * @see {@link isUppercased} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isUppercasedReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Validates that a string is unchanged by JavaScript's `toLowerCase()`.
  *
@@ -5388,6 +5597,19 @@ export declare function isUppercased(annotations?: Annotations.Filter): SchemaAS
  * @since 4.0.0
  */
 export declare function isLowercased(annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isLowercased` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isLowercased}.
+ *
+ * @see {@link isLowercased} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isLowercasedReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Validates that the first character of a string is unchanged by
  * `toUpperCase()`.
@@ -5401,6 +5623,19 @@ export declare function isLowercased(annotations?: Annotations.Filter): SchemaAS
  * @since 4.0.0
  */
 export declare function isCapitalized(annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isCapitalized` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isCapitalized}.
+ *
+ * @see {@link isCapitalized} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isCapitalizedReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Validates that the first character of a string is unchanged by
  * `toLowerCase()`.
@@ -5414,6 +5649,35 @@ export declare function isCapitalized(annotations?: Annotations.Filter): SchemaA
  * @since 4.0.0
  */
 export declare function isUncapitalized(annotations?: Annotations.Filter): SchemaAST.Filter<string>;
+/**
+ * Reviver for persisted `isUncapitalized` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isUncapitalized}.
+ *
+ * @see {@link isUncapitalized} for creating the corresponding check
+ *
+ * @category String checks
+ * @since 4.0.0
+ */
+export declare const isUncapitalizedReviver: SchemaRepresentation.FilterReviver<null>;
+/**
+ * Type-level representation of {@link Finite}.
+ *
+ * @category Number
+ * @since 3.10.0
+ */
+export interface Finite extends Number {
+    readonly "Rebuild": Finite;
+}
+/**
+ * Schema for finite numbers, rejecting `NaN`, `Infinity`, and `-Infinity`.
+ *
+ * @category Number
+ * @since 3.10.0
+ */
+export declare const Finite: Finite;
 /**
  * Validates that a number is finite (not `Infinity`, `-Infinity`, or `NaN`).
  *
@@ -5432,7 +5696,20 @@ export declare function isUncapitalized(annotations?: Annotations.Filter): Schem
  * @category Number checks
  * @since 4.0.0
  */
-export declare function isFinite(annotations?: Annotations.Filter): SchemaAST.Filter<number>;
+export declare const isFinite: (annotations?: Annotations.Filter) => SchemaAST.Filter<number>;
+/**
+ * Reviver for persisted `isFinite` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isFinite}.
+ *
+ * @see {@link isFinite} for creating the corresponding check
+ *
+ * @category Number checks
+ * @since 4.0.0
+ */
+export declare const isFiniteReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Creates a greater-than (`>`) check for any ordered type from an
  * `Order.Order` instance.
@@ -5535,6 +5812,21 @@ export declare function makeIsMultipleOf<T>(options: {
  * @since 4.0.0
  */
 export declare const isGreaterThan: (exclusiveMinimum: number, annotations?: Annotations.Filter) => SchemaAST.Filter<number>;
+/**
+ * Reviver for persisted `isGreaterThan` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isGreaterThan}.
+ *
+ * @see {@link isGreaterThan} for creating the corresponding check
+ *
+ * @category Number checks
+ * @since 4.0.0
+ */
+export declare const isGreaterThanReviver: SchemaRepresentation.FilterReviver<{
+    readonly exclusiveMinimum: number;
+}>;
 /**
  * Validates that a number is greater than or equal to the specified value
  * (inclusive).
@@ -5554,6 +5846,21 @@ export declare const isGreaterThan: (exclusiveMinimum: number, annotations?: Ann
  * @since 4.0.0
  */
 export declare const isGreaterThanOrEqualTo: (minimum: number, annotations?: Annotations.Filter) => SchemaAST.Filter<number>;
+/**
+ * Reviver for persisted `isGreaterThanOrEqualTo` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isGreaterThanOrEqualTo}.
+ *
+ * @see {@link isGreaterThanOrEqualTo} for creating the corresponding check
+ *
+ * @category Number checks
+ * @since 4.0.0
+ */
+export declare const isGreaterThanOrEqualToReviver: SchemaRepresentation.FilterReviver<{
+    readonly minimum: number;
+}>;
 /**
  * Validates that a number is less than the specified value (exclusive).
  *
@@ -5574,24 +5881,54 @@ export declare const isGreaterThanOrEqualTo: (minimum: number, annotations?: Ann
  */
 export declare const isLessThan: (exclusiveMaximum: number, annotations?: Annotations.Filter) => SchemaAST.Filter<number>;
 /**
- * Validates that a number is less than or equal to the specified value
- * (inclusive).
- *
- * **Details**
+ * Reviver for persisted `isLessThan` checks.
  *
- * JSON Schema:
+ * **When to use**
  *
- * This check corresponds to the `maximum` constraint in JSON Schema.
+ * Use when reconstructing documents that may contain checks created by {@link isLessThan}.
  *
- * Arbitrary:
+ * @see {@link isLessThan} for creating the corresponding check
  *
- * When generating test data with fast-check, this applies a `maximum` constraint
+ * @category Number checks
+ * @since 4.0.0
+ */
+export declare const isLessThanReviver: SchemaRepresentation.FilterReviver<{
+    readonly exclusiveMaximum: number;
+}>;
+/**
+ * Validates that a number is less than or equal to the specified value
+ * (inclusive).
+ *
+ * **Details**
+ *
+ * JSON Schema:
+ *
+ * This check corresponds to the `maximum` constraint in JSON Schema.
+ *
+ * Arbitrary:
+ *
+ * When generating test data with fast-check, this applies a `maximum` constraint
  * to ensure generated numbers are less than or equal to the specified value.
  *
  * @category Number checks
  * @since 4.0.0
  */
 export declare const isLessThanOrEqualTo: (maximum: number, annotations?: Annotations.Filter) => SchemaAST.Filter<number>;
+/**
+ * Reviver for persisted `isLessThanOrEqualTo` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isLessThanOrEqualTo}.
+ *
+ * @see {@link isLessThanOrEqualTo} for creating the corresponding check
+ *
+ * @category Number checks
+ * @since 4.0.0
+ */
+export declare const isLessThanOrEqualToReviver: SchemaRepresentation.FilterReviver<{
+    readonly maximum: number;
+}>;
 /**
  * Validates that a number is within a specified range. The range boundaries can
  * be inclusive or exclusive based on the provided options.
@@ -5619,6 +5956,24 @@ export declare const isBetween: (options: {
     readonly exclusiveMinimum?: boolean | undefined;
     readonly exclusiveMaximum?: boolean | undefined;
 }, annotations?: Annotations.Filter) => SchemaAST.Filter<number>;
+/**
+ * Reviver for persisted `isBetween` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isBetween}.
+ *
+ * @see {@link isBetween} for creating the corresponding check
+ *
+ * @category Number checks
+ * @since 4.0.0
+ */
+export declare const isBetweenReviver: SchemaRepresentation.FilterReviver<{
+    readonly minimum: number;
+    readonly maximum: number;
+    readonly exclusiveMinimum?: true | undefined;
+    readonly exclusiveMaximum?: true | undefined;
+}>;
 /**
  * Validates that a number is a multiple of the specified divisor.
  *
@@ -5637,6 +5992,21 @@ export declare const isBetween: (options: {
  * @since 4.0.0
  */
 export declare const isMultipleOf: (divisor: number, annotations?: Annotations.Filter) => SchemaAST.Filter<number>;
+/**
+ * Reviver for persisted `isMultipleOf` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isMultipleOf}.
+ *
+ * @see {@link isMultipleOf} for creating the corresponding check
+ *
+ * @category Number checks
+ * @since 4.0.0
+ */
+export declare const isMultipleOfReviver: SchemaRepresentation.FilterReviver<{
+    readonly divisor: number;
+}>;
 /**
  * Validates that a number is a safe integer (within the safe integer range
  * that can be exactly represented in JavaScript).
@@ -5656,6 +6026,57 @@ export declare const isMultipleOf: (divisor: number, annotations?: Annotations.F
  * @since 4.0.0
  */
 export declare function isInt(annotations?: Annotations.Filter): SchemaAST.Filter<number>;
+/**
+ * Reviver for persisted `isInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isInt}.
+ *
+ * @see {@link isInt} for creating the corresponding check
+ *
+ * @category Integer checks
+ * @since 4.0.0
+ */
+export declare const isIntReviver: SchemaRepresentation.FilterReviver<null>;
+/**
+ * Type-level representation of {@link Int}.
+ *
+ * @category Number
+ * @since 3.10.0
+ */
+export interface Int extends Number {
+    readonly "Rebuild": Int;
+}
+/**
+ * Schema for integers, rejecting `NaN`, `Infinity`, and `-Infinity`.
+ *
+ * @category Number
+ * @since 3.10.0
+ */
+export declare const Int: Int;
+/**
+ * Type-level representation of {@link Natural}.
+ *
+ * @category Number
+ * @since 4.0.0
+ */
+export interface Natural extends Int {
+    readonly "Rebuild": Natural;
+}
+/**
+ * Schema for non-negative safe integers, including zero.
+ *
+ * **When to use**
+ *
+ * Use when you need a count, index, or size that cannot be negative.
+ *
+ * @see {@link Int} for safe integers that may be negative
+ *
+ * @category Number
+ * @since 4.0.0
+ */
+export declare const Natural: Natural;
 /**
  * Validates that a number is a 32-bit signed integer (range: -2,147,483,648 to
  * 2,147,483,647).
@@ -5696,26 +6117,6 @@ export declare function isInt32(annotations?: Annotations.Filter): SchemaAST.Fil
  * @since 4.0.0
  */
 export declare function isUint32(annotations?: Annotations.Filter): SchemaAST.FilterGroup<number>;
-/**
- * Validates that a Date object represents a valid date (not an invalid date
- * like `new Date("invalid")`).
- *
- * **Details**
- *
- * JSON Schema:
- *
- * This check does not have a direct JSON Schema equivalent, as JSON Schema
- * validates date strings, not Date objects.
- *
- * Arbitrary:
- *
- * When generating test data with fast-check, this applies a `valid: true`
- * constraint to ensure generated Date objects are valid.
- *
- * @category Date checks
- * @since 4.0.0
- */
-export declare function isDateValid(annotations?: Annotations.Filter): SchemaAST.Filter<globalThis.Date>;
 /**
  * Validates that a Date is greater than the specified value (exclusive).
  *
@@ -5976,6 +6377,21 @@ export declare const isBetweenBigDecimal: (options: {
 export declare function isMinLength(minLength: number, annotations?: Annotations.Filter): SchemaAST.Filter<{
     readonly length: number;
 }>;
+/**
+ * Reviver for persisted `isMinLength` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isMinLength}.
+ *
+ * @see {@link isMinLength} for creating the corresponding check
+ *
+ * @category Length checks
+ * @since 4.0.0
+ */
+export declare const isMinLengthReviver: SchemaRepresentation.FilterReviver<{
+    readonly minLength: number;
+}>;
 /**
  * Validates that a value has at least one element. Works with strings and arrays.
  * This is equivalent to `isMinLength(1)`.
@@ -6021,6 +6437,21 @@ export declare function isNonEmpty(annotations?: Annotations.Filter): SchemaAST.
 export declare function isMaxLength(maxLength: number, annotations?: Annotations.Filter): SchemaAST.Filter<{
     readonly length: number;
 }>;
+/**
+ * Reviver for persisted `isMaxLength` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isMaxLength}.
+ *
+ * @see {@link isMaxLength} for creating the corresponding check
+ *
+ * @category Length checks
+ * @since 4.0.0
+ */
+export declare const isMaxLengthReviver: SchemaRepresentation.FilterReviver<{
+    readonly maxLength: number;
+}>;
 /**
  * Validates that a value's length is within the specified range. Works with
  * strings and arrays.
@@ -6044,6 +6475,22 @@ export declare function isMaxLength(maxLength: number, annotations?: Annotations
 export declare function isLengthBetween(minimum: number, maximum: number, annotations?: Annotations.Filter): SchemaAST.Filter<{
     readonly length: number;
 }>;
+/**
+ * Reviver for persisted `isLengthBetween` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isLengthBetween}.
+ *
+ * @see {@link isLengthBetween} for creating the corresponding check
+ *
+ * @category Length checks
+ * @since 4.0.0
+ */
+export declare const isLengthBetweenReviver: SchemaRepresentation.FilterReviver<{
+    readonly minimum: number;
+    readonly maximum: number;
+}>;
 /**
  * Validates that a value has at least the specified size. Works with values
  * that have a `size` property, such as `Set` or `Map`.
@@ -6067,6 +6514,21 @@ export declare function isLengthBetween(minimum: number, maximum: number, annota
 export declare function isMinSize(minSize: number, annotations?: Annotations.Filter): SchemaAST.Filter<{
     readonly size: number;
 }>;
+/**
+ * Reviver for persisted `isMinSize` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isMinSize}.
+ *
+ * @see {@link isMinSize} for creating the corresponding check
+ *
+ * @category Size checks
+ * @since 4.0.0
+ */
+export declare const isMinSizeReviver: SchemaRepresentation.FilterReviver<{
+    readonly minSize: number;
+}>;
 /**
  * Validates that a value has at most the specified size. Works with values
  * that have a `size` property, such as `Set` or `Map`.
@@ -6090,6 +6552,21 @@ export declare function isMinSize(minSize: number, annotations?: Annotations.Fil
 export declare function isMaxSize(maxSize: number, annotations?: Annotations.Filter): SchemaAST.Filter<{
     readonly size: number;
 }>;
+/**
+ * Reviver for persisted `isMaxSize` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isMaxSize}.
+ *
+ * @see {@link isMaxSize} for creating the corresponding check
+ *
+ * @category Size checks
+ * @since 4.0.0
+ */
+export declare const isMaxSizeReviver: SchemaRepresentation.FilterReviver<{
+    readonly maxSize: number;
+}>;
 /**
  * Validates that a value's size is within the specified range. Works with
  * values that have a `size` property, such as `Set` or `Map`.
@@ -6113,6 +6590,22 @@ export declare function isMaxSize(maxSize: number, annotations?: Annotations.Fil
 export declare function isSizeBetween(minimum: number, maximum: number, annotations?: Annotations.Filter): SchemaAST.Filter<{
     readonly size: number;
 }>;
+/**
+ * Reviver for persisted `isSizeBetween` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isSizeBetween}.
+ *
+ * @see {@link isSizeBetween} for creating the corresponding check
+ *
+ * @category Size checks
+ * @since 4.0.0
+ */
+export declare const isSizeBetweenReviver: SchemaRepresentation.FilterReviver<{
+    readonly minimum: number;
+    readonly maximum: number;
+}>;
 /**
  * Validates that an object contains at least the specified number of
  * properties. This includes both string and symbol keys when counting
@@ -6134,6 +6627,21 @@ export declare function isSizeBetween(minimum: number, maximum: number, annotati
  * @since 4.0.0
  */
 export declare function isMinProperties(minProperties: number, annotations?: Annotations.Filter): SchemaAST.Filter<object>;
+/**
+ * Reviver for persisted `isMinProperties` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isMinProperties}.
+ *
+ * @see {@link isMinProperties} for creating the corresponding check
+ *
+ * @category Object checks
+ * @since 4.0.0
+ */
+export declare const isMinPropertiesReviver: SchemaRepresentation.FilterReviver<{
+    readonly minProperties: number;
+}>;
 /**
  * Validates that an object contains at most the specified number of properties.
  * This includes both string and symbol keys when counting properties.
@@ -6154,6 +6662,21 @@ export declare function isMinProperties(minProperties: number, annotations?: Ann
  * @since 4.0.0
  */
 export declare function isMaxProperties(maxProperties: number, annotations?: Annotations.Filter): SchemaAST.Filter<object>;
+/**
+ * Reviver for persisted `isMaxProperties` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isMaxProperties}.
+ *
+ * @see {@link isMaxProperties} for creating the corresponding check
+ *
+ * @category Object checks
+ * @since 4.0.0
+ */
+export declare const isMaxPropertiesReviver: SchemaRepresentation.FilterReviver<{
+    readonly maxProperties: number;
+}>;
 /**
  * Validates that an object contains between `minimum` and `maximum` properties (inclusive).
  * This includes both string and symbol keys when counting properties.
@@ -6175,6 +6698,22 @@ export declare function isMaxProperties(maxProperties: number, annotations?: Ann
  * @since 4.0.0
  */
 export declare function isPropertiesLengthBetween(minimum: number, maximum: number, annotations?: Annotations.Filter): SchemaAST.Filter<object>;
+/**
+ * Reviver for persisted `isPropertiesLengthBetween` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isPropertiesLengthBetween}.
+ *
+ * @see {@link isPropertiesLengthBetween} for creating the corresponding check
+ *
+ * @category Object checks
+ * @since 4.0.0
+ */
+export declare const isPropertiesLengthBetweenReviver: SchemaRepresentation.FilterReviver<{
+    readonly minimum: number;
+    readonly maximum: number;
+}>;
 /**
  * Validates that every own property key of an object satisfies the encoded side
  * of the provided key schema.
@@ -6192,6 +6731,19 @@ export declare function isPropertiesLengthBetween(minimum: number, maximum: numb
  * @since 4.0.0
  */
 export declare function isPropertyNames(keySchema: Constraint, annotations?: Annotations.Filter): SchemaAST.Filter<object>;
+/**
+ * Reviver for persisted `isPropertyNames` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isPropertyNames}.
+ *
+ * @see {@link isPropertyNames} for creating the corresponding check
+ *
+ * @category Object checks
+ * @since 4.0.0
+ */
+export declare const isPropertyNamesReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Validates that all items in an array are unique according to Effect equality.
  *
@@ -6209,6 +6761,19 @@ export declare function isPropertyNames(keySchema: Constraint, annotations?: Ann
  * @since 4.0.0
  */
 export declare function isUnique<T>(annotations?: Annotations.Filter): SchemaAST.Filter<readonly T[]>;
+/**
+ * Reviver for persisted `isUnique` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isUnique}.
+ *
+ * @see {@link isUnique} for creating the corresponding check
+ *
+ * @category Array checks
+ * @since 4.0.0
+ */
+export declare const isUniqueReviver: SchemaRepresentation.FilterReviver<null>;
 /**
  * Type-level representation of {@link NonEmptyString}.
  *
@@ -6289,6 +6854,19 @@ export type OptionIso<A extends Constraint> = {
  * @since 3.10.0
  */
 export declare function Option<A extends Constraint>(value: A): Option<A>;
+/**
+ * Reviver for persisted `Option` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Option}.
+ *
+ * @see {@link Option} for creating the corresponding schema
+ *
+ * @category Option
+ * @since 4.0.0
+ */
+export declare const OptionReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation returned by {@link OptionFromNullOr}.
  *
@@ -6463,6 +7041,19 @@ export type ResultIso<A extends Constraint, E extends Constraint> = {
  * @since 4.0.0
  */
 export declare function Result<A extends Constraint, E extends Constraint>(success: A, failure: E): Result<A, E>;
+/**
+ * Reviver for persisted {@link Result} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Result}.
+ *
+ * @see {@link Result} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const ResultReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation returned by {@link Redacted}.
  *
@@ -6473,6 +7064,12 @@ export interface Redacted<S extends Constraint> extends declareConstructor<Redac
     readonly "Rebuild": Redacted<S>;
     readonly value: S;
 }
+type RedactedRepresentationOptions = {
+    readonly label?: string | undefined;
+    readonly disallowJsonEncode?: true | undefined;
+};
+type RedactedRepresentationPayload = RedactedRepresentationOptions | null;
+declare const RedactedRepresentationPayload: Decoder<RedactedRepresentationPayload>;
 /**
  * Schema for values that hide sensitive information from error output and
  * inspection.
@@ -6501,6 +7098,19 @@ export declare function Redacted<S extends Constraint>(value: S, options?: {
     readonly label?: string | undefined;
     readonly disallowJsonEncode?: boolean | undefined;
 }): Redacted<S>;
+/**
+ * Reviver for persisted {@link Redacted} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Redacted}.
+ *
+ * @see {@link Redacted} for creating the corresponding schema
+ *
+ * @category Redacted
+ * @since 4.0.0
+ */
+export declare const RedactedReviver: SchemaRepresentation.DeclarationReviver<RedactedRepresentationPayload>;
 /**
  * Type-level representation returned by {@link RedactedFromValue}.
  *
@@ -6584,6 +7194,19 @@ export type CauseReasonIso<E extends Constraint, D extends Constraint> = {
  * @since 4.0.0
  */
 export declare function CauseReason<E extends Constraint, D extends Constraint>(error: E, defect: D): CauseReason<E, D>;
+/**
+ * Reviver for persisted `CauseReason` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link CauseReason}.
+ *
+ * @see {@link CauseReason} for creating the corresponding schema
+ *
+ * @category CauseReason
+ * @since 4.0.0
+ */
+export declare const CauseReasonReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation returned by {@link Cause}.
  *
@@ -6633,6 +7256,19 @@ export type CauseIso<E extends Constraint, D extends Constraint> = ReadonlyArray
  * @since 3.10.0
  */
 export declare function Cause<E extends Constraint, D extends Constraint>(error: E, defect: D): Cause<E, D>;
+/**
+ * Reviver for persisted `Cause` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Cause}.
+ *
+ * @see {@link Cause} for creating the corresponding schema
+ *
+ * @category Cause
+ * @since 4.0.0
+ */
+export declare const CauseReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link Error}.
  *
@@ -6663,6 +7299,12 @@ export interface ErrorOptions {
      */
     readonly excludeCause?: boolean | undefined;
 }
+type ErrorRepresentationOptions = {
+    readonly includeStack?: true | undefined;
+    readonly excludeCause?: true | undefined;
+};
+type ErrorRepresentationPayload = ErrorRepresentationOptions | null;
+declare const ErrorRepresentationPayload: Decoder<ErrorRepresentationPayload>;
 /**
  * Schema for JavaScript `Error` objects.
  *
@@ -6679,6 +7321,19 @@ export interface ErrorOptions {
  * @since 4.0.0
  */
 export declare function Error(options?: ErrorOptions): Error;
+/**
+ * Reviver for persisted {@link Error} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Error}.
+ *
+ * @see {@link Error} for creating the corresponding schema
+ *
+ * @category Error
+ * @since 4.0.0
+ */
+export declare const ErrorReviver: SchemaRepresentation.DeclarationReviver<ErrorRepresentationPayload>;
 /**
  * Type-level representation of {@link Defect}.
  *
@@ -6773,6 +7428,19 @@ export type ExitIso<A extends Constraint, E extends Constraint, D extends Constr
  * @since 3.10.0
  */
 export declare function Exit<A extends Constraint, E extends Constraint, D extends Constraint>(value: A, error: E, defect: D): Exit<A, E, D>;
+/**
+ * Reviver for persisted `Exit` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Exit}.
+ *
+ * @see {@link Exit} for creating the corresponding schema
+ *
+ * @category Exit
+ * @since 4.0.0
+ */
+export declare const ExitReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation returned by {@link ReadonlyMap}.
  *
@@ -6800,6 +7468,19 @@ export type ReadonlyMapIso<Key extends Constraint, Value extends Constraint> = R
  * @since 3.10.0
  */
 export declare function ReadonlyMap<Key extends Constraint, Value extends Constraint>(key: Key, value: Value): $ReadonlyMap<Key, Value>;
+/**
+ * Reviver for persisted {@link ReadonlyMap} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link ReadonlyMap}.
+ *
+ * @see {@link ReadonlyMap} for creating the corresponding schema
+ *
+ * @category ReadonlyMap
+ * @since 4.0.0
+ */
+export declare const ReadonlyMapReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation returned by {@link HashMap}.
  *
@@ -6826,6 +7507,19 @@ export type HashMapIso<Key extends Constraint, Value extends Constraint> = Reado
  * @since 3.10.0
  */
 export declare function HashMap<Key extends Constraint, Value extends Constraint>(key: Key, value: Value): HashMap<Key, Value>;
+/**
+ * Reviver for persisted `HashMap` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link HashMap}.
+ *
+ * @see {@link HashMap} for creating the corresponding schema
+ *
+ * @category HashMap
+ * @since 4.0.0
+ */
+export declare const HashMapReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation returned by {@link ReadonlySet}.
  *
@@ -6851,6 +7545,19 @@ export type ReadonlySetIso<Value extends Constraint> = ReadonlyArray<Value["Iso"
  * @since 3.10.0
  */
 export declare function ReadonlySet<Value extends Constraint>(value: Value): $ReadonlySet<Value>;
+/**
+ * Reviver for persisted {@link ReadonlySet} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link ReadonlySet}.
+ *
+ * @see {@link ReadonlySet} for creating the corresponding schema
+ *
+ * @category ReadonlySet
+ * @since 4.0.0
+ */
+export declare const ReadonlySetReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation returned by {@link HashSet}.
  *
@@ -6876,6 +7583,19 @@ export type HashSetIso<Value extends Constraint> = ReadonlyArray<Value["Iso"]>;
  * @since 3.10.0
  */
 export declare function HashSet<Value extends Constraint>(value: Value): HashSet<Value>;
+/**
+ * Reviver for persisted `HashSet` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link HashSet}.
+ *
+ * @see {@link HashSet} for creating the corresponding schema
+ *
+ * @category HashSet
+ * @since 4.0.0
+ */
+export declare const HashSetReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation returned by {@link Chunk}.
  *
@@ -6908,6 +7628,19 @@ export type ChunkIso<Value extends Constraint> = ReadonlyArray<Value["Iso"]>;
  * @since 3.10.0
  */
 export declare function Chunk<Value extends Constraint>(value: Value): Chunk<Value>;
+/**
+ * Reviver for persisted {@link Chunk} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Chunk}.
+ *
+ * @see {@link Chunk} for creating the corresponding schema
+ *
+ * @category Chunk
+ * @since 4.0.0
+ */
+export declare const ChunkReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link RegExp}.
  *
@@ -6928,6 +7661,19 @@ export interface RegExp extends instanceOf<globalThis.RegExp> {
  * @since 4.0.0
  */
 export declare const RegExp: RegExp;
+/**
+ * Reviver for persisted `RegExp` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link RegExp} schema.
+ *
+ * @see {@link RegExp} for the corresponding schema
+ *
+ * @category RegExp
+ * @since 4.0.0
+ */
+export declare const RegExpReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link URL}.
  *
@@ -6950,6 +7696,19 @@ export interface URL extends instanceOf<globalThis.URL> {
  * @since 4.0.0
  */
 export declare const URL: URL;
+/**
+ * Reviver for persisted `URL` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link URL} schema.
+ *
+ * @see {@link URL} for the corresponding schema
+ *
+ * @category URL
+ * @since 4.0.0
+ */
+export declare const URLReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link URLFromString}.
  *
@@ -6980,22 +7739,21 @@ export declare const URLFromString: URLFromString;
  * @category Date
  * @since 4.0.0
  */
-export interface Date extends instanceOf<globalThis.Date> {
+export interface Date extends declare<globalThis.Date> {
     readonly "Rebuild": Date;
 }
 /**
- * Schema for JavaScript `Date` objects.
+ * Schema for valid JavaScript `Date` objects.
  *
  * **When to use**
  *
- * Use to validate in-memory values that must already be JavaScript date
+ * Use to validate in-memory values that must already be valid JavaScript date
  * objects.
  *
  * **Details**
  *
- * This schema accepts any `Date` instance, including invalid dates. The default
- * JSON serializer encodes valid dates as ISO 8601 strings; invalid dates encode
- * as `"Invalid Date"`.
+ * This schema accepts `Date` instances whose timestamp is not `NaN`. The
+ * default JSON serializer encodes dates as ISO 8601 strings.
  *
  * **Example** (Defining a Date schema)
  *
@@ -7006,7 +7764,6 @@ export interface Date extends instanceOf<globalThis.Date> {
  * // => Date { 2024-01-01T00:00:00.000Z }
  * ```
  *
- * @see {@link DateValid} for accepting only valid Date instances
  * @see {@link DateFromString} for decoding strings into Date instances
  * @see {@link DateFromMillis} for decoding epoch milliseconds into Date instances
  *
@@ -7014,6 +7771,19 @@ export interface Date extends instanceOf<globalThis.Date> {
  * @since 4.0.0
  */
 export declare const Date: Date;
+/**
+ * Reviver for persisted `Date` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Date} schema.
+ *
+ * @see {@link Date} for the corresponding schema
+ *
+ * @category Date
+ * @since 4.0.0
+ */
+export declare const DateReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link DateFromString}.
  *
@@ -7037,17 +7807,13 @@ export interface DateFromString extends decodeTo<Date, String> {
  * The string is passed to JavaScript `Date` construction.
  *
  * Encoding:
- * A valid `Date` is encoded as an ISO string; an invalid `Date` is encoded as
- * `"Invalid Date"`.
- *
- * **Gotchas**
+ * A `Date` is encoded as an ISO string.
  *
- * Invalid date strings can decode to invalid `Date` instances.
+ * Invalid date strings fail decoding.
  *
  * @see {@link DateFromMillis} for decoding epoch milliseconds into Date instances
  * @see {@link DateTimeUtcFromString} for decoding date-time strings into UTC values
  * @see {@link Date} for accepting Date instances directly
- * @see {@link DateValid} for rejecting invalid Date instances
  *
  * @category Date
  * @since 3.10.0
@@ -7059,7 +7825,7 @@ export declare const DateFromString: DateFromString;
  * @category Date
  * @since 4.0.0
  */
-export interface DateFromMillis extends decodeTo<Date, Number> {
+export interface DateFromMillis extends decodeTo<Date, Int> {
     readonly "Rebuild": DateFromMillis;
 }
 /**
@@ -7073,15 +7839,16 @@ export interface DateFromMillis extends decodeTo<Date, Number> {
  * **Details**
  *
  * Decoding:
- * A number of milliseconds since the Unix epoch is decoded as a `Date`.
+ * A safe integer number of milliseconds since the Unix epoch is decoded as a
+ * `Date`.
  *
  * Encoding:
  * A `Date` is encoded as its millisecond timestamp.
  *
  * **Gotchas**
  *
- * This schema accepts any number, including `NaN`, `Infinity`, and `-Infinity`.
- * Those values decode to invalid `Date` instances.
+ * JavaScript `Date` supports a narrower range than safe integers, so integers
+ * outside the supported `Date` range fail decoding.
  *
  * @see {@link DateFromString} for decoding string-encoded dates
  * @see {@link DateTimeUtcFromMillis} for decoding epoch milliseconds into UTC values
@@ -7090,27 +7857,6 @@ export interface DateFromMillis extends decodeTo<Date, Number> {
  * @since 4.0.0
  */
 export declare const DateFromMillis: DateFromMillis;
-/**
- * Type-level representation of {@link DateValid}.
- *
- * @category Date
- * @since 4.0.0
- */
-export interface DateValid extends Date {
-    readonly "Rebuild": DateValid;
-}
-/**
- * Schema for **valid** JavaScript `Date` objects.
- *
- * **Details**
- *
- * This schema accepts `Date` instances but rejects invalid dates (such as `new
- * Date("invalid")`).
- *
- * @category Date
- * @since 4.0.0
- */
-export declare const DateValid: DateValid;
 /**
  * Type-level representation of {@link Duration}.
  *
@@ -7142,6 +7888,19 @@ export interface Duration extends declare<Duration_.Duration> {
  * @since 3.10.0
  */
 export declare const Duration: Duration;
+/**
+ * Reviver for persisted {@link Duration} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Duration} schema.
+ *
+ * @see {@link Duration} for the corresponding schema
+ *
+ * @category Duration
+ * @since 4.0.0
+ */
+export declare const DurationReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link DurationFromString}.
  *
@@ -7177,18 +7936,18 @@ export interface DurationFromNanos extends decodeTo<Duration, BigInt> {
     readonly "Rebuild": DurationFromNanos;
 }
 /**
- * Schema that decodes a non-negative `bigint` into a
- * `Duration`, treating the bigint as nanoseconds.
+ * Schema that decodes a `bigint` into a `Duration`, treating the bigint as
+ * nanoseconds.
  *
  * **Details**
  *
  * Decoding:
- * A non-negative `bigint` representing nanoseconds is decoded as a `Duration`.
+ * A `bigint` representing nanoseconds is decoded as a `Duration`.
  *
  * Encoding:
- * Finite durations are encoded as a non-negative `bigint` number of nanoseconds.
- * Encoding fails when the duration cannot be represented as nanoseconds, such as
- * `Duration.infinity`.
+ * Finite durations are encoded as a `bigint` number of nanoseconds. Encoding
+ * fails when the duration cannot be represented as nanoseconds, such as
+ * `Duration.infinity` or `Duration.negativeInfinity`.
  *
  * @category Duration
  * @since 3.10.0
@@ -7204,19 +7963,20 @@ export interface DurationFromMillis extends decodeTo<Duration, Number> {
     readonly "Rebuild": DurationFromMillis;
 }
 /**
- * Schema that decodes a non-negative (possibly infinite)
- * integer into a `Duration`, treating the integer value as the duration in
+ * Schema that decodes a number into a `Duration`, treating the number as
  * milliseconds.
  *
  * **Details**
  *
  * Decoding:
- * - A non-negative (possibly infinite) integer representing milliseconds is
- *   decoded as a `Duration`
+ * - A finite or infinite number is decoded as a `Duration`
  *
  * Encoding:
- * - A `Duration` is encoded to a non-negative (possibly infinite) integer
- *   representing milliseconds
+ * - A `Duration` is encoded to a finite or infinite number of milliseconds
+ *
+ * **Gotchas**
+ *
+ * `NaN` is decoded as `Duration.zero`, matching `Duration.millis`.
  *
  * @category Duration
  * @since 3.10.0
@@ -7251,6 +8011,19 @@ export interface BigDecimal extends declare<BigDecimal_.BigDecimal> {
  * @since 3.10.0
  */
 export declare const BigDecimal: BigDecimal;
+/**
+ * Reviver for persisted {@link BigDecimal} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link BigDecimal} schema.
+ *
+ * @see {@link BigDecimal} for the corresponding schema
+ *
+ * @category BigDecimal
+ * @since 4.0.0
+ */
+export declare const BigDecimalReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link BigDecimalFromString}.
  *
@@ -7344,12 +8117,6 @@ export interface fromJsonString<S extends Constraint> extends decodeTo<S, String
  * The resulting schema first parses the input string as JSON, and then runs the
  * provided schema on the parsed result.
  *
- * JSON Schema generation:
- *
- * When using `fromJsonString` with `draft-2020-12` or `openApi3.1`, the
- * resulting schema will be a JSON Schema with a `contentSchema` property that
- * contains the JSON Schema for the given schema.
- *
  * **Example** (Decoding JSON strings with a schema)
  *
  * ```ts
@@ -7362,39 +8129,6 @@ export interface fromJsonString<S extends Constraint> extends decodeTo<S, String
  * // => { a: 1 }
  * ```
  *
- * **Example** (Emitting JSON Schema for a JSON string decoder)
- *
- * ```ts
- * import { Schema } from "effect"
- *
- * const original = Schema.Struct({ a: Schema.String })
- * const schema = Schema.fromJsonString(original)
- *
- * const document = Schema.toJsonSchemaDocument(schema)
- *
- * console.log(JSON.stringify(document, null, 2))
- * // {
- * //   "source": "draft-2020-12",
- * //   "schema": {
- * //     "type": "string",
- * //     "contentMediaType": "application/json",
- * //     "contentSchema": {
- * //       "type": "object",
- * //       "properties": {
- * //         "a": {
- * //           "type": "string"
- * //         }
- * //       },
- * //       "required": [
- * //         "a"
- * //       ],
- * //       "additionalProperties": false
- * //     }
- * //   },
- * //   "definitions": {}
- * // }
- * ```
- *
  * @category constructors
  * @since 4.0.0
  */
@@ -7420,6 +8154,19 @@ export interface File extends instanceOf<globalThis.File> {
  * @since 4.0.0
  */
 export declare const File: File;
+/**
+ * Reviver for persisted `File` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link File} schema.
+ *
+ * @see {@link File} for the corresponding schema
+ *
+ * @category file
+ * @since 4.0.0
+ */
+export declare const FileReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link FormData}.
  *
@@ -7441,6 +8188,19 @@ export interface FormData extends instanceOf<globalThis.FormData> {
  * @since 4.0.0
  */
 export declare const FormData: FormData;
+/**
+ * Reviver for persisted `FormData` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link FormData} schema.
+ *
+ * @see {@link FormData} for the corresponding schema
+ *
+ * @category FormData
+ * @since 4.0.0
+ */
+export declare const FormDataReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation returned by {@link fromFormData}.
  *
@@ -7556,6 +8316,19 @@ export interface URLSearchParams extends instanceOf<globalThis.URLSearchParams>
  * @since 4.0.0
  */
 export declare const URLSearchParams: URLSearchParams;
+/**
+ * Reviver for persisted `URLSearchParams` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link URLSearchParams} schema.
+ *
+ * @see {@link URLSearchParams} for the corresponding schema
+ *
+ * @category search params
+ * @since 4.0.0
+ */
+export declare const URLSearchParamsReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation returned by {@link fromURLSearchParams}.
  *
@@ -7646,45 +8419,13 @@ export interface fromURLSearchParams<S extends Constraint> extends decodeTo<S, U
  * @since 4.0.0
  */
 export declare function fromURLSearchParams<S extends Constraint>(schema: S): fromURLSearchParams<S>;
-/**
- * Type-level representation of {@link Finite}.
- *
- * @category Number
- * @since 3.10.0
- */
-export interface Finite extends Number {
-    readonly "Rebuild": Finite;
-}
-/**
- * Schema for finite numbers, rejecting `NaN`, `Infinity`, and `-Infinity`.
- *
- * @category Number
- * @since 3.10.0
- */
-export declare const Finite: Finite;
-/**
- * Type-level representation of {@link Int}.
- *
- * @category Number
- * @since 3.10.0
- */
-export interface Int extends Number {
-    readonly "Rebuild": Int;
-}
-/**
- * Schema for integers, rejecting `NaN`, `Infinity`, and `-Infinity`.
- *
- * @category Number
- * @since 3.10.0
- */
-export declare const Int: Int;
 /**
  * Type-level representation of {@link NumberFromString}.
  *
  * @category Number
  * @since 3.10.0
  */
-export interface NumberFromString extends decodeTo<Finite, String> {
+export interface NumberFromString extends decodeTo<Number, String> {
     readonly "Rebuild": NumberFromString;
 }
 /**
@@ -8001,6 +8742,19 @@ export interface Uint8Array extends instanceOf<globalThis.Uint8Array<ArrayBuffer
  * @since 4.0.0
  */
 export declare const Uint8Array: Uint8Array;
+/**
+ * Reviver for persisted `Uint8Array` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Uint8Array} schema.
+ *
+ * @see {@link Uint8Array} for the corresponding schema
+ *
+ * @category Uint8Array
+ * @since 4.0.0
+ */
+export declare const Uint8ArrayReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link Uint8ArrayFromBase64}.
  *
@@ -8107,6 +8861,19 @@ export interface DateTimeUtc extends declare<DateTime.Utc> {
  * @since 3.10.0
  */
 export declare const DateTimeUtc: DateTimeUtc;
+/**
+ * Reviver for persisted {@link DateTimeUtc} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link DateTimeUtc} schema.
+ *
+ * @see {@link DateTimeUtc} for the corresponding schema
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export declare const DateTimeUtcReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link DateTimeUtcFromDate}.
  *
@@ -8135,7 +8902,7 @@ export interface DateTimeUtcFromDate extends decodeTo<DateTimeUtc, Date> {
  * @see {@link DateTimeUtc} for validating values that are already `DateTime.Utc`
  * @see {@link DateTimeUtcFromString} for decoding date-time strings into UTC values
  * @see {@link DateTimeUtcFromMillis} for decoding epoch milliseconds into UTC values
- * @see {@link DateValid} for validating Date instances without converting them
+ * @see {@link Date} for validating Date instances without converting them
  *
  * @category DateTime
  * @since 3.12.0
@@ -8178,7 +8945,7 @@ export declare const DateTimeUtcFromString: DateTimeUtcFromString;
  * @category DateTime
  * @since 4.0.0
  */
-export interface DateTimeUtcFromMillis extends decodeTo<instanceOf<DateTime.Utc>, Number> {
+export interface DateTimeUtcFromMillis extends decodeTo<instanceOf<DateTime.Utc>, Int> {
     readonly "Rebuild": DateTimeUtcFromMillis;
 }
 /**
@@ -8219,9 +8986,22 @@ export interface TimeZoneOffset extends declare<DateTime.TimeZone.Offset> {
  * - encodes `DateTime.TimeZone.Offset` as a number (offset in milliseconds)
  *
  * @category DateTime
- * @since 3.10.0
+ * @since 3.10.0
+ */
+export declare const TimeZoneOffset: TimeZoneOffset;
+/**
+ * Reviver for persisted {@link TimeZoneOffset} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link TimeZoneOffset} schema.
+ *
+ * @see {@link TimeZoneOffset} for the corresponding schema
+ *
+ * @category DateTime
+ * @since 4.0.0
  */
-export declare const TimeZoneOffset: TimeZoneOffset;
+export declare const TimeZoneOffsetReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link TimeZoneNamed}.
  *
@@ -8244,6 +9024,19 @@ export interface TimeZoneNamed extends declare<DateTime.TimeZone.Named> {
  * @since 3.10.0
  */
 export declare const TimeZoneNamed: TimeZoneNamed;
+/**
+ * Reviver for persisted {@link TimeZoneNamed} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link TimeZoneNamed} schema.
+ *
+ * @see {@link TimeZoneNamed} for the corresponding schema
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export declare const TimeZoneNamedReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link TimeZoneNamedFromString}.
  *
@@ -8291,6 +9084,19 @@ export interface TimeZone extends declare<DateTime.TimeZone> {
  * @since 3.10.0
  */
 export declare const TimeZone: TimeZone;
+/**
+ * Reviver for persisted {@link TimeZone} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link TimeZone} schema.
+ *
+ * @see {@link TimeZone} for the corresponding schema
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export declare const TimeZoneReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link TimeZoneFromString}.
  *
@@ -8340,6 +9146,19 @@ export interface DateTimeZoned extends declare<DateTime.Zoned> {
  * @since 3.10.0
  */
 export declare const DateTimeZoned: DateTimeZoned;
+/**
+ * Reviver for persisted {@link DateTimeZoned} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link DateTimeZoned} schema.
+ *
+ * @see {@link DateTimeZoned} for the corresponding schema
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export declare const DateTimeZonedReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Type-level representation of {@link DateTimeZonedFromString}.
  *
@@ -8372,7 +9191,7 @@ export declare const DateTimeZonedFromString: DateTimeZonedFromString;
  */
 export interface Class<Self, S extends Constraint & {
     readonly fields: Struct.Fields;
-}, Inherited> extends BottomLazy<SchemaAST.Declaration, decodeTo<declareConstructor<Self, S["Encoded"], readonly [S], S["Iso"]>, S>, readonly [S], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
+}, Inherited> extends BottomLazyWithoutNew<SchemaAST.Declaration, decodeTo<declareConstructor<Self, S["Encoded"], readonly [S], S["Iso"]>, S>, readonly [S], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
     readonly "Type": Self;
     readonly "Encoded": S["Encoded"];
     readonly "DecodingServices": S["DecodingServices"];
@@ -9134,9 +9953,12 @@ export declare function overrideToEquivalence<S extends Top>(toEquivalence: () =
  */
 export declare function toEquivalence<T>(schema: Schema<T>): Equivalence.Equivalence<T>;
 /**
- * Derives an intermediate `SchemaRepresentation.Document` from a schema. This
- * document is used internally by {@link toJsonSchemaDocument} and related
- * functions to produce JSON Schema output.
+ * Derives an intermediate `SchemaRepresentation.Document` from the encoded
+ * side of a schema.
+ *
+ * **Details**
+ *
+ * Use {@link toType} before this function to represent the type side instead.
  *
  * @category Representation
  * @since 4.0.0
@@ -9222,14 +10044,16 @@ export interface ToJsonSchemaOptions {
  *
  * The `options` parameter controls generation details such as additional
  * properties and synthesized check descriptions; it does not change the draft
- * target.
+ * target. Declarations are lowered through their `toCodecJson` or `toCodec`
+ * annotation when available before the representation document is compiled.
  *
  * **Gotchas**
  *
  * JSON Schema generation is best-effort. Some Effect schema semantics cannot
  * be represented exactly in JSON Schema, and importing an emitted JSON Schema
  * may produce an equivalent approximation rather than the original schema
- * shape.
+ * shape. Opaque declarations without a structural codec are represented by an
+ * unconstrained JSON Schema.
  *
  * @category converting
  * @since 4.0.0
@@ -9255,6 +10079,14 @@ export interface toCodecJson<S extends Constraint> extends BottomLazy<S["ast"],
  * Derives a canonical JSON codec from a schema. The encoded form is `Json`, and
  * decoding produces the schema's `Type`.
  *
+ * **Gotchas**
+ *
+ * Declarations without a `toCodecJson` or `toCodec` annotation use `Json` as
+ * their encoded schema. This keeps codec construction total, but encoding or
+ * decoding can still fail when declaration values are not JSON values. A
+ * `toCodecJson` callback can return `undefined` when the declaration is already
+ * in canonical JSON form.
+ *
  * @category Canonical Codecs
  * @since 4.0.0
  */
@@ -9295,10 +10127,11 @@ export interface toCodecStringTree<S extends Constraint> extends BottomLazy<S["a
  * Converts a schema to the StringTree canonical codec, where every leaf value
  * becomes a string while preserving the original structure.
  *
- * **Details**
+ * **Gotchas**
  *
- * Declarations are converted to `undefined` (unless they have a
- * `toCodecJson` or `toCodec` annotation).
+ * Declarations must provide a structural `toCodecStringTree`, `toCodecJson`, or
+ * `toCodec` encoding. A callback can return `undefined` when the declaration is
+ * already in canonical StringTree form.
  *
  * @category Canonical Codecs
  * @since 4.0.0
@@ -9363,6 +10196,162 @@ type XmlEncoderOptions = {
  * @since 4.0.0
  */
 export declare function toEncoderXml<T, RE>(codec: ConstraintCodec<T, unknown, unknown, RE>, options?: XmlEncoderOptions): (t: T) => Effect.Effect<string, SchemaError, RE>;
+/**
+ * Reviver for persisted `isGreaterThanDate` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isGreaterThanDate}.
+ *
+ * @see {@link isGreaterThanDate} for creating the corresponding check
+ *
+ * @category Date checks
+ * @since 4.0.0
+ */
+export declare const isGreaterThanDateReviver: SchemaRepresentation.FilterReviver<{
+    readonly exclusiveMinimum: globalThis.Date;
+}>;
+/**
+ * Reviver for persisted `isGreaterThanOrEqualToDate` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isGreaterThanOrEqualToDate}.
+ *
+ * @see {@link isGreaterThanOrEqualToDate} for creating the corresponding check
+ *
+ * @category Date checks
+ * @since 4.0.0
+ */
+export declare const isGreaterThanOrEqualToDateReviver: SchemaRepresentation.FilterReviver<{
+    readonly minimum: globalThis.Date;
+}>;
+/**
+ * Reviver for persisted `isLessThanDate` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isLessThanDate}.
+ *
+ * @see {@link isLessThanDate} for creating the corresponding check
+ *
+ * @category Date checks
+ * @since 4.0.0
+ */
+export declare const isLessThanDateReviver: SchemaRepresentation.FilterReviver<{
+    readonly exclusiveMaximum: globalThis.Date;
+}>;
+/**
+ * Reviver for persisted `isLessThanOrEqualToDate` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isLessThanOrEqualToDate}.
+ *
+ * @see {@link isLessThanOrEqualToDate} for creating the corresponding check
+ *
+ * @category Date checks
+ * @since 4.0.0
+ */
+export declare const isLessThanOrEqualToDateReviver: SchemaRepresentation.FilterReviver<{
+    readonly maximum: globalThis.Date;
+}>;
+/**
+ * Reviver for persisted `isBetweenDate` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isBetweenDate}.
+ *
+ * @see {@link isBetweenDate} for creating the corresponding check
+ *
+ * @category Date checks
+ * @since 4.0.0
+ */
+export declare const isBetweenDateReviver: SchemaRepresentation.FilterReviver<{
+    readonly minimum: globalThis.Date;
+    readonly maximum: globalThis.Date;
+    readonly exclusiveMinimum?: true | undefined;
+    readonly exclusiveMaximum?: true | undefined;
+}>;
+/**
+ * Reviver for persisted `isGreaterThanBigInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isGreaterThanBigInt}.
+ *
+ * @see {@link isGreaterThanBigInt} for creating the corresponding check
+ *
+ * @category BigInt checks
+ * @since 4.0.0
+ */
+export declare const isGreaterThanBigIntReviver: SchemaRepresentation.FilterReviver<{
+    readonly exclusiveMinimum: bigint;
+}>;
+/**
+ * Reviver for persisted `isGreaterThanOrEqualToBigInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isGreaterThanOrEqualToBigInt}.
+ *
+ * @see {@link isGreaterThanOrEqualToBigInt} for creating the corresponding check
+ *
+ * @category BigInt checks
+ * @since 4.0.0
+ */
+export declare const isGreaterThanOrEqualToBigIntReviver: SchemaRepresentation.FilterReviver<{
+    readonly minimum: bigint;
+}>;
+/**
+ * Reviver for persisted `isLessThanBigInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isLessThanBigInt}.
+ *
+ * @see {@link isLessThanBigInt} for creating the corresponding check
+ *
+ * @category BigInt checks
+ * @since 4.0.0
+ */
+export declare const isLessThanBigIntReviver: SchemaRepresentation.FilterReviver<{
+    readonly exclusiveMaximum: bigint;
+}>;
+/**
+ * Reviver for persisted `isLessThanOrEqualToBigInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isLessThanOrEqualToBigInt}.
+ *
+ * @see {@link isLessThanOrEqualToBigInt} for creating the corresponding check
+ *
+ * @category BigInt checks
+ * @since 4.0.0
+ */
+export declare const isLessThanOrEqualToBigIntReviver: SchemaRepresentation.FilterReviver<{
+    readonly maximum: bigint;
+}>;
+/**
+ * Reviver for persisted `isBetweenBigInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link isBetweenBigInt}.
+ *
+ * @see {@link isBetweenBigInt} for creating the corresponding check
+ *
+ * @category BigInt checks
+ * @since 4.0.0
+ */
+export declare const isBetweenBigIntReviver: SchemaRepresentation.FilterReviver<{
+    readonly minimum: bigint;
+    readonly maximum: bigint;
+    readonly exclusiveMinimum?: true | undefined;
+    readonly exclusiveMaximum?: true | undefined;
+}>;
 /**
  * Derives an `Iso` optic from a schema that isomorphically converts between
  * the schema's `Type` and its `Iso` (intermediate / serialized form).
@@ -9501,6 +10490,19 @@ export interface JsonObject {
  * @since 4.0.0
  */
 export declare const Json: Codec<Json>;
+/**
+ * Reviver for persisted `Json` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Json} schema.
+ *
+ * @see {@link Json} for the corresponding immutable JSON schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const JsonReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Recursive TypeScript type for mutable JSON values: `null`, `number`,
  * `boolean`, `string`, mutable arrays, or mutable string-keyed records.
@@ -9534,6 +10536,19 @@ export interface MutableJsonObject {
  * @since 4.0.0
  */
 export declare const MutableJson: Codec<MutableJson>;
+/**
+ * Reviver for persisted `MutableJson` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link MutableJson} schema.
+ *
+ * @see {@link MutableJson} for the corresponding mutable JSON schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const MutableJsonReviver: SchemaRepresentation.DeclarationReviver<null>;
 /**
  * Resolves the typed annotations from a schema. The term "resolve" (rather
  * than "get") reflects the lookup strategy: if the schema has checks, the
@@ -9640,6 +10655,7 @@ export declare namespace Annotations {
         readonly format?: string | undefined;
         readonly contentEncoding?: string | undefined;
         readonly contentMediaType?: string | undefined;
+        readonly contentSchema?: Json | undefined;
     }
     /**
      * Extends {@link Augment} with type-parametric `default` and `examples` fields.
@@ -9707,10 +10723,6 @@ export declare namespace Annotations {
          */
         readonly identifier?: string | undefined;
         readonly parseOptions?: SchemaAST.ParseOptions | undefined;
-        /**
-         * Optional metadata used to identify or extend the filter with custom data.
-         */
-        readonly meta?: Meta | undefined;
         /**
          * Accumulated brands when multiple brands are added with `Schema.brand`.
          */
@@ -9755,22 +10767,23 @@ export declare namespace Annotations {
      * @since 4.0.0
      */
     interface Declaration<T, TypeParameters extends ReadonlyArray<Constraint> = readonly []> extends Bottom<T, TypeParameters> {
+        readonly representation?: SchemaRepresentation.RepresentationAnnotation | undefined;
         readonly toCodec?: ((typeParameters: TypeParameters.Encoded<TypeParameters>) => SchemaAST.Link) | undefined;
-        readonly toCodecJson?: ((typeParameters: TypeParameters.Encoded<TypeParameters>) => SchemaAST.Link) | undefined;
+        readonly toCodecJson?: ((typeParameters: TypeParameters.Encoded<TypeParameters>) => SchemaAST.Link | undefined) | undefined;
+        readonly toCodecStringTree?: ((typeParameters: TypeParameters.Encoded<TypeParameters>) => SchemaAST.Link | undefined) | undefined;
         readonly toCodecIso?: ((typeParameters: TypeParameters.Type<TypeParameters>) => SchemaAST.Link) | undefined;
         readonly toArbitrary?: ToArbitrary.Declaration<T, TypeParameters> | undefined;
         readonly toEquivalence?: ToEquivalence.Declaration<T, TypeParameters> | undefined;
         readonly toFormatter?: ToFormatter.Declaration<T, TypeParameters> | undefined;
-        readonly typeConstructor?: {
-            readonly _tag: string;
-            readonly [key: string]: unknown;
-        } | undefined;
-        readonly generation?: {
-            readonly runtime: string;
-            readonly Type: string;
-            readonly Encoded?: string | undefined;
-            readonly importDeclaration?: string | undefined;
-        } | undefined;
+        readonly toCode?: SchemaRepresentation.Generation.Declaration | undefined;
+        /**
+         * Used to collect sentinels from a Declaration SchemaAST.
+         *
+         * **Details**
+         *
+         * Reserved to internal use only.
+         */
+        readonly "~sentinels"?: ReadonlyArray<SchemaAST.Sentinel> | undefined;
     }
     /**
      * Annotations for filter schema nodes (created via `Schema.filter`). Extends
@@ -9781,6 +10794,9 @@ export declare namespace Annotations {
      * @since 4.0.0
      */
     interface Filter extends Augment {
+        readonly representation?: SchemaRepresentation.CheckRepresentationAnnotation<SchemaAST.AST> | undefined;
+        readonly toJsonSchema?: SchemaRepresentation.ToJsonSchema.Check | undefined;
+        readonly toCode?: SchemaRepresentation.Generation.Check | undefined;
         /**
          * Complete message to use when this filter or refinement fails.
          *
@@ -9801,10 +10817,6 @@ export declare namespace Annotations {
          * `message`.
          */
         readonly identifier?: string | undefined;
-        /**
-         * Optional metadata used to identify or extend the filter with custom data.
-         */
-        readonly meta?: Meta | undefined;
         /**
          * Optional hints used by arbitrary derivation for this filter.
          *
@@ -9822,6 +10834,8 @@ export declare namespace Annotations {
          *
          * **Details**
          *
+         * Reserved to internal use only.
+         *
          * Example: `minLength` on an array is a structural filter.
          */
         readonly "~structural"?: boolean | undefined;
@@ -9904,7 +10918,7 @@ export declare namespace Annotations {
          * length for strings, array length for arrays, final own-property count for
          * objects, and final size/cardinality for sets, maps, hash collections, and
          * chunks. `patterns` are concatenated and used by string generators.
-         * `integer`, `noNaN`, `noInfinity`, `valid`, and `unique` are true when any
+         * `integer`, `noNaN`, `noInfinity`, and `unique` are true when any
          * contributing filter sets them. Range bounds live in `ordered` so ordered
          * values can share the same representation.
          *
@@ -9918,7 +10932,6 @@ export declare namespace Annotations {
             readonly integer?: boolean | undefined;
             readonly noInfinity?: boolean | undefined;
             readonly noNaN?: boolean | undefined;
-            readonly valid?: boolean | undefined;
             readonly unique?: boolean | undefined;
             readonly ordered?: OrderedConstraint<any> | undefined;
         }
@@ -10127,245 +11140,5 @@ export declare namespace Annotations {
     interface Issue extends Annotations {
         readonly message?: string | undefined;
     }
-    /**
-     * Registry of metadata payloads emitted by built-in schema filters and checks.
-     *
-     * **Details**
-     *
-     * Do not augment this interface with custom metadata; extend `MetaDefinitions`
-     * instead.
-     *
-     * @category models
-     * @since 4.0.0
-     */
-    interface BuiltInMetaDefinitions {
-        readonly isStringFinite: {
-            readonly _tag: "isStringFinite";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isStringBigInt: {
-            readonly _tag: "isStringBigInt";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isStringSymbol: {
-            readonly _tag: "isStringSymbol";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isMinLength: {
-            readonly _tag: "isMinLength";
-            readonly minLength: number;
-        };
-        readonly isMaxLength: {
-            readonly _tag: "isMaxLength";
-            readonly maxLength: number;
-        };
-        readonly isLengthBetween: {
-            readonly _tag: "isLengthBetween";
-            readonly minimum: number;
-            readonly maximum: number;
-        };
-        readonly isPattern: {
-            readonly _tag: "isPattern";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isTrimmed: {
-            readonly _tag: "isTrimmed";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isUUID: {
-            readonly _tag: "isUUID";
-            readonly regExp: globalThis.RegExp;
-            readonly version: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | undefined;
-        };
-        readonly isGUID: {
-            readonly _tag: "isGUID";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isULID: {
-            readonly _tag: "isULID";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isBase64: {
-            readonly _tag: "isBase64";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isBase64Url: {
-            readonly _tag: "isBase64Url";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isStartsWith: {
-            readonly _tag: "isStartsWith";
-            readonly startsWith: string;
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isEndsWith: {
-            readonly _tag: "isEndsWith";
-            readonly endsWith: string;
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isIncludes: {
-            readonly _tag: "isIncludes";
-            readonly includes: string;
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isUppercased: {
-            readonly _tag: "isUppercased";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isLowercased: {
-            readonly _tag: "isLowercased";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isCapitalized: {
-            readonly _tag: "isCapitalized";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isUncapitalized: {
-            readonly _tag: "isUncapitalized";
-            readonly regExp: globalThis.RegExp;
-        };
-        readonly isFinite: {
-            readonly _tag: "isFinite";
-        };
-        readonly isInt: {
-            readonly _tag: "isInt";
-        };
-        readonly isMultipleOf: {
-            readonly _tag: "isMultipleOf";
-            readonly divisor: number;
-        };
-        readonly isGreaterThan: {
-            readonly _tag: "isGreaterThan";
-            readonly exclusiveMinimum: number;
-        };
-        readonly isGreaterThanOrEqualTo: {
-            readonly _tag: "isGreaterThanOrEqualTo";
-            readonly minimum: number;
-        };
-        readonly isLessThan: {
-            readonly _tag: "isLessThan";
-            readonly exclusiveMaximum: number;
-        };
-        readonly isLessThanOrEqualTo: {
-            readonly _tag: "isLessThanOrEqualTo";
-            readonly maximum: number;
-        };
-        readonly isBetween: {
-            readonly _tag: "isBetween";
-            readonly minimum: number;
-            readonly maximum: number;
-            readonly exclusiveMinimum?: boolean | undefined;
-            readonly exclusiveMaximum?: boolean | undefined;
-        };
-        readonly isGreaterThanBigInt: {
-            readonly _tag: "isGreaterThanBigInt";
-            readonly exclusiveMinimum: bigint;
-        };
-        readonly isGreaterThanOrEqualToBigInt: {
-            readonly _tag: "isGreaterThanOrEqualToBigInt";
-            readonly minimum: bigint;
-        };
-        readonly isLessThanBigInt: {
-            readonly _tag: "isLessThanBigInt";
-            readonly exclusiveMaximum: bigint;
-        };
-        readonly isLessThanOrEqualToBigInt: {
-            readonly _tag: "isLessThanOrEqualToBigInt";
-            readonly maximum: bigint;
-        };
-        readonly isBetweenBigInt: {
-            readonly _tag: "isBetweenBigInt";
-            readonly minimum: bigint;
-            readonly maximum: bigint;
-            readonly exclusiveMinimum?: boolean | undefined;
-            readonly exclusiveMaximum?: boolean | undefined;
-        };
-        readonly isDateValid: {
-            readonly _tag: "isDateValid";
-        };
-        readonly isGreaterThanDate: {
-            readonly _tag: "isGreaterThanDate";
-            readonly exclusiveMinimum: globalThis.Date;
-        };
-        readonly isGreaterThanOrEqualToDate: {
-            readonly _tag: "isGreaterThanOrEqualToDate";
-            readonly minimum: globalThis.Date;
-        };
-        readonly isLessThanDate: {
-            readonly _tag: "isLessThanDate";
-            readonly exclusiveMaximum: globalThis.Date;
-        };
-        readonly isLessThanOrEqualToDate: {
-            readonly _tag: "isLessThanOrEqualToDate";
-            readonly maximum: globalThis.Date;
-        };
-        readonly isBetweenDate: {
-            readonly _tag: "isBetweenDate";
-            readonly minimum: globalThis.Date;
-            readonly maximum: globalThis.Date;
-            readonly exclusiveMinimum?: boolean | undefined;
-            readonly exclusiveMaximum?: boolean | undefined;
-        };
-        readonly isMinProperties: {
-            readonly _tag: "isMinProperties";
-            readonly minProperties: number;
-        };
-        readonly isMaxProperties: {
-            readonly _tag: "isMaxProperties";
-            readonly maxProperties: number;
-        };
-        readonly isPropertiesLengthBetween: {
-            readonly _tag: "isPropertiesLengthBetween";
-            readonly minimum: number;
-            readonly maximum: number;
-        };
-        readonly isPropertyNames: {
-            readonly _tag: "isPropertyNames";
-            readonly propertyNames: SchemaAST.AST;
-        };
-        readonly isUnique: {
-            readonly _tag: "isUnique";
-        };
-        readonly isMinSize: {
-            readonly _tag: "isMinSize";
-            readonly minSize: number;
-        };
-        readonly isMaxSize: {
-            readonly _tag: "isMaxSize";
-            readonly maxSize: number;
-        };
-        readonly isSizeBetween: {
-            readonly _tag: "isSizeBetween";
-            readonly minimum: number;
-            readonly maximum: number;
-        };
-    }
-    /**
-     * Union of all metadata payloads defined by `BuiltInMetaDefinitions`.
-     *
-     * @category utility types
-     * @since 4.0.0
-     */
-    type BuiltInMeta = BuiltInMetaDefinitions[keyof BuiltInMetaDefinitions];
-    /**
-     * Augmentable registry of schema filter metadata payloads.
-     *
-     * **Details**
-     *
-     * Extend this interface to add custom values accepted by annotation `meta`
-     * fields.
-     *
-     * @category models
-     * @since 4.0.0
-     */
-    interface MetaDefinitions extends BuiltInMetaDefinitions {
-    }
-    /**
-     * Union of built-in and user-augmented schema filter metadata payloads.
-     *
-     * @category utility types
-     * @since 4.0.0
-     */
-    type Meta = MetaDefinitions[keyof MetaDefinitions];
 }
 //# sourceMappingURL=Schema.d.ts.map