effect 4.0.0-rc.112 → 4.0.0-rc.113

package/dist/SchemaRepresentation.d.ts

@@ -42,8 +42,8 @@ export declare namespace ToJsonSchema {
      * **Gotchas**
      *
      * Treat the input schemas as immutable. The returned value must be a valid JSON Schema object graph and must not be
-     * mutated after this function returns. Return a new object graph to produce different output during a later
-     * compilation.
+     * mutated after this function returns. Local `$defs` references must use valid JSON Pointer URI fragments. Return a
+     * new object graph to produce different output during a later compilation.
      *
      * @category models
      * @since 4.0.0
@@ -253,7 +253,12 @@ export interface Literal extends Keyword<"Literal"> {
     readonly literal: SchemaAST.LiteralValue;
 }
 /**
- * A unique global symbol representation.
+ * A unique symbol representation.
+ *
+ * **Details**
+ *
+ * Globally registered symbols have an exact JSON string representation. Local
+ * symbols have no JSON representation.
  *
  * @category models
  * @since 4.0.0
@@ -274,7 +279,7 @@ export interface ObjectKeyword extends Keyword<"ObjectKeyword"> {
  *
  * **Details**
  *
- * Enum members are stored as native string or number values. Persistent
+ * Enum members are stored as native string or finite number values. Persistent
  * codecs add an explicit type discriminator when encoding them.
  *
  * @category models
@@ -364,7 +369,7 @@ export interface Objects extends Keyword<"Objects"> {
  */
 export interface Union extends Keyword<"Union"> {
     readonly types: ReadonlyArray<Representation>;
-    readonly mode: "anyOf" | "oneOf";
+    readonly options?: SchemaAST.UnionOptions | undefined;
 }
 /**
  * The structural schema representation.
@@ -505,21 +510,1094 @@ export type AnyReviver = Reviver<any>;
  * @category constructors
  * @since 4.0.0
  */
-export declare const makeDeclarationReviver: <P>(id: string, payloadSchema: Schema.Decoder<P>, revive: DeclarationReviver<P>["revive"]) => DeclarationReviver<P>;
+export declare const makeReviverDeclaration: <P>(id: string, payloadSchema: Schema.Decoder<P>, revive: DeclarationReviver<P>["revive"]) => DeclarationReviver<P>;
 /**
  * Creates a filter reviver while inferring its payload type from `payloadSchema`.
  *
  * @category constructors
  * @since 4.0.0
  */
-export declare const makeFilterReviver: <P>(id: string, payloadSchema: Schema.Decoder<P>, revive: FilterReviver<P>["revive"]) => FilterReviver<P>;
+export declare const makeReviverFilter: <P>(id: string, payloadSchema: Schema.Decoder<P>, revive: FilterReviver<P>["revive"]) => FilterReviver<P>;
 /**
  * Creates a filter group reviver while inferring its payload type from `payloadSchema`.
  *
  * @category constructors
  * @since 4.0.0
  */
-export declare const makeFilterGroupReviver: <P>(id: string, payloadSchema: Schema.Decoder<P>, revive: FilterGroupReviver<P>["revive"]) => FilterGroupReviver<P>;
+export declare const makeReviverFilterGroup: <P>(id: string, payloadSchema: Schema.Decoder<P>, revive: FilterGroupReviver<P>["revive"]) => FilterGroupReviver<P>;
+type ErrorRepresentationOptions = {
+    readonly includeStack?: true | undefined;
+    readonly excludeCause?: true | undefined;
+};
+type ErrorRepresentationPayload = ErrorRepresentationOptions | null;
+declare const ErrorRepresentationPayload: Schema.Decoder<ErrorRepresentationPayload>;
+type RedactedRepresentationOptions = {
+    readonly label?: string | undefined;
+    readonly disallowJsonEncode?: true | undefined;
+};
+type RedactedRepresentationPayload = RedactedRepresentationOptions | null;
+declare const RedactedRepresentationPayload: Schema.Decoder<RedactedRepresentationPayload>;
+/**
+ * Reviver for persisted `isTrimmed` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isTrimmed}.
+ *
+ * @see {@link Schema.isTrimmed} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isTrimmedReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isPattern` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isPattern}.
+ *
+ * @see {@link Schema.isPattern} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isPatternReviver: FilterReviver<{
+    readonly source: string;
+    readonly flags: string;
+}>;
+/**
+ * Reviver for persisted `isStringFinite` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isStringFinite}.
+ *
+ * @see {@link Schema.isStringFinite} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isStringFiniteReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isStringBigInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isStringBigInt}.
+ *
+ * @see {@link Schema.isStringBigInt} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isStringBigIntReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isStringSymbol` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isStringSymbol}.
+ *
+ * @see {@link Schema.isStringSymbol} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isStringSymbolReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isUUID` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isUUID}.
+ *
+ * @see {@link Schema.isUUID} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isUUIDReviver: FilterReviver<{
+    readonly version: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | null;
+}>;
+/**
+ * Reviver for persisted `isGUID` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isGUID}.
+ *
+ * @see {@link Schema.isGUID} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isGUIDReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isULID` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isULID}.
+ *
+ * @see {@link Schema.isULID} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isULIDReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isBase64` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isBase64}.
+ *
+ * @see {@link Schema.isBase64} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isBase64Reviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isBase64Url` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isBase64Url}.
+ *
+ * @see {@link Schema.isBase64Url} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isBase64UrlReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isStartsWith` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isStartsWith}.
+ *
+ * @see {@link Schema.isStartsWith} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isStartsWithReviver: FilterReviver<{
+    readonly startsWith: string;
+}>;
+/**
+ * Reviver for persisted `isEndsWith` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isEndsWith}.
+ *
+ * @see {@link Schema.isEndsWith} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isEndsWithReviver: FilterReviver<{
+    readonly endsWith: string;
+}>;
+/**
+ * Reviver for persisted `isIncludes` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isIncludes}.
+ *
+ * @see {@link Schema.isIncludes} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isIncludesReviver: FilterReviver<{
+    readonly includes: string;
+}>;
+/**
+ * Reviver for persisted `isUppercased` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isUppercased}.
+ *
+ * @see {@link Schema.isUppercased} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isUppercasedReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isLowercased` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isLowercased}.
+ *
+ * @see {@link Schema.isLowercased} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isLowercasedReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isCapitalized` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isCapitalized}.
+ *
+ * @see {@link Schema.isCapitalized} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isCapitalizedReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isUncapitalized` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isUncapitalized}.
+ *
+ * @see {@link Schema.isUncapitalized} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isUncapitalizedReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isFinite` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isFinite}.
+ *
+ * @see {@link Schema.isFinite} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isFiniteReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isGreaterThan` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isGreaterThan}.
+ *
+ * @see {@link Schema.isGreaterThan} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isGreaterThanReviver: FilterReviver<{
+    readonly exclusiveMinimum: number;
+}>;
+/**
+ * Reviver for persisted `isGreaterThanOrEqualTo` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isGreaterThanOrEqualTo}.
+ *
+ * @see {@link Schema.isGreaterThanOrEqualTo} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isGreaterThanOrEqualToReviver: FilterReviver<{
+    readonly minimum: number;
+}>;
+/**
+ * Reviver for persisted `isLessThan` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isLessThan}.
+ *
+ * @see {@link Schema.isLessThan} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isLessThanReviver: FilterReviver<{
+    readonly exclusiveMaximum: number;
+}>;
+/**
+ * Reviver for persisted `isLessThanOrEqualTo` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isLessThanOrEqualTo}.
+ *
+ * @see {@link Schema.isLessThanOrEqualTo} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isLessThanOrEqualToReviver: FilterReviver<{
+    readonly maximum: number;
+}>;
+/**
+ * Reviver for persisted `isBetween` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isBetween}.
+ *
+ * @see {@link Schema.isBetween} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isBetweenReviver: FilterReviver<{
+    readonly minimum: number;
+    readonly maximum: number;
+    readonly exclusiveMinimum?: true | undefined;
+    readonly exclusiveMaximum?: true | undefined;
+}>;
+/**
+ * Reviver for persisted `isMultipleOf` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isMultipleOf}.
+ *
+ * @see {@link Schema.isMultipleOf} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isMultipleOfReviver: FilterReviver<{
+    readonly divisor: number;
+}>;
+/**
+ * Reviver for persisted `isInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isInt}.
+ *
+ * @see {@link Schema.isInt} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isIntReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isMinLength` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isMinLength}.
+ *
+ * @see {@link Schema.isMinLength} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isMinLengthReviver: FilterReviver<{
+    readonly minLength: number;
+}>;
+/**
+ * Reviver for persisted `isMaxLength` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isMaxLength}.
+ *
+ * @see {@link Schema.isMaxLength} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isMaxLengthReviver: FilterReviver<{
+    readonly maxLength: number;
+}>;
+/**
+ * Reviver for persisted `isLengthBetween` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isLengthBetween}.
+ *
+ * @see {@link Schema.isLengthBetween} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isLengthBetweenReviver: FilterReviver<{
+    readonly minimum: number;
+    readonly maximum: number;
+}>;
+/**
+ * Reviver for persisted `isMinSize` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isMinSize}.
+ *
+ * @see {@link Schema.isMinSize} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isMinSizeReviver: FilterReviver<{
+    readonly minSize: number;
+}>;
+/**
+ * Reviver for persisted `isMaxSize` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isMaxSize}.
+ *
+ * @see {@link Schema.isMaxSize} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isMaxSizeReviver: FilterReviver<{
+    readonly maxSize: number;
+}>;
+/**
+ * Reviver for persisted `isSizeBetween` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isSizeBetween}.
+ *
+ * @see {@link Schema.isSizeBetween} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isSizeBetweenReviver: FilterReviver<{
+    readonly minimum: number;
+    readonly maximum: number;
+}>;
+/**
+ * Reviver for persisted `isMinProperties` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isMinProperties}.
+ *
+ * @see {@link Schema.isMinProperties} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isMinPropertiesReviver: FilterReviver<{
+    readonly minProperties: number;
+}>;
+/**
+ * Reviver for persisted `isMaxProperties` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isMaxProperties}.
+ *
+ * @see {@link Schema.isMaxProperties} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isMaxPropertiesReviver: FilterReviver<{
+    readonly maxProperties: number;
+}>;
+/**
+ * Reviver for persisted `isPropertiesLengthBetween` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isPropertiesLengthBetween}.
+ *
+ * @see {@link Schema.isPropertiesLengthBetween} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isPropertiesLengthBetweenReviver: FilterReviver<{
+    readonly minimum: number;
+    readonly maximum: number;
+}>;
+/**
+ * Reviver for persisted `isPropertyNames` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isPropertyNames}.
+ *
+ * @see {@link Schema.isPropertyNames} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isPropertyNamesReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isUnique` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isUnique}.
+ *
+ * @see {@link Schema.isUnique} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isUniqueReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `isUniqueKey` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isUniqueKey}.
+ *
+ * @see {@link Schema.isUniqueKey} for creating the corresponding check
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isUniqueKeyReviver: FilterReviver<null>;
+/**
+ * Reviver for persisted `Option` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Schema.Option}.
+ *
+ * @see {@link Schema.Option} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const OptionReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.Result} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Schema.Result}.
+ *
+ * @see {@link Schema.Result} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const ResultReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.Redacted} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Schema.Redacted}.
+ *
+ * @see {@link Schema.Redacted} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const RedactedReviver: DeclarationReviver<RedactedRepresentationPayload>;
+/**
+ * Reviver for persisted `CauseReason` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Schema.CauseReason}.
+ *
+ * @see {@link Schema.CauseReason} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const CauseReasonReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted `Cause` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Schema.Cause}.
+ *
+ * @see {@link Schema.Cause} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const CauseReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.ErrorInstance} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Schema.ErrorInstance}.
+ *
+ * @see {@link Schema.ErrorInstance} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const ErrorInstanceReviver: DeclarationReviver<ErrorRepresentationPayload>;
+/**
+ * Reviver for persisted `Exit` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Schema.Exit}.
+ *
+ * @see {@link Schema.Exit} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const ExitReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.ReadonlyMap} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Schema.ReadonlyMap}.
+ *
+ * @see {@link Schema.ReadonlyMap} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const ReadonlyMapReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.Graph} declarations.
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const GraphReviver: DeclarationReviver<"directed" | "undirected">;
+/**
+ * Reviver for persisted `HashMap` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Schema.HashMap}.
+ *
+ * @see {@link Schema.HashMap} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const HashMapReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.ReadonlySet} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Schema.ReadonlySet}.
+ *
+ * @see {@link Schema.ReadonlySet} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const ReadonlySetReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted `HashSet` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Schema.HashSet}.
+ *
+ * @see {@link Schema.HashSet} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const HashSetReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.Chunk} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain schemas created by {@link Schema.Chunk}.
+ *
+ * @see {@link Schema.Chunk} for creating the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const ChunkReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted `RegExp` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.RegExp} schema.
+ *
+ * @see {@link Schema.RegExp} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const RegExpReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted `URL` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.URL} schema.
+ *
+ * @see {@link Schema.URL} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const URLReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted `Date` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.Date} schema.
+ *
+ * @see {@link Schema.Date} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DateReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.Duration} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.Duration} schema.
+ *
+ * @see {@link Schema.Duration} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DurationReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.ByteSize} declarations.
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const ByteSizeReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.BigDecimal} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.BigDecimal} schema.
+ *
+ * @see {@link Schema.BigDecimal} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const BigDecimalReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted `File` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.File} schema.
+ *
+ * @see {@link Schema.File} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const FileReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted `FormData` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.FormData} schema.
+ *
+ * @see {@link Schema.FormData} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const FormDataReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted `URLSearchParams` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.URLSearchParams} schema.
+ *
+ * @see {@link Schema.URLSearchParams} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const URLSearchParamsReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted `Uint8Array` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.Uint8Array} schema.
+ *
+ * @see {@link Schema.Uint8Array} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const Uint8ArrayReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.DateTimeUtc} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.DateTimeUtc} schema.
+ *
+ * @see {@link Schema.DateTimeUtc} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DateTimeUtcReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.TimeZoneOffset} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.TimeZoneOffset} schema.
+ *
+ * @see {@link Schema.TimeZoneOffset} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const TimeZoneOffsetReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.TimeZoneNamed} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.TimeZoneNamed} schema.
+ *
+ * @see {@link Schema.TimeZoneNamed} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const TimeZoneNamedReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.TimeZone} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.TimeZone} schema.
+ *
+ * @see {@link Schema.TimeZone} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const TimeZoneReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted {@link Schema.DateTimeZoned} declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.DateTimeZoned} schema.
+ *
+ * @see {@link Schema.DateTimeZoned} for the corresponding schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DateTimeZonedReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted `isGreaterThanDate` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isGreaterThanDate}.
+ *
+ * @see {@link Schema.isGreaterThanDate} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isGreaterThanDateReviver: FilterReviver<{
+    readonly exclusiveMinimum: globalThis.Date;
+}>;
+/**
+ * Reviver for persisted `isGreaterThanOrEqualToDate` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isGreaterThanOrEqualToDate}.
+ *
+ * @see {@link Schema.isGreaterThanOrEqualToDate} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isGreaterThanOrEqualToDateReviver: FilterReviver<{
+    readonly minimum: globalThis.Date;
+}>;
+/**
+ * Reviver for persisted `isLessThanDate` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isLessThanDate}.
+ *
+ * @see {@link Schema.isLessThanDate} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isLessThanDateReviver: FilterReviver<{
+    readonly exclusiveMaximum: globalThis.Date;
+}>;
+/**
+ * Reviver for persisted `isLessThanOrEqualToDate` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isLessThanOrEqualToDate}.
+ *
+ * @see {@link Schema.isLessThanOrEqualToDate} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isLessThanOrEqualToDateReviver: FilterReviver<{
+    readonly maximum: globalThis.Date;
+}>;
+/**
+ * Reviver for persisted `isBetweenDate` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isBetweenDate}.
+ *
+ * @see {@link Schema.isBetweenDate} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isBetweenDateReviver: 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 Schema.isGreaterThanBigInt}.
+ *
+ * @see {@link Schema.isGreaterThanBigInt} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isGreaterThanBigIntReviver: FilterReviver<{
+    readonly exclusiveMinimum: bigint;
+}>;
+/**
+ * Reviver for persisted `isGreaterThanOrEqualToBigInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isGreaterThanOrEqualToBigInt}.
+ *
+ * @see {@link Schema.isGreaterThanOrEqualToBigInt} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isGreaterThanOrEqualToBigIntReviver: FilterReviver<{
+    readonly minimum: bigint;
+}>;
+/**
+ * Reviver for persisted `isLessThanBigInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isLessThanBigInt}.
+ *
+ * @see {@link Schema.isLessThanBigInt} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isLessThanBigIntReviver: FilterReviver<{
+    readonly exclusiveMaximum: bigint;
+}>;
+/**
+ * Reviver for persisted `isLessThanOrEqualToBigInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isLessThanOrEqualToBigInt}.
+ *
+ * @see {@link Schema.isLessThanOrEqualToBigInt} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isLessThanOrEqualToBigIntReviver: FilterReviver<{
+    readonly maximum: bigint;
+}>;
+/**
+ * Reviver for persisted `isBetweenBigInt` checks.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain checks created by {@link Schema.isBetweenBigInt}.
+ *
+ * @see {@link Schema.isBetweenBigInt} for creating the corresponding check
+ *
+ * @category validation
+ * @since 4.0.0
+ */
+export declare const isBetweenBigIntReviver: FilterReviver<{
+    readonly minimum: bigint;
+    readonly maximum: bigint;
+    readonly exclusiveMinimum?: true | undefined;
+    readonly exclusiveMaximum?: true | undefined;
+}>;
+/**
+ * Reviver for persisted `Json` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.Json} schema.
+ *
+ * @see {@link Schema.Json} for the corresponding immutable JSON schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const JsonReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted `MutableJson` declarations.
+ *
+ * **When to use**
+ *
+ * Use when reconstructing documents that may contain the {@link Schema.MutableJson} schema.
+ *
+ * @see {@link Schema.MutableJson} for the corresponding mutable JSON schema
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const MutableJsonReviver: DeclarationReviver<null>;
 /**
  * Options for importing JSON Schema Draft 2020-12 documents.
  *
@@ -728,21 +1806,24 @@ export declare function toMultiDocument(document: Document): MultiDocument;
  *
  * **Details**
  *
- * For representation documents whose validation semantics can be expressed exactly in JSON Schema, importing the
- * emitted document with {@link fromJsonSchemaDocument} reconstructs a schema that accepts the same JSON values. This
- * is a semantic round-trip guarantee; the emitted document and reconstructed representation may have different shapes.
+ * The generated document is intended for preliminary validation. JSON Schema
+ * and Effect checks do not always have identical semantics, so the Effect
+ * decoder remains the final authority. Passing JSON Schema validation does not
+ * guarantee that Effect decoding will succeed.
  *
  * **Gotchas**
  *
  * - Reference allocation is already fixed in the input `Document`. The inherited `referencePolicy` option has no effect
  *   here; pass it to {@link toRepresentation} when creating the document.
- * - Opaque declarations are represented by an unconstrained JSON Schema and are outside the exact round-trip subset.
+ * - String length, RegExp flags, decoded-object property checks, and `oneOf` can differ from Effect validation.
+ * - Opaque declarations are represented by an unconstrained JSON Schema.
  * - Check callback results are used directly, and exceptions raised by a callback pass through unchanged. Callbacks
  *   must treat their input schemas as immutable. Each returned value must be a valid JSON Schema object graph and must
- *   not be mutated after the callback returns.
+ *   not be mutated after the callback returns. The callback author is responsible for the emitted semantics.
  * - Local definition references returned by callbacks are resolved together with compiler-generated references.
- * - Effect decoding may discard excess object properties by default. Use `onExcessProperty: "error"` when comparing
- *   validation semantics with the emitted JSON Schema.
+ *   Invalid JSON Pointer URI fragments throw an `Error`.
+ * - The default `onExcessProperty: "ignore"` matches the decoder default. Use `onExcessProperty: "error"` in both
+ *   places when a closed object contract is required.
  *
  * @see {@link toJsonSchemaMultiDocument} for multiple roots sharing definitions
  *
@@ -764,7 +1845,9 @@ export declare function toJsonSchemaDocument(document: Document, options?: Schem
  * - Every definition is compiled, including definitions that are not reachable from a root. Check callbacks must treat
  *   their input schemas as immutable. Each returned value must be a valid JSON Schema object graph and must not be
  *   mutated after the callback returns. Local definition references returned by callbacks are resolved together with
- *   compiler-generated references.
+ *   compiler-generated references. Invalid JSON Pointer URI fragments throw an `Error`.
+ * - String length, RegExp flags, decoded-object property checks, `oneOf`, and custom check callbacks can differ from
+ *   Effect validation, as described by {@link toJsonSchemaDocument}.
  *
  * @see {@link toJsonSchemaDocument} for a single root
  *