effect 4.0.0-beta.69 → 4.0.0-beta.70

package/dist/Schema.d.ts

@@ -151,7 +151,8 @@ export type ConstructorDefault = "no-default" | "with-default";
 /**
  * Options for `makeEffect`, `make`, and Class constructors.
  *
- * When to use:
+ * **When to use**
+ *
  * - Pass `disableChecks: true` to skip validation when you trust the data.
  * - Pass `parseOptions` to control error reporting behavior.
  *
@@ -176,7 +177,8 @@ export interface MakeOptions {
  * parameters controlling type inference, mutability, optionality, services,
  * and transformation behavior.
  *
- * When to use:
+ * **When to use**
+ *
  * - You are writing advanced generic schema utilities or performing schema
  *   introspection.
  * - In user code, prefer {@link Schema}, {@link Codec}, {@link Decoder}, or
@@ -232,6 +234,8 @@ export interface declareConstructor<T, E, TypeParameters extends ReadonlyArray<T
  * `Array<A>`, `Option<A>`, etc.) by accepting a list of type-parameter schemas
  * and a decoder factory.
  *
+ * **Details**
+ *
  * The outer call `declareConstructor<T, E, Iso>()` fixes the decoded type `T`,
  * the encoded type `E`, and the optional iso type. The inner call receives:
  * - `typeParameters` — the concrete schemas for each type variable
@@ -290,6 +294,8 @@ export interface declare<T, Iso = T> extends declareConstructor<T, T, readonly [
  * function. The schema accepts any unknown value and succeeds when `is` returns
  * `true`, failing with an `InvalidType` issue otherwise.
  *
+ * **Details**
+ *
  * Use this when the type has no type parameters. For parametric types such as
  * `Option<A>` or `Array<A>`, use {@link declareConstructor} instead.
  *
@@ -319,6 +325,8 @@ export declare function declare<T, Iso = T>(is: (u: unknown) => u is T, annotati
  * Widens a schema's type to the fully-parameterized {@link Bottom} interface,
  * making all 14 type parameters visible to TypeScript.
  *
+ * **Details**
+ *
  * Normally, concrete schema interfaces (e.g. `Schema<string>`) hide most type
  * parameters. `revealBottom` is useful when writing generic utilities that need
  * to inspect or propagate the complete set of type parameters.
@@ -347,6 +355,8 @@ export declare function revealBottom<S extends Top>(bottom: S): Bottom<S["Type"]
  * Adds metadata annotations to a schema without changing its runtime behavior.
  * This is the pipeable (curried) counterpart of the `.annotate` method.
  *
+ * **Details**
+ *
  * Annotations provide extra context used by documentation generators, JSON
  * Schema converters, error formatters, and other tooling. Common keys include
  * `title`, `description`, `examples`, `message`, and `identifier`.
@@ -375,6 +385,8 @@ export declare function annotate<S extends Top>(annotations: Annotations.Bottom<
  * changing its runtime behavior. This is the encoded-side counterpart of
  * `annotate`, which targets the decoded (Type) side.
  *
+ * **Details**
+ *
  * Internally the schema is flipped so that `Encoded` becomes `Type`,
  * annotated, and then flipped back.
  *
@@ -403,6 +415,8 @@ export declare function annotateEncoded<S extends Top>(annotations: Annotations.
  * Adds key-level annotations to a schema field. This is the pipeable
  * (curried) counterpart of the `.annotateKey` method.
  *
+ * **Details**
+ *
  * Key annotations apply to a field's position inside a `Struct` or `Tuple`
  * rather than to the field's value type. They can carry a
  * `messageMissingKey` to customise the error shown when the field is absent,
@@ -431,6 +445,8 @@ export declare function annotateKey<S extends Top>(annotations: Annotations.Key<
 /**
  * The existential "any schema" type — all type parameters are erased to `unknown`.
  *
+ * **Details**
+ *
  * Use `Top` as a constraint when writing generic utilities that must accept *any*
  * schema regardless of its `Type`, `Encoded`, or service requirements. It is the
  * widest possible schema type and therefore gives you the least static information.
@@ -474,6 +490,8 @@ export declare namespace Schema {
 /**
  * A typed view of a schema that tracks only the decoded (output) type `T`.
  *
+ * **Details**
+ *
  * Use `Schema<T>` as a constraint when you want to accept "any schema that
  * decodes to `T`" and do not need to know or constrain the encoded
  * representation, required services, or any other type parameters.
@@ -564,6 +582,8 @@ export declare namespace Codec {
 /**
  * A schema that additionally supports optic (lens/prism) operations.
  *
+ * **Details**
+ *
  * `Optic<T, Iso>` extends {@link Schema}`<T>` with an `Iso` type that
  * describes the isomorphic counterpart used by the optic layer. Crucially,
  * decoding and encoding require *no* Effect services (`DecodingServices` and
@@ -587,6 +607,8 @@ export interface Optic<out T, out Iso> extends Schema<T> {
  * A schema that tracks the decoded type `T`, the encoded type `E`, and the
  * Effect services required during decoding (`RD`) and encoding (`RE`).
  *
+ * **Details**
+ *
  * Use `Codec<T, E, RD, RE>` when you need to preserve full type information
  * about a schema — both what it decodes to and what it serializes from/to.
  * Most concrete schemas produced by this module implement `Codec`.
@@ -623,6 +645,8 @@ export interface Codec<out T, out E = T, out RD = never, out RE = never> extends
 /**
  * A {@link Codec} view for APIs that only *decode* (parse/validate) values.
  *
+ * **Details**
+ *
  * Use `Decoder<T, RD>` to accept "any schema that can decode to `T`" without
  * constraining or depending on the encoded representation (`Encoded` is
  * `unknown`) or encoding services.
@@ -647,6 +671,8 @@ export interface Decoder<out T, out RD = never> extends Codec<T, unknown, RD, un
 /**
  * A {@link Codec} view for APIs that only *encode* values.
  *
+ * **Details**
+ *
  * Use `Encoder<E, RE>` to accept "any schema that can encode to `E`" without
  * constraining or depending on the decoded `Type` (`Type` is `unknown`) or
  * decoding services.
@@ -672,6 +698,8 @@ export interface Encoder<out E, out RE = never> extends Codec<unknown, E, unknow
  * Identity function that widens a value to the full {@link Codec} interface,
  * prompting TypeScript to infer all four type parameters (`T`, `E`, `RD`, `RE`).
  *
+ * **Details**
+ *
  * When a schema is stored in a variable typed as `Schema<T>` or `Top`, the
  * encoded type and service requirements are erased. Passing the value through
  * `revealCodec` recovers those parameters without any runtime cost.
@@ -697,6 +725,8 @@ export {
  * Error thrown (or returned as the error channel value) when schema decoding
  * or encoding fails.
  *
+ * **Details**
+ *
  * The `issue` field contains a structured {@link Issue.Issue} tree describing
  * every validation failure, including the path to the problematic value,
  * expected types, and actual values received. `message` renders the issue tree
@@ -719,6 +749,7 @@ export {
  * }
  * ```
  *
+ * @category errors
  * @since 4.0.0
  */
 SchemaError };
@@ -747,6 +778,8 @@ export declare function isSchemaError(u: unknown): u is SchemaError;
  * Returns a "Standard Schema" object conforming to the [Standard Schema
  * v1](https://standardschema.dev/) specification.
  *
+ * **Details**
+ *
  * This function creates a schema whose `validate` method attempts to decode and
  * validate the provided input synchronously. If the underlying `Schema`
  * includes any asynchronous components (e.g., asynchronous message resolutions
@@ -812,6 +845,8 @@ export declare function toStandardSchemaV1<S extends Decoder<unknown>>(self: S,
 /**
  * Experimental support for converting a schema to a Standard JSON Schema V1.
  *
+ * **Details**
+ *
  * https://github.com/standard-schema/standard-schema/pull/134
  *
  * @category Standard Schema
@@ -822,6 +857,8 @@ export declare function toStandardJSONSchemaV1<S extends Top>(self: S): Standard
  * Creates a type guard function that checks if a value conforms to a given
  * schema.
  *
+ * **Details**
+ *
  * This function returns a predicate that performs a type-safe check, narrowing
  * the type of the input value if the check passes. It's particularly useful for
  * runtime type validation and TypeScript type narrowing.
@@ -852,6 +889,8 @@ export declare const is: typeof Parser.is;
  * Creates an assertion function that throws an error if the input doesn't match
  * the schema.
  *
+ * **Details**
+ *
  * This function is useful for runtime type checking with TypeScript's `asserts`
  * type guard. It narrows the type of the input if the assertion succeeds, or
  * throws an error if it fails.
@@ -994,6 +1033,7 @@ export declare const decodeUnknownPromise: typeof Parser.decodeUnknownPromise;
  * schema issue. For `unknown` input use `decodeUnknownPromise`.
  *
  * **Details**
+ *
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
@@ -1008,6 +1048,7 @@ export declare const decodePromise: typeof Parser.decodePromise;
  * mismatch as an exception. For typed input use `decodeSync`.
  *
  * **Details**
+ *
  * Only service-free schemas can be decoded synchronously. For non-throwing
  * alternatives see `decodeUnknownOption`, `decodeUnknownExit`, or
  * `decodeUnknownEffect`. Options may be provided either when creating the
@@ -1040,6 +1081,7 @@ export declare const decodeUnknownSync: typeof Parser.decodeUnknownSync;
  * contains the schema issue. For `unknown` input use `decodeUnknownSync`.
  *
  * **Details**
+ *
  * Only service-free schemas can be decoded synchronously. Options may be
  * provided either when creating the decoder or when applying it; application
  * options override creation options.
@@ -1206,6 +1248,8 @@ export declare const encodeSync: <S extends Encoder<unknown>>(schema: S, options
 /**
  * Creates a schema from an AST (Abstract Syntax Tree) node.
  *
+ * **Details**
+ *
  * This is the fundamental constructor for all schemas in the Effect Schema
  * library. It takes an AST node and wraps it in a fully-typed schema that
  * preserves all type information and provides the complete schema API.
@@ -1318,7 +1362,10 @@ interface optionalLambda extends Lambda {
  * Marks a struct field as optional, allowing the key to be absent or
  * `undefined`.
  *
- * explicitly set to `undefined`. Equivalent to `optionalKey(UndefinedOr(S))`.
+ * **Details**
+ *
+ * The resulting property may be absent or explicitly set to `undefined`.
+ * Equivalent to `optionalKey(UndefinedOr(S))`.
  *
  * Use {@link optionalKey} instead if you want exact optional semantics (absent
  * only, not `undefined`).
@@ -1499,6 +1546,7 @@ export declare namespace TemplateLiteral {
      * Constraint for schema parts that can appear inside a `TemplateLiteral`.
      *
      * **Details**
+     *
      * The schema's encoded value must be a `string`, `number`, or `bigint` so it can
      * be converted into a template literal string segment.
      *
@@ -1579,6 +1627,7 @@ export declare namespace TemplateLiteralParser {
      * Computes the decoded tuple type produced by `TemplateLiteralParser`.
      *
      * **Details**
+     *
      * Literal parts contribute their literal value to the tuple. Schema parts
      * contribute their decoded `Type`.
      *
@@ -1767,7 +1816,9 @@ export interface Number extends Bottom<number, number, never, never, AST.Number,
 /**
  * Schema for `number` values, including `NaN`, `Infinity`, and `-Infinity`.
  *
- * **Default Json Serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * - Finite numbers are serialized as numbers.
  * - Non-finite values are serialized as strings (`"NaN"`, `"Infinity"`, `"-Infinity"`).
@@ -1888,6 +1939,8 @@ export declare function UniqueSymbol<const sym extends symbol>(symbol: sym): Uni
 /**
  * Namespace for struct field type utilities.
  *
+ * **Details**
+ *
  * These types compute the decoded `Type`, encoded `Encoded`, and constructor
  * input `MakeIn` of a {@link Struct} from its field map, handling optional,
  * mutable, and other field modifiers automatically.
@@ -1933,6 +1986,7 @@ export declare namespace Struct {
      * Computes the decoded object type for a struct field map.
      *
      * **Details**
+     *
      * Field schemas contribute their decoded `Type`. `optionalKey` and `optional`
      * produce optional properties, while `mutableKey` produces writable properties.
      *
@@ -1954,6 +2008,7 @@ export declare namespace Struct {
      * `Iso` type.
      *
      * **Details**
+     *
      * The resulting property optionality and mutability follow the same field
      * modifiers used by `Struct.Type`.
      *
@@ -1984,6 +2039,7 @@ export declare namespace Struct {
      * Computes the encoded object type for a struct field map.
      *
      * **Details**
+     *
      * Field schemas contribute their `Encoded` type. Encoded-side optionality and
      * mutability modifiers determine whether properties are optional or writable in
      * the encoded shape.
@@ -2026,6 +2082,7 @@ export declare namespace Struct {
      * Computes the input object type accepted when constructing a struct value.
      *
      * **Details**
+     *
      * Required fields use each field schema's `~type.make` input. Fields marked
      * optional or with a constructor default may be omitted.
      *
@@ -2039,6 +2096,7 @@ export declare namespace Struct {
  * schema-defined fields.
  *
  * **Details**
+ *
  * The `fields` property exposes the original field map for reuse, and
  * `mapFields` creates a new struct schema by transforming that field map.
  *
@@ -2071,7 +2129,9 @@ export interface Struct<Fields extends Struct.Fields> extends Bottom<Struct.Type
     /**
      * Returns a new struct with the fields modified by the provided function.
      *
-     * **Options**
+     * **Details**
+     *
+     * Options:
      *
      * - `unsafePreserveChecks` - if `true`, keep any `.check(...)` constraints
      *   that were attached to the original union. Defaults to `false`.
@@ -2089,6 +2149,8 @@ export interface Struct<Fields extends Struct.Fields> extends Bottom<Struct.Type
 /**
  * Defines a struct schema from a map of field schemas.
  *
+ * **Details**
+ *
  * Each field value is a schema. Use {@link optionalKey} or {@link optional} to
  * mark fields as optional, and {@link mutableKey} to mark them as mutable.
  *
@@ -2160,6 +2222,8 @@ export interface encodeKeys<S extends Top & {
 /**
  * Renames struct keys in the encoded form without changing the decoded type.
  *
+ * **Details**
+ *
  * Takes a partial mapping `{ decodedKey: encodedKey }` and produces a
  * transformation schema that decodes from the renamed keys and encodes back to
  * the renamed keys. Keys not present in the mapping are left unchanged.
@@ -2189,6 +2253,8 @@ export declare function encodeKeys<S extends Top & {
 /**
  * Adds derived fields to a struct schema during decoding.
  *
+ * **Details**
+ *
  * Each new field is derived from the decoded struct value via a function that
  * returns `Option`. On encoding the derived fields are stripped. This allows
  * computed or enriched fields to live in the decoded type without appearing in
@@ -2225,6 +2291,8 @@ derive: {
 /**
  * Namespace for `Record` type utilities.
  *
+ * **Details**
+ *
  * - `Record.Key` — constraint for the key schema (must encode to `PropertyKey`)
  * - `Record.Type<K, V>` — decoded type of the record
  * - `Record.Encoded<K, V>` — encoded type of the record
@@ -2236,6 +2304,7 @@ export declare namespace Record {
      * Constraint for schemas that can be used as record keys.
      *
      * **Details**
+     *
      * The key schema must decode and encode property keys (`string`, `number`, or
      * `symbol`) so it can describe object property names.
      *
@@ -2251,6 +2320,7 @@ export declare namespace Record {
      * schemas.
      *
      * **Details**
+     *
      * The key schema supplies the property keys and the value schema supplies each
      * property's decoded `Type`. Optional and mutable value schemas affect the
      * resulting property optionality and writability.
@@ -2300,6 +2370,7 @@ export declare namespace Record {
      * schemas' encoded types.
      *
      * **Details**
+     *
      * Encoded-side optionality and mutability on the value schema determine whether
      * the encoded record properties are optional or writable.
      *
@@ -2341,6 +2412,7 @@ export declare namespace Record {
      * Computes the input object type accepted when constructing a record value.
      *
      * **Details**
+     *
      * Keys use the key schema's `~type.make` type and values use the value schema's
      * `~type.make` type. Value optionality and mutability determine whether
      * properties are optional or writable.
@@ -2405,6 +2477,8 @@ export declare function Record<Key extends Record.Key, Value extends Top>(key: K
 /**
  * Namespace for `StructWithRest` type utilities.
  *
+ * **Details**
+ *
  * - `StructWithRest.Type<S, R>` — decoded type (struct type intersected with record types)
  * - `StructWithRest.Encoded<S, R>` — encoded type
  *
@@ -2528,6 +2602,8 @@ export declare function StructWithRest<const S extends StructWithRest.Objects, c
 /**
  * Namespace for `Tuple` type utilities.
  *
+ * **Details**
+ *
  * - `Tuple.Elements` — constraint for the element schema array
  * - `Tuple.Type<E>` — decoded tuple type
  * - `Tuple.Encoded<E>` — encoded tuple type
@@ -2553,6 +2629,7 @@ export declare namespace Tuple {
      * Computes the decoded tuple type for a tuple element schema array.
      *
      * **Details**
+     *
      * Each element contributes its decoded `Type`; optional element schemas produce
      * optional tuple positions.
      *
@@ -2582,6 +2659,7 @@ export declare namespace Tuple {
      * Computes the encoded tuple type for a tuple element schema array.
      *
      * **Details**
+     *
      * Each element contributes its `Encoded` type; encoded-side optional element
      * schemas produce optional tuple positions.
      *
@@ -2616,6 +2694,7 @@ export declare namespace Tuple {
      * Computes the input tuple type accepted when constructing a tuple value.
      *
      * **Details**
+     *
      * Each element uses its `~type.make` input type. Optional elements and elements
      * with constructor defaults produce optional tuple positions.
      *
@@ -2635,7 +2714,9 @@ export interface Tuple<Elements extends Tuple.Elements> extends Bottom<Tuple.Typ
     /**
      * Returns a new tuple with the elements modified by the provided function.
      *
-     * **Options**
+     * **Details**
+     *
+     * Options:
      *
      * - `unsafePreserveChecks` - if `true`, keep any `.check(...)` constraints
      *   that were attached to the original union. Defaults to `false`.
@@ -2672,6 +2753,8 @@ export declare function Tuple<const Elements extends ReadonlyArray<Top>>(element
 /**
  * Namespace for `TupleWithRest` type utilities.
  *
+ * **Details**
+ *
  * - `TupleWithRest.TupleType` — constraint for the leading tuple schema
  * - `TupleWithRest.Rest` — the rest element schema(s)
  * - `TupleWithRest.Type<T, R>` — decoded type (fixed elements + rest)
@@ -2698,6 +2781,7 @@ export declare namespace TupleWithRest {
      * Non-empty list of schemas used for the rest portion of a `TupleWithRest`.
      *
      * **Details**
+     *
      * The first schema describes the repeated rest element. Additional schemas, when
      * present, describe trailing tuple elements after the repeated rest segment.
      *
@@ -2709,6 +2793,7 @@ export declare namespace TupleWithRest {
      * Computes the decoded tuple type for a `TupleWithRest`.
      *
      * **Details**
+     *
      * The output starts with the fixed tuple elements, continues with zero or more
      * values decoded by the first rest schema, and includes any trailing rest schemas
      * as fixed tuple positions.
@@ -2727,6 +2812,7 @@ export declare namespace TupleWithRest {
      * Computes the iso tuple type for a `TupleWithRest`.
      *
      * **Details**
+     *
      * The output starts with the fixed tuple's `Iso` elements, continues with zero
      * or more values using the first rest schema's `Iso`, and includes any trailing
      * rest schemas as fixed tuple positions.
@@ -2745,6 +2831,7 @@ export declare namespace TupleWithRest {
      * Computes the encoded tuple type for `TupleWithRest`.
      *
      * **Details**
+     *
      * The leading tuple's encoded elements are kept first. The encoded type of the
      * first rest schema may repeat zero or more times, and the encoded types of any
      * additional rest schemas become required trailing tuple elements.
@@ -2763,6 +2850,7 @@ export declare namespace TupleWithRest {
      * Computes the constructor input tuple type for `TupleWithRest`.
      *
      * **Details**
+     *
      * The leading tuple's make input elements are kept first. The make input type of
      * the first rest schema may repeat zero or more times, and the make input types
      * of any additional rest schemas become required trailing tuple elements.
@@ -2793,6 +2881,7 @@ export interface TupleWithRest<S extends TupleWithRest.TupleType, Rest extends T
  * Extends a fixed-length tuple schema with a variadic rest segment.
  *
  * **Details**
+ *
  * The resulting tuple starts with the fixed elements from `schema`. The first
  * schema in `rest` is the repeatable element schema, and any additional schemas
  * in `rest` are required trailing tuple elements after the variadic segment. For
@@ -2823,6 +2912,7 @@ export declare function TupleWithRest<S extends Tuple<Tuple.Elements>, const Res
  * Schema interface produced by `Schema.Array` for readonly arrays.
  *
  * **Details**
+ *
  * The decoded type is `ReadonlyArray<S["Type"]>`, the encoded type is
  * `ReadonlyArray<S["Encoded"]>`, and the element schema is available as
  * `schema`.
@@ -2899,6 +2989,7 @@ export declare const NonEmptyArray: NonEmptyArrayLambda;
  * an array of items into a readonly array.
  *
  * **Details**
+ *
  * The schema decodes from `S` or `Schema.Array(S)` and produces
  * `ReadonlyArray<S["Type"]>`.
  *
@@ -2913,6 +3004,7 @@ export interface ArrayEnsure<S extends Top> extends decodeTo<$Array<toType<S>>,
  * decoded by `Schema.Array(schema)`, then returns an array.
  *
  * **Details**
+ *
  * The single-value branch is tried before the array branch. If `schema` itself
  * accepts arrays, an array input can be treated as one value and wrapped in a
  * one-element array.
@@ -2936,6 +3028,8 @@ export interface UniqueArray<S extends Top> extends $Array<S> {
 /**
  * Returns a new array schema that ensures all elements are unique.
  *
+ * **Details**
+ *
  * The equivalence used to determine uniqueness is the one provided by
  * `Schema.toEquivalence(item)`.
  *
@@ -3006,7 +3100,9 @@ export interface Union<Members extends ReadonlyArray<Top>> extends Bottom<{
     /**
      * Returns a new union with the members modified by the provided function.
      *
-     * **Options**
+     * **Details**
+     *
+     * Options:
      *
      * - `unsafePreserveChecks` - if `true`, keep any `.check(...)` constraints
      *   that were attached to the original union. Defaults to `false`.
@@ -3025,6 +3121,8 @@ export interface Union<Members extends ReadonlyArray<Top>> extends Bottom<{
  * Creates a union schema from an array of member schemas. Members are tested in
  * order; the first match is returned.
  *
+ * **Details**
+ *
  * Optionally, specify `mode`:
  * - `"anyOf"` (default) — matches if any member matches.
  * - `"oneOf"` — matches if exactly one member matches.
@@ -3128,6 +3226,7 @@ interface UndefinedOrLambda extends Lambda {
 export declare const UndefinedOr: UndefinedOrLambda;
 /**
  * Companion type for `S | null | undefined`. Produced by {@link NullishOr}.
+ *
  * @category models
  * @since 3.10.0
  */
@@ -3140,12 +3239,14 @@ interface NullishOrLambda extends Lambda {
 }
 /**
  * Creates a union schema of `S | null | undefined`.
+ *
  * @category constructors
  * @since 3.10.0
  */
 export declare const NullishOr: NullishOrLambda;
 /**
  * Schema type wrapping a lazily-evaluated schema. Produced by {@link suspend}.
+ *
  * @category models
  * @since 3.10.0
  */
@@ -3208,6 +3309,8 @@ export interface refine<T extends S["Type"], S extends Top> extends Bottom<T, S[
  * Narrows the TypeScript type of a schema's output via a type guard predicate,
  * attaching the guard as a runtime filter check.
  *
+ * **Details**
+ *
  * The `annotations` parameter annotates the filter created by the refinement.
  * With the default formatter, failed refinements use `message` first,
  * `expected` second, and `<filter>` when neither is provided. `identifier`
@@ -3251,6 +3354,8 @@ export declare function fromBrand<A extends Brand.Brand<any>>(identifier: string
 /**
  * A schema that wraps another schema and intercepts its decoding pipeline.
  *
+ * **Details**
+ *
  * The interceptor receives the full decoding `Effect` and may replace, modify,
  * or augment it — including adding service requirements via `RD`.
  *
@@ -3264,6 +3369,8 @@ export interface middlewareDecoding<S extends Top, RD> extends Bottom<S["Type"],
 /**
  * Intercepts the decoding pipeline of a schema.
  *
+ * **Details**
+ *
  * The provided function receives the current decoding `Effect` and `ParseOptions`,
  * and returns a new `Effect` — potentially adding service requirements (`RD`),
  * recovering from errors, or augmenting the result.
@@ -3288,6 +3395,8 @@ export declare function middlewareDecoding<S extends Top, RD>(decode: (effect: E
 /**
  * A schema that wraps another schema and intercepts its encoding pipeline.
  *
+ * **Details**
+ *
  * The interceptor receives the full encoding `Effect` and may replace, modify,
  * or augment it — including adding service requirements via `RE`.
  *
@@ -3301,6 +3410,8 @@ export interface middlewareEncoding<S extends Top, RE> extends Bottom<S["Type"],
 /**
  * Intercepts the encoding pipeline of a schema.
  *
+ * **Details**
+ *
  * The provided function receives the current encoding `Effect` and `ParseOptions`,
  * and returns a new `Effect` — potentially adding service requirements (`RE`),
  * recovering from errors, or augmenting the result.
@@ -3325,6 +3436,8 @@ export declare function middlewareEncoding<S extends Top, RE>(encode: (effect: E
 /**
  * Recovers from a decoding error by providing a fallback value.
  *
+ * **Details**
+ *
  * The handler receives the `Issue` and returns an `Effect` that either
  * succeeds with a fallback value or re-fails with a (possibly different) issue.
  *
@@ -3353,6 +3466,8 @@ export declare function catchDecodingWithContext<S extends Top, R = never>(f: (i
 /**
  * Recovers from an encoding error by providing a fallback value.
  *
+ * **Details**
+ *
  * The handler receives the `Issue` and returns an `Effect` that either
  * succeeds with a fallback value or re-fails with a (possibly different) issue.
  *
@@ -3373,6 +3488,7 @@ export declare function catchEncodingWithContext<S extends Top, R = never>(f: (i
  * `From` schema with a `To` schema.
  *
  * **Details**
+ *
  * `Type` is `To["Type"]` and `Encoded` is `From["Encoded"]`. Decoding services
  * are `To["DecodingServices"] | From["DecodingServices"] | RD`; encoding
  * services are `To["EncodingServices"] | From["EncodingServices"] | RE`.
@@ -3388,6 +3504,8 @@ export interface decodeTo<To extends Top, From extends Top, RD = never, RE = nev
 /**
  * The type produced by {@link decodeTo} when called without a custom transformation (passthrough composition).
  *
+ * **Details**
+ *
  * Equivalent to {@link decodeTo} with `RD = never` and `RE = never`, meaning the schemas
  * are composed using their natural encoding/decoding chain.
  *
@@ -3400,18 +3518,20 @@ export interface compose<To extends Top, From extends Top> extends decodeTo<To,
 /**
  * Creates a schema that transforms from a source schema to a target schema.
  *
+ * **Details**
+ *
  * This is a curried function: call it with the target schema `to` (and optionally a transformation),
  * then call the returned function with the source schema `from`. The resulting schema decodes from
  * `From["Encoded"]` to `To["Type"]` and encodes from `To["Type"]` back to `From["Encoded"]`.
  *
- * **Key guarantees:**
+ * Key guarantees:
  * - Resulting schema has `Type = To["Type"]` and `Encoded = From["Encoded"]`
  * - When `transformation` is omitted, uses `Transformation.passthrough()` (schema composition)
  * - Combines decoding/encoding services from both `from` and `to` schemas
  * - Transformation `decode` maps `From["Type"]` → `To["Encoded"]` (used during encoding)
  * - Transformation `encode` maps `To["Encoded"]` → `From["Type"]` (used during decoding)
  *
- * **AI note - Common mistakes:**
+ * Common mistakes:
  * - **Direction confusion**: Remember `to` is the target (what you decode TO), `from` is the source (what you decode FROM)
  * - **Currying**: This is curried - must use pipe: `from.pipe(Schema.decodeTo(to))`
  * - **Transformation direction**: `decode` goes `From["Type"]` → `To["Encoded"]`, `encode` goes `To["Encoded"]` → `From["Type"]`
@@ -3448,18 +3568,20 @@ export declare function decodeTo<To extends Top, From extends Top, RD = never, R
 /**
  * Applies a transformation to a schema, creating a new schema with the same type but transformed encoding/decoding.
  *
+ * **Details**
+ *
  * This is a curried function: call it with a transformation object, then call the returned function with a schema.
  * The resulting schema has `Type = S["Type"]` and `Encoded = S["Encoded"]`, with the transformation applied during
  * encoding and decoding operations.
  *
- * **Key guarantees:**
+ * Key guarantees:
  * - Resulting schema has `Type = S["Type"]` and `Encoded = S["Encoded"]`
  * - Uses `toType(self)` as the target schema internally (creates a schema where both Type and Encoded are `S["Type"]`)
  * - Combines decoding/encoding services from the source schema and transformation
  * - Transformation `decode` maps `S["Type"]` → `S["Type"]` (used during encoding)
  * - Transformation `encode` maps `S["Type"]` → `S["Type"]` (used during decoding)
  *
- * **AI note - Common mistakes:**
+ * Common mistakes:
  * - **Currying**: This is curried - must use pipe: `schema.pipe(Schema.decode(transformation))`
  * - **Transformation direction**: `decode` and `encode` both operate on `S["Type"]` (same type, different values)
  * - **Service dependencies**: Resulting schema requires services from the source schema and transformation; use `Schema.provideService` if needed
@@ -3491,6 +3613,8 @@ export declare function decode<S extends Top, RD = never, RE = never>(transforma
  * Like {@link decodeTo} but reverses the direction: the `from` schema acts as the target (decoded type)
  * and `to` acts as the encoded source.
  *
+ * **Details**
+ *
  * `encodeTo(to)(from)` is equivalent to `to.pipe(decodeTo(from))` — useful when it reads more
  * naturally to specify the encoded schema first.
  *
@@ -3519,6 +3643,8 @@ export declare function encodeTo<To extends Top, From extends Top, RD = never, R
  * Applies a transformation to a schema's encoded type, creating a new schema where encoding/decoding
  * operate on `S["Encoded"]` rather than `S["Type"]`.
  *
+ * **Details**
+ *
  * The `decode` getter maps `S["Encoded"]` → `S["Encoded"]` (applied during decoding),
  * and the `encode` getter maps `S["Encoded"]` → `S["Encoded"]` (applied during encoding).
  *
@@ -3545,6 +3671,8 @@ export declare function encode<S extends Top, RD = never, RE = never>(transforma
 /**
  * Constraint used to ensure a schema field does not already have a constructor default.
  *
+ * **Details**
+ *
  * Only schemas that satisfy this constraint can be passed to {@link withConstructorDefault}.
  *
  * @category models
@@ -3558,6 +3686,7 @@ export interface WithoutConstructorDefault {
  * by constructor helpers.
  *
  * **Details**
+ *
  * The default affects `make` and related constructor helpers only; decoding and
  * encoding still use the original schema behavior. The schema is marked as
  * already having a constructor default so another constructor default cannot be
@@ -3573,6 +3702,8 @@ export interface withConstructorDefault<S extends Top & WithoutConstructorDefaul
 /**
  * Attaches a constructor default value to a schema field.
  *
+ * **Details**
+ *
  * Constructor defaults are applied only during `make*`, not during decoding or
  * encoding.
  *
@@ -3610,6 +3741,8 @@ export interface withDecodingDefaultKey<S extends Top, R = never> extends decode
 /**
  * Options for {@link withDecodingDefaultKey} and {@link withDecodingDefault}.
  *
+ * **Details**
+ *
  * - `encodingStrategy`:
  *   - `"passthrough"` (default): pass the value through during encoding
  *   - `"omit"`: omit the key from the encoded output
@@ -3624,11 +3757,13 @@ export type DecodingDefaultOptions = {
  * Makes a struct key optional on the `Encoded` side and provides a default
  * `Encoded` value when the key is missing during decoding.
  *
+ * **Details**
+ *
  * The key uses `optionalKey` on the encoded side, so it may be absent from the
  * input object but **not** `undefined`. The default value is specified in terms
  * of the `Encoded` type (before any decoding transformations).
  *
- * **Options**
+ * Options:
  *
  * - `encodingStrategy`:
  *   - `"passthrough"` (default): include the value in the encoded output.
@@ -3670,11 +3805,13 @@ export interface withDecodingDefaultTypeKey<S extends Top, R = never> extends de
  * key may be absent but **not** `undefined`) and provides a default `Type`
  * value when the key is missing during decoding.
  *
+ * **Details**
+ *
  * Unlike {@link withDecodingDefaultKey}, the default value is specified in
  * terms of the `Type` (decoded) representation, so it does not need to go
  * through the decoding transformation.
  *
- * **Options**
+ * Options:
  *
  * - `encodingStrategy`:
  *   - `"passthrough"` (default): include the value in the encoded output.
@@ -3702,10 +3839,12 @@ export interface withDecodingDefault<S extends Top, R = never> extends decodeTo<
  * and provides a default `Encoded` value when the field is missing or
  * `undefined` during decoding.
  *
+ * **Details**
+ *
  * The default value is specified in terms of the `Encoded` type (before any
  * decoding transformations).
  *
- * **Options**
+ * Options:
  *
  * - `encodingStrategy`:
  *   - `"passthrough"` (default): include the value in the encoded output.
@@ -3747,11 +3886,13 @@ export interface withDecodingDefaultType<S extends Top, R = never> extends decod
  * and provides a default `Type` value when the field is missing or
  * `undefined` during decoding.
  *
+ * **Details**
+ *
  * Unlike {@link withDecodingDefault}, the default value is specified in terms
  * of the `Type` (decoded) representation, so it does not need to go through
  * the decoding transformation.
  *
- * **Options**
+ * Options:
  *
  * - `encodingStrategy`:
  *   - `"passthrough"` (default): include the value in the encoded output.
@@ -3766,6 +3907,8 @@ export declare function withDecodingDefaultType<S extends Top, R = never>(defaul
 /**
  * The type produced by {@link tag} — a literal schema with a constructor default.
  *
+ * **Details**
+ *
  * Used as the type of the `_tag` field in {@link TaggedStruct} and related helpers.
  *
  * @see {@link tag} for the constructor
@@ -3837,6 +3980,8 @@ export type TaggedStruct<Tag extends AST.LiteralValue, Fields extends Struct.Fie
  * to identify the specific variant of the object, which is especially useful
  * when working with union types.
  *
+ * **Details**
+ *
  * When using the `make` method, the `_tag` field is optional and will be
  * added automatically. However, when decoding or encoding, the `_tag` field
  * must be present in the input.
@@ -4090,6 +4235,7 @@ export declare function link<T>(): <To extends Top>(encodeTo: To, transformation
  * Creates a custom validation filter from a predicate function.
  *
  * **Details**
+ *
  * The predicate receives the decoded input value, the schema AST, and parse
  * options, and returns a `FilterOutput`. Non-success outputs are normalized into
  * schema issues. The `annotations` parameter annotates the filter itself; with
@@ -4148,6 +4294,8 @@ export declare const makeFilter: <T>(filter: (input: T, ast: AST.AST, options: A
  * A single failure reported by a filter predicate. Used as the element type
  * of the array arm of {@link FilterOutput}, and also accepted on its own.
  *
+ * **Details**
+ *
  * - `string`: failure with that string as the message. Produces an
  *   {@link Issue.InvalidValue} wrapping the input, with the string used as
  *   the issue's `message` annotation.
@@ -4167,6 +4315,8 @@ export type FilterIssue = string | Issue.Issue | {
 /**
  * The value a filter predicate (see {@link makeFilter}) may return.
  *
+ * **Details**
+ *
  * Each shape is normalized into an {@link Issue.Issue} (or `undefined` for
  * success) before being attached to the parse result:
  *
@@ -4197,12 +4347,14 @@ export declare function makeFilterGroup<T>(checks: readonly [AST.Check<T>, ...Ar
 /**
  * Validates that a string has no leading or trailing whitespace.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to a `pattern` constraint in JSON Schema that
  * matches strings without leading or trailing whitespace.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `patterns`
  * constraint to ensure generated strings match the trimmed pattern.
@@ -4214,11 +4366,13 @@ export declare function isTrimmed(annotations?: Annotations.Filter): AST.Filter<
 /**
  * Validates that a string matches the specified regular expression pattern.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `pattern` constraint in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `patterns`
  * constraint to ensure generated strings match the specified RegExp pattern.
@@ -4230,12 +4384,14 @@ export declare const isPattern: (regExp: globalThis.RegExp, annotations?: Annota
 /**
  * Validates that a string represents a finite number.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to a `pattern` constraint in JSON Schema that matches
  * strings representing finite numbers.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `patterns`
  * constraint to ensure generated strings match the number string pattern.
@@ -4249,11 +4405,12 @@ export declare const isStringFinite: (annotations?: Annotations.Filter) => AST.F
  * BigInt string encoding.
  *
  * **Details**
+ *
  * The check uses the pattern `^-?\d+$`. It does not accept leading `+`, decimal
  * points, exponent notation, separators, or non-decimal inputs such as
  * hexadecimal strings.
  *
- * **JSON Schema**
+ * JSON Schema:
  * This check corresponds to a `pattern` constraint with the same signed
  * base-10 integer pattern.
  *
@@ -4266,6 +4423,7 @@ export declare const isStringBigInt: (annotations?: Annotations.Filter) => AST.F
  * symbol string encoding.
  *
  * **Details**
+ *
  * The check uses the pattern `^Symbol\((.*)\)$`. It is not a general test for
  * whether a string can be passed to JavaScript's `Symbol()` function.
  *
@@ -4278,12 +4436,14 @@ export declare const isStringSymbol: (annotations?: Annotations.Filter) => AST.F
  * Optionally specify a version (1-8) to validate against a specific UUID version.
  * If no version is specified (`undefined`), all versions are supported.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to a `pattern` constraint in JSON Schema that matches
  * UUID format, and includes a `format: "uuid"` annotation.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `patterns`
  * constraint to ensure generated strings match the UUID pattern.
@@ -4296,12 +4456,14 @@ export declare function isUUID(version?: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8, annotati
  * Validates that a string is a valid ULID (Universally Unique Lexicographically
  * Sortable Identifier).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to a `pattern` constraint in JSON Schema that matches
  * the ULID format.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `patterns`
  * constraint to ensure generated strings match the ULID pattern.
@@ -4313,12 +4475,14 @@ export declare function isULID(annotations?: Annotations.Filter): AST.Filter<str
 /**
  * Validates that a string is valid Base64 encoded data.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to a `pattern` constraint in JSON Schema that matches
  * Base64 format.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `patterns`
  * constraint to ensure generated strings match the Base64 pattern.
@@ -4331,12 +4495,14 @@ export declare function isBase64(annotations?: Annotations.Filter): AST.Filter<s
  * Validates that a string is valid Base64URL encoded data (Base64 with URL-safe
  * characters).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to a `pattern` constraint in JSON Schema that matches
  * Base64URL format.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `patterns`
  * constraint to ensure generated strings match the Base64URL pattern.
@@ -4348,7 +4514,9 @@ export declare function isBase64Url(annotations?: Annotations.Filter): AST.Filte
 /**
  * Validates at runtime that a string starts with the specified literal prefix.
  *
- * **Notes**
+ * **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.
@@ -4360,7 +4528,9 @@ export declare function isStartsWith(startsWith: string, annotations?: Annotatio
 /**
  * Validates at runtime that a string ends with the specified literal suffix.
  *
- * **Notes**
+ * **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.
@@ -4372,7 +4542,9 @@ export declare function isEndsWith(endsWith: string, annotations?: Annotations.F
 /**
  * Validates at runtime that a string contains the specified literal substring.
  *
- * **Notes**
+ * **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.
@@ -4385,6 +4557,7 @@ export declare function isIncludes(includes: string, annotations?: Annotations.F
  * Validates that a string is unchanged by JavaScript's `toUpperCase()`.
  *
  * **Details**
+ *
  * This accepts empty strings and characters that do not have lowercase forms,
  * such as digits, punctuation, and whitespace. It rejects strings that would
  * change when uppercased.
@@ -4397,6 +4570,7 @@ export declare function isUppercased(annotations?: Annotations.Filter): AST.Filt
  * Validates that a string is unchanged by JavaScript's `toLowerCase()`.
  *
  * **Details**
+ *
  * This accepts empty strings and characters that do not have uppercase forms,
  * such as digits, punctuation, and whitespace. It rejects strings that would
  * change when lowercased.
@@ -4410,6 +4584,7 @@ export declare function isLowercased(annotations?: Annotations.Filter): AST.Filt
  * `toUpperCase()`.
  *
  * **Details**
+ *
  * Empty strings pass. Strings whose first character has no lowercase form, such
  * as a digit, punctuation mark, or whitespace, also pass.
  *
@@ -4422,6 +4597,7 @@ export declare function isCapitalized(annotations?: Annotations.Filter): AST.Fil
  * `toLowerCase()`.
  *
  * **Details**
+ *
  * Empty strings pass. Strings whose first character has no uppercase form, such
  * as a digit, punctuation mark, or whitespace, also pass.
  *
@@ -4432,12 +4608,14 @@ export declare function isUncapitalized(annotations?: Annotations.Filter): AST.F
 /**
  * Validates that a number is finite (not `Infinity`, `-Infinity`, or `NaN`).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check does not have a direct JSON Schema equivalent, but ensures the
  * number is valid and finite.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies `noDefaultInfinity`
  * and `noNaN` constraints to ensure generated numbers are finite.
@@ -4532,11 +4710,13 @@ export declare function makeIsMultipleOf<T>(options: {
 /**
  * Validates that a number is greater than the specified value (exclusive).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `exclusiveMinimum` constraint in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `min` constraint
  * with `minExcluded: true` to ensure generated numbers are greater than the
@@ -4550,11 +4730,13 @@ export declare const isGreaterThan: (exclusiveMinimum: number, annotations?: Ann
  * Validates that a number is greater than or equal to the specified value
  * (inclusive).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `minimum` constraint in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `min` constraint
  * to ensure generated numbers are greater than or equal to the specified value.
@@ -4566,11 +4748,13 @@ export declare const isGreaterThanOrEqualTo: (minimum: number, annotations?: Ann
 /**
  * Validates that a number is less than the specified value (exclusive).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `exclusiveMaximum` constraint in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `max` constraint
  * with `maxExcluded: true` to ensure generated numbers are less than the
@@ -4584,11 +4768,13 @@ export declare const isLessThan: (exclusiveMaximum: number, annotations?: Annota
  * Validates that a number is less than or equal to the specified value
  * (inclusive).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `maximum` constraint in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `max` constraint
  * to ensure generated numbers are less than or equal to the specified value.
@@ -4601,12 +4787,14 @@ export declare const isLessThanOrEqualTo: (maximum: number, annotations?: Annota
  * Validates that a number is within a specified range. The range boundaries can
  * be inclusive or exclusive based on the provided options.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to `minimum`/`maximum` or `exclusiveMinimum`/`exclusiveMaximum`
  * constraints in JSON Schema, depending on the options provided.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies `min` and `max`
  * constraints with optional `minExcluded` and `maxExcluded` flags to ensure
@@ -4624,11 +4812,13 @@ export declare const isBetween: (options: {
 /**
  * Validates that a number is a multiple of the specified divisor.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `multipleOf` constraint in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies constraints to ensure
  * generated numbers are multiples of the specified divisor.
@@ -4641,11 +4831,13 @@ export declare const isMultipleOf: (divisor: number, annotations?: Annotations.F
  * Validates that a number is a safe integer (within the safe integer range
  * that can be exactly represented in JavaScript).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `type: "integer"` constraint in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies an `isInteger: true`
  * constraint to ensure generated numbers are integers.
@@ -4658,12 +4850,14 @@ export declare function isInt(annotations?: Annotations.Filter): AST.Filter<numb
  * Validates that a number is a 32-bit signed integer (range: -2,147,483,648 to
  * 2,147,483,647).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `format: "int32"` constraint in OpenAPI 3.1,
  * or `minimum`/`maximum` constraints in other JSON Schema targets.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies integer and range
  * constraints to ensure generated numbers are 32-bit signed integers.
@@ -4676,12 +4870,14 @@ export declare function isInt32(annotations?: Annotations.Filter): AST.FilterGro
  * Validates that a number is a 32-bit unsigned integer (range: 0 to
  * 4,294,967,295).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `format: "uint32"` constraint in OpenAPI 3.1,
  * or `minimum`/`maximum` constraints in other JSON Schema targets.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies integer and range
  * constraints to ensure generated numbers are 32-bit unsigned integers.
@@ -4694,12 +4890,14 @@ export declare function isUint32(annotations?: Annotations.Filter): AST.FilterGr
  * Validates that a Date object represents a valid date (not an invalid date
  * like `new Date("invalid")`).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check does not have a direct JSON Schema equivalent, as JSON Schema
  * validates date strings, not Date objects.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `noInvalidDate`
  * constraint to ensure generated Date objects are valid.
@@ -4711,7 +4909,9 @@ export declare function isDateValid(annotations?: Annotations.Filter): AST.Filte
 /**
  * Validates that a Date is greater than the specified value (exclusive).
  *
- * **Arbitrary**
+ * **Details**
+ *
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `min` constraint
  * with `minExcluded: true` to ensure generated Date objects are greater than the
@@ -4725,12 +4925,14 @@ export declare const isGreaterThanDate: (exclusiveMinimum: globalThis.Date, anno
  * Validates that a Date is greater than or equal to the specified date
  * (inclusive).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check does not have a direct JSON Schema equivalent, as JSON Schema
  * validates date strings, not Date objects.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `min` constraint
  * to ensure generated Date objects are greater than or equal to the specified
@@ -4743,7 +4945,9 @@ export declare const isGreaterThanOrEqualToDate: (minimum: globalThis.Date, anno
 /**
  * Validates that a Date is less than the specified value (exclusive).
  *
- * **Arbitrary**
+ * **Details**
+ *
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `max` constraint
  * with `maxExcluded: true` to ensure generated Date objects are less than the
@@ -4757,12 +4961,14 @@ export declare const isLessThanDate: (exclusiveMaximum: globalThis.Date, annotat
  * Validates that a Date is less than or equal to the specified date
  * (inclusive).
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check does not have a direct JSON Schema equivalent, as JSON Schema
  * validates date strings, not Date objects.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `max` constraint
  * to ensure generated Date objects are less than or equal to the specified
@@ -4776,12 +4982,14 @@ export declare const isLessThanOrEqualToDate: (maximum: globalThis.Date, annotat
  * Validates that a Date is within a specified range. The range boundaries can
  * be inclusive or exclusive based on the provided options.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check does not have a direct JSON Schema equivalent, as JSON Schema
  * validates date strings, not Date objects.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies `min` and `max`
  * constraints to ensure generated Date objects fall within the specified range.
@@ -4798,7 +5006,9 @@ export declare const isBetweenDate: (options: {
 /**
  * Validates that a BigInt is greater than the specified value (exclusive).
  *
- * **Arbitrary**
+ * **Details**
+ *
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `min` constraint
  * with `minExcluded: true` to ensure generated BigInts are greater than the
@@ -4812,7 +5022,9 @@ export declare const isGreaterThanBigInt: (exclusiveMinimum: bigint, annotations
  * Validates that a BigInt is greater than or equal to the specified value
  * (inclusive).
  *
- * **Arbitrary**
+ * **Details**
+ *
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `min` constraint
  * to ensure generated BigInt values are greater than or equal to the specified
@@ -4825,7 +5037,9 @@ export declare const isGreaterThanOrEqualToBigInt: (minimum: bigint, annotations
 /**
  * Validates that a BigInt is less than the specified value (exclusive).
  *
- * **Arbitrary**
+ * **Details**
+ *
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `max` constraint
  * with `maxExcluded: true` to ensure generated BigInts are less than the
@@ -4839,7 +5053,9 @@ export declare const isLessThanBigInt: (exclusiveMaximum: bigint, annotations?:
  * Validates that a BigInt is less than or equal to the specified value
  * (inclusive).
  *
- * **Arbitrary**
+ * **Details**
+ *
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `max` constraint
  * to ensure generated BigInt values are less than or equal to the specified
@@ -4853,7 +5069,9 @@ export declare const isLessThanOrEqualToBigInt: (maximum: bigint, annotations?:
  * Validates that a BigInt is within a specified range. The range boundaries can
  * be inclusive or exclusive based on the provided options.
  *
- * **Arbitrary**
+ * **Details**
+ *
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies `min` and `max`
  * constraints to ensure generated BigInt values fall within the specified
@@ -4902,6 +5120,7 @@ export declare const isLessThanOrEqualToBigDecimal: (maximum: BigDecimal_.BigDec
  * Validates that a `BigDecimal` is within a specified range.
  *
  * **Details**
+ *
  * The minimum and maximum boundaries are inclusive by default. Pass
  * `exclusiveMinimum` or `exclusiveMaximum` to exclude either boundary.
  *
@@ -4918,12 +5137,14 @@ export declare const isBetweenBigDecimal: (options: {
  * Validates that a value has at least the specified length. Works with strings
  * and arrays.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `minLength` constraint for strings or the
  * `minItems` constraint for arrays in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `minLength`
  * constraint to ensure generated strings or arrays have at least the required
@@ -4948,12 +5169,14 @@ export declare function isMinLength(minLength: number, annotations?: Annotations
  * Validates that a value has at least one element. Works with strings and arrays.
  * This is equivalent to `isMinLength(1)`.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `minLength: 1` constraint for strings or the
  * `minItems: 1` constraint for arrays in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `minLength: 1`
  * constraint to ensure generated strings or arrays are non-empty.
@@ -4968,12 +5191,14 @@ export declare function isNonEmpty(annotations?: Annotations.Filter): AST.Filter
  * Validates that a value has at most the specified length. Works with strings
  * and arrays.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `maxLength` constraint for strings or the
  * `maxItems` constraint for arrays in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `maxLength`
  * constraint to ensure generated strings or arrays have at most the required
@@ -4989,12 +5214,14 @@ export declare function isMaxLength(maxLength: number, annotations?: Annotations
  * Validates that a value's length is within the specified range. Works with
  * strings and arrays.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to `minLength`/`maxLength` constraints for strings
  * or `minItems`/`maxItems` constraints for arrays in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies `minLength` and
  * `maxLength` constraints to ensure generated strings or arrays have a length
@@ -5010,12 +5237,14 @@ export declare function isLengthBetween(minimum: number, maximum: number, annota
  * Validates that a value has at least the specified size. Works with values
  * that have a `size` property, such as `Set` or `Map`.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check does not have a direct JSON Schema equivalent, as it applies to
  * values with a `size` property rather than standard JSON Schema types.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `minLength`
  * constraint to the array representation to ensure generated values have at
@@ -5031,12 +5260,14 @@ export declare function isMinSize(minSize: number, annotations?: Annotations.Fil
  * Validates that a value has at most the specified size. Works with values
  * that have a `size` property, such as `Set` or `Map`.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check does not have a direct JSON Schema equivalent, as it applies to
  * values with a `size` property rather than standard JSON Schema types.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `maxLength`
  * constraint to the array representation to ensure generated values have at
@@ -5052,12 +5283,14 @@ export declare function isMaxSize(maxSize: number, annotations?: Annotations.Fil
  * Validates that a value's size is within the specified range. Works with
  * values that have a `size` property, such as `Set` or `Map`.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check does not have a direct JSON Schema equivalent, as it applies to
  * values with a `size` property rather than standard JSON Schema types.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies `minLength` and
  * `maxLength` constraints to ensure generated values have a size within the
@@ -5074,11 +5307,13 @@ export declare function isSizeBetween(minimum: number, maximum: number, annotati
  * properties. This includes both string and symbol keys when counting
  * properties.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `minProperties` constraint in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `minLength`
  * constraint to the array of entries that is generated before being converted
@@ -5093,11 +5328,13 @@ export declare function isMinProperties(minProperties: number, annotations?: Ann
  * Validates that an object contains at most the specified number of properties.
  * This includes both string and symbol keys when counting properties.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to the `maxProperties` constraint in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies a `maxLength`
  * constraint to the array of entries that is generated before being converted
@@ -5112,12 +5349,14 @@ export declare function isMaxProperties(maxProperties: number, annotations?: Ann
  * Validates that an object contains between `minimum` and `maximum` properties (inclusive).
  * This includes both string and symbol keys when counting properties.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  *
  * This check corresponds to `minProperties` and `maxProperties`
  * constraints in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  *
  * When generating test data with fast-check, this applies `minLength` and
  * `maxLength` constraints to the array of entries that is generated before
@@ -5132,10 +5371,11 @@ export declare function isPropertiesLengthBetween(minimum: number, maximum: numb
  * of the provided key schema.
  *
  * **Details**
+ *
  * This check uses `Reflect.ownKeys`, so symbol keys are validated in addition to
  * string property names.
  *
- * **JSON Schema**
+ * JSON Schema:
  * For string property names, this corresponds to the `propertyNames` constraint
  * in JSON Schema.
  *
@@ -5146,10 +5386,12 @@ export declare function isPropertyNames(keySchema: Top, annotations?: Annotation
 /**
  * Validates that all items in an array are unique according to Effect equality.
  *
- * **JSON Schema**
+ * **Details**
+ *
+ * JSON Schema:
  * This check corresponds to the `uniqueItems: true` constraint in JSON Schema.
  *
- * **Arbitrary**
+ * Arbitrary:
  * When generating test data with fast-check, this applies a comparator based on
  * Effect equality to ensure generated arrays contain only unique items.
  *
@@ -5220,6 +5462,7 @@ export interface Option<A extends Top> extends declareConstructor<Option_.Option
  * Iso representation used for `Option` schemas.
  *
  * **Details**
+ *
  * `None` is represented as `{ _tag: "None" }`, while `Some` is represented as
  * `{ _tag: "Some", value }` using the wrapped schema's `Iso` type.
  *
@@ -5252,6 +5495,8 @@ export interface OptionFromNullOr<S extends Top> extends decodeTo<Option<toType<
 /**
  * Decodes a nullable, required value `T` to a required `Option<T>` value.
  *
+ * **Details**
+ *
  * Decoding:
  * - `null` is decoded as `None`
  * - other values are decoded as `Some`
@@ -5277,6 +5522,8 @@ export interface OptionFromUndefinedOr<S extends Top> extends decodeTo<Option<to
 /**
  * Decodes an undefined-or value `T` to a required `Option<T>` value.
  *
+ * **Details**
+ *
  * Decoding:
  * - `undefined` is decoded as `None`
  * - other values are decoded as `Some`
@@ -5302,6 +5549,8 @@ export interface OptionFromNullishOr<S extends Top> extends decodeTo<Option<toTy
 /**
  * Decodes a nullish value `T` to a required `Option<T>` value.
  *
+ * **Details**
+ *
  * Decoding:
  * - `null` and `undefined` are decoded as `None`
  * - other values are decoded as `Some`
@@ -5329,6 +5578,8 @@ export interface OptionFromOptionalKey<S extends Top> extends decodeTo<Option<to
 /**
  * Decodes an optional value `A` to a required `Option<A>` value.
  *
+ * **Details**
+ *
  * Decoding:
  * - a missing key is decoded as `None`
  * - a present value is decoded as `Some`
@@ -5355,6 +5606,8 @@ export interface OptionFromOptional<S extends Top> extends decodeTo<Option<toTyp
  * Decodes an optional or `undefined` value `A` to an required `Option<A>`
  * value.
  *
+ * **Details**
+ *
  * Decoding:
  * - a missing key is decoded as `None`
  * - a present key with an `undefined` value is decoded as `None`
@@ -5382,6 +5635,8 @@ export interface OptionFromOptionalNullOr<S extends Top> extends decodeTo<Option
  * Decodes an optional or `null` or `undefined` value `A` to a required `Option<A>`
  * value.
  *
+ * **Details**
+ *
  * Decoding:
  * - a missing key is decoded as `None`
  * - a present key with an `undefined` value is decoded as `None`
@@ -5416,6 +5671,7 @@ export interface Result<A extends Top, E extends Top> extends declareConstructor
  * Iso representation used for `Result` schemas.
  *
  * **Details**
+ *
  * Successful results are represented as `{ _tag: "Success", success }`, while
  * failed results are represented as `{ _tag: "Failure", failure }`.
  *
@@ -5451,10 +5707,12 @@ export interface Redacted<S extends Top> extends declareConstructor<Redacted_.Re
  * Creates a schema for the `Redacted` type, providing secure handling of
  * sensitive information.
  *
+ * **Details**
+ *
  * If the wrapped schema fails, the issue will be redacted to prevent both
  * the actual value and the schema details from being exposed.
  *
- * **Options**
+ * Options:
  *
  * - `label`: When provided, the schema will behave as follows:
  *   - Values will be validated against the label in addition to the wrapped schema
@@ -5462,7 +5720,7 @@ export interface Redacted<S extends Top> extends declareConstructor<Redacted_.Re
  *   - The arbitrary generator will produce a `Redacted` instance with the label
  *   - The formatter will return the label
  *
- * **Default JSON serializer**
+ * Default JSON serializer:
  *
  * The default JSON serializer will fail when attempting to serialize a `Redacted` value,
  * but it will deserialize a value into a `Redacted` instance.
@@ -5508,6 +5766,7 @@ export declare function RedactedFromValue<S extends Top>(value: S, options?: {
  * (`Interrupt`).
  *
  * **Details**
+ *
  * The `error` schema validates typed failures and the `defect` schema validates
  * unexpected defects.
  *
@@ -5523,6 +5782,7 @@ export interface CauseReason<E extends Top, D extends Top> extends declareConstr
  * Iso representation used for `CauseReason` schemas.
  *
  * **Details**
+ *
  * Failures are represented with a `Fail` tag and encoded error, defects with a
  * `Die` tag and encoded defect, and interrupts with an optional `fiberId`.
  *
@@ -5552,6 +5812,7 @@ export declare function CauseReason<E extends Top, D extends Top>(error: E, defe
  * reasons combining typed errors, defects, and interrupts.
  *
  * **Details**
+ *
  * The `error` schema validates typed failures and the `defect` schema validates
  * unexpected defects.
  *
@@ -5591,7 +5852,9 @@ export interface Error extends instanceOf<globalThis.Error> {
 /**
  * A schema for JavaScript `Error` objects.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  * Encodes an `Error` as an object with `message` and optional `name` properties,
  * and decodes that object back into an `Error`. The stack trace is omitted from
  * the encoded form for security.
@@ -5604,7 +5867,9 @@ export declare const Error: Error;
  * A schema for JavaScript `Error` objects that preserves stack traces in the JSON
  * encoded form.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  * Encodes an `Error` as an object with `message`, optional `name`, and optional
  * `stack` properties, and decodes that object back into an `Error`.
  *
@@ -5633,7 +5898,9 @@ export interface Defect extends Union<readonly [
  * A schema for defect values, accepting either JavaScript `Error` values encoded
  * with `message` and optional `name`, or arbitrary unknown defect values.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  * Unknown defects are serialized with `JSON.stringify` when possible and fall
  * back to Effect's formatted representation when JSON serialization fails.
  *
@@ -5666,6 +5933,7 @@ export interface Exit<A extends Top, E extends Top, D extends Top> extends decla
  * Iso representation used for `Exit` schemas.
  *
  * **Details**
+ *
  * Successful exits are represented as `{ _tag: "Success", value }`, while failed
  * exits are represented as `{ _tag: "Failure", cause }`.
  *
@@ -5836,6 +6104,8 @@ export interface RegExp extends instanceOf<globalThis.RegExp> {
 /**
  * Schema for JavaScript `RegExp` objects.
  *
+ * **Details**
+ *
  * The default JSON serializer encodes a `RegExp` as `{ source, flags }`.
  *
  * @category RegExp
@@ -5854,7 +6124,9 @@ export interface URL extends instanceOf<globalThis.URL> {
 /**
  * A schema for JavaScript `URL` objects.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * - encodes `URL` as a `string`
  *
@@ -5875,6 +6147,8 @@ export interface URLFromString extends decodeTo<URL, String> {
 /**
  * A transformation schema that decodes a `string` into a `URL`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** URL `string` is decoded as a `URL`
  *
@@ -5898,6 +6172,8 @@ export interface Date extends instanceOf<globalThis.Date> {
 /**
  * A schema for JavaScript `Date` objects.
  *
+ * **Details**
+ *
  * This schema accepts any `Date` instance, including invalid dates. For
  * validating only valid dates, use `DateValid` instead. The default JSON
  * serializer encodes valid dates as ISO 8601 strings; invalid dates encode as
@@ -5929,11 +6205,13 @@ export interface DateFromString extends decodeTo<Date, String> {
 /**
  * A transformation schema that decodes a string into a JavaScript `Date`.
  *
- * **Decoding**
+ * **Details**
+ *
+ * Decoding:
  * The string is passed to JavaScript `Date` construction and may decode to an
  * invalid `Date`. Compose with `DateValid` when invalid dates should be rejected.
  *
- * **Encoding**
+ * Encoding:
  * A valid `Date` is encoded as an ISO string; an invalid `Date` is encoded as
  * `"Invalid Date"`.
  *
@@ -5954,6 +6232,8 @@ export interface DateValid extends Date {
 /**
  * A schema for **valid** JavaScript `Date` objects.
  *
+ * **Details**
+ *
  * This schema accepts `Date` instances but rejects invalid dates (such as `new
  * Date("invalid")`).
  *
@@ -5973,6 +6253,8 @@ export interface Duration extends declare<Duration_.Duration> {
 /**
  * A schema for `Duration` values.
  *
+ * **Details**
+ *
  * The default JSON serializer encodes `Duration` as a tagged object with the
  * duration type and value.
  *
@@ -6003,6 +6285,8 @@ export interface DurationFromString extends decodeTo<Duration, String> {
 /**
  * A transformation schema that parses a string into a `Duration`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A `string` is decoded as a `Duration`, accepting any format that
  *   `Duration.fromInput` can parse.
@@ -6028,10 +6312,12 @@ export interface DurationFromNanos extends decodeTo<Duration, BigInt> {
  * A transformation schema that decodes a non-negative `bigint` into a
  * `Duration`, treating the bigint as nanoseconds.
  *
- * **Decoding**
+ * **Details**
+ *
+ * Decoding:
  * A non-negative `bigint` representing nanoseconds is decoded as a `Duration`.
  *
- * **Encoding**
+ * 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`.
@@ -6055,6 +6341,8 @@ export interface DurationFromMillis extends decodeTo<Duration, Number> {
  * integer into a `Duration`, treating the integer value as the duration in
  * milliseconds.
  *
+ * **Details**
+ *
  * Decoding:
  * - A non-negative (possibly infinite) integer representing milliseconds is
  *   decoded as a `Duration`
@@ -6079,7 +6367,9 @@ export interface BigDecimal extends declare<BigDecimal_.BigDecimal> {
 /**
  * A schema for `BigDecimal` values.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * - encodes `BigDecimal` as a `string`
  *
@@ -6100,6 +6390,8 @@ export interface BigDecimalFromString extends decodeTo<BigDecimal, String> {
 /**
  * A transformation schema that parses a string into a `BigDecimal`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A `string` is decoded as a `BigDecimal`.
  *
@@ -6123,6 +6415,8 @@ export interface UnknownFromJsonString extends fromJsonString<Unknown> {
 /**
  * A transformation schema that decodes a JSON-encoded string into an `unknown` value.
  *
+ * **Details**
+ *
  * Decoding:
  * - A `string` is decoded as an `unknown` value.
  * - If the string is not valid JSON, decoding fails.
@@ -6158,12 +6452,20 @@ export interface fromJsonString<S extends Top> extends decodeTo<S, String> {
  * Returns a schema that decodes a JSON string and then decodes the parsed value
  * using the given schema.
  *
+ * **Details**
+ *
  * This is useful when working with JSON-encoded strings where the actual
  * structure of the value is known and described by an existing schema.
  *
  * 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
@@ -6176,12 +6478,6 @@ export interface fromJsonString<S extends Top> extends decodeTo<S, String> {
  * // => { a: 1 }
  * ```
  *
- * **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** (Emitting JSON Schema for a JSON string decoder)
  *
  * ```ts
@@ -6231,6 +6527,8 @@ export interface File extends instanceOf<globalThis.File> {
 /**
  * Schema for JavaScript `File` objects.
  *
+ * **Details**
+ *
  * The default JSON serializer encodes a `File` as `{ data, type, name, lastModified }`
  * where `data` is base64-encoded.
  *
@@ -6250,6 +6548,8 @@ export interface FormData extends instanceOf<globalThis.FormData> {
 /**
  * Schema for JavaScript `FormData` objects.
  *
+ * **Details**
+ *
  * The default JSON serializer encodes a `FormData` as an array of `[key, entry]`
  * pairs where each entry is tagged as `"String"` or `"File"`.
  *
@@ -6272,11 +6572,20 @@ export interface fromFormData<S extends Top> extends decodeTo<S, FormData> {
  * converts it into a tree record using bracket notation, and then decodes the
  * resulting structure using the provided schema.
  *
+ * **Details**
+ *
  * The decoding process has two steps:
  *
  * 1. Parse `FormData` into a nested tree record.
  * 2. Decode the parsed value with the given schema.
  *
+ * You can express nested values using bracket notation.
+ *
+ * If you want to decode values that are not strings, use
+ * `Schema.toCodecStringTree` with the `keepDeclarations: true` option.
+ * This serializer preserves values such as numbers and `Blob` objects when
+ * compatible with the schema.
+ *
  * **Example** (Decoding a flat structure)
  *
  * ```ts
@@ -6296,8 +6605,6 @@ export interface fromFormData<S extends Top> extends decodeTo<S, FormData> {
  * // Success({"a":"1"})
  * ```
  *
- * You can express nested values using bracket notation.
- *
  * **Example** (Nested fields)
  *
  * ```ts
@@ -6322,11 +6629,6 @@ export interface fromFormData<S extends Top> extends decodeTo<S, FormData> {
  * // Success({"a":"1","b":{"c":"2","d":"3"}})
  * ```
  *
- * If you want to decode values that are not strings, use
- * `Schema.toCodecStringTree` with the `keepDeclarations: true` option.
- * This serializer preserves values such as numbers and `Blob` objects when
- * compatible with the schema.
- *
  * **Example** (Parsing non-string values)
  *
  * ```ts
@@ -6365,6 +6667,8 @@ export interface URLSearchParams extends instanceOf<globalThis.URLSearchParams>
 /**
  * Schema for JavaScript `URLSearchParams` objects.
  *
+ * **Details**
+ *
  * The default JSON serializer encodes a `URLSearchParams` as a query string.
  *
  * @category URLSearchParams
@@ -6386,11 +6690,19 @@ export interface fromURLSearchParams<S extends Top> extends decodeTo<S, URLSearc
  * instance, converts it into a tree record using bracket notation, and then
  * decodes the resulting structure using the provided schema.
  *
+ * **Details**
+ *
  * The decoding process has two steps:
  *
  * 1. Parse `URLSearchParams` into a nested tree record.
  * 2. Decode the parsed value with the given schema.
  *
+ * You can express nested values using bracket notation.
+ *
+ * If you want to decode values that are not strings, use
+ * `Schema.toCodecStringTree`. This serializer preserves values such as
+ * numbers when compatible with the schema.
+ *
  * **Example** (Decoding a flat structure)
  *
  * ```ts
@@ -6407,7 +6719,6 @@ export interface fromURLSearchParams<S extends Top> extends decodeTo<S, URLSearc
  * console.log(String(Schema.decodeUnknownExit(schema)(urlSearchParams)))
  * // Success({"a":"1"})
  * ```
- * You can express nested values using bracket notation.
  *
  * **Example** (Nested fields)
  *
@@ -6430,10 +6741,6 @@ export interface fromURLSearchParams<S extends Top> extends decodeTo<S, URLSearc
  * // Success({"a":"1","b":{"c":"2","d":"3"}})
  * ```
  *
- * If you want to decode values that are not strings, use
- * `Schema.toCodecStringTree`. This serializer preserves values such as
- * numbers when compatible with the schema.
- *
  * **Example** (Parsing non-string values)
  *
  * ```ts
@@ -6505,12 +6812,14 @@ export interface NumberFromString extends decodeTo<Finite, String> {
  * A transformation schema that parses a string into a `number` using JavaScript
  * number coercion.
  *
- * **Decoding**
+ * **Details**
+ *
+ * Decoding:
  * A `string` is decoded as a number, including possible non-finite values such as
  * `NaN`, `Infinity`, and `-Infinity`. Use `FiniteFromString` to reject non-finite
  * numbers.
  *
- * **Encoding**
+ * Encoding:
  * A number is encoded as a `string`.
  *
  * @category Number
@@ -6530,6 +6839,8 @@ export interface FiniteFromString extends decodeTo<Finite, String> {
 /**
  * A transformation schema that parses a string into a finite number.
  *
+ * **Details**
+ *
  * Decoding:
  * - A `string` is decoded as a finite number, rejecting `NaN`, `Infinity`, and
  *   `-Infinity` values.
@@ -6554,6 +6865,8 @@ export interface BigIntFromString extends decodeTo<BigInt, String> {
 /**
  * A transformation schema that parses a string into a `bigint`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A `string` is decoded as a `bigint`.
  *
@@ -6594,6 +6907,8 @@ export interface Trim extends decodeTo<Trimmed, String> {
 /**
  * A transformation schema that trims whitespace from a string.
  *
+ * **Details**
+ *
  * Decoding:
  * - A `string` is decoded as a string with no leading or trailing whitespaces.
  *
@@ -6617,6 +6932,8 @@ export interface StringFromBase64 extends decodeTo<String, String> {
 /**
  * Decodes a base64 (RFC4648) encoded string into a UTF-8 string.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** base64 encoded string is decoded as a UTF-8 `string`.
  *
@@ -6640,6 +6957,8 @@ export interface StringFromBase64Url extends decodeTo<String, String> {
 /**
  * Decodes a base64 (URL) encoded string into a UTF-8 string.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** base64 (URL) encoded string is decoded as a UTF-8 `string`.
  *
@@ -6663,6 +6982,8 @@ export interface StringFromHex extends decodeTo<String, String> {
 /**
  * Decodes a hex encoded string into a UTF-8 string.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** hex encoded string is decoded as a UTF-8 `string`.
  *
@@ -6687,6 +7008,8 @@ export interface StringFromUriComponent extends decodeTo<String, String> {
  * Decodes a URI component encoded string into a UTF-8 string.
  * Can be used to store data in a URL.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** URI component encoded string is decoded as a UTF-8 `string`.
  *
@@ -6726,6 +7049,8 @@ export declare const PropertyKey: Union<readonly [Finite, Symbol, String]>;
 /**
  * Schema for a Standard Schema v1 failure result.
  *
+ * **Details**
+ *
  * The result contains an `issues` array where each issue has a message and an
  * optional path made of property keys or keyed path segments.
  *
@@ -6770,7 +7095,9 @@ export interface Uint8Array extends instanceOf<globalThis.Uint8Array<ArrayBuffer
 /**
  * A schema for JavaScript `Uint8Array` objects.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * The default JSON serializer encodes Uint8Array as a Base64 encoded string.
  *
@@ -6792,6 +7119,8 @@ export interface Uint8ArrayFromBase64 extends decodeTo<Uint8Array, String> {
  * A transformation schema that decodes a base64 encoded string into a
  * `Uint8Array`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** base64 encoded string is decoded as a `Uint8Array`.
  *
@@ -6816,6 +7145,8 @@ export interface Uint8ArrayFromBase64Url extends decodeTo<Uint8Array, String> {
  * A transformation schema that decodes a base64 (URL) encoded string into a
  * `Uint8Array`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** base64 (URL) encoded string is decoded as a `Uint8Array`.
  *
@@ -6840,6 +7171,8 @@ export interface Uint8ArrayFromHex extends decodeTo<Uint8Array, String> {
  * A transformation schema that decodes a hex encoded string into a
  * `Uint8Array`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** hex encoded string is decoded as a `Uint8Array`.
  *
@@ -6863,7 +7196,9 @@ export interface DateTimeUtc extends declare<DateTime.Utc> {
 /**
  * A schema for `DateTime.Utc` values.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * - encodes `DateTime.Utc` as a UTC ISO string
  *
@@ -6884,6 +7219,8 @@ export interface DateTimeUtcFromDate extends decodeTo<DateTimeUtc, Date> {
 /**
  * A transformation schema that decodes a `Date` into a `DateTime.Utc`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** `Date` is decoded as a `DateTime.Utc`
  *
@@ -6907,6 +7244,8 @@ export interface DateTimeUtcFromString extends decodeTo<DateTimeUtc, String> {
 /**
  * A transformation schema that decodes a date-time string into a `DateTime.Utc`.
  *
+ * **Details**
+ *
  * Decoding:
  *
  * - A string accepted by `DateTime.make` is parsed and normalized to UTC. Strings
@@ -6933,6 +7272,8 @@ export interface DateTimeUtcFromMillis extends decodeTo<instanceOf<DateTime.Utc>
 /**
  * A transformation schema that decodes a number into a `DateTime.Utc`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A number of milliseconds since the Unix epoch is decoded as a `DateTime.Utc`
  *
@@ -6956,7 +7297,9 @@ export interface TimeZoneOffset extends declare<DateTime.TimeZone.Offset> {
 /**
  * A schema for `DateTime.TimeZone.Offset` values.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * - encodes `DateTime.TimeZone.Offset` as a number (offset in milliseconds)
  *
@@ -6977,7 +7320,9 @@ export interface TimeZoneNamed extends declare<DateTime.TimeZone.Named> {
 /**
  * A schema for `DateTime.TimeZone.Named` values.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * - encodes `DateTime.TimeZone.Named` as a string (IANA time zone identifier)
  *
@@ -6998,6 +7343,8 @@ export interface TimeZoneNamedFromString extends decodeTo<TimeZoneNamed, String>
 /**
  * A transformation schema that parses an IANA time zone identifier string into a `DateTime.TimeZone.Named`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A `string` is decoded as a `DateTime.TimeZone.Named`.
  *
@@ -7021,7 +7368,9 @@ export interface TimeZone extends declare<DateTime.TimeZone> {
 /**
  * A schema for `DateTime.TimeZone` values.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * - encodes `DateTime.TimeZone` as a string (IANA identifier or offset like
  *   `+03:00`)
@@ -7043,6 +7392,8 @@ export interface TimeZoneFromString extends decodeTo<TimeZone, String> {
 /**
  * A transformation schema that parses a time zone string into a `DateTime.TimeZone`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A `string` (IANA identifier or offset like `+03:00`) is decoded as a `DateTime.TimeZone`.
  *
@@ -7066,7 +7417,9 @@ export interface DateTimeZoned extends declare<DateTime.Zoned> {
 /**
  * A schema for `DateTime.Zoned` values.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * - encodes offset zones as an ISO date-time with a numeric offset, such as
  *   `YYYY-MM-DDTHH:mm:ss.sss+HH:MM`
@@ -7090,6 +7443,8 @@ export interface DateTimeZonedFromString extends decodeTo<DateTimeZoned, String>
 /**
  * A transformation schema that parses a zoned DateTime string into a `DateTime.Zoned`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A `string` (e.g. `2024-01-01T00:00:00.000+00:00[Europe/London]`) is decoded as a `DateTime.Zoned`.
  *
@@ -7103,6 +7458,8 @@ export declare const DateTimeZonedFromString: DateTimeZonedFromString;
 /**
  * Interface for schema-backed classes created with {@link Class}.
  *
+ * **Details**
+ *
  * A `Class` is a TypeScript class whose constructor validates its input
  * against a {@link Struct} schema. Instances are always structurally valid.
  *
@@ -7121,7 +7478,9 @@ export interface Class<Self, S extends Top & {
     /**
      * Returns a new struct with the fields modified by the provided function.
      *
-     * **Options**
+     * **Details**
+     *
+     * Options:
      *
      * - `unsafePreserveChecks` - if `true`, keep any `.check(...)` constraints
      *   that were attached to the original struct. Defaults to `false`.
@@ -7144,6 +7503,8 @@ type MissingSelfGeneric<Usage extends string> = `Missing \`Self\` generic - use
  * {@link Struct} schema. Construction throws a {@link SchemaError} on invalid
  * input (unless `disableChecks` is set in the options).
  *
+ * **Details**
+ *
  * Pass the desired class type as the first type parameter. The second optional
  * type parameter can be used to add nominal brands.
  *
@@ -7189,6 +7550,8 @@ export declare const Class: {
      * {@link Struct} schema. Construction throws a {@link SchemaError} on invalid
      * input (unless `disableChecks` is set in the options).
      *
+     * **Details**
+     *
      * Pass the desired class type as the first type parameter. The second optional
      * type parameter can be used to add nominal brands.
      *
@@ -7234,6 +7597,8 @@ export declare const Class: {
          * {@link Struct} schema. Construction throws a {@link SchemaError} on invalid
          * input (unless `disableChecks` is set in the options).
          *
+         * **Details**
+         *
          * Pass the desired class type as the first type parameter. The second optional
          * type parameter can be used to add nominal brands.
          *
@@ -7279,6 +7644,8 @@ export declare const Class: {
          * {@link Struct} schema. Construction throws a {@link SchemaError} on invalid
          * input (unless `disableChecks` is set in the options).
          *
+         * **Details**
+         *
          * Pass the desired class type as the first type parameter. The second optional
          * type parameter can be used to add nominal brands.
          *
@@ -7326,6 +7693,8 @@ export declare const Class: {
  * given `tag` value. This makes instances compatible with tagged union
  * discrimination patterns.
  *
+ * **Details**
+ *
  * The optional `identifier` parameter overrides the schema identifier;
  * it defaults to the `tag` value.
  *
@@ -7352,6 +7721,8 @@ export declare const TaggedClass: {
      * given `tag` value. This makes instances compatible with tagged union
      * discrimination patterns.
      *
+     * **Details**
+     *
      * The optional `identifier` parameter overrides the schema identifier;
      * it defaults to the `tag` value.
      *
@@ -7378,6 +7749,8 @@ export declare const TaggedClass: {
          * given `tag` value. This makes instances compatible with tagged union
          * discrimination patterns.
          *
+         * **Details**
+         *
          * The optional `identifier` parameter overrides the schema identifier;
          * it defaults to the `tag` value.
          *
@@ -7404,6 +7777,8 @@ export declare const TaggedClass: {
          * given `tag` value. This makes instances compatible with tagged union
          * discrimination patterns.
          *
+         * **Details**
+         *
          * The optional `identifier` parameter overrides the schema identifier;
          * it defaults to the `tag` value.
          *
@@ -7640,6 +8015,8 @@ export type LazyArbitrary<T> = (fc: typeof FastCheck) => FastCheck.Arbitrary<T>;
  * Derives a {@link LazyArbitrary} from a schema. The result is memoized so
  * repeated calls with the same schema are cheap.
  *
+ * **Details**
+ *
  * Prefer {@link toArbitrary} when you just need the arbitrary directly.
  *
  * @category Arbitrary
@@ -7672,6 +8049,8 @@ export declare function toArbitrary<S extends Top>(schema: S): FastCheck.Arbitra
 /**
  * Annotates a schema with a custom formatter used by `toFormatter`.
  *
+ * **Details**
+ *
  * Use this when the formatter derived from the schema structure is not suitable.
  * The annotation is applied through this helper because adding it directly to
  * `Annotations.Bottom` would make schemas invariant.
@@ -7685,6 +8064,8 @@ export declare function overrideToFormatter<S extends Top>(toFormatter: () => Fo
  * a value to its human-readable string representation, recursing into structs,
  * arrays, and unions.
  *
+ * **Details**
+ *
  * The optional `onBefore` hook lets you intercept specific AST nodes before
  * the default formatting logic runs.
  *
@@ -7743,6 +8124,8 @@ export interface ToJsonSchemaOptions {
      * Controls how additional properties are handled while resolving the JSON
      * schema.
      *
+     * **Details**
+     *
      * Possible values include:
      * - `false`: Disallow additional properties (default)
      * - `true`: Allow additional properties
@@ -7758,6 +8141,8 @@ export interface ToJsonSchemaOptions {
 /**
  * Returns a JSON Schema document using draft 2020-12.
  *
+ * **Details**
+ *
  * The `options` parameter controls generation details such as additional
  * properties and synthesized check descriptions; it does not change the draft
  * target.
@@ -7794,10 +8179,12 @@ export type StringTree = Tree<string | undefined>;
  * The StringTree canonical codec converts **every leaf value to a string**, while
  * preserving the original structure.
  *
+ * **Details**
+ *
  * Declarations are converted to `undefined` (unless they have a
  * `toCodecJson` or `toCodec` annotation).
  *
- * **Options**
+ * Options:
  *
  * - `keepDeclarations`: if `true`, it **does not** convert declarations to
  *   `undefined` but instead keeps them as they are (unless they have a
@@ -7827,6 +8214,8 @@ type XmlEncoderOptions = {
 /**
  * Derives an XML encoder from a codec.
  *
+ * **Details**
+ *
  * The returned function encodes a value through `toCodecStringTree` and returns
  * an `Effect` that succeeds with the XML string or fails with `SchemaError` if
  * codec encoding fails.
@@ -8017,6 +8406,8 @@ export declare function resolveAnnotationsKey<S extends Top>(schema: S): Annotat
  * metadata to schemas. Annotations control documentation, validation messages,
  * JSON Schema generation, equivalence, arbitrary generation, and more.
  *
+ * **Details**
+ *
  * Use {@link resolveAnnotations} to read the annotations attached to a schema at
  * runtime.
  *
@@ -8027,6 +8418,8 @@ export declare namespace Annotations {
      * This interface is used to define the annotations that can be attached to a
      * schema. You can extend this interface to define your own annotations.
      *
+     * **Details**
+     *
      * Note that both a missing key or `undefined` is used to indicate that the
      * annotation is not present.
      *
@@ -8078,6 +8471,8 @@ export declare namespace Annotations {
         /**
          * Human-readable description of what a value is expected to satisfy.
          *
+         * **Details**
+         *
          * For filter and refinement failures, the default formatter uses
          * `message` first, then `expected`, and finally falls back to `<filter>`.
          *
@@ -8131,6 +8526,8 @@ export declare namespace Annotations {
         /**
          * Complete message to use when this schema node reports an issue.
          *
+         * **Details**
+         *
          * This replaces the default message for matching issue types instead of
          * only changing the expected label. For a filter or refinement failure,
          * annotate the filter with `message` to replace the whole filter failure
@@ -8145,6 +8542,8 @@ export declare namespace Annotations {
         /**
          * Stable identifier for this schema node.
          *
+         * **Details**
+         *
          * Identifiers are used by schema tooling, including JSON Schema
          * generation, to name references. The default formatter also uses
          * `identifier` as the expected label for type-level failures, such as
@@ -8232,6 +8631,8 @@ export declare namespace Annotations {
         /**
          * Complete message to use when this filter or refinement fails.
          *
+         * **Details**
+         *
          * The default formatter checks filter annotations in this order:
          * `message`, then `expected`, then `<filter>`.
          */
@@ -8239,6 +8640,8 @@ export declare namespace Annotations {
         /**
          * Stable identifier for the schema after this filter is attached.
          *
+         * **Details**
+         *
          * This can affect schema tooling such as JSON Schema generation and
          * type-level failures before the filter runs, but it does not name the
          * failed filter itself. For filter failure messages, use `expected` or
@@ -8255,6 +8658,8 @@ export declare namespace Annotations {
          * structure of the container (e.g., array length, object keys) rather than
          * the contents.
          *
+         * **Details**
+         *
          * Example: `minLength` on an array is a structural filter.
          */
         readonly "~structural"?: boolean | undefined;
@@ -8348,6 +8753,8 @@ export declare namespace Annotations {
         /**
          * Hook signature for declaration schema arbitrary annotations.
          *
+         * **Details**
+         *
          * Given arbitraries for any type parameters, returns a function that receives the
          * fast-check module and derivation context and produces an arbitrary for `T`.
          *
@@ -8370,6 +8777,8 @@ export declare namespace Annotations {
         /**
          * Hook signature for declaration schema formatter annotations.
          *
+         * **Details**
+         *
          * Given formatters for any type parameters, returns a formatter for `T`.
          *
          * @category models
@@ -8391,6 +8800,8 @@ export declare namespace Annotations {
         /**
          * Hook signature for declaration schema equivalence annotations.
          *
+         * **Details**
+         *
          * Given equivalences for any type parameters, returns an `Equivalence` for `T`.
          *
          * @category models
@@ -8405,6 +8816,8 @@ export declare namespace Annotations {
     /**
      * Annotations that can be attached to schema issues.
      *
+     * **Details**
+     *
      * The optional `message` field overrides the default issue message.
      *
      * @category models
@@ -8416,6 +8829,8 @@ export declare namespace Annotations {
     /**
      * Registry of metadata payloads emitted by built-in schema filters and checks.
      *
+     * **Details**
+     *
      * Do not augment this interface with custom metadata; extend `MetaDefinitions`
      * instead.
      *
@@ -8630,6 +9045,8 @@ export declare namespace Annotations {
     /**
      * Augmentable registry of schema filter metadata payloads.
      *
+     * **Details**
+     *
      * Extend this interface to add custom values accepted by annotation `meta`
      * fields.
      *