effect 4.0.0-rc.112 → 4.0.0-rc.113

package/dist/unstable/encoding/Ini.js

@@ -70,6 +70,8 @@ const unquote = input => {
 /**
  * Parses an INI document into a null-prototype record.
  *
+ * **Details**
+ *
  * Section names separated by dots become nested records, repeated keys ending
  * in `[]` become arrays, and the scalar values `true`, `false`, and `null` are
  * decoded. Other scalar values remain strings.

package/dist/unstable/encoding/Ini.js.map

@@ -1 +1 @@
-{"version":3,"file":"Ini.js","names":[],"sources":["../../../src/unstable/encoding/Ini.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;AASA;;;;;;;;;;;;;;;;;AAkBA,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc;AAE9C,MAAM,aAAa,GAAI,KAAa,IAAmB;EACrD,MAAM,QAAQ,GAAkB,EAAE;EAClC,IAAI,KAAK,GAAG,CAAC;EACb,IAAI,KAAK,GAAG,CAAC;EACb,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE;IACjD,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE;MAC5C,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;MACxC,KAAK,GAAG,KAAK,GAAG,CAAC;IACnB;IACA,KAAK,EAAE;EACT;EACA,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;EACjC,OAAO,QAAQ;AACjB,CAAC;AAED,MAAM,QAAQ,GAAI,KAAa,IAC7B,KAAK,CAAC,MAAM,IAAI,CAAC,KACf,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAC7C,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAE,CAAC;AAEnD,MAAM,OAAO,GAAI,KAAyB,IAAY;EACpD,IAAI,KAAK,GAAG,CAAC,KAAK,IAAI,EAAE,EAAE,IAAI,EAAE;EAChC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE;IACnB,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE;MACpB,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B;IACA,IAAI;MACF,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC1B,CAAC,CAAC,MAAM;MACN,OAAO,KAAK;IACd;EACF;EAEA,IAAI,OAAO,GAAG,KAAK;EACnB,IAAI,MAAM,GAAG,EAAE;EACf,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE;IAC7B,IAAI,OAAO,EAAE;MACX,MAAM,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,IAAI,GAClE,SAAS,GACT,KAAK,SAAS,EAAE;MACpB,OAAO,GAAG,KAAK;IACjB,CAAC,MAAM,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG,EAAE;MACjD;IACF,CAAC,MAAM,IAAI,SAAS,KAAK,IAAI,EAAE;MAC7B,OAAO,GAAG,IAAI;IAChB,CAAC,MAAM;MACL,MAAM,IAAI,SAAS;IACrB;EACF;EACA,OAAO,MAAM,CAAC,IAAI,EAAE;AACtB,CAAC;AAED;;;;;;;;;;AAUA,OAAO,MAAM,KAAK,GAAI,KAAa,IAA6B;EAC9D,MAAM,MAAM,GAAwB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;EACvD,IAAI,OAAO,GAAG,MAAM;EACpB,MAAM,cAAc,GAAG,mBAAmB;EAC1C,MAAM,eAAe,GAAG,mBAAmB;EAE3C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;MACpD;IACF;IAEA,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9C,IAAI,YAAY,KAAK,IAAI,EAAE;MACzB,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;MACxC,IAAI,OAAO,KAAK,WAAW,EAAE;QAC3B,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;MAC/B,CAAC,MAAM;QACL,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;MACnD;MACA;IACF;IAEA,MAAM,aAAa,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;IAChD,IAAI,aAAa,KAAK,IAAI,EAAE;MAC1B;IACF;IAEA,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;IACxD,MAAM,GAAG,GAAG,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM;IAChD,IAAI,GAAG,KAAK,WAAW,EAAE;MACvB;IACF;IAEA,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,SAAS,GAAG,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,KAAK,GAAG,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,GAC5E,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GACpB,QAAQ;IAEZ,IAAI,KAAK,EAAE;MACT,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE;QAC9B,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE;MACnB,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;QACvC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;MAC/B;IACF;IACA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;MAC/B,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;IAC1B,CAAC,MAAM;MACL,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK;IACtB;EACF;EAEA,MAAM,MAAM,GAAkB,EAAE;EAChC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;IACzC,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE;MACrG;IACF;IAEA,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG;IACzB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;IACtC,OAAO,GAAG,MAAM;IAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;MACxB,IAAI,IAAI,KAAK,WAAW,EAAE;QACxB;MACF;MACA,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE;QAC9F,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;MACrC;MACA,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IACzB;IACA,IAAI,OAAO,KAAK,MAAM,IAAI,GAAG,KAAK,IAAI,EAAE;MACtC;IACF;IACA,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;IAC9B,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;EACtB;EACA,KAAK,MAAM,OAAO,IAAI,MAAM,EAAE;IAC5B,OAAO,MAAM,CAAC,OAAO,CAAC;EACxB;EACA,OAAO,MAAM;AACf,CAAC","ignoreList":[]}
+{"version":3,"file":"Ini.js","names":[],"sources":["../../../src/unstable/encoding/Ini.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;AASA;;;;;;;;;;;;;;;;;AAkBA,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc;AAE9C,MAAM,aAAa,GAAI,KAAa,IAAmB;EACrD,MAAM,QAAQ,GAAkB,EAAE;EAClC,IAAI,KAAK,GAAG,CAAC;EACb,IAAI,KAAK,GAAG,CAAC;EACb,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE;IACjD,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE;MAC5C,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;MACxC,KAAK,GAAG,KAAK,GAAG,CAAC;IACnB;IACA,KAAK,EAAE;EACT;EACA,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;EACjC,OAAO,QAAQ;AACjB,CAAC;AAED,MAAM,QAAQ,GAAI,KAAa,IAC7B,KAAK,CAAC,MAAM,IAAI,CAAC,KACf,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAC7C,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAE,CAAC;AAEnD,MAAM,OAAO,GAAI,KAAyB,IAAY;EACpD,IAAI,KAAK,GAAG,CAAC,KAAK,IAAI,EAAE,EAAE,IAAI,EAAE;EAChC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE;IACnB,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE;MACpB,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B;IACA,IAAI;MACF,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC1B,CAAC,CAAC,MAAM;MACN,OAAO,KAAK;IACd;EACF;EAEA,IAAI,OAAO,GAAG,KAAK;EACnB,IAAI,MAAM,GAAG,EAAE;EACf,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE;IAC7B,IAAI,OAAO,EAAE;MACX,MAAM,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,IAAI,GAClE,SAAS,GACT,KAAK,SAAS,EAAE;MACpB,OAAO,GAAG,KAAK;IACjB,CAAC,MAAM,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG,EAAE;MACjD;IACF,CAAC,MAAM,IAAI,SAAS,KAAK,IAAI,EAAE;MAC7B,OAAO,GAAG,IAAI;IAChB,CAAC,MAAM;MACL,MAAM,IAAI,SAAS;IACrB;EACF;EACA,OAAO,MAAM,CAAC,IAAI,EAAE;AACtB,CAAC;AAED;;;;;;;;;;;;AAYA,OAAO,MAAM,KAAK,GAAI,KAAa,IAA6B;EAC9D,MAAM,MAAM,GAAwB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;EACvD,IAAI,OAAO,GAAG,MAAM;EACpB,MAAM,cAAc,GAAG,mBAAmB;EAC1C,MAAM,eAAe,GAAG,mBAAmB;EAE3C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;MACpD;IACF;IAEA,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9C,IAAI,YAAY,KAAK,IAAI,EAAE;MACzB,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;MACxC,IAAI,OAAO,KAAK,WAAW,EAAE;QAC3B,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;MAC/B,CAAC,MAAM;QACL,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;MACnD;MACA;IACF;IAEA,MAAM,aAAa,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;IAChD,IAAI,aAAa,KAAK,IAAI,EAAE;MAC1B;IACF;IAEA,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;IACxD,MAAM,GAAG,GAAG,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM;IAChD,IAAI,GAAG,KAAK,WAAW,EAAE;MACvB;IACF;IAEA,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,SAAS,GAAG,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,KAAK,GAAG,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,GAC5E,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GACpB,QAAQ;IAEZ,IAAI,KAAK,EAAE;MACT,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE;QAC9B,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE;MACnB,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;QACvC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;MAC/B;IACF;IACA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE;MAC/B,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;IAC1B,CAAC,MAAM;MACL,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK;IACtB;EACF;EAEA,MAAM,MAAM,GAAkB,EAAE;EAChC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;IACzC,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE;MACrG;IACF;IAEA,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG;IACzB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;IACtC,OAAO,GAAG,MAAM;IAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;MACxB,IAAI,IAAI,KAAK,WAAW,EAAE;QACxB;MACF;MACA,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE;QAC9F,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;MACrC;MACA,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IACzB;IACA,IAAI,OAAO,KAAK,MAAM,IAAI,GAAG,KAAK,IAAI,EAAE;MACtC;IACF;IACA,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;IAC9B,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;EACtB;EACA,KAAK,MAAM,OAAO,IAAI,MAAM,EAAE;IAC5B,OAAO,MAAM,CAAC,OAAO,CAAC;EACxB;EACA,OAAO,MAAM;AACf,CAAC","ignoreList":[]}

package/dist/unstable/encoding/SchemaBinary.d.ts

@@ -18,6 +18,8 @@ import * as SchemaAST from "../../SchemaAST.ts";
 /**
  * Selects the wire mode.
  *
+ * **Details**
+ *
  * The default mode supports compatible schema evolution. `fingerprint: true`
  * uses positional layouts and an 8-byte layout hash for smaller frames, but
  * requires peers to use the same schema definition.
@@ -27,6 +29,8 @@ import * as SchemaAST from "../../SchemaAST.ts";
  */
 export interface Options {
     /**
+     * Uses a compact positional layout with a schema fingerprint.
+     *
      * @since 4.0.0
      */
     readonly fingerprint?: boolean | undefined;
@@ -42,13 +46,16 @@ export interface toCodec<S extends Schema.Constraint> extends Schema.Codec<S["Ty
 /**
  * Derives a compact binary codec from a schema.
  *
+ * **Details**
+ *
  * The wire layout is compiled from the encoded side of the schema. Each
  * encode/decode handles exactly one frame; use {@link parser} for streams.
+ * Derived codecs are memoized by schema identity and wire mode.
  *
  * Encoded results are arena-backed views and may share a larger buffer. Use
  * `bytes.slice()` when independent ownership is required.
  *
- * **Example**
+ * **Example** (Deriving a binary codec)
  *
  * ```ts
  * import { Schema } from "effect"
@@ -73,18 +80,26 @@ export declare function toCodec<S extends Schema.Constraint>(schema: S, options?
  */
 export interface Parser<T> {
     /**
+     * Feeds another chunk into the parser and returns any completed values.
+     *
      * @since 4.0.0
      */
     feed(chunk: Uint8Array): Effect.Effect<ReadonlyArray<T>, Schema.SchemaError>;
     /**
+     * Feeds another chunk into the parser synchronously.
+     *
      * @since 4.0.0
      */
     feedSync(chunk: Uint8Array): ReadonlyArray<T>;
     /**
+     * Finishes parsing and fails if an incomplete frame remains.
+     *
      * @since 4.0.0
      */
     end: Effect.Effect<void, Schema.SchemaError>;
     /**
+     * Finishes parsing synchronously and throws for an incomplete frame.
+     *
      * @since 4.0.0
      */
     endSync(): void;
@@ -92,6 +107,8 @@ export interface Parser<T> {
 /**
  * Creates a stateful parser for a stream of concatenated frames.
  *
+ * **Details**
+ *
  * Values completed before a failure remain observable. After a failure, the
  * parser rejects further calls. Use `maxFrameSize` to limit buffered frames.
  *
@@ -114,6 +131,8 @@ export interface StreamOptions {
      * it. Frames stop standing alone: they only decode through the parser that
      * saw the frames before them, in order.
      *
+     * **Gotchas**
+     *
      * Both ends have to set it. A schema the binary layer does not fully
      * validate on its own cannot use it, and asking for it throws.
      *
@@ -228,10 +247,15 @@ export declare const duplex: {
 /**
  * Assigns an explicit wire field id to a struct property.
  *
- * Use this to preserve the wire id across a rename or resolve a hash collision.
+ * **When to use**
+ *
+ * Use to preserve the wire id across a rename or resolve a hash collision.
+ *
+ * **Details**
+ *
  * Valid ids are integers from 1 through 4294967295.
  *
- * **Example**
+ * **Example** (Assigning a wire field id)
  *
  * ```ts
  * import { Schema } from "effect"

package/dist/unstable/encoding/SchemaBinary.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SchemaBinary.d.ts","sourceRoot":"","sources":["../../../src/unstable/encoding/SchemaBinary.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAA;AAGrC,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAI3C,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AAYzC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,SAAS,MAAM,oBAAoB,CAAA;AAK/C;;;;;;;;;GASG;AACH,MAAM,WAAW,OAAO;IACtB;;OAEG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAC3C;AAED;;;;;GAKG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU,CAAE,SACpD,MAAM,CAAC,KAAK,CACV,CAAC,CAAC,MAAM,CAAC,EACT,UAAU,CAAC,WAAW,CAAC,EACvB,CAAC,CAAC,kBAAkB,CAAC,EACrB,CAAC,CAAC,kBAAkB,CAAC,CACtB;CACD;AAEF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAU7F;AA2HD;;;;;GAKG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC;IACvB;;OAEG;IACH,IAAI,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;IAC5E;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAA;IAC7C;;OAEG;IACH,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;IAC5C;;OAEG;IACH,OAAO,IAAI,IAAI,CAAA;CAChB;AAED;;;;;;;;GAQG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU,EAChD,MAAM,EAAE,CAAC,EACT,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,OAAO,GAAG,aAAa,GAAG;IAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAC1G,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAiBnB;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAC1C;AAUD;;;;;;;GAOG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU,EACjD,MAAM,EAAE,CAAC,EACT,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,OAAO,GAAG,aAAa,GACzD,OAAO,CAoBT;AAED;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IACtB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,CAAA;IAC/C,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,WAAW,CAAC,CAAA;CACpE;AAsMD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,CAAC,UAAU,UACxC,CAAC,YACC,SAAS,CAAC,YAAY,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,MAE5F,EAAE,GAAG,KAAK,EAAE,IAAI,GAAG,OAAO,OAAK,OAAO,CAAC,OAAO,CAC7C,GAAG,CAAC,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAClD,MAAM,CAAC,WAAW,GAAG,EAAE,EACvB,IAAI,EACJ,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EACpC,EAAE,EACF,IAAI,EACJ,CAAC,CAAC,kBAAkB,CAAC,CA6BtB,CAAA;AAED;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,CAAC,UAAU,UACxC,CAAC,YACC,SAAS,CAAC,YAAY,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,MAE5F,EAAE,GAAG,KAAK,EAAE,IAAI,GAAG,OAAO,OAAK,OAAO,CAAC,OAAO,CAC7C,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EACpC,MAAM,CAAC,WAAW,GAAG,EAAE,EACvB,IAAI,EACJ,GAAG,CAAC,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAClD,EAAE,EACF,IAAI,EACJ,CAAC,CAAC,kBAAkB,CAAC,CAmFtB,CAAA;AAED;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;OAWG;IACH,CAAC,EAAE,SAAS,MAAM,CAAC,UAAU,EAAE,GAAG,SAAS,MAAM,CAAC,UAAU,EAC1D,OAAO,EAAE,SAAS,CAAC,YAAY,GAAG,OAAO,GAAG;QAC1C,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAA;QACxB,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAA;QAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;KAC3C,GACA,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EACnC,IAAI,EAAE,OAAO,CAAC,OAAO,CACnB,GAAG,CAAC,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAClD,MAAM,EACN,OAAO,EACP,GAAG,CAAC,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAClD,MAAM,CAAC,WAAW,GAAG,KAAK,EAC1B,MAAM,EACN,CAAC,CACF,KACE,OAAO,CAAC,OAAO,CAClB,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACtC,MAAM,CAAC,WAAW,GAAG,MAAM,EAC3B,OAAO,EACP,GAAG,CAAC,qBAAqB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,EACrC,KAAK,EACL,MAAM,EACN,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CACrD,CAAA;IACD;;;;;;;;;;;OAWG;IACH,CAAC,GAAG,SAAS,MAAM,CAAC,UAAU,EAAE,EAAE,SAAS,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAC7F,IAAI,EAAE,OAAO,CAAC,OAAO,CACnB,GAAG,CAAC,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAClD,MAAM,EACN,OAAO,EACP,GAAG,CAAC,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAClD,MAAM,CAAC,WAAW,GAAG,KAAK,EAC1B,MAAM,EACN,CAAC,CACF,EACD,OAAO,EAAE,SAAS,CAAC,YAAY,GAAG,OAAO,GAAG;QAC1C,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAA;QACxB,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAA;QAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;KAC3C,GACA,OAAO,CAAC,OAAO,CAChB,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACtC,MAAM,CAAC,WAAW,GAAG,MAAM,EAC3B,OAAO,EACP,GAAG,CAAC,qBAAqB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,EACrC,KAAK,EACL,MAAM,EACN,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CACrD,CAAA;CAoDC,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,IAMxB,CAAC,SAAS,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAG,CAAC,CAAC,SAAS,CAAC,CAErD"}
+{"version":3,"file":"SchemaBinary.d.ts","sourceRoot":"","sources":["../../../src/unstable/encoding/SchemaBinary.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAA;AAGrC,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAI3C,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AAYzC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,SAAS,MAAM,oBAAoB,CAAA;AAK/C;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,OAAO;IACtB;;;;OAIG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAC3C;AAED;;;;;GAKG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU,CAAE,SACpD,MAAM,CAAC,KAAK,CACV,CAAC,CAAC,MAAM,CAAC,EACT,UAAU,CAAC,WAAW,CAAC,EACvB,CAAC,CAAC,kBAAkB,CAAC,EACrB,CAAC,CAAC,kBAAkB,CAAC,CACtB;CACD;AAOF;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAe7F;AAwID;;;;;GAKG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC;IACvB;;;;OAIG;IACH,IAAI,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;IAC5E;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAA;IAC7C;;;;OAIG;IACH,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;IAC5C;;;;OAIG;IACH,OAAO,IAAI,IAAI,CAAA;CAChB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU,EAChD,MAAM,EAAE,CAAC,EACT,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,OAAO,GAAG,aAAa,GAAG;IAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAC1G,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAiBnB;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAC1C;AAUD;;;;;;;GAOG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,UAAU,EACjD,MAAM,EAAE,CAAC,EACT,OAAO,CAAC,EAAE,SAAS,CAAC,YAAY,GAAG,OAAO,GAAG,aAAa,GACzD,OAAO,CAoCT;AAED;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IACtB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,CAAA;IAC/C,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,WAAW,CAAC,CAAA;CACpE;AAsMD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,CAAC,UAAU,UACxC,CAAC,YACC,SAAS,CAAC,YAAY,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,MAE5F,EAAE,GAAG,KAAK,EAAE,IAAI,GAAG,OAAO,OAAK,OAAO,CAAC,OAAO,CAC7C,GAAG,CAAC,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAClD,MAAM,CAAC,WAAW,GAAG,EAAE,EACvB,IAAI,EACJ,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EACpC,EAAE,EACF,IAAI,EACJ,CAAC,CAAC,kBAAkB,CAAC,CA6BtB,CAAA;AAED;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,CAAC,UAAU,UACxC,CAAC,YACC,SAAS,CAAC,YAAY,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,MAE5F,EAAE,GAAG,KAAK,EAAE,IAAI,GAAG,OAAO,OAAK,OAAO,CAAC,OAAO,CAC7C,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EACpC,MAAM,CAAC,WAAW,GAAG,EAAE,EACvB,IAAI,EACJ,GAAG,CAAC,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAClD,EAAE,EACF,IAAI,EACJ,CAAC,CAAC,kBAAkB,CAAC,CAmFtB,CAAA;AAED;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB;;;;;;;;;;;OAWG;IACH,CAAC,EAAE,SAAS,MAAM,CAAC,UAAU,EAAE,GAAG,SAAS,MAAM,CAAC,UAAU,EAC1D,OAAO,EAAE,SAAS,CAAC,YAAY,GAAG,OAAO,GAAG;QAC1C,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAA;QACxB,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAA;QAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;KAC3C,GACA,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EACnC,IAAI,EAAE,OAAO,CAAC,OAAO,CACnB,GAAG,CAAC,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAClD,MAAM,EACN,OAAO,EACP,GAAG,CAAC,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAClD,MAAM,CAAC,WAAW,GAAG,KAAK,EAC1B,MAAM,EACN,CAAC,CACF,KACE,OAAO,CAAC,OAAO,CAClB,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACtC,MAAM,CAAC,WAAW,GAAG,MAAM,EAC3B,OAAO,EACP,GAAG,CAAC,qBAAqB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,EACrC,KAAK,EACL,MAAM,EACN,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CACrD,CAAA;IACD;;;;;;;;;;;OAWG;IACH,CAAC,GAAG,SAAS,MAAM,CAAC,UAAU,EAAE,EAAE,SAAS,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAC7F,IAAI,EAAE,OAAO,CAAC,OAAO,CACnB,GAAG,CAAC,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAClD,MAAM,EACN,OAAO,EACP,GAAG,CAAC,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAClD,MAAM,CAAC,WAAW,GAAG,KAAK,EAC1B,MAAM,EACN,CAAC,CACF,EACD,OAAO,EAAE,SAAS,CAAC,YAAY,GAAG,OAAO,GAAG;QAC1C,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAA;QACxB,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAA;QAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;KAC3C,GACA,OAAO,CAAC,OAAO,CAChB,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACtC,MAAM,CAAC,WAAW,GAAG,MAAM,EAC3B,OAAO,EACP,GAAG,CAAC,qBAAqB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,EACrC,KAAK,EACL,MAAM,EACN,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CACrD,CAAA;CAoDC,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,IAMxB,CAAC,SAAS,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAG,CAAC,CAAC,SAAS,CAAC,CAErD"}

package/dist/unstable/encoding/SchemaBinary.js

@@ -23,7 +23,7 @@ import { dual, memoize } from "../../Function.js";
 import * as HashMap from "../../HashMap.js";
 import * as HashSet from "../../HashSet.js";
 import { assignProperty } from "../../internal/record.js";
-import * as InternalParser from "../../internal/schema/parser.js";
+import * as InternalParserProtocol from "../../internal/schema/parser.js";
 import * as Option from "../../Option.js";
 import * as Predicate from "../../Predicate.js";
 import * as Pull from "../../Pull.js";
@@ -34,16 +34,23 @@ import * as SchemaAST from "../../SchemaAST.js";
 import * as SchemaIssue from "../../SchemaIssue.js";
 import * as SchemaParser from "../../SchemaParser.js";
 import * as SchemaTransformation from "../../SchemaTransformation.js";
+const codecCache = /*#__PURE__*/new WeakMap();
+const fingerprintCodecCache = /*#__PURE__*/new WeakMap();
+const directCodecCache = /*#__PURE__*/new WeakMap();
+const directFingerprintCodecCache = /*#__PURE__*/new WeakMap();
 /**
  * Derives a compact binary codec from a schema.
  *
+ * **Details**
+ *
  * The wire layout is compiled from the encoded side of the schema. Each
  * encode/decode handles exactly one frame; use {@link parser} for streams.
+ * Derived codecs are memoized by schema identity and wire mode.
  *
  * Encoded results are arena-backed views and may share a larger buffer. Use
  * `bytes.slice()` when independent ownership is required.
  *
- * **Example**
+ * **Example** (Deriving a binary codec)
  *
  * ```ts
  * import { Schema } from "effect"
@@ -60,6 +67,9 @@ import * as SchemaTransformation from "../../SchemaTransformation.js";
  * @since 4.0.0
  */
 export function toCodec(schema, options) {
+  const cache = options?.fingerprint === true ? fingerprintCodecCache : codecCache;
+  const cached = cache.get(schema);
+  if (cached !== undefined) return cached;
   const {
     exact,
     layout,
@@ -70,7 +80,9 @@ export function toCodec(schema, options) {
   const trusted = exact ? {
     value: undefined
   } : undefined;
-  return assembleCodec(trusted === undefined ? target : withTrustedDecode(target, trusted, !recursive), layout, mode, trusted);
+  const codec = assembleCodec(trusted === undefined ? target : withTrustedDecode(target, trusted, !recursive), layout, mode, trusted);
+  cache.set(schema, codec);
+  return codec;
 }
 /**
  * Derives the {@link toCodec} codec without the schema pass around the binary
@@ -79,11 +91,15 @@ export function toCodec(schema, options) {
  * Only schemas the binary layer already validates on its own take the direct
  * path; anything else falls back to {@link toCodec}. A direct codec encodes and
  * decodes the same values as {@link toCodec} but is not a sound `Schema.is`
- * guard, so it is only for callers that never guard on it.
+ * guard, so it is only for callers that never guard on it. Derived codecs are
+ * memoized by schema identity and wire mode.
  *
  * @internal
  */
 export function toCodecDirect(schema, options) {
+  const cache = options?.fingerprint === true ? directFingerprintCodecCache : directCodecCache;
+  const cached = cache.get(schema);
+  if (cached !== undefined) return cached;
   const {
     exact,
     exitSuccess,
@@ -95,9 +111,13 @@ export function toCodecDirect(schema, options) {
     const trusted = {
       value: undefined
     };
-    return assembleCodec(withExitSuccessDecode(target, trusted), layout, compileMode(layout, options?.fingerprint), trusted, true);
+    const codec = assembleCodec(withExitSuccessDecode(target, trusted), layout, compileMode(layout, options?.fingerprint), trusted, true);
+    cache.set(schema, codec);
+    return codec;
   }
-  return assembleCodec(passThrough(target), layout, compileMode(layout, options?.fingerprint), undefined);
+  const codec = assembleCodec(passThrough(target), layout, compileMode(layout, options?.fingerprint), undefined);
+  cache.set(schema, codec);
+  return codec;
 }
 function assembleCodec(target, layout, mode, trusted, successOnly = false) {
   return Schema.Uint8Array.pipe(Schema.decodeTo(target, makeTransformation(layout, mode, trusted, successOnly)));
@@ -119,7 +139,7 @@ export function encodeUnknownSync(schema, options) {
   } = compileTarget(schema);
   const mode = compileMode(layout, options?.fingerprint);
   const parseOptions = options ?? SchemaAST.defaultParseOptions;
-  if (!exact) {
+  if (!exact || parseOptions.onExcessProperty === "error") {
     const fallback = Schema.encodeUnknownSync(toCodec(schema, options), options);
     // The binary layer drops excess keys instead of reporting them.
     if (!exitSuccess || parseOptions.onExcessProperty === "error") return fallback;
@@ -153,12 +173,12 @@ export function encodeManyUnknownSync(schema, options) {
     exact,
     layout
   } = compileTarget(schema);
-  if (!exact) {
+  const parseOptions = options ?? SchemaAST.defaultParseOptions;
+  if (!exact || parseOptions.onExcessProperty === "error") {
     const encode = encodeUnknownSync(schema, options);
     return values => concatFrames(values.map(encode));
   }
   const mode = compileMode(layout, options?.fingerprint);
-  const parseOptions = options ?? SchemaAST.defaultParseOptions;
   return values => {
     try {
       return encodeFrames(layout, values, parseOptions, mode);
@@ -182,6 +202,8 @@ function concatFrames(frames) {
 /**
  * Creates a stateful parser for a stream of concatenated frames.
  *
+ * **Details**
+ *
  * Values completed before a failure remain observable. After a failure, the
  * parser rejects further calls. Use `maxFrameSize` to limit buffered frames.
  *
@@ -218,7 +240,8 @@ function requireDictionary(exact, options) {
 export function encoder(schema, options) {
   const {
     exact,
-    layout
+    layout,
+    target
   } = compileTarget(schema);
   const dictionary = requireDictionary(exact, options);
   const encode = encodeUnknownSync(schema, options);
@@ -229,6 +252,7 @@ export function encoder(schema, options) {
   };
   const mode = compileMode(layout, options?.fingerprint);
   const parseOptions = options ?? SchemaAST.defaultParseOptions;
+  const validate = parseOptions.onExcessProperty === "error" ? Schema.encodeUnknownSync(target, options) : undefined;
   const dict = makeDictWrite();
   const run = f => {
     try {
@@ -238,8 +262,8 @@ export function encoder(schema, options) {
     }
   };
   return {
-    encode: value => run(() => encodeFrame(layout, value, parseOptions, mode, dict)),
-    encodeMany: values => run(() => encodeFrames(layout, values, parseOptions, mode, dict))
+    encode: value => run(() => encodeFrame(layout, validate === undefined ? value : validate(value), parseOptions, mode, dict)),
+    encodeMany: values => run(() => encodeFrames(layout, validate === undefined ? values : values.map(validate), parseOptions, mode, dict))
   };
 }
 // Frame parser over a compiled layout. `decodeEncoded` runs the target schema
@@ -458,7 +482,7 @@ export const encode = (schema, options) => () => {
       return Effect.die(e);
     }
   };
-  if (exact) {
+  if (exact && parseOptions.onExcessProperty !== "error") {
     return Channel.fromTransform((upstream, _scope) => Effect.sync(() => Effect.flatMap(upstream, write)));
   }
   // One schema pass per chunk brings the values to the binary-adjusted encoded
@@ -563,10 +587,15 @@ export const duplex = /*#__PURE__*/dual(2, (self, options) => encode(options.inp
 /**
  * Assigns an explicit wire field id to a struct property.
  *
- * Use this to preserve the wire id across a rename or resolve a hash collision.
+ * **When to use**
+ *
+ * Use to preserve the wire id across a rename or resolve a hash collision.
+ *
+ * **Details**
+ *
  * Valid ids are integers from 1 through 4294967295.
  *
- * **Example**
+ * **Example** (Assigning a wire field id)
  *
  * ```ts
  * import { Schema } from "effect"
@@ -606,7 +635,8 @@ const BIGINT_U32_MASK = /*#__PURE__*/BigInt(0xFFFFFFFF);
 const BIGINT_THIRTY_TWO = /*#__PURE__*/BigInt(32);
 const utf8Encode = /*#__PURE__*/new TextEncoder();
 const utf8DecodeFatal = /*#__PURE__*/new TextDecoder("utf-8", {
-  fatal: true
+  fatal: true,
+  ignoreBOM: true
 });
 // General numbers use up to seven varint bytes, a varint mantissa with a
 // decimal scale byte, or an eight-byte f64.
@@ -617,6 +647,13 @@ const EXACT_MAGNITUDE_MAX = 4_503_599_627_370_495; // 2 ** 52 - 1
 const NUMBER_RUN_F64 = 0;
 const NUMBER_RUN_VARINT = 1;
 const NUMBER_RUN_DECIMAL = 2;
+// Recursive layouts must fail before the JavaScript stack does. This is high
+// enough for practical payloads while keeping the decoder's stack bounded.
+const MAX_NESTING_DEPTH = 512;
+// Variable-width elements must be backed by frame bytes apart from a bounded
+// allowance. Provably zero-width elements need their own absolute bound.
+const ARRAY_ALLOCATION_SLACK = 1_048_576;
+const ZERO_WIDTH_ARRAY_MAX = 4_194_304;
 // Struct field tags pack the field id with enough information to skip the
 // payload without consulting the schema. Decimal is a sign-magnitude mantissa
 // varint followed by an unsigned scale varint.
@@ -1161,6 +1198,7 @@ const EMPTY_READER_BUFFER = /*#__PURE__*/new Uint8Array(EMPTY_READER_ARRAY_BUFFE
 const EMPTY_READER_VIEW = /*#__PURE__*/new DataView(EMPTY_READER_ARRAY_BUFFER);
 class Reader {
   pos = 0;
+  nesting = 0;
   buf = EMPTY_READER_BUFFER;
   // Frames of varints and strings never need a view, so it is built on demand
   // and reused while the reader stays on one buffer.
@@ -1179,6 +1217,7 @@ class Reader {
   // one-shot decode, where each frame stands alone.
   dict;
   reset(buf, start, end, options, indexSignatures, positional, dict) {
+    this.nesting = 0;
     this.view = undefined;
     this.buf = buf;
     this.pos = start;
@@ -1190,7 +1229,7 @@ class Reader {
     this.dict = dict;
   }
   release() {
-    this.pos = this.end = 0;
+    this.pos = this.end = this.nesting = 0;
     this.buf = EMPTY_READER_BUFFER;
     this.view = undefined;
     this.viewCache = EMPTY_READER_VIEW;
@@ -1448,6 +1487,9 @@ function packedSize(layout) {
 function isInlineSlot(layout) {
   return packedSize(layout) !== undefined || isSelfDelimiting(layout) || layout._ === "null" || layout._ === "undefined";
 }
+function isZeroWidthSlot(layout) {
+  return layout._ === "literal" ? isZeroWidthSlot(layout.leaf) : layout._ === "null" || layout._ === "undefined";
+}
 // One registry row per natively supported declaration: its wire kind and
 // whether the binary layer validates it exactly on its own (`true`) or exactly
 // when its type parameters are ("parameters"). `compileDeclaration` holds the
@@ -1612,6 +1654,11 @@ function resolveSuspend(ast) {
   }
   return ast;
 }
+function enumsToLiterals(ast) {
+  return new SchemaAST.Union(ast.enums.map(e => new SchemaAST.Literal(e[1], {
+    title: e[0]
+  })));
+}
 function flattenMembers(union) {
   const out = [];
   const seen = new Set();
@@ -1626,7 +1673,7 @@ function flattenMembers(union) {
         resolved.types.forEach(go);
         return;
       case "Enum":
-        SchemaAST.enumsToLiterals(resolved).types.forEach(go);
+        enumsToLiterals(resolved).types.forEach(go);
         return;
       default:
         out.push(resolved);
@@ -1757,7 +1804,7 @@ function compileLayout(root) {
           ast
         };
       case "Enum":
-        return compileUnion(ast, flattenMembers(SchemaAST.enumsToLiterals(ast)));
+        return compileUnion(ast, flattenMembers(enumsToLiterals(ast)));
       case "Suspend":
         {
           recursive = true;
@@ -2169,7 +2216,7 @@ function isExact(root) {
   // the cycle disqualifies it, the whole cycle is exact.
   const walked = new Map();
   const exact = ast => {
-    if (ast.encoding !== undefined || ast.checks !== undefined || ast.encodingChecks !== undefined || ast.annotations?.parseOptions !== undefined) {
+    if (ast.encoding !== undefined || ast.checks !== undefined || ast.encodingChecks !== undefined) {
       return false;
     }
     switch (ast._tag) {
@@ -2199,7 +2246,7 @@ function isExact(root) {
       case "Objects":
         return ast.propertySignatures.every(property => exact(property.type)) && ast.indexSignatures.every(signature => signature.parameter._tag === "String" && exact(signature.parameter) && exact(signature.type));
       case "Union":
-        return ast.mode === "anyOf" && ast.types.every(exact);
+        return (ast.options?.mode ?? "anyOf") === "anyOf" && ast.types.every(exact);
       // The layout compiles straight through a suspend, so the binary layer
       // validates whatever the thunk returns. Only decoding gets to act on
       // this: encoding a recursive schema still needs the cycle walk, which is
@@ -2230,7 +2277,7 @@ function isExact(root) {
 // and validates success exits, so only failure exits need the schema pass for
 // their cause's error and defect encodings.
 function isExitWithExactSuccess(root) {
-  return root._tag === "Declaration" && root.encoding === undefined && root.checks === undefined && root.encodingChecks === undefined && root.annotations?.parseOptions === undefined && representationId(root) === "effect/schema/Exit" && isExact(root.typeParameters[0]);
+  return root._tag === "Declaration" && root.encoding === undefined && root.checks === undefined && root.encodingChecks === undefined && representationId(root) === "effect/schema/Exit" && isExact(root.typeParameters[0]);
 }
 // Layouts sharing a wire kind can still require different fingerprints.
 const F = {
@@ -3151,7 +3198,7 @@ function encodeArray(ctx, layout, arr, w) {
   const uniform = layout.uniform;
   if (uniform !== undefined) {
     if (layout.uniformNumbers) {
-      encodeNumberRun(arr, count, w);
+      encodeNumberRun(ctx, arr, count, w);
       return;
     }
     // Only a run field holding an array of strings hands over an intern table.
@@ -3189,20 +3236,22 @@ function encodeArray(ctx, layout, arr, w) {
 // each non-integer scans `decimalScale` once. Only written and read within one
 // synchronous `encodeNumberRun` call.
 const numberRunScales = [];
-function encodeNumberRun(arr, count, w) {
+function encodeNumberRun(ctx, arr, count, w) {
   let varint = true;
   let decimal = true;
   for (let i = 0; i < count; i++) {
     const value = arr[i];
+    if (typeof value !== "number") {
+      issuePath[issuePathLen++] = i;
+      encodeFail("a number", value, ctx.options);
+    }
     if (isVarintNumber(value)) {
       const magnitude = value < 0 ? -value : value;
       if (magnitude > DECIMAL_MANTISSA_MAX) decimal = false;
     } else {
       varint = false;
-      if (typeof value !== "number") decimal = false;else {
-        const scale = decimalScale(value);
-        if (scale === 0) decimal = false;else numberRunScales[i] = scale;
-      }
+      const scale = decimalScale(value);
+      if (scale === 0) decimal = false;else numberRunScales[i] = scale;
     }
     if (!varint && !decimal) break;
   }
@@ -3608,6 +3657,7 @@ function decodeExtraPair(layout, r, out, seen, keys) {
   const keyCode = keys === undefined ? Math.floor(code / FIELD_WIRE_FACTOR) : Math.floor(code / 16);
   const kind = keys === undefined ? code - keyCode * FIELD_WIRE_FACTOR : Math.floor((code - keyCode * 16) / 2);
   const key = keys === undefined ? r.readUtf8(keyCode) : decodeExtraKey(keys, code, keyCode, r);
+  if (layout.names.has(key)) invalid("an extra key distinct from declared fields", key, r.options);
   if (seenKey(seen, key)) invalid("unique extra keys", undefined, r.options);
   const signature = layout.extraAll ?? (r.indexSignatures ??= new IndexSignatureCache(r.options)).find(layout, key);
   if (signature === undefined) {
@@ -3861,8 +3911,15 @@ function decodeInterned(table, layout, r) {
     if (ref >= table.length) invalid("a known back-reference", undefined, r.options);
     return table[ref];
   }
-  // Strings consume their whole region, so they skip the reader window.
+  // Plain strings consume their whole region, so they skip the reader window.
   if (layout._ === "string") {
+    if (r.dict !== undefined) {
+      const saved = r.enter(code / 2);
+      const value = decodeChecked(layout, r);
+      r.exit(saved);
+      table.push(value);
+      return value;
+    }
     const value = r.readUtf8(code / 2);
     table.push(value);
     return value;
@@ -4005,10 +4062,6 @@ function decodeRunSlot(plan, tables, slot, out, r) {
 function decodeArray(layout, r) {
   const elementLen = layout.elements.length;
   const count = layout.hasCount ? r.uvarint() : elementLen;
-  // Cap allocation amplification from zero-width slots.
-  if (layout.hasCount && count > r.remaining + 1_048_576) {
-    invalid("array count within allocation limit", count, r.options);
-  }
   if (layout.rest.length === 0 && count > elementLen) {
     issuePath[issuePathLen++] = elementLen;
     throw issueError(new SchemaIssue.UnexpectedKey(layout.ast, undefined, r.options));
@@ -4017,6 +4070,10 @@ function decodeArray(layout, r) {
     issuePath[issuePathLen++] = count;
     throw issueError(new SchemaIssue.MissingKey(undefined));
   }
+  if (layout.hasCount) {
+    const allocationLimit = layout.rest.length > 0 && isZeroWidthSlot(layout.rest[0]) ? ZERO_WIDTH_ARRAY_MAX : r.remaining + ARRAY_ALLOCATION_SLACK;
+    if (count > allocationLimit) invalid("array count within allocation limit", count, r.options);
+  }
   if (count > 0) {
     const plan = runPlan(layout);
     if (plan !== null) return decodeStructRun(plan, count, r);
@@ -4050,7 +4107,7 @@ function decodeArray(layout, r) {
     if (uniform._ === "string") {
       for (let i = 0; i < count; i++) {
         issuePath[issuePathLen++] = i;
-        out[i] = r.readUtf8(r.uvarint());
+        out[i] = r.dict === undefined ? r.readUtf8(r.uvarint()) : decodeSized(uniform, r);
         issuePathLen--;
       }
       return out;
@@ -4180,6 +4237,17 @@ function requirePresent(value) {
   return value;
 }
 function decodeValue(layout, r) {
+  if (r.nesting >= MAX_NESTING_DEPTH) {
+    invalid(`nesting depth at most ${MAX_NESTING_DEPTH}`, r.nesting + 1, r.options);
+  }
+  r.nesting++;
+  try {
+    return decodeValueUnchecked(layout, r);
+  } finally {
+    r.nesting--;
+  }
+}
+function decodeValueUnchecked(layout, r) {
   switch (layout._) {
     case "literal":
       {
@@ -4230,10 +4298,11 @@ function decodeValue(layout, r) {
       {
         if (r.remaining !== 8) invalid("int64", undefined, r.options);
         const millis = Number(r.i64());
-        if (layout.flavor !== "date") return DateTime.makeUnsafe(millis);
         const date = new Date(millis);
-        if (Number.isNaN(date.getTime())) invalid("a valid Date", millis, r.options);
-        return date;
+        if (Number.isNaN(date.getTime())) {
+          invalid(layout.flavor === "date" ? "a valid Date" : "a valid DateTime", millis, r.options);
+        }
+        return layout.flavor === "date" ? date : DateTime.makeUnsafe(millis);
       }
     case "dateTimeZoned":
       {
@@ -4379,7 +4448,7 @@ function decodeOneShot(layout, bytes, options, mode) {
   }
 }
 function makeTransformation(layout, mode, trusted, successOnly = false) {
-  return SchemaTransformation.transformOrFail({
+  return SchemaTransformation.transformEffect({
     decode: (bytes, options) => {
       try {
         const value = decodeOneShot(layout, bytes, options, mode);
@@ -4436,7 +4505,7 @@ function bypassPass(target, decodeAccept, encodeAccept) {
   const parse = SchemaParser.decodeUnknownEffect(type);
   // A bypassed input comes back unchanged, which the shared "same value" exit
   // says without allocating one per call.
-  const run = accept => () => (input, _ast, options) => accept(input, options) ? InternalParser.sameExit : parse(input, options);
+  const run = accept => () => (input, _ast, options) => accept(input, options) ? InternalParserProtocol.sameExit : parse(input, options);
   return Schema.make(new SchemaAST.Declaration([type.ast], run(decodeAccept), {
     identifier: "binary value"
   }, undefined, undefined, undefined, undefined, run(encodeAccept)));