effect 4.0.0-beta.45 → 4.0.0-beta.47

package/dist/Schema.d.ts

@@ -116,7 +116,7 @@ import type * as SchemaRepresentation from "./SchemaRepresentation.ts";
 import type { Assign, Lambda, Mutable, Simplify } from "./Struct.ts";
 import * as Struct_ from "./Struct.ts";
 import * as FastCheck from "./testing/FastCheck.ts";
-import type { UnionToIntersection } from "./Types.ts";
+import type { RequiredKeys, UnionToIntersection } from "./Types.ts";
 import type { Unify } from "./Unify.ts";
 declare const TypeId = "~effect/Schema/Schema";
 /**
@@ -184,10 +184,10 @@ export interface MakeOptions {
  *
  * @since 4.0.0
  */
-export interface Bottom<out T, out E, out RD, out RE, out Ast extends AST.AST, out RebuildOut extends Top, out TypeMakeIn = T, out Iso = T, in out TypeParameters extends ReadonlyArray<Top> = readonly [], out TypeMake = TypeMakeIn, out TypeMutability extends Mutability = "readonly", out TypeOptionality extends Optionality = "required", out TypeConstructorDefault extends ConstructorDefault = "no-default", out EncodedMutability extends Mutability = "readonly", out EncodedOptionality extends Optionality = "required"> extends Pipeable.Pipeable {
+export interface Bottom<out T, out E, out RD, out RE, out Ast extends AST.AST, out Rebuild extends Top, out TypeMakeIn = T, out Iso = T, in out TypeParameters extends ReadonlyArray<Top> = readonly [], out TypeMake = TypeMakeIn, out TypeMutability extends Mutability = "readonly", out TypeOptionality extends Optionality = "required", out TypeConstructorDefault extends ConstructorDefault = "no-default", out EncodedMutability extends Mutability = "readonly", out EncodedOptionality extends Optionality = "required"> extends Pipeable.Pipeable {
     readonly [TypeId]: typeof TypeId;
-    readonly ast: Ast;
-    readonly "~rebuild.out": RebuildOut;
+    readonly "ast": Ast;
+    readonly "Rebuild": Rebuild;
     readonly "~type.parameters": TypeParameters;
     readonly "Type": T;
     readonly "Encoded": E;
@@ -201,10 +201,10 @@ export interface Bottom<out T, out E, out RD, out RE, out Ast extends AST.AST, o
     readonly "~type.optionality": TypeOptionality;
     readonly "~encoded.mutability": EncodedMutability;
     readonly "~encoded.optionality": EncodedOptionality;
-    annotate(annotations: Annotations.Bottom<this["Type"], this["~type.parameters"]>): this["~rebuild.out"];
-    annotateKey(annotations: Annotations.Key<this["Type"]>): this["~rebuild.out"];
-    check(...checks: readonly [AST.Check<this["Type"]>, ...Array<AST.Check<this["Type"]>>]): this["~rebuild.out"];
-    rebuild(ast: this["ast"]): this["~rebuild.out"];
+    annotate(annotations: Annotations.Bottom<this["Type"], this["~type.parameters"]>): this["Rebuild"];
+    annotateKey(annotations: Annotations.Key<this["Type"]>): this["Rebuild"];
+    check(...checks: readonly [AST.Check<this["Type"]>, ...Array<AST.Check<this["Type"]>>]): this["Rebuild"];
+    rebuild(ast: this["ast"]): this["Rebuild"];
     /**
      * @throws {Error} The issue is contained in the error cause.
      */
@@ -281,7 +281,7 @@ export declare function declareConstructor<T, E = T, Iso = T>(): <const TypePara
  * @since 4.0.0
  */
 export interface declare<T, Iso = T> extends declareConstructor<T, T, readonly [], Iso> {
-    readonly "~rebuild.out": declare<T, Iso>;
+    readonly "Rebuild": declare<T, Iso>;
 }
 /**
  * Creates a schema for a **non-parametric** opaque type using a type-guard
@@ -332,14 +332,14 @@ export declare function declare<T, Iso = T>(is: (u: unknown) => u is T, annotati
  * const bottom = Schema.revealBottom(schema)
  *
  * // `bottom` now exposes Type, Encoded, DecodingServices, EncodingServices,
- * // ast, ~rebuild.out, ~type.make.in, Iso, ~type.parameters, etc.
+ * // ast, Rebuild, ~type.make.in, Iso, ~type.parameters, etc.
  * type T = typeof bottom["Type"]     // string
  * type E = typeof bottom["Encoded"]  // string
  * ```
  *
  * @since 4.0.0
  */
-export declare function revealBottom<S extends Top>(bottom: S): Bottom<S["Type"], S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], S["~rebuild.out"], S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]>;
+export declare function revealBottom<S extends Top>(bottom: S): Bottom<S["Type"], S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], S["Rebuild"], S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]>;
 /**
  * Adds metadata annotations to a schema without changing its runtime behavior.
  * This is the pipeable (curried) counterpart of the `.annotate` method.
@@ -361,10 +361,41 @@ export declare function revealBottom<S extends Top>(bottom: S): Bottom<S["Type"]
  * )
  * ```
  *
+ * @see {@link annotateEncoded} to annotate the encoded side instead.
+ *
  * @category Annotations
  * @since 4.0.0
  */
-export declare function annotate<S extends Top>(annotations: Annotations.Bottom<S["Type"], S["~type.parameters"]>): (self: S) => S["~rebuild.out"];
+export declare function annotate<S extends Top>(annotations: Annotations.Bottom<S["Type"], S["~type.parameters"]>): (self: S) => S["Rebuild"];
+/**
+ * Adds metadata annotations to the **encoded** side of a schema without
+ * changing its runtime behavior. This is the encoded-side counterpart of
+ * `annotate`, which targets the decoded (Type) side.
+ *
+ * Internally the schema is flipped so that `Encoded` becomes `Type`,
+ * annotated, and then flipped back.
+ *
+ * **Example** (Adding a title to the encoded representation)
+ *
+ * ```ts
+ * import { Schema } from "effect"
+ *
+ * const schema = Schema.NumberFromString.pipe(
+ *   Schema.annotateEncoded({
+ *     title: "my title"
+ *   })
+ * )
+ *
+ * console.log(Schema.toEncoded(schema).ast.annotations?.title)
+ * // "my title"
+ * ```
+ *
+ * @see {@link annotate} to annotate the type side instead.
+ *
+ * @category Annotations
+ * @since 4.0.0
+ */
+export declare function annotateEncoded<S extends Top>(annotations: Annotations.Bottom<S["Encoded"], readonly []>): (self: S) => S["Rebuild"];
 /**
  * Adds key-level annotations to a schema field. This is the pipeable
  * (curried) counterpart of the `.annotateKey` method.
@@ -393,7 +424,7 @@ export declare function annotate<S extends Top>(annotations: Annotations.Bottom<
  * @category Annotations
  * @since 4.0.0
  */
-export declare function annotateKey<S extends Top>(annotations: Annotations.Key<S["Type"]>): (self: S) => S["~rebuild.out"];
+export declare function annotateKey<S extends Top>(annotations: Annotations.Key<S["Type"]>): (self: S) => S["Rebuild"];
 /**
  * The existential "any schema" type — all type parameters are erased to `unknown`.
  *
@@ -464,7 +495,7 @@ export declare namespace Schema {
  */
 export interface Schema<out T> extends Top {
     readonly "Type": T;
-    readonly "~rebuild.out": Schema<T>;
+    readonly "Rebuild": Schema<T>;
 }
 /**
  * Namespace of type-level helpers for {@link Codec}.
@@ -550,7 +581,7 @@ export interface Optic<out T, out Iso> extends Schema<T> {
     readonly "Iso": Iso;
     readonly "DecodingServices": never;
     readonly "EncodingServices": never;
-    readonly "~rebuild.out": Optic<T, Iso>;
+    readonly "Rebuild": Optic<T, Iso>;
 }
 /**
  * A schema that tracks the decoded type `T`, the encoded type `E`, and the
@@ -586,7 +617,7 @@ export interface Codec<out T, out E = T, out RD = never, out RE = never> extends
     readonly "Encoded": E;
     readonly "DecodingServices": RD;
     readonly "EncodingServices": RE;
-    readonly "~rebuild.out": Codec<T, E, RD, RE>;
+    readonly "Rebuild": Codec<T, E, RD, RE>;
 }
 /**
  * A {@link Codec} view for APIs that only *decode* (parse/validate) values.
@@ -609,7 +640,7 @@ export interface Codec<out T, out E = T, out RD = never, out RE = never> extends
  * @since 4.0.0
  */
 export interface Decoder<out T, out RD = never> extends Codec<T, unknown, RD, unknown> {
-    readonly "~rebuild.out": Decoder<T, RD>;
+    readonly "Rebuild": Decoder<T, RD>;
 }
 /**
  * A {@link Codec} view for APIs that only *encode* values.
@@ -632,7 +663,7 @@ export interface Decoder<out T, out RD = never> extends Codec<T, unknown, RD, un
  * @since 4.0.0
  */
 export interface Encoder<out E, out RE = never> extends Codec<unknown, E, unknown, RE> {
-    readonly "~rebuild.out": Encoder<E, RE>;
+    readonly "Rebuild": Encoder<E, RE>;
 }
 /**
  * Identity function that widens a value to the full {@link Codec} interface,
@@ -1202,7 +1233,7 @@ export declare const requiredKey: requiredKeyLambda;
  * @since 4.0.0
  */
 export interface optional<S extends Top> extends optionalKey<UndefinedOr<S>> {
-    readonly "~rebuild.out": optional<S>;
+    readonly "Rebuild": optional<S>;
 }
 interface optionalLambda extends Lambda {
     <S extends Top>(self: S): optional<S>;
@@ -1341,7 +1372,7 @@ export interface flip<S extends Top> extends Bottom<S["Encoded"], S["Type"], S["
  *
  * @since 4.0.0
  */
-export declare function flip<S extends Top>(schema: S): S extends flip<infer F> ? F["~rebuild.out"] : flip<S>;
+export declare function flip<S extends Top>(schema: S): S extends flip<infer F> ? F["Rebuild"] : flip<S>;
 /**
  * Represents a schema for a single literal value.
  *
@@ -2488,7 +2519,7 @@ export declare const NonEmptyArray: NonEmptyArrayLambda;
  * @since 4.0.0
  */
 export interface ArrayEnsure<S extends Top> extends decodeTo<$Array<toType<S>>, Union<readonly [S, $Array<S>]>> {
-    readonly "~rebuild.out": ArrayEnsure<S>;
+    readonly "Rebuild": ArrayEnsure<S>;
 }
 /**
  * Decodes a single value or an array of values into an array.
@@ -2511,7 +2542,7 @@ export declare function ArrayEnsure<S extends Top>(schema: S): ArrayEnsure<S>;
  * @since 4.0.0
  */
 export interface UniqueArray<S extends Top> extends $Array<S> {
-    readonly "~rebuild.out": UniqueArray<S>;
+    readonly "Rebuild": UniqueArray<S>;
 }
 /**
  * Returns a new array schema that ensures all elements are unique.
@@ -2667,7 +2698,7 @@ export declare function Literals<const L extends ReadonlyArray<AST.LiteralValue>
  * @since 4.0.0
  */
 export interface NullOr<S extends Top> extends Union<readonly [S, Null]> {
-    readonly "~rebuild.out": NullOr<S>;
+    readonly "Rebuild": NullOr<S>;
 }
 interface NullOrLambda extends Lambda {
     <S extends Top>(self: S): NullOr<S>;
@@ -2686,7 +2717,7 @@ export declare const NullOr: NullOrLambda;
  * @since 4.0.0
  */
 export interface UndefinedOr<S extends Top> extends Union<readonly [S, Undefined]> {
-    readonly "~rebuild.out": UndefinedOr<S>;
+    readonly "Rebuild": UndefinedOr<S>;
 }
 interface UndefinedOrLambda extends Lambda {
     <S extends Top>(self: S): UndefinedOr<S>;
@@ -2704,7 +2735,7 @@ export declare const UndefinedOr: UndefinedOrLambda;
  * @since 4.0.0
  */
 export interface NullishOr<S extends Top> extends Union<readonly [S, Null, Undefined]> {
-    readonly "~rebuild.out": NullishOr<S>;
+    readonly "Rebuild": NullishOr<S>;
 }
 interface NullishOrLambda extends Lambda {
     <S extends Top>(self: S): NullishOr<S>;
@@ -2762,7 +2793,7 @@ export declare function suspend<S extends Top>(f: () => S): suspend<S>;
  * @category Filtering
  * @since 4.0.0
  */
-export declare function check<S extends Top>(...checks: readonly [AST.Check<S["Type"]>, ...Array<AST.Check<S["Type"]>>]): (self: S) => S["~rebuild.out"];
+export declare function check<S extends Top>(...checks: readonly [AST.Check<S["Type"]>, ...Array<AST.Check<S["Type"]>>]): (self: S) => S["Rebuild"];
 /**
  * The output type of {@link refine}, narrowing the schema's `Type` to `T` via a
  * type guard.
@@ -2798,7 +2829,7 @@ export interface brand<S extends Top, B> extends Bottom<S["Type"] & DistributeBr
  * @category Branding
  * @since 4.0.0
  */
-export declare function brand<B extends string>(identifier: B): <S extends Top>(schema: S) => brand<S["~rebuild.out"], B>;
+export declare function brand<B extends string>(identifier: B): <S extends Top>(schema: S) => brand<S["Rebuild"], B>;
 /**
  * Creates a branded schema from a {@link Brand.Constructor}, applying the
  * constructor's checks and brand tag to the underlying schema.
@@ -2808,7 +2839,7 @@ export declare function brand<B extends string>(identifier: B): <S extends Top>(
  */
 export declare function fromBrand<A extends Brand.Brand<any>>(identifier: string, ctor: Brand.Constructor<A>): <S extends Top & {
     readonly "Type": Brand.Brand.Unbranded<A>;
-}>(self: S) => brand<S["~rebuild.out"], Brand.Brand.Keys<A>>;
+}>(self: S) => brand<S["Rebuild"], Brand.Brand.Keys<A>>;
 /**
  * A schema that wraps another schema and intercepts its decoding pipeline.
  *
@@ -2898,7 +2929,7 @@ export declare function middlewareEncoding<S extends Top, RE>(encode: (effect: E
  * @see {@link catchDecodingWithContext} to add service requirements to the handler
  * @since 4.0.0
  */
-export declare function catchDecoding<S extends Top>(f: (issue: Issue.Issue) => Effect.Effect<Option_.Option<S["Type"]>, Issue.Issue>): (self: S) => S["~rebuild.out"];
+export declare function catchDecoding<S extends Top>(f: (issue: Issue.Issue) => Effect.Effect<Option_.Option<S["Type"]>, Issue.Issue>): (self: S) => S["Rebuild"];
 /**
  * Like {@link catchDecoding}, but the handler may require Effect services (`R`).
  *
@@ -2914,7 +2945,7 @@ export declare function catchDecodingWithContext<S extends Top, R = never>(f: (i
  * @see {@link catchEncodingWithContext} to add service requirements to the handler
  * @since 4.0.0
  */
-export declare function catchEncoding<S extends Top>(f: (issue: Issue.Issue) => Effect.Effect<Option_.Option<S["Encoded"]>, Issue.Issue>): (self: S) => S["~rebuild.out"];
+export declare function catchEncoding<S extends Top>(f: (issue: Issue.Issue) => Effect.Effect<Option_.Option<S["Encoded"]>, Issue.Issue>): (self: S) => S["Rebuild"];
 /**
  * Like {@link catchEncoding}, but the handler may require Effect services (`R`).
  *
@@ -3131,13 +3162,14 @@ export interface withConstructorDefault<S extends Top & WithoutConstructorDefaul
  */
 export declare function withConstructorDefault<S extends Top & WithoutConstructorDefault>(defaultValue: Effect.Effect<S["~type.make.in"]>): (schema: S) => withConstructorDefault<S>;
 /**
- * The type produced by {@link withDecodingDefaultKey} — a schema that decodes from an `optionalKey` encoded source.
+ * The type produced by {@link withDecodingDefaultKey}: a schema whose `Encoded`
+ * side is `optionalKey` and that fills in a default `Encoded` value during decoding.
  *
  * @see {@link withDecodingDefaultKey} for the constructor
  * @since 4.0.0
  */
 export interface withDecodingDefaultKey<S extends Top> extends decodeTo<S, optionalKey<toEncoded<S>>> {
-    readonly "~rebuild.out": withDecodingDefaultKey<S>;
+    readonly "Rebuild": withDecodingDefaultKey<S>;
 }
 /**
  * Options for {@link withDecodingDefaultKey} and {@link withDecodingDefault}.
@@ -3152,18 +3184,18 @@ export type DecodingDefaultOptions = {
     readonly encodingStrategy?: "omit" | "passthrough" | undefined;
 };
 /**
- * **Options**
+ * Makes a struct key optional on the `Encoded` side and provides a default
+ * `Encoded` value when the key is missing during decoding.
  *
- * - `encodingStrategy`: The strategy to use when encoding.
- *   - `passthrough`: (default) Pass the default value through to the output.
- *   - `omit`: Omit the value from the output.
+ * The key uses `optionalKey` on the encoded side, so it may be absent from the
+ * input object but **not** `undefined`. The default value is specified in terms
+ * of the `Encoded` type (before any decoding transformations).
  *
- * Provides a default value for a missing key during decoding.
+ * **Options**
  *
- * When the key is absent from the input, `defaultValue()` is called to supply a value.
- * During encoding, the behavior is controlled by `options.encodingStrategy`:
- * - `"passthrough"` (default): include the value in the output
- * - `"omit"`: omit the key from the output
+ * - `encodingStrategy`:
+ *   - `"passthrough"` (default): include the value in the encoded output.
+ *   - `"omit"`: omit the key from the encoded output.
  *
  * **Example** (Default for a missing struct key)
  *
@@ -3178,35 +3210,65 @@ export type DecodingDefaultOptions = {
  * // result: { name: "anonymous" }
  * ```
  *
- * @see {@link withDecodingDefault} for the `optional` (value-level) variant
+ * @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
  * @since 4.0.0
  */
 export declare function withDecodingDefaultKey<S extends Top>(defaultValue: Effect.Effect<S["Encoded"]>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefaultKey<S>;
 /**
- * The type produced by {@link withDecodingDefault} — a schema that decodes from an `optional` encoded source.
+ * The type produced by {@link withDecodingDefaultTypeKey}: a schema whose
+ * `Encoded` side is `optionalKey` and that fills in a default `Type` value
+ * during decoding.
  *
- * @see {@link withDecodingDefault} for the constructor
+ * @see {@link withDecodingDefaultTypeKey} for the constructor
  * @since 4.0.0
  */
-export interface withDecodingDefault<S extends Top> extends decodeTo<S, optional<toEncoded<S>>> {
-    readonly "~rebuild.out": withDecodingDefault<S>;
+export interface withDecodingDefaultTypeKey<S extends Top> extends decodeTo<withDecodingDefaultKey<toType<S>>, optionalKey<S>> {
+    readonly "Rebuild": withDecodingDefaultTypeKey<S>;
 }
 /**
+ * Makes a struct key optional on the `Encoded` side (`optionalKey`, so the
+ * key may be absent but **not** `undefined`) and provides a default `Type`
+ * value when the key is missing during decoding.
+ *
+ * Unlike {@link withDecodingDefaultKey}, the default value is specified in
+ * terms of the `Type` (decoded) representation, so it does not need to go
+ * through the decoding transformation.
+ *
  * **Options**
  *
- * - `encodingStrategy`: The strategy to use when encoding.
- *   - `passthrough`: (default) Pass the default value through to the output.
- *   - `omit`: Omit the value from the output.
+ * - `encodingStrategy`:
+ *   - `"passthrough"` (default): include the value in the encoded output.
+ *   - `"omit"`: omit the key from the encoded output.
+ *
+ * @see {@link withDecodingDefaultKey} for the variant where the default is an `Encoded` value
+ * @see {@link withDecodingDefaultType} for the value-level variant
+ * @since 4.0.0
+ */
+export declare function withDecodingDefaultTypeKey<S extends Top>(defaultValue: Effect.Effect<S["Type"]>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefaultTypeKey<S>;
+/**
+ * The type produced by {@link withDecodingDefault}: a schema whose `Encoded`
+ * side is `optional` and that fills in a default `Encoded` value during decoding.
+ *
+ * @see {@link withDecodingDefault} for the constructor
+ * @since 4.0.0
+ */
+export interface withDecodingDefault<S extends Top> extends decodeTo<S, optional<toEncoded<S>>> {
+    readonly "Rebuild": withDecodingDefault<S>;
+}
+/**
+ * Wraps the `Encoded` side with `optional` (key absent **or** `undefined`)
+ * and provides a default `Encoded` value when the field is missing or
+ * `undefined` during decoding.
  *
- * Provides a default value for an `optional` field during decoding.
+ * The default value is specified in terms of the `Encoded` type (before any
+ * decoding transformations).
  *
- * Similar to {@link withDecodingDefaultKey} but works on `optional` (value-level optional)
- * rather than `optionalKey` (key-level optional).
+ * **Options**
  *
- * When the value is `undefined` or absent, `defaultValue()` is called to supply a value.
- * During encoding, the behavior is controlled by `options.encodingStrategy`:
- * - `"passthrough"` (default): include the value in the output
- * - `"omit"`: omit the value from the output
+ * - `encodingStrategy`:
+ *   - `"passthrough"` (default): include the value in the encoded output.
+ *   - `"omit"`: omit the key from the encoded output.
  *
  * **Example** (Default for an optional field value)
  *
@@ -3221,10 +3283,42 @@ export interface withDecodingDefault<S extends Top> extends decodeTo<S, optional
  * // result: { name: "anonymous" }
  * ```
  *
- * @see {@link withDecodingDefaultKey} for the key-level variant
+ * @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
  * @since 4.0.0
  */
 export declare function withDecodingDefault<S extends Top>(defaultValue: Effect.Effect<S["Encoded"]>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefault<S>;
+/**
+ * The type produced by {@link withDecodingDefaultType}: a schema whose
+ * `Encoded` side is `optional` and that fills in a default `Type` value during
+ * decoding.
+ *
+ * @see {@link withDecodingDefaultType} for the constructor
+ * @since 4.0.0
+ */
+export interface withDecodingDefaultType<S extends Top> extends decodeTo<withDecodingDefault<toType<S>>, optional<S>> {
+    readonly "Rebuild": withDecodingDefaultType<S>;
+}
+/**
+ * Wraps the `Encoded` side with `optional` (key absent **or** `undefined`)
+ * and provides a default `Type` value when the field is missing or
+ * `undefined` during decoding.
+ *
+ * Unlike {@link withDecodingDefault}, the default value is specified in terms
+ * of the `Type` (decoded) representation, so it does not need to go through
+ * the decoding transformation.
+ *
+ * **Options**
+ *
+ * - `encodingStrategy`:
+ *   - `"passthrough"` (default): include the value in the encoded output.
+ *   - `"omit"`: omit the key from the encoded output.
+ *
+ * @see {@link withDecodingDefault} for the variant where the default is an `Encoded` value
+ * @see {@link withDecodingDefaultTypeKey} for the key-level variant
+ * @since 4.0.0
+ */
+export declare function withDecodingDefaultType<S extends Top>(defaultValue: Effect.Effect<S["Type"]>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefaultType<S>;
 /**
  * The type produced by {@link tag} — a literal schema with a constructor default.
  *
@@ -3475,7 +3569,7 @@ export declare function TaggedUnion<const CasesByTag extends Record<string, Stru
  * @see {@link Opaque} for the constructor
  * @since 4.0.0
  */
-export interface Opaque<Self, S extends Top, Brand> extends Bottom<Self, S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], S["~rebuild.out"], S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
+export interface Opaque<Self, S extends Top, Brand> extends Bottom<Self, S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], S["Rebuild"], S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
     new (_: never): S["Type"] & Brand;
 }
 /**
@@ -3509,7 +3603,7 @@ export declare function Opaque<Self, Brand = {}>(): <S extends Top>(schema: S) =
  * @since 4.0.0
  */
 export interface instanceOf<T, Iso = T> extends declare<T, Iso> {
-    readonly "~rebuild.out": instanceOf<T, Iso>;
+    readonly "Rebuild": instanceOf<T, Iso>;
 }
 /**
  * Creates a schema that validates values using `instanceof`.
@@ -4578,7 +4672,7 @@ export declare function isUnique<T>(annotations?: Annotations.Filter): AST.Filte
  * @since 4.0.0
  */
 export interface NonEmptyString extends String {
-    readonly "~rebuild.out": NonEmptyString;
+    readonly "Rebuild": NonEmptyString;
 }
 /**
  * A schema for non-empty strings. Validates that a string has at least one
@@ -4595,7 +4689,7 @@ export declare const NonEmptyString: NonEmptyString;
  * @since 4.0.0
  */
 export interface Char extends String {
-    readonly "~rebuild.out": Char;
+    readonly "Rebuild": Char;
 }
 /**
  * A schema representing a single character.
@@ -4626,7 +4720,7 @@ export declare const Char: Char;
  * @since 4.0.0
  */
 export interface Option<A extends Top> extends declareConstructor<Option_.Option<A["Type"]>, Option_.Option<A["Encoded"]>, readonly [A], OptionIso<A>> {
-    readonly "~rebuild.out": Option<A>;
+    readonly "Rebuild": Option<A>;
     readonly value: A;
 }
 /**
@@ -4653,7 +4747,7 @@ export declare function Option<A extends Top>(value: A): Option<A>;
  * @since 4.0.0
  */
 export interface OptionFromNullOr<S extends Top> extends decodeTo<Option<toType<S>>, NullOr<S>> {
-    readonly "~rebuild.out": OptionFromNullOr<S>;
+    readonly "Rebuild": OptionFromNullOr<S>;
 }
 /**
  * Decodes a nullable, required value `T` to a required `Option<T>` value.
@@ -4677,7 +4771,7 @@ export declare function OptionFromNullOr<S extends Top>(schema: S): OptionFromNu
  * @since 4.0.0
  */
 export interface OptionFromUndefinedOr<S extends Top> extends decodeTo<Option<toType<S>>, UndefinedOr<S>> {
-    readonly "~rebuild.out": OptionFromUndefinedOr<S>;
+    readonly "Rebuild": OptionFromUndefinedOr<S>;
 }
 /**
  * Decodes an undefined-or value `T` to a required `Option<T>` value.
@@ -4701,7 +4795,7 @@ export declare function OptionFromUndefinedOr<S extends Top>(schema: S): OptionF
  * @since 4.0.0
  */
 export interface OptionFromNullishOr<S extends Top> extends decodeTo<Option<toType<S>>, NullishOr<S>> {
-    readonly "~rebuild.out": OptionFromNullishOr<S>;
+    readonly "Rebuild": OptionFromNullishOr<S>;
 }
 /**
  * Decodes a nullish value `T` to a required `Option<T>` value.
@@ -4727,7 +4821,7 @@ export declare function OptionFromNullishOr<S extends Top>(schema: S, options?:
  * @since 4.0.0
  */
 export interface OptionFromOptionalKey<S extends Top> extends decodeTo<Option<toType<S>>, optionalKey<S>> {
-    readonly "~rebuild.out": OptionFromOptionalKey<S>;
+    readonly "Rebuild": OptionFromOptionalKey<S>;
 }
 /**
  * Decodes an optional value `A` to a required `Option<A>` value.
@@ -4751,7 +4845,7 @@ export declare function OptionFromOptionalKey<S extends Top>(schema: S): OptionF
  * @since 4.0.0
  */
 export interface OptionFromOptional<S extends Top> extends decodeTo<Option<toType<S>>, optional<S>> {
-    readonly "~rebuild.out": OptionFromOptional<S>;
+    readonly "Rebuild": OptionFromOptional<S>;
 }
 /**
  * Decodes an optional or `undefined` value `A` to an required `Option<A>`
@@ -4777,7 +4871,7 @@ export declare function OptionFromOptional<S extends Top>(schema: S): OptionFrom
  * @since 4.0.0
  */
 export interface OptionFromOptionalNullOr<S extends Top> extends decodeTo<Option<toType<S>>, optional<NullOr<S>>> {
-    readonly "~rebuild.out": OptionFromOptionalNullOr<S>;
+    readonly "Rebuild": OptionFromOptionalNullOr<S>;
 }
 /**
  * Decodes an optional or `null` or `undefined` value `A` to a required `Option<A>`
@@ -4809,7 +4903,7 @@ export declare function OptionFromOptionalNullOr<S extends Top>(schema: S, optio
  * @since 4.0.0
  */
 export interface Result<A extends Top, E extends Top> extends declareConstructor<Result_.Result<A["Type"], E["Type"]>, Result_.Result<A["Encoded"], E["Encoded"]>, readonly [A, E], ResultIso<A, E>> {
-    readonly "~rebuild.out": Result<A, E>;
+    readonly "Rebuild": Result<A, E>;
     readonly success: A;
     readonly failure: E;
 }
@@ -4839,7 +4933,7 @@ export declare function Result<A extends Top, E extends Top>(success: A, failure
  * @since 4.0.0
  */
 export interface Redacted<S extends Top> extends declareConstructor<Redacted_.Redacted<S["Type"]>, Redacted_.Redacted<S["Encoded"]>, readonly [S]> {
-    readonly "~rebuild.out": Redacted<S>;
+    readonly "Rebuild": Redacted<S>;
     readonly value: S;
 }
 /**
@@ -4875,7 +4969,7 @@ export declare function Redacted<S extends Top>(value: S, options?: {
  * @since 4.0.0
  */
 export interface RedactedFromValue<S extends Top> extends decodeTo<Redacted<toType<S>>, middlewareDecoding<S, S["DecodingServices"]>> {
-    readonly "~rebuild.out": RedactedFromValue<S>;
+    readonly "Rebuild": RedactedFromValue<S>;
 }
 /**
  * Middleware that wraps decoded errors in `Redacted`, preventing sensitive
@@ -4905,7 +4999,7 @@ export declare function RedactedFromValue<S extends Top>(value: S, options?: {
  * @since 4.0.0
  */
 export interface CauseReason<E extends Top, D extends Top> extends declareConstructor<Cause_.Reason<E["Type"]>, Cause_.Reason<E["Encoded"]>, readonly [E, D], CauseReasonIso<E, D>> {
-    readonly "~rebuild.out": CauseReason<E, D>;
+    readonly "Rebuild": CauseReason<E, D>;
     readonly error: E;
     readonly defect: D;
 }
@@ -4938,7 +5032,7 @@ export declare function CauseReason<E extends Top, D extends Top>(error: E, defe
  * @since 4.0.0
  */
 export interface Cause<E extends Top, D extends Top> extends declareConstructor<Cause_.Cause<E["Type"]>, Cause_.Cause<E["Encoded"]>, readonly [E, D], CauseIso<E, D>> {
-    readonly "~rebuild.out": Cause<E, D>;
+    readonly "Rebuild": Cause<E, D>;
     readonly error: E;
     readonly defect: D;
 }
@@ -4961,7 +5055,7 @@ export declare function Cause<E extends Top, D extends Top>(error: E, defect: D)
  * @since 4.0.0
  */
 export interface Error extends instanceOf<globalThis.Error> {
-    readonly "~rebuild.out": Error;
+    readonly "Rebuild": Error;
 }
 /**
  * A schema that represents `Error` objects.
@@ -4997,7 +5091,7 @@ export interface Defect extends Union<readonly [
     }>>,
     decodeTo<Unknown, Any>
 ]> {
-    readonly "~rebuild.out": Defect;
+    readonly "Rebuild": Defect;
 }
 /**
  * A schema that represents defects.
@@ -5022,7 +5116,7 @@ export declare const DefectWithStack: Defect;
  * @since 4.0.0
  */
 export interface Exit<A extends Top, E extends Top, D extends Top> extends declareConstructor<Exit_.Exit<A["Type"], E["Type"]>, Exit_.Exit<A["Encoded"], E["Encoded"]>, readonly [A, E, D], ExitIso<A, E, D>> {
-    readonly "~rebuild.out": Exit<A, E, D>;
+    readonly "Rebuild": Exit<A, E, D>;
     readonly value: A;
     readonly error: E;
     readonly defect: D;
@@ -5052,7 +5146,7 @@ export declare function Exit<A extends Top, E extends Top, D extends Top>(value:
  * @since 4.0.0
  */
 export interface $ReadonlyMap<Key extends Top, Value extends Top> extends declareConstructor<globalThis.ReadonlyMap<Key["Type"], Value["Type"]>, globalThis.ReadonlyMap<Key["Encoded"], Value["Encoded"]>, readonly [Key, Value], ReadonlyMapIso<Key, Value>> {
-    readonly "~rebuild.out": $ReadonlyMap<Key, Value>;
+    readonly "Rebuild": $ReadonlyMap<Key, Value>;
     readonly key: Key;
     readonly value: Value;
 }
@@ -5077,7 +5171,7 @@ export declare function ReadonlyMap<Key extends Top, Value extends Top>(key: Key
  * @since 4.0.0
  */
 export interface HashMap<Key extends Top, Value extends Top> extends declareConstructor<HashMap_.HashMap<Key["Type"], Value["Type"]>, HashMap_.HashMap<Key["Encoded"], Value["Encoded"]>, readonly [Key, Value], HashMapIso<Key, Value>> {
-    readonly "~rebuild.out": HashMap<Key, Value>;
+    readonly "Rebuild": HashMap<Key, Value>;
     readonly key: Key;
     readonly value: Value;
 }
@@ -5101,7 +5195,7 @@ export declare function HashMap<Key extends Top, Value extends Top>(key: Key, va
  * @since 4.0.0
  */
 export interface $ReadonlySet<Value extends Top> extends declareConstructor<globalThis.ReadonlySet<Value["Type"]>, globalThis.ReadonlySet<Value["Encoded"]>, readonly [Value], ReadonlySetIso<Value>> {
-    readonly "~rebuild.out": $ReadonlySet<Value>;
+    readonly "Rebuild": $ReadonlySet<Value>;
     readonly value: Value;
 }
 /**
@@ -5122,7 +5216,7 @@ export declare function ReadonlySet<Value extends Top>(value: Value): $ReadonlyS
  * @since 4.0.0
  */
 export interface HashSet<Value extends Top> extends declareConstructor<HashSet_.HashSet<Value["Type"]>, HashSet_.HashSet<Value["Encoded"]>, readonly [Value], HashSetIso<Value>> {
-    readonly "~rebuild.out": HashSet<Value>;
+    readonly "Rebuild": HashSet<Value>;
     readonly value: Value;
 }
 /**
@@ -5146,7 +5240,7 @@ export declare function HashSet<Value extends Top>(value: Value): HashSet<Value>
  * @since 4.0.0
  */
 export interface Chunk<Value extends Top> extends declareConstructor<Chunk_.Chunk<Value["Type"]>, Chunk_.Chunk<Value["Encoded"]>, readonly [Value], ChunkIso<Value>> {
-    readonly "~rebuild.out": Chunk<Value>;
+    readonly "Rebuild": Chunk<Value>;
     readonly value: Value;
 }
 /**
@@ -5169,7 +5263,7 @@ export declare function Chunk<Value extends Top>(value: Value): Chunk<Value>;
  * @since 4.0.0
  */
 export interface RegExp extends instanceOf<globalThis.RegExp> {
-    readonly "~rebuild.out": RegExp;
+    readonly "Rebuild": RegExp;
 }
 /**
  * Schema for JavaScript `RegExp` objects.
@@ -5187,7 +5281,7 @@ export declare const RegExp: RegExp;
  * @since 4.0.0
  */
 export interface URL extends instanceOf<globalThis.URL> {
-    readonly "~rebuild.out": URL;
+    readonly "Rebuild": URL;
 }
 /**
  * A schema for JavaScript `URL` objects.
@@ -5207,7 +5301,7 @@ export declare const URL: URL;
  * @since 4.0.0
  */
 export interface URLFromString extends decodeTo<URL, String> {
-    readonly "~rebuild.out": URLFromString;
+    readonly "Rebuild": URLFromString;
 }
 /**
  * A transformation schema that decodes a `string` into a `URL`.
@@ -5229,7 +5323,7 @@ export declare const URLFromString: URLFromString;
  * @since 4.0.0
  */
 export interface Date extends instanceOf<globalThis.Date> {
-    readonly "~rebuild.out": Date;
+    readonly "Rebuild": Date;
 }
 /**
  * A schema for JavaScript `Date` objects.
@@ -5258,7 +5352,7 @@ export declare const Date: Date;
  * @since 4.0.0
  */
 export interface DateFromString extends decodeTo<Date, String> {
-    readonly "~rebuild.out": DateFromString;
+    readonly "Rebuild": DateFromString;
 }
 /**
  * A transformation schema that parses an ISO 8601 string into a `Date`.
@@ -5280,7 +5374,7 @@ export declare const DateFromString: DateFromString;
  * @since 4.0.0
  */
 export interface DateValid extends Date {
-    readonly "~rebuild.out": DateValid;
+    readonly "Rebuild": DateValid;
 }
 /**
  * A schema for **valid** JavaScript `Date` objects.
@@ -5299,7 +5393,7 @@ export declare const DateValid: DateValid;
  * @since 4.0.0
  */
 export interface Duration extends declare<Duration_.Duration> {
-    readonly "~rebuild.out": Duration;
+    readonly "Rebuild": Duration;
 }
 /**
  * A schema for `Duration` values.
@@ -5329,7 +5423,7 @@ export declare const Duration: Duration;
  * @since 4.0.0
  */
 export interface DurationFromNanos extends decodeTo<Duration, BigInt> {
-    readonly "~rebuild.out": DurationFromNanos;
+    readonly "Rebuild": DurationFromNanos;
 }
 /**
  * A transformation schema that decodes a non-negative `bigint` into a
@@ -5352,7 +5446,7 @@ export declare const DurationFromNanos: DurationFromNanos;
  * @since 4.0.0
  */
 export interface DurationFromMillis extends decodeTo<Duration, Number> {
-    readonly "~rebuild.out": DurationFromMillis;
+    readonly "Rebuild": DurationFromMillis;
 }
 /**
  * A transformation schema that decodes a non-negative (possibly infinite)
@@ -5378,7 +5472,7 @@ export declare const DurationFromMillis: DurationFromMillis;
  * @since 4.0.0
  */
 export interface BigDecimal extends declare<BigDecimal_.BigDecimal> {
-    readonly "~rebuild.out": BigDecimal;
+    readonly "Rebuild": BigDecimal;
 }
 /**
  * A schema for `BigDecimal` values.
@@ -5398,7 +5492,7 @@ export declare const BigDecimal: BigDecimal;
  * @since 4.0.0
  */
 export interface BigDecimalFromString extends decodeTo<BigDecimal, String> {
-    readonly "~rebuild.out": BigDecimalFromString;
+    readonly "Rebuild": BigDecimalFromString;
 }
 /**
  * A transformation schema that parses a string into a `BigDecimal`.
@@ -5420,7 +5514,7 @@ export declare const BigDecimalFromString: BigDecimalFromString;
  * @since 4.0.0
  */
 export interface UnknownFromJsonString extends fromJsonString<Unknown> {
-    readonly "~rebuild.out": UnknownFromJsonString;
+    readonly "Rebuild": UnknownFromJsonString;
 }
 /**
  * A transformation schema that decodes a JSON-encoded string into an `unknown` value.
@@ -5453,7 +5547,7 @@ export declare const UnknownFromJsonString: UnknownFromJsonString;
  * @since 4.0.0
  */
 export interface fromJsonString<S extends Top> extends decodeTo<S, String> {
-    readonly "~rebuild.out": fromJsonString<S>;
+    readonly "Rebuild": fromJsonString<S>;
 }
 /**
  * Returns a schema that decodes a JSON string and then decodes the parsed value
@@ -5527,7 +5621,7 @@ export declare function fromJsonString<S extends Top>(schema: S): fromJsonString
  * @since 4.0.0
  */
 export interface File extends instanceOf<globalThis.File> {
-    readonly "~rebuild.out": File;
+    readonly "Rebuild": File;
 }
 /**
  * Schema for JavaScript `File` objects.
@@ -5546,7 +5640,7 @@ export declare const File: File;
  * @since 4.0.0
  */
 export interface FormData extends instanceOf<globalThis.FormData> {
-    readonly "~rebuild.out": FormData;
+    readonly "Rebuild": FormData;
 }
 /**
  * Schema for JavaScript `FormData` objects.
@@ -5565,7 +5659,7 @@ export declare const FormData: FormData;
  * @since 4.0.0
  */
 export interface fromFormData<S extends Top> extends decodeTo<S, FormData> {
-    readonly "~rebuild.out": fromFormData<S>;
+    readonly "Rebuild": fromFormData<S>;
 }
 /**
  * `Schema.fromFormData` returns a schema that reads a `FormData` instance,
@@ -5658,7 +5752,7 @@ export declare function fromFormData<S extends Top>(schema: S): fromFormData<S>;
  * @since 4.0.0
  */
 export interface URLSearchParams extends instanceOf<globalThis.URLSearchParams> {
-    readonly "~rebuild.out": URLSearchParams;
+    readonly "Rebuild": URLSearchParams;
 }
 /**
  * Schema for JavaScript `URLSearchParams` objects.
@@ -5676,7 +5770,7 @@ export declare const URLSearchParams: URLSearchParams;
  * @since 4.0.0
  */
 export interface fromURLSearchParams<S extends Top> extends decodeTo<S, URLSearchParams> {
-    readonly "~rebuild.out": fromURLSearchParams<S>;
+    readonly "Rebuild": fromURLSearchParams<S>;
 }
 /**
  * `Schema.fromURLSearchParams` returns a schema that reads a `URLSearchParams`
@@ -5760,7 +5854,7 @@ export declare function fromURLSearchParams<S extends Top>(schema: S): fromURLSe
  * @since 4.0.0
  */
 export interface Finite extends Number {
-    readonly "~rebuild.out": Finite;
+    readonly "Rebuild": Finite;
 }
 /**
  * A schema for finite numbers, rejecting `NaN`, `Infinity`, and `-Infinity`.
@@ -5776,7 +5870,7 @@ export declare const Finite: Finite;
  * @since 4.0.0
  */
 export interface Int extends Number {
-    readonly "~rebuild.out": Int;
+    readonly "Rebuild": Int;
 }
 /**
  * A schema for integers, rejecting `NaN`, `Infinity`, and `-Infinity`.
@@ -5792,7 +5886,7 @@ export declare const Int: Int;
  * @since 4.0.0
  */
 export interface NumberFromString extends decodeTo<Finite, String> {
-    readonly "~rebuild.out": NumberFromString;
+    readonly "Rebuild": NumberFromString;
 }
 /**
  * A transformation schema that parses a string into a number.
@@ -5814,7 +5908,7 @@ export declare const NumberFromString: NumberFromString;
  * @since 4.0.0
  */
 export interface FiniteFromString extends decodeTo<Finite, String> {
-    readonly "~rebuild.out": FiniteFromString;
+    readonly "Rebuild": FiniteFromString;
 }
 /**
  * A transformation schema that parses a string into a finite number.
@@ -5837,7 +5931,7 @@ export declare const FiniteFromString: FiniteFromString;
  * @since 4.0.0
  */
 export interface BigIntFromString extends decodeTo<BigInt, String> {
-    readonly "~rebuild.out": BigIntFromString;
+    readonly "Rebuild": BigIntFromString;
 }
 /**
  * A transformation schema that parses a string into a `bigint`.
@@ -5859,7 +5953,7 @@ export declare const BigIntFromString: BigIntFromString;
  * @since 4.0.0
  */
 export interface Trimmed extends String {
-    readonly "~rebuild.out": Trimmed;
+    readonly "Rebuild": Trimmed;
 }
 /**
  * A schema for strings that contains no leading or trailing whitespaces.
@@ -5875,7 +5969,7 @@ export declare const Trimmed: Trimmed;
  * @since 4.0.0
  */
 export interface Trim extends decodeTo<Trimmed, String> {
-    readonly "~rebuild.out": Trim;
+    readonly "Rebuild": Trim;
 }
 /**
  * A transformation schema that trims whitespace from a string.
@@ -5897,7 +5991,7 @@ export declare const Trim: Trim;
  * @since 4.0.0
  */
 export interface StringFromBase64 extends decodeTo<String, String> {
-    readonly "~rebuild.out": StringFromBase64;
+    readonly "Rebuild": StringFromBase64;
 }
 /**
  * Decodes a base64 (RFC4648) encoded string into a UTF-8 string.
@@ -5919,7 +6013,7 @@ export declare const StringFromBase64: StringFromBase64;
  * @since 4.0.0
  */
 export interface StringFromBase64Url extends decodeTo<String, String> {
-    readonly "~rebuild.out": StringFromBase64Url;
+    readonly "Rebuild": StringFromBase64Url;
 }
 /**
  * Decodes a base64 (URL) encoded string into a UTF-8 string.
@@ -5941,7 +6035,7 @@ export declare const StringFromBase64Url: StringFromBase64Url;
  * @since 4.0.0
  */
 export interface StringFromHex extends decodeTo<String, String> {
-    readonly "~rebuild.out": StringFromHex;
+    readonly "Rebuild": StringFromHex;
 }
 /**
  * Decodes a hex encoded string into a UTF-8 string.
@@ -5963,7 +6057,7 @@ export declare const StringFromHex: StringFromHex;
  * @since 4.0.0
  */
 export interface StringFromUriComponent extends decodeTo<String, String> {
-    readonly "~rebuild.out": StringFromUriComponent;
+    readonly "Rebuild": StringFromUriComponent;
 }
 /**
  * Decodes a URI component encoded string into a UTF-8 string.
@@ -6023,7 +6117,7 @@ export declare const StandardSchemaV1FailureResult: Struct<{
  * @since 4.0.0
  */
 export interface BooleanFromBit extends decodeTo<Boolean, Literals<readonly [0, 1]>> {
-    readonly "~rebuild.out": BooleanFromBit;
+    readonly "Rebuild": BooleanFromBit;
 }
 /**
  * A boolean parsed from 0 or 1.
@@ -6039,7 +6133,7 @@ export declare const BooleanFromBit: BooleanFromBit;
  * @since 4.0.0
  */
 export interface Uint8Array extends instanceOf<globalThis.Uint8Array<ArrayBufferLike>> {
-    readonly "~rebuild.out": Uint8Array;
+    readonly "Rebuild": Uint8Array;
 }
 /**
  * A schema for JavaScript `Uint8Array` objects.
@@ -6059,7 +6153,7 @@ export declare const Uint8Array: Uint8Array;
  * @since 4.0.0
  */
 export interface Uint8ArrayFromBase64 extends decodeTo<Uint8Array, String> {
-    readonly "~rebuild.out": Uint8ArrayFromBase64;
+    readonly "Rebuild": Uint8ArrayFromBase64;
 }
 /**
  * A transformation schema that decodes a base64 encoded string into a
@@ -6082,7 +6176,7 @@ export declare const Uint8ArrayFromBase64: Uint8ArrayFromBase64;
  * @since 4.0.0
  */
 export interface Uint8ArrayFromBase64Url extends decodeTo<Uint8Array, String> {
-    readonly "~rebuild.out": Uint8ArrayFromBase64Url;
+    readonly "Rebuild": Uint8ArrayFromBase64Url;
 }
 /**
  * A transformation schema that decodes a base64 (URL) encoded string into a
@@ -6105,7 +6199,7 @@ export declare const Uint8ArrayFromBase64Url: Uint8ArrayFromBase64Url;
  * @since 4.0.0
  */
 export interface Uint8ArrayFromHex extends decodeTo<Uint8Array, String> {
-    readonly "~rebuild.out": Uint8ArrayFromHex;
+    readonly "Rebuild": Uint8ArrayFromHex;
 }
 /**
  * A transformation schema that decodes a hex encoded string into a
@@ -6128,7 +6222,7 @@ export declare const Uint8ArrayFromHex: Uint8ArrayFromHex;
  * @since 4.0.0
  */
 export interface DateTimeUtc extends declare<DateTime.Utc> {
-    readonly "~rebuild.out": DateTimeUtc;
+    readonly "Rebuild": DateTimeUtc;
 }
 /**
  * A schema for `DateTime.Utc` values.
@@ -6148,7 +6242,7 @@ export declare const DateTimeUtc: DateTimeUtc;
  * @since 4.0.0
  */
 export interface DateTimeUtcFromDate extends decodeTo<DateTimeUtc, Date> {
-    readonly "~rebuild.out": DateTimeUtcFromDate;
+    readonly "Rebuild": DateTimeUtcFromDate;
 }
 /**
  * A transformation schema that decodes a `Date` into a `DateTime.Utc`.
@@ -6170,7 +6264,7 @@ export declare const DateTimeUtcFromDate: DateTimeUtcFromDate;
  * @since 4.0.0
  */
 export interface DateTimeUtcFromString extends decodeTo<DateTimeUtc, String> {
-    readonly "~rebuild.out": DateTimeUtcFromString;
+    readonly "Rebuild": DateTimeUtcFromString;
 }
 /**
  * A transformation schema that decodes a string into a `DateTime.Utc`.
@@ -6194,7 +6288,7 @@ export declare const DateTimeUtcFromString: DateTimeUtcFromString;
  * @since 4.0.0
  */
 export interface DateTimeUtcFromMillis extends decodeTo<instanceOf<DateTime.Utc>, Number> {
-    readonly "~rebuild.out": DateTimeUtcFromMillis;
+    readonly "Rebuild": DateTimeUtcFromMillis;
 }
 /**
  * A transformation schema that decodes a number into a `DateTime.Utc`.
@@ -6216,7 +6310,7 @@ export declare const DateTimeUtcFromMillis: DateTimeUtcFromMillis;
  * @since 4.0.0
  */
 export interface TimeZoneOffset extends declare<DateTime.TimeZone.Offset> {
-    readonly "~rebuild.out": TimeZoneOffset;
+    readonly "Rebuild": TimeZoneOffset;
 }
 /**
  * A schema for `DateTime.TimeZone.Offset` values.
@@ -6236,7 +6330,7 @@ export declare const TimeZoneOffset: TimeZoneOffset;
  * @since 4.0.0
  */
 export interface TimeZoneNamed extends declare<DateTime.TimeZone.Named> {
-    readonly "~rebuild.out": TimeZoneNamed;
+    readonly "Rebuild": TimeZoneNamed;
 }
 /**
  * A schema for `DateTime.TimeZone.Named` values.
@@ -6256,7 +6350,7 @@ export declare const TimeZoneNamed: TimeZoneNamed;
  * @since 4.0.0
  */
 export interface TimeZoneNamedFromString extends decodeTo<TimeZoneNamed, String> {
-    readonly "~rebuild.out": TimeZoneNamedFromString;
+    readonly "Rebuild": TimeZoneNamedFromString;
 }
 /**
  * A transformation schema that parses an IANA time zone identifier string into a `DateTime.TimeZone.Named`.
@@ -6278,7 +6372,7 @@ export declare const TimeZoneNamedFromString: TimeZoneNamedFromString;
  * @since 4.0.0
  */
 export interface TimeZone extends declare<DateTime.TimeZone> {
-    readonly "~rebuild.out": TimeZone;
+    readonly "Rebuild": TimeZone;
 }
 /**
  * A schema for `DateTime.TimeZone` values.
@@ -6299,7 +6393,7 @@ export declare const TimeZone: TimeZone;
  * @since 4.0.0
  */
 export interface TimeZoneFromString extends decodeTo<TimeZone, String> {
-    readonly "~rebuild.out": TimeZoneFromString;
+    readonly "Rebuild": TimeZoneFromString;
 }
 /**
  * A transformation schema that parses a time zone string into a `DateTime.TimeZone`.
@@ -6321,7 +6415,7 @@ export declare const TimeZoneFromString: TimeZoneFromString;
  * @since 4.0.0
  */
 export interface DateTimeZoned extends declare<DateTime.Zoned> {
-    readonly "~rebuild.out": DateTimeZoned;
+    readonly "Rebuild": DateTimeZoned;
 }
 /**
  * A schema for `DateTime.Zoned` values.
@@ -6342,7 +6436,7 @@ export declare const DateTimeZoned: DateTimeZoned;
  * @since 4.0.0
  */
 export interface DateTimeZonedFromString extends decodeTo<DateTimeZoned, String> {
-    readonly "~rebuild.out": DateTimeZonedFromString;
+    readonly "Rebuild": DateTimeZonedFromString;
 }
 /**
  * A transformation schema that parses a zoned DateTime string into a `DateTime.Zoned`.
@@ -6370,7 +6464,7 @@ export declare const DateTimeZonedFromString: DateTimeZonedFromString;
  */
 export interface Class<Self, S extends Top & {
     readonly fields: Struct.Fields;
-}, Inherited> extends Bottom<Self, S["Encoded"], S["DecodingServices"], S["EncodingServices"], AST.Declaration, decodeTo<declareConstructor<Self, S["Encoded"], readonly [S], S["Iso"]>, S>, S["~type.make.in"], S["Iso"], readonly [S], Self, S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
+}, Inherited> extends Bottom<Self, S["Encoded"], S["DecodingServices"], S["EncodingServices"], AST.Declaration, decodeTo<declareConstructor<Self, S["Encoded"], readonly [S], S["Iso"]>, S>, RequiredKeys<S["~type.make.in"]> extends never ? void | S["~type.make.in"] : S["~type.make.in"], S["Iso"], readonly [S], Self, S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
     new (...args: {} extends S["~type.make.in"] ? [props?: S["~type.make.in"], options?: MakeOptions] : [props: S["~type.make.in"], options?: MakeOptions]): S["Type"] & Inherited;
     readonly identifier: string;
     readonly fields: S["fields"];
@@ -6687,17 +6781,6 @@ export declare const TaggedClass: {
         } & S["fields"]>>, Brand>;
     };
 };
-/**
- * Interface for schema-backed error classes created with {@link ErrorClass}.
- * Extends {@link Class} and is also a `YieldableError`, so instances
- * can be yielded inside `Effect.gen` as failures.
- *
- * @since 4.0.0
- */
-export interface ErrorClass<Self, S extends Top & {
-    readonly fields: Struct.Fields;
-}, Inherited> extends Class<Self, S, Inherited> {
-}
 /**
  * Creates a schema-backed error class that can be used as a typed,
  * yieldable error in Effect programs. Combines {@link Class} validation with
@@ -6945,7 +7028,7 @@ export declare function toArbitrary<S extends Top>(schema: S): FastCheck.Arbitra
  * @category Formatter
  * @since 4.0.0
  */
-export declare function overrideToFormatter<S extends Top>(toFormatter: () => Formatter<S["Type"]>): (self: S) => S["~rebuild.out"];
+export declare function overrideToFormatter<S extends Top>(toFormatter: () => Formatter<S["Type"]>): (self: S) => S["Rebuild"];
 /**
  * Derives a string formatter function from a schema. The formatter converts
  * a value to its human-readable string representation, recursing into structs,
@@ -6968,7 +7051,7 @@ export declare function toFormatter<T>(schema: Schema<T>, options?: {
  * @category Equivalence
  * @since 4.0.0
  */
-export declare function overrideToEquivalence<S extends Top>(toEquivalence: () => Equivalence.Equivalence<S["Type"]>): (self: S) => S["~rebuild.out"];
+export declare function overrideToEquivalence<S extends Top>(toEquivalence: () => Equivalence.Equivalence<S["Type"]>): (self: S) => S["Rebuild"];
 /**
  * Derives an `Equivalence` from a schema. Two values are considered equal when
  * every field (and nested field) compares equal according to the schema