effect 4.0.0-beta.67 → 4.0.0-beta.68

package/src/Schema.ts

@@ -145,6 +145,7 @@ const TypeId = InternalSchema.TypeId
  * @see {@link optionalKey} — mark a struct field as optional
  * @see {@link optional} — mark a struct field as optional with `| undefined`
  *
+ * @category models
  * @since 4.0.0
  */
 export type Optionality = "required" | "optional"
@@ -154,6 +155,7 @@ export type Optionality = "required" | "optional"
  *
  * @see {@link mutableKey} — mark a struct field as mutable
  *
+ * @category models
  * @since 4.0.0
  */
 export type Mutability = "readonly" | "mutable"
@@ -164,6 +166,7 @@ export type Mutability = "readonly" | "mutable"
  * @see {@link withConstructorDefault} — add a default to a schema field
  * @see {@link tag} — creates a literal field with a constructor default
  *
+ * @category models
  * @since 4.0.0
  */
 export type ConstructorDefault = "no-default" | "with-default"
@@ -178,7 +181,8 @@ export type ConstructorDefault = "no-default" | "with-default"
  * @see {@link Bottom.makeEffect}
  * @see {@link Bottom.make}
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.13.4
  */
 export interface MakeOptions {
   /**
@@ -206,6 +210,7 @@ export interface MakeOptions {
  * @see {@link Schema} — tracks only the decoded Type
  * @see {@link Codec} — tracks Type + Encoded
  *
+ * @category models
  * @since 4.0.0
  */
 export interface Bottom<
@@ -252,8 +257,6 @@ export interface Bottom<
   rebuild(ast: this["ast"]): this["Rebuild"]
   /**
    * Constructs a value from the make input representation.
-   *
-   * @throws {Error} The issue is contained in the error cause.
    */
   make(input: this["~type.make.in"], options?: MakeOptions): this["Type"]
   makeOption(input: this["~type.make.in"], options?: MakeOptions): Option_.Option<this["Type"]>
@@ -265,7 +268,7 @@ export interface Bottom<
  * type `T`, the encoded type `E`, and the list of type-parameter schemas
  * `TypeParameters`.
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export interface declareConstructor<T, E, TypeParameters extends ReadonlyArray<Top>, Iso = T> extends
@@ -299,10 +302,7 @@ export interface declareConstructor<T, E, TypeParameters extends ReadonlyArray<T
  * **Example** (Schema for a parametric `Box<A>` type)
  *
  * ```ts
- * import { Effect, Schema } from "effect"
- * import * as SchemaParser from "effect/SchemaParser"
- * import * as Issue from "effect/SchemaIssue"
- * import * as Option from "effect/Option"
+ * import { Effect, Option, Schema, SchemaIssue as Issue, SchemaParser } from "effect"
  *
  * interface Box<A> {
  *   readonly value: A
@@ -329,7 +329,7 @@ export interface declareConstructor<T, E, TypeParameters extends ReadonlyArray<T
  * const schema = Box(Schema.Number)
  * ```
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export function declareConstructor<T, E = T, Iso = T>() {
@@ -356,8 +356,8 @@ export function declareConstructor<T, E = T, Iso = T>() {
  * The schema type returned by {@link declare}, representing a non-parametric
  * opaque type `T` with no type parameters.
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.13.3
  */
 export interface declare<T, Iso = T> extends declareConstructor<T, T, readonly [], Iso> {
   readonly "Rebuild": declare<T, Iso>
@@ -389,8 +389,8 @@ export interface declare<T, Iso = T> extends declareConstructor<T, T, readonly [
  *
  * @see {@link declareConstructor} for creating schemas for parametric types.
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function declare<T, Iso = T>(
   is: (u: unknown) => u is T,
@@ -430,6 +430,7 @@ export function declare<T, Iso = T>(
  * type E = typeof bottom["Encoded"]  // string
  * ```
  *
+ * @category utils
  * @since 4.0.0
  */
 export function revealBottom<S extends Top>(
@@ -477,7 +478,7 @@ export function revealBottom<S extends Top>(
  *
  * @see {@link annotateEncoded} to annotate the encoded side instead.
  *
- * @category Annotations
+ * @category annotations
  * @since 4.0.0
  */
 export function annotate<S extends Top>(annotations: Annotations.Bottom<S["Type"], S["~type.parameters"]>) {
@@ -509,7 +510,7 @@ export function annotate<S extends Top>(annotations: Annotations.Bottom<S["Type"
  *
  * @see {@link annotate} to annotate the type side instead.
  *
- * @category Annotations
+ * @category annotations
  * @since 4.0.0
  */
 export function annotateEncoded<S extends Top>(annotations: Annotations.Bottom<S["Encoded"], readonly []>) {
@@ -541,7 +542,7 @@ export function annotateEncoded<S extends Top>(annotations: Annotations.Bottom<S
  * })
  * ```
  *
- * @category Annotations
+ * @category annotations
  * @since 4.0.0
  */
 export function annotateKey<S extends Top>(annotations: Annotations.Key<S["Type"]>) {
@@ -563,6 +564,7 @@ export function annotateKey<S extends Top>(annotations: Annotations.Key<S["Type"
  * - {@link Decoder}`<T, RD>` — for decode-only APIs
  * - {@link Encoder}`<E, RE>` — for encode-only APIs
  *
+ * @category models
  * @since 4.0.0
  */
 export interface Top extends
@@ -588,7 +590,7 @@ export interface Top extends
 /**
  * Namespace of type-level helpers for {@link Schema}.
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace Schema {
   /**
@@ -604,7 +606,8 @@ export declare namespace Schema {
    * // { readonly name: string; readonly age: number }
    * ```
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Type<S> = S extends Top ? S["Type"] : never
 }
@@ -634,7 +637,8 @@ export declare namespace Schema {
  * @see {@link Codec} — also tracks Encoded, DecodingServices, EncodingServices
  * @see {@link Schema.Type} — extract the decoded type at the type level
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Schema<out T> extends Top {
   readonly "Type": T
@@ -660,7 +664,8 @@ export declare namespace Codec {
    * // string
    * ```
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Encoded<S> = S extends Top ? S["Encoded"] : never
   /**
@@ -676,6 +681,7 @@ export declare namespace Codec {
    * // never
    * ```
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type DecodingServices<S> = S extends Top ? S["DecodingServices"] : never
@@ -692,19 +698,10 @@ export declare namespace Codec {
    * // never
    * ```
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type EncodingServices<S> = S extends Top ? S["EncodingServices"] : never
-  /**
-   * Converts a schema type into an assertion function signature. The resulting
-   * function narrows its argument to `I & S["Type"]`. Only schemas with
-   * `DecodingServices: never` (i.e. no required services) can be used here.
-   *
-   * Produced by {@link asserts}.
-   *
-   * @since 4.0.0
-   */
-  export type ToAsserts<S extends Top> = <I>(input: I) => asserts input is I & S["Type"]
 }
 
 /**
@@ -720,6 +717,7 @@ export declare namespace Codec {
  * `Optic` automatically. You normally interact with this interface through
  * {@link Optic_} utilities rather than constructing it directly.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface Optic<out T, out Iso> extends Schema<T> {
@@ -757,6 +755,7 @@ export interface Optic<out T, out Iso> extends Schema<T> {
  * @see {@link Codec.EncodingServices} — extract required encoding services
  * @see {@link revealCodec} — helper to make TypeScript infer the full Codec type
  *
+ * @category models
  * @since 4.0.0
  */
 export interface Codec<out T, out E = T, out RD = never, out RE = never> extends Schema<T> {
@@ -784,6 +783,7 @@ export interface Codec<out T, out E = T, out RD = never, out RE = never> extends
  * validate(Schema.NumberFromString) // ok
  * ```
  *
+ * @category models
  * @since 4.0.0
  */
 export interface Decoder<out T, out RD = never> extends Codec<T, unknown, RD, unknown> {
@@ -808,6 +808,7 @@ export interface Decoder<out T, out RD = never> extends Codec<T, unknown, RD, un
  * serialize(Schema.NumberFromString) // ok — encodes number to string
  * ```
  *
+ * @category models
  * @since 4.0.0
  */
 export interface Encoder<out E, out RE = never> extends Codec<unknown, E, unknown, RE> {
@@ -834,6 +835,7 @@ export interface Encoder<out E, out RE = never> extends Codec<unknown, E, unknow
  * type Enc = typeof codec["Encoded"] // string
  * ```
  *
+ * @category utils
  * @since 4.0.0
  */
 export function revealCodec<T, E, RD, RE>(codec: Codec<T, E, RD, RE>) {
@@ -889,6 +891,7 @@ export {
  * }
  * ```
  *
+ * @category guards
  * @since 4.0.0
  */
 export function isSchemaError(u: unknown): u is SchemaError {
@@ -1038,7 +1041,6 @@ function toBaseStandardJSONSchemaV1(self: Top, target: StandardJSONSchemaV1.Targ
  *
  * @category Standard Schema
  * @since 4.0.0
- * @experimental
  */
 export function toStandardJSONSchemaV1<S extends Top>(self: S): StandardJSONSchemaV1<S["Encoded"], S["Type"]> & S {
   const jsonSchema: StandardJSONSchemaV1.Props<S["Encoded"], S["Type"]>["jsonSchema"] = {
@@ -1091,8 +1093,8 @@ export function toStandardJSONSchemaV1<S extends Top>(self: S): StandardJSONSche
  * }
  * ```
  *
- * @category Asserting
- * @since 4.0.0
+ * @category guards
+ * @since 3.10.0
  */
 export const is = Parser.is
 
@@ -1109,30 +1111,25 @@ export const is = Parser.is
  * ```ts
  * import { Schema } from "effect"
  *
- * const assertString: (u: unknown) => asserts u is string = Schema.asserts(
- *   Schema.String
- * )
+ * const input: unknown = "hello"
  *
- * // This will pass silently (no return value)
- * try {
- *   assertString("hello")
- *   console.log("String assertion passed")
- * } catch (error) {
- *   console.log("String assertion failed")
- * }
+ * // This will pass silently (no return value) and narrow input to string
+ * Schema.asserts(Schema.String, input)
+ * console.log(input.toUpperCase())
  *
  * // This will throw an error
  * try {
- *   assertString(123)
+ *   const invalid: unknown = 123
+ *   Schema.asserts(Schema.String, invalid)
  * } catch (error) {
  *   console.log("Non-string assertion failed as expected")
  * }
  * ```
  *
- * @category Asserting
+ * @category guards
  * @since 4.0.0
  */
-export const asserts = Parser.asserts
+export const asserts: <S extends Top, I>(schema: S, input: I) => asserts input is I & S["Type"] = Parser.asserts
 
 /**
  * Decodes an `unknown` input against a schema, returning an `Effect` that
@@ -1142,7 +1139,7 @@ export const asserts = Parser.asserts
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export function decodeUnknownEffect<S extends Top>(schema: S, options?: AST.ParseOptions) {
@@ -1160,7 +1157,7 @@ export function decodeUnknownEffect<S extends Top>(schema: S, options?: AST.Pars
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export const decodeEffect: <S extends Top>(
@@ -1178,7 +1175,7 @@ export const decodeEffect: <S extends Top>(
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export function decodeUnknownExit<S extends Decoder<unknown>>(schema: S, options?: AST.ParseOptions) {
@@ -1197,7 +1194,7 @@ export function decodeUnknownExit<S extends Decoder<unknown>>(schema: S, options
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export const decodeExit: <S extends Decoder<unknown>>(
@@ -1214,8 +1211,8 @@ export const decodeExit: <S extends Decoder<unknown>>(
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
- * @since 4.0.0
+ * @category decoding
+ * @since 3.10.0
  */
 export const decodeUnknownOption = Parser.decodeUnknownOption
 
@@ -1226,8 +1223,8 @@ export const decodeUnknownOption = Parser.decodeUnknownOption
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
- * @since 4.0.0
+ * @category decoding
+ * @since 3.10.0
  */
 export const decodeOption = Parser.decodeOption
 
@@ -1238,7 +1235,7 @@ export const decodeOption = Parser.decodeOption
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export const decodeUnknownResult = Parser.decodeUnknownResult
@@ -1250,7 +1247,7 @@ export const decodeUnknownResult = Parser.decodeUnknownResult
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export const decodeResult = Parser.decodeResult
@@ -1263,8 +1260,8 @@ export const decodeResult = Parser.decodeResult
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
- * @since 4.0.0
+ * @category decoding
+ * @since 3.10.0
  */
 export const decodeUnknownPromise = Parser.decodeUnknownPromise
 
@@ -1277,8 +1274,8 @@ export const decodeUnknownPromise = Parser.decodeUnknownPromise
  * Options may be provided either when creating the decoder or when applying it;
  * application options override creation options.
  *
- * @category Decoding
- * @since 4.0.0
+ * @category decoding
+ * @since 3.10.0
  */
 export const decodePromise = Parser.decodePromise
 
@@ -1311,7 +1308,7 @@ export const decodePromise = Parser.decodePromise
  * //         └─ Expected a numeric string, actual "not a number"
  * ```
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export const decodeUnknownSync = Parser.decodeUnknownSync
@@ -1326,7 +1323,7 @@ export const decodeUnknownSync = Parser.decodeUnknownSync
  * provided either when creating the decoder or when applying it; application
  * options override creation options.
  *
- * @category Decoding
+ * @category decoding
  * @since 4.0.0
  */
 export const decodeSync = Parser.decodeSync
@@ -1350,7 +1347,7 @@ export const decodeSync = Parser.decodeSync
  * // Output: "42"
  * ```
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export function encodeUnknownEffect<S extends Top>(schema: S, options?: AST.ParseOptions) {
@@ -1371,7 +1368,7 @@ export function encodeUnknownEffect<S extends Top>(schema: S, options?: AST.Pars
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export const encodeEffect: <S extends Top>(
@@ -1389,7 +1386,7 @@ export const encodeEffect: <S extends Top>(
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export function encodeUnknownExit<S extends Encoder<unknown>>(schema: S, options?: AST.ParseOptions) {
@@ -1408,7 +1405,7 @@ export function encodeUnknownExit<S extends Encoder<unknown>>(schema: S, options
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export const encodeExit: <S extends Encoder<unknown>>(
@@ -1425,8 +1422,8 @@ export const encodeExit: <S extends Encoder<unknown>>(
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
- * @since 4.0.0
+ * @category encoding
+ * @since 3.10.0
  */
 export const encodeUnknownOption = Parser.encodeUnknownOption
 
@@ -1437,8 +1434,8 @@ export const encodeUnknownOption = Parser.encodeUnknownOption
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
- * @since 4.0.0
+ * @category encoding
+ * @since 3.10.0
  */
 export const encodeOption = Parser.encodeOption
 
@@ -1449,7 +1446,7 @@ export const encodeOption = Parser.encodeOption
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export const encodeUnknownResult = Parser.encodeUnknownResult
@@ -1461,7 +1458,7 @@ export const encodeUnknownResult = Parser.encodeUnknownResult
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export const encodeResult = Parser.encodeResult
@@ -1474,8 +1471,8 @@ export const encodeResult = Parser.encodeResult
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
- * @since 4.0.0
+ * @category encoding
+ * @since 3.10.0
  */
 export const encodeUnknownPromise = Parser.encodeUnknownPromise
 
@@ -1486,8 +1483,8 @@ export const encodeUnknownPromise = Parser.encodeUnknownPromise
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
- * @since 4.0.0
+ * @category encoding
+ * @since 3.10.0
  */
 export const encodePromise = Parser.encodePromise
 
@@ -1501,7 +1498,7 @@ export const encodePromise = Parser.encodePromise
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export const encodeUnknownSync = Parser.encodeUnknownSync
@@ -1513,7 +1510,7 @@ export const encodeUnknownSync = Parser.encodeUnknownSync
  * Options may be provided either when creating the encoder or when applying it;
  * application options override creation options.
  *
- * @category Encoding
+ * @category encoding
  * @since 4.0.0
  */
 export const encodeSync = Parser.encodeSync
@@ -1530,8 +1527,8 @@ export const encodeSync = Parser.encodeSync
  * the bridge between the untyped AST representation and the strongly-typed
  * schema.
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export const make: <S extends Top>(ast: S["ast"], options?: object) => S = InternalSchema.make
 
@@ -1553,6 +1550,7 @@ export const make: <S extends Top>(ast: S["ast"], options?: object) => S = Inter
  * // "a"
  * ```
  *
+ * @category constructors
  * @since 4.0.0
  */
 export function asClass<S extends Top>(schema: S): S & { new(_: never): {} } {
@@ -1564,8 +1562,8 @@ export function asClass<S extends Top>(schema: S): S & { new(_: never): {} } {
 /**
  * Tests if a value is a `Schema`.
  *
- * @category Guards
- * @since 4.0.0
+ * @category guards
+ * @since 3.10.0
  */
 export function isSchema(u: unknown): u is Top {
   return Predicate.hasProperty(u, TypeId) && u[TypeId] === TypeId
@@ -1576,6 +1574,7 @@ export function isSchema(u: unknown): u is Top {
  * when present must match the wrapped schema (no implicit `undefined`).
  * Produced by {@link optionalKey}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface optionalKey<S extends Top> extends
@@ -1624,6 +1623,7 @@ interface optionalKeyLambda extends Lambda {
  * type Person = typeof schema["Type"]
  * ```
  *
+ * @category combinators
  * @since 4.0.0
  */
 export const optionalKey = Struct_.lambda<optionalKeyLambda>((schema) => make(AST.optionalKey(schema.ast), { schema }))
@@ -1638,6 +1638,7 @@ interface requiredKeyLambda extends Lambda {
  * Reverses {@link optionalKey}, returning the inner required schema. Only
  * applicable to schemas already wrapped with `optionalKey`.
  *
+ * @category combinators
  * @since 4.0.0
  */
 export const requiredKey = Struct_.lambda<requiredKeyLambda>((self) => self.schema)
@@ -1646,7 +1647,8 @@ export const requiredKey = Struct_.lambda<requiredKeyLambda>((self) => self.sche
  * Companion type for an optional struct key that also accepts `undefined`.
  * Equivalent to `optionalKey<UndefinedOr<S>>`. Produced by {@link optional}.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface optional<S extends Top> extends optionalKey<UndefinedOr<S>> {
   readonly "Rebuild": optional<S>
@@ -1680,7 +1682,8 @@ interface optionalLambda extends Lambda {
  * type Person = typeof schema.Type
  * ```
  *
- * @since 4.0.0
+ * @category combinators
+ * @since 3.10.0
  */
 export const optional = Struct_.lambda<optionalLambda>((self) => optionalKey(UndefinedOr(self)))
 
@@ -1694,7 +1697,8 @@ interface requiredLambda extends Lambda {
  * Reverses {@link optional}, returning the inner schema (unwrapping `UndefinedOr`).
  * Only applicable to schemas already wrapped with `optional`.
  *
- * @since 4.0.0
+ * @category combinators
+ * @since 3.10.0
  */
 export const required = Struct_.lambda<requiredLambda>((self) => self.schema.members[0])
 
@@ -1702,6 +1706,7 @@ export const required = Struct_.lambda<requiredLambda>((self) => self.schema.mem
  * Companion type for a mutable struct key. The key's property is writable.
  * Produced by {@link mutableKey}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface mutableKey<S extends Top> extends
@@ -1735,6 +1740,7 @@ interface mutableKeyLambda extends Lambda {
  * Makes a struct field mutable (removes the `readonly` modifier on the property).
  * Use {@link readonlyKey} to reverse.
  *
+ * @category combinators
  * @since 4.0.0
  */
 export const mutableKey = Struct_.lambda<mutableKeyLambda>((schema) => make(AST.mutableKey(schema.ast), { schema }))
@@ -1749,6 +1755,7 @@ interface readonlyKeyLambda extends Lambda {
  * Reverses {@link mutableKey}, returning the inner schema as readonly again.
  * Only applicable to schemas already wrapped with `mutableKey`.
  *
+ * @category combinators
  * @since 4.0.0
  */
 export const readonlyKey = Struct_.lambda<readonlyKeyLambda>((self) => self.schema)
@@ -1757,6 +1764,7 @@ export const readonlyKey = Struct_.lambda<readonlyKeyLambda>((self) => self.sche
  * Schema type that collapses a transformation schema to its decoded `Type` on
  * both sides (Type = Encoded = S["Type"]). Produced by {@link toType}.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export interface toType<S extends Top> extends
@@ -1788,6 +1796,7 @@ interface toTypeLambda extends Lambda {
  * Extracts the type-side schema: sets `Encoded` to equal the decoded `Type`,
  * discarding the encoding transformation path.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export const toType = Struct_.lambda<toTypeLambda>((schema) => make(AST.toType(schema.ast), { schema }))
@@ -1796,6 +1805,7 @@ export const toType = Struct_.lambda<toTypeLambda>((schema) => make(AST.toType(s
  * Schema type that collapses a transformation schema to its `Encoded` side on
  * both sides (Type = Encoded = S["Encoded"]). Produced by {@link toEncoded}.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export interface toEncoded<S extends Top> extends
@@ -1827,6 +1837,7 @@ interface toEncodedLambda extends Lambda {
  * Extracts the encoded-side schema: sets `Type` to equal the `Encoded`,
  * discarding the decoding transformation path.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export const toEncoded = Struct_.lambda<toEncodedLambda>((schema) => make(AST.toEncoded(schema.ast), { schema }))
@@ -1837,6 +1848,7 @@ const FlipTypeId = "~effect/Schema/flip"
  * Schema type representing a flipped schema where `Type` and `Encoded` are
  * swapped. Produced by {@link flip}.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export interface flip<S extends Top> extends
@@ -1880,6 +1892,7 @@ function isFlip$(schema: Top): schema is flip<any> {
  * // flipped: decodes number → string
  * ```
  *
+ * @category transforming
  * @since 4.0.0
  */
 export function flip<S extends Top>(schema: S): S extends flip<infer F> ? F["Rebuild"] : flip<S>
@@ -1894,7 +1907,8 @@ export function flip<S extends Top>(schema: S): flip<S> {
  * Represents a schema for a single literal value.
  *
  * @see {@link Literal} for the constructor function.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Literal<L extends AST.LiteralValue> extends Bottom<L, L, never, never, AST.Literal, Literal<L>> {
   readonly literal: L
@@ -1905,6 +1919,7 @@ export interface Literal<L extends AST.LiteralValue> extends Bottom<L, L, never,
  * Creates a schema for a single literal value (string, number, bigint, boolean, or null).
  *
  * **Example** (String literal)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -1915,7 +1930,8 @@ export interface Literal<L extends AST.LiteralValue> extends Bottom<L, L, never,
  * @see {@link Literals} for a schema that represents a union of literals.
  * @see {@link tag} for a schema that represents a literal value that can be
  * used as a discriminator field in tagged unions and has a constructor default.
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function Literal<L extends AST.LiteralValue>(literal: L): Literal<L> {
   const out = make<Literal<L>>(new AST.Literal(literal), {
@@ -1933,7 +1949,7 @@ export function Literal<L extends AST.LiteralValue>(literal: L): Literal<L> {
 /**
  * Namespace for {@link TemplateLiteral} helper types.
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace TemplateLiteral {
   /**
@@ -1943,6 +1959,7 @@ export declare namespace TemplateLiteral {
    * The schema's encoded value must be a `string`, `number`, or `bigint` so it can
    * be converted into a template literal string segment.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export interface SchemaPart extends Top {
@@ -1952,6 +1969,7 @@ export declare namespace TemplateLiteral {
   /**
    * Literal value that can be used directly as a part of a `TemplateLiteral`.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type LiteralPart = string | number | bigint
@@ -1960,6 +1978,7 @@ export declare namespace TemplateLiteral {
    * A single part of a `TemplateLiteral`, either an interpolated schema part or a
    * literal `string`, `number`, or `bigint`.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type Part = SchemaPart | LiteralPart
@@ -1967,6 +1986,7 @@ export declare namespace TemplateLiteral {
   /**
    * Ordered list of parts used to construct a `TemplateLiteral` schema.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type Parts = ReadonlyArray<Part>
@@ -1982,7 +2002,8 @@ export declare namespace TemplateLiteral {
    * Computes the encoded string literal type produced by concatenating the encoded
    * forms of all template literal parts.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Encoded<Parts> = Parts extends readonly [...infer Init, infer Last] ? AppendType<Encoded<Init>, Last>
     : ``
@@ -1993,7 +2014,8 @@ export declare namespace TemplateLiteral {
  * The encoded type is a string formed by concatenating the parts.
  *
  * @see {@link TemplateLiteral} for the constructor function.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface TemplateLiteral<Parts extends TemplateLiteral.Parts> extends
   Bottom<
@@ -2017,6 +2039,7 @@ function templateLiteralFromParts<Parts extends TemplateLiteral.Parts>(parts: Pa
  * a literal string/number/bigint or a schema whose encoded type is a string, number, or bigint.
  *
  * **Example** (URL path pattern)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -2025,7 +2048,8 @@ function templateLiteralFromParts<Parts extends TemplateLiteral.Parts>(parts: Pa
  * ```
  *
  * @see {@link TemplateLiteralParser} for a schema that also parses matched parts into a tuple.
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function TemplateLiteral<const Parts extends TemplateLiteral.Parts>(parts: Parts): TemplateLiteral<Parts> {
   return make(templateLiteralFromParts(parts), { parts })
@@ -2034,7 +2058,7 @@ export function TemplateLiteral<const Parts extends TemplateLiteral.Parts>(parts
 /**
  * Namespace for {@link TemplateLiteralParser} helper types.
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace TemplateLiteralParser {
   /**
@@ -2044,7 +2068,8 @@ export declare namespace TemplateLiteralParser {
    * Literal parts contribute their literal value to the tuple. Schema parts
    * contribute their decoded `Type`.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Type<Parts> = Parts extends readonly [infer Head, ...infer Tail] ? readonly [
       Head extends TemplateLiteral.LiteralPart ? Head :
@@ -2060,7 +2085,8 @@ export declare namespace TemplateLiteralParser {
  * them into a tuple of typed values, one per schema part.
  *
  * @see {@link TemplateLiteralParser} for the constructor function.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface TemplateLiteralParser<Parts extends TemplateLiteral.Parts> extends
   Bottom<
@@ -2080,6 +2106,7 @@ export interface TemplateLiteralParser<Parts extends TemplateLiteral.Parts> exte
  * one element per schema part.
  *
  * **Example** (Parse path parameters)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -2088,7 +2115,8 @@ export interface TemplateLiteralParser<Parts extends TemplateLiteral.Parts> exte
  * ```
  *
  * @see {@link TemplateLiteral} for a validation-only version that keeps the string encoded.
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function TemplateLiteralParser<const Parts extends TemplateLiteral.Parts>(
   parts: Parts
@@ -2101,6 +2129,7 @@ export function TemplateLiteralParser<const Parts extends TemplateLiteral.Parts>
  * `as const` object, accepting any of its values.
  *
  * @see {@link Enum} for the constructor function.
+ * @category models
  * @since 4.0.0
  */
 export interface Enum<A extends { [x: string]: string | number }>
@@ -2113,6 +2142,7 @@ export interface Enum<A extends { [x: string]: string | number }>
  * Creates a schema from a TypeScript enum object. Validates that the input is one of the enum's values.
  *
  * **Example** (Direction enum)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -2125,6 +2155,7 @@ export interface Enum<A extends { [x: string]: string | number }>
  * // accepts "Up" or "Down"
  * ```
  *
+ * @category constructors
  * @since 4.0.0
  */
 export function Enum<A extends { [x: string]: string | number }>(enums: A): Enum<A> {
@@ -2142,14 +2173,16 @@ export function Enum<A extends { [x: string]: string | number }>(enums: A): Enum
  * Schema for the `never` type. Always fails validation.
  *
  * @see {@link Never} for the schema value.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Never extends Bottom<never, never, never, never, AST.Never, Never> {}
 
 /**
  * Schema for the `never` type. Always fails validation — no value satisfies it.
  *
- * @since 4.0.0
+ * @category schemas
+ * @since 3.10.0
  */
 export const Never: Never = make(AST.never)
 
@@ -2157,7 +2190,8 @@ export const Never: Never = make(AST.never)
  * Schema for the `any` type. Accepts any value without validation.
  *
  * @see {@link Any} for the schema value.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Any extends Bottom<any, any, never, never, AST.Any, Any> {}
 
@@ -2165,7 +2199,8 @@ export interface Any extends Bottom<any, any, never, never, AST.Any, Any> {}
  * Schema for the `any` type. Accepts any value without validation.
  *
  * @see {@link Unknown} for a safer alternative that uses `unknown`.
- * @since 4.0.0
+ * @category schemas
+ * @since 3.10.0
  */
 export const Any: Any = make(AST.any)
 
@@ -2173,7 +2208,8 @@ export const Any: Any = make(AST.any)
  * Schema for the `unknown` type. Accepts any value without validation.
  *
  * @see {@link Unknown} for the schema value.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Unknown extends Bottom<unknown, unknown, never, never, AST.Unknown, Unknown> {}
 
@@ -2181,7 +2217,8 @@ export interface Unknown extends Bottom<unknown, unknown, never, never, AST.Unkn
  * Schema for the `unknown` type. Accepts any value without validation.
  *
  * @see {@link Any} for the `any` variant.
- * @since 4.0.0
+ * @category schemas
+ * @since 3.10.0
  */
 export const Unknown: Unknown = make(AST.unknown)
 
@@ -2189,7 +2226,8 @@ export const Unknown: Unknown = make(AST.unknown)
  * Schema for the `null` literal. Validates that the input is strictly `null`.
  *
  * @see {@link Null} for the schema value.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Null extends Bottom<null, null, never, never, AST.Null, Null> {}
 
@@ -2197,7 +2235,8 @@ export interface Null extends Bottom<null, null, never, never, AST.Null, Null> {
  * Schema for the `null` literal. Validates that the input is strictly `null`.
  *
  * @see {@link NullOr} for a union with another schema.
- * @since 4.0.0
+ * @category schemas
+ * @since 3.10.0
  */
 export const Null: Null = make(AST.null)
 
@@ -2205,7 +2244,8 @@ export const Null: Null = make(AST.null)
  * Schema for the `undefined` literal. Validates that the input is strictly `undefined`.
  *
  * @see {@link Undefined} for the schema value.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Undefined extends Bottom<undefined, undefined, never, never, AST.Undefined, Undefined> {}
 
@@ -2213,7 +2253,8 @@ export interface Undefined extends Bottom<undefined, undefined, never, never, AS
  * Schema for the `undefined` literal. Validates that the input is strictly `undefined`.
  *
  * @see {@link UndefinedOr} for a union with another schema.
- * @since 4.0.0
+ * @category schemas
+ * @since 3.10.0
  */
 export const Undefined: Undefined = make(AST.undefined)
 
@@ -2221,6 +2262,7 @@ export const Undefined: Undefined = make(AST.undefined)
  * Schema for `string` values.
  *
  * @see {@link String} for the schema value.
+ * @category models
  * @since 4.0.0
  */
 export interface String extends Bottom<string, string, never, never, AST.String, String> {}
@@ -2228,6 +2270,7 @@ export interface String extends Bottom<string, string, never, never, AST.String,
 /**
  * Schema for `string` values. Validates that the input is `typeof` `"string"`.
  *
+ * @category schemas
  * @since 4.0.0
  */
 export const String: String = make(AST.string)
@@ -2236,6 +2279,7 @@ export const String: String = make(AST.string)
  * Schema for `number` values, including `NaN`, `Infinity`, and `-Infinity`.
  *
  * @see {@link Number} for the schema value.
+ * @category models
  * @since 4.0.0
  */
 export interface Number extends Bottom<number, number, never, never, AST.Number, Number> {}
@@ -2249,6 +2293,7 @@ export interface Number extends Bottom<number, number, never, never, AST.Number,
  * - Non-finite values are serialized as strings (`"NaN"`, `"Infinity"`, `"-Infinity"`).
  *
  * @see {@link Finite} for a schema that excludes non-finite values.
+ * @category schemas
  * @since 4.0.0
  */
 export const Number: Number = make(AST.number)
@@ -2257,6 +2302,7 @@ export const Number: Number = make(AST.number)
  * Schema for `boolean` values.
  *
  * @see {@link Boolean} for the schema value.
+ * @category models
  * @since 4.0.0
  */
 export interface Boolean extends Bottom<boolean, boolean, never, never, AST.Boolean, Boolean> {}
@@ -2273,6 +2319,7 @@ export const Boolean: Boolean = make(AST.boolean)
  * Schema for `symbol` values.
  *
  * @see {@link Symbol} for the schema value.
+ * @category models
  * @since 4.0.0
  */
 export interface Symbol extends Bottom<symbol, symbol, never, never, AST.Symbol, Symbol> {}
@@ -2281,6 +2328,7 @@ export interface Symbol extends Bottom<symbol, symbol, never, never, AST.Symbol,
  * Schema for `symbol` values. Validates that the input is `typeof` `"symbol"`.
  *
  * @see {@link UniqueSymbol} for a schema that matches a specific symbol.
+ * @category schemas
  * @since 4.0.0
  */
 export const Symbol: Symbol = make(AST.symbol)
@@ -2289,6 +2337,7 @@ export const Symbol: Symbol = make(AST.symbol)
  * Schema for `bigint` values.
  *
  * @see {@link BigInt} for the schema value.
+ * @category models
  * @since 4.0.0
  */
 export interface BigInt extends Bottom<bigint, bigint, never, never, AST.BigInt, BigInt> {}
@@ -2296,6 +2345,7 @@ export interface BigInt extends Bottom<bigint, bigint, never, never, AST.BigInt,
 /**
  * Schema for `bigint` values. Validates that the input is `typeof` `"bigint"`.
  *
+ * @category schemas
  * @since 4.0.0
  */
 export const BigInt: BigInt = make(AST.bigInt)
@@ -2304,14 +2354,16 @@ export const BigInt: BigInt = make(AST.bigInt)
  * Schema for the `void` type.
  *
  * @see {@link Void} for the schema value.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Void extends Bottom<void, void, never, never, AST.Void, Void> {}
 
 /**
  * Schema for the `void` type. Accepts `undefined` as the encoded value.
  *
- * @since 4.0.0
+ * @category schemas
+ * @since 3.10.0
  */
 export const Void: Void = make(AST.void)
 
@@ -2319,6 +2371,7 @@ export const Void: Void = make(AST.void)
  * Schema for the `object` type keyword.
  *
  * @see {@link ObjectKeyword} for the schema value.
+ * @category models
  * @since 4.0.0
  */
 export interface ObjectKeyword extends Bottom<object, object, never, never, AST.ObjectKeyword, ObjectKeyword> {}
@@ -2327,6 +2380,7 @@ export interface ObjectKeyword extends Bottom<object, object, never, never, AST.
  * Schema for the `object` type. Validates that the input is a non-null object or function
  * (i.e. `typeof value === "object" && value !== null || typeof value === "function"`).
  *
+ * @category schemas
  * @since 4.0.0
  */
 export const ObjectKeyword: ObjectKeyword = make(AST.objectKeyword)
@@ -2335,6 +2389,7 @@ export const ObjectKeyword: ObjectKeyword = make(AST.objectKeyword)
  * Represents a schema for a specific unique symbol.
  *
  * @see {@link UniqueSymbol} for the constructor function.
+ * @category models
  * @since 4.0.0
  */
 export interface UniqueSymbol<sym extends symbol>
@@ -2345,6 +2400,7 @@ export interface UniqueSymbol<sym extends symbol>
  * Creates a schema for a specific symbol. Only that exact symbol satisfies the schema.
  *
  * **Example** (Specific symbol)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -2353,6 +2409,7 @@ export interface UniqueSymbol<sym extends symbol>
  * ```
  *
  * @see {@link Symbol} for a schema that accepts any symbol.
+ * @category constructors
  * @since 4.0.0
  */
 export function UniqueSymbol<const sym extends symbol>(symbol: sym): UniqueSymbol<sym> {
@@ -2372,13 +2429,14 @@ export function UniqueSymbol<const sym extends symbol>(symbol: sym): UniqueSymbo
  * - `Struct.MakeIn<F>` — constructor input (optional/defaulted fields may be omitted)
  * - `Struct.DecodingServices<F>` / `Struct.EncodingServices<F>` — required services
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace Struct {
   /**
    * Constraint for a struct field map: an object whose values are schemas.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Fields = { readonly [x: PropertyKey]: Top }
 
@@ -2409,7 +2467,8 @@ export declare namespace Struct {
    * Field schemas contribute their decoded `Type`. `optionalKey` and `optional`
    * produce optional properties, while `mutableKey` produces writable properties.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Type<F extends Fields> = Simplify<Type_<F>>
 
@@ -2431,6 +2490,7 @@ export declare namespace Struct {
    * The resulting property optionality and mutability follow the same field
    * modifiers used by `Struct.Type`.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type Iso<F extends Fields> = Simplify<Iso_<F>>
@@ -2463,7 +2523,8 @@ export declare namespace Struct {
    * mutability modifiers determine whether properties are optional or writable in
    * the encoded shape.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Encoded<F extends Fields> = Simplify<Encoded_<F>>
 
@@ -2471,6 +2532,7 @@ export declare namespace Struct {
    * Union of all decoding service requirements needed by the schemas in a struct
    * field map.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type DecodingServices<F extends Fields> = { readonly [K in keyof F]: F[K]["DecodingServices"] }[keyof F]
@@ -2479,6 +2541,7 @@ export declare namespace Struct {
    * Union of all encoding service requirements needed by the schemas in a struct
    * field map.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type EncodingServices<F extends Fields> = { readonly [K in keyof F]: F[K]["EncodingServices"] }[keyof F]
@@ -2502,6 +2565,7 @@ export declare namespace Struct {
    * Required fields use each field schema's `~type.make` input. Fields marked
    * optional or with a constructor default may be omitted.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type MakeIn<F extends Fields> = Simplify<MakeIn_<F>>
@@ -2515,7 +2579,8 @@ export declare namespace Struct {
  * The `fields` property exposes the original field map for reuse, and
  * `mapFields` creates a new struct schema by transforming that field map.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Struct<Fields extends Struct.Fields> extends
   Bottom<
@@ -2617,8 +2682,8 @@ function makeStruct<const Fields extends Struct.Fields>(ast: AST.Objects, fields
  * // { name: 'Alice', age: 30 }
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function Struct<const Fields extends Struct.Fields>(fields: Fields): Struct<Fields> {
   return makeStruct(AST.struct(fields, undefined), fields)
@@ -2649,6 +2714,7 @@ interface fieldsAssign<NewFields extends Struct.Fields> extends Lambda {
  * ]).mapMembers(Tuple.map(Schema.fieldsAssign({ c: Schema.Number })))
  * ```
  *
+ * @category combinators
  * @since 4.0.0
  */
 export function fieldsAssign<const NewFields extends Struct.Fields>(fields: NewFields) {
@@ -2659,6 +2725,7 @@ export function fieldsAssign<const NewFields extends Struct.Fields>(fields: NewF
  * Schema type for a struct with renamed encoded keys. Produced by
  * {@link encodeKeys}.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export interface encodeKeys<
@@ -2698,7 +2765,7 @@ export interface encodeKeys<
  * // { name: 'Alice', age: 30 }
  * ```
  *
- * @category Struct transformations
+ * @category transforming
  * @since 4.0.0
  */
 export function encodeKeys<
@@ -2753,8 +2820,8 @@ export function encodeKeys<
  * // Alice Smith
  * ```
  *
+ * @category transforming
  * @since 4.0.0
- * @experimental
  */
 export function extendTo<S extends Struct<Struct.Fields>, const Fields extends Struct.Fields>(
   /** The new fields to add */
@@ -2800,7 +2867,7 @@ export function extendTo<S extends Struct<Struct.Fields>, const Fields extends S
  * - `Record.Type<K, V>` — decoded type of the record
  * - `Record.Encoded<K, V>` — encoded type of the record
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace Record {
   /**
@@ -2810,6 +2877,7 @@ export declare namespace Record {
    * The key schema must decode and encode property keys (`string`, `number`, or
    * `symbol`) so it can describe object property names.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export interface Key extends Codec<PropertyKey, PropertyKey, unknown, unknown> {
@@ -2826,7 +2894,8 @@ export declare namespace Record {
    * property's decoded `Type`. Optional and mutable value schemas affect the
    * resulting property optionality and writability.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Type<Key extends Record.Key, Value extends Top> = Value extends
     { readonly "~type.optionality": "optional" } ?
@@ -2839,6 +2908,7 @@ export declare namespace Record {
    * Computes the iso object type for a record schema from the key schema's `Iso`
    * keys and the value schema's `Iso` values.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type Iso<Key extends Record.Key, Value extends Top> = Value extends
@@ -2856,7 +2926,8 @@ export declare namespace Record {
    * Encoded-side optionality and mutability on the value schema determine whether
    * the encoded record properties are optional or writable.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Encoded<Key extends Record.Key, Value extends Top> = Value extends
     { readonly "~encoded.optionality": "optional" } ?
@@ -2869,6 +2940,7 @@ export declare namespace Record {
    * Union of the decoding service requirements of a record's key schema and value
    * schema.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type DecodingServices<Key extends Record.Key, Value extends Top> =
@@ -2879,6 +2951,7 @@ export declare namespace Record {
    * Union of the encoding service requirements of a record's key schema and value
    * schema.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type EncodingServices<Key extends Record.Key, Value extends Top> =
@@ -2893,6 +2966,7 @@ export declare namespace Record {
    * `~type.make` type. Value optionality and mutability determine whether
    * properties are optional or writable.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type MakeIn<Key extends Record.Key, Value extends Top> = Value extends
@@ -2907,6 +2981,7 @@ export declare namespace Record {
  * Companion type for a key-value record (map) with a typed key and value schema.
  * Produced by {@link Record}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface $Record<Key extends Record.Key, Value extends Top> extends
@@ -2943,8 +3018,8 @@ export interface $Record<Key extends Record.Key, Value extends Top> extends
  * // { a: 1, b: 2 }
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function Record<Key extends Record.Key, Value extends Top>(
   key: Key,
@@ -2975,6 +3050,7 @@ export declare namespace StructWithRest {
    * Constraint for object-like schemas that can be used as the fixed portion of a
    * `StructWithRest` schema.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type Objects = Top & { readonly ast: AST.Objects }
@@ -2983,7 +3059,8 @@ export declare namespace StructWithRest {
    * Readonly list of record schemas that provide the additional index signatures
    * for a `StructWithRest` schema.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Records = ReadonlyArray<$Record<Record.Key, Top>>
 
@@ -2995,7 +3072,8 @@ export declare namespace StructWithRest {
    * Computes the decoded type for `StructWithRest` by intersecting the base object
    * schema's decoded `Type` with the decoded types of all rest record schemas.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Type<S extends Objects, Records extends StructWithRest.Records> =
     & S["Type"]
@@ -3005,6 +3083,7 @@ export declare namespace StructWithRest {
    * Computes the iso type for `StructWithRest` by intersecting the base object
    * schema's `Iso` type with the `Iso` types of all rest record schemas.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type Iso<S extends Objects, Records extends StructWithRest.Records> =
@@ -3015,7 +3094,8 @@ export declare namespace StructWithRest {
    * Computes the encoded type for `StructWithRest` by intersecting the base object
    * schema's encoded type with the encoded types of all rest record schemas.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Encoded<S extends Objects, Records extends StructWithRest.Records> =
     & S["Encoded"]
@@ -3025,6 +3105,7 @@ export declare namespace StructWithRest {
    * Union of the decoding service requirements of the base object schema and all
    * rest record schemas.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type DecodingServices<S extends Objects, Records extends StructWithRest.Records> =
@@ -3035,6 +3116,7 @@ export declare namespace StructWithRest {
    * Union of the encoding service requirements of the base object schema and all
    * rest record schemas.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type EncodingServices<S extends Objects, Records extends StructWithRest.Records> =
@@ -3046,6 +3128,7 @@ export declare namespace StructWithRest {
    * intersecting the base object's make input with the make inputs of all rest
    * record schemas.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type MakeIn<S extends Objects, Records extends StructWithRest.Records> =
@@ -3057,6 +3140,7 @@ export declare namespace StructWithRest {
  * Companion type for a struct combined with one or more record schemas. Produced
  * by {@link StructWithRest}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface StructWithRest<
@@ -3096,7 +3180,7 @@ export interface StructWithRest<
  * type T = typeof schema.Type
  * ```
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export function StructWithRest<
@@ -3117,14 +3201,15 @@ export function StructWithRest<
  * - `Tuple.Encoded<E>` — encoded tuple type
  * - `Tuple.MakeIn<E>` — constructor input tuple
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace Tuple {
   /**
    * Constraint for the readonly array of element schemas used to define a
    * fixed-length `Tuple` schema.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Elements = ReadonlyArray<Top>
 
@@ -3145,7 +3230,8 @@ export declare namespace Tuple {
    * Each element contributes its decoded `Type`; optional element schemas produce
    * optional tuple positions.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Type<E extends Elements> = Type_<E>
 
@@ -3163,6 +3249,7 @@ export declare namespace Tuple {
    * Computes the iso tuple type for a tuple element schema array from each
    * element schema's `Iso` type.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type Iso<E extends Elements> = Iso_<E>
@@ -3184,7 +3271,8 @@ export declare namespace Tuple {
    * Each element contributes its `Encoded` type; encoded-side optional element
    * schemas produce optional tuple positions.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Encoded<E extends Elements> = Encoded_<E>
 
@@ -3192,6 +3280,7 @@ export declare namespace Tuple {
    * Union of all decoding service requirements needed by the tuple element
    * schemas.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type DecodingServices<E extends Elements> = E[number]["DecodingServices"]
@@ -3200,6 +3289,7 @@ export declare namespace Tuple {
    * Union of all encoding service requirements needed by the tuple element
    * schemas.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type EncodingServices<E extends Elements> = E[number]["EncodingServices"]
@@ -3223,6 +3313,7 @@ export declare namespace Tuple {
    * Each element uses its `~type.make` input type. Optional elements and elements
    * with constructor defaults produce optional tuple positions.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type MakeIn<E extends Elements> = MakeIn_<E>
@@ -3231,7 +3322,8 @@ export declare namespace Tuple {
 /**
  * Companion type for a fixed-length tuple. Produced by {@link Tuple}.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Tuple<Elements extends Tuple.Elements> extends
   Bottom<
@@ -3299,8 +3391,8 @@ function makeTuple<Elements extends Tuple.Elements>(ast: AST.Arrays, elements: E
  * // [ 'hello', 42 ]
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function Tuple<const Elements extends ReadonlyArray<Top>>(elements: Elements): Tuple<Elements> {
   return makeTuple(AST.tuple(elements), elements)
@@ -3321,7 +3413,8 @@ export declare namespace TupleWithRest {
    * Constraint for tuple-like schemas that can be used as the fixed leading
    * portion of a `TupleWithRest` schema.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type TupleType = Top & {
     readonly Type: ReadonlyArray<unknown>
@@ -3338,7 +3431,8 @@ export declare namespace TupleWithRest {
    * The first schema describes the repeated rest element. Additional schemas, when
    * present, describe trailing tuple elements after the repeated rest segment.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Rest = readonly [Top, ...Array<Top>]
 
@@ -3350,7 +3444,8 @@ export declare namespace TupleWithRest {
    * values decoded by the first rest schema, and includes any trailing rest schemas
    * as fixed tuple positions.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Type<T extends ReadonlyArray<unknown>, Rest extends TupleWithRest.Rest> = Rest extends
     readonly [infer Head extends Top, ...infer Tail extends ReadonlyArray<Top>] ? Readonly<[
@@ -3368,6 +3463,7 @@ export declare namespace TupleWithRest {
    * or more values using the first rest schema's `Iso`, and includes any trailing
    * rest schemas as fixed tuple positions.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type Iso<T extends ReadonlyArray<unknown>, Rest extends TupleWithRest.Rest> = Rest extends
@@ -3386,7 +3482,8 @@ export declare namespace TupleWithRest {
    * first rest schema may repeat zero or more times, and the encoded types of any
    * additional rest schemas become required trailing tuple elements.
    *
-   * @since 4.0.0
+   * @category utility types
+   * @since 3.10.0
    */
   export type Encoded<E extends ReadonlyArray<unknown>, Rest extends TupleWithRest.Rest> = Rest extends
     readonly [infer Head extends Top, ...infer Tail extends ReadonlyArray<Top>] ? readonly [
@@ -3404,6 +3501,7 @@ export declare namespace TupleWithRest {
    * 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.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type MakeIn<M extends ReadonlyArray<unknown>, Rest extends TupleWithRest.Rest> = Rest extends
@@ -3419,6 +3517,7 @@ export declare namespace TupleWithRest {
  * Companion type for a tuple with additional rest elements. Produced by
  * {@link TupleWithRest}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface TupleWithRest<
@@ -3466,7 +3565,7 @@ export interface TupleWithRest<
  * // [ 'hello', 1, true, false ]
  * ```
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export function TupleWithRest<S extends Tuple<Tuple.Elements>, const Rest extends TupleWithRest.Rest>(
@@ -3484,6 +3583,7 @@ export function TupleWithRest<S extends Tuple<Tuple.Elements>, const Rest extend
  * `ReadonlyArray<S["Encoded"]>`, and the element schema is available as
  * `schema`.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface $Array<S extends Top> extends
@@ -3507,7 +3607,7 @@ interface ArrayLambda extends Lambda {
 }
 
 /**
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 const ArraySchema = Struct_.lambda<ArrayLambda>((schema) => make(new AST.Arrays(false, [], [schema.ast]), { schema }))
@@ -3528,7 +3628,7 @@ export {
    * // [ 'a', 'b', 'c' ]
    * ```
    *
-   * @category Constructors
+   * @category constructors
    * @since 4.0.0
    */
   ArraySchema as Array
@@ -3537,7 +3637,8 @@ export {
 /**
  * Companion type for a non-empty `ReadonlyArray`. Produced by {@link NonEmptyArray}.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface NonEmptyArray<S extends Top> extends
   Bottom<
@@ -3574,8 +3675,8 @@ interface NonEmptyArrayLambda extends Lambda {
  * Schema.decodeUnknownSync(schema)([])          // throws
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export const NonEmptyArray = Struct_.lambda<NonEmptyArrayLambda>((schema) =>
   make(new AST.Arrays(false, [schema.ast], [schema.ast]), { schema })
@@ -3590,7 +3691,7 @@ export const NonEmptyArray = Struct_.lambda<NonEmptyArrayLambda>((schema) =>
  * `ReadonlyArray<S["Type"]>`.
  *
  * @category Arrays
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface ArrayEnsure<S extends Top> extends decodeTo<$Array<toType<S>>, Union<readonly [S, $Array<S>]>> {
   readonly "Rebuild": ArrayEnsure<S>
@@ -3609,7 +3710,7 @@ export interface ArrayEnsure<S extends Top> extends decodeTo<$Array<toType<S>>,
  * arrays and arrays with two or more elements are encoded as arrays.
  *
  * @category Arrays
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function ArrayEnsure<S extends Top>(schema: S): ArrayEnsure<S> {
   return Union([schema, ArraySchema(schema)]).pipe(decodeTo(
@@ -3624,6 +3725,7 @@ export function ArrayEnsure<S extends Top>(schema: S): ArrayEnsure<S> {
 /**
  * Companion type for an array with unique elements. Produced by {@link UniqueArray}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface UniqueArray<S extends Top> extends $Array<S> {
@@ -3636,7 +3738,7 @@ export interface UniqueArray<S extends Top> extends $Array<S> {
  * The equivalence used to determine uniqueness is the one provided by
  * `Schema.toEquivalence(item)`.
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export function UniqueArray<S extends Top>(item: S): UniqueArray<S> {
@@ -3647,7 +3749,8 @@ export function UniqueArray<S extends Top>(item: S): UniqueArray<S> {
  * Schema type that makes array or tuple elements mutable (removes `readonly`).
  * Produced by {@link mutable}.
  *
- * @since 4.0.0
+ * @category transforming
+ * @since 3.10.0
  */
 export interface mutable<S extends Top & { readonly "ast": AST.Arrays }> extends
   Bottom<
@@ -3692,7 +3795,8 @@ interface mutableLambda extends Lambda {
  * type T = typeof schema.Type
  * ```
  *
- * @since 4.0.0
+ * @category transforming
+ * @since 3.10.0
  */
 export const mutable = Struct_.lambda<mutableLambda>((schema) => {
   return make(new AST.Arrays(true, schema.ast.elements, schema.ast.rest), { schema })
@@ -3701,7 +3805,8 @@ export const mutable = Struct_.lambda<mutableLambda>((schema) => {
 /**
  * Companion type for a union of multiple schemas. Produced by {@link Union}.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Union<Members extends ReadonlyArray<Top>> extends
   Bottom<
@@ -3779,8 +3884,8 @@ function makeUnion<Members extends ReadonlyArray<Top>>(
  * Schema.decodeUnknownSync(schema)(42)       // 42
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function Union<const Members extends ReadonlyArray<Top>>(
   members: Members,
@@ -3793,6 +3898,7 @@ export function Union<const Members extends ReadonlyArray<Top>>(
  * Represents a union schema of multiple literal values.
  *
  * @see {@link Literals} for the constructor function.
+ * @category models
  * @since 4.0.0
  */
 export interface Literals<L extends ReadonlyArray<AST.LiteralValue>>
@@ -3816,6 +3922,7 @@ export interface Literals<L extends ReadonlyArray<AST.LiteralValue>>
  * Creates a union schema from an array of literal values.
  *
  * **Example** (Status codes)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -3824,7 +3931,7 @@ export interface Literals<L extends ReadonlyArray<AST.LiteralValue>>
  * ```
  *
  * @see {@link Literal} for a schema that represents a single literal.
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export function Literals<const L extends ReadonlyArray<AST.LiteralValue>>(literals: L): Literals<L> {
@@ -3852,7 +3959,8 @@ export function Literals<const L extends ReadonlyArray<AST.LiteralValue>>(litera
 /**
  * Companion type for `S | null`. Produced by {@link NullOr}.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface NullOr<S extends Top> extends Union<readonly [S, Null]> {
   readonly "Rebuild": NullOr<S>
@@ -3866,15 +3974,16 @@ interface NullOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | null`.
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export const NullOr = Struct_.lambda<NullOrLambda>((self) => Union([self, Null]))
 
 /**
  * Companion type for `S | undefined`. Produced by {@link UndefinedOr}.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface UndefinedOr<S extends Top> extends Union<readonly [S, Undefined]> {
   readonly "Rebuild": UndefinedOr<S>
@@ -3888,14 +3997,15 @@ interface UndefinedOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | undefined`.
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export const UndefinedOr = Struct_.lambda<UndefinedOrLambda>((self) => Union([self, Undefined]))
 
 /**
  * Companion type for `S | null | undefined`. Produced by {@link NullishOr}.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface NullishOr<S extends Top> extends Union<readonly [S, Null, Undefined]> {
   readonly "Rebuild": NullishOr<S>
@@ -3908,14 +4018,15 @@ interface NullishOrLambda extends Lambda {
 
 /**
  * Creates a union schema of `S | null | undefined`.
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export const NullishOr = Struct_.lambda<NullishOrLambda>((self) => Union([self, Null, Undefined]))
 
 /**
  * Schema type wrapping a lazily-evaluated schema. Produced by {@link suspend}.
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface suspend<S extends Top> extends
   Bottom<
@@ -3943,6 +4054,7 @@ export interface suspend<S extends Top> extends
  * preventing infinite recursion during schema definition.
  *
  * **Example** (Recursive tree schema)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -3957,8 +4069,8 @@ export interface suspend<S extends Top> extends
  * })
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function suspend<S extends Top>(f: () => S): suspend<S> {
   return make(new AST.Suspend(() => f().ast))
@@ -3969,6 +4081,7 @@ export function suspend<S extends Top>(f: () => S): suspend<S> {
  * changing the TypeScript type.
  *
  * **Example** (Adding checks to a schema)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -3977,7 +4090,7 @@ export function suspend<S extends Top>(f: () => S): suspend<S> {
  * )
  * ```
  *
- * @category Filtering
+ * @category filtering
  * @since 4.0.0
  */
 export function check<S extends Top>(...checks: readonly [AST.Check<S["Type"]>, ...Array<AST.Check<S["Type"]>>]) {
@@ -3988,7 +4101,8 @@ export function check<S extends Top>(...checks: readonly [AST.Check<S["Type"]>,
  * The output type of {@link refine}, narrowing the schema's `Type` to `T` via a
  * type guard.
  *
- * @since 4.0.0
+ * @category filtering
+ * @since 3.10.0
  */
 export interface refine<T extends S["Type"], S extends Top> extends
   Bottom<
@@ -4022,8 +4136,8 @@ export interface refine<T extends S["Type"], S extends Top> extends
  * names type-level failures before the refinement runs; it does not name the
  * failed refinement itself.
  *
- * @category Filtering
- * @since 4.0.0
+ * @category filtering
+ * @since 3.10.0
  */
 export function refine<S extends Top, T extends S["Type"]>(
   refinement: (value: S["Type"]) => value is T,
@@ -4039,7 +4153,8 @@ type DistributeBrands<B> = UnionToIntersection<B extends infer U extends string
  * The output type of {@link brand}, intersecting the schema's `Type` with one or
  * more {@link Brand.Brand} tags.
  *
- * @since 4.0.0
+ * @category branding
+ * @since 3.10.0
  */
 export interface brand<S extends Top, B> extends
   Bottom<
@@ -4068,8 +4183,8 @@ export interface brand<S extends Top, B> extends
  * Adds a nominal brand to a schema, intersecting the output type with
  * `Brand.Brand<B>` to prevent accidental mixing of structurally identical types.
  *
- * @category Branding
- * @since 4.0.0
+ * @category branding
+ * @since 3.10.0
  */
 export function brand<B extends string>(identifier: B) {
   return <S extends Top>(schema: S): brand<S["Rebuild"], B> =>
@@ -4080,8 +4195,8 @@ export function brand<B extends string>(identifier: B) {
  * Creates a branded schema from a {@link Brand.Constructor}, applying the
  * constructor's checks and brand tag to the underlying schema.
  *
- * @category Branding
- * @since 4.0.0
+ * @category branding
+ * @since 3.10.0
  */
 export function fromBrand<A extends Brand.Brand<any>>(identifier: string, ctor: Brand.Constructor<A>) {
   return <S extends Top & { readonly "Type": Brand.Brand.Unbranded<A> }>(
@@ -4098,6 +4213,7 @@ export function fromBrand<A extends Brand.Brand<any>>(identifier: string, ctor:
  * or augment it — including adding service requirements via `RD`.
  *
  * @see {@link middlewareDecoding} for the constructor
+ * @category decoding
  * @since 4.0.0
  */
 export interface middlewareDecoding<S extends Top, RD> extends
@@ -4142,6 +4258,7 @@ export interface middlewareDecoding<S extends Top, RD> extends
  * ```
  *
  * @see {@link catchDecoding} for a simpler error-recovery variant
+ * @category decoding
  * @since 4.0.0
  */
 export function middlewareDecoding<S extends Top, RD>(
@@ -4164,6 +4281,7 @@ export function middlewareDecoding<S extends Top, RD>(
  * or augment it — including adding service requirements via `RE`.
  *
  * @see {@link middlewareEncoding} for the constructor
+ * @category encoding
  * @since 4.0.0
  */
 export interface middlewareEncoding<S extends Top, RE> extends
@@ -4208,6 +4326,7 @@ export interface middlewareEncoding<S extends Top, RE> extends
  * ```
  *
  * @see {@link catchEncoding} for a simpler error-recovery variant
+ * @category encoding
  * @since 4.0.0
  */
 export function middlewareEncoding<S extends Top, RE>(
@@ -4240,6 +4359,7 @@ export function middlewareEncoding<S extends Top, RE>(
  * ```
  *
  * @see {@link catchDecodingWithContext} to add service requirements to the handler
+ * @category error handling
  * @since 4.0.0
  */
 export function catchDecoding<S extends Top>(
@@ -4251,6 +4371,7 @@ export function catchDecoding<S extends Top>(
 /**
  * Like {@link catchDecoding}, but the handler may require Effect services (`R`).
  *
+ * @category error handling
  * @since 4.0.0
  */
 export function catchDecodingWithContext<S extends Top, R = never>(
@@ -4267,6 +4388,7 @@ export function catchDecodingWithContext<S extends Top, R = never>(
  * succeeds with a fallback value or re-fails with a (possibly different) issue.
  *
  * @see {@link catchEncodingWithContext} to add service requirements to the handler
+ * @category error handling
  * @since 4.0.0
  */
 export function catchEncoding<S extends Top>(
@@ -4278,6 +4400,7 @@ export function catchEncoding<S extends Top>(
 /**
  * Like {@link catchEncoding}, but the handler may require Effect services (`R`).
  *
+ * @category error handling
  * @since 4.0.0
  */
 export function catchEncodingWithContext<S extends Top, R = never>(
@@ -4297,6 +4420,7 @@ export function catchEncodingWithContext<S extends Top, R = never>(
  * services are `To["EncodingServices"] | From["EncodingServices"] | RE`.
  *
  * @see {@link compose} for the passthrough (no transformation) variant
+ * @category transforming
  * @since 4.0.0
  */
 export interface decodeTo<To extends Top, From extends Top, RD = never, RE = never> extends
@@ -4329,7 +4453,8 @@ export interface decodeTo<To extends Top, From extends Top, RD = never, RE = nev
  * are composed using their natural encoding/decoding chain.
  *
  * @see {@link decodeTo} for the transformation variant
- * @since 4.0.0
+ * @category transforming
+ * @since 3.10.0
  */
 export interface compose<To extends Top, From extends Top> extends decodeTo<To, From> {}
 
@@ -4373,6 +4498,7 @@ export interface compose<To extends Top, From extends Top> extends decodeTo<To,
  * // result: 123
  * ```
  *
+ * @category transforming
  * @since 4.0.0
  */
 export function decodeTo<To extends Top>(to: To): <From extends Top>(from: From) => compose<To, From>
@@ -4440,7 +4566,8 @@ export function decodeTo<To extends Top, From extends Top, RD = never, RE = neve
  * // result: "hello"
  * ```
  *
- * @since 4.0.0
+ * @category transforming
+ * @since 3.10.0
  */
 export function decode<S extends Top, RD = never, RE = never>(transformation: {
   readonly decode: Getter.Getter<S["Type"], S["Type"], RD>
@@ -4471,6 +4598,7 @@ export function decode<S extends Top, RD = never, RE = never>(transformation: {
  * )
  * ```
  *
+ * @category transforming
  * @since 4.0.0
  */
 export function encodeTo<To extends Top>(
@@ -4517,7 +4645,8 @@ export function encodeTo<To extends Top, From extends Top, RD = never, RE = neve
  * )
  * ```
  *
- * @since 4.0.0
+ * @category transforming
+ * @since 3.10.0
  */
 export function encode<S extends Top, RD = never, RE = never>(transformation: {
   readonly decode: Getter.Getter<S["Encoded"], S["Encoded"], RD>
@@ -4533,6 +4662,7 @@ export function encode<S extends Top, RD = never, RE = never>(transformation: {
  *
  * Only schemas that satisfy this constraint can be passed to {@link withConstructorDefault}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface WithoutConstructorDefault {
@@ -4550,7 +4680,8 @@ export interface WithoutConstructorDefault {
  * added.
  *
  * @see {@link withConstructorDefault} for the constructor
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export interface withConstructorDefault<S extends Top & WithoutConstructorDefault> extends
   Bottom<
@@ -4596,7 +4727,8 @@ export interface withConstructorDefault<S extends Top & WithoutConstructorDefaul
  * // value: { name: "anonymous" }
  * ```
  *
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function withConstructorDefault<S extends Top & WithoutConstructorDefault>(
   // `S["~type.make.in"]` instead of `S["Type"]` is intentional here because
@@ -4612,6 +4744,7 @@ export function withConstructorDefault<S extends Top & WithoutConstructorDefault
  * side is `optionalKey` and that fills in a default `Encoded` value during decoding.
  *
  * @see {@link withDecodingDefaultKey} for the constructor
+ * @category decoding
  * @since 4.0.0
  */
 export interface withDecodingDefaultKey<S extends Top, R = never> extends decodeTo<S, optionalKey<toEncoded<S>>, R> {
@@ -4625,6 +4758,7 @@ export interface withDecodingDefaultKey<S extends Top, R = never> extends decode
  *   - `"passthrough"` (default): pass the value through during encoding
  *   - `"omit"`: omit the key from the encoded output
  *
+ * @category models
  * @since 4.0.0
  */
 export type DecodingDefaultOptions = {
@@ -4660,6 +4794,7 @@ export type DecodingDefaultOptions = {
  *
  * @see {@link withDecodingDefault} for the value-level variant (key absent **or** `undefined`)
  * @see {@link withDecodingDefaultTypeKey} for the variant where the default is a `Type` value
+ * @category decoding
  * @since 4.0.0
  */
 export function withDecodingDefaultKey<S extends Top, R = never>(
@@ -4681,6 +4816,7 @@ export function withDecodingDefaultKey<S extends Top, R = never>(
  * during decoding.
  *
  * @see {@link withDecodingDefaultTypeKey} for the constructor
+ * @category decoding
  * @since 4.0.0
  */
 export interface withDecodingDefaultTypeKey<S extends Top, R = never>
@@ -4706,6 +4842,7 @@ export interface withDecodingDefaultTypeKey<S extends Top, R = never>
  *
  * @see {@link withDecodingDefaultKey} for the variant where the default is an `Encoded` value
  * @see {@link withDecodingDefaultType} for the value-level variant
+ * @category decoding
  * @since 4.0.0
  */
 export function withDecodingDefaultTypeKey<S extends Top, R = never>(
@@ -4725,7 +4862,8 @@ export function withDecodingDefaultTypeKey<S extends Top, R = never>(
  * side is `optional` and that fills in a default `Encoded` value during decoding.
  *
  * @see {@link withDecodingDefault} for the constructor
- * @since 4.0.0
+ * @category decoding
+ * @since 3.10.0
  */
 export interface withDecodingDefault<S extends Top, R = never> extends decodeTo<S, optional<toEncoded<S>>, R> {
   readonly "Rebuild": withDecodingDefault<S, R>
@@ -4760,7 +4898,8 @@ export interface withDecodingDefault<S extends Top, R = never> extends decodeTo<
  *
  * @see {@link withDecodingDefaultKey} for the key-level variant (key absent only, not `undefined`)
  * @see {@link withDecodingDefaultType} for the variant where the default is a `Type` value
- * @since 4.0.0
+ * @category decoding
+ * @since 3.10.0
  */
 export function withDecodingDefault<S extends Top, R = never>(
   defaultValue: Effect.Effect<S["Encoded"], SchemaError, R>,
@@ -4781,6 +4920,7 @@ export function withDecodingDefault<S extends Top, R = never>(
  * decoding.
  *
  * @see {@link withDecodingDefaultType} for the constructor
+ * @category decoding
  * @since 4.0.0
  */
 export interface withDecodingDefaultType<S extends Top, R = never>
@@ -4806,6 +4946,7 @@ export interface withDecodingDefaultType<S extends Top, R = never>
  *
  * @see {@link withDecodingDefault} for the variant where the default is an `Encoded` value
  * @see {@link withDecodingDefaultTypeKey} for the key-level variant
+ * @category decoding
  * @since 4.0.0
  */
 export function withDecodingDefaultType<S extends Top, R = never>(
@@ -4826,7 +4967,8 @@ export function withDecodingDefaultType<S extends Top, R = never>(
  * Used as the type of the `_tag` field in {@link TaggedStruct} and related helpers.
  *
  * @see {@link tag} for the constructor
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export interface tag<Tag extends AST.LiteralValue> extends withConstructorDefault<Literal<Tag>> {}
 
@@ -4849,7 +4991,8 @@ export interface tag<Tag extends AST.LiteralValue> extends withConstructorDefaul
  *
  * @see {@link tagDefaultOmit} to also omit the tag during encoding
  * @see {@link TaggedStruct} for a shorthand that adds `_tag` automatically
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function tag<Tag extends AST.LiteralValue>(literal: Tag): tag<Tag> {
   return Literal(literal).pipe(withConstructorDefault(Effect.succeed(literal)))
@@ -4876,6 +5019,7 @@ export function tag<Tag extends AST.LiteralValue>(literal: Tag): tag<Tag> {
  * ```
  *
  * @see {@link tag} for the variant that keeps the tag during encoding
+ * @category constructors
  * @since 4.0.0
  */
 export function tagDefaultOmit<Tag extends AST.LiteralValue>(literal: Tag) {
@@ -4886,7 +5030,8 @@ export function tagDefaultOmit<Tag extends AST.LiteralValue>(literal: Tag) {
  * The type produced by {@link TaggedStruct} — a {@link Struct} with an extra `_tag` field of type {@link tag}.
  *
  * @see {@link TaggedStruct} for the constructor
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export type TaggedStruct<Tag extends AST.LiteralValue, Fields extends Struct.Fields> = Struct<
   Simplify<{ readonly _tag: tag<Tag> } & Fields>
@@ -4931,8 +5076,8 @@ export type TaggedStruct<Tag extends AST.LiteralValue, Fields extends Struct.Fie
  * const literal = tagged.fields._tag.schema.literal
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function TaggedStruct<const Tag extends AST.LiteralValue, const Fields extends Struct.Fields>(
   value: Tag,
@@ -4982,8 +5127,8 @@ type TaggedUnionUtils<
  * The type produced by {@link toTaggedUnion} — a {@link Union} augmented with `cases`, `guards`, `isAnyOf`, and `match` utilities.
  *
  * @see {@link toTaggedUnion} for the constructor
+ * @category combinators
  * @since 4.0.0
- * @experimental
  */
 export type toTaggedUnion<
   Tag extends PropertyKey,
@@ -5011,8 +5156,8 @@ export type toTaggedUnion<
  * ```
  *
  * @see {@link TaggedUnion} for a shorthand that builds the union from scratch
+ * @category combinators
  * @since 4.0.0
- * @experimental
  */
 export function toTaggedUnion<const Tag extends PropertyKey>(tag: Tag) {
   return <const Members extends ReadonlyArray<Top & { readonly Type: { readonly [K in Tag]: PropertyKey } }>>(
@@ -5068,8 +5213,8 @@ export function toTaggedUnion<const Tag extends PropertyKey>(tag: Tag) {
  * Produced by {@link TaggedUnion}.
  *
  * @see {@link TaggedUnion} for the constructor
+ * @category models
  * @since 4.0.0
- * @experimental
  */
 export interface TaggedUnion<Cases extends Record<string, Top>> extends
   Bottom<
@@ -5121,7 +5266,7 @@ export interface TaggedUnion<Cases extends Record<string, Top>> extends
  * ```
  *
  * @see {@link toTaggedUnion} to augment an existing union instead
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export function TaggedUnion<const CasesByTag extends Record<string, Struct.Fields>>(
@@ -5143,6 +5288,7 @@ export function TaggedUnion<const CasesByTag extends Record<string, Struct.Field
  * making the decoded value nominally distinct.
  *
  * @see {@link Opaque} for the constructor
+ * @category models
  * @since 4.0.0
  */
 export interface Opaque<Self, S extends Top, Brand> extends
@@ -5188,6 +5334,7 @@ export interface Opaque<Self, S extends Top, Brand> extends
  * // person: Person
  * ```
  *
+ * @category constructors
  * @since 4.0.0
  */
 export function Opaque<Self, Brand = {}>() {
@@ -5202,7 +5349,8 @@ export function Opaque<Self, Brand = {}>() {
  * The type produced by {@link instanceOf} — a declaration schema that validates class instances.
  *
  * @see {@link instanceOf} for the constructor
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface instanceOf<T, Iso = T> extends declare<T, Iso> {
   readonly "Rebuild": instanceOf<T, Iso>
@@ -5223,8 +5371,8 @@ export interface instanceOf<T, Iso = T> extends declare<T, Iso> {
  * // decoded: Date
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export function instanceOf<C extends abstract new(...args: any) => any, Iso = InstanceType<C>>(
   constructor: C,
@@ -5237,6 +5385,7 @@ export function instanceOf<C extends abstract new(...args: any) => any, Iso = In
  * Constructs an `AST.Link` that describes how a value of type `T` encodes to and decodes from a `To` schema.
  * Used when building low-level AST transformations that bridge two schema types.
  *
+ * @category transforming
  * @since 4.0.0
  */
 export function link<T>() {
@@ -5331,8 +5480,8 @@ export const makeFilter: <T>(
  *   {@link Issue.Issue}; the result is wrapped in an {@link Issue.Pointer}
  *   at the given `path`.
  *
- * @category model
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export type FilterIssue = string | Issue.Issue | {
   readonly path: ReadonlyArray<PropertyKey>
@@ -5357,8 +5506,8 @@ export type FilterIssue = string | Issue.Issue | {
  *   to returning that element directly; otherwise the entries are grouped
  *   into an {@link Issue.Composite}.
  *
- * @category model
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export type FilterOutput =
   | undefined
@@ -6753,6 +6902,7 @@ export const isBetweenBigDecimal = makeIsBetween({
  * length.
  *
  * **Example** (Minimum length check)
+ *
  * ```ts
  * import { Schema } from "effect"
  *
@@ -7230,7 +7380,7 @@ export function isUnique<T>(annotations?: Annotations.Filter) {
  * strings with a length of at least one.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface NonEmptyString extends String {
   readonly "Rebuild": NonEmptyString
@@ -7241,7 +7391,7 @@ export interface NonEmptyString extends String {
  * character.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const NonEmptyString: NonEmptyString = String.check(isNonEmpty())
 
@@ -7250,7 +7400,7 @@ export const NonEmptyString: NonEmptyString = String.check(isNonEmpty())
  * length is exactly one.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Char extends String {
   readonly "Rebuild": Char
@@ -7260,7 +7410,7 @@ export interface Char extends String {
  * A schema representing a single character.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const Char: Char = String.check(isLengthBetween(1, 1))
 
@@ -7271,8 +7421,7 @@ export const Char: Char = String.check(isLengthBetween(1, 1))
  * **Example** (Option schema)
  *
  * ```ts
- * import { Schema } from "effect"
- * import { Option } from "effect"
+ * import { Option, Schema } from "effect"
  *
  * const schema = Schema.Option(Schema.Number)
  *
@@ -7283,7 +7432,7 @@ export const Char: Char = String.check(isLengthBetween(1, 1))
  * ```
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Option<A extends Top> extends
   declareConstructor<
@@ -7315,7 +7464,7 @@ export type OptionIso<A extends Top> =
  * Creates a schema for `Option<A>`. See {@link Option} for details.
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function Option<A extends Top>(value: A): Option<A> {
   const schema = declareConstructor<
@@ -7383,7 +7532,7 @@ export function Option<A extends Top>(value: A): Option<A> {
  * other values as `Some`.
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface OptionFromNullOr<S extends Top> extends decodeTo<Option<toType<S>>, NullOr<S>> {
   readonly "Rebuild": OptionFromNullOr<S>
@@ -7401,7 +7550,7 @@ export interface OptionFromNullOr<S extends Top> extends decodeTo<Option<toType<
  * - `Some` is encoded as the value
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function OptionFromNullOr<S extends Top>(schema: S): OptionFromNullOr<S> {
   return NullOr(schema).pipe(decodeTo(
@@ -7415,7 +7564,7 @@ export function OptionFromNullOr<S extends Top>(schema: S): OptionFromNullOr<S>
  * all other values as `Some`.
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface OptionFromUndefinedOr<S extends Top> extends decodeTo<Option<toType<S>>, UndefinedOr<S>> {
   readonly "Rebuild": OptionFromUndefinedOr<S>
@@ -7433,7 +7582,7 @@ export interface OptionFromUndefinedOr<S extends Top> extends decodeTo<Option<to
  * - `Some` is encoded as the value
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function OptionFromUndefinedOr<S extends Top>(schema: S): OptionFromUndefinedOr<S> {
   return UndefinedOr(schema).pipe(decodeTo(
@@ -7447,7 +7596,7 @@ export function OptionFromUndefinedOr<S extends Top>(schema: S): OptionFromUndef
  * `None` and all other values as `Some`.
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface OptionFromNullishOr<S extends Top> extends decodeTo<Option<toType<S>>, NullishOr<S>> {
   readonly "Rebuild": OptionFromNullishOr<S>
@@ -7465,7 +7614,7 @@ export interface OptionFromNullishOr<S extends Top> extends decodeTo<Option<toTy
  * - `Some` is encoded as the value
  *
  * @category Option
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function OptionFromNullishOr<S extends Top>(
   schema: S,
@@ -7711,7 +7860,7 @@ export function Result<A extends Top, E extends Top>(
  * values. The inner value is hidden from error messages.
  *
  * @category Redacted
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Redacted<S extends Top> extends
   declareConstructor<
@@ -7745,7 +7894,7 @@ export interface Redacted<S extends Top> extends
  * but it will deserialize a value into a `Redacted` instance.
  *
  * @category Redacted
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function Redacted<S extends Top>(value: S, options?: {
   readonly label?: string | undefined
@@ -8026,7 +8175,7 @@ function causeReasonToFormatter<E>(error: Formatter<E>, defect: Formatter<unknow
  * unexpected defects.
  *
  * @category Cause
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Cause<E extends Top, D extends Top> extends
   declareConstructor<
@@ -8055,7 +8204,7 @@ export type CauseIso<E extends Top, D extends Top> = ReadonlyArray<CauseReasonIs
  * and unexpected defects.
  *
  * @category Cause
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function Cause<E extends Top, D extends Top>(error: E, defect: D): Cause<E, D> {
   const schema = declareConstructor<Cause_.Cause<E["Type"]>, Cause_.Cause<E["Encoded"]>, CauseIso<E, D>>()(
@@ -8138,7 +8287,7 @@ const ErrorJsonEncoded = Struct({
  * and decodes that object back into an `Error`. The stack trace is omitted from
  * the encoded form for security.
  *
- * @category Schemas
+ * @category schemas
  * @since 4.0.0
  */
 export const Error: Error = instanceOf(globalThis.Error, {
@@ -8162,7 +8311,7 @@ export const Error: Error = instanceOf(globalThis.Error, {
  * Encodes an `Error` as an object with `message`, optional `name`, and optional
  * `stack` properties, and decodes that object back into an `Error`.
  *
- * @category Schemas
+ * @category schemas
  * @since 4.0.0
  */
 export const ErrorWithStack: Error = instanceOf(globalThis.Error, {
@@ -8189,7 +8338,7 @@ export const ErrorWithStack: Error = instanceOf(globalThis.Error, {
  * `Error` values and arbitrary unknown defect values.
  *
  * @category Defect
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Defect extends
   Union<
@@ -8228,8 +8377,8 @@ const defectTransformation = new Transformation.Transformation(
  * Unknown defects are serialized with `JSON.stringify` when possible and fall
  * back to Effect's formatted representation when JSON serialization fails.
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export const Defect: Defect = Union([
   ErrorJsonEncoded.pipe(decodeTo(Error, Transformation.errorFromErrorJsonEncoded())),
@@ -8270,7 +8419,7 @@ export const DefectWithStack: Defect = Union([
  * failure with a `Cause` containing typed errors and defects.
  *
  * @category Exit
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Exit<A extends Top, E extends Top, D extends Top> extends
   declareConstructor<
@@ -8309,7 +8458,7 @@ export type ExitIso<A extends Top, E extends Top, D extends Top> = {
  * failure, and unexpected defect channels.
  *
  * @category Exit
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function Exit<A extends Top, E extends Top, D extends Top>(value: A, error: E, defect: D): Exit<A, E, D> {
   const schema = declareConstructor<
@@ -8439,7 +8588,7 @@ export type ReadonlyMapIso<Key extends Top, Value extends Top> = ReadonlyArray<r
  * conform to the provided schemas.
  *
  * @category ReadonlyMap
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function ReadonlyMap<Key extends Top, Value extends Top>(key: Key, value: Value): $ReadonlyMap<Key, Value> {
   const schema = declareConstructor<
@@ -8507,7 +8656,7 @@ export function ReadonlyMap<Key extends Top, Value extends Top>(key: Key, value:
  * provided schemas.
  *
  * @category HashMap
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface HashMap<Key extends Top, Value extends Top> extends
   declareConstructor<
@@ -8536,7 +8685,7 @@ export type HashMapIso<Key extends Top, Value extends Top> = ReadonlyArray<reado
  * conform to the provided schemas.
  *
  * @category HashMap
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function HashMap<Key extends Top, Value extends Top>(key: Key, value: Value): HashMap<Key, Value> {
   const schema = declareConstructor<
@@ -8633,7 +8782,7 @@ export type ReadonlySetIso<Value extends Top> = ReadonlyArray<Value["Iso"]>
  * provided element schema.
  *
  * @category ReadonlySet
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function ReadonlySet<Value extends Top>(value: Value): $ReadonlySet<Value> {
   const schema = declareConstructor<
@@ -8701,7 +8850,7 @@ export function ReadonlySet<Value extends Top>(value: Value): $ReadonlySet<Value
  * schema.
  *
  * @category HashSet
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface HashSet<Value extends Top> extends
   declareConstructor<
@@ -8729,7 +8878,7 @@ export type HashSetIso<Value extends Top> = ReadonlyArray<Value["Iso"]>
  * provided schema.
  *
  * @category HashSet
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function HashSet<Value extends Top>(value: Value): HashSet<Value> {
   const schema = declareConstructor<
@@ -8797,7 +8946,7 @@ export function HashSet<Value extends Top>(value: Value): HashSet<Value> {
  * must conform to the provided schema.
  *
  * @category Chunk
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Chunk<Value extends Top> extends
   declareConstructor<
@@ -8825,7 +8974,7 @@ export type ChunkIso<Value extends Top> = ReadonlyArray<Value["Iso"]>
  * provided schema.
  *
  * @category Chunk
- * @since 4.0.0
+ * @since 3.10.0
  */
 export function Chunk<Value extends Top>(value: Value): Chunk<Value> {
   const schema = declareConstructor<
@@ -9088,7 +9237,7 @@ export const Date: Date = instanceOf(
  * JavaScript `Date` instances.
  *
  * @category Date
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface DateFromString extends decodeTo<Date, String> {
   readonly "Rebuild": DateFromString
@@ -9106,7 +9255,7 @@ export interface DateFromString extends decodeTo<Date, String> {
  * `"Invalid Date"`.
  *
  * @category Date
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const DateFromString: DateFromString = DateString.pipe(decodeTo(Date, Transformation.dateFromString))
 
@@ -9136,7 +9285,7 @@ export const DateValid: DateValid = Date.check(isDateValid())
  * Type-level representation of the schema for Effect `Duration` values.
  *
  * @category Duration
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Duration extends declare<Duration_.Duration> {
   readonly "Rebuild": Duration
@@ -9151,8 +9300,7 @@ export interface Duration extends declare<Duration_.Duration> {
  * **Example** (Duration schema)
  *
  * ```ts
- * import { Schema } from "effect"
- * import { Duration } from "effect"
+ * import { Duration, Schema } from "effect"
  *
  * Schema.decodeUnknownSync(Schema.Duration)(Duration.seconds(5))
  * // => Duration(5s)
@@ -9160,7 +9308,7 @@ export interface Duration extends declare<Duration_.Duration> {
  *
  * @category Duration
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const Duration: Duration = declare(
   Duration_.isDuration,
@@ -9256,7 +9404,7 @@ export const DurationFromString: DurationFromString = DurationString.pipe(
  * nanosecond `bigint` values into `Duration` values.
  *
  * @category Duration
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface DurationFromNanos extends decodeTo<Duration, BigInt> {
   readonly "Rebuild": DurationFromNanos
@@ -9277,7 +9425,7 @@ const bigint0 = globalThis.BigInt(0)
  * `Duration.infinity`.
  *
  * @category Duration
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const DurationFromNanos: DurationFromNanos = BigInt.check(isGreaterThanOrEqualToBigInt(bigint0)).pipe(
   decodeTo(Duration, Transformation.durationFromNanos)
@@ -9288,7 +9436,7 @@ export const DurationFromNanos: DurationFromNanos = BigInt.check(isGreaterThanOr
  * non-negative millisecond numbers into `Duration` values.
  *
  * @category Duration
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface DurationFromMillis extends decodeTo<Duration, Number> {
   readonly "Rebuild": DurationFromMillis
@@ -9308,7 +9456,7 @@ export interface DurationFromMillis extends decodeTo<Duration, Number> {
  *   representing milliseconds
  *
  * @category Duration
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const DurationFromMillis: DurationFromMillis = Number.check(isGreaterThanOrEqualTo(0)).pipe(
   decodeTo(Duration, Transformation.durationFromMillis)
@@ -9318,7 +9466,7 @@ export const DurationFromMillis: DurationFromMillis = Number.check(isGreaterThan
  * Type-level representation of the schema for Effect `BigDecimal` values.
  *
  * @category BigDecimal
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface BigDecimal extends declare<BigDecimal_.BigDecimal> {
   readonly "Rebuild": BigDecimal
@@ -9334,7 +9482,7 @@ const BigDecimalString = String.annotate({ expected: "a string that will be deco
  * - encodes `BigDecimal` as a `string`
  *
  * @category BigDecimal
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const BigDecimal: BigDecimal = declare(
   BigDecimal_.isBigDecimal,
@@ -9410,7 +9558,7 @@ export interface UnknownFromJsonString extends fromJsonString<Unknown> {
  * - Any value is encoded as a JSON string using `JSON.stringify`.
  * - If the value is not a valid JSON value, encoding fails.
  *
- * **Example**
+ * **Example** (Decoding unknown JSON strings)
  *
  * ```ts
  * import { Schema } from "effect"
@@ -9445,7 +9593,7 @@ export interface fromJsonString<S extends Top> extends decodeTo<S, String> {
  * The resulting schema first parses the input string as JSON, and then runs the
  * provided schema on the parsed result.
  *
- * **Example**
+ * **Example** (Decoding JSON strings with a schema)
  *
  * ```ts
  * import { Schema } from "effect"
@@ -9463,7 +9611,7 @@ export interface fromJsonString<S extends Top> extends decodeTo<S, String> {
  * resulting schema will be a JSON Schema with a `contentSchema` property that
  * contains the JSON Schema for the given schema.
  *
- * **Example**
+ * **Example** (Emitting JSON Schema for a JSON string decoder)
  *
  * ```ts
  * import { Schema } from "effect"
@@ -9733,6 +9881,7 @@ export interface fromFormData<S extends Top> extends decodeTo<S, FormData> {
  * // Success({"a":1}) // Note: the value is a number
  * ```
  *
+ * @category decoding
  * @since 4.0.0
  */
 export function fromFormData<S extends Top>(schema: S): fromFormData<S> {
@@ -9860,6 +10009,7 @@ export interface fromURLSearchParams<S extends Top> extends decodeTo<S, URLSearc
  * // Success({"a":1}) // Note: the value is a number
  * ```
  *
+ * @category decoding
  * @since 4.0.0
  */
 export function fromURLSearchParams<S extends Top>(schema: S): fromURLSearchParams<S> {
@@ -9871,7 +10021,7 @@ export function fromURLSearchParams<S extends Top>(schema: S): fromURLSearchPara
  * `Infinity`, and `-Infinity`.
  *
  * @category Number
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Finite extends Number {
   readonly "Rebuild": Finite
@@ -9881,7 +10031,7 @@ export interface Finite extends Number {
  * A schema for finite numbers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
  * @category Number
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const Finite: Finite = Number.check(isFinite())
 
@@ -9890,7 +10040,7 @@ export const Finite: Finite = Number.check(isFinite())
  * integer numbers.
  *
  * @category Number
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Int extends Number {
   readonly "Rebuild": Int
@@ -9900,7 +10050,7 @@ export interface Int extends Number {
  * A schema for integers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
  * @category Number
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const Int: Int = Number.check(isInt())
 
@@ -9909,7 +10059,7 @@ export const Int: Int = Number.check(isInt())
  * numbers using JavaScript number coercion.
  *
  * @category Number
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface NumberFromString extends decodeTo<Finite, String> {
   readonly "Rebuild": NumberFromString
@@ -9928,7 +10078,7 @@ export interface NumberFromString extends decodeTo<Finite, String> {
  * A number is encoded as a `string`.
  *
  * @category Number
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const NumberFromString: NumberFromString = String.annotate({
   expected: "a string that will be decoded as a number"
@@ -9994,7 +10144,7 @@ export const BigIntFromString: BigIntFromString = make<String>(AST.bigIntString)
  * trailing whitespace.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Trimmed extends String {
   readonly "Rebuild": Trimmed
@@ -10004,7 +10154,7 @@ export interface Trimmed extends String {
  * A schema for strings that contains no leading or trailing whitespaces.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const Trimmed: Trimmed = String.check(isTrimmed())
 
@@ -10013,7 +10163,7 @@ export const Trimmed: Trimmed = String.check(isTrimmed())
  * whitespace while decoding and encodes the trimmed string unchanged.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Trim extends decodeTo<Trimmed, String> {
   readonly "Rebuild": Trim
@@ -10029,7 +10179,7 @@ export interface Trim extends decodeTo<Trimmed, String> {
  * - The trimmed string is encoded as is.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const Trim: Trim = String.annotate({
   expected: "a string that will be decoded as a trimmed string"
@@ -10040,7 +10190,7 @@ export const Trim: Trim = String.annotate({
  * base64-encoded strings and UTF-8 strings.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface StringFromBase64 extends decodeTo<String, String> {
   readonly "Rebuild": StringFromBase64
@@ -10056,7 +10206,7 @@ export interface StringFromBase64 extends decodeTo<String, String> {
  * - A `string` is encoded as a base64-encoded string.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const StringFromBase64: StringFromBase64 = String.annotate({
   expected: "a base64 encoded string that will be decoded as a UTF-8 string"
@@ -10069,7 +10219,7 @@ export const StringFromBase64: StringFromBase64 = String.annotate({
  * base64-encoded strings and UTF-8 strings.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface StringFromBase64Url extends decodeTo<String, String> {
   readonly "Rebuild": StringFromBase64Url
@@ -10085,7 +10235,7 @@ export interface StringFromBase64Url extends decodeTo<String, String> {
  * - A `string` is encoded as a base64 (URL) encoded string.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const StringFromBase64Url: StringFromBase64Url = String.annotate({
   expected: "a base64 (URL) encoded string that will be decoded as a UTF-8 string"
@@ -10098,7 +10248,7 @@ export const StringFromBase64Url: StringFromBase64Url = String.annotate({
  * strings and UTF-8 strings.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface StringFromHex extends decodeTo<String, String> {
   readonly "Rebuild": StringFromHex
@@ -10114,7 +10264,7 @@ export interface StringFromHex extends decodeTo<String, String> {
  * - A `string` is encoded as a hex string.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const StringFromHex: StringFromHex = String.annotate({
   expected: "a hex encoded string that will be decoded as a UTF-8 string"
@@ -10127,7 +10277,7 @@ export const StringFromHex: StringFromHex = String.annotate({
  * URI-component encoded strings and UTF-8 strings.
  *
  * @category String
- * @since 4.0.0
+ * @since 3.12.0
  */
 export interface StringFromUriComponent extends decodeTo<String, String> {
   readonly "Rebuild": StringFromUriComponent
@@ -10143,7 +10293,7 @@ export interface StringFromUriComponent extends decodeTo<String, String> {
  * Encoding:
  * - A `string` is encoded as a URI component encoded string.
  *
- * **Example**
+ * **Example** (Decoding URI component strings)
  *
  * ```ts
  * import { Schema } from "effect"
@@ -10162,7 +10312,7 @@ export interface StringFromUriComponent extends decodeTo<String, String> {
  * ```
  *
  * @category String
- * @since 4.0.0
+ * @since 3.12.0
  */
 export const StringFromUriComponent: StringFromUriComponent = String.annotate({
   expected: "a URI component encoded string that will be decoded as a UTF-8 string"
@@ -10271,7 +10421,7 @@ export const Uint8Array: Uint8Array = instanceOf(globalThis.Uint8Array<ArrayBuff
  * base64-encoded strings and `Uint8Array` values.
  *
  * @category Uint8Array
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Uint8ArrayFromBase64 extends decodeTo<Uint8Array, String> {
   readonly "Rebuild": Uint8ArrayFromBase64
@@ -10288,7 +10438,7 @@ export interface Uint8ArrayFromBase64 extends decodeTo<Uint8Array, String> {
  * - A `Uint8Array` is encoded as a base64-encoded string.
  *
  * @category Uint8Array
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const Uint8ArrayFromBase64: Uint8ArrayFromBase64 = Base64String.pipe(
   decodeTo(Uint8Array, Transformation.uint8ArrayFromBase64String)
@@ -10299,7 +10449,7 @@ export const Uint8ArrayFromBase64: Uint8ArrayFromBase64 = Base64String.pipe(
  * URL-safe base64-encoded strings and `Uint8Array` values.
  *
  * @category Uint8Array
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Uint8ArrayFromBase64Url extends decodeTo<Uint8Array, String> {
   readonly "Rebuild": Uint8ArrayFromBase64Url
@@ -10316,7 +10466,7 @@ export interface Uint8ArrayFromBase64Url extends decodeTo<Uint8Array, String> {
  * - A `Uint8Array` is encoded as a base64 (URL) encoded string.
  *
  * @category Uint8Array
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const Uint8ArrayFromBase64Url: Uint8ArrayFromBase64Url = String.annotate({
   expected: "a base64 (URL) encoded string that will be decoded as a Uint8Array"
@@ -10332,7 +10482,7 @@ export const Uint8ArrayFromBase64Url: Uint8ArrayFromBase64Url = String.annotate(
  * hex-encoded strings and `Uint8Array` values.
  *
  * @category Uint8Array
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface Uint8ArrayFromHex extends decodeTo<Uint8Array, String> {
   readonly "Rebuild": Uint8ArrayFromHex
@@ -10349,7 +10499,7 @@ export interface Uint8ArrayFromHex extends decodeTo<Uint8Array, String> {
  * - A `Uint8Array` is encoded as a hex encoded string.
  *
  * @category Uint8Array
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const Uint8ArrayFromHex: Uint8ArrayFromHex = String.annotate({
   expected: "a hex encoded string that will be decoded as a Uint8Array"
@@ -10365,7 +10515,7 @@ export const Uint8ArrayFromHex: Uint8ArrayFromHex = String.annotate({
  * UTC ISO string JSON encoding.
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface DateTimeUtc extends declare<DateTime.Utc> {
   readonly "Rebuild": DateTimeUtc
@@ -10379,7 +10529,7 @@ export interface DateTimeUtc extends declare<DateTime.Utc> {
  * - encodes `DateTime.Utc` as a UTC ISO string
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const DateTimeUtc: DateTimeUtc = declare(
   (u) => DateTime.isDateTime(u) && DateTime.isUtc(u),
@@ -10410,7 +10560,7 @@ export const DateTimeUtc: DateTimeUtc = declare(
  * JavaScript `Date` values to `DateTime.Utc`.
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.12.0
  */
 export interface DateTimeUtcFromDate extends decodeTo<DateTimeUtc, Date> {
   readonly "Rebuild": DateTimeUtcFromDate
@@ -10426,7 +10576,7 @@ export interface DateTimeUtcFromDate extends decodeTo<DateTimeUtc, Date> {
  * - A `DateTime.Utc` is encoded as a `Date`
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.12.0
  */
 export const DateTimeUtcFromDate: DateTimeUtcFromDate = DateValid.pipe(
   decodeTo(DateTimeUtc, {
@@ -10505,7 +10655,7 @@ export const DateTimeUtcFromMillis: DateTimeUtcFromMillis = Number.pipe(
  * `DateTime.TimeZone.Offset` values encoded as offset milliseconds.
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface TimeZoneOffset extends declare<DateTime.TimeZone.Offset> {
   readonly "Rebuild": TimeZoneOffset
@@ -10519,7 +10669,7 @@ export interface TimeZoneOffset extends declare<DateTime.TimeZone.Offset> {
  * - encodes `DateTime.TimeZone.Offset` as a number (offset in milliseconds)
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const TimeZoneOffset: TimeZoneOffset = declare(
   DateTime.isTimeZoneOffset,
@@ -10550,7 +10700,7 @@ export const TimeZoneOffset: TimeZoneOffset = declare(
  * `DateTime.TimeZone.Named` values encoded as IANA time zone identifiers.
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface TimeZoneNamed extends declare<DateTime.TimeZone.Named> {
   readonly "Rebuild": TimeZoneNamed
@@ -10566,7 +10716,7 @@ const TimeZoneNamedString = String.annotate({ expected: "an IANA time zone ident
  * - encodes `DateTime.TimeZone.Named` as a string (IANA time zone identifier)
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const TimeZoneNamed: TimeZoneNamed = declare(
   DateTime.isTimeZoneNamed,
@@ -10628,7 +10778,7 @@ export const TimeZoneNamedFromString: TimeZoneNamedFromString = TimeZoneNamedStr
  * encoded as either IANA identifiers or numeric offset strings.
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface TimeZone extends declare<DateTime.TimeZone> {
   readonly "Rebuild": TimeZone
@@ -10647,7 +10797,7 @@ const TimeZoneString = String.annotate({
  *   `+03:00`)
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const TimeZone: TimeZone = declare(
   DateTime.isTimeZone,
@@ -10712,7 +10862,7 @@ export const TimeZoneFromString: TimeZoneFromString = TimeZoneString.pipe(
  * with ISO offset or named-zone string JSON encoding.
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export interface DateTimeZoned extends declare<DateTime.Zoned> {
   readonly "Rebuild": DateTimeZoned
@@ -10733,7 +10883,7 @@ const DateTimeZonedString = String.annotate({
  *   `YYYY-MM-DDTHH:mm:ss.sss+HH:MM[Time/Zone]`
  *
  * @category DateTime
- * @since 4.0.0
+ * @since 3.10.0
  */
 export const DateTimeZoned: DateTimeZoned = declare(
   (u) => DateTime.isDateTime(u) && DateTime.isZoned(u),
@@ -10807,7 +10957,8 @@ export const DateTimeZonedFromString: DateTimeZonedFromString = DateTimeZonedStr
  * The interface exposes the schema's `fields`, an `identifier` string, and
  * helpers such as `mapFields`, `annotate`, `check`, and `extend`.
  *
- * @since 4.0.0
+ * @category models
+ * @since 3.10.0
  */
 export interface Class<Self, S extends Top & { readonly fields: Struct.Fields }, Inherited> extends
   Bottom<
@@ -11063,8 +11214,8 @@ type MissingSelfGeneric<Usage extends string> =
  * console.log(dog.breed) // "Labrador"
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export const Class: {
   /**
@@ -11108,8 +11259,8 @@ export const Class: {
    * console.log(dog.breed) // "Labrador"
    * ```
    *
-   * @category Constructors
-   * @since 4.0.0
+   * @category constructors
+   * @since 3.10.0
    */
   <Self = never, Brand = {}>(identifier: string): {
     /**
@@ -11153,8 +11304,8 @@ export const Class: {
      * console.log(dog.breed) // "Labrador"
      * ```
      *
-     * @category Constructors
-     * @since 4.0.0
+     * @category constructors
+     * @since 3.10.0
      */
     <const Fields extends Struct.Fields>(
       fields: Fields,
@@ -11201,8 +11352,8 @@ export const Class: {
      * console.log(dog.breed) // "Labrador"
      * ```
      *
-     * @category Constructors
-     * @since 4.0.0
+     * @category constructors
+     * @since 3.10.0
      */
     <S extends Struct<Struct.Fields>>(schema: S, annotations?: Annotations.Declaration<Self, readonly [S]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.Class"> : Class<Self, S, Brand>
   }
@@ -11247,8 +11398,8 @@ export const Class: {
  * console.log(c.radius) // 5
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export const TaggedClass: {
   /**
@@ -11273,8 +11424,8 @@ export const TaggedClass: {
    * console.log(c.radius) // 5
    * ```
    *
-   * @category Constructors
-   * @since 4.0.0
+   * @category constructors
+   * @since 3.10.0
    */
   <Self = never, Brand = {}>(identifier?: string): {
     /**
@@ -11299,8 +11450,8 @@ export const TaggedClass: {
      * console.log(c.radius) // 5
      * ```
      *
-     * @category Constructors
-     * @since 4.0.0
+     * @category constructors
+     * @since 3.10.0
      */
     <Tag extends string, const Fields extends Struct.Fields>(
       tag: Tag,
@@ -11329,8 +11480,8 @@ export const TaggedClass: {
      * console.log(c.radius) // 5
      * ```
      *
-     * @category Constructors
-     * @since 4.0.0
+     * @category constructors
+     * @since 3.10.0
      */
     <Tag extends string, S extends Struct<Struct.Fields>>(
       tag: Tag,
@@ -11380,7 +11531,7 @@ export const TaggedClass: {
  * })
  * ```
  *
- * @category Constructors
+ * @category constructors
  * @since 4.0.0
  */
 export const ErrorClass: {
@@ -11404,7 +11555,7 @@ export const ErrorClass: {
    * })
    * ```
    *
-   * @category Constructors
+   * @category constructors
    * @since 4.0.0
    */
   <Self = never, Brand = {}>(identifier: string): {
@@ -11428,7 +11579,7 @@ export const ErrorClass: {
      * })
      * ```
      *
-     * @category Constructors
+     * @category constructors
      * @since 4.0.0
      */
     <const Fields extends Struct.Fields>(
@@ -11456,7 +11607,7 @@ export const ErrorClass: {
      * })
      * ```
      *
-     * @category Constructors
+     * @category constructors
      * @since 4.0.0
      */
     <S extends Struct<Struct.Fields>>(schema: S, annotations?: Annotations.Declaration<Self, readonly [S]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.ErrorClass"> : Class<Self, S, Cause_.YieldableError & Brand>
@@ -11500,8 +11651,8 @@ export const ErrorClass: {
  * })
  * ```
  *
- * @category Constructors
- * @since 4.0.0
+ * @category constructors
+ * @since 3.10.0
  */
 export const TaggedErrorClass: {
   /**
@@ -11523,8 +11674,8 @@ export const TaggedErrorClass: {
    * })
    * ```
    *
-   * @category Constructors
-   * @since 4.0.0
+   * @category constructors
+   * @since 3.10.0
    */
   <Self = never, Brand = {}>(identifier?: string): {
     /**
@@ -11546,8 +11697,8 @@ export const TaggedErrorClass: {
      * })
      * ```
      *
-     * @category Constructors
-     * @since 4.0.0
+     * @category constructors
+     * @since 3.10.0
      */
     <Tag extends string, const Fields extends Struct.Fields>(
       tag: Tag,
@@ -11574,8 +11725,8 @@ export const TaggedErrorClass: {
      * })
      * ```
      *
-     * @category Constructors
-     * @since 4.0.0
+     * @category constructors
+     * @since 3.10.0
      */
     <Tag extends string, S extends Struct<Struct.Fields>>(
       tag: Tag,
@@ -11888,6 +12039,7 @@ export function toRepresentation(schema: Top): SchemaRepresentation.Document {
 /**
  * Options for {@link toJsonSchemaDocument}.
  *
+ * @category models
  * @since 4.0.0
  */
 export interface ToJsonSchemaOptions {
@@ -12642,7 +12794,7 @@ export function resolveAnnotationsKey<S extends Top>(schema: S): Annotations.Key
  * Use {@link resolveAnnotations} to read the annotations attached to a schema at
  * runtime.
  *
- * @since 4.0.0
+ * @since 3.10.0
  */
 export declare namespace Annotations {
   /**
@@ -12683,8 +12835,8 @@ export declare namespace Annotations {
    * }
    * ```
    *
-   * @category Model
-   * @since 4.0.0
+   * @category models
+   * @since 3.10.0
    */
   export interface Annotations {
     readonly [x: string]: unknown
@@ -12694,6 +12846,7 @@ export declare namespace Annotations {
    * Annotations shared by all schema nodes. These map to common JSON Schema /
    * OpenAPI fields: `title`, `description`, `format`, etc.
    *
+   * @category models
    * @since 4.0.0
    */
   export interface Augment extends Annotations {
@@ -12720,6 +12873,7 @@ export declare namespace Annotations {
   /**
    * Extends {@link Augment} with type-parametric `default` and `examples` fields.
    *
+   * @category models
    * @since 4.0.0
    */
   export interface Documentation<T> extends Augment {
@@ -12732,7 +12886,7 @@ export declare namespace Annotations {
    * with an optional `messageMissingKey` to override the error message when
    * the property key is absent during decoding.
    *
-   * @category Model
+   * @category models
    * @since 4.0.0
    */
   export interface Key<T> extends Documentation<T> {
@@ -12748,7 +12902,7 @@ export declare namespace Annotations {
    * arbitrary generation hooks. {@link Declaration} and other annotation
    * interfaces build on top of this.
    *
-   * @category Model
+   * @category models
    * @since 4.0.0
    */
   export interface Bottom<T, TypeParameters extends ReadonlyArray<Top>> extends Documentation<T> {
@@ -12804,7 +12958,8 @@ export declare namespace Annotations {
      * Maps declaration type-parameter schemas to codecs for their decoded `Type`
      * values.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     export type Type<TypeParameters extends ReadonlyArray<Top>> = {
       readonly [K in keyof TypeParameters]: Codec<TypeParameters[K]["Type"]>
@@ -12812,7 +12967,8 @@ export declare namespace Annotations {
     /**
      * Maps declaration type-parameter schemas to codecs for their `Encoded` values.
      *
-     * @since 4.0.0
+     * @category utility types
+     * @since 3.10.0
      */
     export type Encoded<TypeParameters extends ReadonlyArray<Top>> = {
       readonly [K in keyof TypeParameters]: Codec<TypeParameters[K]["Encoded"]>
@@ -12826,7 +12982,7 @@ export declare namespace Annotations {
    * derived capabilities (JSON encoding, property testing, etc.) can be
    * provided for the custom type.
    *
-   * @category Model
+   * @category models
    * @since 4.0.0
    */
   export interface Declaration<T, TypeParameters extends ReadonlyArray<Top> = readonly []>
@@ -12866,8 +13022,8 @@ export declare namespace Annotations {
    * {@link Augment} with an optional error message, identifier, and metadata.
    * Filters are intentionally non-parametric to keep them covariant.
    *
-   * @category Model
-   * @since 4.0.0
+   * @category models
+   * @since 3.10.0
    */
   export interface Filter extends Augment {
     /**
@@ -12914,6 +13070,7 @@ export declare namespace Annotations {
      * fast-check string constraints plus optional regular-expression pattern strings
      * used when deriving string arbitraries from schema checks.
      *
+     * @category models
      * @since 4.0.0
      */
     export interface StringConstraints extends FastCheck.StringSharedConstraints {
@@ -12924,6 +13081,7 @@ export declare namespace Annotations {
      * fast-check floating-point constraints plus `isInteger`, which switches
      * derived number arbitraries to integer generation.
      *
+     * @category models
      * @since 4.0.0
      */
     export interface NumberConstraints extends FastCheck.FloatConstraints {
@@ -12934,6 +13092,7 @@ export declare namespace Annotations {
      * fast-check bigint constraints used when deriving arbitraries for bigint
      * schemas.
      *
+     * @category models
      * @since 4.0.0
      */
     export interface BigIntConstraints extends FastCheck.BigIntConstraints {}
@@ -12942,6 +13101,7 @@ export declare namespace Annotations {
      * fast-check array constraints plus an optional comparator used when deriving
      * unique-array arbitraries.
      *
+     * @category models
      * @since 4.0.0
      */
     export interface ArrayConstraints extends FastCheck.ArrayConstraints {
@@ -12952,6 +13112,7 @@ export declare namespace Annotations {
      * fast-check date constraints used when deriving arbitraries for `Date` and
      * DateTime schemas.
      *
+     * @category models
      * @since 4.0.0
      */
     export interface DateConstraints extends FastCheck.DateConstraints {}
@@ -12960,6 +13121,7 @@ export declare namespace Annotations {
      * Grouped arbitrary-generation constraints accumulated from schema checks and
      * passed to `toArbitrary` derivation.
      *
+     * @category models
      * @since 4.0.0
      */
     export interface Constraint {
@@ -12975,7 +13137,8 @@ export declare namespace Annotations {
      * constraints and an `isSuspend` flag used to limit recursion for suspended
      * schemas.
      *
-     * @since 4.0.0
+     * @category models
+     * @since 3.10.0
      */
     export interface Context {
       /**
@@ -12993,6 +13156,7 @@ export declare namespace Annotations {
      * Given arbitraries for any type parameters, returns a function that receives the
      * fast-check module and derivation context and produces an arbitrary for `T`.
      *
+     * @category models
      * @since 4.0.0
      */
     export interface Declaration<T, TypeParameters extends ReadonlyArray<Top>> {
@@ -13015,6 +13179,7 @@ export declare namespace Annotations {
      *
      * Given formatters for any type parameters, returns a formatter for `T`.
      *
+     * @category models
      * @since 4.0.0
      */
     export interface Declaration<T, TypeParameters extends ReadonlyArray<Top>> {
@@ -13037,6 +13202,7 @@ export declare namespace Annotations {
      *
      * Given equivalences for any type parameters, returns an `Equivalence` for `T`.
      *
+     * @category models
      * @since 4.0.0
      */
     export interface Declaration<T, TypeParameters extends ReadonlyArray<Top>> {
@@ -13052,7 +13218,7 @@ export declare namespace Annotations {
    *
    * The optional `message` field overrides the default issue message.
    *
-   * @category Model
+   * @category models
    * @since 4.0.0
    */
   export interface Issue extends Annotations {
@@ -13065,6 +13231,7 @@ export declare namespace Annotations {
    * Do not augment this interface with custom metadata; extend `MetaDefinitions`
    * instead.
    *
+   * @category models
    * @since 4.0.0
    */
   export interface BuiltInMetaDefinitions {
@@ -13276,6 +13443,7 @@ export declare namespace Annotations {
   /**
    * Union of all metadata payloads defined by `BuiltInMetaDefinitions`.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type BuiltInMeta = BuiltInMetaDefinitions[keyof BuiltInMetaDefinitions]
@@ -13286,6 +13454,7 @@ export declare namespace Annotations {
    * Extend this interface to add custom values accepted by annotation `meta`
    * fields.
    *
+   * @category models
    * @since 4.0.0
    */
   export interface MetaDefinitions extends BuiltInMetaDefinitions {}
@@ -13293,6 +13462,7 @@ export declare namespace Annotations {
   /**
    * Union of built-in and user-augmented schema filter metadata payloads.
    *
+   * @category utility types
    * @since 4.0.0
    */
   export type Meta = MetaDefinitions[keyof MetaDefinitions]