effect 4.0.1 → 4.0.2

package/dist/Schema.js

@@ -9,6 +9,7 @@
  * generation, formatting, equivalence, optics, and differs derived from schema
  * definitions.
  *
+ * @stability stable
  * @since 4.0.0
  */
 import * as Arr from "./Array.js";
@@ -118,6 +119,7 @@ const TypeId = InternalMake.TypeId;
  * Effect.runSync(Schema.decodeUnknownEffect(schema)({ value: 1 })) // => { value: 1 }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -155,6 +157,7 @@ export function declareConstructor() {
  *
  * @see {@link declareConstructor} for creating schemas for parametric types.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -187,6 +190,7 @@ export function declare(is, annotations) {
  * type E = typeof bottom["Encoded"]  // string
  * ```
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -219,6 +223,7 @@ export function revealBottom(bottom) {
  *
  * @see {@link annotateEncoded} to annotate the encoded side instead.
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -251,6 +256,7 @@ export function annotate(annotations) {
  *
  * @see {@link annotate} to annotate the type side instead.
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -285,6 +291,7 @@ export function annotateEncoded(annotations) {
  * schema.fields.username.ast.context?.annotations?.messageMissingKey // => "Username is required"
  * ```
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -315,6 +322,7 @@ export function annotateKey(annotations) {
  * type Enc = typeof codec["Encoded"] // string
  * ```
  *
+ * @stability stable
  * @category utility types
  * @since 4.0.0
  */
@@ -348,6 +356,7 @@ export function revealCodec(codec) {
  * ```
  *
  * @see {@link isSchemaError} for narrowing unknown values
+ * @stability stable
  * @category errors
  * @since 4.0.0
  */
@@ -388,6 +397,7 @@ export class SchemaError extends /*#__PURE__*/Data.TaggedError("SchemaError") {
  * Schema.isSchemaError(error) // => true
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -500,6 +510,7 @@ function runSchemaErrorSync(self) {
  * invalidResult.issues?.map((issue) => issue.path) // => [["name"], ["age"]]
  * ```
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -513,6 +524,7 @@ export function toStandardSchemaV1(self, options) {
  *
  * https://github.com/standard-schema/standard-schema/pull/134
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -553,6 +565,7 @@ export function toStandardJSONSchemaV1(self) {
  * }
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -602,6 +615,7 @@ export const is = SchemaParser.is;
  * }
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -624,6 +638,7 @@ export const asserts = SchemaParser.asserts;
  *
  * @see {@link SchemaParser.decodeUnknownEffect} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -651,6 +666,7 @@ export function decodeUnknownEffect(schema, options) {
  *
  * @see {@link SchemaParser.decodeEffect} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -682,6 +698,7 @@ export const decodeEffect = decodeUnknownEffect;
  *
  * @see {@link SchemaParser.decodeUnknownExit} for the adapter whose failure contains `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -718,6 +735,7 @@ export function decodeUnknownExit(schema, options) {
  *
  * @see {@link SchemaParser.decodeExit} for the adapter whose failure contains `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -745,6 +763,7 @@ export const decodeExit = decodeUnknownExit;
  * that contain defects, interruptions, or other non-schema reasons throw
  * instead.
  *
+ * @stability stable
  * @category decoding
  * @since 3.10.0
  */
@@ -771,6 +790,7 @@ export const decodeUnknownOption = SchemaParser.decodeUnknownOption;
  * that contain defects, interruptions, or other non-schema reasons throw
  * instead.
  *
+ * @stability stable
  * @category decoding
  * @since 3.10.0
  */
@@ -801,6 +821,7 @@ export const decodeOption = SchemaParser.decodeOption;
  *
  * @see {@link SchemaParser.decodeUnknownResult} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -835,6 +856,7 @@ export function decodeUnknownResult(schema, options) {
  *
  * @see {@link SchemaParser.decodeResult} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -863,6 +885,7 @@ export const decodeResult = decodeUnknownResult;
  *
  * @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
  */
@@ -896,6 +919,7 @@ export function decodeUnknownPromise(schema, options) {
  *
  * @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
  */
@@ -934,6 +958,7 @@ export const decodePromise = decodeUnknownPromise;
  *
  * @see {@link SchemaParser.decodeUnknownSync} for the adapter that throws an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -966,6 +991,7 @@ export function decodeUnknownSync(schema, options) {
  *
  * @see {@link SchemaParser.decodeSync} for the adapter that throws an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -998,6 +1024,7 @@ export const decodeSync = decodeUnknownSync;
  *
  * @see {@link SchemaParser.encodeUnknownEffect} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1025,6 +1052,7 @@ export function encodeUnknownEffect(schema, options) {
  *
  * @see {@link SchemaParser.encodeEffect} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1055,6 +1083,7 @@ export const encodeEffect = encodeUnknownEffect;
  *
  * @see {@link SchemaParser.encodeUnknownExit} for the adapter whose failure contains `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1091,6 +1120,7 @@ export function encodeUnknownExit(schema, options) {
  *
  * @see {@link SchemaParser.encodeExit} for the adapter whose failure contains `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1118,6 +1148,7 @@ export const encodeExit = encodeUnknownExit;
  * that contain defects, interruptions, or other non-schema reasons throw
  * instead.
  *
+ * @stability stable
  * @category encoding
  * @since 3.10.0
  */
@@ -1144,6 +1175,7 @@ export const encodeUnknownOption = SchemaParser.encodeUnknownOption;
  * that contain defects, interruptions, or other non-schema reasons throw
  * instead.
  *
+ * @stability stable
  * @category encoding
  * @since 3.10.0
  */
@@ -1173,6 +1205,7 @@ export const encodeOption = SchemaParser.encodeOption;
  *
  * @see {@link SchemaParser.encodeUnknownResult} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1207,6 +1240,7 @@ export function encodeUnknownResult(schema, options) {
  *
  * @see {@link SchemaParser.encodeResult} for the adapter that fails with `SchemaIssue.Issue` directly
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1234,6 +1268,7 @@ export const encodeResult = encodeUnknownResult;
  *
  * @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
  */
@@ -1267,6 +1302,7 @@ export function encodeUnknownPromise(schema, options) {
  *
  * @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
  */
@@ -1294,6 +1330,7 @@ export const encodePromise = encodeUnknownPromise;
  *
  * @see {@link SchemaParser.encodeUnknownSync} for the adapter that throws an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1324,6 +1361,7 @@ export function encodeUnknownSync(schema, options) {
  *
  * @see {@link SchemaParser.encodeSync} for the adapter that throws an `Error` whose cause is `SchemaIssue.Issue`
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -1342,6 +1380,7 @@ export const encodeSync = encodeUnknownSync;
  * the bridge between the untyped AST representation and the strongly-typed
  * schema.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -1349,6 +1388,7 @@ export const make = InternalMake.make;
 /**
  * Checks whether a value is a `Schema`.
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -1374,6 +1414,7 @@ export function isSchema(u) {
  * type Person = typeof schema["Type"]
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -1388,6 +1429,7 @@ export const optionalKey = /*#__PURE__*/Struct_.lambda(schema => make(SchemaAST.
  * 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
  */
@@ -1418,6 +1460,7 @@ export const requiredKey = /*#__PURE__*/Struct_.lambda(self => self.schema);
  * type Person = typeof schema.Type
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 3.10.0
  */
@@ -1439,6 +1482,7 @@ export const optional = /*#__PURE__*/Struct_.lambda(self => {
  *
  * This also unwraps the `UndefinedOr` member added by `optional`.
  *
+ * @stability stable
  * @category combinators
  * @since 3.10.0
  */
@@ -1447,6 +1491,7 @@ export const required = /*#__PURE__*/Struct_.lambda(self => self.schema.members[
  * 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
  */
@@ -1461,6 +1506,7 @@ export const mutableKey = /*#__PURE__*/Struct_.lambda(schema => make(SchemaAST.m
  * 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
  */
@@ -1469,6 +1515,7 @@ export const readonlyKey = /*#__PURE__*/Struct_.lambda(self => self.schema);
  * 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
  */
@@ -1479,6 +1526,7 @@ export const toType = /*#__PURE__*/Struct_.lambda(schema => make(SchemaAST.toTyp
  * Extracts the encoded-side schema: sets `Type` to equal the `Encoded`,
  * discarding the decoding transformation path.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -1514,6 +1562,7 @@ export function flip(schema) {
  * @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
  */
@@ -1564,6 +1613,7 @@ function templateLiteralParts(parts) {
  * ```
  *
  * @see {@link TemplateLiteralParser} for a schema that also parses matched parts into a tuple.
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -1604,6 +1654,7 @@ export function TemplateLiteral(parts) {
  * ```
  *
  * @see {@link TemplateLiteral} for a validation-only version that keeps the string encoded.
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -1634,6 +1685,7 @@ export function TemplateLiteralParser(parts) {
  * Schema.decodeSync(schema)(Direction.Up) // => "Up"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1645,6 +1697,7 @@ export function Enum(enums) {
 /**
  * Schema for the `never` type. Always fails validation — no value satisfies it.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -1653,6 +1706,7 @@ export const Never = /*#__PURE__*/make(SchemaAST.never);
  * 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
  */
@@ -1666,6 +1720,7 @@ export const Any = /*#__PURE__*/make(SchemaAST.any);
  * TypeScript's `unknown` safety at use sites.
  *
  * @see {@link Any} for the `any` variant.
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -1674,6 +1729,7 @@ export const Unknown = /*#__PURE__*/make(SchemaAST.unknown);
  * 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
  */
@@ -1682,6 +1738,7 @@ export const Null = /*#__PURE__*/make(SchemaAST.null);
  * 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
  */
@@ -1689,6 +1746,7 @@ export const Undefined = /*#__PURE__*/make(SchemaAST.undefined);
 /**
  * Schema for `string` values. Validates that the input is `typeof` `"string"`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1724,6 +1782,7 @@ export const String = /*#__PURE__*/make(SchemaAST.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
  */
@@ -1739,6 +1798,7 @@ export const StringForLiteralAutocomplete = String;
  * - 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
  */
@@ -1752,6 +1812,7 @@ export const Number = /*#__PURE__*/make(SchemaAST.number);
  *
  * @see {@link BooleanFromBit} for a schema that decodes bit literals `0` or `1` into a boolean
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1760,6 +1821,7 @@ export const Boolean = /*#__PURE__*/make(SchemaAST.boolean);
  * 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
  */
@@ -1774,6 +1836,7 @@ export const Symbol = /*#__PURE__*/make(SchemaAST.symbol);
  *
  * @see {@link BigIntFromString} for parsing string input into a bigint
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1794,6 +1857,7 @@ export const BigInt = /*#__PURE__*/make(SchemaAST.bigInt);
  * as `void`.
  *
  * @see {@link Undefined} for a schema that matches only the exact `undefined` value.
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -1802,6 +1866,7 @@ export const Void = /*#__PURE__*/make(SchemaAST.void);
  * 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
  */
@@ -1826,6 +1891,7 @@ export const ObjectKeyword = /*#__PURE__*/make(SchemaAST.objectKeyword);
  * ```
  *
  * @see {@link Symbol} for a schema that accepts any symbol.
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1872,6 +1938,7 @@ function makeStruct(ast, fields) {
  * Schema.decodeUnknownSync(Person)({ name: "Alice", age: 30 }) // => { name: "Alice", age: 30 }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -1903,6 +1970,7 @@ export function Struct(fields) {
  * Schema.decodeSync(schema)({ a: "a", c: 1 }) // => { a: "a", c: 1 }
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -1933,6 +2001,7 @@ const canonicalPropertyKey = key => typeof key === "symbol" ? key : globalThis.S
  * Schema.decodeUnknownSync(Encoded)({ full_name: "Alice", age: 30 }) // => { name: "Alice", age: 30 }
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -1990,6 +2059,7 @@ export function encodeKeys(mapping) {
  * alice.fullName // => "Alice Smith"
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2061,6 +2131,7 @@ export function extendTo(fields, derive) {
  * Schema.decodeUnknownSync(schema)({ a: 1, b: 2 }) // => { a: 1, b: 2 }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2095,6 +2166,7 @@ export function Record(key, value) {
  * type T = typeof schema.Type
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2126,6 +2198,7 @@ function makeTuple(ast, elements) {
  * Schema.decodeUnknownSync(schema)(["hello", 42]) // => ["hello", 42]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2157,6 +2230,7 @@ export function Tuple(elements) {
  * Schema.decodeUnknownSync(schema)(["hello", 1, true, false]) // => ["hello", 1, true, false]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2187,6 +2261,7 @@ export {
  * Schema.decodeUnknownSync(schema)(["a", "b", "c"]) // => ["a", "b", "c"]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2214,6 +2289,7 @@ export function withArrayLengthConstraints(self, minimum, maximum) {
  * Schema.decodeUnknownSync(schema)([1, 2, 3]) // => [1, 2, 3]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2243,6 +2319,7 @@ export const NonEmptyArray = /*#__PURE__*/Struct_.lambda(schema => make(new Sche
  * @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
  */
@@ -2266,6 +2343,7 @@ export function ArrayEnsure(schema) {
  * The equivalence used to determine uniqueness is the one provided by
  * `Schema.toEquivalence(item)`.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2295,6 +2373,7 @@ export function UniqueArray(item) {
  * value // => [1, 2, 3]
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 3.10.0
  */
@@ -2331,6 +2410,7 @@ function makeUnion(ast, members) {
  * Schema.decodeUnknownSync(schema)(42) // => 42
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2350,6 +2430,7 @@ export function Union(members, options) {
  * ```
  *
  * @see {@link Literal} for a schema that represents a single literal.
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2372,6 +2453,7 @@ export function Literals(literals) {
 /**
  * Creates a union schema of `S | null`.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2379,6 +2461,7 @@ export const NullOr = /*#__PURE__*/Struct_.lambda(self => Union([self, Null]));
 /**
  * Creates a union schema of `S | undefined`.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2386,6 +2469,7 @@ export const UndefinedOr = /*#__PURE__*/Struct_.lambda(self => Union([self, Unde
 /**
  * Creates a union schema of `S | null | undefined`.
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2412,6 +2496,7 @@ export const NullishOr = /*#__PURE__*/Struct_.lambda(self => Union([self, Null,
  * Schema.decodeSync(Tree)({ value: 1, children: [] }) // => { value: 1, children: [] }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2434,6 +2519,7 @@ export function suspend(f) {
  * Schema.is(AgeSchema)(121) // => false
  * ```
  *
+ * @stability stable
  * @category filtering
  * @since 4.0.0
  */
@@ -2452,6 +2538,7 @@ export function check(...checks) {
  * names type-level failures before the refinement runs; it does not name the
  * failed refinement itself.
  *
+ * @stability stable
  * @category filtering
  * @since 3.10.0
  */
@@ -2481,6 +2568,7 @@ export function refine(refinement, annotations) {
  *
  * @see {@link fromBrand} for applying a Brand constructor's checks along with its branded type
  *
+ * @stability stable
  * @category branding
  * @since 3.10.0
  */
@@ -2506,6 +2594,7 @@ export function brand(identifier) {
  *
  * @see {@link brand} for adding a brand without constructor checks
  *
+ * @stability stable
  * @category branding
  * @since 3.10.0
  */
@@ -2539,6 +2628,7 @@ export function fromBrand(identifier, ctor) {
  * ```
  *
  * @see {@link catchDecoding} for a simpler error-recovery variant
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -2572,6 +2662,7 @@ export function middlewareDecoding(decode) {
  * ```
  *
  * @see {@link catchEncoding} for a simpler error-recovery variant
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -2600,6 +2691,7 @@ export function middlewareEncoding(encode) {
  * ```
  *
  * @see {@link catchDecodingWithContext} to add service requirements to the handler
+ * @stability stable
  * @category error handling
  * @since 4.0.0
  */
@@ -2623,6 +2715,7 @@ export function catchDecoding(f) {
  * @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
  */
@@ -2638,6 +2731,7 @@ export function catchDecodingWithContext(f) {
  * 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
  */
@@ -2661,6 +2755,7 @@ export function catchEncoding(f) {
  * @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
  */
@@ -2734,6 +2829,7 @@ export const BooleanLiterals = /*#__PURE__*/Literals([...TrueLiterals.literals,
  * Schema.decodeUnknownSync(Trimmed)("  hello  ") // => "hello"
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2770,6 +2866,7 @@ export function encodeTo(to, transformation) {
  * Schema.encodeSync(UpperFromLower)("hello") // => "HELLO"
  * ```
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2801,6 +2898,7 @@ export function encode(transformation) {
  * MySchema.make({}).name // => "anonymous"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -2845,6 +2943,7 @@ function toIssueEffect(self) {
  *
  * @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
  */
@@ -2876,6 +2975,7 @@ export function withDecodingDefaultKey(defaultValue, options) {
  *
  * @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
  */
@@ -2919,6 +3019,7 @@ export function withDecodingDefaultTypeKey(defaultValue, options) {
  *
  * @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
  */
@@ -2955,6 +3056,7 @@ export function withDecodingDefault(defaultValue, options) {
  *
  * @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
  */
@@ -2982,6 +3084,7 @@ export function withDecodingDefaultType(defaultValue, options) {
  *
  * @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
  */
@@ -3016,6 +3119,7 @@ export function tag(literal) {
  * ```
  *
  * @see {@link tag} for the variant that keeps the tag during encoding
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3068,6 +3172,7 @@ export function tagDefaultOmit(literal) {
  * tagged.fields._tag.schema.literal // => "A"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -3104,6 +3209,7 @@ export function TaggedStruct(value, fields) {
  * ```
  *
  * @see {@link TaggedUnion} for a shorthand that builds the union from scratch
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -3116,6 +3222,7 @@ export function toTaggedUnion(tag) {
     const isAnyOf = keys => value => keys.includes(value[tag]);
     walk(self);
     return Object.assign(self, {
+      tag,
       cases,
       discriminants,
       isAnyOf,
@@ -3182,7 +3289,7 @@ export function toTaggedUnion(tag) {
 /**
  * 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)
  *
@@ -3203,6 +3310,7 @@ export function toTaggedUnion(tag) {
  * ```
  *
  * @see {@link toTaggedUnion} to augment an existing union instead
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3216,12 +3324,14 @@ export function TaggedUnion(casesByTag) {
   }
   const union = Union(members);
   const {
+    tag,
     guards,
     isAnyOf,
     match,
     matchOrElse
   } = toTaggedUnion("_tag")(union);
   return make(union.ast, {
+    tag,
     cases,
     isAnyOf,
     guards,
@@ -3250,6 +3360,7 @@ export function TaggedUnion(casesByTag) {
  * person.name // => "Alice"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3271,6 +3382,7 @@ export function Opaque() {
  * decoded.toISOString() // => "2024-01-01T00:00:00.000Z"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -3281,6 +3393,7 @@ export function instanceOf(constructor, annotations) {
  * 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
  */
@@ -3344,6 +3457,7 @@ export function link() {
  * }
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3352,6 +3466,7 @@ export const makeFilter = SchemaAST.makeFilter;
  * 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
  */
@@ -3374,6 +3489,7 @@ const TRIMMED_PATTERN = "^\\S[\\s\\S]*\\S$|^\\S$|^$";
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the trimmed pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -3416,6 +3532,7 @@ export function isTrimmed(annotations) {
  * 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
  */
@@ -3449,6 +3566,7 @@ export function isPattern(regExp, annotations) {
  * 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
  */
@@ -3474,6 +3592,7 @@ export function isStringFinite(annotations) {
  * This check corresponds to a `pattern` constraint with the same signed
  * base-10 integer pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -3494,6 +3613,7 @@ export function isStringBigInt(annotations) {
  * 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
  */
@@ -3538,6 +3658,7 @@ const getUUIDRegExp = version => {
  * 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
  */
@@ -3583,6 +3704,7 @@ const GUID_REGEXP = /^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{
  * constraint to ensure generated strings match the GUID pattern.
  *
  * @see {@link isUUID} for strict UUID validation.
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -3618,6 +3740,7 @@ export function isGUID(annotations) {
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the ULID pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -3652,6 +3775,7 @@ export function isULID(annotations) {
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the Base64 pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -3688,6 +3812,7 @@ export function isBase64(annotations) {
  * During arbitrary generation, this applies a `patterns`
  * constraint to ensure generated strings match the Base64URL pattern.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -3724,6 +3849,7 @@ function literalToJsonSchema(literal, original, pattern) {
  * 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
  */
@@ -3761,6 +3887,7 @@ export function isStartingWith(startsWith, annotations) {
  * 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
  */
@@ -3799,6 +3926,7 @@ export function isEndingWith(endsWith, annotations) {
  * omitted from the JSON Schema pattern so Unicode matching cannot reject a
  * valid string.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -3837,6 +3965,7 @@ const UPPERCASED_PATTERN = "^[^a-z]*$";
  * such as digits, punctuation, and whitespace. It rejects strings that would
  * change when uppercased.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -3873,6 +4002,7 @@ const LOWERCASED_PATTERN = "^[^A-Z]*$";
  * such as digits, punctuation, and whitespace. It rejects strings that would
  * change when lowercased.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -3909,6 +4039,7 @@ const CAPITALIZED_PATTERN = "^(?:[^a-z][\\s\\S]*)?$";
  * Empty strings pass. Strings whose first character has no lowercase form, such
  * as a digit, punctuation mark, or whitespace, also pass.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -3945,6 +4076,7 @@ const UNCAPITALIZED_PATTERN = "^(?:[^A-Z][\\s\\S]*)?$";
  * Empty strings pass. Strings whose first character has no uppercase form, such
  * as a digit, punctuation mark, or whitespace, also pass.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -3974,6 +4106,7 @@ export function isUncapitalized(annotations) {
 /**
  * Schema for finite numbers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -3992,6 +4125,7 @@ export const Finite = /*#__PURE__*/make(SchemaAST.finite);
  *
  * During arbitrary generation, this applies a finite-number constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4000,6 +4134,7 @@ export const isFinite = SchemaAST.isFinite;
  * Creates a greater-than (`>`) check for any ordered type from an
  * `Order.Order` instance.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4023,6 +4158,7 @@ export function makeIsGreaterThan(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
  */
@@ -4045,6 +4181,7 @@ export function makeIsGreaterThanOrEqualTo(options) {
  * Creates a less-than (`<`) check for any ordered type from an `Order.Order`
  * instance.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4068,6 +4205,7 @@ export function makeIsLessThan(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
  */
@@ -4090,6 +4228,7 @@ export function makeIsLessThanOrEqualTo(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
  */
@@ -4124,6 +4263,7 @@ export function makeIsBetween(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
  */
@@ -4158,6 +4298,7 @@ function encodeNumberPayload(number) {
  * `exclusiveMinimum` constraint to ensure generated numbers are greater than
  * the specified value.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4193,6 +4334,7 @@ export const isGreaterThan = /*#__PURE__*/makeIsGreaterThan({
  * 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
  */
@@ -4228,6 +4370,7 @@ export const isGreaterThanOrEqualTo = /*#__PURE__*/makeIsGreaterThanOrEqualTo({
  * `exclusiveMaximum` constraint to ensure generated numbers are less than the
  * specified value.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4263,6 +4406,7 @@ export const isLessThan = /*#__PURE__*/makeIsLessThan({
  * 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
  */
@@ -4301,6 +4445,7 @@ export const isLessThanOrEqualTo = /*#__PURE__*/makeIsLessThanOrEqualTo({
  * `exclusiveMaximum` flags to ensure generated numbers fall within the
  * specified range.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4349,6 +4494,7 @@ export const isBetween = /*#__PURE__*/makeIsBetween({
  *
  * Throws a `RangeError` when `divisor` is zero or is not finite.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4388,6 +4534,7 @@ export function isMultipleOf(divisor, annotations) {
  *
  * During arbitrary generation, this applies an integer constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4413,6 +4560,7 @@ export function isInt(annotations) {
 /**
  * Schema for integers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -4426,6 +4574,7 @@ export const Int = /*#__PURE__*/Number.check(/*#__PURE__*/isInt());
  *
  * @see {@link Int} for safe integers that may be negative
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -4446,6 +4595,7 @@ export const Natural = /*#__PURE__*/Int.check(/*#__PURE__*/isGreaterThanOrEqualT
  * 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
  */
@@ -4474,6 +4624,7 @@ export function isInt32(annotations) {
  * 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
  */
@@ -4504,6 +4655,7 @@ function formatDateRuntime(date) {
  *
  * During arbitrary generation, this applies an exclusive lower bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4540,6 +4692,7 @@ export const isGreaterThanDate = /*#__PURE__*/makeIsGreaterThan({
  *
  * During arbitrary generation, this applies an inclusive lower bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4570,6 +4723,7 @@ export const isGreaterThanOrEqualToDate = /*#__PURE__*/makeIsGreaterThanOrEqualT
  *
  * During arbitrary generation, this applies an exclusive upper bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4606,6 +4760,7 @@ export const isLessThanDate = /*#__PURE__*/makeIsLessThan({
  *
  * During arbitrary generation, this applies an inclusive upper bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4642,6 +4797,7 @@ export const isLessThanOrEqualToDate = /*#__PURE__*/makeIsLessThanOrEqualTo({
  *
  * During arbitrary generation, this applies the specified lower and upper bounds.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4681,6 +4837,7 @@ export const isBetweenDate = /*#__PURE__*/makeIsBetween({
  *
  * During arbitrary generation, this applies an exclusive lower bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4712,6 +4869,7 @@ export const isGreaterThanBigInt = /*#__PURE__*/makeIsGreaterThan({
  *
  * During arbitrary generation, this applies an inclusive lower bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4742,6 +4900,7 @@ export const isGreaterThanOrEqualToBigInt = /*#__PURE__*/makeIsGreaterThanOrEqua
  *
  * During arbitrary generation, this applies an exclusive upper bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4773,6 +4932,7 @@ export const isLessThanBigInt = /*#__PURE__*/makeIsLessThan({
  *
  * During arbitrary generation, this applies an inclusive upper bound.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4804,6 +4964,7 @@ export const isLessThanOrEqualToBigInt = /*#__PURE__*/makeIsLessThanOrEqualTo({
  *
  * During arbitrary generation, this applies the specified lower and upper bounds.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4865,6 +5026,7 @@ export const isBetweenBigInt = /*#__PURE__*/makeIsBetween({
  * Schema.is(NonEmptyArraySchema)([1]) // => true
  * ```
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4919,6 +5081,7 @@ function makeIsMinLength(minLength, minCodePoints, 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
  */
@@ -4944,6 +5107,7 @@ export function isNonEmpty(annotations) {
  * constraint to ensure generated strings or arrays have at most the required
  * length.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -4999,6 +5163,7 @@ export function isMaxLength(maxLength, annotations) {
  * `maxLength` constraints to ensure generated strings or arrays have a length
  * within the specified range.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5060,6 +5225,7 @@ export function isBetweenLength(minimum, maximum, annotations) {
  * @see {@link isMinLength} for counting UTF-16 code units
  * @see {@link isMaxCodePoints}
  * @see {@link isBetweenCodePoints}
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5103,6 +5269,7 @@ export function isMinCodePoints(minCodePoints, annotations) {
  * @see {@link isMaxLength} for counting UTF-16 code units
  * @see {@link isMinCodePoints}
  * @see {@link isBetweenCodePoints}
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5146,6 +5313,7 @@ export function isMaxCodePoints(maxCodePoints, annotations) {
  * @see {@link isBetweenLength} for counting UTF-16 code units
  * @see {@link isMinCodePoints}
  * @see {@link isMaxCodePoints}
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5212,6 +5380,7 @@ function normalizeCardinality(value) {
  *
  * During arbitrary generation, this applies a node-local `minSize` constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5253,6 +5422,7 @@ export function isMinSize(minSize, annotations) {
  *
  * During arbitrary generation, this applies a node-local `maxSize` constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5294,6 +5464,7 @@ export function isMaxSize(maxSize, annotations) {
  *
  * During arbitrary generation, this applies node-local `minSize` and `maxSize` constraints.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5341,6 +5512,7 @@ export function isBetweenSize(minimum, maximum, annotations) {
  *
  * During arbitrary generation, this applies a node-local `minProperties` constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5390,6 +5562,7 @@ export function isMinProperties(minProperties, annotations) {
  *
  * During arbitrary generation, this applies a node-local `maxProperties` constraint.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5439,6 +5612,7 @@ export function isMaxProperties(maxProperties, annotations) {
  *
  * During arbitrary generation, this applies node-local `minProperties` and `maxProperties` constraints.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5489,6 +5663,7 @@ export function isBetweenProperties(minimum, maximum, annotations) {
  * names in the original input. Property transformations and excess-property
  * handling can therefore produce different results.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5545,6 +5720,7 @@ export function isPropertyNames(keySchema, annotations) {
  * During arbitrary generation, this applies a node-local identity selector
  * for constructive uniqueness using Effect equality.
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -5579,6 +5755,7 @@ export function isUnique(annotations) {
  * 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
  */
@@ -5602,6 +5779,7 @@ export function isUniqueKey(annotations) {
  * Schema for non-empty strings. Validates that a string has at least one
  * character.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -5622,6 +5800,7 @@ export const NonEmptyString = /*#__PURE__*/String.check(/*#__PURE__*/isNonEmpty(
  * @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
  */
@@ -5659,6 +5838,7 @@ const errorSchemaCache = [];
  * 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
  */
@@ -5723,6 +5903,7 @@ const defectSchemaCache = [];
  *   string representation.
  *
  * @see {@link ErrorInstance} for a schema that only accepts JavaScript `Error` values.
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -5740,6 +5921,7 @@ export function Defect(options) {
  * Schema for readonly maps whose keys and values conform to the provided
  * schemas.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -5780,6 +5962,7 @@ export function ReadonlyMap(key, value) {
 /**
  * Schema for readonly sets whose values conform to the provided element schema.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -5823,6 +6006,7 @@ export function ReadonlySet(value) {
  *
  * The default JSON serializer encodes a `RegExp` as `{ source, flags }`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -5864,6 +6048,7 @@ const URLString = /*#__PURE__*/String.annotate({
  *
  * - encodes `URL` as a `string`
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -5890,6 +6075,7 @@ export const URL = /*#__PURE__*/instanceOf(globalThis.URL, {
  * Encoding:
  * - A `URL` is encoded as a `string`
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -5922,6 +6108,7 @@ const DateString = /*#__PURE__*/String.annotate({
  * @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
  */
@@ -5959,6 +6146,7 @@ export const Date = /*#__PURE__*/declare(input => input instanceof globalThis.Da
  * @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
  */
@@ -5988,6 +6176,7 @@ export const DateFromString = /*#__PURE__*/DateString.pipe(/*#__PURE__*/decodeTo
  * @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
  */
@@ -6022,6 +6211,7 @@ const JsonString = /*#__PURE__*/String.annotate({
  * Schema.encodeSync(schemaFromJsonString)({ a: 1 }) // => "{\n  \"a\": 1\n}"
  * ```
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -6038,6 +6228,7 @@ export const UnknownFromJsonString = /*#__PURE__*/fromJsonString(Unknown);
  * 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
  */
@@ -6093,6 +6284,7 @@ export const File = /*#__PURE__*/instanceOf(globalThis.File, {
  * 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
  */
@@ -6216,6 +6408,7 @@ export const FormData = /*#__PURE__*/instanceOf(globalThis.FormData, {
  * Schema.decodeUnknownSync(schema)(formData) // => { a: 1 }
  * ```
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -6229,6 +6422,7 @@ export function fromFormData(schema) {
  *
  * The default JSON serializer encodes a `URLSearchParams` as a query string.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -6323,6 +6517,7 @@ export const URLSearchParams = /*#__PURE__*/instanceOf(globalThis.URLSearchParam
  * Schema.decodeUnknownSync(schema)(urlSearchParams) // => { a: 1 }
  * ```
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -6343,6 +6538,7 @@ export function fromURLSearchParams(schema) {
  * Encoding:
  * A number is encoded as a `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -6361,6 +6557,7 @@ export const NumberFromString = /*#__PURE__*/String.annotate({
  * Encoding:
  * - A finite number is encoded as a `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -6392,6 +6589,7 @@ export const FiniteFromString = /*#__PURE__*/String.annotate({
  * @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
  */
@@ -6399,6 +6597,7 @@ export const BigIntFromString = /*#__PURE__*/make(SchemaAST.bigIntString).pipe(/
 /**
  * Schema for strings that contains no leading or trailing whitespaces.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -6414,6 +6613,7 @@ export const Trimmed = /*#__PURE__*/String.check(/*#__PURE__*/isTrimmed());
  * Encoding:
  * - The trimmed string is encoded as is.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -6431,6 +6631,7 @@ export const Trim = /*#__PURE__*/String.annotate({
  * Encoding:
  * - A `string` is encoded as a base64-encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -6448,6 +6649,7 @@ export const StringFromBase64 = /*#__PURE__*/String.annotate({
  * Encoding:
  * - A `string` is encoded as a base64 (URL) encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -6465,6 +6667,7 @@ export const StringFromBase64Url = /*#__PURE__*/String.annotate({
  * Encoding:
  * - A `string` is encoded as a hex string.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -6500,6 +6703,7 @@ export const StringFromHex = /*#__PURE__*/String.annotate({
  * Schema.encodeSync(UrlSchema)({ maxItemPerPage: 10, page: 1 }) // => "%7B%22maxItemPerPage%22%3A10%2C%22page%22%3A1%7D"
  * ```
  *
+ * @stability stable
  * @category schemas
  * @since 3.12.0
  */
@@ -6510,6 +6714,7 @@ export const StringFromUriComponent = /*#__PURE__*/String.annotate({
  * Schema for property keys accepted by Effect schemas: finite `number`,
  * `symbol`, or `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -6522,6 +6727,7 @@ export const PropertyKey = /*#__PURE__*/Union([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
  */
@@ -6549,6 +6755,7 @@ export const StandardSchemaV1FailureResult = /*#__PURE__*/Struct({
  * @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
  */
@@ -6570,6 +6777,7 @@ const Base64String = /*#__PURE__*/String.annotate({
  *
  * The default JSON serializer encodes Uint8Array as a Base64 encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -6597,6 +6805,7 @@ export const Uint8Array = /*#__PURE__*/instanceOf(globalThis.Uint8Array, {
  * Encoding:
  * - A `Uint8Array` is encoded as a base64-encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -6613,6 +6822,7 @@ export const Uint8ArrayFromBase64 = /*#__PURE__*/Base64String.pipe(/*#__PURE__*/
  * Encoding:
  * - A `Uint8Array` is encoded as a base64 (URL) encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -6634,6 +6844,7 @@ export const Uint8ArrayFromBase64Url = /*#__PURE__*/String.annotate({
  * Encoding:
  * - A `Uint8Array` is encoded as a hex encoded string.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -6658,6 +6869,7 @@ const bigDecimalFromString = /*#__PURE__*/SchemaTransformation.transformEffect({
 /**
  * Validates that a BigDecimal is greater than the specified value (exclusive).
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6669,6 +6881,7 @@ export const isGreaterThanBigDecimal = /*#__PURE__*/makeIsGreaterThan({
  * Validates that a BigDecimal is greater than or equal to the specified value
  * (inclusive).
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6679,6 +6892,7 @@ export const isGreaterThanOrEqualToBigDecimal = /*#__PURE__*/makeIsGreaterThanOr
 /**
  * Validates that a BigDecimal is less than the specified value (exclusive).
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6690,6 +6904,7 @@ export const isLessThanBigDecimal = /*#__PURE__*/makeIsLessThan({
  * Validates that a BigDecimal is less than or equal to the specified value
  * (inclusive).
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -6705,6 +6920,7 @@ export const isLessThanOrEqualToBigDecimal = /*#__PURE__*/makeIsLessThanOrEqualT
  * 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
  */
@@ -6731,6 +6947,7 @@ const BigDecimalString = /*#__PURE__*/String.annotate({
  *
  * @see {@link BigDecimalFromString} for parsing string input into a BigDecimal
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -6772,6 +6989,7 @@ export const BigDecimal = /*#__PURE__*/declare(BigDecimal_.isBigDecimal, {
  * @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
  */
@@ -6785,6 +7003,7 @@ export const BigDecimalFromString = /*#__PURE__*/BigDecimalString.pipe(/*#__PURE
  * 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
  */
@@ -6834,6 +7053,7 @@ const ByteSizeString = /*#__PURE__*/String.annotate({
  * 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
  */
@@ -6841,6 +7061,7 @@ export const ByteSizeFromString = /*#__PURE__*/ByteSizeString.pipe(/*#__PURE__*/
 /**
  * Schema that decodes non-negative bigint byte counts.
  *
+ * @stability unstable
  * @category schemas
  * @since 4.0.0
  */
@@ -6852,6 +7073,7 @@ export const ByteSizeFromBigInt = /*#__PURE__*/BigInt.pipe(/*#__PURE__*/decodeTo
  *
  * Encoding fails when the byte count exceeds `Number.MAX_SAFE_INTEGER`.
  *
+ * @stability unstable
  * @category schemas
  * @since 4.0.0
  */
@@ -6873,6 +7095,7 @@ export const ByteSizeFromNumber = /*#__PURE__*/Number.pipe(/*#__PURE__*/decodeTo
  * @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
  */
@@ -6972,6 +7195,7 @@ export function CauseReason(error, defect) {
  * @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
  */
@@ -7024,6 +7248,7 @@ function chunkLink(values) {
 /**
  * Schema for chunks whose values conform to the provided element schema.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -7162,6 +7387,7 @@ function timeZoneArbitrarySchema() {
  * @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
  */
@@ -7206,6 +7432,7 @@ export const DateTimeUtc = /*#__PURE__*/declare(u => DateTime.isDateTime(u) && D
  * @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
  */
@@ -7231,6 +7458,7 @@ export const DateTimeUtcFromDate = /*#__PURE__*/Date.pipe(/*#__PURE__*/decodeTo(
  * @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
  */
@@ -7252,6 +7480,7 @@ export const DateTimeUtcFromString = /*#__PURE__*/String.annotate({
  * @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
  */
@@ -7268,6 +7497,7 @@ export const DateTimeUtcFromMillis = /*#__PURE__*/Int.pipe(/*#__PURE__*/decodeTo
  *
  * - encodes `DateTime.TimeZone.Offset` as a number (offset in milliseconds)
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -7297,6 +7527,7 @@ const TimeZoneNamedString = /*#__PURE__*/String.annotate({
  *
  * - encodes `DateTime.TimeZone.Named` as a string (IANA time zone identifier)
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -7326,6 +7557,7 @@ export const TimeZoneNamed = /*#__PURE__*/declare(DateTime.isTimeZoneNamed, {
  * Encoding:
  * - A `DateTime.TimeZone.Named` is encoded as a `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -7343,6 +7575,7 @@ const TimeZoneString = /*#__PURE__*/String.annotate({
  * - encodes `DateTime.TimeZone` as a string (IANA identifier or offset like
  *   `+03:00`)
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -7372,6 +7605,7 @@ export const TimeZone = /*#__PURE__*/declare(DateTime.isTimeZone, {
  * Encoding:
  * - A `DateTime.TimeZone` is encoded as a `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -7391,6 +7625,7 @@ const DateTimeZonedString = /*#__PURE__*/String.annotate({
  * - encodes named zones by appending the IANA identifier in brackets, such as
  *   `YYYY-MM-DDTHH:mm:ss.sss+HH:MM[Time/Zone]`
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -7434,6 +7669,7 @@ export const DateTimeZoned = /*#__PURE__*/declare(u => DateTime.isDateTime(u) &&
  * Encoding:
  * - A `DateTime.Zoned` is encoded as a `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -7965,6 +8201,7 @@ const durationFromMillis = /*#__PURE__*/SchemaTransformation.transform({
  * Schema.decodeUnknownSync(Schema.Duration)(Duration.seconds(5)) // => Duration.seconds(5)
  * ```
  *
+ * @stability stable
  * @category schemas
  *
  * @since 3.10.0
@@ -8042,6 +8279,7 @@ const DurationString = /*#__PURE__*/String.annotate({
  * Encoding:
  * - A `Duration` is encoded as a parseable `string`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -8060,6 +8298,7 @@ export const DurationFromString = /*#__PURE__*/DurationString.pipe(/*#__PURE__*/
  * fails when the duration cannot be represented as nanoseconds, such as
  * `Duration.infinity` or `Duration.negativeInfinity`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -8080,6 +8319,7 @@ export const DurationFromNanos = /*#__PURE__*/BigInt.pipe(/*#__PURE__*/decodeTo(
  *
  * `NaN` is decoded as `Duration.zero`, matching `Duration.millis`.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -8093,6 +8333,7 @@ export const DurationFromMillis = /*#__PURE__*/Number.pipe(/*#__PURE__*/decodeTo
  * 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
  */
@@ -8302,6 +8543,7 @@ function hashMapLink(entries) {
 /**
  * Schema for hash maps whose keys and values conform to the provided schemas.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -8354,6 +8596,7 @@ function hashSetLink(values) {
 /**
  * Schema for hash sets whose values conform to the provided element schema.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -8395,6 +8638,7 @@ export function HashSet(value) {
 /**
  * Schema for `Option<A>` values.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -8450,6 +8694,7 @@ export function Option(value) {
  * 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
  */
@@ -8465,6 +8710,7 @@ export function OptionFromNullOr(schema) {
  * 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
  */
@@ -8481,6 +8727,7 @@ export function OptionFromUndefinedOr(schema) {
  * `options.onNoneEncoding`, which defaults to `undefined`, and maps `Some` to
  * its value.
  *
+ * @stability stable
  * @category schemas
  * @since 3.10.0
  */
@@ -8687,6 +8934,7 @@ export const RecordFromUrlParams = /*#__PURE__*/UrlParams.pipe(/*#__PURE__*/deco
  * 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
  */
@@ -8703,6 +8951,7 @@ export function OptionFromOptionalKey(schema) {
  * 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
  */
@@ -8720,6 +8969,7 @@ export function OptionFromOptional(schema) {
  * according to `options.onNoneEncoding`: `"omit"` encodes a missing key,
  * `null` encodes `null`, and `undefined` encodes `undefined`.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -8748,6 +8998,7 @@ export function OptionFromOptionalNullOr(schema, options) {
  *   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
  */
@@ -8807,6 +9058,7 @@ export function Redacted(value, options) {
  * 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
  */
@@ -8824,6 +9076,7 @@ export function RedactedFromValue(value, options) {
 /**
  * Schema for `Result<A, E>` values.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9060,6 +9313,7 @@ function isStruct(schema) {
  * @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
  */
@@ -9100,6 +9354,7 @@ export const Class = identifier => (schema, annotations) => {
  * c.radius // => 5
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -9136,6 +9391,7 @@ export const TaggedClass = identifier => {
  * error.id // => 1
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -9172,6 +9428,7 @@ export const Error = identifier => (schema, annotations) => {
  * error.id // => 42
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -9195,6 +9452,7 @@ export const TaggedError = identifier => {
  * 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
  */
@@ -9213,6 +9471,7 @@ export function overrideToFormatter(toFormatter) {
  * The optional `onBefore` hook lets you intercept specific AST nodes before
  * the default formatting logic runs.
  *
+ * @stability stable
  * @category formatting
  * @since 4.0.0
  */
@@ -9228,6 +9487,7 @@ export function toFormatter(schema, 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
  */
@@ -9252,6 +9512,7 @@ export function overrideToEquivalence(toEquivalence) {
  * eq({ id: 1, name: "Alice" }, { id: 2, name: "Alice" }) // => false
  * ```
  *
+ * @stability stable
  * @category instances
  * @since 4.0.0
  */
@@ -9276,6 +9537,7 @@ export function toEquivalence(schema) {
  *
  * @see {@link SchemaRepresentation.toRepresentation} for converting a `SchemaAST.AST` directly
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -9350,6 +9612,7 @@ export function toRepresentation(schema, options) {
  * @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
  */
@@ -9378,6 +9641,7 @@ export function toJsonSchemaDocument(schema, options) {
  * 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
  */
@@ -9396,6 +9660,7 @@ export const toCodecJson = InternalToCodec.toCodecJson;
  * Links cannot require services because the returned `Codec` does not expose
  * service requirements.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -9417,6 +9682,7 @@ export const toCodecIso = InternalToCodec.toCodecIso;
  * `toCodec` encoding. A callback can return `undefined` when the declaration is
  * already in canonical StringTree form.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -9436,6 +9702,7 @@ export const toCodecStringTree = InternalToCodec.toCodecStringTree;
  * decoding convenience rather than a canonical StringTree representation. It
  * does not parse comma-separated strings.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -9449,6 +9716,7 @@ export const toCodecArrayFromSingle = InternalToCodec.toCodecArrayFromSingle;
  * 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
  */
@@ -9472,6 +9740,7 @@ export function toEncoderXml(codec, options) {
  * `SchemaIssue.makeFormatterDefault()`. Consume {@link toCodecIso} with an
  * effectful parser for asynchronous execution or explicit failure handling.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -9481,6 +9750,7 @@ export function toIso(schema) {
 /**
  * Returns an identity `Iso` over the schema's source (`Type`) side.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -9490,6 +9760,7 @@ export function toIsoSource(schema) {
 /**
  * Returns an identity `Iso` over the schema's focus (`Iso`) side.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -9510,6 +9781,7 @@ export function toIsoFocus(schema) {
  * provided `decode` and `encode` getters to transform between the schema type
  * and the target codec.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -9540,6 +9812,7 @@ export function overrideToCodecIso(to, transformation) {
  * `SchemaIssue.makeFormatterDefault()`. Invalid patch operations instead produce
  * {@link JsonPatch.apply} errors.
  *
+ * @stability stable
  * @category converting
  * @since 4.0.0
  */
@@ -9551,6 +9824,7 @@ export function toDifferJsonPatch(schema) {
  * 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
  */
@@ -9570,6 +9844,7 @@ export function Tree(node) {
  * Schema.decodeUnknownOption(Schema.Json)({ key: [1, true, null] }) // => Option.some({ key: [1, true, null] })
  * ```
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9596,6 +9871,7 @@ export const Json = /*#__PURE__*/make(/*#__PURE__*/SchemaAST.annotate(SchemaAST.
  * ```
  *
  * @see {@link Json} for a schema that also accepts JSON arrays and primitive values
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9610,6 +9886,7 @@ const JsonError = /*#__PURE__*/Struct({
  * Schema that accepts any mutable JSON-compatible value. See {@link Json} for
  * the immutable variant.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -9625,6 +9902,7 @@ export const MutableJson = /*#__PURE__*/make(/*#__PURE__*/SchemaAST.annotate(Sch
  * annotations are taken from the last check; otherwise they are taken from
  * the base schema instance.
  *
+ * @stability stable
  * @category getters
  * @since 4.0.0
  */
@@ -9636,6 +9914,7 @@ export function resolveAnnotations(schema) {
  * 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
  */