effect 4.0.1 → 4.0.3

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";
@@ -29,9 +30,12 @@ import * as HashSet_ from "./HashSet.ts";
 import * as Cookies_ from "./http/Cookies.ts";
 import * as Headers_ from "./http/Headers.ts";
 import * as UrlParams_ from "./http/UrlParams.ts";
+import { NodeInspectSymbol } from "./Inspectable.ts";
 import { SchemaErrorTypeId } from "./internal/schemaError.ts";
 import type * as JsonPatch from "./JsonPatch.ts";
 import type * as JsonSchema from "./JsonSchema.ts";
+import * as Dns_ from "./net/Dns.ts";
+import * as Host_ from "./net/Host.ts";
 import * as IpInterface_ from "./net/IpInterface.ts";
 import * as IpNetwork_ from "./net/IpNetwork.ts";
 import * as NetAddress_ from "./net/NetAddress.ts";
@@ -59,6 +63,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 +73,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 +84,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 +100,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 +124,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 +245,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 +273,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 +296,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 +306,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 +364,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 +372,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 +408,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 +439,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 +470,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 +501,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 +534,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 +554,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 +580,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 +614,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 +638,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 +658,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 +674,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 +684,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 +735,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 +746,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 +839,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 +862,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 +885,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 +917,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 +937,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 +977,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
  */
@@ -952,6 +987,14 @@ export declare class SchemaError extends SchemaError_base<{
     readonly [SchemaErrorTypeId]: typeof SchemaErrorTypeId;
     constructor(issue: SchemaIssue.Issue);
     get message(): string;
+    toJSON(): {
+        _tag: "SchemaError";
+        message: string;
+    };
+    [NodeInspectSymbol](): {
+        _tag: "SchemaError";
+        message: string;
+    };
     toString(): string;
 }
 /**
@@ -971,6 +1014,7 @@ export declare class SchemaError extends SchemaError_base<{
  * Schema.isSchemaError(error) // => true
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -1040,6 +1084,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 +1100,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 +1139,7 @@ export declare function toStandardJSONSchemaV1<S extends Constraint>(self: S): S
  * }
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -1142,6 +1189,7 @@ export declare const is: typeof SchemaParser.is;
  * }
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -1164,6 +1212,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 +1235,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 +1267,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 +1299,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 +1327,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 +1354,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 +1385,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 +1415,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 +1444,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 +1473,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 +1512,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 +1540,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 +1573,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 +1596,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 +1627,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 +1659,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 +1687,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 +1714,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 +1744,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 +1774,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 +1802,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 +1831,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 +1859,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 +1885,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 +1904,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 +1912,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 +1920,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 +1957,7 @@ interface optionalKeyLambda extends Lambda {
  * type Person = typeof schema["Type"]
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -1898,6 +1974,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 +1982,7 @@ export declare const requiredKey: requiredKeyLambda;
 /**
  * Type-level representation returned by {@link optional}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -1941,6 +2019,7 @@ interface optionalLambda extends Lambda {
  * type Person = typeof schema.Type
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 3.10.0
  */
@@ -1961,6 +2040,7 @@ interface requiredLambda extends Lambda {
  *
  * This also unwraps the `UndefinedOr` member added by `optional`.
  *
+ * @stability stable
  * @category combinators
  * @since 3.10.0
  */
@@ -1968,6 +2048,7 @@ export declare const required: requiredLambda;
 /**
  * Type-level representation returned by {@link mutableKey}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1989,6 +2070,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 +2087,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 +2095,7 @@ export declare const readonlyKey: readonlyKeyLambda;
 /**
  * Type-level representation returned by {@link toType}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2033,6 +2117,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 +2125,7 @@ export declare const toType: toTypeLambda;
 /**
  * Type-level representation returned by {@link toEncoded}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2061,6 +2147,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 +2156,7 @@ declare const FlipTypeId = "~effect/Schema/flip";
 /**
  * Type-level representation returned by {@link flip}.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2104,6 +2192,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 +2200,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 +2224,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 +2232,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 +2289,7 @@ export declare namespace TemplateLiteral {
 /**
  * Type-level representation returned by {@link TemplateLiteral}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2235,6 +2328,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 +2336,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 +2360,7 @@ export declare namespace TemplateLiteralParser {
 /**
  * Type-level representation returned by {@link TemplateLiteralParser}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2310,6 +2406,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 +2414,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 +2445,7 @@ export interface Enum<A extends {
  * Schema.decodeSync(schema)(Direction.Up) // => "Up"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2356,6 +2455,7 @@ export declare function Enum<A extends {
 /**
  * Type-level representation of {@link Never}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2364,6 +2464,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 +2472,7 @@ export declare const Never: Never;
 /**
  * Type-level representation of {@link Any}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2380,6 +2482,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 +2490,7 @@ export declare const Any: Any;
 /**
  * Type-level representation of {@link Unknown}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2401,6 +2505,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 +2513,7 @@ export declare const Unknown: Unknown;
 /**
  * Type-level representation of {@link Null}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2417,6 +2523,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 +2531,7 @@ export declare const Null: Null;
 /**
  * Type-level representation of {@link Undefined}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2433,6 +2541,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 +2549,7 @@ export declare const Undefined: Undefined;
 /**
  * Type-level representation of {@link String}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2448,6 +2558,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 +2566,7 @@ export declare const String: String;
 /**
  * Type-level representation of {@link StringForLiteralAutocomplete}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2491,6 +2603,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 +2611,7 @@ export declare const StringForLiteralAutocomplete: StringForLiteralAutocomplete;
 /**
  * Type-level representation of {@link Number}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2514,6 +2628,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 +2636,7 @@ export declare const Number: Number;
 /**
  * Type-level representation of {@link Boolean}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2535,6 +2651,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 +2659,7 @@ export declare const Boolean: Boolean;
 /**
  * Type-level representation of {@link Symbol}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2551,6 +2669,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 +2677,7 @@ export declare const Symbol: Symbol;
 /**
  * Type-level representation of {@link BigInt}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2573,6 +2693,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 +2701,7 @@ export declare const BigInt: BigInt;
 /**
  * Type-level representation of {@link Void}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2601,6 +2723,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 +2731,7 @@ export declare const Void: Void;
 /**
  * Type-level representation of {@link ObjectKeyword}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2617,6 +2741,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 +2749,7 @@ export declare const ObjectKeyword: ObjectKeyword;
 /**
  * Type-level representation returned by {@link UniqueSymbol}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2649,6 +2775,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 +2795,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 +2923,7 @@ export declare namespace Struct {
 /**
  * Type-level representation returned by {@link Struct}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -2880,6 +3009,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 +3043,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 +3051,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 +3086,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 +3122,7 @@ export declare function encodeKeys<S extends Constraint & {
  * alice.fullName // => "Alice Smith"
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -3004,6 +3138,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 +3281,7 @@ export declare namespace Record {
 /**
  * Type-level representation returned by {@link Record}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3195,6 +3331,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 +3344,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 +3472,7 @@ export declare namespace StructWithRest {
 /**
  * Type-level representation returned by {@link StructWithRest}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3373,6 +3512,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 +3527,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 +3625,7 @@ export declare namespace Tuple {
 /**
  * Type-level representation returned by {@link Tuple}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -3529,6 +3671,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 +3686,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 +3796,7 @@ export declare namespace TupleWithRest {
 /**
  * Type-level representation returned by {@link TupleWithRest}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3691,6 +3836,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 +3844,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 +3881,7 @@ export {
  * Schema.decodeUnknownSync(schema)(["a", "b", "c"]) // => ["a", "b", "c"]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3741,6 +3889,7 @@ ArraySchema as Array };
 /**
  * Type-level representation returned by {@link NonEmptyArray}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -3772,6 +3921,7 @@ interface NonEmptyArrayLambda extends Lambda {
  * Schema.decodeUnknownSync(schema)([1, 2, 3]) // => [1, 2, 3]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -3779,6 +3929,7 @@ export declare const NonEmptyArray: NonEmptyArrayLambda;
 /**
  * Type-level representation returned by {@link ArrayEnsure}.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -3808,6 +3959,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 +3967,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 +3982,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 +3990,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 +4037,7 @@ interface mutableLambda extends Lambda {
  * value // => [1, 2, 3]
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 3.10.0
  */
@@ -3889,6 +4045,7 @@ export declare const mutable: mutableLambda;
 /**
  * Type-level representation returned by {@link Union}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -3958,6 +4115,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 +4123,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 +4156,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 +4164,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 +4178,7 @@ interface NullOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | null`.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4024,6 +4186,7 @@ export declare const NullOr: NullOrLambda;
 /**
  * Type-level representation returned by {@link UndefinedOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4037,6 +4200,7 @@ interface UndefinedOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | undefined`.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4044,6 +4208,7 @@ export declare const UndefinedOr: UndefinedOrLambda;
 /**
  * Type-level representation returned by {@link NullishOr}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4057,6 +4222,7 @@ interface NullishOrLambda extends Lambda {
 /**
  * Creates a union schema of `S | null | undefined`.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4064,6 +4230,7 @@ export declare const NullishOr: NullishOrLambda;
 /**
  * Type-level representation returned by {@link suspend}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -4098,6 +4265,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 +4286,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 +4294,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 +4320,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 +4330,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 +4366,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 +4387,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 +4397,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 +4436,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 +4444,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 +4483,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 +4508,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 +4530,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 +4544,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 +4566,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 +4574,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 +4592,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 +4642,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 +4690,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 +4725,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 +4757,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 +4772,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 +4782,7 @@ export interface WithoutConstructorDefault {
 /**
  * Type-level representation returned by {@link withConstructorDefault}.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4629,6 +4819,7 @@ export interface withConstructorDefault<S extends Constraint & WithoutConstructo
  * MySchema.make({}).name // => "anonymous"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -4636,6 +4827,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 +4843,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 +4880,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 +4888,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 +4914,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 +4922,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 +4964,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 +4972,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 +5003,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 +5011,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 +5036,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 +5069,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 +5077,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 +5128,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 +5150,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 +5197,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 +5233,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 +5243,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 +5269,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 +5297,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 +5318,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 +5328,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 +5363,7 @@ export interface Opaque<Self, S extends Top, Brand> extends BottomLazyWithoutNew
  * person.name // => "Alice"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -5155,6 +5371,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 +5393,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 +5402,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 +5465,7 @@ export declare function link<T>(): <To extends Constraint>(encodeTo: To, transfo
  * }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -5266,6 +5486,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 +5514,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 +5523,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 +5543,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 +5564,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 +5584,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 +5603,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 +5617,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 +5649,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 +5675,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 +5696,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 +5716,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 +5737,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 +5751,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 +5765,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 +5780,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 +5794,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 +5808,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 +5822,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 +5836,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 +5844,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 +5854,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 +5873,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 +5882,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 +5895,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 +5908,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 +5921,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 +5934,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 +5957,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 +5982,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 +6002,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 +6022,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 +6042,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 +6065,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 +6090,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
  */
@@ -5848,12 +6103,14 @@ export declare function isMultipleOf(divisor: number, annotations?: Annotations.
  *
  * JSON Schema:
  *
- * This check corresponds to the `type: "integer"` constraint in JSON Schema.
+ * This check corresponds to `type: "integer"` with `minimum: Number.MIN_SAFE_INTEGER`
+ * and `maximum: Number.MAX_SAFE_INTEGER` in JSON Schema.
  *
  * Arbitrary:
  *
  * During arbitrary generation, this applies an integer constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5861,6 +6118,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 +6128,7 @@ export interface Int extends Number {
 /**
  * Schema for integers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -5877,6 +6136,7 @@ export declare const Int: Int;
 /**
  * Type-level representation of {@link Natural}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -5892,6 +6152,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 +6173,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 +6194,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 +6208,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 +6228,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 +6242,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 +6262,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 +6282,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 +6301,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 +6316,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 +6330,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 +6345,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 +6360,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 +6401,7 @@ export declare const isBetweenBigInt: (options: {
  * Schema.is(NonEmptyArraySchema)([1]) // => true
  * ```
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6150,6 +6424,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 +6450,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 +6477,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 +6502,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 +6525,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 +6548,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 +6570,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 +6594,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 +6618,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 +6645,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 +6669,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 +6693,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 +6713,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 +6730,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 +6747,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 +6755,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 +6766,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 +6774,7 @@ export declare const NonEmptyString: NonEmptyString;
 /**
  * Type-level representation of {@link Char}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -6505,6 +6797,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 +6805,7 @@ export declare const Char: Char;
 /**
  * Type-level representation of {@link ErrorInstance}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6521,6 +6815,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 +6846,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 +6854,7 @@ export declare function ErrorInstance(options?: ErrorOptions): ErrorInstance;
 /**
  * Type-level representation of {@link Defect}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -6602,6 +6899,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 +6907,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 +6920,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 +6929,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 +6937,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 +6949,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 +6957,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 +6965,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 +6979,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 +6987,7 @@ export declare const RegExp: RegExp;
 /**
  * Type-level representation of {@link URL}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6696,6 +7003,7 @@ export interface URL extends instanceOf<globalThis.URL> {
  *
  * - encodes `URL` as a `string`
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -6703,6 +7011,7 @@ export declare const URL: URL;
 /**
  * Type-level representation of {@link URLFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6720,6 +7029,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 +7037,7 @@ export declare const URLFromString: URLFromString;
 /**
  * Type-level representation of {@link Date}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6758,6 +7069,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 +7077,7 @@ export declare const Date: Date;
 /**
  * Type-level representation of {@link DateFromString}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -6793,6 +7106,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 +7114,7 @@ export declare const DateFromString: DateFromString;
 /**
  * Type-level representation of {@link DateFromMillis}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6831,6 +7146,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 +7154,7 @@ export declare const DateFromMillis: DateFromMillis;
 /**
  * Type-level representation returned by {@link fromJsonString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6870,6 +7187,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 +7199,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 +7214,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 +7222,7 @@ export declare const File: File;
 /**
  * Type-level representation of {@link FormData}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -6916,6 +7237,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 +7245,7 @@ export declare const FormData: FormData;
 /**
  * Type-level representation returned by {@link fromFormData}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7008,6 +7331,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 +7339,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 +7353,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 +7361,7 @@ export declare const URLSearchParams: URLSearchParams;
 /**
  * Type-level representation returned by {@link fromURLSearchParams}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7115,6 +7442,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 +7450,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 +7471,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 +7479,7 @@ export declare const NumberFromString: NumberFromString;
 /**
  * Type-level representation of {@link FiniteFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7167,6 +7498,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 +7506,7 @@ export declare const FiniteFromString: FiniteFromString;
 /**
  * Type-level representation of {@link BigIntFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7205,6 +7538,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 +7546,7 @@ export declare const BigIntFromString: BigIntFromString;
 /**
  * Type-level representation of {@link Trimmed}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7221,6 +7556,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 +7564,7 @@ export declare const Trimmed: Trimmed;
 /**
  * Type-level representation of {@link Trim}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7245,6 +7582,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 +7590,7 @@ export declare const Trim: Trim;
 /**
  * Type-level representation of {@link StringFromBase64}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7269,6 +7608,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 +7616,7 @@ export declare const StringFromBase64: StringFromBase64;
 /**
  * Type-level representation of {@link StringFromBase64Url}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7293,6 +7634,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 +7642,7 @@ export declare const StringFromBase64Url: StringFromBase64Url;
 /**
  * Type-level representation of {@link StringFromHex}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7317,6 +7660,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 +7668,7 @@ export declare const StringFromHex: StringFromHex;
 /**
  * Type-level representation of {@link StringFromUriComponent}.
  *
+ * @stability stable
  * @category models
  * @since 3.12.0
  */
@@ -7359,6 +7704,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 +7713,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 +7726,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 +7744,7 @@ export declare const StandardSchemaV1FailureResult: Struct<{
 /**
  * Type-level representation of {@link BooleanFromBit}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7418,6 +7767,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 +7775,7 @@ export declare const BooleanFromBit: BooleanFromBit;
 /**
  * Type-level representation of {@link Uint8Array}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7440,6 +7791,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 +7799,7 @@ export declare const Uint8Array: Uint8Array;
 /**
  * Type-level representation of {@link Uint8ArrayFromBase64}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7465,6 +7818,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 +7826,7 @@ export declare const Uint8ArrayFromBase64: Uint8ArrayFromBase64;
 /**
  * Type-level representation of {@link Uint8ArrayFromBase64Url}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7490,6 +7845,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 +7853,7 @@ export declare const Uint8ArrayFromBase64Url: Uint8ArrayFromBase64Url;
 /**
  * Type-level representation of {@link Uint8ArrayFromHex}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7515,6 +7872,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 +7880,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 +7889,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 +7897,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 +7906,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 +7919,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 +7932,7 @@ export declare const isBetweenBigDecimal: (options: {
 /**
  * Type-level representation of {@link BigDecimal}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -7591,6 +7955,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 +7963,7 @@ export declare const BigDecimal: BigDecimal;
 /**
  * Type-level representation of {@link BigDecimalFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7628,6 +7994,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 +8002,7 @@ export declare const BigDecimalFromString: BigDecimalFromString;
 /**
  * Type-level representation of {@link ByteSize}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -7650,6 +8018,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 +8026,7 @@ export declare const ByteSize: ByteSize;
 /**
  * Type-level representation of {@link ByteSizeFromString}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -7689,6 +8059,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 +8067,7 @@ export declare const ByteSizeFromString: ByteSizeFromString;
 /**
  * Type-level representation of {@link ByteSizeFromBigInt}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -7705,6 +8077,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 +8085,7 @@ export declare const ByteSizeFromBigInt: ByteSizeFromBigInt;
 /**
  * Type-level representation of {@link ByteSizeFromNumber}.
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -7725,6 +8099,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 +8107,7 @@ export declare const ByteSizeFromNumber: ByteSizeFromNumber;
 /**
  * Type-level representation returned by {@link CauseReason}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7748,6 +8124,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 +8155,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 +8163,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 +8184,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 +8207,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 +8215,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 +8234,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 +8242,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 +8250,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 +8275,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 +8283,7 @@ export declare const DateTimeUtc: DateTimeUtc;
 /**
  * Type-level representation of {@link DateTimeUtcFromDate}.
  *
+ * @stability stable
  * @category models
  * @since 3.12.0
  */
@@ -7924,6 +8311,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 +8319,7 @@ export declare const DateTimeUtcFromDate: DateTimeUtcFromDate;
 /**
  * Type-level representation of {@link DateTimeUtcFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7955,6 +8344,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 +8352,7 @@ export declare const DateTimeUtcFromString: DateTimeUtcFromString;
 /**
  * Type-level representation of {@link DateTimeUtcFromMillis}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -7983,6 +8374,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 +8382,7 @@ export declare const DateTimeUtcFromMillis: DateTimeUtcFromMillis;
 /**
  * Type-level representation of {@link TimeZoneOffset}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -8005,6 +8398,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 +8406,7 @@ export declare const TimeZoneOffset: TimeZoneOffset;
 /**
  * Type-level representation of {@link TimeZoneNamed}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -8027,6 +8422,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 +8430,7 @@ export declare const TimeZoneNamed: TimeZoneNamed;
 /**
  * Type-level representation of {@link TimeZoneNamedFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -8051,6 +8448,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 +8456,7 @@ export declare const TimeZoneNamedFromString: TimeZoneNamedFromString;
 /**
  * Type-level representation of {@link TimeZone}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -8074,6 +8473,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 +8481,7 @@ export declare const TimeZone: TimeZone;
 /**
  * Type-level representation of {@link TimeZoneFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -8098,6 +8499,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 +8507,7 @@ export declare const TimeZoneFromString: TimeZoneFromString;
 /**
  * Type-level representation of {@link DateTimeZoned}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -8123,6 +8526,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 +8534,7 @@ export declare const DateTimeZoned: DateTimeZoned;
 /**
  * Type-level representation of {@link DateTimeZonedFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -8147,6 +8552,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
  */
@@ -9116,9 +9522,188 @@ export interface SocketAddress extends declare<NetAddress_.SocketAddress> {
  * @since 4.0.0
  */
 export declare const SocketAddress: SocketAddress;
+/**
+ * Type-level representation of {@link DomainName}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DomainName extends brand<String, "~effect/net/Host/DomainName"> {
+    readonly "Rebuild": DomainName;
+}
+/**
+ * Schema for normalized DNS domain names.
+ *
+ * **Details**
+ *
+ * Only names already in normalized form (lowercase ASCII, with
+ * internationalized labels in `xn--` form) are accepted. Use
+ * {@link DomainNameFromString} to normalize arbitrary input.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DomainName: DomainName;
+/**
+ * Type-level representation of {@link DomainNameFromString}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DomainNameFromString extends decodeTo<DomainName, String> {
+    readonly "Rebuild": DomainNameFromString;
+}
+/**
+ * Schema for DNS domain names decoded from strings, normalizing case and
+ * converting internationalized names to their ASCII form.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DomainNameFromString: DomainNameFromString;
+/**
+ * Type-level representation of {@link ScopedIpv6Literal}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface ScopedIpv6Literal extends brand<String, "~effect/net/NetAddress/ScopedIpv6Literal"> {
+    readonly "Rebuild": ScopedIpv6Literal;
+}
+/**
+ * Schema for canonical scoped IPv6 literals such as `fe80::1%eth0`.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const ScopedIpv6Literal: ScopedIpv6Literal;
+/**
+ * Type-level representation of {@link ScopedIpv6LiteralFromString}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface ScopedIpv6LiteralFromString extends decodeTo<ScopedIpv6Literal, String> {
+    readonly "Rebuild": ScopedIpv6LiteralFromString;
+}
+/**
+ * Schema for scoped IPv6 literals decoded from strings, normalizing the address
+ * and numeric zones.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const ScopedIpv6LiteralFromString: ScopedIpv6LiteralFromString;
+/**
+ * Type-level representation of {@link Host}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface Host extends Union<readonly [IpAddress, ScopedIpv6Literal, DomainName]> {
+    readonly "Rebuild": Host;
+}
+/**
+ * Schema for hosts: numeric IP addresses, scoped IPv6 literals, or domain names.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const Host: Host;
+/**
+ * Type-level representation of {@link HostFromString}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface HostFromString extends Union<readonly [IpAddressFromString, ScopedIpv6LiteralFromString, DomainNameFromString]> {
+    readonly "Rebuild": HostFromString;
+}
+/**
+ * Schema for hosts decoded from strings. Numeric IP strings decode to IP
+ * addresses; other strings decode to scoped IPv6 literals or domain names.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const HostFromString: HostFromString;
+/**
+ * Type-level representation of {@link HostPort}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface HostPort extends declare<Host_.HostPort> {
+    readonly "Rebuild": HostPort;
+}
+/**
+ * Schema for already-constructed unresolved host and port values.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const HostPort: HostPort;
+/**
+ * Type-level representation of {@link HostPortFromString}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface HostPortFromString extends decodeTo<HostPort, String> {
+    readonly "Rebuild": HostPortFromString;
+}
+/**
+ * Schema for unresolved endpoints encoded as `host:port` or `[IPv6]:port`
+ * strings.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const HostPortFromString: HostPortFromString;
+/**
+ * Type-level representation of {@link Port}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface Port extends Int {
+    readonly "Rebuild": Port;
+}
+/**
+ * Schema for TCP and UDP port numbers from 0 through 65535.
+ *
+ * **Details**
+ *
+ * Port 0 is accepted because it asks the operating system to choose a port
+ * when binding, and it matches the port range of `InetAddress` and `HostPort`.
+ * `Config.Port` accepts only 1 through 65535.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const Port: Port;
 /**
  * Type-level representation of {@link Duration}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9141,6 +9726,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 +9735,7 @@ export declare const Duration: Duration;
 /**
  * Type-level representation of {@link DurationFromString}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9167,6 +9754,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 +9762,7 @@ export declare const DurationFromString: DurationFromString;
 /**
  * Type-level representation of {@link DurationFromNanos}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9194,6 +9783,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 +9791,7 @@ export declare const DurationFromNanos: DurationFromNanos;
 /**
  * Type-level representation of {@link DurationFromMillis}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9223,13 +9814,293 @@ export interface DurationFromMillis extends decodeTo<Duration, Number> {
  *
  * `NaN` is decoded as `Duration.zero`, matching `Duration.millis`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
 export declare const DurationFromMillis: DurationFromMillis;
+/**
+ * Type-level representation of {@link DnsRecordType}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsRecordType extends Literals<ReadonlyArray<Dns_.RecordType>> {
+}
+/**
+ * Schema for supported DNS record types such as `"A"` or `"SRV"`.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsRecordType: DnsRecordType;
+/**
+ * Type-level representation of {@link DnsARecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsARecord extends declare<Dns_.A> {
+    readonly "Rebuild": DnsARecord;
+}
+/**
+ * Schema for already-constructed IPv4 address (`A`) DNS records.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsARecord: DnsARecord;
+/**
+ * Type-level representation of {@link DnsAaaaRecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsAaaaRecord extends declare<Dns_.Aaaa> {
+    readonly "Rebuild": DnsAaaaRecord;
+}
+/**
+ * Schema for already-constructed IPv6 address (`AAAA`) DNS records.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsAaaaRecord: DnsAaaaRecord;
+/**
+ * Type-level representation of {@link DnsCaaRecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsCaaRecord extends declare<Dns_.Caa> {
+    readonly "Rebuild": DnsCaaRecord;
+}
+/**
+ * Schema for already-constructed certification authority authorization (`CAA`) DNS records.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsCaaRecord: DnsCaaRecord;
+/**
+ * Type-level representation of {@link DnsCnameRecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsCnameRecord extends declare<Dns_.Cname> {
+    readonly "Rebuild": DnsCnameRecord;
+}
+/**
+ * Schema for already-constructed canonical name (`CNAME`) DNS records.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsCnameRecord: DnsCnameRecord;
+/**
+ * Type-level representation of {@link DnsMxRecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsMxRecord extends declare<Dns_.Mx> {
+    readonly "Rebuild": DnsMxRecord;
+}
+/**
+ * Schema for already-constructed mail exchange (`MX`) DNS records.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsMxRecord: DnsMxRecord;
+/**
+ * Type-level representation of {@link DnsNaptrRecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsNaptrRecord extends declare<Dns_.Naptr> {
+    readonly "Rebuild": DnsNaptrRecord;
+}
+/**
+ * Schema for already-constructed naming authority pointer (`NAPTR`) DNS records.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsNaptrRecord: DnsNaptrRecord;
+/**
+ * Type-level representation of {@link DnsNsRecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsNsRecord extends declare<Dns_.Ns> {
+    readonly "Rebuild": DnsNsRecord;
+}
+/**
+ * Schema for already-constructed name server (`NS`) DNS records.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsNsRecord: DnsNsRecord;
+/**
+ * Type-level representation of {@link DnsPtrRecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsPtrRecord extends declare<Dns_.Ptr> {
+    readonly "Rebuild": DnsPtrRecord;
+}
+/**
+ * Schema for already-constructed pointer (`PTR`) DNS records.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsPtrRecord: DnsPtrRecord;
+/**
+ * Type-level representation of {@link DnsSoaRecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsSoaRecord extends declare<Dns_.Soa> {
+    readonly "Rebuild": DnsSoaRecord;
+}
+/**
+ * Schema for already-constructed start of authority (`SOA`) DNS records.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsSoaRecord: DnsSoaRecord;
+/**
+ * Type-level representation of {@link DnsSrvRecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsSrvRecord extends declare<Dns_.Srv> {
+    readonly "Rebuild": DnsSrvRecord;
+}
+/**
+ * Schema for already-constructed service locator (`SRV`) DNS records.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsSrvRecord: DnsSrvRecord;
+/**
+ * Type-level representation of {@link DnsTlsaRecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsTlsaRecord extends declare<Dns_.Tlsa> {
+    readonly "Rebuild": DnsTlsaRecord;
+}
+/**
+ * Schema for already-constructed TLS authentication (`TLSA`) DNS records.
+ *
+ * **Details**
+ *
+ * The default JSON serializer encodes the certificate association `data` as a
+ * hex string.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsTlsaRecord: DnsTlsaRecord;
+/**
+ * Type-level representation of {@link DnsTxtRecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsTxtRecord extends declare<Dns_.Txt> {
+    readonly "Rebuild": DnsTxtRecord;
+}
+/**
+ * Schema for already-constructed text (`TXT`) DNS records.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsTxtRecord: DnsTxtRecord;
+/**
+ * Type-level representation of {@link DnsRecord}.
+ *
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export interface DnsRecord extends Union<readonly [
+    DnsARecord,
+    DnsAaaaRecord,
+    DnsCaaRecord,
+    DnsCnameRecord,
+    DnsMxRecord,
+    DnsNaptrRecord,
+    DnsNsRecord,
+    DnsPtrRecord,
+    DnsSoaRecord,
+    DnsSrvRecord,
+    DnsTlsaRecord,
+    DnsTxtRecord
+]> {
+    readonly "Rebuild": DnsRecord;
+}
+/**
+ * Schema for already-constructed DNS records of any supported record type.
+ *
+ * **Details**
+ *
+ * The default JSON serializer encodes records as objects tagged by record type,
+ * with addresses and names as canonical strings, SOA timers as whole seconds,
+ * and TLSA data as hex, such as
+ * `{ "_tag": "SRV", "target": "db.internal", "port": 5432, "priority": 10, "weight": 5 }`.
+ * Decoding accepts only canonical addresses and normalized domain names, and
+ * reports invalid fields with their path.
+ *
+ * @stability experimental
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const DnsRecord: DnsRecord;
 /**
  * Type-level representation returned by {@link Exit}.
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -9247,6 +10118,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 +10138,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 +10146,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 +10154,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 +10162,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 +10202,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 +10212,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 +10225,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 +10233,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 +10241,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 +10253,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 +10261,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 +10269,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 +10285,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 +10298,7 @@ export type OptionIso<A extends Constraint> = {
 /**
  * Schema for `Option<A>` values.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -9420,6 +10306,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 +10321,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 +10329,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 +10345,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 +10353,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 +10370,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 +10570,7 @@ export declare const RecordFromUrlParams: RecordFromUrlParams;
 /**
  * Type-level representation returned by {@link OptionFromOptionalKey}.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -9692,6 +10585,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 +10593,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 +10610,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 +10618,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 +10636,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 +10646,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 +10671,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 +10682,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 +10695,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 +10706,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 +10723,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 +10737,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 +10745,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
  */
@@ -9896,6 +10802,10 @@ export interface Class<Self, S extends Constraint & {
      *
      * **Gotchas**
      *
+     * Fields with the same name replace inherited fields. Use this to refine
+     * validation or change encoding. Effect does not check compatibility; the
+     * caller must ensure the replacement preserves the base class contract.
+     *
      * Checks from a `Struct` argument are evaluated against the full subclass
      * value after inherited and extension fields are merged. Object-wide checks
      * such as `isMaxProperties` count inherited fields too.
@@ -9973,6 +10883,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 +10954,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 +11025,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 +11096,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 +11130,7 @@ export declare const Class: {
  * c.radius // => 5
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -10247,6 +11162,7 @@ export declare const TaggedClass: {
      * c.radius // => 5
      * ```
      *
+     * @stability stable
      * @category constructors
      * @since 3.10.0
      */
@@ -10278,6 +11194,7 @@ export declare const TaggedClass: {
          * c.radius // => 5
          * ```
          *
+         * @stability stable
          * @category constructors
          * @since 3.10.0
          */
@@ -10309,6 +11226,7 @@ export declare const TaggedClass: {
          * c.radius // => 5
          * ```
          *
+         * @stability stable
          * @category constructors
          * @since 3.10.0
          */
@@ -10341,6 +11259,7 @@ export declare const TaggedClass: {
  * error.id // => 1
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -10367,6 +11286,7 @@ export declare const Error: {
      * error.id // => 1
      * ```
      *
+     * @stability stable
      * @category constructors
      * @since 4.0.0
      */
@@ -10393,6 +11313,7 @@ export declare const Error: {
          * error.id // => 1
          * ```
          *
+         * @stability stable
          * @category constructors
          * @since 4.0.0
          */
@@ -10419,6 +11340,7 @@ export declare const Error: {
          * error.id // => 1
          * ```
          *
+         * @stability stable
          * @category constructors
          * @since 4.0.0
          */
@@ -10451,6 +11373,7 @@ export declare const Error: {
  * error.id // => 42
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -10481,6 +11404,7 @@ export declare const TaggedError: {
      * error.id // => 42
      * ```
      *
+     * @stability stable
      * @category constructors
      * @since 3.10.0
      */
@@ -10511,6 +11435,7 @@ export declare const TaggedError: {
          * error.id // => 42
          * ```
          *
+         * @stability stable
          * @category constructors
          * @since 3.10.0
          */
@@ -10541,6 +11466,7 @@ export declare const TaggedError: {
          * error.id // => 42
          * ```
          *
+         * @stability stable
          * @category constructors
          * @since 3.10.0
          */
@@ -10560,6 +11486,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 +11501,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 +11517,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 +11538,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 +11561,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 +11580,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 +11720,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 +11728,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 +11763,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 +11789,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 +11809,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 +11828,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 +11838,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 +11846,7 @@ export type StringTree = Tree<string | undefined>;
 /**
  * Type-level representation returned by {@link toCodecStringTree}.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -10937,6 +11877,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 +11899,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 +11908,7 @@ export declare const toCodecStringTree: {
 /**
  * Type-level representation returned by {@link toCodecArrayFromSingle}.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -10993,6 +11936,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 +11956,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 +11983,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 +12005,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 +12013,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 +12021,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 +12029,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 +12057,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 +12083,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 +12092,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 +12101,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 +12113,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 +12124,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 +12132,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 +12141,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 +12159,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 +12181,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 +12190,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 +12198,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 +12207,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 +12218,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 +12229,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 +12239,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 +12254,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
  */