effect 4.0.1 → 4.0.2

package/src/SchemaRepresentation.ts

@@ -1,6 +1,7 @@
 /**
  * Open, compiler-extensible representation of Effect schemas.
  *
+ * @stability stable
  * @since 4.0.0
  */
 import * as InternalRecord from "./internal/record.ts"
@@ -18,6 +19,7 @@ import * as InternalGetter from "./SchemaGetter.ts"
 /**
  * Open persistence identity carried by declarations and opaque checks.
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -29,6 +31,7 @@ export interface RepresentationAnnotation {
 /**
  * Open persistence identity and schema dependencies carried by opaque checks.
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -39,6 +42,7 @@ export interface CheckRepresentationAnnotation<S> extends RepresentationAnnotati
 /**
  * Input and output contracts for JSON Schema compiler annotations.
  *
+ * @stability stable
  * @since 4.0.0
  */
 export declare namespace ToJsonSchema {
@@ -123,6 +127,7 @@ export declare namespace ToJsonSchema {
 /**
  * Input and output contracts for code generation annotations.
  *
+ * @stability stable
  * @since 4.0.0
  */
 export declare namespace Generation {
@@ -189,6 +194,7 @@ export declare namespace Generation {
 /**
  * A custom opaque declaration.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -203,6 +209,7 @@ export interface Declaration {
 /**
  * A lazily resolved representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -216,6 +223,7 @@ export interface Suspend {
 /**
  * A named reference.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -233,6 +241,7 @@ interface Keyword<Tag extends string> {
 /**
  * The null keyword representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -240,6 +249,7 @@ export interface Null extends Keyword<"Null"> {}
 /**
  * The undefined keyword representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -247,6 +257,7 @@ export interface Undefined extends Keyword<"Undefined"> {}
 /**
  * The void keyword representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -254,6 +265,7 @@ export interface Void extends Keyword<"Void"> {}
 /**
  * The never keyword representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -261,6 +273,7 @@ export interface Never extends Keyword<"Never"> {}
 /**
  * The unknown keyword representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -268,6 +281,7 @@ export interface Unknown extends Keyword<"Unknown"> {}
 /**
  * The any keyword representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -276,6 +290,7 @@ export interface Any extends Keyword<"Any"> {}
 /**
  * A string representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -284,6 +299,7 @@ export interface String extends Keyword<"String"> {}
 /**
  * A number representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -291,6 +307,7 @@ export interface Number extends Keyword<"Number"> {}
 /**
  * A boolean representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -298,6 +315,7 @@ export interface Boolean extends Keyword<"Boolean"> {}
 /**
  * A bigint representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -305,6 +323,7 @@ export interface BigInt extends Keyword<"BigInt"> {}
 /**
  * A symbol representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -318,6 +337,7 @@ export interface Symbol extends Keyword<"Symbol"> {}
  * The live representation stores the native literal value. Persistent codecs
  * add an explicit type discriminator when encoding it.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -333,6 +353,7 @@ export interface Literal extends Keyword<"Literal"> {
  * Globally registered symbols have an exact JSON string representation. Local
  * symbols have no JSON representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -343,6 +364,7 @@ export interface UniqueSymbol extends Keyword<"UniqueSymbol"> {
 /**
  * The object keyword representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -356,6 +378,7 @@ export interface ObjectKeyword extends Keyword<"ObjectKeyword"> {}
  * Enum members are stored as native string or finite number values. Persistent
  * codecs add an explicit type discriminator when encoding them.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -366,6 +389,7 @@ export interface Enum extends Keyword<"Enum"> {
 /**
  * A template literal representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -376,6 +400,7 @@ export interface TemplateLiteral extends Keyword<"TemplateLiteral"> {
 /**
  * A tuple element.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -388,6 +413,7 @@ export interface Element {
 /**
  * An array or tuple representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -409,6 +435,7 @@ export interface Arrays extends Keyword<"Arrays"> {
  * Local symbols can be represented while the schema is live, but persistent
  * codecs reject them because they cannot be reconstructed by identity.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -423,6 +450,7 @@ export interface PropertySignature {
 /**
  * An index signature.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -434,6 +462,7 @@ export interface IndexSignature {
 /**
  * An object representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -445,6 +474,7 @@ export interface Objects extends Keyword<"Objects"> {
 /**
  * A union representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -456,6 +486,7 @@ export interface Union extends Keyword<"Union"> {
 /**
  * The structural schema representation.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -486,6 +517,7 @@ export type Representation =
 /**
  * A structural check.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -494,6 +526,7 @@ export type Check = Filter | FilterGroup
 /**
  * An opaque leaf check.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -507,6 +540,7 @@ export interface Filter {
 /**
  * A non-empty group of checks.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -520,6 +554,7 @@ export interface FilterGroup {
 /**
  * Named representation definitions.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -530,6 +565,7 @@ export interface References {
 /**
  * A single representation and its definitions.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -541,6 +577,7 @@ export interface Document {
 /**
  * Multiple representations sharing definitions.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -552,6 +589,7 @@ export interface MultiDocument {
 /**
  * Reviver for a declaration.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -568,6 +606,7 @@ export interface DeclarationReviver<P> {
 /**
  * Reviver for a leaf check.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -584,6 +623,7 @@ export interface FilterReviver<P> {
 /**
  * Reviver for a check group.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -600,6 +640,7 @@ export interface FilterGroupReviver<P> {
 /**
  * A check reviver.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -608,6 +649,7 @@ export type CheckReviver<P> = FilterReviver<P> | FilterGroupReviver<P>
 /**
  * A typed reviver.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -616,6 +658,7 @@ export type Reviver<P> = DeclarationReviver<P> | CheckReviver<P>
 /**
  * A reviver erased only at collection boundaries.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -624,6 +667,7 @@ export type AnyReviver = Reviver<any>
 /**
  * Creates a declaration reviver while inferring its payload type from `payloadSchema`.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -636,6 +680,7 @@ export const makeReviverDeclaration: <P>(
 /**
  * Creates a filter reviver while inferring its payload type from `payloadSchema`.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -648,6 +693,7 @@ export const makeReviverFilter: <P>(
 /**
  * Creates a filter group reviver while inferring its payload type from `payloadSchema`.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -728,6 +774,7 @@ const RedactedRepresentationPayload: Schema.Decoder<RedactedRepresentationPayloa
  *
  * @see {@link Schema.isTrimmed} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -746,6 +793,7 @@ export const isTrimmedReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isPattern} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -767,6 +815,7 @@ export const isPatternReviver: FilterReviver<{
  *
  * @see {@link Schema.isStringFinite} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -785,6 +834,7 @@ export const isStringFiniteReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isStringBigInt} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -803,6 +853,7 @@ export const isStringBigIntReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isStringSymbol} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -821,6 +872,7 @@ export const isStringSymbolReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isUUID} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -841,6 +893,7 @@ export const isUUIDReviver: FilterReviver<{
  *
  * @see {@link Schema.isGUID} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -859,6 +912,7 @@ export const isGUIDReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isULID} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -877,6 +931,7 @@ export const isULIDReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isBase64} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -895,6 +950,7 @@ export const isBase64Reviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isBase64Url} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -913,6 +969,7 @@ export const isBase64UrlReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isStartingWith} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -933,6 +990,7 @@ export const isStartingWithReviver: FilterReviver<{
  *
  * @see {@link Schema.isEndingWith} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -953,6 +1011,7 @@ export const isEndingWithReviver: FilterReviver<{
  *
  * @see {@link Schema.isIncluding} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -973,6 +1032,7 @@ export const isIncludingReviver: FilterReviver<{
  *
  * @see {@link Schema.isUppercased} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -991,6 +1051,7 @@ export const isUppercasedReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isLowercased} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1009,6 +1070,7 @@ export const isLowercasedReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isCapitalized} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1027,6 +1089,7 @@ export const isCapitalizedReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isUncapitalized} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1045,6 +1108,7 @@ export const isUncapitalizedReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isFinite} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1063,6 +1127,7 @@ export const isFiniteReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isGreaterThan} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1083,6 +1148,7 @@ export const isGreaterThanReviver: FilterReviver<{
  *
  * @see {@link Schema.isGreaterThanOrEqualTo} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1103,6 +1169,7 @@ export const isGreaterThanOrEqualToReviver: FilterReviver<{
  *
  * @see {@link Schema.isLessThan} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1123,6 +1190,7 @@ export const isLessThanReviver: FilterReviver<{
  *
  * @see {@link Schema.isLessThanOrEqualTo} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1143,6 +1211,7 @@ export const isLessThanOrEqualToReviver: FilterReviver<{
  *
  * @see {@link Schema.isBetween} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1171,6 +1240,7 @@ export const isBetweenReviver: FilterReviver<{
  *
  * @see {@link Schema.isMultipleOf} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1191,6 +1261,7 @@ export const isMultipleOfReviver: FilterReviver<{
  *
  * @see {@link Schema.isInt} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1209,6 +1280,7 @@ export const isIntReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isMinLength} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1229,6 +1301,7 @@ export const isMinLengthReviver: FilterReviver<{
  *
  * @see {@link Schema.isMaxLength} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1249,6 +1322,7 @@ export const isMaxLengthReviver: FilterReviver<{
  *
  * @see {@link Schema.isBetweenLength} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1265,6 +1339,7 @@ export const isBetweenLengthReviver: FilterReviver<{
  * Reviver for persisted `isMinCodePoints` checks.
  *
  * @see {@link Schema.isMinCodePoints} for creating the corresponding check
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1280,6 +1355,7 @@ export const isMinCodePointsReviver: FilterReviver<{
  * Reviver for persisted `isMaxCodePoints` checks.
  *
  * @see {@link Schema.isMaxCodePoints} for creating the corresponding check
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1295,6 +1371,7 @@ export const isMaxCodePointsReviver: FilterReviver<{
  * Reviver for persisted `isBetweenCodePoints` checks.
  *
  * @see {@link Schema.isBetweenCodePoints} for creating the corresponding check
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1316,6 +1393,7 @@ export const isBetweenCodePointsReviver: FilterReviver<{
  *
  * @see {@link Schema.isMinSize} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1336,6 +1414,7 @@ export const isMinSizeReviver: FilterReviver<{
  *
  * @see {@link Schema.isMaxSize} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1356,6 +1435,7 @@ export const isMaxSizeReviver: FilterReviver<{
  *
  * @see {@link Schema.isBetweenSize} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1377,6 +1457,7 @@ export const isBetweenSizeReviver: FilterReviver<{
  *
  * @see {@link Schema.isMinProperties} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1397,6 +1478,7 @@ export const isMinPropertiesReviver: FilterReviver<{
  *
  * @see {@link Schema.isMaxProperties} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1417,6 +1499,7 @@ export const isMaxPropertiesReviver: FilterReviver<{
  *
  * @see {@link Schema.isBetweenProperties} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1438,6 +1521,7 @@ export const isBetweenPropertiesReviver: FilterReviver<{
  *
  * @see {@link Schema.isPropertyNames} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1456,6 +1540,7 @@ export const isPropertyNamesReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.isUnique} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1473,6 +1558,7 @@ export const isUniqueReviver: FilterReviver<null> = makeReviverFilter(
  * Use when reconstructing documents that may contain checks created by {@link Schema.isUniqueKey}.
  *
  * @see {@link Schema.isUniqueKey} for creating the corresponding check
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -1491,6 +1577,7 @@ export const isUniqueKeyReviver: FilterReviver<null> = makeReviverFilter(
  *
  * @see {@link Schema.Option} for creating the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1512,6 +1599,7 @@ export const OptionReviver: DeclarationReviver<null> = makeReviverDeclaration(
  *
  * @see {@link Schema.Result} for creating the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1533,6 +1621,7 @@ export const ResultReviver: DeclarationReviver<null> = makeReviverDeclaration(
  *
  * @see {@link Schema.Redacted} for creating the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1554,6 +1643,7 @@ export const RedactedReviver: DeclarationReviver<RedactedRepresentationPayload>
  *
  * @see {@link Schema.CauseReason} for creating the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1575,6 +1665,7 @@ export const CauseReasonReviver: DeclarationReviver<null> = makeReviverDeclarati
  *
  * @see {@link Schema.Cause} for creating the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1596,6 +1687,7 @@ export const CauseReviver: DeclarationReviver<null> = makeReviverDeclaration(
  *
  * @see {@link Schema.ErrorInstance} for creating the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1617,6 +1709,7 @@ export const ErrorInstanceReviver: DeclarationReviver<ErrorRepresentationPayload
  *
  * @see {@link Schema.Exit} for creating the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1638,6 +1731,7 @@ export const ExitReviver: DeclarationReviver<null> = makeReviverDeclaration(
  *
  * @see {@link Schema.ReadonlyMap} for creating the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1653,6 +1747,7 @@ export const ReadonlyMapReviver: DeclarationReviver<null> = makeReviverDeclarati
 /**
  * Reviver for persisted {@link Schema.Graph} declarations.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1674,6 +1769,7 @@ export const GraphReviver: DeclarationReviver<"directed" | "undirected"> = makeR
  *
  * @see {@link Schema.HashMap} for creating the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1695,6 +1791,7 @@ export const HashMapReviver: DeclarationReviver<null> = makeReviverDeclaration(
  *
  * @see {@link Schema.ReadonlySet} for creating the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1716,6 +1813,7 @@ export const ReadonlySetReviver: DeclarationReviver<null> = makeReviverDeclarati
  *
  * @see {@link Schema.HashSet} for creating the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1737,6 +1835,7 @@ export const HashSetReviver: DeclarationReviver<null> = makeReviverDeclaration(
  *
  * @see {@link Schema.Chunk} for creating the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1758,6 +1857,7 @@ export const ChunkReviver: DeclarationReviver<null> = makeReviverDeclaration(
  *
  * @see {@link Schema.RegExp} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1775,6 +1875,7 @@ export const RegExpReviver: DeclarationReviver<null> = makeFixedDeclarationReviv
  *
  * @see {@link Schema.URL} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1789,6 +1890,7 @@ export const URLReviver: DeclarationReviver<null> = makeFixedDeclarationReviver(
  *
  * @see {@link Schema.Date} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1803,6 +1905,7 @@ export const DateReviver: DeclarationReviver<null> = makeFixedDeclarationReviver
  *
  * @see {@link Schema.Duration} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1814,6 +1917,7 @@ export const DurationReviver: DeclarationReviver<null> = makeFixedDeclarationRev
 /**
  * Reviver for persisted {@link Schema.ByteSize} declarations.
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1831,6 +1935,7 @@ export const ByteSizeReviver: DeclarationReviver<null> = makeFixedDeclarationRev
  *
  * @see {@link Schema.BigDecimal} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1848,6 +1953,7 @@ export const BigDecimalReviver: DeclarationReviver<null> = makeFixedDeclarationR
  *
  * @see {@link Schema.File} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1862,6 +1968,7 @@ export const FileReviver: DeclarationReviver<null> = makeFixedDeclarationReviver
  *
  * @see {@link Schema.FormData} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1879,6 +1986,7 @@ export const FormDataReviver: DeclarationReviver<null> = makeFixedDeclarationRev
  *
  * @see {@link Schema.URLSearchParams} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1896,6 +2004,7 @@ export const URLSearchParamsReviver: DeclarationReviver<null> = makeFixedDeclara
  *
  * @see {@link Schema.Uint8Array} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1913,6 +2022,7 @@ export const Uint8ArrayReviver: DeclarationReviver<null> = makeFixedDeclarationR
  *
  * @see {@link Schema.DateTimeUtc} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1930,6 +2040,7 @@ export const DateTimeUtcReviver: DeclarationReviver<null> = makeFixedDeclaration
  *
  * @see {@link Schema.TimeZoneOffset} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1947,6 +2058,7 @@ export const TimeZoneOffsetReviver: DeclarationReviver<null> = makeFixedDeclarat
  *
  * @see {@link Schema.TimeZoneNamed} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1964,6 +2076,7 @@ export const TimeZoneNamedReviver: DeclarationReviver<null> = makeFixedDeclarati
  *
  * @see {@link Schema.TimeZone} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1981,6 +2094,7 @@ export const TimeZoneReviver: DeclarationReviver<null> = makeFixedDeclarationRev
  *
  * @see {@link Schema.DateTimeZoned} for the corresponding schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -1998,6 +2112,7 @@ export const DateTimeZonedReviver: DeclarationReviver<null> = makeFixedDeclarati
  *
  * @see {@link Schema.isGreaterThanDate} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -2018,6 +2133,7 @@ export const isGreaterThanDateReviver: FilterReviver<{
  *
  * @see {@link Schema.isGreaterThanOrEqualToDate} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -2038,6 +2154,7 @@ export const isGreaterThanOrEqualToDateReviver: FilterReviver<{
  *
  * @see {@link Schema.isLessThanDate} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -2058,6 +2175,7 @@ export const isLessThanDateReviver: FilterReviver<{
  *
  * @see {@link Schema.isLessThanOrEqualToDate} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -2078,6 +2196,7 @@ export const isLessThanOrEqualToDateReviver: FilterReviver<{
  *
  * @see {@link Schema.isBetweenDate} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -2106,6 +2225,7 @@ export const isBetweenDateReviver: FilterReviver<{
  *
  * @see {@link Schema.isGreaterThanBigInt} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -2126,6 +2246,7 @@ export const isGreaterThanBigIntReviver: FilterReviver<{
  *
  * @see {@link Schema.isGreaterThanOrEqualToBigInt} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -2146,6 +2267,7 @@ export const isGreaterThanOrEqualToBigIntReviver: FilterReviver<{
  *
  * @see {@link Schema.isLessThanBigInt} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -2166,6 +2288,7 @@ export const isLessThanBigIntReviver: FilterReviver<{
  *
  * @see {@link Schema.isLessThanOrEqualToBigInt} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -2186,6 +2309,7 @@ export const isLessThanOrEqualToBigIntReviver: FilterReviver<{
  *
  * @see {@link Schema.isBetweenBigInt} for creating the corresponding check
  *
+ * @stability stable
  * @category validation
  * @since 4.0.0
  */
@@ -2214,6 +2338,7 @@ export const isBetweenBigIntReviver: FilterReviver<{
  *
  * @see {@link Schema.Json} for the corresponding immutable JSON schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -2228,6 +2353,7 @@ export const JsonReviver: DeclarationReviver<null> = makeFixedDeclarationReviver
  *
  * @see {@link Schema.MutableJson} for the corresponding mutable JSON schema
  *
+ * @stability stable
  * @category schemas
  * @since 4.0.0
  */
@@ -2284,6 +2410,7 @@ const jsonSchemaRevivers: ReadonlyArray<AnyReviver> = [
  * `onEnter` must return a JSON Schema object. Its result is used directly, and exceptions raised by the callback pass
  * through unchanged.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2300,6 +2427,7 @@ export interface FromJsonSchemaOptions {
 /**
  * Runtime and TypeScript source generated for one schema.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2311,6 +2439,7 @@ export interface Code {
 /**
  * Creates generated runtime and TypeScript source strings for a schema.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2319,6 +2448,7 @@ export const makeCode: (runtime: string, Type: string) => Code = InternalToCodeD
 /**
  * Auxiliary source artifact emitted while generating schema code.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2341,6 +2471,7 @@ export type Artifact =
 /**
  * Generated schema code together with named references and auxiliary artifacts.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2359,6 +2490,7 @@ export interface CodeDocument {
 /**
  * Information supplied to a reference policy for one representation candidate.
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2393,6 +2525,7 @@ export interface ReferencePolicyInput {
  *
  * @see {@link ToRepresentationOptions} for configuring representation generation
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2401,6 +2534,7 @@ export type ReferencePolicy = (input: ReferencePolicyInput) => string | undefine
 /**
  * Options for generating schema representations.
  *
+ * @stability stable
  * @category configuration
  * @since 4.0.0
  */
@@ -2438,6 +2572,7 @@ export interface ToRepresentationOptions {
  *
  * @see {@link toRepresentations} for multiple roots sharing one reference table
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2459,6 +2594,7 @@ export function toRepresentation(ast: SchemaAST.AST, options?: ToRepresentationO
  *
  * @see {@link toRepresentation} for a single AST root
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2476,6 +2612,7 @@ export function toRepresentations(
  *
  * Use when an API such as `toCodeDocument` requires a `MultiDocument`.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2526,6 +2663,7 @@ export function toMultiDocument(document: Document): MultiDocument {
  *
  * @see {@link toJsonSchemaMultiDocument} for multiple roots sharing definitions
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2561,6 +2699,7 @@ export function toJsonSchemaDocument(
  *
  * @see {@link toJsonSchemaDocument} for a single root
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2582,6 +2721,7 @@ export function toJsonSchemaMultiDocument(
  *
  * Opaque declarations and leaf checks require `toCode` callbacks. Callback results are used directly, and exceptions raised by a callback pass through unchanged.
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2812,6 +2952,7 @@ const decodeMultiDocument = Schema.decodeSync(MultiDocumentFromJson)
  * @see {@link toRepresentation} for constructing the live document
  * @see {@link toJsonMultiDocument} for documents with multiple roots
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -2833,6 +2974,7 @@ export function toJson(document: Document): Schema.Json {
  * @see {@link toRepresentations} for constructing the live multi-document
  * @see {@link toJson} for a single-root document
  *
+ * @stability stable
  * @category encoding
  * @since 4.0.0
  */
@@ -2855,6 +2997,7 @@ export function toJsonMultiDocument(document: MultiDocument): Schema.Json {
  * @see {@link fromRepresentation} for reconstructing a runtime schema
  * @see {@link fromJsonMultiDocument} for multiple roots sharing references
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -2877,6 +3020,7 @@ export function fromJson(input: Schema.Json): Document {
  * @see {@link fromRepresentations} for reconstructing runtime schemas
  * @see {@link fromJson} for a single root
  *
+ * @stability stable
  * @category decoding
  * @since 4.0.0
  */
@@ -2912,6 +3056,7 @@ export function fromJsonMultiDocument(input: Schema.Json): MultiDocument {
  * @see {@link fromJson} for decoding a persisted document
  * @see {@link fromRepresentations} for multiple roots sharing references
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2936,6 +3081,7 @@ export function fromRepresentation(
  * @see {@link fromJsonMultiDocument} for decoding a persisted multi-document
  * @see {@link fromRepresentation} for a single root
  *
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -2997,6 +3143,7 @@ export function fromRepresentations(
  * @see {@link fromJsonSchemaMultiDocument} for multiple roots sharing definitions
  * @see {@link toRepresentation} for converting the result to a representation document
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3040,6 +3187,7 @@ export function fromJsonSchemaDocument(
  * @see {@link fromJsonSchemaDocument} for a single root
  * @see {@link toRepresentations} for converting the returned schema ASTs to a representation document
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */