effect 4.0.0 → 4.0.2

package/dist/Schema.d.ts

@@ -9,6 +9,7 @@
  * generation, formatting, equivalence, optics, and differs derived from schema
  * definitions.
  *
+ * @stability stable
  * @since 4.0.0
  */
 import * as BigDecimal_ from "./BigDecimal.ts";
@@ -59,6 +60,7 @@ declare const TypeId = "~effect/Schema/Schema";
  * @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
  */
@@ -68,6 +70,7 @@ export type Optionality = "required" | "optional";
  *
  * @see {@link mutableKey} — mark a struct field as mutable
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -78,6 +81,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
  */
@@ -93,6 +97,7 @@ export type ConstructorDefault = "no-default" | "with-default";
  * @see {@link BottomWithoutNew.makeEffect}
  * @see {@link BottomWithoutNew.make}
  *
+ * @stability stable
  * @category options
  * @since 3.13.4
  */
@@ -116,6 +121,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
  */
@@ -236,6 +242,7 @@ export interface BottomWithoutNew<out T, out E, out RD, out RE, out Ast extends
  *
  * @see {@link BottomWithoutNew} for the schema protocol without a construct signature
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -263,6 +270,7 @@ export interface Bottom<out T, out E, out RD, out RE, out Ast extends SchemaAST.
  * @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
  */
@@ -285,6 +293,7 @@ export interface BottomLazyWithoutNew<out Ast extends SchemaAST.AST, out Rebuild
  *
  * @see {@link BottomLazyWithoutNew} for the lazy schema protocol without a construct signature
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -294,6 +303,7 @@ export interface BottomLazy<out Ast extends SchemaAST.AST, out Rebuild extends T
 /**
  * Type-level representation returned by {@link declareConstructor}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -351,6 +361,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
  */
@@ -358,6 +369,7 @@ export declare function declareConstructor<T, E = T, Iso = T>(): <const TypePara
 /**
  * Type-level representation returned by {@link declare}.
  *
+ * @stability stable
  * @category constructors
  * @since 3.13.3
  */
@@ -393,6 +405,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
  */
@@ -423,6 +436,7 @@ export declare function declare<T, Iso = T>(is: (u: unknown) => u is T, annotati
  * type E = typeof bottom["Encoded"]  // string
  * ```
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -453,6 +467,7 @@ export declare function revealBottom<S extends Top>(bottom: S): Bottom<S["Type"]
  *
  * @see {@link annotateEncoded} to annotate the encoded side instead.
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -483,6 +498,7 @@ export declare function annotate<S extends Top>(annotations: Annotations.Bottom<
  *
  * @see {@link annotate} to annotate the type side instead.
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -515,6 +531,7 @@ export declare function annotateEncoded<S extends Top>(annotations: Annotations.
  * schema.fields.username.ast.context?.annotations?.messageMissingKey // => "Username is required"
  * ```
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -534,6 +551,7 @@ export declare function annotateKey<S extends Top>(annotations: Annotations.Key<
  * - {@link ConstraintDecoder}`<T, RD>` — for decode-only APIs
  * - {@link ConstraintEncoder}`<E, RE>` — for encode-only APIs
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -559,6 +577,7 @@ unknown, Mutability, Optionality, ConstructorDefault, Mutability, Optionality> {
  *
  * @see {@link Top} for the complete schema protocol.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -592,6 +611,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
  */
@@ -615,6 +635,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
  */
@@ -634,6 +655,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
  */
@@ -649,6 +671,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
  */
@@ -658,6 +681,7 @@ export interface ConstraintRebuildable extends Constraint {
 /**
  * Namespace of type-level helpers for {@link Schema}.
  *
+ * @stability stable
  * @since 3.10.0
  */
 export declare namespace Schema {
@@ -708,6 +732,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
  */
@@ -718,6 +743,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 {
@@ -810,6 +836,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
  */
@@ -832,6 +859,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
  */
@@ -854,6 +882,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
  */
@@ -885,6 +914,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
  */
@@ -904,6 +934,7 @@ export declare function revealCodec<T, E, RD, RE>(codec: Codec<T, E, RD, RE>): C
  * `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
  */
@@ -943,6 +974,7 @@ declare const SchemaError_base: new <A extends Record<string, any> = {}>(args: i
  * ```
  *
  * @see {@link isSchemaError} for narrowing unknown values
+ * @stability stable
  * @category errors
  * @since 4.0.0
  */
@@ -971,6 +1003,7 @@ export declare class SchemaError extends SchemaError_base<{
  * Schema.isSchemaError(error) // => true
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -1040,6 +1073,7 @@ export declare function isSchemaError(u: unknown): u is SchemaError;
  * invalidResult.issues?.map((issue) => issue.path) // => [["name"], ["age"]]
  * ```
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -1055,6 +1089,7 @@ export declare function toStandardSchemaV1<S extends ConstraintDecoder<unknown>>
  *
  * https://github.com/standard-schema/standard-schema/pull/134
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -1093,6 +1128,7 @@ export declare function toStandardJSONSchemaV1<S extends Constraint>(self: S): S
  * }
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -1142,6 +1178,7 @@ export declare const is: typeof SchemaParser.is;
  * }
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -1164,6 +1201,7 @@ export declare const asserts: <S extends Constraint, I>(schema: S, input: I) =>
  *
  * @see {@link SchemaParser.decodeUnknownEffect} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1186,6 +1224,7 @@ export declare function decodeUnknownEffect<S extends Constraint>(schema: S, opt
  *
  * @see {@link SchemaParser.decodeEffect} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1217,6 +1256,7 @@ export declare const decodeEffect: <S extends Constraint>(schema: S, options?: S
  *
  * @see {@link SchemaParser.decodeUnknownExit} for the adapter whose failure contains `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1248,6 +1288,7 @@ export declare function decodeUnknownExit<S extends ConstraintDecoder<unknown>>(
  *
  * @see {@link SchemaParser.decodeExit} for the adapter whose failure contains `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1275,6 +1316,7 @@ export declare const decodeExit: <S extends ConstraintDecoder<unknown>>(schema:
  * that contain defects, interruptions, or other non-schema reasons throw
  * instead.
  *
+ * @stability stable
  * @category decoding
  * @since 3.10.0
  */
@@ -1301,6 +1343,7 @@ export declare 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
  */
@@ -1331,6 +1374,7 @@ export declare const decodeOption: <S extends ConstraintDecoder<unknown>>(schema
  *
  * @see {@link SchemaParser.decodeUnknownResult} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1360,6 +1404,7 @@ export declare function decodeUnknownResult<S extends ConstraintDecoder<unknown>
  *
  * @see {@link SchemaParser.decodeResult} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1388,6 +1433,7 @@ export declare const decodeResult: <S extends ConstraintDecoder<unknown>>(schema
  *
  * @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
  */
@@ -1416,6 +1462,7 @@ export declare 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
  */
@@ -1454,6 +1501,7 @@ export declare const decodePromise: <S extends ConstraintDecoder<unknown>>(schem
  *
  * @see {@link SchemaParser.decodeUnknownSync} for the adapter that throws an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1481,6 +1529,7 @@ export declare function decodeUnknownSync<S extends ConstraintDecoder<unknown>>(
  *
  * @see {@link SchemaParser.decodeSync} for the adapter that throws an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -1513,6 +1562,7 @@ export declare const decodeSync: <S extends ConstraintDecoder<unknown>>(schema:
  *
  * @see {@link SchemaParser.encodeUnknownEffect} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1535,6 +1585,7 @@ export declare function encodeUnknownEffect<S extends Constraint>(schema: S, opt
  *
  * @see {@link SchemaParser.encodeEffect} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1565,6 +1616,7 @@ export declare const encodeEffect: <S extends Constraint>(schema: S, options?: S
  *
  * @see {@link SchemaParser.encodeUnknownExit} for the adapter whose failure contains `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1596,6 +1648,7 @@ export declare function encodeUnknownExit<S extends ConstraintEncoder<unknown>>(
  *
  * @see {@link SchemaParser.encodeExit} for the adapter whose failure contains `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1623,6 +1676,7 @@ export declare const encodeExit: <S extends ConstraintEncoder<unknown>>(schema:
  * that contain defects, interruptions, or other non-schema reasons throw
  * instead.
  *
+ * @stability stable
  * @category encoding
  * @since 3.10.0
  */
@@ -1649,6 +1703,7 @@ export declare 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
  */
@@ -1678,6 +1733,7 @@ export declare const encodeOption: <S extends ConstraintEncoder<unknown>>(schema
  *
  * @see {@link SchemaParser.encodeUnknownResult} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1707,6 +1763,7 @@ export declare function encodeUnknownResult<S extends ConstraintEncoder<unknown>
  *
  * @see {@link SchemaParser.encodeResult} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1734,6 +1791,7 @@ export declare const encodeResult: <S extends ConstraintEncoder<unknown>>(schema
  *
  * @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
  */
@@ -1762,6 +1820,7 @@ export declare 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
  */
@@ -1789,6 +1848,7 @@ export declare const encodePromise: <S extends ConstraintEncoder<unknown>>(schem
  *
  * @see {@link SchemaParser.encodeUnknownSync} for the adapter that throws an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1814,6 +1874,7 @@ export declare function encodeUnknownSync<S extends ConstraintEncoder<unknown>>(
  *
  * @see {@link SchemaParser.encodeSync} for the adapter that throws an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1832,6 +1893,7 @@ export declare const encodeSync: <S extends ConstraintEncoder<unknown>>(schema:
  * the bridge between the untyped AST representation and the strongly-typed
  * schema.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -1839,6 +1901,7 @@ export declare const make: <S extends Constraint>(ast: S["ast"], options?: objec
 /**
  * Checks whether a value is a `Schema`.
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -1846,6 +1909,7 @@ export declare function isSchema(u: unknown): u is Top;
 /**
  * Type-level representation returned by {@link optionalKey}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1882,6 +1946,7 @@ interface optionalKeyLambda extends Lambda {
  * type Person = typeof schema["Type"]
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -1898,6 +1963,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
  */
@@ -1905,6 +1971,7 @@ export declare const requiredKey: requiredKeyLambda;
 /**
  * Type-level representation returned by {@link optional}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -1941,6 +2008,7 @@ interface optionalLambda extends Lambda {
  * type Person = typeof schema.Type
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 3.10.0
  */
@@ -1961,6 +2029,7 @@ interface requiredLambda extends Lambda {
  *
  * This also unwraps the `UndefinedOr` member added by `optional`.
  *
+ * @stability stable
  * @category combinators
  * @since 3.10.0
  */
@@ -1968,6 +2037,7 @@ export declare const required: requiredLambda;
 /**
  * Type-level representation returned by {@link mutableKey}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1989,6 +2059,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
  */
@@ -2005,6 +2076,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
  */
@@ -2012,6 +2084,7 @@ export declare const readonlyKey: readonlyKeyLambda;
 /**
  * Type-level representation returned by {@link toType}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2033,6 +2106,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
  */
@@ -2040,6 +2114,7 @@ export declare const toType: toTypeLambda;
 /**
  * Type-level representation returned by {@link toEncoded}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2061,6 +2136,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
  */
@@ -2069,6 +2145,7 @@ declare const FlipTypeId = "~effect/Schema/flip";
 /**
  * Type-level representation returned by {@link flip}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2104,6 +2181,7 @@ export interface flip<S extends Top> extends BottomLazy<SchemaAST.AST, flip<S>,
  * Schema.decodeSync(flipped)(42) // => "42"
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2111,6 +2189,7 @@ export declare function flip<S extends Top>(schema: S): S extends flip<infer F>
 /**
  * Type-level representation returned by {@link Literal}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2134,6 +2213,7 @@ export interface Literal<L extends SchemaAST.LiteralValue> extends Bottom<L, L,
  * @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
  */
@@ -2141,6 +2221,7 @@ export declare function Literal<L extends SchemaAST.LiteralValue>(literal: L): L
 /**
  * Namespace for {@link TemplateLiteral} helper types.
  *
+ * @stability stable
  * @since 3.10.0
  */
 export declare namespace TemplateLiteral {
@@ -2197,6 +2278,7 @@ export declare namespace TemplateLiteral {
 /**
  * Type-level representation returned by {@link TemplateLiteral}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2235,6 +2317,7 @@ export interface TemplateLiteral<Parts extends TemplateLiteral.Parts> extends Bo
  * ```
  *
  * @see {@link TemplateLiteralParser} for a schema that also parses matched parts into a tuple.
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2242,6 +2325,7 @@ export declare function TemplateLiteral<const Parts extends TemplateLiteral.Part
 /**
  * Namespace for {@link TemplateLiteralParser} helper types.
  *
+ * @stability stable
  * @since 3.10.0
  */
 export declare namespace TemplateLiteralParser {
@@ -2265,6 +2349,7 @@ export declare namespace TemplateLiteralParser {
 /**
  * Type-level representation returned by {@link TemplateLiteralParser}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2310,6 +2395,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
  */
@@ -2317,6 +2403,7 @@ export declare function TemplateLiteralParser<const Parts extends TemplateLitera
 /**
  * Type-level representation returned by {@link Enum}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2347,6 +2434,7 @@ export interface Enum<A extends {
  * Schema.decodeSync(schema)(Direction.Up) // => "Up"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2356,6 +2444,7 @@ export declare function Enum<A extends {
 /**
  * Type-level representation of {@link Never}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2364,6 +2453,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
  */
@@ -2371,6 +2461,7 @@ export declare const Never: Never;
 /**
  * Type-level representation of {@link Any}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2380,6 +2471,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
  */
@@ -2387,6 +2479,7 @@ export declare const Any: Any;
 /**
  * Type-level representation of {@link Unknown}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2401,6 +2494,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
  */
@@ -2408,6 +2502,7 @@ export declare const Unknown: Unknown;
 /**
  * Type-level representation of {@link Null}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2417,6 +2512,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
  */
@@ -2424,6 +2520,7 @@ export declare const Null: Null;
 /**
  * Type-level representation of {@link Undefined}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2433,6 +2530,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
  */
@@ -2440,6 +2538,7 @@ export declare const Undefined: Undefined;
 /**
  * Type-level representation of {@link String}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2448,6 +2547,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
  */
@@ -2455,6 +2555,7 @@ export declare const String: String;
 /**
  * Type-level representation of {@link StringForLiteralAutocomplete}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2491,6 +2592,7 @@ export interface StringForLiteralAutocomplete extends Bottom<string & {}, string
  *
  * @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
  */
@@ -2498,6 +2600,7 @@ export declare const StringForLiteralAutocomplete: StringForLiteralAutocomplete;
 /**
  * Type-level representation of {@link Number}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2514,6 +2617,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
  */
@@ -2521,6 +2625,7 @@ export declare const Number: Number;
 /**
  * Type-level representation of {@link Boolean}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2535,6 +2640,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
  */
@@ -2542,6 +2648,7 @@ export declare const Boolean: Boolean;
 /**
  * Type-level representation of {@link Symbol}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2551,6 +2658,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
  */
@@ -2558,6 +2666,7 @@ export declare const Symbol: Symbol;
 /**
  * Type-level representation of {@link BigInt}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2573,6 +2682,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
  */
@@ -2580,6 +2690,7 @@ export declare const BigInt: BigInt;
 /**
  * Type-level representation of {@link Void}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2601,6 +2712,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
  */
@@ -2608,6 +2720,7 @@ export declare const Void: Void;
 /**
  * Type-level representation of {@link ObjectKeyword}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2617,6 +2730,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
  */
@@ -2624,6 +2738,7 @@ export declare const ObjectKeyword: ObjectKeyword;
 /**
  * Type-level representation returned by {@link UniqueSymbol}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2649,6 +2764,7 @@ export interface UniqueSymbol<sym extends symbol> extends Bottom<sym, sym, never
  * ```
  *
  * @see {@link Symbol} for a schema that accepts any symbol.
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2668,6 +2784,7 @@ export declare function UniqueSymbol<const sym extends symbol>(symbol: sym): Uni
  * - `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 {
@@ -2795,6 +2912,7 @@ export declare namespace Struct {
 /**
  * Type-level representation returned by {@link Struct}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2880,6 +2998,7 @@ export interface Struct<Fields extends Struct.Fields> extends BottomLazy<SchemaA
  * Schema.decodeUnknownSync(Person)({ name: "Alice", age: 30 }) // => { name: "Alice", age: 30 }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2913,6 +3032,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
  */
@@ -2920,6 +3040,7 @@ export declare function fieldsAssign<const NewFields extends Struct.Fields>(fiel
 /**
  * Type-level representation returned by {@link encodeKeys}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2954,6 +3075,7 @@ export interface encodeKeys<S extends Constraint & {
  * Schema.decodeUnknownSync(Encoded)({ full_name: "Alice", age: 30 }) // => { name: "Alice", age: 30 }
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2989,6 +3111,7 @@ export declare function encodeKeys<S extends Constraint & {
  * alice.fullName // => "Alice Smith"
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -3004,6 +3127,7 @@ export declare function extendTo<S extends Struct<Struct.Fields>, const Fields e
  * - `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 {
@@ -3146,6 +3270,7 @@ export declare namespace Record {
 /**
  * Type-level representation returned by {@link Record}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3195,6 +3320,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
  */
@@ -3207,6 +3333,7 @@ export declare 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 {
@@ -3334,6 +3461,7 @@ export declare namespace StructWithRest {
 /**
  * Type-level representation returned by {@link StructWithRest}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3373,6 +3501,7 @@ export interface StructWithRest<S extends StructWithRest.Objects, Records extend
  * type T = typeof schema.Type
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3387,6 +3516,7 @@ export declare function StructWithRest<const S extends StructWithRest.Objects, c
  * - `Tuple.Encoded<E>` — encoded tuple type
  * - `Tuple.MakeIn<E>` — constructor input tuple
  *
+ * @stability stable
  * @since 3.10.0
  */
 export declare namespace Tuple {
@@ -3484,6 +3614,7 @@ export declare namespace Tuple {
 /**
  * Type-level representation returned by {@link Tuple}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -3529,6 +3660,7 @@ export interface Tuple<Elements extends Tuple.Elements> extends BottomLazy<Schem
  * Schema.decodeUnknownSync(schema)(["hello", 42]) // => ["hello", 42]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -3543,6 +3675,7 @@ export declare function Tuple<const Elements extends ReadonlyArray<Constraint>>(
  * - `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 {
@@ -3652,6 +3785,7 @@ export declare namespace TupleWithRest {
 /**
  * Type-level representation returned by {@link TupleWithRest}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3691,6 +3825,7 @@ export interface TupleWithRest<S extends TupleWithRest.TupleType, Rest extends T
  * Schema.decodeUnknownSync(schema)(["hello", 1, true, false]) // => ["hello", 1, true, false]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3698,6 +3833,7 @@ export declare function TupleWithRest<S extends Tuple<Tuple.Elements>, const Res
 /**
  * Type-level representation returned by {@link Array}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3734,6 +3870,7 @@ export {
  * Schema.decodeUnknownSync(schema)(["a", "b", "c"]) // => ["a", "b", "c"]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3741,6 +3878,7 @@ ArraySchema as Array };
 /**
  * Type-level representation returned by {@link NonEmptyArray}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -3772,6 +3910,7 @@ interface NonEmptyArrayLambda extends Lambda {
  * Schema.decodeUnknownSync(schema)([1, 2, 3]) // => [1, 2, 3]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -3779,6 +3918,7 @@ export declare const NonEmptyArray: NonEmptyArrayLambda;
 /**
  * Type-level representation returned by {@link ArrayEnsure}.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -3808,6 +3948,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
  */
@@ -3815,6 +3956,7 @@ export declare function ArrayEnsure<S extends Constraint>(schema: S): ArrayEnsur
 /**
  * Type-level representation returned by {@link UniqueArray}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3829,6 +3971,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
  */
@@ -3836,6 +3979,7 @@ export declare function UniqueArray<S extends Constraint>(item: S): UniqueArray<
 /**
  * Type-level representation returned by {@link mutable}.
  *
+ * @stability stable
  * @category transforming
  * @since 3.10.0
  */
@@ -3882,6 +4026,7 @@ interface mutableLambda extends Lambda {
  * value // => [1, 2, 3]
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 3.10.0
  */
@@ -3889,6 +4034,7 @@ export declare const mutable: mutableLambda;
 /**
  * Type-level representation returned by {@link Union}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -3958,6 +4104,7 @@ export interface Union<Members extends ReadonlyArray<Constraint>> extends Bottom
  * Schema.decodeUnknownSync(schema)(42) // => 42
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -3965,6 +4112,7 @@ export declare function Union<const Members extends ReadonlyArray<Constraint>>(m
 /**
  * Type-level representation returned by {@link Literals}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3997,6 +4145,7 @@ export interface Literals<L extends ReadonlyArray<SchemaAST.LiteralValue>> exten
  * ```
  *
  * @see {@link Literal} for a schema that represents a single literal.
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -4004,6 +4153,7 @@ export declare function Literals<const L extends ReadonlyArray<SchemaAST.Literal
 /**
  * Type-level representation returned by {@link NullOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4017,6 +4167,7 @@ interface NullOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | null`.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4024,6 +4175,7 @@ export declare const NullOr: NullOrLambda;
 /**
  * Type-level representation returned by {@link UndefinedOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4037,6 +4189,7 @@ interface UndefinedOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | undefined`.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4044,6 +4197,7 @@ export declare const UndefinedOr: UndefinedOrLambda;
 /**
  * Type-level representation returned by {@link NullishOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4057,6 +4211,7 @@ interface NullishOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | null | undefined`.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4064,6 +4219,7 @@ export declare const NullishOr: NullishOrLambda;
 /**
  * Type-level representation returned by {@link suspend}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4098,6 +4254,7 @@ export interface suspend<S extends Constraint> extends BottomLazy<SchemaAST.Susp
  * Schema.decodeSync(Tree)({ value: 1, children: [] }) // => { value: 1, children: [] }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4118,6 +4275,7 @@ export declare function suspend<S extends Constraint>(f: () => S): suspend<S>;
  * Schema.is(AgeSchema)(121) // => false
  * ```
  *
+ * @stability stable
  * @category filtering
  * @since 4.0.0
  */
@@ -4125,6 +4283,7 @@ export declare function check<S extends Top>(...checks: readonly [SchemaAST.Chec
 /**
  * Type-level representation returned by {@link refine}.
  *
+ * @stability stable
  * @category filtering
  * @since 3.10.0
  */
@@ -4150,6 +4309,7 @@ export interface refine<T extends S["Type"], S extends Constraint> extends Botto
  * names type-level failures before the refinement runs; it does not name the
  * failed refinement itself.
  *
+ * @stability stable
  * @category filtering
  * @since 3.10.0
  */
@@ -4159,6 +4319,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
  */
@@ -4194,6 +4355,7 @@ export interface brand<S extends Constraint, B extends string> extends BottomLaz
  *
  * @see {@link fromBrand} for applying a Brand constructor's checks along with its branded type
  *
+ * @stability stable
  * @category branding
  * @since 3.10.0
  */
@@ -4214,6 +4376,7 @@ export declare function brand<B extends string>(identifier: B & EnsureSingleBran
  *
  * @see {@link brand} for adding a brand without constructor checks
  *
+ * @stability stable
  * @category branding
  * @since 3.10.0
  */
@@ -4223,6 +4386,7 @@ export declare function fromBrand<A extends Brand.Brand<any>>(identifier: Brand.
 /**
  * Type-level representation returned by {@link middlewareDecoding}.
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -4261,6 +4425,7 @@ export interface middlewareDecoding<S extends Constraint, RD> extends BottomLazy
  * ```
  *
  * @see {@link catchDecoding} for a simpler error-recovery variant
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -4268,6 +4433,7 @@ export declare function middlewareDecoding<S extends Constraint, RD>(decode: (ef
 /**
  * Type-level representation returned by {@link middlewareEncoding}.
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -4306,6 +4472,7 @@ export interface middlewareEncoding<S extends Constraint, RE> extends BottomLazy
  * ```
  *
  * @see {@link catchEncoding} for a simpler error-recovery variant
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -4330,6 +4497,7 @@ export declare function middlewareEncoding<S extends Constraint, RE>(encode: (ef
  * ```
  *
  * @see {@link catchDecodingWithContext} to add service requirements to the handler
+ * @stability stable
  * @category error handling
  * @since 4.0.0
  */
@@ -4351,6 +4519,7 @@ export declare function catchDecoding<S extends Constraint>(f: (issue: SchemaIss
  * @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
  */
@@ -4364,6 +4533,7 @@ export declare 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
  */
@@ -4385,6 +4555,7 @@ export declare function catchEncoding<S extends Constraint>(f: (issue: SchemaIss
  * @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
  */
@@ -4392,6 +4563,7 @@ export declare function catchEncodingWithContext<S extends Constraint, R = never
 /**
  * Type-level representation returned by {@link decodeTo}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -4409,6 +4581,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
  */
@@ -4458,6 +4631,7 @@ export interface compose<To extends Constraint, From extends Constraint> extends
  * Schema.decodeUnknownSync(NumberFromString)("123") // => 123
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -4505,6 +4679,7 @@ export declare function decodeTo<To extends Constraint, From extends Constraint,
  * Schema.decodeUnknownSync(Trimmed)("  hello  ") // => "hello"
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -4539,6 +4714,7 @@ export declare function decode<S extends Constraint, RD = never, RE = never>(tra
  * Schema.decodeSync(NumberFromString)("42") // => 42
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -4570,6 +4746,7 @@ export declare function encodeTo<To extends Constraint, From extends Constraint,
  * Schema.encodeSync(UpperFromLower)("hello") // => "HELLO"
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -4584,6 +4761,7 @@ export declare function encode<S extends Constraint, RD = never, RE = never>(tra
  *
  * Only schemas that satisfy this constraint can be passed to {@link withConstructorDefault}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -4593,6 +4771,7 @@ export interface WithoutConstructorDefault {
 /**
  * Type-level representation returned by {@link withConstructorDefault}.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4629,6 +4808,7 @@ export interface withConstructorDefault<S extends Constraint & WithoutConstructo
  * MySchema.make({}).name // => "anonymous"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4636,6 +4816,7 @@ export declare function withConstructorDefault<S extends Constraint & WithoutCon
 /**
  * Type-level representation returned by {@link withDecodingDefaultKey}.
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -4651,6 +4832,7 @@ export interface withDecodingDefaultKey<S extends Constraint, R = never> extends
  *   - `"passthrough"` (default): pass the value through during encoding
  *   - `"omit"`: omit the key from the encoded output
  *
+ * @stability stable
  * @category options
  * @since 4.0.0
  */
@@ -4687,6 +4869,7 @@ export type DecodingDefaultOptions = {
  *
  * @see {@link withDecodingDefault} for the value-level variant (key absent **or** `undefined`)
  * @see {@link withDecodingDefaultTypeKey} for the variant where the default is a `Type` value
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -4694,6 +4877,7 @@ export declare function withDecodingDefaultKey<S extends Constraint, R = never>(
 /**
  * Type-level representation returned by {@link withDecodingDefaultTypeKey}.
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -4719,6 +4903,7 @@ export interface withDecodingDefaultTypeKey<S extends Constraint, R = never> ext
  *
  * @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
  */
@@ -4726,6 +4911,7 @@ export declare function withDecodingDefaultTypeKey<S extends Constraint, R = nev
 /**
  * Type-level representation returned by {@link withDecodingDefault}.
  *
+ * @stability stable
  * @category decoding
  * @since 3.10.0
  */
@@ -4767,6 +4953,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
  */
@@ -4774,6 +4961,7 @@ export declare function withDecodingDefault<S extends Constraint, R = never>(def
 /**
  * Type-level representation returned by {@link withDecodingDefaultType}.
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -4804,6 +4992,7 @@ export interface withDecodingDefaultType<S extends Constraint, R = never> extend
  *
  * @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
  */
@@ -4811,6 +5000,7 @@ export declare function withDecodingDefaultType<S extends Constraint, R = never>
 /**
  * Type-level representation returned by {@link tag}.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4835,6 +5025,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
  */
@@ -4867,6 +5058,7 @@ export declare function tag<Tag extends SchemaAST.LiteralValue>(literal: Tag): t
  * ```
  *
  * @see {@link tag} for the variant that keeps the tag during encoding
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -4874,6 +5066,7 @@ export declare function tagDefaultOmit<Tag extends SchemaAST.LiteralValue>(liter
 /**
  * Type-level representation returned by {@link TaggedStruct}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4924,6 +5117,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
  */
@@ -4945,6 +5139,10 @@ type TaggedUnionUtils<Tag extends PropertyKey, Members extends ReadonlyArray<Con
         readonly [K in Tag]: PropertyKey;
     };
 }> = Flatten<Members>> = {
+    /**
+     * Property key used to discriminate union members.
+     */
+    readonly tag: Tag;
     /**
      * Discriminant values in flattened member order.
      */
@@ -4988,6 +5186,7 @@ type TaggedUnionUtils<Tag extends PropertyKey, Members extends ReadonlyArray<Con
 /**
  * Type-level representation returned by {@link toTaggedUnion}.
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -5023,6 +5222,7 @@ export type toTaggedUnion<Tag extends PropertyKey, Members extends ReadonlyArray
  * ```
  *
  * @see {@link TaggedUnion} for a shorthand that builds the union from scratch
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -5032,6 +5232,7 @@ export declare function toTaggedUnion<const Tag extends PropertyKey>(tag: Tag):
 /**
  * Type-level representation returned by {@link TaggedUnion}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -5057,6 +5258,7 @@ export interface TaggedUnion<Cases extends Record<string, Constraint>> extends B
     readonly "Iso": {
         [K in keyof Cases]: Cases[K]["Type"];
     }[keyof Cases];
+    readonly tag: "_tag";
     readonly cases: Cases;
     readonly isAnyOf: <const Keys>(keys: ReadonlyArray<Keys>) => (value: Cases[keyof Cases]["Type"]) => value is Extract<Cases[keyof Cases]["Type"], {
         _tag: Keys;
@@ -5084,7 +5286,7 @@ export interface TaggedUnion<Cases extends Record<string, Constraint>> extends B
 /**
  * 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)
  *
@@ -5105,6 +5307,7 @@ export interface TaggedUnion<Cases extends Record<string, Constraint>> extends B
  * ```
  *
  * @see {@link toTaggedUnion} to augment an existing union instead
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -5114,6 +5317,7 @@ export declare function TaggedUnion<const CasesByTag extends Record<string, Stru
 /**
  * Type-level representation returned by {@link Opaque}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -5148,6 +5352,7 @@ export interface Opaque<Self, S extends Top, Brand> extends BottomLazyWithoutNew
  * person.name // => "Alice"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -5155,6 +5360,7 @@ export declare function Opaque<Self, Brand = {}>(): <S extends Top>(schema: S) =
 /**
  * Type-level representation returned by {@link instanceOf}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -5176,6 +5382,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
  */
@@ -5184,6 +5391,7 @@ export declare function instanceOf<C extends abstract new (...args: any) => any,
  * 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
  */
@@ -5246,6 +5454,7 @@ export declare function link<T>(): <To extends Constraint>(encodeTo: To, transfo
  * }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -5266,6 +5475,7 @@ export declare const makeFilter: <T>(filter: (input: T, ast: SchemaAST.AST, opti
  *   `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
  */
@@ -5293,6 +5503,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
  */
@@ -5301,6 +5512,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
  */
@@ -5320,6 +5532,7 @@ export declare function makeFilterGroup<T>(checks: readonly [SchemaAST.Check<T>,
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the trimmed pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5340,6 +5553,7 @@ export declare function isTrimmed(annotations?: Annotations.Filter): SchemaAST.F
  * 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
  */
@@ -5359,6 +5573,7 @@ export declare function isPattern(regExp: globalThis.RegExp, annotations?: Annot
  * 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
  */
@@ -5377,6 +5592,7 @@ export declare function isStringFinite(annotations?: Annotations.Filter): Schema
  * This check corresponds to a `pattern` constraint with the same signed
  * base-10 integer pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5390,6 +5606,7 @@ export declare function isStringBigInt(annotations?: Annotations.Filter): Schema
  * 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
  */
@@ -5421,6 +5638,7 @@ export declare function isStringSymbol(annotations?: Annotations.Filter): Schema
  * 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
  */
@@ -5446,6 +5664,7 @@ export declare function isUUID(version?: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8, annotati
  * constraint to ensure generated strings match the GUID pattern.
  *
  * @see {@link isUUID} for strict UUID validation.
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5466,6 +5685,7 @@ export declare function isGUID(annotations?: Annotations.Filter): SchemaAST.Filt
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the ULID pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5485,6 +5705,7 @@ export declare function isULID(annotations?: Annotations.Filter): SchemaAST.Filt
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the Base64 pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5505,6 +5726,7 @@ export declare function isBase64(annotations?: Annotations.Filter): SchemaAST.Fi
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the Base64URL pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5518,6 +5740,7 @@ export declare function isBase64Url(annotations?: Annotations.Filter): SchemaAST
  * 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
  */
@@ -5531,6 +5754,7 @@ export declare function isStartingWith(startsWith: string, annotations?: Annotat
  * 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
  */
@@ -5545,6 +5769,7 @@ export declare function isEndingWith(endsWith: string, annotations?: Annotations
  * omitted from the JSON Schema pattern so Unicode matching cannot reject a
  * valid string.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5558,6 +5783,7 @@ export declare function isIncluding(includes: string, annotations?: Annotations.
  * such as digits, punctuation, and whitespace. It rejects strings that would
  * change when uppercased.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5571,6 +5797,7 @@ export declare function isUppercased(annotations?: Annotations.Filter): SchemaAS
  * such as digits, punctuation, and whitespace. It rejects strings that would
  * change when lowercased.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5584,6 +5811,7 @@ export declare function isLowercased(annotations?: Annotations.Filter): SchemaAS
  * 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
  */
@@ -5597,6 +5825,7 @@ export declare function isCapitalized(annotations?: Annotations.Filter): SchemaA
  * 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
  */
@@ -5604,6 +5833,7 @@ export declare function isUncapitalized(annotations?: Annotations.Filter): Schem
 /**
  * Type-level representation of {@link Finite}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -5613,6 +5843,7 @@ export interface Finite extends Number {
 /**
  * Schema for finite numbers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -5631,6 +5862,7 @@ export declare const Finite: Finite;
  *
  * During arbitrary generation, this applies a finite-number constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5639,6 +5871,7 @@ export declare const isFinite: (annotations?: Annotations.Filter) => SchemaAST.F
  * Creates a greater-than (`>`) check for any ordered type from an
  * `Order.Order` instance.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5651,6 +5884,7 @@ export declare 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
  */
@@ -5663,6 +5897,7 @@ export declare 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
  */
@@ -5675,6 +5910,7 @@ export declare 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
  */
@@ -5687,6 +5923,7 @@ export declare 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
  */
@@ -5709,6 +5946,7 @@ export declare 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
  */
@@ -5733,6 +5971,7 @@ export declare function makeIsMultipleOf<T>(options: {
  * `exclusiveMinimum` constraint to ensure generated numbers are greater than
  * the specified value.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5752,6 +5991,7 @@ export declare const isGreaterThan: (exclusiveMinimum: number, annotations?: Ann
  * 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
  */
@@ -5771,6 +6011,7 @@ export declare const isGreaterThanOrEqualTo: (minimum: number, annotations?: Ann
  * `exclusiveMaximum` constraint to ensure generated numbers are less than the
  * specified value.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5790,6 +6031,7 @@ export declare const isLessThan: (exclusiveMaximum: number, annotations?: Annota
  * 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
  */
@@ -5812,6 +6054,7 @@ export declare const isLessThanOrEqualTo: (maximum: number, annotations?: Annota
  * `exclusiveMaximum` flags to ensure generated numbers fall within the
  * specified range.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5836,6 +6079,7 @@ export declare const isBetween: (options: {
  *
  * Throws a `RangeError` when `divisor` is zero or is not finite.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5854,6 +6098,7 @@ export declare function isMultipleOf(divisor: number, annotations?: Annotations.
  *
  * During arbitrary generation, this applies an integer constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5861,6 +6106,7 @@ export declare function isInt(annotations?: Annotations.Filter): SchemaAST.Filte
 /**
  * Type-level representation of {@link Int}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -5870,6 +6116,7 @@ export interface Int extends Number {
 /**
  * Schema for integers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -5877,6 +6124,7 @@ export declare const Int: Int;
 /**
  * Type-level representation of {@link Natural}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -5892,6 +6140,7 @@ export interface Natural extends Int {
  *
  * @see {@link Int} for safe integers that may be negative
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -5912,6 +6161,7 @@ export declare const Natural: Natural;
  * 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
  */
@@ -5932,6 +6182,7 @@ export declare function isInt32(annotations?: Annotations.Filter): SchemaAST.Fil
  * 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
  */
@@ -5945,6 +6196,7 @@ export declare function isUint32(annotations?: Annotations.Filter): SchemaAST.Fi
  *
  * During arbitrary generation, this applies an exclusive lower bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5964,6 +6216,7 @@ export declare const isGreaterThanDate: (exclusiveMinimum: globalThis.Date, anno
  *
  * During arbitrary generation, this applies an inclusive lower bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5977,6 +6230,7 @@ export declare const isGreaterThanOrEqualToDate: (minimum: globalThis.Date, anno
  *
  * During arbitrary generation, this applies an exclusive upper bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5996,6 +6250,7 @@ export declare const isLessThanDate: (exclusiveMaximum: globalThis.Date, annotat
  *
  * During arbitrary generation, this applies an inclusive upper bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6015,6 +6270,7 @@ export declare const isLessThanOrEqualToDate: (maximum: globalThis.Date, annotat
  *
  * During arbitrary generation, this applies the specified lower and upper bounds.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6033,6 +6289,7 @@ export declare const isBetweenDate: (options: {
  *
  * During arbitrary generation, this applies an exclusive lower bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6047,6 +6304,7 @@ export declare const isGreaterThanBigInt: (exclusiveMinimum: bigint, annotations
  *
  * During arbitrary generation, this applies an inclusive lower bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6060,6 +6318,7 @@ export declare const isGreaterThanOrEqualToBigInt: (minimum: bigint, annotations
  *
  * During arbitrary generation, this applies an exclusive upper bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6074,6 +6333,7 @@ export declare const isLessThanBigInt: (exclusiveMaximum: bigint, annotations?:
  *
  * During arbitrary generation, this applies an inclusive upper bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6088,6 +6348,7 @@ export declare const isLessThanOrEqualToBigInt: (maximum: bigint, annotations?:
  *
  * During arbitrary generation, this applies the specified lower and upper bounds.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6128,6 +6389,7 @@ export declare const isBetweenBigInt: (options: {
  * Schema.is(NonEmptyArraySchema)([1]) // => true
  * ```
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6150,6 +6412,7 @@ export declare function isMinLength(minLength: number, annotations?: 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
  */
@@ -6175,6 +6438,7 @@ export declare function isNonEmpty(annotations?: Annotations.Filter): SchemaAST.
  * constraint to ensure generated strings or arrays have at most the required
  * length.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6201,6 +6465,7 @@ export declare function isMaxLength(maxLength: number, annotations?: Annotations
  * `maxLength` constraints to ensure generated strings or arrays have a length
  * within the specified range.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6225,6 +6490,7 @@ export declare function isBetweenLength(minimum: number, maximum: number, annota
  * @see {@link isMinLength} for counting UTF-16 code units
  * @see {@link isMaxCodePoints}
  * @see {@link isBetweenCodePoints}
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6247,6 +6513,7 @@ export declare function isMinCodePoints(minCodePoints: number, annotations?: Ann
  * @see {@link isMaxLength} for counting UTF-16 code units
  * @see {@link isMinCodePoints}
  * @see {@link isBetweenCodePoints}
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6269,6 +6536,7 @@ export declare function isMaxCodePoints(maxCodePoints: number, annotations?: Ann
  * @see {@link isBetweenLength} for counting UTF-16 code units
  * @see {@link isMinCodePoints}
  * @see {@link isMaxCodePoints}
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6290,6 +6558,7 @@ export declare function isBetweenCodePoints(minimum: number, maximum: number, an
  *
  * During arbitrary generation, this applies a node-local `minSize` constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6313,6 +6582,7 @@ export declare function isMinSize(minSize: number, annotations?: Annotations.Fil
  *
  * During arbitrary generation, this applies a node-local `maxSize` constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6336,6 +6606,7 @@ export declare function isMaxSize(maxSize: number, annotations?: Annotations.Fil
  *
  * During arbitrary generation, this applies node-local `minSize` and `maxSize` constraints.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6362,6 +6633,7 @@ export declare function isBetweenSize(minimum: number, maximum: number, annotati
  *
  * During arbitrary generation, this applies a node-local `minProperties` constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6385,6 +6657,7 @@ export declare function isMinProperties(minProperties: number, annotations?: Ann
  *
  * During arbitrary generation, this applies a node-local `maxProperties` constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6408,6 +6681,7 @@ export declare function isMaxProperties(maxProperties: number, annotations?: Ann
  *
  * During arbitrary generation, this applies node-local `minProperties` and `maxProperties` constraints.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6427,6 +6701,7 @@ export declare function isBetweenProperties(minimum: number, maximum: number, an
  * names in the original input. Property transformations and excess-property
  * handling can therefore produce different results.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6443,6 +6718,7 @@ export declare function isPropertyNames(keySchema: Constraint, annotations?: Ann
  * During arbitrary generation, this applies a node-local identity selector
  * for constructive uniqueness using Effect equality.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6459,6 +6735,7 @@ export declare function isUnique<T>(annotations?: Annotations.Filter): SchemaAST
  * 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
  */
@@ -6466,6 +6743,7 @@ export declare function isUniqueKey<Key, Value>(annotations?: Annotations.Filter
 /**
  * Type-level representation of {@link NonEmptyString}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -6476,6 +6754,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
  */
@@ -6483,6 +6762,7 @@ export declare const NonEmptyString: NonEmptyString;
 /**
  * Type-level representation of {@link Char}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -6505,6 +6785,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
  */
@@ -6512,6 +6793,7 @@ export declare const Char: Char;
 /**
  * Type-level representation of {@link ErrorInstance}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6521,6 +6803,7 @@ export interface ErrorInstance extends instanceOf<globalThis.Error> {
 /**
  * Options for {@link ErrorInstance} and {@link Defect}.
  *
+ * @stability stable
  * @category options
  * @since 4.0.0
  */
@@ -6551,6 +6834,7 @@ export interface ErrorOptions {
  * 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
  */
@@ -6558,6 +6842,7 @@ export declare function ErrorInstance(options?: ErrorOptions): ErrorInstance;
 /**
  * Type-level representation of {@link Defect}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -6602,6 +6887,7 @@ export interface Defect extends decodeTo<Unknown, typeof Json> {
  *   string representation.
  *
  * @see {@link ErrorInstance} for a schema that only accepts JavaScript `Error` values.
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -6609,6 +6895,7 @@ export declare function Defect(options?: ErrorOptions): Defect;
 /**
  * Type-level representation returned by {@link ReadonlyMap}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6621,6 +6908,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
  */
@@ -6629,6 +6917,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
  */
@@ -6636,6 +6925,7 @@ export declare function ReadonlyMap<Key extends Constraint, Value extends Constr
 /**
  * Type-level representation returned by {@link ReadonlySet}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6647,6 +6937,7 @@ export interface $ReadonlySet<Value extends Constraint> extends declareConstruct
  * 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
  */
@@ -6654,6 +6945,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
  */
@@ -6661,6 +6953,7 @@ export declare function ReadonlySet<Value extends Constraint>(value: Value): $Re
 /**
  * Type-level representation of {@link RegExp}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6674,6 +6967,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
  */
@@ -6681,6 +6975,7 @@ export declare const RegExp: RegExp;
 /**
  * Type-level representation of {@link URL}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6696,6 +6991,7 @@ export interface URL extends instanceOf<globalThis.URL> {
  *
  * - encodes `URL` as a `string`
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -6703,6 +6999,7 @@ export declare const URL: URL;
 /**
  * Type-level representation of {@link URLFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6720,6 +7017,7 @@ export interface URLFromString extends decodeTo<URL, String> {
  * Encoding:
  * - A `URL` is encoded as a `string`
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -6727,6 +7025,7 @@ export declare const URLFromString: URLFromString;
 /**
  * Type-level representation of {@link Date}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6758,6 +7057,7 @@ export interface Date extends declare<globalThis.Date> {
  * @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
  */
@@ -6765,6 +7065,7 @@ export declare const Date: Date;
 /**
  * Type-level representation of {@link DateFromString}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -6793,6 +7094,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
  */
@@ -6800,6 +7102,7 @@ export declare const DateFromString: DateFromString;
 /**
  * Type-level representation of {@link DateFromMillis}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6831,6 +7134,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
  */
@@ -6838,6 +7142,7 @@ export declare const DateFromMillis: DateFromMillis;
 /**
  * Type-level representation returned by {@link fromJsonString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6870,6 +7175,7 @@ export interface fromJsonString<S extends Constraint> extends decodeTo<S, String
  * Schema.encodeSync(schemaFromJsonString)({ a: 1 }) // => "{\n  \"a\": 1\n}"
  * ```
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -6881,6 +7187,7 @@ export declare function fromJsonString<S extends Constraint>(schema: S, options?
 /**
  * Type-level representation of {@link File}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6895,6 +7202,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
  */
@@ -6902,6 +7210,7 @@ export declare const File: File;
 /**
  * Type-level representation of {@link FormData}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6916,6 +7225,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
  */
@@ -6923,6 +7233,7 @@ export declare const FormData: FormData;
 /**
  * Type-level representation returned by {@link fromFormData}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7008,6 +7319,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
  */
@@ -7015,6 +7327,7 @@ export declare function fromFormData<S extends Constraint>(schema: S): fromFormD
 /**
  * Type-level representation of {@link URLSearchParams}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7028,6 +7341,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
  */
@@ -7035,6 +7349,7 @@ export declare const URLSearchParams: URLSearchParams;
 /**
  * Type-level representation returned by {@link fromURLSearchParams}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7115,6 +7430,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
  */
@@ -7122,6 +7438,7 @@ export declare function fromURLSearchParams<S extends Constraint>(schema: S): fr
 /**
  * Type-level representation of {@link NumberFromString}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7142,6 +7459,7 @@ export interface NumberFromString extends decodeTo<Number, String> {
  * Encoding:
  * A number is encoded as a `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -7149,6 +7467,7 @@ export declare const NumberFromString: NumberFromString;
 /**
  * Type-level representation of {@link FiniteFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7167,6 +7486,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
  */
@@ -7174,6 +7494,7 @@ export declare const FiniteFromString: FiniteFromString;
 /**
  * Type-level representation of {@link BigIntFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7205,6 +7526,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
  */
@@ -7212,6 +7534,7 @@ export declare const BigIntFromString: BigIntFromString;
 /**
  * Type-level representation of {@link Trimmed}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7221,6 +7544,7 @@ export interface Trimmed extends String {
 /**
  * Schema for strings that contains no leading or trailing whitespaces.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -7228,6 +7552,7 @@ export declare const Trimmed: Trimmed;
 /**
  * Type-level representation of {@link Trim}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7245,6 +7570,7 @@ export interface Trim extends decodeTo<Trimmed, String> {
  * Encoding:
  * - The trimmed string is encoded as is.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -7252,6 +7578,7 @@ export declare const Trim: Trim;
 /**
  * Type-level representation of {@link StringFromBase64}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7269,6 +7596,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
  */
@@ -7276,6 +7604,7 @@ export declare const StringFromBase64: StringFromBase64;
 /**
  * Type-level representation of {@link StringFromBase64Url}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7293,6 +7622,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
  */
@@ -7300,6 +7630,7 @@ export declare const StringFromBase64Url: StringFromBase64Url;
 /**
  * Type-level representation of {@link StringFromHex}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7317,6 +7648,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
  */
@@ -7324,6 +7656,7 @@ export declare const StringFromHex: StringFromHex;
 /**
  * Type-level representation of {@link StringFromUriComponent}.
  *
+ * @stability stable
  * @category models
  * @since 3.12.0
  */
@@ -7359,6 +7692,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
  */
@@ -7367,6 +7701,7 @@ export declare const StringFromUriComponent: StringFromUriComponent;
  * Schema for property keys accepted by Effect schemas: finite `number`,
  * `symbol`, or `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -7379,6 +7714,7 @@ export declare const PropertyKey: Union<readonly [Finite, Symbol, String]>;
  * 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
  */
@@ -7396,6 +7732,7 @@ export declare const StandardSchemaV1FailureResult: Struct<{
 /**
  * Type-level representation of {@link BooleanFromBit}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7418,6 +7755,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
  */
@@ -7425,6 +7763,7 @@ export declare const BooleanFromBit: BooleanFromBit;
 /**
  * Type-level representation of {@link Uint8Array}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7440,6 +7779,7 @@ export interface Uint8Array extends instanceOf<globalThis.Uint8Array<ArrayBuffer
  *
  * The default JSON serializer encodes Uint8Array as a Base64 encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -7447,6 +7787,7 @@ export declare const Uint8Array: Uint8Array;
 /**
  * Type-level representation of {@link Uint8ArrayFromBase64}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7465,6 +7806,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
  */
@@ -7472,6 +7814,7 @@ export declare const Uint8ArrayFromBase64: Uint8ArrayFromBase64;
 /**
  * Type-level representation of {@link Uint8ArrayFromBase64Url}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7490,6 +7833,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
  */
@@ -7497,6 +7841,7 @@ export declare const Uint8ArrayFromBase64Url: Uint8ArrayFromBase64Url;
 /**
  * Type-level representation of {@link Uint8ArrayFromHex}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7515,6 +7860,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
  */
@@ -7522,6 +7868,7 @@ export declare const Uint8ArrayFromHex: Uint8ArrayFromHex;
 /**
  * Validates that a BigDecimal is greater than the specified value (exclusive).
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7530,6 +7877,7 @@ export declare const isGreaterThanBigDecimal: (exclusiveMinimum: BigDecimal_.Big
  * Validates that a BigDecimal is greater than or equal to the specified value
  * (inclusive).
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7537,6 +7885,7 @@ export declare const isGreaterThanOrEqualToBigDecimal: (minimum: BigDecimal_.Big
 /**
  * Validates that a BigDecimal is less than the specified value (exclusive).
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7545,6 +7894,7 @@ export declare const isLessThanBigDecimal: (exclusiveMaximum: BigDecimal_.BigDec
  * Validates that a BigDecimal is less than or equal to the specified value
  * (inclusive).
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -7557,6 +7907,7 @@ export declare const isLessThanOrEqualToBigDecimal: (maximum: BigDecimal_.BigDec
  * 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
  */
@@ -7569,6 +7920,7 @@ export declare const isBetweenBigDecimal: (options: {
 /**
  * Type-level representation of {@link BigDecimal}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7591,6 +7943,7 @@ export interface BigDecimal extends declare<BigDecimal_.BigDecimal> {
  *
  * @see {@link BigDecimalFromString} for parsing string input into a BigDecimal
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -7598,6 +7951,7 @@ export declare const BigDecimal: BigDecimal;
 /**
  * Type-level representation of {@link BigDecimalFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7628,6 +7982,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
  */
@@ -7635,6 +7990,7 @@ export declare const BigDecimalFromString: BigDecimalFromString;
 /**
  * Type-level representation of {@link ByteSize}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -7650,6 +8006,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
  */
@@ -7657,6 +8014,7 @@ export declare const ByteSize: ByteSize;
 /**
  * Type-level representation of {@link ByteSizeFromString}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -7689,6 +8047,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
  */
@@ -7696,6 +8055,7 @@ export declare const ByteSizeFromString: ByteSizeFromString;
 /**
  * Type-level representation of {@link ByteSizeFromBigInt}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -7705,6 +8065,7 @@ export interface ByteSizeFromBigInt extends decodeTo<ByteSize, BigInt> {
 /**
  * Schema that decodes non-negative bigint byte counts.
  *
+ * @stability unstable
  * @category schemas
  * @since 4.0.0
  */
@@ -7712,6 +8073,7 @@ export declare const ByteSizeFromBigInt: ByteSizeFromBigInt;
 /**
  * Type-level representation of {@link ByteSizeFromNumber}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -7725,6 +8087,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
  */
@@ -7732,6 +8095,7 @@ export declare const ByteSizeFromNumber: ByteSizeFromNumber;
 /**
  * Type-level representation returned by {@link CauseReason}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7748,6 +8112,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
  */
@@ -7778,6 +8143,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
  */
@@ -7785,6 +8151,7 @@ export declare function CauseReason<E extends Constraint, D extends Constraint>(
 /**
  * Type-level representation returned by {@link Cause}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7805,6 +8172,7 @@ export interface Cause<E extends Constraint, D extends Constraint> extends decla
  * @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
  */
@@ -7827,6 +8195,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
  */
@@ -7834,6 +8203,7 @@ export declare function Cause<E extends Constraint, D extends Constraint>(error:
 /**
  * Type-level representation returned by {@link Chunk}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7852,6 +8222,7 @@ export interface Chunk<Value extends Constraint> extends declareConstructor<Chun
  *
  * @see {@link Chunk} for the schema interface and constructor that use this ISO representation
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -7859,6 +8230,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
  */
@@ -7866,6 +8238,7 @@ export declare function Chunk<Value extends Constraint>(value: Value): Chunk<Val
 /**
  * Type-level representation of {@link DateTimeUtc}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7890,6 +8263,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
  */
@@ -7897,6 +8271,7 @@ export declare const DateTimeUtc: DateTimeUtc;
 /**
  * Type-level representation of {@link DateTimeUtcFromDate}.
  *
+ * @stability stable
  * @category models
  * @since 3.12.0
  */
@@ -7924,6 +8299,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
  */
@@ -7931,6 +8307,7 @@ export declare const DateTimeUtcFromDate: DateTimeUtcFromDate;
 /**
  * Type-level representation of {@link DateTimeUtcFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7955,6 +8332,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
  */
@@ -7962,6 +8340,7 @@ export declare const DateTimeUtcFromString: DateTimeUtcFromString;
 /**
  * Type-level representation of {@link DateTimeUtcFromMillis}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7983,6 +8362,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
  */
@@ -7990,6 +8370,7 @@ export declare const DateTimeUtcFromMillis: DateTimeUtcFromMillis;
 /**
  * Type-level representation of {@link TimeZoneOffset}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -8005,6 +8386,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
  */
@@ -8012,6 +8394,7 @@ export declare const TimeZoneOffset: TimeZoneOffset;
 /**
  * Type-level representation of {@link TimeZoneNamed}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -8027,6 +8410,7 @@ export interface TimeZoneNamed extends declare<DateTime.TimeZone.Named> {
  *
  * - encodes `DateTime.TimeZone.Named` as a string (IANA time zone identifier)
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -8034,6 +8418,7 @@ export declare const TimeZoneNamed: TimeZoneNamed;
 /**
  * Type-level representation of {@link TimeZoneNamedFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -8051,6 +8436,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
  */
@@ -8058,6 +8444,7 @@ export declare const TimeZoneNamedFromString: TimeZoneNamedFromString;
 /**
  * Type-level representation of {@link TimeZone}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -8074,6 +8461,7 @@ export interface TimeZone extends declare<DateTime.TimeZone> {
  * - encodes `DateTime.TimeZone` as a string (IANA identifier or offset like
  *   `+03:00`)
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -8081,6 +8469,7 @@ export declare const TimeZone: TimeZone;
 /**
  * Type-level representation of {@link TimeZoneFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -8098,6 +8487,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
  */
@@ -8105,6 +8495,7 @@ export declare const TimeZoneFromString: TimeZoneFromString;
 /**
  * Type-level representation of {@link DateTimeZoned}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -8123,6 +8514,7 @@ export interface DateTimeZoned extends declare<DateTime.Zoned> {
  * - 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
  */
@@ -8130,6 +8522,7 @@ export declare const DateTimeZoned: DateTimeZoned;
 /**
  * Type-level representation of {@link DateTimeZonedFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -8147,6 +8540,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
  */
@@ -9119,6 +9513,7 @@ export declare const SocketAddress: SocketAddress;
 /**
  * Type-level representation of {@link Duration}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9141,6 +9536,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
@@ -9149,6 +9545,7 @@ export declare const Duration: Duration;
 /**
  * Type-level representation of {@link DurationFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9167,6 +9564,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
  */
@@ -9174,6 +9572,7 @@ export declare const DurationFromString: DurationFromString;
 /**
  * Type-level representation of {@link DurationFromNanos}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9194,6 +9593,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
  */
@@ -9201,6 +9601,7 @@ export declare const DurationFromNanos: DurationFromNanos;
 /**
  * Type-level representation of {@link DurationFromMillis}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9223,6 +9624,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
  */
@@ -9230,6 +9632,7 @@ export declare const DurationFromMillis: DurationFromMillis;
 /**
  * Type-level representation returned by {@link Exit}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9247,6 +9650,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
  */
@@ -9266,6 +9670,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
  */
@@ -9273,6 +9678,7 @@ export declare function Exit<A extends Constraint, E extends Constraint, D exten
 /**
  * Encoded representation of an immutable Effect graph.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -9280,6 +9686,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
  */
@@ -9287,6 +9694,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
  */
@@ -9326,6 +9734,7 @@ export interface Graph<T extends Graph_.Kind, Node extends Constraint, Edge exte
  * encoded.edges // => [{ index: 0, source: 0, target: 1, data: 1 }]
  * ```
  *
+ * @stability unstable
  * @category schemas
  * @since 4.0.0
  */
@@ -9335,6 +9744,7 @@ export declare function Graph<T extends Graph_.Kind, Node extends Constraint, Ed
 /**
  * Type-level representation returned by {@link HashMap}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9347,6 +9757,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
  */
@@ -9354,6 +9765,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
  */
@@ -9361,6 +9773,7 @@ export declare function HashMap<Key extends Constraint, Value extends Constraint
 /**
  * Type-level representation returned by {@link HashSet}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9372,6 +9785,7 @@ export interface HashSet<Value extends Constraint> extends declareConstructor<Ha
  * 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
  */
@@ -9379,6 +9793,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
  */
@@ -9386,6 +9801,7 @@ export declare function HashSet<Value extends Constraint>(value: Value): HashSet
 /**
  * Type-level representation returned by {@link Option}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9401,6 +9817,7 @@ export interface Option<A extends Constraint> extends declareConstructor<Option_
  * `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
  */
@@ -9413,6 +9830,7 @@ export type OptionIso<A extends Constraint> = {
 /**
  * Schema for `Option<A>` values.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -9420,6 +9838,7 @@ export declare function Option<A extends Constraint>(value: A): Option<A>;
 /**
  * Type-level representation returned by {@link OptionFromNullOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9434,6 +9853,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
  */
@@ -9441,6 +9861,7 @@ export declare function OptionFromNullOr<S extends Constraint>(schema: S): Optio
 /**
  * Type-level representation returned by {@link OptionFromUndefinedOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9456,6 +9877,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
  */
@@ -9463,6 +9885,7 @@ export declare function OptionFromUndefinedOr<S extends Constraint>(schema: S):
 /**
  * Type-level representation returned by {@link OptionFromNullishOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9479,6 +9902,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
  */
@@ -9678,6 +10102,7 @@ export declare const RecordFromUrlParams: RecordFromUrlParams;
 /**
  * Type-level representation returned by {@link OptionFromOptionalKey}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9692,6 +10117,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
  */
@@ -9699,6 +10125,7 @@ export declare function OptionFromOptionalKey<S extends Constraint>(schema: S):
 /**
  * Type-level representation returned by {@link OptionFromOptional}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9715,6 +10142,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
  */
@@ -9722,6 +10150,7 @@ export declare function OptionFromOptional<S extends Constraint>(schema: S): Opt
 /**
  * Type-level representation returned by {@link OptionFromOptionalNullOr}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9739,6 +10168,7 @@ export interface OptionFromOptionalNullOr<S extends Constraint> extends decodeTo
  * according to `options.onNoneEncoding`: `"omit"` encodes a missing key,
  * `null` encodes `null`, and `undefined` encodes `undefined`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9748,6 +10178,7 @@ export declare function OptionFromOptionalNullOr<S extends Constraint>(schema: S
 /**
  * Type-level representation returned by {@link Redacted}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9772,6 +10203,7 @@ export interface Redacted<S extends Constraint> extends declareConstructor<Redac
  *   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
  */
@@ -9782,6 +10214,7 @@ export declare function Redacted<S extends Constraint>(value: S, options?: {
 /**
  * Type-level representation returned by {@link RedactedFromValue}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9794,6 +10227,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
  */
@@ -9804,6 +10238,7 @@ export declare function RedactedFromValue<S extends Constraint>(value: S, option
 /**
  * Type-level representation returned by {@link Result}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9820,6 +10255,7 @@ export interface Result<A extends Constraint, E extends Constraint> extends decl
  * 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
  */
@@ -9833,6 +10269,7 @@ export type ResultIso<A extends Constraint, E extends Constraint> = {
 /**
  * Schema for `Result<A, E>` values.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9840,6 +10277,7 @@ export declare function Result<A extends Constraint, E extends Constraint>(succe
 /**
  * Type-level representation returned by {@link Class}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9973,6 +10411,7 @@ type MissingSelfGeneric<Usage extends string> = `Missing \`Self\` generic - use
  * @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
  */
@@ -10043,6 +10482,7 @@ export declare 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
      */
@@ -10113,6 +10553,7 @@ export declare 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
          */
@@ -10183,6 +10624,7 @@ export declare 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
          */
@@ -10216,6 +10658,7 @@ export declare const Class: {
  * c.radius // => 5
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -10247,6 +10690,7 @@ export declare const TaggedClass: {
      * c.radius // => 5
      * ```
      *
+     * @stability stable
      * @category constructors
      * @since 3.10.0
      */
@@ -10278,6 +10722,7 @@ export declare const TaggedClass: {
          * c.radius // => 5
          * ```
          *
+         * @stability stable
          * @category constructors
          * @since 3.10.0
          */
@@ -10309,6 +10754,7 @@ export declare const TaggedClass: {
          * c.radius // => 5
          * ```
          *
+         * @stability stable
          * @category constructors
          * @since 3.10.0
          */
@@ -10341,6 +10787,7 @@ export declare const TaggedClass: {
  * error.id // => 1
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -10367,6 +10814,7 @@ export declare const Error: {
      * error.id // => 1
      * ```
      *
+     * @stability stable
      * @category constructors
      * @since 4.0.0
      */
@@ -10393,6 +10841,7 @@ export declare const Error: {
          * error.id // => 1
          * ```
          *
+         * @stability stable
          * @category constructors
          * @since 4.0.0
          */
@@ -10419,6 +10868,7 @@ export declare const Error: {
          * error.id // => 1
          * ```
          *
+         * @stability stable
          * @category constructors
          * @since 4.0.0
          */
@@ -10451,6 +10901,7 @@ export declare const Error: {
  * error.id // => 42
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -10481,6 +10932,7 @@ export declare const TaggedError: {
      * error.id // => 42
      * ```
      *
+     * @stability stable
      * @category constructors
      * @since 3.10.0
      */
@@ -10511,6 +10963,7 @@ export declare const TaggedError: {
          * error.id // => 42
          * ```
          *
+         * @stability stable
          * @category constructors
          * @since 3.10.0
          */
@@ -10541,6 +10994,7 @@ export declare const TaggedError: {
          * error.id // => 42
          * ```
          *
+         * @stability stable
          * @category constructors
          * @since 3.10.0
          */
@@ -10560,6 +11014,7 @@ export declare 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
  */
@@ -10574,6 +11029,7 @@ export declare function overrideToFormatter<S extends Top>(toFormatter: () => Fo
  * The optional `onBefore` hook lets you intercept specific AST nodes before
  * the default formatting logic runs.
  *
+ * @stability stable
  * @category formatting
  * @since 4.0.0
  */
@@ -10589,6 +11045,7 @@ export declare 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
  */
@@ -10609,6 +11066,7 @@ export declare function overrideToEquivalence<S extends Top>(toEquivalence: () =
  * eq({ id: 1, name: "Alice" }, { id: 2, name: "Alice" }) // => false
  * ```
  *
+ * @stability stable
  * @category instances
  * @since 4.0.0
  */
@@ -10631,6 +11089,7 @@ export declare function toEquivalence<T>(schema: Schema<T>): Equivalence.Equival
  *
  * @see {@link SchemaRepresentation.toRepresentation} for converting a `SchemaAST.AST` directly
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -10649,6 +11108,7 @@ export declare function toRepresentation(schema: Constraint, options?: SchemaRep
  * `SchemaRepresentation.toJsonSchemaMultiDocument`, reference allocation has already happened and `referencePolicy`
  * has no effect.
  *
+ * @stability stable
  * @category options
  * @since 4.0.0
  */
@@ -10788,6 +11248,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
  */
@@ -10795,6 +11256,7 @@ export declare function toJsonSchemaDocument(schema: Constraint, options?: ToJso
 /**
  * Type-level representation returned by {@link toCodecJson}.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -10829,6 +11291,7 @@ export interface toCodecJson<S extends Constraint> extends BottomLazy<S["ast"],
  * 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
  */
@@ -10854,6 +11317,7 @@ export declare 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
      */
@@ -10873,6 +11337,7 @@ export declare const toCodecJson: {
  * Links cannot require services because the returned `Codec` does not expose
  * service requirements.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -10891,6 +11356,7 @@ export declare const toCodecIso: {
      * Links cannot require services because the returned `Codec` does not expose
      * service requirements.
      *
+     * @stability stable
      * @category converting
      * @since 4.0.0
      */
@@ -10900,6 +11366,7 @@ export declare 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
  */
@@ -10907,6 +11374,7 @@ export type StringTree = Tree<string | undefined>;
 /**
  * Type-level representation returned by {@link toCodecStringTree}.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -10937,6 +11405,7 @@ export interface toCodecStringTree<S extends Constraint> extends BottomLazy<S["a
  * `toCodec` encoding. A callback can return `undefined` when the declaration is
  * already in canonical StringTree form.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -10958,6 +11427,7 @@ export declare 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
      */
@@ -10966,6 +11436,7 @@ export declare const toCodecStringTree: {
 /**
  * Type-level representation returned by {@link toCodecArrayFromSingle}.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -10993,6 +11464,7 @@ export interface toCodecArrayFromSingle<S extends Constraint> extends BottomLazy
  * decoding convenience rather than a canonical StringTree representation. It
  * does not parse comma-separated strings.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -11012,6 +11484,7 @@ export declare 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
      */
@@ -11038,6 +11511,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
  */
@@ -11059,6 +11533,7 @@ export declare function toEncoderXml<T, RE>(codec: ConstraintCodec<T, unknown, u
  * `SchemaIssue.makeFormatterDefault()`. Consume {@link toCodecIso} with an
  * effectful parser for asynchronous execution or explicit failure handling.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -11066,6 +11541,7 @@ export declare function toIso<S extends Constraint>(schema: S): Optic_.Iso<S["Ty
 /**
  * Returns an identity `Iso` over the schema's source (`Type`) side.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -11073,6 +11549,7 @@ export declare function toIsoSource<S extends Constraint>(schema: S): Optic_.Iso
 /**
  * Returns an identity `Iso` over the schema's focus (`Iso`) side.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -11080,6 +11557,7 @@ export declare function toIsoFocus<S extends Constraint>(schema: S): Optic_.Iso<
 /**
  * Type-level representation returned by {@link overrideToCodecIso}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -11107,6 +11585,7 @@ export interface overrideToCodecIso<S extends Constraint, Iso> extends BottomLaz
  * provided `decode` and `encode` getters to transform between the schema type
  * and the target codec.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -11132,6 +11611,7 @@ export declare function overrideToCodecIso<S extends Constraint, Iso>(to: Constr
  * `SchemaIssue.makeFormatterDefault()`. Invalid patch operations instead produce
  * {@link JsonPatch.apply} errors.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -11140,6 +11620,7 @@ export declare function toDifferJsonPatch<T>(schema: ConstraintCodec<T, unknown>
  * 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
  */
@@ -11148,6 +11629,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
  */
@@ -11159,6 +11641,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
  */
@@ -11169,6 +11652,7 @@ export declare function Tree<S extends Constraint>(node: S): Union<readonly [S,
  * readonly record of `string → Json`. For the corresponding schema, see the
  * {@link Json} const.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -11176,6 +11660,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
  */
@@ -11184,6 +11669,7 @@ export interface JsonArray extends ReadonlyArray<Json> {
 /**
  * A readonly record whose values are {@link Json} values.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -11201,6 +11687,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
  */
@@ -11222,6 +11709,7 @@ export declare const Json: Codec<Json>;
  * ```
  *
  * @see {@link Json} for a schema that also accepts JSON arrays and primitive values
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -11230,6 +11718,7 @@ export declare const JsonObject: $Record<String, Codec<Json, Json, never, never>
  * 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
  */
@@ -11237,6 +11726,7 @@ export type MutableJson = null | number | boolean | string | MutableJsonArray |
 /**
  * A mutable array of {@link MutableJson} values.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -11245,6 +11735,7 @@ export interface MutableJsonArray extends Array<MutableJson> {
 /**
  * A mutable record whose values are {@link MutableJson} values.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -11255,6 +11746,7 @@ export interface MutableJsonObject {
  * Schema that accepts any mutable JSON-compatible value. See {@link Json} for
  * the immutable variant.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -11265,6 +11757,7 @@ export declare const MutableJson: Codec<MutableJson>;
  * annotations are taken from the last check; otherwise they are taken from
  * the base schema instance.
  *
+ * @stability stable
  * @category getters
  * @since 4.0.0
  */
@@ -11274,6 +11767,7 @@ export declare function resolveAnnotations<S extends Constraint>(schema: S): Ann
  * 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
  */
@@ -11288,6 +11782,7 @@ export declare function resolveAnnotationsKey<S extends Constraint>(schema: S):
  * Use {@link resolveAnnotations} to read the annotations attached to a schema at
  * runtime.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */