effect 4.0.0-rc.111 → 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,273 +253,1351 @@ 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
+ */
+export interface UniqueSymbol extends Keyword<"UniqueSymbol"> {
+    readonly symbol: symbol;
+}
+/**
+ * The object keyword representation.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface ObjectKeyword extends Keyword<"ObjectKeyword"> {
+}
+/**
+ * An enum representation.
+ *
+ * **Details**
+ *
+ * Enum members are stored as native string or finite number values. Persistent
+ * codecs add an explicit type discriminator when encoding them.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface Enum extends Keyword<"Enum"> {
+    readonly enums: ReadonlyArray<readonly [string, string | number]>;
+}
+/**
+ * A template literal representation.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface TemplateLiteral extends Keyword<"TemplateLiteral"> {
+    readonly parts: ReadonlyArray<Representation>;
+}
+/**
+ * A tuple element.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface Element {
+    readonly isOptional: boolean;
+    readonly type: Representation;
+    readonly annotations?: Schema.Annotations.Annotations | undefined;
+}
+/**
+ * An array or tuple representation.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface Arrays extends Keyword<"Arrays"> {
+    readonly elements: ReadonlyArray<Element>;
+    readonly rest: ReadonlyArray<Representation>;
+}
+/**
+ * A property signature.
+ *
+ * **Details**
+ *
+ * The live representation stores the native property key. Persistent codecs
+ * add an explicit type discriminator when encoding it.
+ *
+ * **Gotchas**
+ *
+ * Local symbols can be represented while the schema is live, but persistent
+ * codecs reject them because they cannot be reconstructed by identity.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface PropertySignature {
+    readonly name: PropertyKey;
+    readonly type: Representation;
+    readonly isOptional: boolean;
+    readonly isMutable: boolean;
+    readonly annotations?: Schema.Annotations.Annotations | undefined;
+}
+/**
+ * An index signature.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface IndexSignature {
+    readonly parameter: Representation;
+    readonly type: Representation;
+}
+/**
+ * An object representation.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface Objects extends Keyword<"Objects"> {
+    readonly propertySignatures: ReadonlyArray<PropertySignature>;
+    readonly indexSignatures: ReadonlyArray<IndexSignature>;
+}
+/**
+ * A union representation.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface Union extends Keyword<"Union"> {
+    readonly types: ReadonlyArray<Representation>;
+    readonly options?: SchemaAST.UnionOptions | undefined;
+}
+/**
+ * The structural schema representation.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type Representation = Declaration | Reference | Suspend | Null | Undefined | Void | Never | Unknown | Any | String | Number | Boolean | BigInt | Symbol | Literal | UniqueSymbol | ObjectKeyword | Enum | TemplateLiteral | Arrays | Objects | Union;
+/**
+ * A structural check.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type Check = Filter | FilterGroup;
+/**
+ * An opaque leaf check.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface Filter {
+    readonly _tag: "Filter";
+    readonly representation?: CheckRepresentationAnnotation<Representation> | undefined;
+    readonly annotations?: Schema.Annotations.Annotations | undefined;
+    readonly aborted: boolean;
+}
+/**
+ * A non-empty group of checks.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface FilterGroup {
+    readonly _tag: "FilterGroup";
+    readonly representation?: CheckRepresentationAnnotation<Representation> | undefined;
+    readonly annotations?: Schema.Annotations.Annotations | undefined;
+    readonly checks: readonly [Check, ...Array<Check>];
+}
+/**
+ * Named representation definitions.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface References {
+    readonly [$ref: string]: Representation;
+}
+/**
+ * A single representation and its definitions.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface Document {
+    readonly representation: Representation;
+    readonly references: References;
+}
+/**
+ * Multiple representations sharing definitions.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface MultiDocument {
+    readonly representations: readonly [Representation, ...Array<Representation>];
+    readonly references: References;
+}
+/**
+ * Reviver for a declaration.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface DeclarationReviver<P> {
+    readonly id: string;
+    readonly payloadSchema: Schema.Decoder<P>;
+    readonly revive: (input: {
+        readonly payload: P;
+        readonly typeParameters: ReadonlyArray<Schema.Top>;
+        readonly annotations: Schema.Annotations.Annotations | undefined;
+    }) => Schema.Top;
+}
+/**
+ * Reviver for a leaf check.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface FilterReviver<P> {
+    readonly id: string;
+    readonly payloadSchema: Schema.Decoder<P>;
+    readonly revive: (input: {
+        readonly payload: P;
+        readonly schemas: ReadonlyArray<Schema.Top>;
+        readonly annotations: Schema.Annotations.Filter | undefined;
+    }) => SchemaAST.Filter<any>;
+}
+/**
+ * Reviver for a check group.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface FilterGroupReviver<P> {
+    readonly id: string;
+    readonly payloadSchema: Schema.Decoder<P>;
+    readonly revive: (input: {
+        readonly payload: P;
+        readonly schemas: ReadonlyArray<Schema.Top>;
+        readonly annotations: Schema.Annotations.Filter | undefined;
+    }) => SchemaAST.FilterGroup<any>;
+}
+/**
+ * A check reviver.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type CheckReviver<P> = FilterReviver<P> | FilterGroupReviver<P>;
+/**
+ * A typed reviver.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type Reviver<P> = DeclarationReviver<P> | CheckReviver<P>;
+/**
+ * A reviver erased only at collection boundaries.
  *
  * @category models
  * @since 4.0.0
  */
-export interface UniqueSymbol extends Keyword<"UniqueSymbol"> {
-    readonly symbol: symbol;
-}
+export type AnyReviver = Reviver<any>;
+/**
+ * Creates a declaration reviver while inferring its payload type from `payloadSchema`.
+ *
+ * @category constructors
+ * @since 4.0.0
+ */
+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 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 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>;
 /**
- * The object keyword representation.
+ * Reviver for persisted `URL` declarations.
  *
- * @category models
+ * **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 interface ObjectKeyword extends Keyword<"ObjectKeyword"> {
-}
+export declare const URLReviver: DeclarationReviver<null>;
 /**
- * An enum representation.
+ * Reviver for persisted `Date` declarations.
  *
- * **Details**
+ * **When to use**
  *
- * Enum members are stored as native string or number values. Persistent
- * codecs add an explicit type discriminator when encoding them.
+ * Use when reconstructing documents that may contain the {@link Schema.Date} schema.
  *
- * @category models
+ * @see {@link Schema.Date} for the corresponding schema
+ *
+ * @category schemas
  * @since 4.0.0
  */
-export interface Enum extends Keyword<"Enum"> {
-    readonly enums: ReadonlyArray<readonly [string, string | number]>;
-}
+export declare const DateReviver: DeclarationReviver<null>;
 /**
- * A template literal representation.
+ * Reviver for persisted {@link Schema.Duration} declarations.
  *
- * @category models
+ * **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 interface TemplateLiteral extends Keyword<"TemplateLiteral"> {
-    readonly parts: ReadonlyArray<Representation>;
-}
+export declare const DurationReviver: DeclarationReviver<null>;
 /**
- * A tuple element.
+ * Reviver for persisted {@link Schema.ByteSize} declarations.
  *
- * @category models
+ * @category schemas
  * @since 4.0.0
  */
-export interface Element {
-    readonly isOptional: boolean;
-    readonly type: Representation;
-    readonly annotations?: Schema.Annotations.Annotations | undefined;
-}
+export declare const ByteSizeReviver: DeclarationReviver<null>;
 /**
- * An array or tuple representation.
+ * Reviver for persisted {@link Schema.BigDecimal} declarations.
  *
- * @category models
+ * **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 interface Arrays extends Keyword<"Arrays"> {
-    readonly elements: ReadonlyArray<Element>;
-    readonly rest: ReadonlyArray<Representation>;
-}
+export declare const BigDecimalReviver: DeclarationReviver<null>;
 /**
- * A property signature.
+ * Reviver for persisted `File` declarations.
  *
- * **Details**
+ * **When to use**
  *
- * The live representation stores the native property key. Persistent codecs
- * add an explicit type discriminator when encoding it.
+ * Use when reconstructing documents that may contain the {@link Schema.File} schema.
  *
- * **Gotchas**
+ * @see {@link Schema.File} for the corresponding schema
  *
- * Local symbols can be represented while the schema is live, but persistent
- * codecs reject them because they cannot be reconstructed by identity.
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const FileReviver: DeclarationReviver<null>;
+/**
+ * Reviver for persisted `FormData` declarations.
  *
- * @category models
+ * **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 interface PropertySignature {
-    readonly name: PropertyKey;
-    readonly type: Representation;
-    readonly isOptional: boolean;
-    readonly isMutable: boolean;
-    readonly annotations?: Schema.Annotations.Annotations | undefined;
-}
+export declare const FormDataReviver: DeclarationReviver<null>;
 /**
- * An index signature.
+ * Reviver for persisted `URLSearchParams` declarations.
  *
- * @category models
+ * **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 interface IndexSignature {
-    readonly parameter: Representation;
-    readonly type: Representation;
-}
+export declare const URLSearchParamsReviver: DeclarationReviver<null>;
 /**
- * An object representation.
+ * Reviver for persisted `Uint8Array` declarations.
  *
- * @category models
+ * **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 interface Objects extends Keyword<"Objects"> {
-    readonly propertySignatures: ReadonlyArray<PropertySignature>;
-    readonly indexSignatures: ReadonlyArray<IndexSignature>;
-}
+export declare const Uint8ArrayReviver: DeclarationReviver<null>;
 /**
- * A union representation.
+ * Reviver for persisted {@link Schema.DateTimeUtc} declarations.
  *
- * @category models
+ * **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 interface Union extends Keyword<"Union"> {
-    readonly types: ReadonlyArray<Representation>;
-    readonly mode: "anyOf" | "oneOf";
-}
+export declare const DateTimeUtcReviver: DeclarationReviver<null>;
 /**
- * The structural schema representation.
+ * Reviver for persisted {@link Schema.TimeZoneOffset} declarations.
  *
- * @category models
+ * **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 type Representation = Declaration | Reference | Suspend | Null | Undefined | Void | Never | Unknown | Any | String | Number | Boolean | BigInt | Symbol | Literal | UniqueSymbol | ObjectKeyword | Enum | TemplateLiteral | Arrays | Objects | Union;
+export declare const TimeZoneOffsetReviver: DeclarationReviver<null>;
 /**
- * A structural check.
+ * Reviver for persisted {@link Schema.TimeZoneNamed} declarations.
  *
- * @category models
+ * **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 type Check = Filter | FilterGroup;
+export declare const TimeZoneNamedReviver: DeclarationReviver<null>;
 /**
- * An opaque leaf check.
+ * Reviver for persisted {@link Schema.TimeZone} declarations.
  *
- * @category models
+ * **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 interface Filter {
-    readonly _tag: "Filter";
-    readonly representation?: CheckRepresentationAnnotation<Representation> | undefined;
-    readonly annotations?: Schema.Annotations.Annotations | undefined;
-    readonly aborted: boolean;
-}
+export declare const TimeZoneReviver: DeclarationReviver<null>;
 /**
- * A non-empty group of checks.
+ * Reviver for persisted {@link Schema.DateTimeZoned} declarations.
  *
- * @category models
+ * **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 interface FilterGroup {
-    readonly _tag: "FilterGroup";
-    readonly representation?: CheckRepresentationAnnotation<Representation> | undefined;
-    readonly annotations?: Schema.Annotations.Annotations | undefined;
-    readonly checks: readonly [Check, ...Array<Check>];
-}
+export declare const DateTimeZonedReviver: DeclarationReviver<null>;
 /**
- * Named representation definitions.
+ * Reviver for persisted `isGreaterThanDate` checks.
  *
- * @category models
+ * **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 interface References {
-    readonly [$ref: string]: Representation;
-}
+export declare const isGreaterThanDateReviver: FilterReviver<{
+    readonly exclusiveMinimum: globalThis.Date;
+}>;
 /**
- * A single representation and its definitions.
+ * Reviver for persisted `isGreaterThanOrEqualToDate` checks.
  *
- * @category models
+ * **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 interface Document {
-    readonly representation: Representation;
-    readonly references: References;
-}
+export declare const isGreaterThanOrEqualToDateReviver: FilterReviver<{
+    readonly minimum: globalThis.Date;
+}>;
 /**
- * Multiple representations sharing definitions.
+ * Reviver for persisted `isLessThanDate` checks.
  *
- * @category models
+ * **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 interface MultiDocument {
-    readonly representations: readonly [Representation, ...Array<Representation>];
-    readonly references: References;
-}
+export declare const isLessThanDateReviver: FilterReviver<{
+    readonly exclusiveMaximum: globalThis.Date;
+}>;
 /**
- * Reviver for a declaration.
+ * Reviver for persisted `isLessThanOrEqualToDate` checks.
  *
- * @category models
+ * **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 interface DeclarationReviver<P> {
-    readonly id: string;
-    readonly payloadSchema: Schema.Decoder<P>;
-    readonly revive: (input: {
-        readonly payload: P;
-        readonly typeParameters: ReadonlyArray<Schema.Top>;
-        readonly annotations: Schema.Annotations.Annotations | undefined;
-    }) => Schema.Top;
-}
+export declare const isLessThanOrEqualToDateReviver: FilterReviver<{
+    readonly maximum: globalThis.Date;
+}>;
 /**
- * Reviver for a leaf check.
+ * Reviver for persisted `isBetweenDate` checks.
  *
- * @category models
+ * **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 interface FilterReviver<P> {
-    readonly id: string;
-    readonly payloadSchema: Schema.Decoder<P>;
-    readonly revive: (input: {
-        readonly payload: P;
-        readonly schemas: ReadonlyArray<Schema.Top>;
-        readonly annotations: Schema.Annotations.Filter | undefined;
-    }) => SchemaAST.Filter<any>;
-}
+export declare const isBetweenDateReviver: FilterReviver<{
+    readonly minimum: globalThis.Date;
+    readonly maximum: globalThis.Date;
+    readonly exclusiveMinimum?: true | undefined;
+    readonly exclusiveMaximum?: true | undefined;
+}>;
 /**
- * Reviver for a check group.
+ * Reviver for persisted `isGreaterThanBigInt` checks.
  *
- * @category models
+ * **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 interface FilterGroupReviver<P> {
-    readonly id: string;
-    readonly payloadSchema: Schema.Decoder<P>;
-    readonly revive: (input: {
-        readonly payload: P;
-        readonly schemas: ReadonlyArray<Schema.Top>;
-        readonly annotations: Schema.Annotations.Filter | undefined;
-    }) => SchemaAST.FilterGroup<any>;
-}
+export declare const isGreaterThanBigIntReviver: FilterReviver<{
+    readonly exclusiveMinimum: bigint;
+}>;
 /**
- * A check reviver.
+ * Reviver for persisted `isGreaterThanOrEqualToBigInt` checks.
  *
- * @category models
+ * **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 type CheckReviver<P> = FilterReviver<P> | FilterGroupReviver<P>;
+export declare const isGreaterThanOrEqualToBigIntReviver: FilterReviver<{
+    readonly minimum: bigint;
+}>;
 /**
- * A typed reviver.
+ * Reviver for persisted `isLessThanBigInt` checks.
  *
- * @category models
+ * **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 type Reviver<P> = DeclarationReviver<P> | CheckReviver<P>;
+export declare const isLessThanBigIntReviver: FilterReviver<{
+    readonly exclusiveMaximum: bigint;
+}>;
 /**
- * A reviver erased only at collection boundaries.
+ * Reviver for persisted `isLessThanOrEqualToBigInt` checks.
  *
- * @category models
+ * **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 type AnyReviver = Reviver<any>;
+export declare const isLessThanOrEqualToBigIntReviver: FilterReviver<{
+    readonly maximum: bigint;
+}>;
 /**
- * Creates a declaration reviver while inferring its payload type from `payloadSchema`.
+ * Reviver for persisted `isBetweenBigInt` checks.
  *
- * @category constructors
+ * **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 makeDeclarationReviver: <P>(id: string, payloadSchema: Schema.Decoder<P>, revive: DeclarationReviver<P>["revive"]) => DeclarationReviver<P>;
+export declare const isBetweenBigIntReviver: FilterReviver<{
+    readonly minimum: bigint;
+    readonly maximum: bigint;
+    readonly exclusiveMinimum?: true | undefined;
+    readonly exclusiveMaximum?: true | undefined;
+}>;
 /**
- * Creates a filter reviver while inferring its payload type from `payloadSchema`.
+ * Reviver for persisted `Json` declarations.
  *
- * @category constructors
+ * **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 makeFilterReviver: <P>(id: string, payloadSchema: Schema.Decoder<P>, revive: FilterReviver<P>["revive"]) => FilterReviver<P>;
+export declare const JsonReviver: DeclarationReviver<null>;
 /**
- * Creates a filter group reviver while inferring its payload type from `payloadSchema`.
+ * Reviver for persisted `MutableJson` declarations.
  *
- * @category constructors
+ * **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 makeFilterGroupReviver: <P>(id: string, payloadSchema: Schema.Decoder<P>, revive: FilterGroupReviver<P>["revive"]) => FilterGroupReviver<P>;
+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
  *
@@ -930,8 +2013,18 @@ export declare function fromRepresentations(document: MultiDocument, options: {
  *
  * **Gotchas**
  *
- * - Import is best-effort outside the exactly translated subset. Unsupported or ignored keywords are not covered by the
- *   round-trip guarantee.
+ * - `$dynamicRef`, `contains`, `dependentRequired`, `dependentSchemas`, `not`, active `if` / `then` / `else`,
+ *   `unevaluatedItems`, and `unevaluatedProperties` throw an `Unsupported JSON Schema keyword` error. Inactive
+ *   conditional keywords and `minContains` / `maxContains` without `contains` have no validation effect and are ignored.
+ * - Objects and arrays used as `const` values or `enum` members throw an `Unsupported structured JSON Schema value`
+ *   error.
+ * - Intersections of overlapping unions are limited to disjoint root-type partitions and finite primitive `anyOf`
+ *   literal sets. Other union intersections, including cases that would duplicate a nested choice, throw an
+ *   `Unsupported intersection of overlapping unions` error.
+ * - Unknown extension keywords are ignored and their semantics are not enforced.
+ * - Only direct local references to top-level definitions in the form `#/$defs/<escaped-token>` are supported. Root
+ *   references, external references, and pointers below a definition throw an `Unsupported reference` error. A direct
+ *   reference to a missing definition throws an `Invalid reference` error.
  * - Built-in declarations and checks are reconstructed with importer-owned revivers.
  * - Pattern constraints reached during translation cause an error by default. Use `patterns: "apply"` only for trusted
  *   documents, or `patterns: "ignore"` to weaken validation explicitly; ignored patterns are outside the round-trip
@@ -956,9 +2049,20 @@ export declare function fromJsonSchemaDocument(document: JsonSchema.Document<"dr
  *
  * **Gotchas**
  *
- * Only definitions reachable from a root are translated. Pattern constraints reached during translation cause an error
- * by default. Use `patterns: "apply"` only for trusted documents, or `patterns: "ignore"` to weaken validation explicitly.
- * Callback results are used directly, and exceptions raised by a callback pass through unchanged.
+ * - Only definitions reachable from a root are translated.
+ * - Unsupported standard validation and applicator keywords throw an `Unsupported JSON Schema keyword` error. Unknown
+ *   extension keywords are ignored and their semantics are not enforced.
+ * - Objects and arrays used as `const` values or `enum` members throw an `Unsupported structured JSON Schema value`
+ *   error.
+ * - Intersections of overlapping unions are limited to disjoint root-type partitions and finite primitive `anyOf`
+ *   literal sets. Other union intersections, including cases that would duplicate a nested choice, throw an
+ *   `Unsupported intersection of overlapping unions` error.
+ * - Only direct local references to top-level definitions in the form `#/$defs/<escaped-token>` are supported. Root
+ *   references, external references, and pointers below a definition throw an `Unsupported reference` error. A direct
+ *   reference to a missing definition throws an `Invalid reference` error.
+ * - Pattern constraints reached during translation cause an error by default. Use `patterns: "apply"` only for trusted
+ *   documents, or `patterns: "ignore"` to weaken validation explicitly.
+ * - Callback results are used directly, and exceptions raised by a callback pass through unchanged.
  *
  * @see {@link fromJsonSchemaDocument} for a single root
  * @see {@link toRepresentations} for converting the returned schema ASTs to a representation document