effect 4.0.0 → 4.0.2

package/src/Schema.ts

@@ -9,6 +9,7 @@
  * generation, formatting, equivalence, optics, and differs derived from schema
  * definitions.
  *
+ * @stability stable
  * @since 4.0.0
  */
 
@@ -87,6 +88,7 @@ const TypeId = InternalMake.TypeId
  * @see {@link optionalKey} — mark a struct field as optional
  * @see {@link optional} — mark a struct field as optional with `| undefined`
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -96,6 +98,7 @@ export type Optionality = "required" | "optional"
  *
  * @see {@link mutableKey} — mark a struct field as mutable
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -106,6 +109,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
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -121,6 +125,7 @@ export type ConstructorDefault = "no-default" | "with-default"
  * @see {@link BottomWithoutNew.makeEffect}
  * @see {@link BottomWithoutNew.make}
  *
+ * @stability stable
  * @category options
  * @since 3.13.4
  */
@@ -150,6 +155,7 @@ export interface MakeOptions {
  * Use as the base for schema interfaces that provide a specialized construct
  * signature.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -286,6 +292,7 @@ export interface BottomWithoutNew<
  *
  * @see {@link BottomWithoutNew} for the schema protocol without a construct signature
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -347,6 +354,7 @@ export interface Bottom<
  * @see {@link BottomWithoutNew} for the fully parameterized schema interface when every
  * view must be supplied directly.
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -395,6 +403,7 @@ export interface BottomLazyWithoutNew<
  *
  * @see {@link BottomLazyWithoutNew} for the lazy schema protocol without a construct signature
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -424,6 +433,7 @@ export interface BottomLazy<
 /**
  * Type-level representation returned by {@link declareConstructor}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -492,6 +502,7 @@ export interface declareConstructor<T, E, TypeParameters extends ReadonlyArray<C
  * Effect.runSync(Schema.decodeUnknownEffect(schema)({ value: 1 })) // => { value: 1 }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -521,6 +532,7 @@ export function declareConstructor<T, E = T, Iso = T>() {
 /**
  * Type-level representation returned by {@link declare}.
  *
+ * @stability stable
  * @category constructors
  * @since 3.13.3
  */
@@ -556,6 +568,7 @@ export interface declare<T, Iso = T> extends declareConstructor<T, T, readonly [
  *
  * @see {@link declareConstructor} for creating schemas for parametric types.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -598,6 +611,7 @@ export function declare<T, Iso = T>(
  * type E = typeof bottom["Encoded"]  // string
  * ```
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -648,6 +662,7 @@ export function revealBottom<S extends Top>(
  *
  * @see {@link annotateEncoded} to annotate the encoded side instead.
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -680,6 +695,7 @@ export function annotate<S extends Top>(annotations: Annotations.Bottom<S["Type"
  *
  * @see {@link annotate} to annotate the type side instead.
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -714,6 +730,7 @@ export function annotateEncoded<S extends Top>(annotations: Annotations.Bottom<S
  * schema.fields.username.ast.context?.annotations?.messageMissingKey // => "Username is required"
  * ```
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -737,6 +754,7 @@ export function annotateKey<S extends Top>(annotations: Annotations.Key<S["Type"
  * - {@link ConstraintDecoder}`<T, RD>` — for decode-only APIs
  * - {@link ConstraintEncoder}`<E, RE>` — for encode-only APIs
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -778,6 +796,7 @@ export interface Top extends
  *
  * @see {@link Top} for the complete schema protocol.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -814,6 +833,7 @@ export interface Constraint {
  * @see {@link Constraint} for the generic lightweight schema constraint.
  * @see {@link Codec} for the full schema protocol with codec type views.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -837,6 +857,7 @@ export interface ConstraintCodec<out T, out E = T, out RD = never, out RE = neve
  * @see {@link ConstraintCodec} for APIs that need both decoded and encoded codec views.
  * @see {@link Codec} for the full schema protocol with codec type views.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -855,6 +876,7 @@ export interface ConstraintDecoder<out T, out RD = never> extends ConstraintCode
  * @see {@link ConstraintCodec} for APIs that need both decoded and encoded codec views.
  * @see {@link Codec} for the full schema protocol with codec type views.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -869,6 +891,7 @@ export interface ConstraintEncoder<out E, out RE = never> extends ConstraintCode
  * exposed by {@link Constraint}, but does not call methods such as `annotate`,
  * `check`, `rebuild`, `make`, or `makeEffect`.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -878,6 +901,7 @@ export interface ConstraintRebuildable extends Constraint {
 /**
  * Namespace of type-level helpers for {@link Schema}.
  *
+ * @stability stable
  * @since 3.10.0
  */
 export declare namespace Schema {
@@ -929,6 +953,7 @@ export declare namespace Schema {
  * @see {@link Codec} — also tracks Encoded, DecodingServices, EncodingServices
  * @see {@link Schema.Type} — extract the decoded type at the type level
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -939,6 +964,7 @@ export interface Schema<out T> extends Top {
 /**
  * Namespace of type-level helpers for {@link Codec}.
  *
+ * @stability stable
  * @since 4.0.0
  */
 export declare namespace Codec {
@@ -1034,6 +1060,7 @@ export declare namespace Codec {
  * @see {@link Codec.EncodingServices} — extract required encoding services
  * @see {@link revealCodec} — helper to make TypeScript infer the full Codec type
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1056,6 +1083,7 @@ export interface Codec<out T, out E = T, out RD = never, out RE = never> extends
  * @see {@link Codec} for preserving both decoded and encoded type information.
  * @see {@link Encoder} for the encode-only view.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1078,6 +1106,7 @@ export interface Decoder<out T, out RD = never> extends Schema<T> {
  * @see {@link Codec} for preserving both decoded and encoded type information.
  * @see {@link Decoder} for the decode-only view.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1109,6 +1138,7 @@ export interface Encoder<out E, out RE = never> extends Schema<unknown> {
  * type Enc = typeof codec["Encoded"] // string
  * ```
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -1130,6 +1160,7 @@ export function revealCodec<T, E, RD, RE>(codec: Codec<T, E, RD, RE>) {
  * `Optic` automatically. You normally interact with this interface through
  * {@link Optic_} utilities rather than constructing it directly.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1166,6 +1197,7 @@ export interface Optic<out T, out Iso> extends Schema<T> {
  * ```
  *
  * @see {@link isSchemaError} for narrowing unknown values
+ * @stability stable
  * @category errors
  * @since 4.0.0
  */
@@ -1206,6 +1238,7 @@ export class SchemaError extends Data.TaggedError("SchemaError")<{
  * Schema.isSchemaError(error) // => true
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -1333,6 +1366,7 @@ function runSchemaErrorSync<A>(
  * invalidResult.issues?.map((issue) => issue.path) // => [["name"], ["age"]]
  * ```
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -1353,6 +1387,7 @@ export function toStandardSchemaV1<S extends ConstraintDecoder<unknown>>(
  *
  * https://github.com/standard-schema/standard-schema/pull/134
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -1395,6 +1430,7 @@ export function toStandardJSONSchemaV1<S extends Constraint>(
  * }
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -1444,6 +1480,7 @@ export const is: typeof SchemaParser.is = SchemaParser.is
  * }
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -1467,6 +1504,7 @@ export const asserts: <S extends Constraint, I>(schema: S, input: I) => asserts
  *
  * @see {@link SchemaParser.decodeUnknownEffect} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1497,6 +1535,7 @@ export function decodeUnknownEffect<S extends Constraint>(schema: S, options?: S
  *
  * @see {@link SchemaParser.decodeEffect} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1534,6 +1573,7 @@ export const decodeEffect: <S extends Constraint>(
  *
  * @see {@link SchemaParser.decodeUnknownExit} for the adapter whose failure contains `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1570,6 +1610,7 @@ export function decodeUnknownExit<S extends ConstraintDecoder<unknown>>(schema:
  *
  * @see {@link SchemaParser.decodeExit} for the adapter whose failure contains `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1600,6 +1641,7 @@ export const decodeExit: <S extends ConstraintDecoder<unknown>>(
  * that contain defects, interruptions, or other non-schema reasons throw
  * instead.
  *
+ * @stability stable
  * @category decoding
  * @since 3.10.0
  */
@@ -1629,6 +1671,7 @@ export const decodeUnknownOption: <S extends ConstraintDecoder<unknown>>(
  * that contain defects, interruptions, or other non-schema reasons throw
  * instead.
  *
+ * @stability stable
  * @category decoding
  * @since 3.10.0
  */
@@ -1662,6 +1705,7 @@ export const decodeOption: <S extends ConstraintDecoder<unknown>>(
  *
  * @see {@link SchemaParser.decodeUnknownResult} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1696,6 +1740,7 @@ export function decodeUnknownResult<S extends ConstraintDecoder<unknown>>(schema
  *
  * @see {@link SchemaParser.decodeResult} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1728,6 +1773,7 @@ export const decodeResult: <S extends ConstraintDecoder<unknown>>(
  *
  * @see {@link SchemaParser.decodeUnknownPromise} for the adapter that rejects with an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category decoding
  * @since 3.10.0
  */
@@ -1764,6 +1810,7 @@ export function decodeUnknownPromise<S extends ConstraintDecoder<unknown>>(
  *
  * @see {@link SchemaParser.decodePromise} for the adapter that rejects with an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category decoding
  * @since 3.10.0
  */
@@ -1805,6 +1852,7 @@ export const decodePromise: <S extends ConstraintDecoder<unknown>>(
  *
  * @see {@link SchemaParser.decodeUnknownSync} for the adapter that throws an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1837,6 +1885,7 @@ export function decodeUnknownSync<S extends ConstraintDecoder<unknown>>(schema:
  *
  * @see {@link SchemaParser.decodeSync} for the adapter that throws an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1872,6 +1921,7 @@ export const decodeSync: <S extends ConstraintDecoder<unknown>>(
  *
  * @see {@link SchemaParser.encodeUnknownEffect} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1902,6 +1952,7 @@ export function encodeUnknownEffect<S extends Constraint>(schema: S, options?: S
  *
  * @see {@link SchemaParser.encodeEffect} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1938,6 +1989,7 @@ export const encodeEffect: <S extends Constraint>(
  *
  * @see {@link SchemaParser.encodeUnknownExit} for the adapter whose failure contains `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1974,6 +2026,7 @@ export function encodeUnknownExit<S extends ConstraintEncoder<unknown>>(schema:
  *
  * @see {@link SchemaParser.encodeExit} for the adapter whose failure contains `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -2004,6 +2057,7 @@ export const encodeExit: <S extends ConstraintEncoder<unknown>>(
  * that contain defects, interruptions, or other non-schema reasons throw
  * instead.
  *
+ * @stability stable
  * @category encoding
  * @since 3.10.0
  */
@@ -2034,6 +2088,7 @@ export const encodeUnknownOption: <S extends ConstraintEncoder<unknown>>(
  * that contain defects, interruptions, or other non-schema reasons throw
  * instead.
  *
+ * @stability stable
  * @category encoding
  * @since 3.10.0
  */
@@ -2066,6 +2121,7 @@ export const encodeOption: <S extends ConstraintEncoder<unknown>>(
  *
  * @see {@link SchemaParser.encodeUnknownResult} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -2100,6 +2156,7 @@ export function encodeUnknownResult<S extends ConstraintEncoder<unknown>>(schema
  *
  * @see {@link SchemaParser.encodeResult} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -2131,6 +2188,7 @@ export const encodeResult: <S extends ConstraintEncoder<unknown>>(
  *
  * @see {@link SchemaParser.encodeUnknownPromise} for the adapter that rejects with an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category encoding
  * @since 3.10.0
  */
@@ -2167,6 +2225,7 @@ export function encodeUnknownPromise<S extends ConstraintEncoder<unknown>>(
  *
  * @see {@link SchemaParser.encodePromise} for the adapter that rejects with an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category encoding
  * @since 3.10.0
  */
@@ -2197,6 +2256,7 @@ export const encodePromise: <S extends ConstraintEncoder<unknown>>(
  *
  * @see {@link SchemaParser.encodeUnknownSync} for the adapter that throws an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -2227,6 +2287,7 @@ export function encodeUnknownSync<S extends ConstraintEncoder<unknown>>(schema:
  *
  * @see {@link SchemaParser.encodeSync} for the adapter that throws an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -2248,6 +2309,7 @@ export const encodeSync: <S extends ConstraintEncoder<unknown>>(
  * the bridge between the untyped AST representation and the strongly-typed
  * schema.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2255,6 +2317,7 @@ export const make: <S extends Constraint>(ast: S["ast"], options?: object) => S
 /**
  * Checks whether a value is a `Schema`.
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -2264,6 +2327,7 @@ export function isSchema(u: unknown): u is Top {
 /**
  * Type-level representation returned by {@link optionalKey}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2311,6 +2375,7 @@ interface optionalKeyLambda extends Lambda {
  * type Person = typeof schema["Type"]
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -2330,6 +2395,7 @@ interface requiredKeyLambda extends Lambda {
  * Use to remove optional-key wrapping from a schema field that was previously
  * wrapped with {@link optionalKey}.
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -2337,6 +2403,7 @@ export const requiredKey: requiredKeyLambda = Struct_.lambda<requiredKeyLambda>(
 /**
  * Type-level representation returned by {@link optional}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2373,6 +2440,7 @@ interface optionalLambda extends Lambda {
  * type Person = typeof schema.Type
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 3.10.0
  */
@@ -2397,6 +2465,7 @@ interface requiredLambda extends Lambda {
  *
  * This also unwraps the `UndefinedOr` member added by `optional`.
  *
+ * @stability stable
  * @category combinators
  * @since 3.10.0
  */
@@ -2404,6 +2473,7 @@ export const required: requiredLambda = Struct_.lambda<requiredLambda>((self) =>
 /**
  * Type-level representation returned by {@link mutableKey}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2436,6 +2506,7 @@ interface mutableKeyLambda extends Lambda {
  * Makes a struct field mutable (removes the `readonly` modifier on the property).
  * Use {@link readonlyKey} to reverse.
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -2455,6 +2526,7 @@ interface readonlyKeyLambda extends Lambda {
  * Use to remove mutable-key wrapping from a schema field that was previously
  * wrapped with {@link mutableKey}.
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -2462,6 +2534,7 @@ export const readonlyKey: readonlyKeyLambda = Struct_.lambda<readonlyKeyLambda>(
 /**
  * Type-level representation returned by {@link toType}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2494,6 +2567,7 @@ interface toTypeLambda extends Lambda {
  * Extracts the type-side schema: sets `Encoded` to equal the decoded `Type`,
  * discarding the encoding transformation path.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2503,6 +2577,7 @@ export const toType: toTypeLambda = Struct_.lambda<toTypeLambda>((schema) =>
 /**
  * Type-level representation returned by {@link toEncoded}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2535,6 +2610,7 @@ interface toEncodedLambda extends Lambda {
  * Extracts the encoded-side schema: sets `Type` to equal the `Encoded`,
  * discarding the decoding transformation path.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2545,6 +2621,7 @@ const FlipTypeId = "~effect/Schema/flip"
 /**
  * Type-level representation returned by {@link flip}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2595,6 +2672,7 @@ function isFlip$(schema: Top): schema is flip<any> {
  * Schema.decodeSync(flipped)(42) // => "42"
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2608,6 +2686,7 @@ export function flip<S extends Top>(schema: S): flip<S> {
 /**
  * Type-level representation returned by {@link Literal}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2633,6 +2712,7 @@ export interface Literal<L extends SchemaAST.LiteralValue>
  * @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.
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2651,6 +2731,7 @@ export function Literal<L extends SchemaAST.LiteralValue>(literal: L): Literal<L
 /**
  * Namespace for {@link TemplateLiteral} helper types.
  *
+ * @stability stable
  * @since 3.10.0
  */
 export declare namespace TemplateLiteral {
@@ -2708,6 +2789,7 @@ export declare namespace TemplateLiteral {
 /**
  * Type-level representation returned by {@link TemplateLiteral}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2759,6 +2841,7 @@ function templateLiteralParts(parts: TemplateLiteral.Parts) {
  * ```
  *
  * @see {@link TemplateLiteralParser} for a schema that also parses matched parts into a tuple.
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2768,6 +2851,7 @@ export function TemplateLiteral<const Parts extends TemplateLiteral.Parts>(parts
 /**
  * Namespace for {@link TemplateLiteralParser} helper types.
  *
+ * @stability stable
  * @since 3.10.0
  */
 export declare namespace TemplateLiteralParser {
@@ -2791,6 +2875,7 @@ export declare namespace TemplateLiteralParser {
 /**
  * Type-level representation returned by {@link TemplateLiteralParser}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2841,6 +2926,7 @@ export interface TemplateLiteralParser<Parts extends TemplateLiteral.Parts> exte
  * ```
  *
  * @see {@link TemplateLiteral} for a validation-only version that keeps the string encoded.
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2852,6 +2938,7 @@ export function TemplateLiteralParser<const Parts extends TemplateLiteral.Parts>
 /**
  * Type-level representation returned by {@link Enum}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2882,6 +2969,7 @@ export interface Enum<A extends { [x: string]: string | number }>
  * Schema.decodeSync(schema)(Direction.Up) // => "Up"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2898,6 +2986,7 @@ export function Enum<A extends { [x: string]: string | number }>(enums: A): Enum
 /**
  * Type-level representation of {@link Never}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2905,6 +2994,7 @@ export interface Never extends Bottom<never, never, never, never, SchemaAST.Neve
 /**
  * Schema for the `never` type. Always fails validation — no value satisfies it.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -2912,6 +3002,7 @@ export const Never: Never = make(SchemaAST.never)
 /**
  * Type-level representation of {@link Any}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2920,6 +3011,7 @@ export interface Any extends Bottom<any, any, never, never, SchemaAST.Any, Any>
  * Schema for the `any` type. Accepts any value without validation.
  *
  * @see {@link Unknown} for a safer alternative that uses `unknown`.
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -2927,6 +3019,7 @@ export const Any: Any = make(SchemaAST.any)
 /**
  * Type-level representation of {@link Unknown}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2940,6 +3033,7 @@ export interface Unknown extends Bottom<unknown, unknown, never, never, SchemaAS
  * TypeScript's `unknown` safety at use sites.
  *
  * @see {@link Any} for the `any` variant.
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -2947,6 +3041,7 @@ export const Unknown: Unknown = make(SchemaAST.unknown)
 /**
  * Type-level representation of {@link Null}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2955,6 +3050,7 @@ export interface Null extends Bottom<null, null, never, never, SchemaAST.Null, N
  * Schema for the `null` literal. Validates that the input is strictly `null`.
  *
  * @see {@link NullOr} for a union with another schema.
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -2962,6 +3058,7 @@ export const Null: Null = make(SchemaAST.null)
 /**
  * Type-level representation of {@link Undefined}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2970,6 +3067,7 @@ export interface Undefined extends Bottom<undefined, undefined, never, never, Sc
  * Schema for the `undefined` literal. Validates that the input is strictly `undefined`.
  *
  * @see {@link UndefinedOr} for a union with another schema.
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -2977,6 +3075,7 @@ export const Undefined: Undefined = make(SchemaAST.undefined)
 /**
  * Type-level representation of {@link String}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2984,6 +3083,7 @@ export interface String extends Bottom<string, string, never, never, SchemaAST.S
 /**
  * Schema for `string` values. Validates that the input is `typeof` `"string"`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -2992,6 +3092,7 @@ export const String: String = make(SchemaAST.string)
 /**
  * Type-level representation of {@link StringForLiteralAutocomplete}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3036,6 +3137,7 @@ export interface StringForLiteralAutocomplete extends
  *
  * @see {@link String} for a schema whose type is plain `string`.
  * @see {@link Literals} for the known literals to include in the union.
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -3043,6 +3145,7 @@ export const StringForLiteralAutocomplete: StringForLiteralAutocomplete = String
 /**
  * Type-level representation of {@link Number}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3058,6 +3161,7 @@ export interface Number extends Bottom<number, number, never, never, SchemaAST.N
  * - Non-finite values are serialized as strings (`"NaN"`, `"Infinity"`, `"-Infinity"`).
  *
  * @see {@link Finite} for a schema that excludes non-finite values.
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -3065,6 +3169,7 @@ export const Number: Number = make(SchemaAST.number)
 /**
  * Type-level representation of {@link Boolean}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3078,6 +3183,7 @@ export interface Boolean extends Bottom<boolean, boolean, never, never, SchemaAS
  *
  * @see {@link BooleanFromBit} for a schema that decodes bit literals `0` or `1` into a boolean
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -3085,6 +3191,7 @@ export const Boolean: Boolean = make(SchemaAST.boolean)
 /**
  * Type-level representation of {@link Symbol}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3093,6 +3200,7 @@ export interface Symbol extends Bottom<symbol, symbol, never, never, SchemaAST.S
  * Schema for `symbol` values. Validates that the input is `typeof` `"symbol"`.
  *
  * @see {@link UniqueSymbol} for a schema that matches a specific symbol.
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -3100,6 +3208,7 @@ export const Symbol: Symbol = make(SchemaAST.symbol)
 /**
  * Type-level representation of {@link BigInt}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3114,6 +3223,7 @@ export interface BigInt extends Bottom<bigint, bigint, never, never, SchemaAST.B
  *
  * @see {@link BigIntFromString} for parsing string input into a bigint
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -3121,6 +3231,7 @@ export const BigInt: BigInt = make(SchemaAST.bigInt)
 /**
  * Type-level representation of {@link Void}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -3141,6 +3252,7 @@ export interface Void extends Bottom<void, void, never, never, SchemaAST.Void, V
  * as `void`.
  *
  * @see {@link Undefined} for a schema that matches only the exact `undefined` value.
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -3148,6 +3260,7 @@ export const Void: Void = make(SchemaAST.void)
 /**
  * Type-level representation of {@link ObjectKeyword}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3156,6 +3269,7 @@ export interface ObjectKeyword extends Bottom<object, object, never, never, Sche
  * 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"`).
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -3163,6 +3277,7 @@ export const ObjectKeyword: ObjectKeyword = make(SchemaAST.objectKeyword)
 /**
  * Type-level representation returned by {@link UniqueSymbol}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3189,6 +3304,7 @@ export interface UniqueSymbol<sym extends symbol>
  * ```
  *
  * @see {@link Symbol} for a schema that accepts any symbol.
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3210,6 +3326,7 @@ 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
  *
+ * @stability stable
  * @since 3.10.0
  */
 export declare namespace Struct {
@@ -3344,6 +3461,7 @@ export declare namespace Struct {
 /**
  * Type-level representation returned by {@link Struct}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -3448,6 +3566,7 @@ function makeStruct<const Fields extends Struct.Fields>(ast: SchemaAST.Objects,
  * Schema.decodeUnknownSync(Person)({ name: "Alice", age: 30 }) // => { name: "Alice", age: 30 }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -3487,6 +3606,7 @@ interface fieldsAssign<NewFields extends Struct.Fields> extends Lambda {
  * Schema.decodeSync(schema)({ a: "a", c: 1 }) // => { a: "a", c: 1 }
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -3496,6 +3616,7 @@ export function fieldsAssign<const NewFields extends Struct.Fields>(fields: NewF
 /**
  * Type-level representation returned by {@link encodeKeys}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -3540,6 +3661,7 @@ const canonicalPropertyKey = (key: PropertyKey): string | symbol =>
  * Schema.decodeUnknownSync(Encoded)({ full_name: "Alice", age: 30 }) // => { name: "Alice", age: 30 }
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -3603,6 +3725,7 @@ export function encodeKeys<
  * alice.fullName // => "Alice Smith"
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -3649,6 +3772,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
  *
+ * @stability stable
  * @since 3.10.0
  */
 export declare namespace Record {
@@ -3807,6 +3931,7 @@ export declare namespace Record {
 /**
  * Type-level representation returned by {@link Record}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3861,6 +3986,7 @@ export interface $Record<Key extends Record.Key, Value extends Constraint> exten
  * Schema.decodeUnknownSync(schema)({ a: 1, b: 2 }) // => { a: 1, b: 2 }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -3878,6 +4004,7 @@ export function Record<Key extends Record.Key, Value extends Constraint>(
  * - `StructWithRest.Type<S, R>` — decoded type (struct type intersected with record types)
  * - `StructWithRest.Encoded<S, R>` — encoded type
  *
+ * @stability stable
  * @since 4.0.0
  */
 export declare namespace StructWithRest {
@@ -4030,6 +4157,7 @@ export declare namespace StructWithRest {
 /**
  * Type-level representation returned by {@link StructWithRest}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -4077,6 +4205,7 @@ export interface StructWithRest<
  * type T = typeof schema.Type
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -4099,6 +4228,7 @@ export function StructWithRest<
  * - `Tuple.Encoded<E>` — encoded tuple type
  * - `Tuple.MakeIn<E>` — constructor input tuple
  *
+ * @stability stable
  * @since 3.10.0
  */
 export declare namespace Tuple {
@@ -4212,6 +4342,7 @@ export declare namespace Tuple {
 /**
  * Type-level representation returned by {@link Tuple}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4281,6 +4412,7 @@ function makeTuple<Elements extends Tuple.Elements>(ast: SchemaAST.Arrays, eleme
  * Schema.decodeUnknownSync(schema)(["hello", 42]) // => ["hello", 42]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4297,6 +4429,7 @@ export function Tuple<const Elements extends ReadonlyArray<Constraint>>(elements
  * - `TupleWithRest.Type<T, R>` — decoded type (fixed elements + rest)
  * - `TupleWithRest.Encoded<T, R>` — encoded type
  *
+ * @stability stable
  * @since 4.0.0
  */
 export declare namespace TupleWithRest {
@@ -4414,6 +4547,7 @@ export declare namespace TupleWithRest {
 /**
  * Type-level representation returned by {@link TupleWithRest}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -4461,6 +4595,7 @@ export interface TupleWithRest<
  * Schema.decodeUnknownSync(schema)(["hello", 1, true, false]) // => ["hello", 1, true, false]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -4473,6 +4608,7 @@ export function TupleWithRest<S extends Tuple<Tuple.Elements>, const Rest extend
 /**
  * Type-level representation returned by {@link Array}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -4516,6 +4652,7 @@ export {
    * Schema.decodeUnknownSync(schema)(["a", "b", "c"]) // => ["a", "b", "c"]
    * ```
    *
+   * @stability stable
    * @category constructors
    * @since 4.0.0
    */
@@ -4538,6 +4675,7 @@ export function withArrayLengthConstraints<Item extends Constraint>(
 /**
  * Type-level representation returned by {@link NonEmptyArray}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4574,6 +4712,7 @@ interface NonEmptyArrayLambda extends Lambda {
  * Schema.decodeUnknownSync(schema)([1, 2, 3]) // => [1, 2, 3]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4583,6 +4722,7 @@ export const NonEmptyArray: NonEmptyArrayLambda = Struct_.lambda<NonEmptyArrayLa
 /**
  * Type-level representation returned by {@link ArrayEnsure}.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4612,6 +4752,7 @@ export interface ArrayEnsure<S extends Constraint> extends decodeTo<$Array<toTyp
  * @see {@link Array} for accepting only array input
  * @see {@link NonEmptyArray} for requiring at least one decoded element
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4630,6 +4771,7 @@ export function ArrayEnsure<S extends Constraint>(schema: S): ArrayEnsure<S> {
 /**
  * Type-level representation returned by {@link UniqueArray}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -4644,6 +4786,7 @@ export interface UniqueArray<S extends Constraint> extends $Array<S> {
  * The equivalence used to determine uniqueness is the one provided by
  * `Schema.toEquivalence(item)`.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -4653,6 +4796,7 @@ export function UniqueArray<S extends Constraint>(item: S): UniqueArray<S> {
 /**
  * Type-level representation returned by {@link mutable}.
  *
+ * @stability stable
  * @category transforming
  * @since 3.10.0
  */
@@ -4710,6 +4854,7 @@ interface mutableLambda extends Lambda {
  * value // => [1, 2, 3]
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 3.10.0
  */
@@ -4719,6 +4864,7 @@ export const mutable: mutableLambda = Struct_.lambda<mutableLambda>((schema) =>
 /**
  * Type-level representation returned by {@link Union}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4802,6 +4948,7 @@ function makeUnion<Members extends ReadonlyArray<Constraint>>(
  * Schema.decodeUnknownSync(schema)(42) // => 42
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4814,6 +4961,7 @@ export function Union<const Members extends ReadonlyArray<Constraint>>(
 /**
  * Type-level representation returned by {@link Literals}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -4846,6 +4994,7 @@ export interface Literals<L extends ReadonlyArray<SchemaAST.LiteralValue>>
  * ```
  *
  * @see {@link Literal} for a schema that represents a single literal.
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -4873,6 +5022,7 @@ export function Literals<const L extends ReadonlyArray<SchemaAST.LiteralValue>>(
 /**
  * Type-level representation returned by {@link NullOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4886,6 +5036,7 @@ interface NullOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | null`.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4893,6 +5044,7 @@ export const NullOr: NullOrLambda = Struct_.lambda<NullOrLambda>((self) => Union
 /**
  * Type-level representation returned by {@link UndefinedOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4906,6 +5058,7 @@ interface UndefinedOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | undefined`.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4913,6 +5066,7 @@ export const UndefinedOr: UndefinedOrLambda = Struct_.lambda<UndefinedOrLambda>(
 /**
  * Type-level representation returned by {@link NullishOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4926,6 +5080,7 @@ interface NullishOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | null | undefined`.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4933,6 +5088,7 @@ export const NullishOr: NullishOrLambda = Struct_.lambda<NullishOrLambda>((self)
 /**
  * Type-level representation returned by {@link suspend}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4978,6 +5134,7 @@ export interface suspend<S extends Constraint> extends
  * Schema.decodeSync(Tree)({ value: 1, children: [] }) // => { value: 1, children: [] }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -5000,6 +5157,7 @@ export function suspend<S extends Constraint>(f: () => S): suspend<S> {
  * Schema.is(AgeSchema)(121) // => false
  * ```
  *
+ * @stability stable
  * @category filtering
  * @since 4.0.0
  */
@@ -5011,6 +5169,7 @@ export function check<S extends Top>(
 /**
  * Type-level representation returned by {@link refine}.
  *
+ * @stability stable
  * @category filtering
  * @since 3.10.0
  */
@@ -5047,6 +5206,7 @@ export interface refine<T extends S["Type"], S extends Constraint> extends
  * names type-level failures before the refinement runs; it does not name the
  * failed refinement itself.
  *
+ * @stability stable
  * @category filtering
  * @since 3.10.0
  */
@@ -5066,6 +5226,7 @@ type FromBrandKeys<A extends Brand.Brand<any>> = A extends unknown ? Brand.Brand
 /**
  * Type-level representation returned by {@link brand}.
  *
+ * @stability stable
  * @category branding
  * @since 3.10.0
  */
@@ -5112,6 +5273,7 @@ export interface brand<S extends Constraint, B extends string> extends
  *
  * @see {@link fromBrand} for applying a Brand constructor's checks along with its branded type
  *
+ * @stability stable
  * @category branding
  * @since 3.10.0
  */
@@ -5135,6 +5297,7 @@ export function brand<B extends string>(identifier: B & EnsureSingleBrandKey<B>)
  *
  * @see {@link brand} for adding a brand without constructor checks
  *
+ * @stability stable
  * @category branding
  * @since 3.10.0
  */
@@ -5152,6 +5315,7 @@ export function fromBrand<A extends Brand.Brand<any>>(
 /**
  * Type-level representation returned by {@link middlewareDecoding}.
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -5201,6 +5365,7 @@ export interface middlewareDecoding<S extends Constraint, RD> extends
  * ```
  *
  * @see {@link catchDecoding} for a simpler error-recovery variant
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -5219,6 +5384,7 @@ export function middlewareDecoding<S extends Constraint, RD>(
 /**
  * Type-level representation returned by {@link middlewareEncoding}.
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -5268,6 +5434,7 @@ export interface middlewareEncoding<S extends Constraint, RE> extends
  * ```
  *
  * @see {@link catchEncoding} for a simpler error-recovery variant
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -5303,6 +5470,7 @@ export function middlewareEncoding<S extends Constraint, RE>(
  * ```
  *
  * @see {@link catchDecodingWithContext} to add service requirements to the handler
+ * @stability stable
  * @category error handling
  * @since 4.0.0
  */
@@ -5328,6 +5496,7 @@ export function catchDecoding<S extends Constraint>(
  * @see {@link catchDecoding} for recovery handlers that do not require services
  * @see {@link middlewareDecoding} for intercepting or replacing the full decoding pipeline
  *
+ * @stability stable
  * @category error handling
  * @since 4.0.0
  */
@@ -5346,6 +5515,7 @@ export function catchDecodingWithContext<S extends Constraint, 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
+ * @stability stable
  * @category error handling
  * @since 4.0.0
  */
@@ -5371,6 +5541,7 @@ export function catchEncoding<S extends Constraint>(
  * @see {@link catchEncoding} for recovery handlers that do not require services
  * @see {@link middlewareEncoding} for intercepting or replacing the full encoding pipeline
  *
+ * @stability stable
  * @category error handling
  * @since 4.0.0
  */
@@ -5383,6 +5554,7 @@ export function catchEncodingWithContext<S extends Constraint, R = never>(
 /**
  * Type-level representation returned by {@link decodeTo}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -5411,6 +5583,7 @@ export interface decodeTo<To extends Constraint, From extends Constraint, RD = n
 /**
  * Type-level representation returned by {@link decodeTo} without a custom transformation.
  *
+ * @stability stable
  * @category transforming
  * @since 3.10.0
  */
@@ -5459,6 +5632,7 @@ export interface compose<To extends Constraint, From extends Constraint> extends
  * Schema.decodeUnknownSync(NumberFromString)("123") // => 123
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -5562,6 +5736,7 @@ export const BooleanLiterals = Literals([...TrueLiterals.literals, ...FalseLiter
  * Schema.decodeUnknownSync(Trimmed)("  hello  ") // => "hello"
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -5600,6 +5775,7 @@ export function decode<S extends Constraint, RD = never, RE = never>(transformat
  * Schema.decodeSync(NumberFromString)("42") // => 42
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -5649,6 +5825,7 @@ export function encodeTo<To extends Constraint, From extends Constraint, RD = ne
  * Schema.encodeSync(UpperFromLower)("hello") // => "HELLO"
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -5667,6 +5844,7 @@ export function encode<S extends Constraint, RD = never, RE = never>(transformat
  *
  * Only schemas that satisfy this constraint can be passed to {@link withConstructorDefault}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -5676,6 +5854,7 @@ export interface WithoutConstructorDefault {
 /**
  * Type-level representation returned by {@link withConstructorDefault}.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -5723,6 +5902,7 @@ export interface withConstructorDefault<S extends Constraint & WithoutConstructo
  * MySchema.make({}).name // => "anonymous"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -5737,6 +5917,7 @@ export function withConstructorDefault<S extends Constraint & WithoutConstructor
 /**
  * Type-level representation returned by {@link withDecodingDefaultKey}.
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -5754,6 +5935,7 @@ export interface withDecodingDefaultKey<S extends Constraint, R = never>
  *   - `"passthrough"` (default): pass the value through during encoding
  *   - `"omit"`: omit the key from the encoded output
  *
+ * @stability stable
  * @category options
  * @since 4.0.0
  */
@@ -5796,6 +5978,7 @@ function toIssueEffect<A, R>(
  *
  * @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
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -5814,6 +5997,7 @@ export function withDecodingDefaultKey<S extends Constraint, R = never>(
 /**
  * Type-level representation returned by {@link withDecodingDefaultTypeKey}.
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -5841,6 +6025,7 @@ export interface withDecodingDefaultTypeKey<S extends Constraint, R = never>
  *
  * @see {@link withDecodingDefaultKey} for the variant where the default is an `Encoded` value
  * @see {@link withDecodingDefaultType} for the value-level variant
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -5858,6 +6043,7 @@ export function withDecodingDefaultTypeKey<S extends Constraint, R = never>(
 /**
  * Type-level representation returned by {@link withDecodingDefault}.
  *
+ * @stability stable
  * @category decoding
  * @since 3.10.0
  */
@@ -5899,6 +6085,7 @@ export interface withDecodingDefault<S extends Constraint, R = never> extends de
  *
  * @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
+ * @stability stable
  * @category decoding
  * @since 3.10.0
  */
@@ -5917,6 +6104,7 @@ export function withDecodingDefault<S extends Constraint, R = never>(
 /**
  * Type-level representation returned by {@link withDecodingDefaultType}.
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -5949,6 +6137,7 @@ export interface withDecodingDefaultType<S extends Constraint, R = never>
  *
  * @see {@link withDecodingDefault} for the variant where the default is an `Encoded` value
  * @see {@link withDecodingDefaultTypeKey} for the key-level variant
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -5966,6 +6155,7 @@ export function withDecodingDefaultType<S extends Constraint, R = never>(
 /**
  * Type-level representation returned by {@link tag}.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -5989,6 +6179,7 @@ export interface tag<Tag extends SchemaAST.LiteralValue> extends withConstructor
  *
  * @see {@link tagDefaultOmit} to also omit the tag during encoding
  * @see {@link TaggedStruct} for a shorthand that adds `_tag` automatically
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -6023,6 +6214,7 @@ export function tag<Tag extends SchemaAST.LiteralValue>(literal: Tag): tag<Tag>
  * ```
  *
  * @see {@link tag} for the variant that keeps the tag during encoding
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -6032,6 +6224,7 @@ export function tagDefaultOmit<Tag extends SchemaAST.LiteralValue>(literal: Tag)
 /**
  * Type-level representation returned by {@link TaggedStruct}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -6082,6 +6275,7 @@ export type TaggedStruct<Tag extends SchemaAST.LiteralValue, Fields extends Stru
  * tagged.fields._tag.schema.literal // => "A"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -6111,6 +6305,10 @@ type TaggedUnionUtils<
     Members
   >
 > = {
+  /**
+   * Property key used to discriminate union members.
+   */
+  readonly tag: Tag
   /**
    * Discriminant values in flattened member order.
    */
@@ -6164,6 +6362,7 @@ type TaggedUnionUtils<
 /**
  * Type-level representation returned by {@link toTaggedUnion}.
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -6198,6 +6397,7 @@ export type toTaggedUnion<
  * ```
  *
  * @see {@link TaggedUnion} for a shorthand that builds the union from scratch
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -6213,7 +6413,7 @@ export function toTaggedUnion<const Tag extends PropertyKey>(tag: Tag) {
 
     walk(self)
 
-    return Object.assign(self, { cases, discriminants, isAnyOf, guards, match, matchOrElse }) as any
+    return Object.assign(self, { tag, cases, discriminants, isAnyOf, guards, match, matchOrElse }) as any
 
     function walk(schema: Constraint) {
       const ast = schema.ast
@@ -6282,6 +6482,7 @@ export function toTaggedUnion<const Tag extends PropertyKey>(tag: Tag) {
 /**
  * Type-level representation returned by {@link TaggedUnion}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6298,6 +6499,7 @@ export interface TaggedUnion<Cases extends Record<string, Constraint>> extends
   readonly "~type.make.in": { [K in keyof Cases]: Cases[K]["~type.make"] }[keyof Cases]
   readonly "~type.make": { [K in keyof Cases]: Cases[K]["~type.make"] }[keyof Cases]
   readonly "Iso": { [K in keyof Cases]: Cases[K]["Type"] }[keyof Cases]
+  readonly tag: "_tag"
   readonly cases: Cases
   readonly isAnyOf: <const Keys>(
     keys: ReadonlyArray<Keys>
@@ -6327,7 +6529,7 @@ export interface TaggedUnion<Cases extends Record<string, Constraint>> extends
 /**
  * Builds a discriminated union from a record of field sets, one per variant.
  * Each key becomes the `_tag` literal and the value is passed to {@link TaggedStruct}.
- * The result includes `cases`, `guards`, `isAnyOf`, `match`, and `matchOrElse` utilities.
+ * The result includes `tag`, `cases`, `guards`, `isAnyOf`, `match`, and `matchOrElse` utilities.
  *
  * **Example** (Pattern matching a discriminated union)
  *
@@ -6348,6 +6550,7 @@ export interface TaggedUnion<Cases extends Record<string, Constraint>> extends
  * ```
  *
  * @see {@link toTaggedUnion} to augment an existing union instead
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -6362,12 +6565,13 @@ export function TaggedUnion<const CasesByTag extends Record<string, Struct.Field
     members.push(member)
   }
   const union = Union(members)
-  const { guards, isAnyOf, match, matchOrElse } = toTaggedUnion("_tag")(union)
-  return make(union.ast, { cases, isAnyOf, guards, match, matchOrElse })
+  const { tag, guards, isAnyOf, match, matchOrElse } = toTaggedUnion("_tag")(union)
+  return make(union.ast, { tag, cases, isAnyOf, guards, match, matchOrElse })
 }
 /**
  * Type-level representation returned by {@link Opaque}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6413,6 +6617,7 @@ export interface Opaque<Self, S extends Top, Brand> extends
  * person.name // => "Alice"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -6424,6 +6629,7 @@ export function Opaque<Self, Brand = {}>() {
 /**
  * Type-level representation returned by {@link instanceOf}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -6445,6 +6651,7 @@ export interface instanceOf<T, Iso = T> extends declare<T, Iso> {
  * decoded.toISOString() // => "2024-01-01T00:00:00.000Z"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -6458,6 +6665,7 @@ export function instanceOf<C extends abstract new(...args: any) => any, Iso = In
  * Constructs an `SchemaAST.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.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -6527,6 +6735,7 @@ export function link<T>() {
  * }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -6551,6 +6760,7 @@ export const makeFilter: <T>(
  *   `reportInput`) or a full {@link SchemaIssue.Issue} (returned unchanged);
  *   the result is wrapped in an {@link SchemaIssue.Pointer} at the given `path`.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -6578,6 +6788,7 @@ export type FilterIssue = string | SchemaIssue.Issue | {
  *   to returning that element directly; otherwise the entries are grouped
  *   into an {@link SchemaIssue.Composite}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -6586,6 +6797,7 @@ export type FilterOutput = undefined | boolean | FilterIssue | ReadonlyArray<Fil
  * Groups multiple checks into a single {@link SchemaAST.FilterGroup}, applying
  * optional shared annotations to the group as a whole.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -6612,6 +6824,7 @@ const TRIMMED_PATTERN = "^\\S[\\s\\S]*\\S$|^\\S$|^$"
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the trimmed pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6650,6 +6863,7 @@ export function isTrimmed(annotations?: Annotations.Filter) {
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the specified RegExp pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6684,6 +6898,7 @@ export function isPattern(
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the number string pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6707,6 +6922,7 @@ export function isStringFinite(annotations?: Annotations.Filter): SchemaAST.Filt
  * This check corresponds to a `pattern` constraint with the same signed
  * base-10 integer pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6725,6 +6941,7 @@ export function isStringBigInt(annotations?: Annotations.Filter): SchemaAST.Filt
  * The check uses the pattern `^Symbol\((.*)\)$`. It is not a general test for
  * whether a string can be passed to JavaScript's `Symbol()` function.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6770,6 +6987,7 @@ const getUUIDRegExp = (version?: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8): globalThis.RegE
  * constraint to ensure generated strings match the UUID pattern.
  *
  * @see {@link isGUID} for shape-only GUID validation.
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6812,6 +7030,7 @@ const GUID_REGEXP = /^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{
  * constraint to ensure generated strings match the GUID pattern.
  *
  * @see {@link isUUID} for strict UUID validation.
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6846,6 +7065,7 @@ export function isGUID(annotations?: Annotations.Filter) {
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the ULID pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6879,6 +7099,7 @@ export function isULID(annotations?: Annotations.Filter) {
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the Base64 pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6914,6 +7135,7 @@ export function isBase64(annotations?: Annotations.Filter) {
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the Base64URL pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6953,6 +7175,7 @@ function literalToJsonSchema(
  * metadata. If the prefix ends with a high surrogate, the JSON Schema pattern
  * omits that code unit so Unicode matching cannot reject a valid string.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6986,6 +7209,7 @@ export function isStartingWith(startsWith: string, annotations?: Annotations.Fil
  * metadata. If the suffix begins with a low surrogate, the JSON Schema pattern
  * omits that code unit so Unicode matching cannot reject a valid string.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7020,6 +7244,7 @@ export function isEndingWith(endsWith: string, annotations?: Annotations.Filter)
  * omitted from the JSON Schema pattern so Unicode matching cannot reject a
  * valid string.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7055,6 +7280,7 @@ const UPPERCASED_PATTERN = "^[^a-z]*$"
  * such as digits, punctuation, and whitespace. It rejects strings that would
  * change when uppercased.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7088,6 +7314,7 @@ const LOWERCASED_PATTERN = "^[^A-Z]*$"
  * such as digits, punctuation, and whitespace. It rejects strings that would
  * change when lowercased.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7121,6 +7348,7 @@ const CAPITALIZED_PATTERN = "^(?:[^a-z][\\s\\S]*)?$"
  * Empty strings pass. Strings whose first character has no lowercase form, such
  * as a digit, punctuation mark, or whitespace, also pass.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7154,6 +7382,7 @@ const UNCAPITALIZED_PATTERN = "^(?:[^A-Z][\\s\\S]*)?$"
  * Empty strings pass. Strings whose first character has no uppercase form, such
  * as a digit, punctuation mark, or whitespace, also pass.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7179,6 +7408,7 @@ export function isUncapitalized(annotations?: Annotations.Filter) {
 /**
  * Type-level representation of {@link Finite}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7188,6 +7418,7 @@ export interface Finite extends Number {
 /**
  * Schema for finite numbers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -7206,6 +7437,7 @@ export const Finite: Finite = make(SchemaAST.finite)
  *
  * During arbitrary generation, this applies a finite-number constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7214,6 +7446,7 @@ export const isFinite: (annotations?: Annotations.Filter) => SchemaAST.Filter<nu
  * Creates a greater-than (`>`) check for any ordered type from an
  * `Order.Order` instance.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7244,6 +7477,7 @@ export function makeIsGreaterThan<T>(options: {
  * Creates a greater-than-or-equal-to (`>=`) check for any ordered type from an
  * `Order.Order` instance.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7273,6 +7507,7 @@ export function makeIsGreaterThanOrEqualTo<T>(options: {
  * Creates a less-than (`<`) check for any ordered type from an `Order.Order`
  * instance.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7303,6 +7538,7 @@ export function makeIsLessThan<T>(options: {
  * Creates a less-than-or-equal-to (`<=`) check for any ordered type from an
  * `Order.Order` instance.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7332,6 +7568,7 @@ export function makeIsLessThanOrEqualTo<T>(options: {
  * Creates an inclusive or exclusive range check for any ordered type from an
  * `Order.Order` instance.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7383,6 +7620,7 @@ export function makeIsBetween<T>(deriveOptions: {
  * Creates a divisibility check for any numeric type from a remainder function
  * and a zero value.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7426,6 +7664,7 @@ function encodeNumberPayload(number: number): number {
  * `exclusiveMinimum` constraint to ensure generated numbers are greater than
  * the specified value.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7456,6 +7695,7 @@ export const isGreaterThan: (exclusiveMinimum: number, annotations?: Annotations
  * During arbitrary generation, this applies a `minimum` constraint
  * to ensure generated numbers are greater than or equal to the specified value.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7486,6 +7726,7 @@ export const isGreaterThanOrEqualTo: (minimum: number, annotations?: Annotations
  * `exclusiveMaximum` constraint to ensure generated numbers are less than the
  * specified value.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7516,6 +7757,7 @@ export const isLessThan: (exclusiveMaximum: number, annotations?: Annotations.Fi
  * During arbitrary generation, this applies a `maximum` constraint
  * to ensure generated numbers are less than or equal to the specified value.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7549,6 +7791,7 @@ export const isLessThanOrEqualTo: (maximum: number, annotations?: Annotations.Fi
  * `exclusiveMaximum` flags to ensure generated numbers fall within the
  * specified range.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7600,6 +7843,7 @@ export const isBetween: (options: {
  *
  * Throws a `RangeError` when `divisor` is zero or is not finite.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7639,6 +7883,7 @@ export function isMultipleOf(
  *
  * During arbitrary generation, this applies an integer constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7663,6 +7908,7 @@ export function isInt(annotations?: Annotations.Filter) {
 /**
  * Type-level representation of {@link Int}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7672,6 +7918,7 @@ export interface Int extends Number {
 /**
  * Schema for integers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -7679,6 +7926,7 @@ export const Int: Int = Number.check(isInt())
 /**
  * Type-level representation of {@link Natural}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7694,6 +7942,7 @@ export interface Natural extends Int {
  *
  * @see {@link Int} for safe integers that may be negative
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -7714,6 +7963,7 @@ export const Natural: Natural = Int.check(isGreaterThanOrEqualTo(0))
  * During arbitrary generation, this applies integer and range
  * constraints to ensure generated numbers are 32-bit signed integers.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7745,6 +7995,7 @@ export function isInt32(annotations?: Annotations.Filter) {
  * During arbitrary generation, this applies integer and range
  * constraints to ensure generated numbers are 32-bit unsigned integers.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7780,6 +8031,7 @@ function formatDateRuntime(date: globalThis.Date): string {
  *
  * During arbitrary generation, this applies an exclusive lower bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7815,6 +8067,7 @@ export const isGreaterThanDate: (
  *
  * During arbitrary generation, this applies an inclusive lower bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7844,6 +8097,7 @@ export const isGreaterThanOrEqualToDate: (
  *
  * During arbitrary generation, this applies an exclusive upper bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7879,6 +8133,7 @@ export const isLessThanDate: (
  *
  * During arbitrary generation, this applies an inclusive upper bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7914,6 +8169,7 @@ export const isLessThanOrEqualToDate: (
  *
  * During arbitrary generation, this applies the specified lower and upper bounds.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7956,6 +8212,7 @@ export const isBetweenDate: (options: {
  *
  * During arbitrary generation, this applies an exclusive lower bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7986,6 +8243,7 @@ export const isGreaterThanBigInt: (
  *
  * During arbitrary generation, this applies an inclusive lower bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8015,6 +8273,7 @@ export const isGreaterThanOrEqualToBigInt: (
  *
  * During arbitrary generation, this applies an exclusive upper bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8045,6 +8304,7 @@ export const isLessThanBigInt: (
  *
  * During arbitrary generation, this applies an inclusive upper bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8075,6 +8335,7 @@ export const isLessThanOrEqualToBigInt: (
  *
  * During arbitrary generation, this applies the specified lower and upper bounds.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8140,6 +8401,7 @@ export const isBetweenBigInt: (options: {
  * Schema.is(NonEmptyArraySchema)([1]) // => true
  * ```
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8192,6 +8454,7 @@ function makeIsMinLength(minLength: number, minCodePoints: number, annotations?:
  * During arbitrary generation, this applies a `minLength: 1`
  * constraint to ensure generated strings or arrays are non-empty.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8217,6 +8480,7 @@ export function isNonEmpty(annotations?: Annotations.Filter) {
  * constraint to ensure generated strings or arrays have at most the required
  * length.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8267,6 +8531,7 @@ export function isMaxLength(maxLength: number, annotations?: Annotations.Filter)
  * `maxLength` constraints to ensure generated strings or arrays have a length
  * within the specified range.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8327,6 +8592,7 @@ export function isBetweenLength(minimum: number, maximum: number, annotations?:
  * @see {@link isMinLength} for counting UTF-16 code units
  * @see {@link isMaxCodePoints}
  * @see {@link isBetweenCodePoints}
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8365,6 +8631,7 @@ export function isMinCodePoints(minCodePoints: number, annotations?: Annotations
  * @see {@link isMaxLength} for counting UTF-16 code units
  * @see {@link isMinCodePoints}
  * @see {@link isBetweenCodePoints}
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8403,6 +8670,7 @@ export function isMaxCodePoints(maxCodePoints: number, annotations?: Annotations
  * @see {@link isBetweenLength} for counting UTF-16 code units
  * @see {@link isMinCodePoints}
  * @see {@link isMaxCodePoints}
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8463,6 +8731,7 @@ function normalizeCardinality(value: number): number {
  *
  * During arbitrary generation, this applies a node-local `minSize` constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8503,6 +8772,7 @@ export function isMinSize(minSize: number, annotations?: Annotations.Filter) {
  *
  * During arbitrary generation, this applies a node-local `maxSize` constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8543,6 +8813,7 @@ export function isMaxSize(maxSize: number, annotations?: Annotations.Filter) {
  *
  * During arbitrary generation, this applies node-local `minSize` and `maxSize` constraints.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8591,6 +8862,7 @@ export function isBetweenSize(minimum: number, maximum: number, annotations?: An
  *
  * During arbitrary generation, this applies a node-local `minProperties` constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8633,6 +8905,7 @@ export function isMinProperties(minProperties: number, annotations?: Annotations
  *
  * During arbitrary generation, this applies a node-local `maxProperties` constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8675,6 +8948,7 @@ export function isMaxProperties(maxProperties: number, annotations?: Annotations
  *
  * During arbitrary generation, this applies node-local `minProperties` and `maxProperties` constraints.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8721,6 +8995,7 @@ export function isBetweenProperties(minimum: number, maximum: number, annotation
  * names in the original input. Property transformations and excess-property
  * handling can therefore produce different results.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8770,6 +9045,7 @@ export function isPropertyNames(keySchema: Constraint, annotations?: Annotations
  * During arbitrary generation, this applies a node-local identity selector
  * for constructive uniqueness using Effect equality.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8803,6 +9079,7 @@ export function isUnique<T>(annotations?: Annotations.Filter) {
  * JSON Schema has no equivalent constraint, so this check is omitted from generated documents.
  *
  * @see {@link isUnique} for validating uniqueness of complete array elements
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -8826,6 +9103,7 @@ export function isUniqueKey<Key, Value>(annotations?: Annotations.Filter) {
 /**
  * Type-level representation of {@link NonEmptyString}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -8836,6 +9114,7 @@ export interface NonEmptyString extends String {
  * Schema for non-empty strings. Validates that a string has at least one
  * character.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -8843,6 +9122,7 @@ export const NonEmptyString: NonEmptyString = String.check(isNonEmpty())
 /**
  * Type-level representation of {@link Char}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -8865,6 +9145,7 @@ export interface Char extends String {
  * @see {@link NonEmptyString} for strings with length greater than zero
  * @see {@link isBetweenLength} for the underlying length check
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -8872,6 +9153,7 @@ export const Char: Char = String.check(isBetweenLength(1, 1))
 /**
  * Type-level representation of {@link ErrorInstance}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -8881,6 +9163,7 @@ export interface ErrorInstance extends instanceOf<globalThis.Error> {
 /**
  * Options for {@link ErrorInstance} and {@link Defect}.
  *
+ * @stability stable
  * @category options
  * @since 4.0.0
  */
@@ -8937,6 +9220,7 @@ const errorSchemaCache: Array<ErrorInstance | undefined> = []
  * traces are omitted by default for security. Pass `{ includeStack: true }` to
  * include stack traces, or `{ excludeCause: true }` to omit causes.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -8967,6 +9251,7 @@ export function ErrorInstance(options?: ErrorOptions): ErrorInstance {
 /**
  * Type-level representation of {@link Defect}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9013,6 +9298,7 @@ const defectSchemaCache: Array<Defect | undefined> = []
  *   string representation.
  *
  * @see {@link ErrorInstance} for a schema that only accepts JavaScript `Error` values.
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9029,6 +9315,7 @@ export function Defect(options?: ErrorOptions): Defect {
 /**
  * Type-level representation returned by {@link ReadonlyMap}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9048,6 +9335,7 @@ export interface $ReadonlyMap<Key extends Constraint, Value extends Constraint>
  * Iso representation used for `ReadonlyMap` schemas: an array of readonly
  * `[key, value]` tuples using each entry schema's `Iso` type.
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -9058,6 +9346,7 @@ export type ReadonlyMapIso<Key extends Constraint, Value extends Constraint> = R
  * Schema for readonly maps whose keys and values conform to the provided
  * schemas.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -9111,6 +9400,7 @@ export function ReadonlyMap<Key extends Constraint, Value extends Constraint>(
 /**
  * Type-level representation returned by {@link ReadonlySet}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9129,6 +9419,7 @@ export interface $ReadonlySet<Value extends Constraint> extends
  * Iso representation used for `ReadonlySet` schemas: an array of element values
  * using the element schema's `Iso` type.
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -9136,6 +9427,7 @@ export type ReadonlySetIso<Value extends Constraint> = ReadonlyArray<Value["Iso"
 /**
  * Schema for readonly sets whose values conform to the provided element schema.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -9186,6 +9478,7 @@ export function ReadonlySet<Value extends Constraint>(value: Value): $ReadonlySe
 /**
  * Type-level representation of {@link RegExp}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9199,6 +9492,7 @@ export interface RegExp extends instanceOf<globalThis.RegExp> {
  *
  * The default JSON serializer encodes a `RegExp` as `{ source, flags }`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9243,6 +9537,7 @@ export const RegExp: RegExp = instanceOf(
 /**
  * Type-level representation of {@link URL}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9260,6 +9555,7 @@ const URLString = String.annotate({ expected: "a string that will be decoded as
  *
  * - encodes `URL` as a `string`
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9285,6 +9581,7 @@ export const URL: URL = instanceOf(
 /**
  * Type-level representation of {@link URLFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9302,6 +9599,7 @@ export interface URLFromString extends decodeTo<URL, String> {
  * Encoding:
  * - A `URL` is encoded as a `string`
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9309,6 +9607,7 @@ export const URLFromString: URLFromString = URLString.pipe(decodeTo(URL, SchemaT
 /**
  * Type-level representation of {@link Date}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9342,6 +9641,7 @@ const DateString = String.annotate({ expected: "a string that will be decoded as
  * @see {@link DateFromString} for decoding strings into Date instances
  * @see {@link DateFromMillis} for decoding epoch milliseconds into Date instances
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9367,6 +9667,7 @@ export const Date: Date = declare(
 /**
  * Type-level representation of {@link DateFromString}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9395,6 +9696,7 @@ export interface DateFromString extends decodeTo<Date, String> {
  * @see {@link DateTimeUtcFromString} for decoding date-time strings into UTC values
  * @see {@link Date} for accepting Date instances directly
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -9402,6 +9704,7 @@ export const DateFromString: DateFromString = DateString.pipe(decodeTo(Date, Sch
 /**
  * Type-level representation of {@link DateFromMillis}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9433,6 +9736,7 @@ export interface DateFromMillis extends decodeTo<Date, Int> {
  * @see {@link DateFromString} for decoding string-encoded dates
  * @see {@link DateTimeUtcFromMillis} for decoding epoch milliseconds into UTC values
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9442,6 +9746,7 @@ export const DateFromMillis: DateFromMillis = Int.pipe(
 /**
  * Type-level representation returned by {@link fromJsonString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9479,6 +9784,7 @@ const JsonString = String.annotate({
  * Schema.encodeSync(schemaFromJsonString)({ a: 1 }) // => "{\n  \"a\": 1\n}"
  * ```
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9497,6 +9803,7 @@ export const UnknownFromJsonString: fromJsonString<Unknown> = fromJsonString(Unk
 /**
  * Type-level representation of {@link File}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9511,6 +9818,7 @@ export interface File extends instanceOf<globalThis.File> {
  * The default JSON serializer encodes a `File` as `{ data, type, name, lastModified }`
  * where `data` is base64-encoded.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9574,6 +9882,7 @@ export const File: File = instanceOf(globalThis.File, {
 /**
  * Type-level representation of {@link FormData}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9588,6 +9897,7 @@ export interface FormData extends instanceOf<globalThis.FormData> {
  * The default JSON serializer encodes a `FormData` as an array of `[key, entry]`
  * pairs where each entry is tagged as `"String"` or `"File"`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9637,6 +9947,7 @@ export const FormData: FormData = instanceOf(globalThis.FormData, {
 /**
  * Type-level representation returned by {@link fromFormData}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9722,6 +10033,7 @@ export interface fromFormData<S extends Constraint> extends decodeTo<S, FormData
  * Schema.decodeUnknownSync(schema)(formData) // => { a: 1 }
  * ```
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -9731,6 +10043,7 @@ export function fromFormData<S extends Constraint>(schema: S): fromFormData<S> {
 /**
  * Type-level representation of {@link URLSearchParams}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9744,6 +10057,7 @@ export interface URLSearchParams extends instanceOf<globalThis.URLSearchParams>
  *
  * The default JSON serializer encodes a `URLSearchParams` as a query string.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9769,6 +10083,7 @@ export const URLSearchParams: URLSearchParams = instanceOf(globalThis.URLSearchP
 /**
  * Type-level representation returned by {@link fromURLSearchParams}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9849,6 +10164,7 @@ export interface fromURLSearchParams<S extends Constraint> extends decodeTo<S, U
  * Schema.decodeUnknownSync(schema)(urlSearchParams) // => { a: 1 }
  * ```
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -9858,6 +10174,7 @@ export function fromURLSearchParams<S extends Constraint>(schema: S): fromURLSea
 /**
  * Type-level representation of {@link NumberFromString}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9878,6 +10195,7 @@ export interface NumberFromString extends decodeTo<Number, String> {
  * Encoding:
  * A number is encoded as a `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -9887,6 +10205,7 @@ export const NumberFromString: NumberFromString = String.annotate({
 /**
  * Type-level representation of {@link FiniteFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9905,6 +10224,7 @@ export interface FiniteFromString extends decodeTo<Finite, String> {
  * Encoding:
  * - A finite number is encoded as a `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9914,6 +10234,7 @@ export const FiniteFromString: FiniteFromString = String.annotate({
 /**
  * Type-level representation of {@link BigIntFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9945,6 +10266,7 @@ export interface BigIntFromString extends decodeTo<BigInt, String> {
  * @see {@link NumberFromString} for parsing JavaScript number strings, including non-finite values
  * @see {@link BigDecimalFromString} for parsing decimal number strings
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9954,6 +10276,7 @@ export const BigIntFromString: BigIntFromString = make<String>(SchemaAST.bigIntS
 /**
  * Type-level representation of {@link Trimmed}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9963,6 +10286,7 @@ export interface Trimmed extends String {
 /**
  * Schema for strings that contains no leading or trailing whitespaces.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -9970,6 +10294,7 @@ export const Trimmed: Trimmed = String.check(isTrimmed())
 /**
  * Type-level representation of {@link Trim}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9987,6 +10312,7 @@ export interface Trim extends decodeTo<Trimmed, String> {
  * Encoding:
  * - The trimmed string is encoded as is.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -9996,6 +10322,7 @@ export const Trim: Trim = String.annotate({
 /**
  * Type-level representation of {@link StringFromBase64}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -10013,6 +10340,7 @@ export interface StringFromBase64 extends decodeTo<String, String> {
  * Encoding:
  * - A `string` is encoded as a base64-encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -10024,6 +10352,7 @@ export const StringFromBase64: StringFromBase64 = String.annotate({
 /**
  * Type-level representation of {@link StringFromBase64Url}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -10041,6 +10370,7 @@ export interface StringFromBase64Url extends decodeTo<String, String> {
  * Encoding:
  * - A `string` is encoded as a base64 (URL) encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -10052,6 +10382,7 @@ export const StringFromBase64Url: StringFromBase64Url = String.annotate({
 /**
  * Type-level representation of {@link StringFromHex}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -10069,6 +10400,7 @@ export interface StringFromHex extends decodeTo<String, String> {
  * Encoding:
  * - A `string` is encoded as a hex string.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -10080,6 +10412,7 @@ export const StringFromHex: StringFromHex = String.annotate({
 /**
  * Type-level representation of {@link StringFromUriComponent}.
  *
+ * @stability stable
  * @category models
  * @since 3.12.0
  */
@@ -10115,6 +10448,7 @@ export interface StringFromUriComponent extends decodeTo<String, String> {
  * Schema.encodeSync(UrlSchema)({ maxItemPerPage: 10, page: 1 }) // => "%7B%22maxItemPerPage%22%3A10%2C%22page%22%3A1%7D"
  * ```
  *
+ * @stability stable
  * @category schemas
  * @since 3.12.0
  */
@@ -10127,6 +10461,7 @@ export const StringFromUriComponent: StringFromUriComponent = String.annotate({
  * Schema for property keys accepted by Effect schemas: finite `number`,
  * `symbol`, or `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -10139,6 +10474,7 @@ export const PropertyKey: Union<readonly [Finite, Symbol, String]> = Union([Fini
  * The result contains an `issues` array where each issue has a message and an
  * optional path made of property keys or keyed path segments.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -10169,6 +10505,7 @@ export const StandardSchemaV1FailureResult: Struct<{
 /**
  * Type-level representation of {@link BooleanFromBit}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -10191,6 +10528,7 @@ export interface BooleanFromBit extends decodeTo<Boolean, Literals<readonly [0,
  * @see {@link Boolean} for validating values that are already booleans
  * @see {@link Literals} for keeping bit literals instead of decoding them
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -10206,6 +10544,7 @@ export const BooleanFromBit: BooleanFromBit = Literals([0, 1]).pipe(
 /**
  * Type-level representation of {@link Uint8Array}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -10227,6 +10566,7 @@ const Base64String = String.annotate({
  *
  * The default JSON serializer encodes Uint8Array as a Base64 encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -10249,6 +10589,7 @@ export const Uint8Array: Uint8Array = instanceOf(globalThis.Uint8Array<ArrayBuff
 /**
  * Type-level representation of {@link Uint8ArrayFromBase64}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -10267,6 +10608,7 @@ export interface Uint8ArrayFromBase64 extends decodeTo<Uint8Array, String> {
  * Encoding:
  * - A `Uint8Array` is encoded as a base64-encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -10276,6 +10618,7 @@ export const Uint8ArrayFromBase64: Uint8ArrayFromBase64 = Base64String.pipe(
 /**
  * Type-level representation of {@link Uint8ArrayFromBase64Url}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -10294,6 +10637,7 @@ export interface Uint8ArrayFromBase64Url extends decodeTo<Uint8Array, String> {
  * Encoding:
  * - A `Uint8Array` is encoded as a base64 (URL) encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -10308,6 +10652,7 @@ export const Uint8ArrayFromBase64Url: Uint8ArrayFromBase64Url = String.annotate(
 /**
  * Type-level representation of {@link Uint8ArrayFromHex}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -10326,6 +10671,7 @@ export interface Uint8ArrayFromHex extends decodeTo<Uint8Array, String> {
  * Encoding:
  * - A `Uint8Array` is encoded as a hex encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -10361,6 +10707,7 @@ const bigDecimalFromString: SchemaTransformation.Transformation<BigDecimal_.BigD
 /**
  * Validates that a BigDecimal is greater than the specified value (exclusive).
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -10375,6 +10722,7 @@ export const isGreaterThanBigDecimal: (
  * Validates that a BigDecimal is greater than or equal to the specified value
  * (inclusive).
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -10388,6 +10736,7 @@ export const isGreaterThanOrEqualToBigDecimal: (
 /**
  * Validates that a BigDecimal is less than the specified value (exclusive).
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -10402,6 +10751,7 @@ export const isLessThanBigDecimal: (
  * Validates that a BigDecimal is less than or equal to the specified value
  * (inclusive).
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -10420,6 +10770,7 @@ export const isLessThanOrEqualToBigDecimal: (
  * The minimum and maximum boundaries are inclusive by default. Pass
  * `exclusiveMinimum` or `exclusiveMaximum` to exclude either boundary.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -10435,6 +10786,7 @@ export const isBetweenBigDecimal: (options: {
 /**
  * Type-level representation of {@link BigDecimal}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -10458,6 +10810,7 @@ const BigDecimalString = String.annotate({ expected: "a string that will be deco
  *
  * @see {@link BigDecimalFromString} for parsing string input into a BigDecimal
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -10485,6 +10838,7 @@ export const BigDecimal: BigDecimal = declare(
 /**
  * Type-level representation of {@link BigDecimalFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -10515,6 +10869,7 @@ export interface BigDecimalFromString extends decodeTo<BigDecimal, String> {
  * @see {@link BigIntFromString} for parsing base-10 integer strings into bigint values
  * @see {@link NumberFromString} for parsing JavaScript number strings
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -10529,6 +10884,7 @@ export const BigDecimalFromString: BigDecimalFromString = BigDecimalString.pipe(
 /**
  * Type-level representation of {@link ByteSize}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -10544,6 +10900,7 @@ export interface ByteSize extends declare<ByteSize_.ByteSize> {
  * beyond JavaScript's safe-integer range. The StringTree codec uses the
  * human-readable byte-size syntax exposed by {@link ByteSizeFromString}.
  *
+ * @stability unstable
  * @category schemas
  * @since 4.0.0
  */
@@ -10579,6 +10936,7 @@ const ByteSizeString = String.annotate({ expected: "a string that will be decode
 /**
  * Type-level representation of {@link ByteSizeFromString}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -10611,6 +10969,7 @@ export interface ByteSizeFromString extends decodeTo<ByteSize, String> {
  * A unit is required. Signs, exponent notation, digit separators, and ambiguous
  * unit spellings such as `KB`, `mb`, `Mb`, or `b` are rejected.
  *
+ * @stability unstable
  * @category schemas
  * @since 4.0.0
  */
@@ -10620,6 +10979,7 @@ export const ByteSizeFromString: ByteSizeFromString = ByteSizeString.pipe(
 /**
  * Type-level representation of {@link ByteSizeFromBigInt}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -10629,6 +10989,7 @@ export interface ByteSizeFromBigInt extends decodeTo<ByteSize, BigInt> {
 /**
  * Schema that decodes non-negative bigint byte counts.
  *
+ * @stability unstable
  * @category schemas
  * @since 4.0.0
  */
@@ -10638,6 +10999,7 @@ export const ByteSizeFromBigInt: ByteSizeFromBigInt = BigInt.pipe(
 /**
  * Type-level representation of {@link ByteSizeFromNumber}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -10651,6 +11013,7 @@ export interface ByteSizeFromNumber extends decodeTo<ByteSize, Number> {
  *
  * Encoding fails when the byte count exceeds `Number.MAX_SAFE_INTEGER`.
  *
+ * @stability unstable
  * @category schemas
  * @since 4.0.0
  */
@@ -10665,6 +11028,7 @@ export const ByteSizeFromNumber: ByteSizeFromNumber = Number.pipe(
 /**
  * Type-level representation returned by {@link CauseReason}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -10688,6 +11052,7 @@ export interface CauseReason<E extends Constraint, D extends Constraint> extends
  * Failures are represented with a `Fail` tag and encoded error, defects with a
  * `Die` tag and encoded defect, and interrupts with an optional `fiberId`.
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -10718,6 +11083,7 @@ export type CauseReasonIso<E extends Constraint, D extends Constraint> = {
  * @see {@link Cause} for constructing schemas for full Cause values
  * @see {@link CauseReasonIso} for the ISO shape of each cause reason
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -10807,6 +11173,7 @@ export function CauseReason<E extends Constraint, D extends Constraint>(
 /**
  * Type-level representation returned by {@link Cause}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -10834,6 +11201,7 @@ export interface Cause<E extends Constraint, D extends Constraint> extends
  * @see {@link Cause} for constructing schemas for full Cause values
  * @see {@link CauseReasonIso} for the ISO shape of each array element
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -10856,6 +11224,7 @@ export type CauseIso<E extends Constraint, D extends Constraint> = ReadonlyArray
  * @see {@link CauseReason} for the schema used by each individual cause reason
  * @see {@link CauseIso} for the ordered array representation used by the schema ISO
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -10914,6 +11283,7 @@ function chunkLink<Value>(values: Schema<ReadonlyArray<Value>>) {
 /**
  * Type-level representation returned by {@link Chunk}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -10939,6 +11309,7 @@ export interface Chunk<Value extends Constraint> extends
  *
  * @see {@link Chunk} for the schema interface and constructor that use this ISO representation
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -10946,6 +11317,7 @@ export type ChunkIso<Value extends Constraint> = ReadonlyArray<Value["Iso"]>
 /**
  * Schema for chunks whose values conform to the provided element schema.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -11128,6 +11500,7 @@ function timeZoneArbitrarySchema(): Codec<number | string> {
 /**
  * Type-level representation of {@link DateTimeUtc}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -11152,6 +11525,7 @@ export interface DateTimeUtc extends declare<DateTime.Utc> {
  * @see {@link DateTimeUtcFromMillis} for decoding epoch milliseconds into UTC values
  * @see {@link DateTimeZoned} for preserving zoned DateTime values
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -11190,6 +11564,7 @@ export const DateTimeUtc: DateTimeUtc = declare(
 /**
  * Type-level representation of {@link DateTimeUtcFromDate}.
  *
+ * @stability stable
  * @category models
  * @since 3.12.0
  */
@@ -11217,6 +11592,7 @@ export interface DateTimeUtcFromDate extends decodeTo<DateTimeUtc, Date> {
  * @see {@link DateTimeUtcFromMillis} for decoding epoch milliseconds into UTC values
  * @see {@link Date} for validating Date instances without converting them
  *
+ * @stability stable
  * @category schemas
  * @since 3.12.0
  */
@@ -11229,6 +11605,7 @@ export const DateTimeUtcFromDate: DateTimeUtcFromDate = Date.pipe(
 /**
  * Type-level representation of {@link DateTimeUtcFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -11253,6 +11630,7 @@ export interface DateTimeUtcFromString extends decodeTo<DateTimeUtc, String> {
  * @see {@link DateTimeUtcFromMillis} for decoding epoch milliseconds into UTC values
  * @see {@link DateFromString} for decoding strings into JavaScript Date instances
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -11267,6 +11645,7 @@ export const DateTimeUtcFromString: DateTimeUtcFromString = String.annotate({
 /**
  * Type-level representation of {@link DateTimeUtcFromMillis}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -11288,6 +11667,7 @@ export interface DateTimeUtcFromMillis extends decodeTo<instanceOf<DateTime.Utc>
  * @see {@link DateTimeUtcFromString} for decoding date-time strings into UTC values
  * @see {@link DateFromMillis} for decoding epoch milliseconds into JavaScript Date instances
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -11300,6 +11680,7 @@ export const DateTimeUtcFromMillis: DateTimeUtcFromMillis = Int.pipe(
 /**
  * Type-level representation of {@link TimeZoneOffset}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -11315,6 +11696,7 @@ export interface TimeZoneOffset extends declare<DateTime.TimeZone.Offset> {
  *
  * - encodes `DateTime.TimeZone.Offset` as a number (offset in milliseconds)
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -11342,6 +11724,7 @@ export const TimeZoneOffset: TimeZoneOffset = declare(
 /**
  * Type-level representation of {@link TimeZoneNamed}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -11358,6 +11741,7 @@ const TimeZoneNamedString = String.annotate({ expected: "an IANA time zone ident
  *
  * - encodes `DateTime.TimeZone.Named` as a string (IANA time zone identifier)
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -11390,6 +11774,7 @@ export const TimeZoneNamed: TimeZoneNamed = declare(
 /**
  * Type-level representation of {@link TimeZoneNamedFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -11407,6 +11792,7 @@ export interface TimeZoneNamedFromString extends decodeTo<TimeZoneNamed, String>
  * Encoding:
  * - A `DateTime.TimeZone.Named` is encoded as a `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -11416,6 +11802,7 @@ export const TimeZoneNamedFromString: TimeZoneNamedFromString = TimeZoneNamedStr
 /**
  * Type-level representation of {@link TimeZone}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -11435,6 +11822,7 @@ const TimeZoneString = String.annotate({
  * - encodes `DateTime.TimeZone` as a string (IANA identifier or offset like
  *   `+03:00`)
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -11469,6 +11857,7 @@ export const TimeZone: TimeZone = declare(
 /**
  * Type-level representation of {@link TimeZoneFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -11486,6 +11875,7 @@ export interface TimeZoneFromString extends decodeTo<TimeZone, String> {
  * Encoding:
  * - A `DateTime.TimeZone` is encoded as a `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -11495,6 +11885,7 @@ export const TimeZoneFromString: TimeZoneFromString = TimeZoneString.pipe(
 /**
  * Type-level representation of {@link DateTimeZoned}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -11516,6 +11907,7 @@ const DateTimeZonedString = String.annotate({
  * - encodes named zones by appending the IANA identifier in brackets, such as
  *   `YYYY-MM-DDTHH:mm:ss.sss+HH:MM[Time/Zone]`
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -11560,6 +11952,7 @@ export const DateTimeZoned: DateTimeZoned = declare(
 /**
  * Type-level representation of {@link DateTimeZonedFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -11577,6 +11970,7 @@ export interface DateTimeZonedFromString extends decodeTo<DateTimeZoned, String>
  * Encoding:
  * - A `DateTime.Zoned` is encoded as a `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -12982,6 +13376,7 @@ const durationFromMillis: SchemaTransformation.Transformation<Duration_.Duration
 /**
  * Type-level representation of {@link Duration}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -13004,6 +13399,7 @@ export interface Duration extends declare<Duration_.Duration> {
  * Schema.decodeUnknownSync(Schema.Duration)(Duration.seconds(5)) // => Duration.seconds(5)
  * ```
  *
+ * @stability stable
  * @category schemas
  *
  * @since 3.10.0
@@ -13062,6 +13458,7 @@ const DurationString = String.annotate({ expected: "a string that will be decode
 /**
  * Type-level representation of {@link DurationFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -13080,6 +13477,7 @@ export interface DurationFromString extends decodeTo<Duration, String> {
  * Encoding:
  * - A `Duration` is encoded as a parseable `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -13089,6 +13487,7 @@ export const DurationFromString: DurationFromString = DurationString.pipe(
 /**
  * Type-level representation of {@link DurationFromNanos}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -13109,6 +13508,7 @@ export interface DurationFromNanos extends decodeTo<Duration, BigInt> {
  * fails when the duration cannot be represented as nanoseconds, such as
  * `Duration.infinity` or `Duration.negativeInfinity`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -13118,6 +13518,7 @@ export const DurationFromNanos: DurationFromNanos = BigInt.pipe(
 /**
  * Type-level representation of {@link DurationFromMillis}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -13140,6 +13541,7 @@ export interface DurationFromMillis extends decodeTo<Duration, Number> {
  *
  * `NaN` is decoded as `Duration.zero`, matching `Duration.millis`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -13154,6 +13556,7 @@ export const DurationFromMillis: DurationFromMillis = Number.pipe(
 /**
  * Type-level representation returned by {@link Exit}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -13178,6 +13581,7 @@ export interface Exit<A extends Constraint, E extends Constraint, D extends Cons
  * Successful exits are represented as `{ _tag: "Success", value }`, while failed
  * exits are represented as `{ _tag: "Failure", cause }`.
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -13197,6 +13601,7 @@ export type ExitIso<A extends Constraint, E extends Constraint, D extends Constr
  * Use when serializing or validating an effect outcome where success, typed
  * failure, and defects each need their own schema.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -13284,6 +13689,7 @@ export function Exit<
 /**
  * Encoded representation of an immutable Effect graph.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -13291,6 +13697,7 @@ export type EncodedGraph<N, E, T extends Graph_.Kind> = Graph_.Snapshot<N, E, T>
 /**
  * Iso representation used for {@link Graph} schemas.
  *
+ * @stability unstable
  * @category utility types
  * @since 4.0.0
  */
@@ -13302,6 +13709,7 @@ export type GraphIso<T extends Graph_.Kind, Node extends Constraint, Edge extend
 /**
  * Type-level representation returned by {@link Graph}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -13480,6 +13888,7 @@ function graphToArbitrary<N, E, T extends Graph_.Kind>(
  * encoded.edges // => [{ index: 0, source: 0, target: 1, data: 1 }]
  * ```
  *
+ * @stability unstable
  * @category schemas
  * @since 4.0.0
  */
@@ -13563,6 +13972,7 @@ function hashMapLink<Key, Value>(entries: Schema<ReadonlyArray<readonly [Key, Va
 /**
  * Type-level representation returned by {@link HashMap}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -13582,6 +13992,7 @@ export interface HashMap<Key extends Constraint, Value extends Constraint> exten
  * Iso representation used for `HashMap` schemas: an array of readonly
  * `[key, value]` tuples using each entry schema's `Iso` type.
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -13591,6 +14002,7 @@ export type HashMapIso<Key extends Constraint, Value extends Constraint> = Reado
 /**
  * Schema for hash maps whose keys and values conform to the provided schemas.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -13658,6 +14070,7 @@ function hashSetLink<Value>(values: Schema<ReadonlyArray<Value>>) {
 /**
  * Type-level representation returned by {@link HashSet}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -13676,6 +14089,7 @@ export interface HashSet<Value extends Constraint> extends
  * Iso representation used for `HashSet` schemas: an array of element values
  * using the element schema's `Iso` type.
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -13683,6 +14097,7 @@ export type HashSetIso<Value extends Constraint> = ReadonlyArray<Value["Iso"]>
 /**
  * Schema for hash sets whose values conform to the provided element schema.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -13740,6 +14155,7 @@ export function HashSet<Value extends Constraint>(value: Value): HashSet<Value>
 /**
  * Type-level representation returned by {@link Option}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -13762,6 +14178,7 @@ export interface Option<A extends Constraint> extends
  * `None` is represented as `{ _tag: "None" }`, while `Some` is represented as
  * `{ _tag: "Some", value }` using the wrapped schema's `Iso` type.
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -13774,6 +14191,7 @@ export type OptionIso<A extends Constraint> = {
 /**
  * Schema for `Option<A>` values.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -13828,6 +14246,7 @@ export function Option<A extends Constraint>(value: A): Option<A> {
 /**
  * Type-level representation returned by {@link OptionFromNullOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -13842,6 +14261,7 @@ export interface OptionFromNullOr<S extends Constraint> extends decodeTo<Option<
  * Decoding maps `null` to `None` and all other values to `Some`. Encoding maps
  * `None` to `null` and maps `Some` to its value.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -13854,6 +14274,7 @@ export function OptionFromNullOr<S extends Constraint>(schema: S): OptionFromNul
 /**
  * Type-level representation returned by {@link OptionFromUndefinedOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -13869,6 +14290,7 @@ export interface OptionFromUndefinedOr<S extends Constraint> extends decodeTo<Op
  * Decoding maps `undefined` to `None` and all other values to `Some`. Encoding
  * maps `None` to `undefined` and maps `Some` to its value.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -13881,6 +14303,7 @@ export function OptionFromUndefinedOr<S extends Constraint>(schema: S): OptionFr
 /**
  * Type-level representation returned by {@link OptionFromNullishOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -13897,6 +14320,7 @@ export interface OptionFromNullishOr<S extends Constraint> extends decodeTo<Opti
  * `options.onNoneEncoding`, which defaults to `undefined`, and maps `Some` to
  * its value.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -14260,6 +14684,7 @@ export const RecordFromUrlParams: RecordFromUrlParams = UrlParams.pipe(
 /**
  * Type-level representation returned by {@link OptionFromOptionalKey}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -14274,6 +14699,7 @@ export interface OptionFromOptionalKey<S extends Constraint> extends decodeTo<Op
  * Decoding maps a missing key to `None` and a present value to `Some`.
  * Encoding maps `None` to a missing key and maps `Some` to its value.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -14286,6 +14712,7 @@ export function OptionFromOptionalKey<S extends Constraint>(schema: S): OptionFr
 /**
  * Type-level representation returned by {@link OptionFromOptional}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -14302,6 +14729,7 @@ export interface OptionFromOptional<S extends Constraint> extends decodeTo<Optio
  * maps all other values to `Some`. Encoding maps `None` to a missing key and
  * maps `Some` to its value.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -14314,6 +14742,7 @@ export function OptionFromOptional<S extends Constraint>(schema: S): OptionFromO
 /**
  * Type-level representation returned by {@link OptionFromOptionalNullOr}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -14333,6 +14762,7 @@ export interface OptionFromOptionalNullOr<S extends Constraint>
  * according to `options.onNoneEncoding`: `"omit"` encodes a missing key,
  * `null` encodes `null`, and `undefined` encodes `undefined`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -14364,6 +14794,7 @@ export function OptionFromOptionalNullOr<S extends Constraint>(
 /**
  * Type-level representation returned by {@link Redacted}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -14398,6 +14829,7 @@ type NormalizedRedactedOptions =
  *   sensitive and should not be exposed in JSON.
  *
  * @see {@link RedactedFromValue} for decoding raw values and wrapping them in `Redacted`.
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -14485,6 +14917,7 @@ export function Redacted<S extends Constraint>(value: S, options?: {
 /**
  * Type-level representation returned by {@link RedactedFromValue}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -14497,6 +14930,7 @@ export interface RedactedFromValue<S extends Constraint> extends decodeTo<Redact
  * the raw value and wraps it.
  *
  * @see {@link Redacted} for schemas whose input is already a `Redacted` value.
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -14528,6 +14962,7 @@ export function RedactedFromValue<S extends Constraint>(value: S, options?: {
 /**
  * Type-level representation returned by {@link Result}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -14551,6 +14986,7 @@ export interface Result<A extends Constraint, E extends Constraint> extends
  * Successful results are represented as `{ _tag: "Success", success }`, while
  * failed results are represented as `{ _tag: "Failure", failure }`.
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -14564,6 +15000,7 @@ export type ResultIso<A extends Constraint, E extends Constraint> = {
 /**
  * Schema for `Result<A, E>` values.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -14628,6 +15065,7 @@ export function Result<A extends Constraint, E extends Constraint>(
 /**
  * Type-level representation returned by {@link Class}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -14967,6 +15405,7 @@ function isStruct(schema: Struct.Fields | Struct<Struct.Fields>): schema is Stru
  * @see {@link Error} for defining schema-backed error classes
  * @see {@link TaggedError} for defining tagged schema-backed error classes
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -15037,6 +15476,7 @@ export const Class: {
    * @see {@link Error} for defining schema-backed error classes
    * @see {@link TaggedError} for defining tagged schema-backed error classes
    *
+   * @stability stable
    * @category constructors
    * @since 3.10.0
    */
@@ -15107,6 +15547,7 @@ export const Class: {
      * @see {@link Error} for defining schema-backed error classes
      * @see {@link TaggedError} for defining tagged schema-backed error classes
      *
+     * @stability stable
      * @category constructors
      * @since 3.10.0
      */
@@ -15180,6 +15621,7 @@ export const Class: {
      * @see {@link Error} for defining schema-backed error classes
      * @see {@link TaggedError} for defining tagged schema-backed error classes
      *
+     * @stability stable
      * @category constructors
      * @since 3.10.0
      */
@@ -15230,6 +15672,7 @@ export const Class: {
  * c.radius // => 5
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -15261,6 +15704,7 @@ export const TaggedClass: {
    * c.radius // => 5
    * ```
    *
+   * @stability stable
    * @category constructors
    * @since 3.10.0
    */
@@ -15292,6 +15736,7 @@ export const TaggedClass: {
      * c.radius // => 5
      * ```
      *
+     * @stability stable
      * @category constructors
      * @since 3.10.0
      */
@@ -15327,6 +15772,7 @@ export const TaggedClass: {
      * c.radius // => 5
      * ```
      *
+     * @stability stable
      * @category constructors
      * @since 3.10.0
      */
@@ -15379,6 +15825,7 @@ export const TaggedClass: {
  * error.id // => 1
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -15405,6 +15852,7 @@ export const Error: {
    * error.id // => 1
    * ```
    *
+   * @stability stable
    * @category constructors
    * @since 4.0.0
    */
@@ -15431,6 +15879,7 @@ export const Error: {
      * error.id // => 1
      * ```
      *
+     * @stability stable
      * @category constructors
      * @since 4.0.0
      */
@@ -15461,6 +15910,7 @@ export const Error: {
      * error.id // => 1
      * ```
      *
+     * @stability stable
      * @category constructors
      * @since 4.0.0
      */
@@ -15511,6 +15961,7 @@ export const Error: {
  * error.id // => 42
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -15541,6 +15992,7 @@ export const TaggedError: {
    * error.id // => 42
    * ```
    *
+   * @stability stable
    * @category constructors
    * @since 3.10.0
    */
@@ -15571,6 +16023,7 @@ export const TaggedError: {
      * error.id // => 42
      * ```
      *
+     * @stability stable
      * @category constructors
      * @since 3.10.0
      */
@@ -15606,6 +16059,7 @@ export const TaggedError: {
      * error.id // => 42
      * ```
      *
+     * @stability stable
      * @category constructors
      * @since 3.10.0
      */
@@ -15645,6 +16099,7 @@ export const TaggedError: {
  * The annotation is applied through this helper because adding it directly to
  * `Annotations.Bottom` would make schemas invariant.
  *
+ * @stability stable
  * @category formatting
  * @since 4.0.0
  */
@@ -15661,6 +16116,7 @@ export function overrideToFormatter<S extends Top>(toFormatter: () => Formatter<
  * The optional `onBefore` hook lets you intercept specific AST nodes before
  * the default formatting logic runs.
  *
+ * @stability stable
  * @category formatting
  * @since 4.0.0
  */
@@ -15680,6 +16136,7 @@ export function toFormatter<S extends Constraint>(schema: S, options?: {
  * Use when you need a custom equivalence instead of the default structural
  * equivalence derived by {@link toEquivalence}.
  *
+ * @stability stable
  * @category instances
  * @since 4.0.0
  */
@@ -15702,6 +16159,7 @@ export function overrideToEquivalence<S extends Top>(toEquivalence: () => Equiva
  * eq({ id: 1, name: "Alice" }, { id: 2, name: "Alice" }) // => false
  * ```
  *
+ * @stability stable
  * @category instances
  * @since 4.0.0
  */
@@ -15726,6 +16184,7 @@ export function toEquivalence<T>(schema: Schema<T>): Equivalence.Equivalence<T>
  *
  * @see {@link SchemaRepresentation.toRepresentation} for converting a `SchemaAST.AST` directly
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -15749,6 +16208,7 @@ export function toRepresentation(
  * `SchemaRepresentation.toJsonSchemaMultiDocument`, reference allocation has already happened and `referencePolicy`
  * has no effect.
  *
+ * @stability stable
  * @category options
  * @since 4.0.0
  */
@@ -15888,6 +16348,7 @@ export interface ToJsonSchemaOptions extends SchemaRepresentation.ToRepresentati
  * @see {@link toCodecJson} for decoding and encoding the canonical JSON representation
  * @see {@link SchemaRepresentation.toJsonSchemaDocument} for compiling an existing live representation document
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -15904,6 +16365,7 @@ export function toJsonSchemaDocument(
 /**
  * Type-level representation returned by {@link toCodecJson}.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -15949,6 +16411,7 @@ export interface toCodecJson<S extends Constraint> extends
  * checks and annotations remain on its source node rather than being copied to
  * the JSON target. Source checks still run after the transformation.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -15974,6 +16437,7 @@ export const toCodecJson: {
    * checks and annotations remain on its source node rather than being copied to
    * the JSON target. Source checks still run after the transformation.
    *
+   * @stability stable
    * @category converting
    * @since 4.0.0
    */
@@ -15993,6 +16457,7 @@ export const toCodecJson: {
  * Links cannot require services because the returned `Codec` does not expose
  * service requirements.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -16011,6 +16476,7 @@ export const toCodecIso: {
    * Links cannot require services because the returned `Codec` does not expose
    * service requirements.
    *
+   * @stability stable
    * @category converting
    * @since 4.0.0
    */
@@ -16020,6 +16486,7 @@ export const toCodecIso: {
  * A {@link Tree} of `string | undefined` nodes. Leaf values are either a
  * string representation or `undefined` for opaque/declaration types.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -16027,6 +16494,7 @@ export type StringTree = Tree<string | undefined>
 /**
  * Type-level representation returned by {@link toCodecStringTree}.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -16068,6 +16536,7 @@ export interface toCodecStringTree<S extends Constraint> extends
  * `toCodec` encoding. A callback can return `undefined` when the declaration is
  * already in canonical StringTree form.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -16089,6 +16558,7 @@ export const toCodecStringTree: {
    * `toCodec` encoding. A callback can return `undefined` when the declaration is
    * already in canonical StringTree form.
    *
+   * @stability stable
    * @category converting
    * @since 4.0.0
    */
@@ -16097,6 +16567,7 @@ export const toCodecStringTree: {
 /**
  * Type-level representation returned by {@link toCodecArrayFromSingle}.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -16135,6 +16606,7 @@ export interface toCodecArrayFromSingle<S extends Constraint> extends
  * decoding convenience rather than a canonical StringTree representation. It
  * does not parse comma-separated strings.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -16154,6 +16626,7 @@ export const toCodecArrayFromSingle: {
    * decoding convenience rather than a canonical StringTree representation. It
    * does not parse comma-separated strings.
    *
+   * @stability stable
    * @category converting
    * @since 4.0.0
    */
@@ -16180,6 +16653,7 @@ type XmlEncoderOptions = {
  * an `Effect` that succeeds with the XML string or fails with a
  * {@link SchemaIssue.Issue} if codec encoding fails.
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -16206,6 +16680,7 @@ export function toEncoderXml<T, RE>(
  * `SchemaIssue.makeFormatterDefault()`. Consume {@link toCodecIso} with an
  * effectful parser for asynchronous execution or explicit failure handling.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -16215,6 +16690,7 @@ export function toIso<S extends Constraint>(schema: S): Optic_.Iso<S["Type"], S[
 /**
  * Returns an identity `Iso` over the schema's source (`Type`) side.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -16224,6 +16700,7 @@ export function toIsoSource<S extends Constraint>(schema: S): Optic_.Iso<S["Type
 /**
  * Returns an identity `Iso` over the schema's focus (`Iso`) side.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -16233,6 +16710,7 @@ export function toIsoFocus<S extends Constraint>(schema: S): Optic_.Iso<S["Iso"]
 /**
  * Type-level representation returned by {@link overrideToCodecIso}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -16271,6 +16749,7 @@ export interface overrideToCodecIso<S extends Constraint, Iso> extends
  * provided `decode` and `encode` getters to transform between the schema type
  * and the target codec.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -16308,6 +16787,7 @@ export function overrideToCodecIso<S extends Constraint, Iso>(
  * `SchemaIssue.makeFormatterDefault()`. Invalid patch operations instead produce
  * {@link JsonPatch.apply} errors.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -16318,6 +16798,7 @@ export function toDifferJsonPatch<T>(schema: ConstraintCodec<T, unknown>): Diffe
  * Recursive tree type whose leaves are `Node` values and whose branches are
  * readonly arrays or string-keyed records of child trees.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -16326,6 +16807,7 @@ export type Tree<Node> = Node | TreeRecord<Node> | ReadonlyArray<Tree<Node>>
  * A record node in a {@link Tree}: an object mapping string keys to child
  * `Tree` nodes.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -16337,6 +16819,7 @@ export interface TreeRecord<A> {
  * The resulting schema accepts a single node value, an array of trees, or an
  * object whose values are trees.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -16360,6 +16843,7 @@ export function Tree<S extends Constraint>(node: S) {
  * readonly record of `string → Json`. For the corresponding schema, see the
  * {@link Json} const.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -16367,6 +16851,7 @@ export type Json = null | number | boolean | string | JsonArray | JsonObject
 /**
  * A readonly array of {@link Json} values.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -16374,6 +16859,7 @@ export interface JsonArray extends ReadonlyArray<Json> {}
 /**
  * A readonly record whose values are {@link Json} values.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -16391,6 +16877,7 @@ export interface JsonObject {
  * Schema.decodeUnknownOption(Schema.Json)({ key: [1, true, null] }) // => Option.some({ key: [1, true, null] })
  * ```
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -16417,6 +16904,7 @@ export const Json: Codec<Json> = make(SchemaAST.annotate(SchemaAST.Json, {
  * ```
  *
  * @see {@link Json} for a schema that also accepts JSON arrays and primitive values
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -16425,6 +16913,7 @@ export const JsonObject: $Record<String, Codec<Json, Json, never, never>> = Reco
  * Recursive TypeScript type for mutable JSON values: `null`, `number`,
  * `boolean`, `string`, mutable arrays, or mutable string-keyed records.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -16432,6 +16921,7 @@ export type MutableJson = null | number | boolean | string | MutableJsonArray |
 /**
  * A mutable array of {@link MutableJson} values.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -16439,6 +16929,7 @@ export interface MutableJsonArray extends Array<MutableJson> {}
 /**
  * A mutable record whose values are {@link MutableJson} values.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -16456,6 +16947,7 @@ const JsonError = Struct({
  * Schema that accepts any mutable JSON-compatible value. See {@link Json} for
  * the immutable variant.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -16471,6 +16963,7 @@ export const MutableJson: Codec<MutableJson> = make(SchemaAST.annotate(SchemaAST
  * annotations are taken from the last check; otherwise they are taken from
  * the base schema instance.
  *
+ * @stability stable
  * @category getters
  * @since 4.0.0
  */
@@ -16484,6 +16977,7 @@ export function resolveAnnotations<S extends Constraint>(
  * annotations are those attached via `annotateKey` and live on the AST's
  * `context` rather than on the schema node itself.
  *
+ * @stability stable
  * @category getters
  * @since 4.0.0
  */
@@ -16500,6 +16994,7 @@ export function resolveAnnotationsKey<S extends Constraint>(schema: S): Annotati
  * Use {@link resolveAnnotations} to read the annotations attached to a schema at
  * runtime.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */