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

package/dist/Schema.js

@@ -131,6 +131,8 @@ const TypeId = InternalSchema.TypeId;
  * `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
@@ -183,6 +185,8 @@ export function declareConstructor() {
  * 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.
  *
@@ -214,6 +218,8 @@ export function declare(is, annotations) {
  * 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.
@@ -244,6 +250,8 @@ export function revealBottom(bottom) {
  * 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`.
@@ -274,6 +282,8 @@ export function annotate(annotations) {
  * 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.
  *
@@ -304,6 +314,8 @@ export function annotateEncoded(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,
@@ -337,6 +349,8 @@ export function annotateKey(annotations) {
  * 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.
@@ -364,6 +378,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
@@ -386,6 +402,7 @@ export {
  * }
  * ```
  *
+ * @category errors
  * @since 4.0.0
  */
 SchemaError };
@@ -423,6 +440,8 @@ function makeStandardResult(exit) {
  * 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
@@ -546,6 +565,8 @@ function toBaseStandardJSONSchemaV1(self, target) {
 /**
  * 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
@@ -581,6 +602,8 @@ export function toStandardJSONSchemaV1(self) {
  * 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.
@@ -611,6 +634,8 @@ export const is = 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.
@@ -763,6 +788,7 @@ export const decodeUnknownPromise = 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.
  *
@@ -777,6 +803,7 @@ export const decodePromise = 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
@@ -809,6 +836,7 @@ export const decodeUnknownSync = 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.
@@ -985,6 +1013,8 @@ export const encodeSync = Parser.encodeSync;
 /**
  * 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.
@@ -1070,7 +1100,10 @@ export const requiredKey = /*#__PURE__*/Struct_.lambda(self => self.schema);
  * 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`).
@@ -1303,7 +1336,9 @@ export const String = /*#__PURE__*/make(AST.string);
 /**
  * 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"`).
@@ -1381,6 +1416,8 @@ function makeStruct(ast, fields) {
 /**
  * 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.
  *
@@ -1437,6 +1474,8 @@ export function fieldsAssign(fields) {
 /**
  * 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.
@@ -1480,6 +1519,8 @@ export function encodeKeys(mapping) {
 /**
  * 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
@@ -1630,6 +1671,7 @@ export function Tuple(elements) {
  * 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
@@ -1714,6 +1756,7 @@ export const NonEmptyArray = /*#__PURE__*/Struct_.lambda(schema => make(new AST.
  * 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.
@@ -1733,6 +1776,8 @@ export function ArrayEnsure(schema) {
 /**
  * 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)`.
  *
@@ -1777,6 +1822,8 @@ function makeUnion(ast, members) {
  * 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.
@@ -1846,6 +1893,7 @@ export const NullOr = /*#__PURE__*/Struct_.lambda(self => Union([self, Null]));
 export const UndefinedOr = /*#__PURE__*/Struct_.lambda(self => Union([self, Undefined]));
 /**
  * Creates a union schema of `S | null | undefined`.
+ *
  * @category constructors
  * @since 3.10.0
  */
@@ -1901,6 +1949,8 @@ export function check(...checks) {
  * 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`
@@ -1943,6 +1993,8 @@ export function fromBrand(identifier, ctor) {
 /**
  * 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.
@@ -1971,6 +2023,8 @@ export function middlewareDecoding(decode) {
 /**
  * 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.
@@ -1999,6 +2053,8 @@ export function middlewareEncoding(encode) {
 /**
  * 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.
  *
@@ -2031,6 +2087,8 @@ export function catchDecodingWithContext(f) {
 /**
  * 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.
  *
@@ -2061,18 +2119,20 @@ export function decodeTo(to, transformation) {
 /**
  * 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
@@ -2110,6 +2170,8 @@ export function encodeTo(to, transformation) {
  * 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).
  *
@@ -2137,6 +2199,8 @@ export function encode(transformation) {
 /**
  * Attaches a constructor default value to a schema field.
  *
+ * **Details**
+ *
  * Constructor defaults are applied only during `make*`, not during decoding or
  * encoding.
  *
@@ -2171,11 +2235,13 @@ defaultValue) {
  * 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.
@@ -2213,11 +2279,13 @@ export function withDecodingDefaultKey(defaultValue, options) {
  * 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.
@@ -2238,10 +2306,12 @@ export function withDecodingDefaultTypeKey(defaultValue, options) {
  * 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.
@@ -2279,11 +2349,13 @@ export function withDecodingDefault(defaultValue, options) {
  * 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.
@@ -2358,6 +2430,8 @@ export function tagDefaultOmit(literal) {
  * 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.
@@ -2582,6 +2656,7 @@ export function link() {
  * 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
@@ -2650,12 +2725,14 @@ const TRIMMED_PATTERN = "^\\S[\\s\\S]*\\S$|^\\S$|^$";
 /**
  * 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.
@@ -2681,11 +2758,13 @@ export function isTrimmed(annotations) {
 /**
  * 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.
@@ -2697,12 +2776,14 @@ export const isPattern = AST.isPattern;
 /**
  * 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.
@@ -2716,11 +2797,12 @@ export const isStringFinite = AST.isStringFinite;
  * 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.
  *
@@ -2733,6 +2815,7 @@ export const isStringBigInt = AST.isStringBigInt;
  * 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.
  *
@@ -2756,12 +2839,14 @@ const getUUIDRegExp = version => {
  * 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.
@@ -2785,12 +2870,14 @@ export function isUUID(version, annotations) {
  * 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.
@@ -2811,12 +2898,14 @@ export function isULID(annotations) {
 /**
  * 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.
@@ -2839,12 +2928,14 @@ export function isBase64(annotations) {
  * 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.
@@ -2866,7 +2957,9 @@ export function isBase64Url(annotations) {
 /**
  * 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.
@@ -2894,7 +2987,9 @@ export function isStartsWith(startsWith, annotations) {
 /**
  * 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.
@@ -2922,7 +3017,9 @@ export function isEndsWith(endsWith, annotations) {
 /**
  * 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.
@@ -2952,6 +3049,7 @@ const UPPERCASED_PATTERN = "^[^a-z]*$";
  * 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.
@@ -2979,6 +3077,7 @@ const LOWERCASED_PATTERN = "^[^A-Z]*$";
  * 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.
@@ -3007,6 +3106,7 @@ const CAPITALIZED_PATTERN = "^[^a-z]?.*$";
  * `toUpperCase()`.
  *
  * **Details**
+ *
  * Empty strings pass. Strings whose first character has no lowercase form, such
  * as a digit, punctuation mark, or whitespace, also pass.
  *
@@ -3034,6 +3134,7 @@ const UNCAPITALIZED_PATTERN = "^[^A-Z]?.*$";
  * `toLowerCase()`.
  *
  * **Details**
+ *
  * Empty strings pass. Strings whose first character has no uppercase form, such
  * as a digit, punctuation mark, or whitespace, also pass.
  *
@@ -3058,12 +3159,14 @@ export function isUncapitalized(annotations) {
 /**
  * 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.
@@ -3201,11 +3304,13 @@ export function makeIsMultipleOf(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
@@ -3233,11 +3338,13 @@ export const isGreaterThan = /*#__PURE__*/makeIsGreaterThan({
  * 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.
@@ -3262,11 +3369,13 @@ export const isGreaterThanOrEqualTo = /*#__PURE__*/makeIsGreaterThanOrEqualTo({
 /**
  * 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
@@ -3294,11 +3403,13 @@ export const isLessThan = /*#__PURE__*/makeIsLessThan({
  * 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.
@@ -3324,12 +3435,14 @@ export const isLessThanOrEqualTo = /*#__PURE__*/makeIsLessThanOrEqualTo({
  * 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
@@ -3364,11 +3477,13 @@ export const isBetween = /*#__PURE__*/makeIsBetween({
 /**
  * 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.
@@ -3391,11 +3506,13 @@ export const isMultipleOf = /*#__PURE__*/makeIsMultipleOf({
  * 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.
@@ -3421,12 +3538,14 @@ export function isInt(annotations) {
  * 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.
@@ -3447,12 +3566,14 @@ export function isInt32(annotations) {
  * 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.
@@ -3473,12 +3594,14 @@ export function isUint32(annotations) {
  * 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.
@@ -3503,7 +3626,9 @@ export function isDateValid(annotations) {
 /**
  * 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
@@ -3531,12 +3656,14 @@ export const isGreaterThanDate = /*#__PURE__*/makeIsGreaterThan({
  * 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
@@ -3562,7 +3689,9 @@ export const isGreaterThanOrEqualToDate = /*#__PURE__*/makeIsGreaterThanOrEqualT
 /**
  * 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
@@ -3590,12 +3719,14 @@ export const isLessThanDate = /*#__PURE__*/makeIsLessThan({
  * 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
@@ -3622,12 +3753,14 @@ export const isLessThanOrEqualToDate = /*#__PURE__*/makeIsLessThanOrEqualTo({
  * 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.
@@ -3653,7 +3786,9 @@ export const isBetweenDate = /*#__PURE__*/makeIsBetween({
 /**
  * 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
@@ -3681,7 +3816,9 @@ export const isGreaterThanBigInt = /*#__PURE__*/makeIsGreaterThan({
  * 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
@@ -3707,7 +3844,9 @@ export const isGreaterThanOrEqualToBigInt = /*#__PURE__*/makeIsGreaterThanOrEqua
 /**
  * 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
@@ -3735,7 +3874,9 @@ export const isLessThanBigInt = /*#__PURE__*/makeIsLessThan({
  * 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
@@ -3762,7 +3903,9 @@ export const isLessThanOrEqualToBigInt = /*#__PURE__*/makeIsLessThanOrEqualTo({
  * 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
@@ -3832,6 +3975,7 @@ export const isLessThanOrEqualToBigDecimal = /*#__PURE__*/makeIsLessThanOrEqualT
  * 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.
  *
@@ -3846,12 +3990,14 @@ export const isBetweenBigDecimal = /*#__PURE__*/makeIsBetween({
  * 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
@@ -3893,12 +4039,14 @@ export function isMinLength(minLength, 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.
@@ -3913,12 +4061,14 @@ export function isNonEmpty(annotations) {
  * 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
@@ -3951,12 +4101,14 @@ export function isMaxLength(maxLength, 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
@@ -3993,12 +4145,14 @@ export function isLengthBetween(minimum, maximum, annotations) {
  * 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
@@ -4028,12 +4182,14 @@ export function isMinSize(minSize, annotations) {
  * 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
@@ -4063,12 +4219,14 @@ export function isMaxSize(maxSize, annotations) {
  * 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
@@ -4102,11 +4260,13 @@ export function isSizeBetween(minimum, maximum, annotations) {
  * 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
@@ -4137,11 +4297,13 @@ export function isMinProperties(minProperties, annotations) {
  * 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
@@ -4172,12 +4334,14 @@ export function isMaxProperties(maxProperties, annotations) {
  * 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
@@ -4211,10 +4375,11 @@ export function isPropertiesLengthBetween(minimum, maximum, annotations) {
  * 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.
  *
@@ -4251,10 +4416,12 @@ export function isPropertyNames(keySchema, annotations) {
 /**
  * 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.
  *
@@ -4352,6 +4519,8 @@ export function Option(value) {
 /**
  * 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`
@@ -4369,6 +4538,8 @@ export function OptionFromNullOr(schema) {
 /**
  * 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`
@@ -4386,6 +4557,8 @@ export function OptionFromUndefinedOr(schema) {
 /**
  * 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`
@@ -4403,6 +4576,8 @@ export function OptionFromNullishOr(schema, options) {
 /**
  * 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`
@@ -4421,6 +4596,8 @@ export function OptionFromOptionalKey(schema) {
  * 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`
@@ -4440,6 +4617,8 @@ export function OptionFromOptional(schema) {
  * 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`
@@ -4533,10 +4712,12 @@ export function Result(success, failure) {
  * 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
@@ -4544,7 +4725,7 @@ export function Result(success, failure) {
  *   - 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.
@@ -4786,7 +4967,9 @@ const ErrorJsonEncoded = /*#__PURE__*/Struct({
 /**
  * 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.
@@ -4810,7 +4993,9 @@ export const Error = /*#__PURE__*/instanceOf(globalThis.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`.
  *
@@ -4842,7 +5027,9 @@ const defectTransformation = /*#__PURE__*/new Transformation.Transformation(/*#_
  * 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.
  *
@@ -5219,6 +5406,8 @@ export function Chunk(value) {
 /**
  * Schema for JavaScript `RegExp` objects.
  *
+ * **Details**
+ *
  * The default JSON serializer encodes a `RegExp` as `{ source, flags }`.
  *
  * @category RegExp
@@ -5261,7 +5450,9 @@ const URLString = /*#__PURE__*/String.annotate({
 /**
  * A schema for JavaScript `URL` objects.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * - encodes `URL` as a `string`
  *
@@ -5284,6 +5475,8 @@ export const URL = /*#__PURE__*/instanceOf(globalThis.URL, {
 /**
  * A transformation schema that decodes a `string` into a `URL`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** URL `string` is decoded as a `URL`
  *
@@ -5300,6 +5493,8 @@ const DateString = /*#__PURE__*/String.annotate({
 /**
  * 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
@@ -5332,11 +5527,13 @@ export const Date = /*#__PURE__*/instanceOf(globalThis.Date, {
 /**
  * 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"`.
  *
@@ -5347,6 +5544,8 @@ export const DateFromString = /*#__PURE__*/DateString.pipe(/*#__PURE__*/decodeTo
 /**
  * A schema for **valid** JavaScript `Date` objects.
  *
+ * **Details**
+ *
  * This schema accepts `Date` instances but rejects invalid dates (such as `new
  * Date("invalid")`).
  *
@@ -5357,6 +5556,8 @@ export const DateValid = /*#__PURE__*/Date.check(/*#__PURE__*/isDateValid());
 /**
  * A schema for `Duration` values.
  *
+ * **Details**
+ *
  * The default JSON serializer encodes `Duration` as a tagged object with the
  * duration type and value.
  *
@@ -5439,6 +5640,8 @@ const DurationString = /*#__PURE__*/String.annotate({
 /**
  * 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.
@@ -5455,10 +5658,12 @@ const bigint0 = /*#__PURE__*/globalThis.BigInt(0);
  * 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`.
@@ -5472,6 +5677,8 @@ export const DurationFromNanos = /*#__PURE__*/BigInt.check(isGreaterThanOrEqualT
  * 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`
@@ -5490,7 +5697,9 @@ const BigDecimalString = /*#__PURE__*/String.annotate({
 /**
  * A schema for `BigDecimal` values.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * - encodes `BigDecimal` as a `string`
  *
@@ -5518,6 +5727,8 @@ export const BigDecimal = /*#__PURE__*/declare(BigDecimal_.isBigDecimal, {
 /**
  * A transformation schema that parses a string into a `BigDecimal`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A `string` is decoded as a `BigDecimal`.
  *
@@ -5531,6 +5742,8 @@ export const BigDecimalFromString = /*#__PURE__*/BigDecimalString.pipe(/*#__PURE
 /**
  * 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.
@@ -5556,12 +5769,20 @@ export const UnknownFromJsonString = /*#__PURE__*/fromJsonString(Unknown);
  * 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
@@ -5574,12 +5795,6 @@ export const UnknownFromJsonString = /*#__PURE__*/fromJsonString(Unknown);
  * // => { 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
@@ -5626,6 +5841,8 @@ export function fromJsonString(schema) {
 /**
  * Schema for JavaScript `File` objects.
  *
+ * **Details**
+ *
  * The default JSON serializer encodes a `File` as `{ data, type, name, lastModified }`
  * where `data` is base64-encoded.
  *
@@ -5678,6 +5895,8 @@ export const File = /*#__PURE__*/instanceOf(globalThis.File, {
 /**
  * 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"`.
  *
@@ -5729,11 +5948,20 @@ export const FormData = /*#__PURE__*/instanceOf(globalThis.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
@@ -5753,8 +5981,6 @@ export const FormData = /*#__PURE__*/instanceOf(globalThis.FormData, {
  * // Success({"a":"1"})
  * ```
  *
- * You can express nested values using bracket notation.
- *
  * **Example** (Nested fields)
  *
  * ```ts
@@ -5779,11 +6005,6 @@ export const FormData = /*#__PURE__*/instanceOf(globalThis.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
@@ -5814,6 +6035,8 @@ export function fromFormData(schema) {
 /**
  * Schema for JavaScript `URLSearchParams` objects.
  *
+ * **Details**
+ *
  * The default JSON serializer encodes a `URLSearchParams` as a query string.
  *
  * @category URLSearchParams
@@ -5840,11 +6063,19 @@ export const URLSearchParams = /*#__PURE__*/instanceOf(globalThis.URLSearchParam
  * 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
@@ -5861,7 +6092,6 @@ export const URLSearchParams = /*#__PURE__*/instanceOf(globalThis.URLSearchParam
  * console.log(String(Schema.decodeUnknownExit(schema)(urlSearchParams)))
  * // Success({"a":"1"})
  * ```
- * You can express nested values using bracket notation.
  *
  * **Example** (Nested fields)
  *
@@ -5884,10 +6114,6 @@ export const URLSearchParams = /*#__PURE__*/instanceOf(globalThis.URLSearchParam
  * // 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
@@ -5931,12 +6157,14 @@ export const Int = /*#__PURE__*/Number.check(/*#__PURE__*/isInt());
  * 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
@@ -5948,6 +6176,8 @@ export const NumberFromString = /*#__PURE__*/String.annotate({
 /**
  * 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.
@@ -5964,6 +6194,8 @@ export const FiniteFromString = /*#__PURE__*/String.annotate({
 /**
  * A transformation schema that parses a string into a `bigint`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A `string` is decoded as a `bigint`.
  *
@@ -5984,6 +6216,8 @@ export const Trimmed = /*#__PURE__*/String.check(/*#__PURE__*/isTrimmed());
 /**
  * A transformation schema that trims whitespace from a string.
  *
+ * **Details**
+ *
  * Decoding:
  * - A `string` is decoded as a string with no leading or trailing whitespaces.
  *
@@ -5999,6 +6233,8 @@ export const Trim = /*#__PURE__*/String.annotate({
 /**
  * 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`.
  *
@@ -6014,6 +6250,8 @@ export const StringFromBase64 = /*#__PURE__*/String.annotate({
 /**
  * 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`.
  *
@@ -6029,6 +6267,8 @@ export const StringFromBase64Url = /*#__PURE__*/String.annotate({
 /**
  * Decodes a hex encoded string into a UTF-8 string.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** hex encoded string is decoded as a UTF-8 `string`.
  *
@@ -6045,6 +6285,8 @@ export const StringFromHex = /*#__PURE__*/String.annotate({
  * 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`.
  *
@@ -6086,6 +6328,8 @@ export const PropertyKey = /*#__PURE__*/Union([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.
  *
@@ -6118,7 +6362,9 @@ const Base64String = /*#__PURE__*/String.annotate({
 /**
  * A schema for JavaScript `Uint8Array` objects.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * The default JSON serializer encodes Uint8Array as a Base64 encoded string.
  *
@@ -6141,6 +6387,8 @@ export const Uint8Array = /*#__PURE__*/instanceOf(globalThis.Uint8Array, {
  * A transformation schema that decodes a base64 encoded string into a
  * `Uint8Array`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** base64 encoded string is decoded as a `Uint8Array`.
  *
@@ -6155,6 +6403,8 @@ export const Uint8ArrayFromBase64 = /*#__PURE__*/Base64String.pipe(/*#__PURE__*/
  * 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`.
  *
@@ -6174,6 +6424,8 @@ export const Uint8ArrayFromBase64Url = /*#__PURE__*/String.annotate({
  * A transformation schema that decodes a hex encoded string into a
  * `Uint8Array`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** hex encoded string is decoded as a `Uint8Array`.
  *
@@ -6192,7 +6444,9 @@ export const Uint8ArrayFromHex = /*#__PURE__*/String.annotate({
 /**
  * A schema for `DateTime.Utc` values.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * - encodes `DateTime.Utc` as a UTC ISO string
  *
@@ -6220,6 +6474,8 @@ export const DateTimeUtc = /*#__PURE__*/declare(u => DateTime.isDateTime(u) && D
 /**
  * A transformation schema that decodes a `Date` into a `DateTime.Utc`.
  *
+ * **Details**
+ *
  * Decoding:
  * - A **valid** `Date` is decoded as a `DateTime.Utc`
  *
@@ -6236,6 +6492,8 @@ export const DateTimeUtcFromDate = /*#__PURE__*/DateValid.pipe(/*#__PURE__*/deco
 /**
  * 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
@@ -6254,6 +6512,8 @@ export const DateTimeUtcFromString = /*#__PURE__*/String.annotate({
 /**
  * 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`
  *
@@ -6270,7 +6530,9 @@ export const DateTimeUtcFromMillis = /*#__PURE__*/Number.pipe(/*#__PURE__*/decod
 /**
  * A schema for `DateTime.TimeZone.Offset` values.
  *
- * **Default JSON serializer**
+ * **Details**
+ *
+ * Default JSON serializer:
  *
  * - encodes `DateTime.TimeZone.Offset` as a number (offset in milliseconds)
  *
@@ -6301,7 +6563,9 @@ const TimeZoneNamedString = /*#__PURE__*/String.annotate({
 /**
  * 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)
  *
@@ -6326,6 +6590,8 @@ export const TimeZoneNamed = /*#__PURE__*/declare(DateTime.isTimeZoneNamed, {
 /**
  * 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`.
  *
@@ -6342,7 +6608,9 @@ const TimeZoneString = /*#__PURE__*/String.annotate({
 /**
  * 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`)
@@ -6371,6 +6639,8 @@ export const TimeZone = /*#__PURE__*/declare(DateTime.isTimeZone, {
 /**
  * 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`.
  *
@@ -6387,7 +6657,9 @@ const DateTimeZonedString = /*#__PURE__*/String.annotate({
 /**
  * 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`
@@ -6422,6 +6694,8 @@ export const DateTimeZoned = /*#__PURE__*/declare(u => DateTime.isDateTime(u) &&
 /**
  * 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`.
  *
@@ -6537,6 +6811,8 @@ function isStruct(schema) {
  * {@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.
  *
@@ -6591,6 +6867,8 @@ export const Class = identifier => (schema, annotations) => {
  * 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.
  *
@@ -6689,6 +6967,8 @@ export const TaggedErrorClass = identifier => {
  * 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
@@ -6729,6 +7009,8 @@ export function toArbitrary(schema) {
 /**
  * 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.
@@ -6748,6 +7030,8 @@ export function overrideToFormatter(toFormatter) {
  * 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.
  *
@@ -6940,6 +7224,8 @@ export function toRepresentation(schema) {
 /**
  * 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.
@@ -7062,6 +7348,8 @@ export function toCodecStringTree(schema, options) {
 /**
  * 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.