effect 4.0.0-beta.43 → 4.0.0-beta.45

package/dist/Schema.d.ts

@@ -99,6 +99,7 @@ import * as Exit_ from "./Exit.ts";
 import type { Formatter } from "./Formatter.ts";
 import * as HashMap_ from "./HashMap.ts";
 import * as HashSet_ from "./HashSet.ts";
+import { SchemaError } from "./internal/schema/schema.ts";
 import * as JsonPatch from "./JsonPatch.ts";
 import * as JsonSchema from "./JsonSchema.ts";
 import * as Optic_ from "./Optic.ts";
@@ -145,13 +146,14 @@ export type Mutability = "readonly" | "mutable";
  */
 export type ConstructorDefault = "no-default" | "with-default";
 /**
- * Options for `makeUnsafe` and Class constructors.
+ * Options for `makeEffect`, `make`, and Class constructors.
  *
  * When to use:
  * - Pass `disableChecks: true` to skip validation when you trust the data.
  * - Pass `parseOptions` to control error reporting behavior.
  *
- * @see {@link Bottom.makeUnsafe}
+ * @see {@link Bottom.makeEffect}
+ * @see {@link Bottom.make}
  *
  * @since 4.0.0
  */
@@ -187,7 +189,6 @@ export interface Bottom<out T, out E, out RD, out RE, out Ast extends AST.AST, o
     readonly ast: Ast;
     readonly "~rebuild.out": RebuildOut;
     readonly "~type.parameters": TypeParameters;
-    readonly "~annotate.in": Annotations.Bottom<T, TypeParameters>;
     readonly "Type": T;
     readonly "Encoded": E;
     readonly "DecodingServices": RD;
@@ -200,15 +201,16 @@ 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: this["~annotate.in"]): this["~rebuild.out"];
+    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"];
     /**
      * @throws {Error} The issue is contained in the error cause.
      */
-    makeUnsafe(input: this["~type.make.in"], options?: MakeOptions): this["Type"];
+    make(input: this["~type.make.in"], options?: MakeOptions): this["Type"];
     makeOption(input: this["~type.make.in"], options?: MakeOptions): Option_.Option<this["Type"]>;
+    makeEffect(input: this["~type.make.in"], options?: MakeOptions): Effect.Effect<this["Type"], SchemaError>;
 }
 /**
  * The schema type returned by {@link declareConstructor}, tracking the decoded
@@ -219,7 +221,6 @@ export interface Bottom<out T, out E, out RD, out RE, out Ast extends AST.AST, o
  * @since 4.0.0
  */
 export interface declareConstructor<T, E, TypeParameters extends ReadonlyArray<Top>, Iso = T> extends Bottom<T, E, TypeParameters[number]["DecodingServices"], TypeParameters[number]["EncodingServices"], AST.Declaration, declareConstructor<T, E, TypeParameters, Iso>, T, Iso, TypeParameters> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Creates a schema for a **parametric** type (a generic container such as
@@ -280,6 +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>;
 }
 /**
  * Creates a schema for a **non-parametric** opaque type using a type-guard
@@ -362,7 +364,7 @@ export declare function revealBottom<S extends Top>(bottom: S): Bottom<S["Type"]
  * @category Annotations
  * @since 4.0.0
  */
-export declare function annotate<S extends Top>(annotations: S["~annotate.in"]): (self: S) => S["~rebuild.out"];
+export declare function annotate<S extends Top>(annotations: Annotations.Bottom<S["Type"], S["~type.parameters"]>): (self: S) => S["~rebuild.out"];
 /**
  * Adds key-level annotations to a schema field. This is the pipeable
  * (curried) counterpart of the `.annotateKey` method.
@@ -655,7 +657,7 @@ export interface Encoder<out E, out RE = never> extends Codec<unknown, E, unknow
  * @since 4.0.0
  */
 export declare function revealCodec<T, E, RD, RE>(codec: Codec<T, E, RD, RE>): Codec<T, E, RD, RE>;
-declare const SchemaErrorTypeId = "~effect/Schema/SchemaError";
+export { 
 /**
  * Error thrown (or returned as the error channel value) when schema decoding
  * or encoding fails.
@@ -684,15 +686,7 @@ declare const SchemaErrorTypeId = "~effect/Schema/SchemaError";
  *
  * @since 4.0.0
  */
-export declare class SchemaError {
-    readonly [SchemaErrorTypeId] = "~effect/Schema/SchemaError";
-    readonly _tag = "SchemaError";
-    readonly name: string;
-    readonly issue: Issue.Issue;
-    constructor(issue: Issue.Issue);
-    get message(): string;
-    toString(): string;
-}
+SchemaError };
 /**
  * Returns `true` if `u` is a {@link SchemaError}.
  *
@@ -1124,6 +1118,29 @@ export declare const encodeSync: <S extends Encoder<unknown>>(schema: S) => (inp
  * @since 4.0.0
  */
 export declare const make: <S extends Top>(ast: S["ast"], options?: object) => S;
+/**
+ * Transforms a schema into a class that can be extended with `extends`. The
+ * resulting class inherits the full schema API (e.g. `annotate`) and can define
+ * static methods that reference `this`.
+ *
+ * **Example** (Wrapping a primitive schema)
+ *
+ * ```ts
+ * import { Schema } from "effect"
+ *
+ * class MyString extends Schema.asClass(Schema.String) {
+ *   static readonly decodeUnknownSync = Schema.decodeUnknownSync(this)
+ * }
+ *
+ * console.log(MyString.decodeUnknownSync("a"))
+ * // "a"
+ * ```
+ *
+ * @since 4.0.0
+ */
+export declare function asClass<S extends Top>(schema: S): S & {
+    new (_: never): {};
+};
 /**
  * Tests if a value is a `Schema`.
  *
@@ -1132,14 +1149,13 @@ export declare const make: <S extends Top>(ast: S["ast"], options?: object) => S
  */
 export declare function isSchema(u: unknown): u is Top;
 /**
- * Schema type for an exact optional struct key. The key may be absent, but
+ * Companion type for an exact optional struct key. The key may be absent, but
  * when present must match the wrapped schema (no implicit `undefined`).
  * Produced by {@link optionalKey}.
  *
  * @since 4.0.0
  */
 export interface optionalKey<S extends Top> extends Bottom<S["Type"], S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], optionalKey<S>, S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], "optional", S["~type.constructor.default"], S["~encoded.mutability"], "optional"> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
 }
 interface optionalKeyLambda extends Lambda {
@@ -1180,12 +1196,13 @@ interface requiredKeyLambda extends Lambda {
  */
 export declare const requiredKey: requiredKeyLambda;
 /**
- * Schema type for an optional struct key that also accepts `undefined`.
+ * Companion type for an optional struct key that also accepts `undefined`.
  * Equivalent to `optionalKey<UndefinedOr<S>>`. Produced by {@link optional}.
  *
  * @since 4.0.0
  */
 export interface optional<S extends Top> extends optionalKey<UndefinedOr<S>> {
+    readonly "~rebuild.out": optional<S>;
 }
 interface optionalLambda extends Lambda {
     <S extends Top>(self: S): optional<S>;
@@ -1229,13 +1246,12 @@ interface requiredLambda extends Lambda {
  */
 export declare const required: requiredLambda;
 /**
- * Schema type for a mutable struct key. The key's property is writable.
+ * Companion type for a mutable struct key. The key's property is writable.
  * Produced by {@link mutableKey}.
  *
  * @since 4.0.0
  */
 export interface mutableKey<S extends Top> extends Bottom<S["Type"], S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], mutableKey<S>, S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], "mutable", S["~type.optionality"], S["~type.constructor.default"], "mutable", S["~encoded.optionality"]> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
 }
 interface mutableKeyLambda extends Lambda {
@@ -1267,7 +1283,6 @@ export declare const readonlyKey: readonlyKeyLambda;
  * @since 4.0.0
  */
 export interface toType<S extends Top> extends Bottom<S["Type"], S["Type"], never, never, S["ast"], toType<S>, 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"]> {
-    readonly "~rebuild.out": this;
 }
 interface toTypeLambda extends Lambda {
     <S extends Top>(self: S): toType<S>;
@@ -1287,7 +1302,6 @@ export declare const toType: toTypeLambda;
  * @since 4.0.0
  */
 export interface toEncoded<S extends Top> extends Bottom<S["Encoded"], S["Encoded"], never, never, AST.AST, toEncoded<S>, S["Encoded"], S["Encoded"], ReadonlyArray<Top>, S["Encoded"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
-    readonly "~rebuild.out": this;
 }
 interface toEncodedLambda extends Lambda {
     <S extends Top>(self: S): toEncoded<S>;
@@ -1308,7 +1322,6 @@ declare const FlipTypeId = "~effect/Schema/flip";
  * @since 4.0.0
  */
 export interface flip<S extends Top> extends Bottom<S["Encoded"], S["Type"], S["EncodingServices"], S["DecodingServices"], AST.AST, flip<S>, S["Encoded"], S["Encoded"], ReadonlyArray<Top>, S["Encoded"], S["~encoded.mutability"], S["~encoded.optionality"], ConstructorDefault, S["~type.mutability"], S["~type.optionality"]> {
-    readonly "~rebuild.out": this;
     readonly [FlipTypeId]: typeof FlipTypeId;
     readonly schema: S;
 }
@@ -1336,7 +1349,6 @@ export declare function flip<S extends Top>(schema: S): S extends flip<infer F>
  * @since 4.0.0
  */
 export interface Literal<L extends AST.LiteralValue> extends Bottom<L, L, never, never, AST.Literal, Literal<L>> {
-    readonly "~rebuild.out": this;
     readonly literal: L;
     transform<L2 extends AST.LiteralValue>(to: L2): decodeTo<Literal<L2>, Literal<L>>;
 }
@@ -1395,7 +1407,6 @@ export declare namespace TemplateLiteral {
  * @since 4.0.0
  */
 export interface TemplateLiteral<Parts extends TemplateLiteral.Parts> extends Bottom<TemplateLiteral.Encoded<Parts>, TemplateLiteral.Encoded<Parts>, never, never, AST.TemplateLiteral, TemplateLiteral<Parts>> {
-    readonly "~rebuild.out": this;
     readonly parts: Parts;
 }
 /**
@@ -1436,7 +1447,6 @@ export declare namespace TemplateLiteralParser {
  * @since 4.0.0
  */
 export interface TemplateLiteralParser<Parts extends TemplateLiteral.Parts> extends Bottom<TemplateLiteralParser.Type<Parts>, TemplateLiteral.Encoded<Parts>, never, never, AST.Arrays, TemplateLiteralParser<Parts>> {
-    readonly "~rebuild.out": this;
     readonly parts: Parts;
 }
 /**
@@ -1465,7 +1475,6 @@ export declare function TemplateLiteralParser<const Parts extends TemplateLitera
 export interface Enum<A extends {
     [x: string]: string | number;
 }> extends Bottom<A[keyof A], A[keyof A], never, never, AST.Enum, Enum<A>> {
-    readonly "~rebuild.out": this;
     readonly enums: A;
 }
 /**
@@ -1496,7 +1505,6 @@ export declare function Enum<A extends {
  * @since 4.0.0
  */
 export interface Never extends Bottom<never, never, never, never, AST.Never, Never> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Schema for the `never` type. Always fails validation — no value satisfies it.
@@ -1511,7 +1519,6 @@ export declare const Never: Never;
  * @since 4.0.0
  */
 export interface Any extends Bottom<any, any, never, never, AST.Any, Any> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Schema for the `any` type. Accepts any value without validation.
@@ -1527,7 +1534,6 @@ export declare const Any: Any;
  * @since 4.0.0
  */
 export interface Unknown extends Bottom<unknown, unknown, never, never, AST.Unknown, Unknown> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Schema for the `unknown` type. Accepts any value without validation.
@@ -1543,7 +1549,6 @@ export declare const Unknown: Unknown;
  * @since 4.0.0
  */
 export interface Null extends Bottom<null, null, never, never, AST.Null, Null> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Schema for the `null` literal. Validates that the input is strictly `null`.
@@ -1559,7 +1564,6 @@ export declare const Null: Null;
  * @since 4.0.0
  */
 export interface Undefined extends Bottom<undefined, undefined, never, never, AST.Undefined, Undefined> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Schema for the `undefined` literal. Validates that the input is strictly `undefined`.
@@ -1575,7 +1579,6 @@ export declare const Undefined: Undefined;
  * @since 4.0.0
  */
 export interface String extends Bottom<string, string, never, never, AST.String, String> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Schema for `string` values. Validates that the input is `typeof` `"string"`.
@@ -1590,7 +1593,6 @@ export declare const String: String;
  * @since 4.0.0
  */
 export interface Number extends Bottom<number, number, never, never, AST.Number, Number> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Schema for `number` values, including `NaN`, `Infinity`, and `-Infinity`.
@@ -1611,7 +1613,6 @@ export declare const Number: Number;
  * @since 4.0.0
  */
 export interface Boolean extends Bottom<boolean, boolean, never, never, AST.Boolean, Boolean> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Schema for `boolean` values. Validates that the input is `typeof` `"boolean"`.
@@ -1627,7 +1628,6 @@ export declare const Boolean: Boolean;
  * @since 4.0.0
  */
 export interface Symbol extends Bottom<symbol, symbol, never, never, AST.Symbol, Symbol> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Schema for `symbol` values. Validates that the input is `typeof` `"symbol"`.
@@ -1643,7 +1643,6 @@ export declare const Symbol: Symbol;
  * @since 4.0.0
  */
 export interface BigInt extends Bottom<bigint, bigint, never, never, AST.BigInt, BigInt> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Schema for `bigint` values. Validates that the input is `typeof` `"bigint"`.
@@ -1658,7 +1657,6 @@ export declare const BigInt: BigInt;
  * @since 4.0.0
  */
 export interface Void extends Bottom<void, void, never, never, AST.Void, Void> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Schema for the `void` type. Accepts `undefined` as the encoded value.
@@ -1673,7 +1671,6 @@ export declare const Void: Void;
  * @since 4.0.0
  */
 export interface ObjectKeyword extends Bottom<object, object, never, never, AST.ObjectKeyword, ObjectKeyword> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Schema for the `object` type. Validates that the input is a non-null object or function
@@ -1689,7 +1686,6 @@ export declare const ObjectKeyword: ObjectKeyword;
  * @since 4.0.0
  */
 export interface UniqueSymbol<sym extends symbol> extends Bottom<sym, sym, never, never, AST.UniqueSymbol, UniqueSymbol<sym>> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Creates a schema for a specific symbol. Only that exact symbol satisfies the schema.
@@ -1820,7 +1816,6 @@ export declare namespace Struct {
  * @since 4.0.0
  */
 export interface Struct<Fields extends Struct.Fields> extends Bottom<Struct.Type<Fields>, Struct.Encoded<Fields>, Struct.DecodingServices<Fields>, Struct.EncodingServices<Fields>, AST.Objects, Struct<Fields>, Struct.MakeIn<Fields>, Struct.Iso<Fields>> {
-    readonly "~rebuild.out": this;
     /**
      * The field definitions of this struct. Spread them into a new struct to
      * reuse fields across schemas.
@@ -1916,6 +1911,14 @@ interface fieldsAssign<NewFields extends Struct.Fields> extends Lambda {
  * @since 4.0.0
  */
 export declare function fieldsAssign<const NewFields extends Struct.Fields>(fields: NewFields): fieldsAssign<NewFields>;
+interface encodeKeys<S extends Top & {
+    readonly fields: Struct.Fields;
+}, M extends {
+    readonly [K in keyof S["fields"]]?: PropertyKey;
+}> extends decodeTo<S, Struct<{
+    [K in keyof S["fields"] as K extends keyof M ? M[K] extends PropertyKey ? M[K] : K : K]: toEncoded<S["fields"][K]>;
+}>> {
+}
 /**
  * Renames struct keys in the encoded form without changing the decoded type.
  *
@@ -1944,7 +1947,7 @@ export declare function encodeKeys<S extends Top & {
     readonly fields: Struct.Fields;
 }, const M extends {
     readonly [K in keyof S["fields"]]?: PropertyKey;
-}>(mapping: M): (self: S) => decodeTo<S, Struct<{ [K in keyof S["fields"] as K extends keyof M ? M[K] extends PropertyKey ? M[K] : K : K]: toEncoded<S["fields"][K]>; }>>;
+}>(mapping: M): (self: S) => encodeKeys<S, M>;
 /**
  * Adds derived fields to a struct schema during decoding.
  *
@@ -2080,13 +2083,12 @@ export declare namespace Record {
     };
 }
 /**
- * Schema type for a key-value record (map) with a typed key and value schema.
+ * Companion type for a key-value record (map) with a typed key and value schema.
  * Produced by {@link Record}.
  *
  * @since 4.0.0
  */
 export interface $Record<Key extends Record.Key, Value extends Top> extends Bottom<Record.Type<Key, Value>, Record.Encoded<Key, Value>, Record.DecodingServices<Key, Value>, Record.EncodingServices<Key, Value>, AST.Objects, $Record<Key, Value>, Simplify<Record.MakeIn<Key, Value>>, Record.Iso<Key, Value>> {
-    readonly "~rebuild.out": this;
     readonly key: Key;
     readonly value: Value;
 }
@@ -2175,13 +2177,12 @@ export declare namespace StructWithRest {
     }>;
 }
 /**
- * Schema type for a struct combined with one or more record schemas. Produced
+ * Companion type for a struct combined with one or more record schemas. Produced
  * by {@link StructWithRest}.
  *
  * @since 4.0.0
  */
 export interface StructWithRest<S extends StructWithRest.Objects, Records extends StructWithRest.Records> extends Bottom<Simplify<StructWithRest.Type<S, Records>>, Simplify<StructWithRest.Encoded<S, Records>>, StructWithRest.DecodingServices<S, Records>, StructWithRest.EncodingServices<S, Records>, AST.Objects, StructWithRest<S, Records>, Simplify<StructWithRest.MakeIn<S, Records>>, Simplify<StructWithRest.Iso<S, Records>>> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
     readonly records: Records;
 }
@@ -2270,12 +2271,11 @@ export declare namespace Tuple {
     type MakeIn<E extends Elements> = MakeIn_<E>;
 }
 /**
- * Schema type for a fixed-length tuple. Produced by {@link Tuple}.
+ * Companion type for a fixed-length tuple. Produced by {@link Tuple}.
  *
  * @since 4.0.0
  */
 export interface Tuple<Elements extends Tuple.Elements> extends Bottom<Tuple.Type<Elements>, Tuple.Encoded<Elements>, Tuple.DecodingServices<Elements>, Tuple.EncodingServices<Elements>, AST.Arrays, Tuple<Elements>, Tuple.MakeIn<Elements>, Tuple.Iso<Elements>> {
-    readonly "~rebuild.out": this;
     readonly elements: Elements;
     /**
      * Returns a new tuple with the elements modified by the provided function.
@@ -2381,13 +2381,12 @@ export declare namespace TupleWithRest {
     ] : M;
 }
 /**
- * Schema type for a tuple with additional rest elements. Produced by
+ * Companion type for a tuple with additional rest elements. Produced by
  * {@link TupleWithRest}.
  *
  * @since 4.0.0
  */
 export interface TupleWithRest<S extends TupleWithRest.TupleType, Rest extends TupleWithRest.Rest> extends Bottom<TupleWithRest.Type<S["Type"], Rest>, TupleWithRest.Encoded<S["Encoded"], Rest>, S["DecodingServices"] | Rest[number]["DecodingServices"], S["EncodingServices"] | Rest[number]["EncodingServices"], AST.Arrays, TupleWithRest<S, Rest>, TupleWithRest.MakeIn<S["~type.make"], Rest>, TupleWithRest.Iso<S["Iso"], Rest>> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
     readonly rest: Rest;
 }
@@ -2417,12 +2416,11 @@ export interface TupleWithRest<S extends TupleWithRest.TupleType, Rest extends T
  */
 export declare function TupleWithRest<S extends Tuple<Tuple.Elements>, const Rest extends TupleWithRest.Rest>(schema: S, rest: Rest): TupleWithRest<S, Rest>;
 /**
- * Schema type for a `ReadonlyArray`. Produced by {@link ArraySchema}.
+ * Companion type for a `ReadonlyArray`. Produced by {@link ArraySchema}.
  *
  * @since 4.0.0
  */
 export interface $Array<S extends Top> extends Bottom<ReadonlyArray<S["Type"]>, ReadonlyArray<S["Encoded"]>, S["DecodingServices"], S["EncodingServices"], AST.Arrays, $Array<S>, ReadonlyArray<S["~type.make"]>, ReadonlyArray<S["Iso"]>> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
 }
 interface ArrayLambda extends Lambda {
@@ -2455,12 +2453,11 @@ export {
  */
 ArraySchema as Array };
 /**
- * Schema type for a non-empty `ReadonlyArray`. Produced by {@link NonEmptyArray}.
+ * Companion type for a non-empty `ReadonlyArray`. Produced by {@link NonEmptyArray}.
  *
  * @since 4.0.0
  */
 export interface NonEmptyArray<S extends Top> extends Bottom<readonly [S["Type"], ...Array<S["Type"]>], readonly [S["Encoded"], ...Array<S["Encoded"]>], S["DecodingServices"], S["EncodingServices"], AST.Arrays, NonEmptyArray<S>, readonly [S["~type.make"], ...Array<S["~type.make"]>], readonly [S["Iso"], ...Array<S["Iso"]>]> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
 }
 interface NonEmptyArrayLambda extends Lambda {
@@ -2491,6 +2488,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>;
 }
 /**
  * Decodes a single value or an array of values into an array.
@@ -2508,11 +2506,12 @@ export interface ArrayEnsure<S extends Top> extends decodeTo<$Array<toType<S>>,
  */
 export declare function ArrayEnsure<S extends Top>(schema: S): ArrayEnsure<S>;
 /**
- * Schema type for an array with unique elements. Produced by {@link UniqueArray}.
+ * Companion type for an array with unique elements. Produced by {@link UniqueArray}.
  *
  * @since 4.0.0
  */
 export interface UniqueArray<S extends Top> extends $Array<S> {
+    readonly "~rebuild.out": UniqueArray<S>;
 }
 /**
  * Returns a new array schema that ensures all elements are unique.
@@ -2533,7 +2532,6 @@ export declare function UniqueArray<S extends Top>(item: S): UniqueArray<S>;
 export interface mutable<S extends Top & {
     readonly "ast": AST.Arrays;
 }> extends Bottom<Mutable<S["Type"]>, Mutable<S["Encoded"]>, S["DecodingServices"], S["EncodingServices"], S["ast"], mutable<S>, 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"]> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
 }
 interface mutableLambda extends Lambda {
@@ -2562,7 +2560,7 @@ interface mutableLambda extends Lambda {
  */
 export declare const mutable: mutableLambda;
 /**
- * Schema type for a union of multiple schemas. Produced by {@link Union}.
+ * Companion type for a union of multiple schemas. Produced by {@link Union}.
  *
  * @since 4.0.0
  */
@@ -2581,7 +2579,6 @@ export interface Union<Members extends ReadonlyArray<Top>> extends Bottom<{
 }[number], {
     [K in keyof Members]: Members[K]["Iso"];
 }[number]> {
-    readonly "~rebuild.out": this;
     readonly members: Members;
     /**
      * Returns a new union with the members modified by the provided function.
@@ -2633,7 +2630,6 @@ export declare function Union<const Members extends ReadonlyArray<Top>>(members:
  * @since 4.0.0
  */
 export interface Literals<L extends ReadonlyArray<AST.LiteralValue>> extends Bottom<L[number], L[number], never, never, AST.Union<AST.Literal>, Literals<L>> {
-    readonly "~rebuild.out": this;
     readonly literals: L;
     readonly members: {
         readonly [K in keyof L]: Literal<L[K]>;
@@ -2666,11 +2662,12 @@ export interface Literals<L extends ReadonlyArray<AST.LiteralValue>> extends Bot
  */
 export declare function Literals<const L extends ReadonlyArray<AST.LiteralValue>>(literals: L): Literals<L>;
 /**
- * Schema type for `S | null`. Produced by {@link NullOr}.
+ * Companion type for `S | null`. Produced by {@link NullOr}.
  *
  * @since 4.0.0
  */
 export interface NullOr<S extends Top> extends Union<readonly [S, Null]> {
+    readonly "~rebuild.out": NullOr<S>;
 }
 interface NullOrLambda extends Lambda {
     <S extends Top>(self: S): NullOr<S>;
@@ -2684,11 +2681,12 @@ interface NullOrLambda extends Lambda {
  */
 export declare const NullOr: NullOrLambda;
 /**
- * Schema type for `S | undefined`. Produced by {@link UndefinedOr}.
+ * Companion type for `S | undefined`. Produced by {@link UndefinedOr}.
  *
  * @since 4.0.0
  */
 export interface UndefinedOr<S extends Top> extends Union<readonly [S, Undefined]> {
+    readonly "~rebuild.out": UndefinedOr<S>;
 }
 interface UndefinedOrLambda extends Lambda {
     <S extends Top>(self: S): UndefinedOr<S>;
@@ -2702,10 +2700,11 @@ interface UndefinedOrLambda extends Lambda {
  */
 export declare const UndefinedOr: UndefinedOrLambda;
 /**
- * Schema type for `S | null | undefined`. Produced by {@link NullishOr}.
+ * Companion type for `S | null | undefined`. Produced by {@link NullishOr}.
  * @since 4.0.0
  */
 export interface NullishOr<S extends Top> extends Union<readonly [S, Null, Undefined]> {
+    readonly "~rebuild.out": NullishOr<S>;
 }
 interface NullishOrLambda extends Lambda {
     <S extends Top>(self: S): NullishOr<S>;
@@ -2722,7 +2721,6 @@ export declare const NullishOr: NullishOrLambda;
  * @since 4.0.0
  */
 export interface suspend<S extends Top> extends Bottom<S["Type"], S["Encoded"], S["DecodingServices"], S["EncodingServices"], AST.Suspend, suspend<S>, 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"]> {
-    readonly "~rebuild.out": this;
 }
 /**
  * Creates a suspended schema that defers evaluation until needed. This is
@@ -2772,7 +2770,6 @@ export declare function check<S extends Top>(...checks: readonly [AST.Check<S["T
  * @since 4.0.0
  */
 export interface refine<T extends S["Type"], S extends Top> extends Bottom<T, S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], refine<T, S>, S["~type.make.in"], T, S["~type.parameters"], T, S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
 }
 /**
@@ -2791,7 +2788,6 @@ type DistributeBrands<B> = UnionToIntersection<B extends infer U extends string
  * @since 4.0.0
  */
 export interface brand<S extends Top, B> extends Bottom<S["Type"] & DistributeBrands<B>, S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], brand<S, B>, S["~type.make.in"], S["Type"] & DistributeBrands<B>, S["~type.parameters"], S["Type"] & DistributeBrands<B>, S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
     readonly identifier: string;
 }
@@ -2823,7 +2819,6 @@ export declare function fromBrand<A extends Brand.Brand<any>>(identifier: string
  * @since 4.0.0
  */
 export interface middlewareDecoding<S extends Top, RD> extends Bottom<S["Type"], S["Encoded"], RD, S["EncodingServices"], S["ast"], middlewareDecoding<S, RD>, 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"]> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
 }
 /**
@@ -2859,7 +2854,6 @@ export declare function middlewareDecoding<S extends Top, RD>(decode: (effect: E
  * @since 4.0.0
  */
 export interface middlewareEncoding<S extends Top, RE> extends Bottom<S["Type"], S["Encoded"], S["DecodingServices"], RE, S["ast"], middlewareEncoding<S, RE>, 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"]> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
 }
 /**
@@ -2937,7 +2931,6 @@ export declare function catchEncodingWithContext<S extends Top, R = never>(f: (i
  * @since 4.0.0
  */
 export interface decodeTo<To extends Top, From extends Top, RD = never, RE = never> extends Bottom<To["Type"], From["Encoded"], To["DecodingServices"] | From["DecodingServices"] | RD, To["EncodingServices"] | From["EncodingServices"] | RE, To["ast"], decodeTo<To, From, RD, RE>, To["~type.make.in"], To["Iso"], To["~type.parameters"], To["~type.make"], To["~type.mutability"], To["~type.optionality"], To["~type.constructor.default"], From["~encoded.mutability"], From["~encoded.optionality"]> {
-    readonly "~rebuild.out": this;
     readonly from: From;
     readonly to: To;
 }
@@ -3110,39 +3103,33 @@ export interface WithoutConstructorDefault {
  * @since 4.0.0
  */
 export interface withConstructorDefault<S extends Top & WithoutConstructorDefault> extends Bottom<S["Type"], S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], withConstructorDefault<S>, S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], "with-default", S["~encoded.mutability"], S["~encoded.optionality"]> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
 }
 /**
  * Attaches a constructor default value to a schema field.
  *
- * The `defaultValue` function receives `Option.some(undefined)` when the field is
- * explicitly set to `undefined`, or `Option.none()` when the field is absent.
- * Return `Option.some(value)` to supply a default, or `Option.none()` to leave the
- * field required. An `Effect` may be returned for async or service-dependent defaults.
- *
- * Constructor defaults are applied only during `makeUnsafe` / `make`, not during
- * decoding or encoding.
+ * Constructor defaults are applied only during `make*`, not during decoding or
+ * encoding.
  *
  * **Example** (Optional field with a static default)
  *
  * ```ts
- * import { Option, Schema } from "effect"
+ * import { Effect, Schema } from "effect"
  *
  * const MySchema = Schema.Struct({
  *   name: Schema.String.pipe(
  *     Schema.optionalKey,
- *     Schema.withConstructorDefault(() => Option.some("anonymous"))
+ *     Schema.withConstructorDefault(Effect.succeed("anonymous"))
  *   )
  * })
  *
- * const value = MySchema.makeUnsafe({})
+ * const value = MySchema.make({})
  * // value: { name: "anonymous" }
  * ```
  *
  * @since 4.0.0
  */
-export declare function withConstructorDefault<S extends Top & WithoutConstructorDefault>(defaultValue: (input: Option_.Option<undefined>) => Option_.Option<S["~type.make.in"]> | Effect.Effect<Option_.Option<S["~type.make.in"]>>): (schema: S) => withConstructorDefault<S>;
+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.
  *
@@ -3150,6 +3137,7 @@ export declare function withConstructorDefault<S extends Top & WithoutConstructo
  * @since 4.0.0
  */
 export interface withDecodingDefaultKey<S extends Top> extends decodeTo<S, optionalKey<toEncoded<S>>> {
+    readonly "~rebuild.out": withDecodingDefaultKey<S>;
 }
 /**
  * Options for {@link withDecodingDefaultKey} and {@link withDecodingDefault}.
@@ -3180,10 +3168,10 @@ export type DecodingDefaultOptions = {
  * **Example** (Default for a missing struct key)
  *
  * ```ts
- * import { Schema } from "effect"
+ * import { Effect, Schema } from "effect"
  *
  * const MySchema = Schema.Struct({
- *   name: Schema.String.pipe(Schema.withDecodingDefaultKey(() => "anonymous"))
+ *   name: Schema.String.pipe(Schema.withDecodingDefaultKey(Effect.succeed("anonymous")))
  * })
  *
  * const result = Schema.decodeUnknownSync(MySchema)({})
@@ -3193,7 +3181,7 @@ export type DecodingDefaultOptions = {
  * @see {@link withDecodingDefault} for the `optional` (value-level) variant
  * @since 4.0.0
  */
-export declare function withDecodingDefaultKey<S extends Top>(defaultValue: () => S["Encoded"], options?: DecodingDefaultOptions): (self: S) => withDecodingDefaultKey<S>;
+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.
  *
@@ -3201,6 +3189,7 @@ export declare function withDecodingDefaultKey<S extends Top>(defaultValue: () =
  * @since 4.0.0
  */
 export interface withDecodingDefault<S extends Top> extends decodeTo<S, optional<toEncoded<S>>> {
+    readonly "~rebuild.out": withDecodingDefault<S>;
 }
 /**
  * **Options**
@@ -3222,10 +3211,10 @@ export interface withDecodingDefault<S extends Top> extends decodeTo<S, optional
  * **Example** (Default for an optional field value)
  *
  * ```ts
- * import { Schema } from "effect"
+ * import { Effect, Schema } from "effect"
  *
  * const MySchema = Schema.Struct({
- *   name: Schema.String.pipe(Schema.optional, Schema.withDecodingDefault(() => "anonymous"))
+ *   name: Schema.String.pipe(Schema.optional, Schema.withDecodingDefault(Effect.succeed("anonymous")))
  * })
  *
  * const result = Schema.decodeUnknownSync(MySchema)({ name: undefined })
@@ -3235,7 +3224,7 @@ export interface withDecodingDefault<S extends Top> extends decodeTo<S, optional
  * @see {@link withDecodingDefaultKey} for the key-level variant
  * @since 4.0.0
  */
-export declare function withDecodingDefault<S extends Top>(defaultValue: () => S["Encoded"], options?: DecodingDefaultOptions): (self: S) => withDecodingDefault<S>;
+export declare function withDecodingDefault<S extends Top>(defaultValue: Effect.Effect<S["Encoded"]>, options?: DecodingDefaultOptions): (self: S) => withDecodingDefault<S>;
 /**
  * The type produced by {@link tag} — a literal schema with a constructor default.
  *
@@ -3248,7 +3237,7 @@ export interface tag<Tag extends AST.LiteralValue> extends withConstructorDefaul
 }
 /**
  * Combines a {@link Literal} schema with {@link withConstructorDefault}, making it ideal
- * for discriminator fields in tagged unions. When constructing via `makeUnsafe`, the
+ * for discriminator fields in tagged unions. When constructing via `make`, the
  * `_tag` field can be omitted and will be filled automatically.
  *
  * **Example** (Discriminated union tag)
@@ -3258,8 +3247,8 @@ export interface tag<Tag extends AST.LiteralValue> extends withConstructorDefaul
  *
  * const A = Schema.Struct({ _tag: Schema.tag("A"), value: Schema.Number })
  *
- * // _tag is optional in makeUnsafe, auto-filled to "A"
- * const a = A.makeUnsafe({ value: 42 })
+ * // _tag is optional in make, auto-filled to "A"
+ * const a = A.make({ value: 42 })
  * // a: { _tag: "A", value: 42 }
  * ```
  *
@@ -3306,7 +3295,7 @@ export type TaggedStruct<Tag extends AST.LiteralValue, Fields extends Struct.Fie
  * to identify the specific variant of the object, which is especially useful
  * when working with union types.
  *
- * When using the `makeUnsafe` method, the `_tag` field is optional and will be
+ * When using the `make` method, the `_tag` field is optional and will be
  * added automatically. However, when decoding or encoding, the `_tag` field
  * must be present in the input.
  *
@@ -3433,7 +3422,6 @@ export interface TaggedUnion<Cases extends Record<string, Top>> extends Bottom<{
 }[keyof Cases], AST.Union<AST.Objects>, TaggedUnion<Cases>, {
     [K in keyof Cases]: Cases[K]["~type.make"];
 }[keyof Cases]> {
-    readonly "~rebuild.out": this;
     readonly cases: Cases;
     readonly isAnyOf: <const Keys>(keys: ReadonlyArray<Keys>) => (value: Cases[keyof Cases]["Type"]) => value is Extract<Cases[keyof Cases]["Type"], {
         _tag: Keys;
@@ -3491,26 +3479,29 @@ export interface Opaque<Self, S extends Top, Brand> extends Bottom<Self, S["Enco
     new (_: never): S["Type"] & Brand;
 }
 /**
- * Wraps a schema so that its decoded `Type` becomes a nominally distinct type `Self`.
- * Useful for creating opaque types that are structurally identical to a base schema
+ * Wraps a struct schema so that its decoded `Type` becomes a nominally distinct type `Self`.
+ * Useful for creating opaque types that are structurally identical to a base struct
  * but type-incompatible with it.
  *
- * **Example** (Opaque user ID)
+ * **Example** (Opaque struct)
  *
  * ```ts
  * import { Schema } from "effect"
  *
- * type UserId = string & { readonly _tag: "UserId" }
- * const UserId = Schema.Opaque<UserId>()(Schema.String)
+ * class Person extends Schema.Opaque<Person>()(
+ *   Schema.Struct({
+ *     name: Schema.String
+ *   })
+ * ) {}
  *
- * // Decoded value is UserId, not plain string
- * const id = Schema.decodeUnknownSync(UserId)("abc")
- * // id: UserId
+ * // Decoded value is Person, not { name: string }
+ * const person = Schema.decodeUnknownSync(Person)({ name: "Alice" })
+ * // person: Person
  * ```
  *
  * @since 4.0.0
  */
-export declare function Opaque<Self, Brand = {}>(): <S extends Top>(schema: S) => Opaque<Self, S, Brand> & Omit<S, "Type">;
+export declare function Opaque<Self, Brand = {}>(): <S extends Top>(schema: S) => Opaque<Self, S, Brand> & Omit<S, keyof Top>;
 /**
  * The type produced by {@link instanceOf} — a declaration schema that validates class instances.
  *
@@ -3518,7 +3509,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": this;
+    readonly "~rebuild.out": instanceOf<T, Iso>;
 }
 /**
  * Creates a schema that validates values using `instanceof`.
@@ -4580,19 +4571,39 @@ export declare function isPropertyNames(keySchema: Top, annotations?: Annotation
  * @since 4.0.0
  */
 export declare function isUnique<T>(annotations?: Annotations.Filter): AST.Filter<readonly T[]>;
+/**
+ * Companion type for {@link NonEmptyString}.
+ *
+ * @category String
+ * @since 4.0.0
+ */
+export interface NonEmptyString extends String {
+    readonly "~rebuild.out": NonEmptyString;
+}
 /**
  * A schema for non-empty strings. Validates that a string has at least one
  * character.
  *
+ * @category String
+ * @since 4.0.0
+ */
+export declare const NonEmptyString: NonEmptyString;
+/**
+ * Companion type for {@link Char}.
+ *
+ * @category String
  * @since 4.0.0
  */
-export declare const NonEmptyString: String;
+export interface Char extends String {
+    readonly "~rebuild.out": Char;
+}
 /**
  * A schema representing a single character.
  *
+ * @category String
  * @since 4.0.0
  */
-export declare const Char: String;
+export declare const Char: Char;
 /**
  * Schema for the `Option<A>` type, representing an optional value that is
  * either `None` or `Some<A>`.
@@ -4615,6 +4626,7 @@ export declare const Char: String;
  * @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 value: A;
 }
 /**
@@ -4635,12 +4647,13 @@ export type OptionIso<A extends Top> = {
  */
 export declare function Option<A extends Top>(value: A): Option<A>;
 /**
- * Schema type for {@link OptionFromNullOr}.
+ * Companion type for {@link OptionFromNullOr}.
  *
  * @category Option
  * @since 4.0.0
  */
 export interface OptionFromNullOr<S extends Top> extends decodeTo<Option<toType<S>>, NullOr<S>> {
+    readonly "~rebuild.out": OptionFromNullOr<S>;
 }
 /**
  * Decodes a nullable, required value `T` to a required `Option<T>` value.
@@ -4658,12 +4671,13 @@ export interface OptionFromNullOr<S extends Top> extends decodeTo<Option<toType<
  */
 export declare function OptionFromNullOr<S extends Top>(schema: S): OptionFromNullOr<S>;
 /**
- * Schema type for {@link OptionFromUndefinedOr}.
+ * Companion type for {@link OptionFromUndefinedOr}.
  *
  * @category Option
  * @since 4.0.0
  */
 export interface OptionFromUndefinedOr<S extends Top> extends decodeTo<Option<toType<S>>, UndefinedOr<S>> {
+    readonly "~rebuild.out": OptionFromUndefinedOr<S>;
 }
 /**
  * Decodes an undefined-or value `T` to a required `Option<T>` value.
@@ -4681,12 +4695,13 @@ export interface OptionFromUndefinedOr<S extends Top> extends decodeTo<Option<to
  */
 export declare function OptionFromUndefinedOr<S extends Top>(schema: S): OptionFromUndefinedOr<S>;
 /**
- * Schema type for {@link OptionFromNullishOr}.
+ * Companion type for {@link OptionFromNullishOr}.
  *
  * @category Option
  * @since 4.0.0
  */
 export interface OptionFromNullishOr<S extends Top> extends decodeTo<Option<toType<S>>, NullishOr<S>> {
+    readonly "~rebuild.out": OptionFromNullishOr<S>;
 }
 /**
  * Decodes a nullish value `T` to a required `Option<T>` value.
@@ -4706,12 +4721,13 @@ export declare function OptionFromNullishOr<S extends Top>(schema: S, options?:
     onNoneEncoding: null | undefined;
 }): OptionFromNullishOr<S>;
 /**
- * Schema type for {@link OptionFromOptionalKey}.
+ * Companion type for {@link OptionFromOptionalKey}.
  *
  * @category Option
  * @since 4.0.0
  */
 export interface OptionFromOptionalKey<S extends Top> extends decodeTo<Option<toType<S>>, optionalKey<S>> {
+    readonly "~rebuild.out": OptionFromOptionalKey<S>;
 }
 /**
  * Decodes an optional value `A` to a required `Option<A>` value.
@@ -4729,12 +4745,13 @@ export interface OptionFromOptionalKey<S extends Top> extends decodeTo<Option<to
  */
 export declare function OptionFromOptionalKey<S extends Top>(schema: S): OptionFromOptionalKey<S>;
 /**
- * Schema type for {@link OptionFromOptional}.
+ * Companion type for {@link OptionFromOptional}.
  *
  * @category Option
  * @since 4.0.0
  */
 export interface OptionFromOptional<S extends Top> extends decodeTo<Option<toType<S>>, optional<S>> {
+    readonly "~rebuild.out": OptionFromOptional<S>;
 }
 /**
  * Decodes an optional or `undefined` value `A` to an required `Option<A>`
@@ -4754,12 +4771,13 @@ export interface OptionFromOptional<S extends Top> extends decodeTo<Option<toTyp
  */
 export declare function OptionFromOptional<S extends Top>(schema: S): OptionFromOptional<S>;
 /**
- * Schema type for {@link OptionFromOptionalNullOr}.
+ * Companion type for {@link OptionFromOptionalNullOr}.
  *
  * @category Option
  * @since 4.0.0
  */
 export interface OptionFromOptionalNullOr<S extends Top> extends decodeTo<Option<toType<S>>, optional<NullOr<S>>> {
+    readonly "~rebuild.out": OptionFromOptionalNullOr<S>;
 }
 /**
  * Decodes an optional or `null` or `undefined` value `A` to a required `Option<A>`
@@ -4791,6 +4809,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 success: A;
     readonly failure: E;
 }
@@ -4820,6 +4839,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 value: S;
 }
 /**
@@ -4849,12 +4869,13 @@ export declare function Redacted<S extends Top>(value: S, options?: {
     readonly label?: string | undefined;
 }): Redacted<S>;
 /**
- * Schema type for {@link RedactedFromValue}.
+ * Companion type for {@link RedactedFromValue}.
  *
  * @category Redacted
  * @since 4.0.0
  */
 export interface RedactedFromValue<S extends Top> extends decodeTo<Redacted<toType<S>>, middlewareDecoding<S, S["DecodingServices"]>> {
+    readonly "~rebuild.out": RedactedFromValue<S>;
 }
 /**
  * Middleware that wraps decoded errors in `Redacted`, preventing sensitive
@@ -4884,6 +4905,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 error: E;
     readonly defect: D;
 }
@@ -4916,6 +4938,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 error: E;
     readonly defect: D;
 }
@@ -4932,12 +4955,13 @@ export type CauseIso<E extends Top, D extends Top> = ReadonlyArray<CauseReasonIs
  */
 export declare function Cause<E extends Top, D extends Top>(error: E, defect: D): Cause<E, D>;
 /**
- * Schema type for {@link Error}.
+ * Companion type for {@link Error}.
  *
- * @category Schemas
+ * @category Error
  * @since 4.0.0
  */
 export interface Error extends instanceOf<globalThis.Error> {
+    readonly "~rebuild.out": Error;
 }
 /**
  * A schema that represents `Error` objects.
@@ -4960,9 +4984,9 @@ export declare const Error: Error;
  */
 export declare const ErrorWithStack: Error;
 /**
- * Schema type for {@link Defect}.
+ * Companion type for {@link Defect}.
  *
- * @category Schemas
+ * @category Defect
  * @since 4.0.0
  */
 export interface Defect extends Union<readonly [
@@ -4973,6 +4997,7 @@ export interface Defect extends Union<readonly [
     }>>,
     decodeTo<Unknown, Any>
 ]> {
+    readonly "~rebuild.out": Defect;
 }
 /**
  * A schema that represents defects.
@@ -4985,7 +5010,7 @@ export declare const Defect: Defect;
  * A schema that represents defects, that also includes stack traces in the
  * encoded form.
  *
- * @category Constructors
+ * @category Defect
  * @since 4.0.0
  */
 export declare const DefectWithStack: Defect;
@@ -4997,6 +5022,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 value: A;
     readonly error: E;
     readonly defect: D;
@@ -5020,12 +5046,13 @@ export type ExitIso<A extends Top, E extends Top, D extends Top> = {
  */
 export declare function Exit<A extends Top, E extends Top, D extends Top>(value: A, error: E, defect: D): Exit<A, E, D>;
 /**
- * Schema type for {@link ReadonlyMap}.
+ * Companion type for {@link ReadonlyMap}.
  *
  * @category ReadonlyMap
  * @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 key: Key;
     readonly value: Value;
 }
@@ -5050,6 +5077,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 key: Key;
     readonly value: Value;
 }
@@ -5067,12 +5095,13 @@ export type HashMapIso<Key extends Top, Value extends Top> = ReadonlyArray<reado
  */
 export declare function HashMap<Key extends Top, Value extends Top>(key: Key, value: Value): HashMap<Key, Value>;
 /**
- * Schema type for {@link ReadonlySet}.
+ * Companion type for {@link ReadonlySet}.
  *
  * @category ReadonlySet
  * @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 value: Value;
 }
 /**
@@ -5093,6 +5122,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 value: Value;
 }
 /**
@@ -5116,6 +5146,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 value: Value;
 }
 /**
@@ -5132,29 +5163,31 @@ export type ChunkIso<Value extends Top> = ReadonlyArray<Value["Iso"]>;
  */
 export declare function Chunk<Value extends Top>(value: Value): Chunk<Value>;
 /**
- * Schema type for {@link RegExp}.
+ * Companion type for {@link RegExp}.
  *
- * @category Schemas
+ * @category RegExp
  * @since 4.0.0
  */
 export interface RegExp extends instanceOf<globalThis.RegExp> {
+    readonly "~rebuild.out": RegExp;
 }
 /**
  * Schema for JavaScript `RegExp` objects.
  *
  * The default JSON serializer encodes a `RegExp` as `{ source, flags }`.
  *
- * @category Schemas
+ * @category RegExp
  * @since 4.0.0
  */
 export declare const RegExp: RegExp;
 /**
- * Schema type for {@link URL}.
+ * Companion type for {@link URL}.
  *
  * @category URL
  * @since 4.0.0
  */
 export interface URL extends instanceOf<globalThis.URL> {
+    readonly "~rebuild.out": URL;
 }
 /**
  * A schema for JavaScript `URL` objects.
@@ -5168,12 +5201,13 @@ export interface URL extends instanceOf<globalThis.URL> {
  */
 export declare const URL: URL;
 /**
- * Schema type for {@link URLFromString}.
+ * Companion type for {@link URLFromString}.
  *
  * @category URL
  * @since 4.0.0
  */
 export interface URLFromString extends decodeTo<URL, String> {
+    readonly "~rebuild.out": URLFromString;
 }
 /**
  * A transformation schema that decodes a `string` into a `URL`.
@@ -5189,12 +5223,13 @@ export interface URLFromString extends decodeTo<URL, String> {
  */
 export declare const URLFromString: URLFromString;
 /**
- * Schema type for {@link Date}.
+ * Companion type for {@link Date}.
  *
- * @category Schemas
+ * @category Date
  * @since 4.0.0
  */
 export interface Date extends instanceOf<globalThis.Date> {
+    readonly "~rebuild.out": Date;
 }
 /**
  * A schema for JavaScript `Date` objects.
@@ -5212,17 +5247,40 @@ export interface Date extends instanceOf<globalThis.Date> {
  * // => Date { 2024-01-01T00:00:00.000Z }
  * ```
  *
- * @category Schemas
+ * @category Date
  * @since 4.0.0
  */
 export declare const Date: Date;
 /**
- * Schema type for {@link DateValid}.
+ * Companion type for {@link DateFromString}.
  *
- * @category Schemas
+ * @category Date
+ * @since 4.0.0
+ */
+export interface DateFromString extends decodeTo<Date, String> {
+    readonly "~rebuild.out": DateFromString;
+}
+/**
+ * A transformation schema that parses an ISO 8601 string into a `Date`.
+ *
+ * Decoding:
+ * - A `string` is decoded as a `Date`.
+ *
+ * Encoding:
+ * - A `Date` is encoded as a `string`.
+ *
+ * @category Date
+ * @since 4.0.0
+ */
+export declare const DateFromString: DateFromString;
+/**
+ * Companion type for {@link DateValid}.
+ *
+ * @category Date
  * @since 4.0.0
  */
 export interface DateValid extends Date {
+    readonly "~rebuild.out": DateValid;
 }
 /**
  * A schema for **valid** JavaScript `Date` objects.
@@ -5230,16 +5288,18 @@ export interface DateValid extends Date {
  * This schema accepts `Date` instances but rejects invalid dates (such as `new
  * Date("invalid")`).
  *
+ * @category Date
  * @since 4.0.0
  */
-export declare const DateValid: Date;
+export declare const DateValid: DateValid;
 /**
- * Schema type for {@link Duration}.
+ * Companion type for {@link Duration}.
  *
  * @category Duration
  * @since 4.0.0
  */
 export interface Duration extends declare<Duration_.Duration> {
+    readonly "~rebuild.out": Duration;
 }
 /**
  * A schema for `Duration` values.
@@ -5263,12 +5323,13 @@ export interface Duration extends declare<Duration_.Duration> {
  */
 export declare const Duration: Duration;
 /**
- * Schema type for {@link DurationFromNanos}.
+ * Companion type for {@link DurationFromNanos}.
  *
  * @category Duration
  * @since 4.0.0
  */
 export interface DurationFromNanos extends decodeTo<Duration, BigInt> {
+    readonly "~rebuild.out": DurationFromNanos;
 }
 /**
  * A transformation schema that decodes a non-negative `bigint` into a
@@ -5285,12 +5346,13 @@ export interface DurationFromNanos extends decodeTo<Duration, BigInt> {
  */
 export declare const DurationFromNanos: DurationFromNanos;
 /**
- * Schema type for {@link DurationFromMillis}.
+ * Companion type for {@link DurationFromMillis}.
  *
  * @category Duration
  * @since 4.0.0
  */
 export interface DurationFromMillis extends decodeTo<Duration, Number> {
+    readonly "~rebuild.out": DurationFromMillis;
 }
 /**
  * A transformation schema that decodes a non-negative (possibly infinite)
@@ -5310,12 +5372,13 @@ export interface DurationFromMillis extends decodeTo<Duration, Number> {
  */
 export declare const DurationFromMillis: DurationFromMillis;
 /**
- * Schema type for {@link BigDecimal}.
+ * Companion type for {@link BigDecimal}.
  *
- * @category Schemas
+ * @category BigDecimal
  * @since 4.0.0
  */
 export interface BigDecimal extends declare<BigDecimal_.BigDecimal> {
+    readonly "~rebuild.out": BigDecimal;
 }
 /**
  * A schema for `BigDecimal` values.
@@ -5324,16 +5387,40 @@ export interface BigDecimal extends declare<BigDecimal_.BigDecimal> {
  *
  * - encodes `BigDecimal` as a `string`
  *
+ * @category BigDecimal
  * @since 4.0.0
  */
 export declare const BigDecimal: BigDecimal;
 /**
- * Schema type for {@link UnknownFromJsonString}.
+ * Companion type for {@link BigDecimalFromString}.
+ *
+ * @category BigDecimal
+ * @since 4.0.0
+ */
+export interface BigDecimalFromString extends decodeTo<BigDecimal, String> {
+    readonly "~rebuild.out": BigDecimalFromString;
+}
+/**
+ * A transformation schema that parses a string into a `BigDecimal`.
+ *
+ * Decoding:
+ * - A `string` is decoded as a `BigDecimal`.
+ *
+ * Encoding:
+ * - A `BigDecimal` is encoded as a `string`.
+ *
+ * @category BigDecimal
+ * @since 4.0.0
+ */
+export declare const BigDecimalFromString: BigDecimalFromString;
+/**
+ * Companion type for {@link UnknownFromJsonString}.
  *
  * @category JSON
  * @since 4.0.0
  */
 export interface UnknownFromJsonString extends fromJsonString<Unknown> {
+    readonly "~rebuild.out": UnknownFromJsonString;
 }
 /**
  * A transformation schema that decodes a JSON-encoded string into an `unknown` value.
@@ -5355,16 +5442,18 @@ export interface UnknownFromJsonString extends fromJsonString<Unknown> {
  * // => { a: 1, b: 2 }
  * ```
  *
+ * @category JSON
  * @since 4.0.0
  */
-export declare const UnknownFromJsonString: fromJsonString<Unknown>;
+export declare const UnknownFromJsonString: UnknownFromJsonString;
 /**
- * Schema type for {@link fromJsonString}.
+ * Companion type for {@link fromJsonString}.
  *
  * @category JSON
  * @since 4.0.0
  */
 export interface fromJsonString<S extends Top> extends decodeTo<S, String> {
+    readonly "~rebuild.out": fromJsonString<S>;
 }
 /**
  * Returns a schema that decodes a JSON string and then decodes the parsed value
@@ -5427,16 +5516,18 @@ export interface fromJsonString<S extends Top> extends decodeTo<S, String> {
  * // }
  * ```
  *
+ * @category JSON
  * @since 4.0.0
  */
 export declare function fromJsonString<S extends Top>(schema: S): fromJsonString<S>;
 /**
- * Schema type for {@link File}.
+ * Companion type for {@link File}.
  *
- * @category Schemas
+ * @category File
  * @since 4.0.0
  */
 export interface File extends instanceOf<globalThis.File> {
+    readonly "~rebuild.out": File;
 }
 /**
  * Schema for JavaScript `File` objects.
@@ -5444,17 +5535,18 @@ export interface File extends instanceOf<globalThis.File> {
  * The default JSON serializer encodes a `File` as `{ data, type, name, lastModified }`
  * where `data` is base64-encoded.
  *
- * @category Schemas
+ * @category File
  * @since 4.0.0
  */
 export declare const File: File;
 /**
- * Schema type for {@link FormData}.
+ * Companion type for {@link FormData}.
  *
- * @category Schemas
+ * @category FormData
  * @since 4.0.0
  */
 export interface FormData extends instanceOf<globalThis.FormData> {
+    readonly "~rebuild.out": FormData;
 }
 /**
  * Schema for JavaScript `FormData` objects.
@@ -5462,17 +5554,18 @@ export interface FormData extends instanceOf<globalThis.FormData> {
  * The default JSON serializer encodes a `FormData` as an array of `[key, entry]`
  * pairs where each entry is tagged as `"String"` or `"File"`.
  *
- * @category Schemas
+ * @category FormData
  * @since 4.0.0
  */
 export declare const FormData: FormData;
 /**
- * Schema type for {@link fromFormData}.
+ * Companion type for {@link fromFormData}.
  *
- * @category Schemas
+ * @category FormData
  * @since 4.0.0
  */
 export interface fromFormData<S extends Top> extends decodeTo<S, FormData> {
+    readonly "~rebuild.out": fromFormData<S>;
 }
 /**
  * `Schema.fromFormData` returns a schema that reads a `FormData` instance,
@@ -5559,29 +5652,31 @@ export interface fromFormData<S extends Top> extends decodeTo<S, FormData> {
  */
 export declare function fromFormData<S extends Top>(schema: S): fromFormData<S>;
 /**
- * Schema type for {@link URLSearchParams}.
+ * Companion type for {@link URLSearchParams}.
  *
- * @category Schemas
+ * @category URLSearchParams
  * @since 4.0.0
  */
 export interface URLSearchParams extends instanceOf<globalThis.URLSearchParams> {
+    readonly "~rebuild.out": URLSearchParams;
 }
 /**
  * Schema for JavaScript `URLSearchParams` objects.
  *
  * The default JSON serializer encodes a `URLSearchParams` as a query string.
  *
- * @category Schemas
+ * @category URLSearchParams
  * @since 4.0.0
  */
 export declare const URLSearchParams: URLSearchParams;
 /**
- * Schema type for {@link fromURLSearchParams}.
+ * Companion type for {@link fromURLSearchParams}.
  *
- * @category Schemas
+ * @category URLSearchParams
  * @since 4.0.0
  */
 export interface fromURLSearchParams<S extends Top> extends decodeTo<S, URLSearchParams> {
+    readonly "~rebuild.out": fromURLSearchParams<S>;
 }
 /**
  * `Schema.fromURLSearchParams` returns a schema that reads a `URLSearchParams`
@@ -5659,40 +5754,45 @@ export interface fromURLSearchParams<S extends Top> extends decodeTo<S, URLSearc
  */
 export declare function fromURLSearchParams<S extends Top>(schema: S): fromURLSearchParams<S>;
 /**
- * Schema type for {@link Finite}.
+ * Companion type for {@link Finite}.
  *
- * @category Schemas
+ * @category Number
  * @since 4.0.0
  */
 export interface Finite extends Number {
+    readonly "~rebuild.out": Finite;
 }
 /**
  * A schema for finite numbers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
+ * @category Number
  * @since 4.0.0
  */
 export declare const Finite: Finite;
 /**
- * Schema type for {@link Int}.
+ * Companion type for {@link Int}.
  *
- * @category Schemas
+ * @category Number
  * @since 4.0.0
  */
 export interface Int extends Number {
+    readonly "~rebuild.out": Int;
 }
 /**
  * A schema for integers, rejecting `NaN`, `Infinity`, and `-Infinity`.
  *
+ * @category Number
  * @since 4.0.0
  */
 export declare const Int: Int;
 /**
- * Schema type for {@link NumberFromString}.
+ * Companion type for {@link NumberFromString}.
  *
- * @category Schemas
+ * @category Number
  * @since 4.0.0
  */
 export interface NumberFromString extends decodeTo<Finite, String> {
+    readonly "~rebuild.out": NumberFromString;
 }
 /**
  * A transformation schema that parses a string into a number.
@@ -5703,16 +5803,18 @@ export interface NumberFromString extends decodeTo<Finite, String> {
  * Encoding:
  * - A number is encoded as a `string`.
  *
+ * @category Number
  * @since 4.0.0
  */
 export declare const NumberFromString: NumberFromString;
 /**
- * Schema type for {@link FiniteFromString}.
+ * Companion type for {@link FiniteFromString}.
  *
- * @category Schemas
+ * @category Number
  * @since 4.0.0
  */
 export interface FiniteFromString extends decodeTo<Finite, String> {
+    readonly "~rebuild.out": FiniteFromString;
 }
 /**
  * A transformation schema that parses a string into a finite number.
@@ -5724,30 +5826,56 @@ export interface FiniteFromString extends decodeTo<Finite, String> {
  * Encoding:
  * - A finite number is encoded as a `string`.
  *
+ * @category Number
  * @since 4.0.0
  */
 export declare const FiniteFromString: FiniteFromString;
 /**
- * Schema type for {@link Trimmed}.
+ * Companion type for {@link BigIntFromString}.
  *
- * @category Schemas
+ * @category BigInt
+ * @since 4.0.0
+ */
+export interface BigIntFromString extends decodeTo<BigInt, String> {
+    readonly "~rebuild.out": BigIntFromString;
+}
+/**
+ * A transformation schema that parses a string into a `bigint`.
+ *
+ * Decoding:
+ * - A `string` is decoded as a `bigint`.
+ *
+ * Encoding:
+ * - A `bigint` is encoded as a `string`.
+ *
+ * @category BigInt
+ * @since 4.0.0
+ */
+export declare const BigIntFromString: BigIntFromString;
+/**
+ * Companion type for {@link Trimmed}.
+ *
+ * @category String
  * @since 4.0.0
  */
 export interface Trimmed extends String {
+    readonly "~rebuild.out": Trimmed;
 }
 /**
  * A schema for strings that contains no leading or trailing whitespaces.
  *
+ * @category String
  * @since 4.0.0
  */
 export declare const Trimmed: Trimmed;
 /**
- * Schema type for {@link Trim}.
+ * Companion type for {@link Trim}.
  *
- * @category Schemas
+ * @category String
  * @since 4.0.0
  */
 export interface Trim extends decodeTo<Trimmed, String> {
+    readonly "~rebuild.out": Trim;
 }
 /**
  * A transformation schema that trims whitespace from a string.
@@ -5758,17 +5886,126 @@ export interface Trim extends decodeTo<Trimmed, String> {
  * Encoding:
  * - The trimmed string is encoded as is.
  *
+ * @category String
  * @since 4.0.0
  */
 export declare const Trim: Trim;
+/**
+ * Companion type for {@link StringFromBase64}.
+ *
+ * @category String
+ * @since 4.0.0
+ */
+export interface StringFromBase64 extends decodeTo<String, String> {
+    readonly "~rebuild.out": StringFromBase64;
+}
+/**
+ * Decodes a base64 (RFC4648) encoded string into a UTF-8 string.
+ *
+ * Decoding:
+ * - A **valid** base64 encoded string is decoded as a UTF-8 `string`.
+ *
+ * Encoding:
+ * - A `string` is encoded as a base64-encoded string.
+ *
+ * @category String
+ * @since 4.0.0
+ */
+export declare const StringFromBase64: StringFromBase64;
+/**
+ * Companion type for {@link StringFromBase64Url}.
+ *
+ * @category String
+ * @since 4.0.0
+ */
+export interface StringFromBase64Url extends decodeTo<String, String> {
+    readonly "~rebuild.out": StringFromBase64Url;
+}
+/**
+ * Decodes a base64 (URL) encoded string into a UTF-8 string.
+ *
+ * Decoding:
+ * - A **valid** base64 (URL) encoded string is decoded as a UTF-8 `string`.
+ *
+ * Encoding:
+ * - A `string` is encoded as a base64 (URL) encoded string.
+ *
+ * @category String
+ * @since 4.0.0
+ */
+export declare const StringFromBase64Url: StringFromBase64Url;
+/**
+ * Companion type for {@link StringFromHex}.
+ *
+ * @category String
+ * @since 4.0.0
+ */
+export interface StringFromHex extends decodeTo<String, String> {
+    readonly "~rebuild.out": StringFromHex;
+}
+/**
+ * Decodes a hex encoded string into a UTF-8 string.
+ *
+ * Decoding:
+ * - A **valid** hex encoded string is decoded as a UTF-8 `string`.
+ *
+ * Encoding:
+ * - A `string` is encoded as a hex string.
+ *
+ * @category String
+ * @since 4.0.0
+ */
+export declare const StringFromHex: StringFromHex;
+/**
+ * Companion type for {@link StringFromUriComponent}.
+ *
+ * @category String
+ * @since 4.0.0
+ */
+export interface StringFromUriComponent extends decodeTo<String, String> {
+    readonly "~rebuild.out": StringFromUriComponent;
+}
+/**
+ * Decodes a URI component encoded string into a UTF-8 string.
+ * Can be used to store data in a URL.
+ *
+ * Decoding:
+ * - A **valid** URI component encoded string is decoded as a UTF-8 `string`.
+ *
+ * Encoding:
+ * - A `string` is encoded as a URI component encoded string.
+ *
+ * **Example**
+ *
+ * ```ts
+ * import { Schema } from "effect"
+ *
+ * const PaginationSchema = Schema.Struct({
+ *   maxItemPerPage: Schema.Number,
+ *   page: Schema.Number
+ * })
+ *
+ * const UrlSchema = Schema.StringFromUriComponent.pipe(
+ *   Schema.decodeTo(Schema.fromJsonString(PaginationSchema))
+ * )
+ *
+ * console.log(Schema.encodeSync(UrlSchema)({ maxItemPerPage: 10, page: 1 }))
+ * // %7B%22maxItemPerPage%22%3A10%2C%22page%22%3A1%7D
+ * ```
+ *
+ * @category String
+ * @since 4.0.0
+ */
+export declare const StringFromUriComponent: StringFromUriComponent;
 /**
  * A union schema for JavaScript property keys: `number | symbol | string`.
  *
- * @category Schemas
+ * @category PropertyKey
  * @since 4.0.0
  */
 export declare const PropertyKey: Union<readonly [Finite, Symbol, String]>;
 /**
+ * @category StandardSchema
  * @since 4.0.0
  */
 export declare const StandardSchemaV1FailureResult: Struct<{
@@ -5780,12 +6017,13 @@ export declare const StandardSchemaV1FailureResult: Struct<{
     }>>;
 }>;
 /**
- * Schema type for {@link BooleanFromBit}.
+ * Companion type for {@link BooleanFromBit}.
  *
- * @category Schemas
+ * @category Boolean
  * @since 4.0.0
  */
 export interface BooleanFromBit extends decodeTo<Boolean, Literals<readonly [0, 1]>> {
+    readonly "~rebuild.out": BooleanFromBit;
 }
 /**
  * A boolean parsed from 0 or 1.
@@ -5795,12 +6033,13 @@ export interface BooleanFromBit extends decodeTo<Boolean, Literals<readonly [0,
  */
 export declare const BooleanFromBit: BooleanFromBit;
 /**
- * Schema type for {@link Uint8Array}.
+ * Companion type for {@link Uint8Array}.
  *
- * @category Schemas
+ * @category Uint8Array
  * @since 4.0.0
  */
 export interface Uint8Array extends instanceOf<globalThis.Uint8Array<ArrayBufferLike>> {
+    readonly "~rebuild.out": Uint8Array;
 }
 /**
  * A schema for JavaScript `Uint8Array` objects.
@@ -5814,12 +6053,13 @@ export interface Uint8Array extends instanceOf<globalThis.Uint8Array<ArrayBuffer
  */
 export declare const Uint8Array: Uint8Array;
 /**
- * Schema type for {@link Uint8ArrayFromBase64}.
+ * Companion type for {@link Uint8ArrayFromBase64}.
  *
- * @category Schemas
+ * @category Uint8Array
  * @since 4.0.0
  */
 export interface Uint8ArrayFromBase64 extends decodeTo<Uint8Array, String> {
+    readonly "~rebuild.out": Uint8ArrayFromBase64;
 }
 /**
  * A transformation schema that decodes a base64 encoded string into a
@@ -5836,12 +6076,13 @@ export interface Uint8ArrayFromBase64 extends decodeTo<Uint8Array, String> {
  */
 export declare const Uint8ArrayFromBase64: Uint8ArrayFromBase64;
 /**
- * Schema type for {@link Uint8ArrayFromBase64Url}.
+ * Companion type for {@link Uint8ArrayFromBase64Url}.
  *
- * @category Schemas
+ * @category Uint8Array
  * @since 4.0.0
  */
 export interface Uint8ArrayFromBase64Url extends decodeTo<Uint8Array, String> {
+    readonly "~rebuild.out": Uint8ArrayFromBase64Url;
 }
 /**
  * A transformation schema that decodes a base64 (URL) encoded string into a
@@ -5858,12 +6099,13 @@ export interface Uint8ArrayFromBase64Url extends decodeTo<Uint8Array, String> {
  */
 export declare const Uint8ArrayFromBase64Url: Uint8ArrayFromBase64Url;
 /**
- * Schema type for {@link Uint8ArrayFromHex}.
+ * Companion type for {@link Uint8ArrayFromHex}.
  *
- * @category Schemas
+ * @category Uint8Array
  * @since 4.0.0
  */
 export interface Uint8ArrayFromHex extends decodeTo<Uint8Array, String> {
+    readonly "~rebuild.out": Uint8ArrayFromHex;
 }
 /**
  * A transformation schema that decodes a hex encoded string into a
@@ -5880,12 +6122,13 @@ export interface Uint8ArrayFromHex extends decodeTo<Uint8Array, String> {
  */
 export declare const Uint8ArrayFromHex: Uint8ArrayFromHex;
 /**
- * Schema type for {@link DateTimeUtc}.
+ * Companion type for {@link DateTimeUtc}.
  *
  * @category DateTime
  * @since 4.0.0
  */
 export interface DateTimeUtc extends declare<DateTime.Utc> {
+    readonly "~rebuild.out": DateTimeUtc;
 }
 /**
  * A schema for `DateTime.Utc` values.
@@ -5899,12 +6142,13 @@ export interface DateTimeUtc extends declare<DateTime.Utc> {
  */
 export declare const DateTimeUtc: DateTimeUtc;
 /**
- * Schema type for {@link DateTimeUtcFromDate}.
+ * Companion type for {@link DateTimeUtcFromDate}.
  *
  * @category DateTime
  * @since 4.0.0
  */
 export interface DateTimeUtcFromDate extends decodeTo<DateTimeUtc, Date> {
+    readonly "~rebuild.out": DateTimeUtcFromDate;
 }
 /**
  * A transformation schema that decodes a `Date` into a `DateTime.Utc`.
@@ -5920,12 +6164,13 @@ export interface DateTimeUtcFromDate extends decodeTo<DateTimeUtc, Date> {
  */
 export declare const DateTimeUtcFromDate: DateTimeUtcFromDate;
 /**
- * Schema type for {@link DateTimeUtcFromString}.
+ * Companion type for {@link DateTimeUtcFromString}.
  *
  * @category DateTime
  * @since 4.0.0
  */
 export interface DateTimeUtcFromString extends decodeTo<DateTimeUtc, String> {
+    readonly "~rebuild.out": DateTimeUtcFromString;
 }
 /**
  * A transformation schema that decodes a string into a `DateTime.Utc`.
@@ -5943,12 +6188,13 @@ export interface DateTimeUtcFromString extends decodeTo<DateTimeUtc, String> {
  */
 export declare const DateTimeUtcFromString: DateTimeUtcFromString;
 /**
- * Schema type for {@link DateTimeUtcFromMillis}.
+ * Companion type for {@link DateTimeUtcFromMillis}.
  *
  * @category DateTime
  * @since 4.0.0
  */
 export interface DateTimeUtcFromMillis extends decodeTo<instanceOf<DateTime.Utc>, Number> {
+    readonly "~rebuild.out": DateTimeUtcFromMillis;
 }
 /**
  * A transformation schema that decodes a number into a `DateTime.Utc`.
@@ -5964,12 +6210,13 @@ export interface DateTimeUtcFromMillis extends decodeTo<instanceOf<DateTime.Utc>
  */
 export declare const DateTimeUtcFromMillis: DateTimeUtcFromMillis;
 /**
- * Schema type for {@link TimeZoneOffset}.
+ * Companion type for {@link TimeZoneOffset}.
  *
  * @category DateTime
  * @since 4.0.0
  */
 export interface TimeZoneOffset extends declare<DateTime.TimeZone.Offset> {
+    readonly "~rebuild.out": TimeZoneOffset;
 }
 /**
  * A schema for `DateTime.TimeZone.Offset` values.
@@ -5983,12 +6230,13 @@ export interface TimeZoneOffset extends declare<DateTime.TimeZone.Offset> {
  */
 export declare const TimeZoneOffset: TimeZoneOffset;
 /**
- * Schema type for {@link TimeZoneNamed}.
+ * Companion type for {@link TimeZoneNamed}.
  *
  * @category DateTime
  * @since 4.0.0
  */
 export interface TimeZoneNamed extends declare<DateTime.TimeZone.Named> {
+    readonly "~rebuild.out": TimeZoneNamed;
 }
 /**
  * A schema for `DateTime.TimeZone.Named` values.
@@ -6002,12 +6250,35 @@ export interface TimeZoneNamed extends declare<DateTime.TimeZone.Named> {
  */
 export declare const TimeZoneNamed: TimeZoneNamed;
 /**
- * Schema type for {@link TimeZone}.
+ * Companion type for {@link TimeZoneNamedFromString}.
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export interface TimeZoneNamedFromString extends decodeTo<TimeZoneNamed, String> {
+    readonly "~rebuild.out": TimeZoneNamedFromString;
+}
+/**
+ * A transformation schema that parses an IANA time zone identifier string into a `DateTime.TimeZone.Named`.
+ *
+ * Decoding:
+ * - A `string` is decoded as a `DateTime.TimeZone.Named`.
+ *
+ * Encoding:
+ * - A `DateTime.TimeZone.Named` is encoded as a `string`.
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export declare const TimeZoneNamedFromString: TimeZoneNamedFromString;
+/**
+ * Companion type for {@link TimeZone}.
  *
  * @category DateTime
  * @since 4.0.0
  */
 export interface TimeZone extends declare<DateTime.TimeZone> {
+    readonly "~rebuild.out": TimeZone;
 }
 /**
  * A schema for `DateTime.TimeZone` values.
@@ -6022,12 +6293,35 @@ export interface TimeZone extends declare<DateTime.TimeZone> {
  */
 export declare const TimeZone: TimeZone;
 /**
- * Schema type for {@link DateTimeZoned}.
+ * Companion type for {@link TimeZoneFromString}.
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export interface TimeZoneFromString extends decodeTo<TimeZone, String> {
+    readonly "~rebuild.out": TimeZoneFromString;
+}
+/**
+ * A transformation schema that parses a time zone string into a `DateTime.TimeZone`.
+ *
+ * Decoding:
+ * - A `string` (IANA identifier or offset like `+03:00`) is decoded as a `DateTime.TimeZone`.
+ *
+ * Encoding:
+ * - A `DateTime.TimeZone` is encoded as a `string`.
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export declare const TimeZoneFromString: TimeZoneFromString;
+/**
+ * Companion type for {@link DateTimeZoned}.
  *
  * @category DateTime
  * @since 4.0.0
  */
 export interface DateTimeZoned extends declare<DateTime.Zoned> {
+    readonly "~rebuild.out": DateTimeZoned;
 }
 /**
  * A schema for `DateTime.Zoned` values.
@@ -6041,6 +6335,28 @@ export interface DateTimeZoned extends declare<DateTime.Zoned> {
  * @since 4.0.0
  */
 export declare const DateTimeZoned: DateTimeZoned;
+/**
+ * Companion type for {@link DateTimeZonedFromString}.
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export interface DateTimeZonedFromString extends decodeTo<DateTimeZoned, String> {
+    readonly "~rebuild.out": DateTimeZonedFromString;
+}
+/**
+ * A transformation schema that parses a zoned DateTime string into a `DateTime.Zoned`.
+ *
+ * Decoding:
+ * - A `string` (e.g. `2024-01-01T00:00:00.000+00:00[Europe/London]`) is decoded as a `DateTime.Zoned`.
+ *
+ * Encoding:
+ * - A `DateTime.Zoned` is encoded as a `string`.
+ *
+ * @category DateTime
+ * @since 4.0.0
+ */
+export declare const DateTimeZonedFromString: DateTimeZonedFromString;
 /**
  * Interface for schema-backed classes created with {@link Class}.
  *
@@ -6075,20 +6391,10 @@ export interface Class<Self, S extends Top & {
     mapFields<To extends Struct.Fields>(f: (fields: S["fields"]) => To, options?: {
         readonly unsafePreserveChecks?: boolean | undefined;
     } | undefined): Struct<Simplify<Readonly<To>>>;
+    extend<Extended = never, Static = {}, Brand = {}>(identifier: string): <NewFields extends Struct.Fields>(fields: NewFields, annotations?: Annotations.Declaration<Extended, readonly [Struct<Simplify<Assign<S["fields"], NewFields>>>]>) => [Extended] extends [never] ? MissingSelfGeneric<"Base.extend"> : InheritStaticMembers<Class<Extended, Struct<Simplify<Assign<S["fields"], NewFields>>>, Self & Brand>, Static>;
 }
-type AddStaticMembers<C, Static> = C & Pick<Static, Exclude<keyof Static, keyof C>>;
-/**
- * A {@link Class} that additionally exposes an `extend` method, allowing
- * subclasses to be derived with extra fields while inheriting all parent
- * fields and validation.
- *
- * @since 4.0.0
- */
-export interface ExtendableClass<Self, S extends Top & {
-    readonly fields: Struct.Fields;
-}, Inherited> extends Class<Self, S, Inherited> {
-    extend<Extended, Static = {}, Brand = {}>(identifier: string): <NewFields extends Struct.Fields>(fields: NewFields, annotations?: Annotations.Declaration<Extended, readonly [Struct<Simplify<Assign<S["fields"], NewFields>>>]>) => AddStaticMembers<ExtendableClass<Extended, Struct<Simplify<Assign<S["fields"], NewFields>>>, Self & Brand>, Static>;
-}
+type InheritStaticMembers<C, Static> = C & Pick<Static, Exclude<keyof Static, keyof C>>;
+type MissingSelfGeneric<Usage extends string> = `Missing \`Self\` generic - use \`class Self extends ${Usage}<Self>(...)\``;
 /**
  * Creates a schema-backed class whose constructor validates input against a
  * {@link Struct} schema. Construction throws a {@link SchemaError} on invalid
@@ -6178,7 +6484,7 @@ export declare const Class: {
      * @category Constructors
      * @since 4.0.0
      */
-    <Self, Brand = {}>(identifier: string): {
+    <Self = never, Brand = {}>(identifier: string): {
         /**
          * Creates a schema-backed class whose constructor validates input against a
          * {@link Struct} schema. Construction throws a {@link SchemaError} on invalid
@@ -6223,7 +6529,7 @@ export declare const Class: {
          * @category Constructors
          * @since 4.0.0
          */
-        <const Fields extends Struct.Fields>(fields: Fields, annotations?: Annotations.Declaration<Self, readonly [Struct<Fields>]>): ExtendableClass<Self, Struct<Fields>, Brand>;
+        <const Fields extends Struct.Fields>(fields: Fields, annotations?: Annotations.Declaration<Self, readonly [Struct<Fields>]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.Class"> : Class<Self, Struct<Fields>, Brand>;
         /**
          * Creates a schema-backed class whose constructor validates input against a
          * {@link Struct} schema. Construction throws a {@link SchemaError} on invalid
@@ -6268,7 +6574,7 @@ export declare const Class: {
          * @category Constructors
          * @since 4.0.0
          */
-        <S extends Struct<Struct.Fields>>(schema: S, annotations?: Annotations.Declaration<Self, readonly [S]>): ExtendableClass<Self, S, Brand>;
+        <S extends Struct<Struct.Fields>>(schema: S, annotations?: Annotations.Declaration<Self, readonly [S]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.Class"> : Class<Self, S, Brand>;
     };
 };
 /**
@@ -6322,7 +6628,7 @@ export declare const TaggedClass: {
      * @category Constructors
      * @since 4.0.0
      */
-    <Self, Brand = {}>(identifier?: string): {
+    <Self = never, Brand = {}>(identifier?: string): {
         /**
          * Like {@link Class} but automatically adds a `_tag` literal field set to the
          * given `tag` value. This makes instances compatible with tagged union
@@ -6348,7 +6654,7 @@ export declare const TaggedClass: {
          * @category Constructors
          * @since 4.0.0
          */
-        <Tag extends string, const Fields extends Struct.Fields>(tag: Tag, fields: Fields, annotations?: Annotations.Declaration<Self, readonly [TaggedStruct<Tag, Fields>]>): ExtendableClass<Self, TaggedStruct<Tag, Fields>, Brand>;
+        <Tag extends string, const Fields extends Struct.Fields>(tag: Tag, fields: Fields, annotations?: Annotations.Declaration<Self, readonly [TaggedStruct<Tag, Fields>]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.TaggedClass"> : Class<Self, TaggedStruct<Tag, Fields>, Brand>;
         /**
          * Like {@link Class} but automatically adds a `_tag` literal field set to the
          * given `tag` value. This makes instances compatible with tagged union
@@ -6376,21 +6682,21 @@ export declare const TaggedClass: {
          */
         <Tag extends string, S extends Struct<Struct.Fields>>(tag: Tag, schema: S, annotations?: Annotations.Declaration<Self, readonly [Struct<Simplify<{
             readonly _tag: tag<Tag>;
-        } & S["fields"]>>]>): ExtendableClass<Self, Struct<Simplify<{
+        } & S["fields"]>>]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.TaggedClass"> : Class<Self, Struct<Simplify<{
             readonly _tag: tag<Tag>;
         } & S["fields"]>>, Brand>;
     };
 };
 /**
  * Interface for schema-backed error classes created with {@link ErrorClass}.
- * Extends {@link ExtendableClass} and is also a `YieldableError`, so instances
+ * 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 ExtendableClass<Self, S, Inherited> {
+}, Inherited> extends Class<Self, S, Inherited> {
 }
 /**
  * Creates a schema-backed error class that can be used as a typed,
@@ -6439,7 +6745,7 @@ export declare const ErrorClass: {
      * @category Constructors
      * @since 4.0.0
      */
-    <Self, Brand = {}>(identifier: string): {
+    <Self = never, Brand = {}>(identifier: string): {
         /**
          * Creates a schema-backed error class that can be used as a typed,
          * yieldable error in Effect programs. Combines {@link Class} validation with
@@ -6463,7 +6769,7 @@ export declare const ErrorClass: {
          * @category Constructors
          * @since 4.0.0
          */
-        <const Fields extends Struct.Fields>(fields: Fields, annotations?: Annotations.Declaration<Self, readonly [Struct<Fields>]>): ErrorClass<Self, Struct<Fields>, Cause_.YieldableError & Brand>;
+        <const Fields extends Struct.Fields>(fields: Fields, annotations?: Annotations.Declaration<Self, readonly [Struct<Fields>]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.ErrorClass"> : Class<Self, Struct<Fields>, Cause_.YieldableError & Brand>;
         /**
          * Creates a schema-backed error class that can be used as a typed,
          * yieldable error in Effect programs. Combines {@link Class} validation with
@@ -6487,7 +6793,7 @@ export declare const ErrorClass: {
          * @category Constructors
          * @since 4.0.0
          */
-        <S extends Struct<Struct.Fields>>(schema: S, annotations?: Annotations.Declaration<Self, readonly [S]>): ErrorClass<Self, S, Cause_.YieldableError & Brand>;
+        <S extends Struct<Struct.Fields>>(schema: S, annotations?: Annotations.Declaration<Self, readonly [S]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.ErrorClass"> : Class<Self, S, Cause_.YieldableError & Brand>;
     };
 };
 /**
@@ -6535,7 +6841,7 @@ export declare const TaggedErrorClass: {
      * @category Constructors
      * @since 4.0.0
      */
-    <Self, Brand = {}>(identifier?: string): {
+    <Self = never, Brand = {}>(identifier?: string): {
         /**
          * Like {@link ErrorClass} but automatically adds a `_tag` literal field. The
          * resulting class is both a schema-validated, yieldable error and a tagged
@@ -6558,7 +6864,7 @@ export declare const TaggedErrorClass: {
          * @category Constructors
          * @since 4.0.0
          */
-        <Tag extends string, const Fields extends Struct.Fields>(tag: Tag, fields: Fields, annotations?: Annotations.Declaration<Self, readonly [TaggedStruct<Tag, Fields>]>): ErrorClass<Self, TaggedStruct<Tag, Fields>, Cause_.YieldableError & Brand>;
+        <Tag extends string, const Fields extends Struct.Fields>(tag: Tag, fields: Fields, annotations?: Annotations.Declaration<Self, readonly [TaggedStruct<Tag, Fields>]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.TaggedErrorClass"> : Class<Self, TaggedStruct<Tag, Fields>, Cause_.YieldableError & Brand>;
         /**
          * Like {@link ErrorClass} but automatically adds a `_tag` literal field. The
          * resulting class is both a schema-validated, yieldable error and a tagged
@@ -6583,7 +6889,7 @@ export declare const TaggedErrorClass: {
          */
         <Tag extends string, S extends Struct<Struct.Fields>>(tag: Tag, schema: S, annotations?: Annotations.Declaration<Self, readonly [Struct<Simplify<{
             readonly _tag: tag<Tag>;
-        } & S["fields"]>>]>): ErrorClass<Self, Struct<Simplify<{
+        } & S["fields"]>>]>): [Self] extends [never] ? MissingSelfGeneric<"Schema.TaggedErrorClass"> : Class<Self, Struct<Simplify<{
             readonly _tag: tag<Tag>;
         } & S["fields"]>>, Cause_.YieldableError & Brand>;
     };
@@ -6820,7 +7126,6 @@ export declare function toIsoFocus<S extends Top>(_: S): Optic_.Iso<S["Iso"], S[
  * @since 4.0.0
  */
 export interface overrideToCodecIso<S extends Top, Iso> extends Bottom<S["Type"], S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], overrideToCodecIso<S, Iso>, S["~type.make.in"], Iso, S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
-    readonly "~rebuild.out": this;
     readonly schema: S;
 }
 /**
@@ -6944,18 +7249,30 @@ export interface MutableJsonObject {
  */
 export declare const MutableJson: Codec<MutableJson>;
 /**
- * Return all the typed annotations from the schema.
+ * Resolves the typed annotations from a schema. The term "resolve" (rather
+ * than "get") reflects the lookup strategy: if the schema has checks, the
+ * annotations are taken from the last check; otherwise they are taken from
+ * the base schema instance.
+ *
+ * @category Schema Resolvers
+ * @since 4.0.0
+ */
+export declare function resolveAnnotations<S extends Top>(schema: S): Annotations.Bottom<S["Type"], S["~type.parameters"]> | undefined;
+/**
+ * Resolves the context (key-level) annotations from a schema. Context
+ * annotations are those attached via `annotateKey` and live on the AST's
+ * `context` rather than on the schema node itself.
  *
  * @category Schema Resolvers
  * @since 4.0.0
  */
-export declare function resolveInto<S extends Top>(schema: S): S["~annotate.in"] | undefined;
+export declare function resolveAnnotationsKey<S extends Top>(schema: S): Annotations.Key<S["Type"]> | undefined;
 /**
  * The `Annotations` namespace groups all annotation interfaces used to attach
  * metadata to schemas. Annotations control documentation, validation messages,
  * JSON Schema generation, equivalence, arbitrary generation, and more.
  *
- * Use {@link resolveInto} to read the annotations attached to a schema at
+ * Use {@link resolveAnnotations} to read the annotations attached to a schema at
  * runtime.
  *
  * @since 4.0.0
@@ -6990,7 +7307,7 @@ export declare namespace Annotations {
      * const schema = Schema.String.annotate({ version: [1, 2, 0] })
      *
      * // const version: readonly [major: number, minor: number, patch: number] | undefined
-     * const version = Schema.resolveInto(schema)?.["version"]
+     * const version = Schema.resolveAnnotations(schema)?.["version"]
      *
      * if (version) {
      *   // Access individual parts of the version