effect 4.0.0-beta.77 → 4.0.0-beta.79

package/dist/SchemaAST.d.ts

@@ -1,74 +1,12 @@
 /**
- * Abstract Syntax Tree (AST) representation for Effect schemas.
- *
- * This module defines the runtime data structures that represent schemas.
- * Most users work with the `Schema` module directly; use `SchemaAST` when you
- * need to inspect, traverse, or programmatically transform schema definitions.
- *
- * ## Mental model
- *
- * - **{@link AST}** — discriminated union (`_tag`) of all schema node types
- *   (e.g. `String`, `Objects`, `Union`, `Suspend`)
- * - **{@link Base}** — abstract base class shared by every node; carries
- *   annotations, checks, encoding chain, and context
- * - **{@link Encoding}** — a non-empty chain of {@link Link} values describing
- *   how to transform between the decoded (type) and encoded (wire) form
- * - **{@link Check}** — a validation filter ({@link Filter} or
- *   {@link FilterGroup}) attached to an AST node
- * - **{@link Context}** — per-property metadata: optionality, mutability,
- *   default values, key annotations
- * - **Guards** — type-narrowing predicates for each AST variant (e.g.
- *   {@link isString}, {@link isObjects})
- *
- * ## Common tasks
- *
- * - Inspect what kind of schema you have → guard functions ({@link isString},
- *   {@link isObjects}, {@link isUnion}, etc.)
- * - Get the decoded (type-level) AST → {@link toType}
- * - Get the encoded (wire-format) AST → {@link toEncoded}
- * - Swap decode/encode directions → {@link flip}
- * - Read annotations → {@link resolve}, {@link resolveAt},
- *   {@link resolveIdentifier}
- * - Build a transformation between schemas → {@link decodeTo}
- * - Add regex validation → {@link isPattern}
- *
- * ## Gotchas
- *
- * - AST nodes are structurally immutable; modification helpers return new
- *   objects via `Object.create`.
- * - {@link Arrays} represents both tuples and arrays; {@link Objects}
- *   represents both structs and records.
- * - {@link toType} and {@link toEncoded} are memoized — same input yields
- *   same output reference.
- * - {@link Suspend} lazily resolves its inner AST via a thunk; the thunk is
- *   memoized on first call.
- *
- * ## Quickstart
- *
- * **Example** (Inspecting a schema's AST)
+ * Represents Effect schemas as runtime trees.
  *
- * ```ts
- * import { Schema, SchemaAST } from "effect"
- *
- * const schema = Schema.Struct({ name: Schema.String, age: Schema.Number })
- * const ast = schema.ast
- *
- * if (SchemaAST.isObjects(ast)) {
- *   console.log(ast.propertySignatures.map(ps => ps.name))
- *   // ["name", "age"]
- * }
- *
- * const encoded = SchemaAST.toEncoded(ast)
- * console.log(SchemaAST.isObjects(encoded)) // true
- * ```
- *
- * ## See also
- *
- * - {@link AST}
- * - {@link toType}
- * - {@link toEncoded}
- * - {@link flip}
- * - {@link resolve}
+ * Every `Schema` has an AST made from nodes for declarations, primitives,
+ * literals, arrays, objects, unions, suspended schemas, checks, annotations,
+ * encoding links, and parsing context. Most users work with the higher-level
+ * `Schema` module. Use `SchemaAST` when you need to inspect schema nodes, build
+ * ASTs programmatically, change encoded or decoded views, collect issues, or
+ * run low-level schema checks.
  *
  * @since 4.0.0
  */
@@ -597,7 +535,9 @@ export declare class Declaration extends Base {
     readonly _tag = "Declaration";
     readonly typeParameters: ReadonlyArray<AST>;
     readonly run: (typeParameters: ReadonlyArray<AST>) => (input: unknown, self: Declaration, options: ParseOptions) => Effect.Effect<any, SchemaIssue.Issue, any>;
-    constructor(typeParameters: ReadonlyArray<AST>, run: (typeParameters: ReadonlyArray<AST>) => (input: unknown, self: Declaration, options: ParseOptions) => Effect.Effect<any, SchemaIssue.Issue, any>, annotations?: Schema.Annotations.Annotations, checks?: Checks, encoding?: Encoding, context?: Context);
+    readonly encodingChecks: Checks | undefined;
+    constructor(typeParameters: ReadonlyArray<AST>, run: (typeParameters: ReadonlyArray<AST>) => (input: unknown, self: Declaration, options: ParseOptions) => Effect.Effect<any, SchemaIssue.Issue, any>, annotations?: Schema.Annotations.Annotations, checks?: Checks, encoding?: Encoding, context?: Context, encodingChecks?: Checks);
+    private rebuild;
 }
 /**
  * AST node matching the `null` literal value.
@@ -1106,7 +1046,9 @@ export declare class Arrays extends Base {
     readonly isMutable: boolean;
     readonly elements: ReadonlyArray<AST>;
     readonly rest: ReadonlyArray<AST>;
-    constructor(isMutable: boolean, elements: ReadonlyArray<AST>, rest: ReadonlyArray<AST>, annotations?: Schema.Annotations.Annotations, checks?: Checks, encoding?: Encoding, context?: Context);
+    readonly encodingChecks: Checks | undefined;
+    constructor(isMutable: boolean, elements: ReadonlyArray<AST>, rest: ReadonlyArray<AST>, annotations?: Schema.Annotations.Annotations, checks?: Checks, encoding?: Encoding, context?: Context, encodingChecks?: Checks);
+    private rebuild;
 }
 /**
  * Represents a named property within an {@link Objects} node.
@@ -1225,7 +1167,8 @@ export declare class Objects extends Base {
     readonly _tag = "Objects";
     readonly propertySignatures: ReadonlyArray<PropertySignature>;
     readonly indexSignatures: ReadonlyArray<IndexSignature>;
-    constructor(propertySignatures: ReadonlyArray<PropertySignature>, indexSignatures: ReadonlyArray<IndexSignature>, annotations?: Schema.Annotations.Annotations, checks?: Checks, encoding?: Encoding, context?: Context);
+    readonly encodingChecks: Checks | undefined;
+    constructor(propertySignatures: ReadonlyArray<PropertySignature>, indexSignatures: ReadonlyArray<IndexSignature>, annotations?: Schema.Annotations.Annotations, checks?: Checks, encoding?: Encoding, context?: Context, encodingChecks?: Checks);
     private rebuild;
 }
 /**
@@ -1263,7 +1206,9 @@ export declare class Union<A extends AST = AST> extends Base {
     readonly _tag = "Union";
     readonly types: ReadonlyArray<A>;
     readonly mode: "anyOf" | "oneOf";
-    constructor(types: ReadonlyArray<A>, mode: "anyOf" | "oneOf", annotations?: Schema.Annotations.Annotations, checks?: Checks, encoding?: Encoding, context?: Context);
+    readonly encodingChecks: Checks | undefined;
+    constructor(types: ReadonlyArray<A>, mode: "anyOf" | "oneOf", annotations?: Schema.Annotations.Annotations, checks?: Checks, encoding?: Encoding, context?: Context, encodingChecks?: Checks);
+    private rebuild;
 }
 /**
  * AST node for lazy/recursive schemas.

package/dist/SchemaAST.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SchemaAST.d.ts","sourceRoot":"","sources":["../src/SchemaAST.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyEG;AAIH,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAQrC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAIzC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAE1C,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAE/C,OAAO,KAAK,oBAAoB,MAAM,2BAA2B,CAAA;AAGjE;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,GAAG,GACX,WAAW,GACX,IAAI,GACJ,SAAS,GACT,IAAI,GACJ,KAAK,GACL,OAAO,GACP,GAAG,GACH,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,MAAM,GACN,OAAO,GACP,YAAY,GACZ,aAAa,GACb,IAAI,GACJ,eAAe,GACf,MAAM,GACN,OAAO,GACP,KAAK,GACL,OAAO,CAAA;AAMX;;;;;;;;;;;GAWG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,GAAG,CAE1C;AAED;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,aAAa,QAhCX,GAAG,KAAG,GAAG,eAgC6B,CAAA;AAErD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,MAAM,QAjDJ,GAAG,KAAG,GAAG,QAiDe,CAAA;AAEvC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,WAAW,QAhET,GAAG,KAAG,GAAG,aAgEyB,CAAA;AAEjD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,MAAM,QA/EJ,GAAG,KAAG,GAAG,QA+Ee,CAAA;AAEvC;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,OAAO,QA/FL,GAAG,KAAG,GAAG,SA+FiB,CAAA;AAEzC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,SAAS,QA9GP,GAAG,KAAG,GAAG,WA8GqB,CAAA;AAE7C;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,KAAK,QA7HH,GAAG,KAAG,GAAG,OA6Ha,CAAA;AAErC;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,QA9IN,GAAG,KAAG,GAAG,UA8ImB,CAAA;AAE3C;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,QA3JN,GAAG,KAAG,GAAG,UA2JmB,CAAA;AAE3C;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,SAAS,QA3KP,GAAG,KAAG,GAAG,WA2KqB,CAAA;AAE7C;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,QA1LN,GAAG,KAAG,GAAG,UA0LmB,CAAA;AAE3C;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,QAzMN,GAAG,KAAG,GAAG,UAyMmB,CAAA;AAE3C;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,SAAS,QAxNP,GAAG,KAAG,GAAG,WAwNqB,CAAA;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,cAAc,QAhOZ,GAAG,KAAG,GAAG,gBAgO+B,CAAA;AAEvD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,eAAe,QAjPb,GAAG,KAAG,GAAG,iBAiPiC,CAAA;AAEzD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,MAAM,QAhQJ,GAAG,KAAG,GAAG,QAgQe,CAAA;AAEvC;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,QAxQf,GAAG,KAAG,GAAG,mBAwQqC,CAAA;AAE7D;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,QAvRN,GAAG,KAAG,GAAG,UAuRmB,CAAA;AAE3C;;;;;GAKG;AACH,eAAO,MAAM,SAAS,QA/RP,GAAG,KAAG,GAAG,WA+RqB,CAAA;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,OAAO,QAvSL,GAAG,KAAG,GAAG,cAuSiB,CAAA;AAEzC;;;;;GAKG;AACH,eAAO,MAAM,SAAS,QA/SP,GAAG,KAAG,GAAG,WA+SqB,CAAA;AAE7C;;;;;;;;;;;;;;;;;;GAkBG;AACH,qBAAa,IAAI;IACf,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAA;IAChB,QAAQ,CAAC,cAAc,EACnB,oBAAoB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACvD,oBAAoB,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;gBAG/D,EAAE,EAAE,GAAG,EACP,cAAc,EACV,oBAAoB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACvD,oBAAoB,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;CAKpE;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;AAEtD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,KAAK,GAAG,SAAS,CAAA;IAE7C;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,QAAQ,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS,CAAA;IAEvE;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAA;IAExD;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAE5C;;;;OAIG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAAA;CACxD;AAKD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,qBAAa,OAAO;IAClB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAC5B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,8EAA8E;IAC9E,QAAQ,CAAC,YAAY,EAAE,QAAQ,GAAG,SAAS,CAAA;IAC3C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,SAAS,CAAA;gBAG/D,UAAU,EAAE,OAAO,EACnB,SAAS,EAAE,OAAO;IAClB,8EAA8E;IAC9E,YAAY,GAAE,QAAQ,GAAG,SAAqB,EAC9C,WAAW,GAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,SAAqB;CAOvE;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAEhE,QAAA,MAAM,MAAM,mBAAmB,CAAA;AAE/B;;;;;;;;;;;;;;;;;;;GAmBG;AACH,8BAAsB,IAAI;IACxB,QAAQ,CAAC,CAAC,MAAM,CAAC,oBAAS;IAC1B,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,GAAG,SAAS,CAAA;IAChE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;IACnC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,CAAA;gBAGnC,WAAW,GAAE,MAAM,CAAC,WAAW,CAAC,WAAW,GAAG,SAAqB,EACnE,MAAM,GAAE,MAAM,GAAG,SAAqB,EACtC,QAAQ,GAAE,QAAQ,GAAG,SAAqB,EAC1C,OAAO,GAAE,OAAO,GAAG,SAAqB;IAO1C,QAAQ;CAGT;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,qBAAa,WAAY,SAAQ,IAAI;IACnC,QAAQ,CAAC,IAAI,iBAAgB;IAC7B,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;IAC3C,QAAQ,CAAC,GAAG,EAAE,CACZ,cAAc,EAAE,aAAa,CAAC,GAAG,CAAC,KAC/B,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;gBAG3G,cAAc,EAAE,aAAa,CAAC,GAAG,CAAC,EAClC,GAAG,EAAE,CACH,cAAc,EAAE,aAAa,CAAC,GAAG,CAAC,KAC/B,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,EAC7G,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CA2BpB;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,IAAK,SAAQ,IAAI;IAC5B,QAAQ,CAAC,IAAI,UAAS;CASvB;AAED,QAAA,MAAM,KAAK,MAAa,CAAA;AACxB,OAAO;AACL;;;;;;;;;;GAUG;AACH,KAAK,IAAI,IAAI,EACd,CAAA;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,SAAU,SAAQ,IAAI;IACjC,QAAQ,CAAC,IAAI,eAAc;CAa5B;AAUD,QAAA,MAAM,UAAU,WAAkB,CAAA;AAClC,OAAO;AACL;;;;;;;;;;GAUG;AACH,UAAU,IAAI,SAAS,EACxB,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,IAAK,SAAQ,IAAI;IAC5B,QAAQ,CAAC,IAAI,UAAS;CAavB;AAED,QAAA,MAAM,KAAK,MAAa,CAAA;AACxB,OAAO;AACL;;;;;;;;;;;;;;GAcG;AACH,KAAK,IAAI,IAAI,EACd,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,KAAM,SAAQ,IAAI;IAC7B,QAAQ,CAAC,IAAI,WAAU;CASxB;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,KAAK,OAAc,CAAA;AAEhC;;;;;;;;GAQG;AACH,qBAAa,GAAI,SAAQ,IAAI;IAC3B,QAAQ,CAAC,IAAI,SAAQ;CAStB;AAED;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,GAAG,KAAY,CAAA;AAE5B;;;;;;;;;;;;GAYG;AACH,qBAAa,OAAQ,SAAQ,IAAI;IAC/B,QAAQ,CAAC,IAAI,aAAY;CAS1B;AAED;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,OAAO,SAAgB,CAAA;AAEpC;;;;;;;;;GASG;AACH,qBAAa,aAAc,SAAQ,IAAI;IACrC,QAAQ,CAAC,IAAI,mBAAkB;CAShC;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,aAAa,eAAsB,CAAA;AAEhD;;;;;;;;;;;GAWG;AACH,qBAAa,IAAK,SAAQ,IAAI;IAC5B,QAAQ,CAAC,IAAI,UAAS;IACtB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAA;gBAG/D,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,EACxD,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CAiCpB;AAyBD;;;;;;;;;;;;;GAaG;AACH,qBAAa,eAAgB,SAAQ,IAAI;IACvC,QAAQ,CAAC,IAAI,qBAAoB;IACjC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;gBAKhC,KAAK,EAAE,aAAa,CAAC,GAAG,CAAC,EACzB,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CAiDpB;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,YAAa,SAAQ,IAAI;IACpC,QAAQ,CAAC,IAAI,kBAAiB;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;gBAGrB,MAAM,EAAE,MAAM,EACd,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CAiBpB;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAA;AAE7D;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,qBAAa,OAAQ,SAAQ,IAAI;IAC/B,QAAQ,CAAC,IAAI,aAAY;IACzB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;gBAG5B,OAAO,EAAE,YAAY,EACrB,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CAwBpB;AAeD;;;;;;;;GAQG;AACH,qBAAa,MAAO,SAAQ,IAAI;IAC9B,QAAQ,CAAC,IAAI,YAAW;CASzB;AAED;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,MAAM,QAAe,CAAA;AAElC;;;;;;;;;;;;;;;;;;GAkBG;AACH,qBAAa,MAAO,SAAQ,IAAI;IAC9B,QAAQ,CAAC,IAAI,YAAW;CAuBzB;AAcD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,MAAM,QAAe,CAAA;AAElC;;;;;;;;GAQG;AACH,qBAAa,OAAQ,SAAQ,IAAI;IAC/B,QAAQ,CAAC,IAAI,aAAY;CAS1B;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,OAAO,SAAgB,CAAA;AAEpC;;;;;;;;;;;;;;;;;GAiBG;AACH,qBAAa,MAAO,SAAQ,IAAI;IAC9B,QAAQ,CAAC,IAAI,YAAW;CAazB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,MAAM,QAAe,CAAA;AAElC;;;;;;;;;;;;GAYG;AACH,qBAAa,MAAO,SAAQ,IAAI;IAC9B,QAAQ,CAAC,IAAI,YAAW;CAazB;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,MAAM,QAAe,CAAA;AAElC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,qBAAa,MAAO,SAAQ,IAAI;IAC9B,QAAQ,CAAC,IAAI,YAAW;IACxB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;IACrC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;gBAG/B,SAAS,EAAE,OAAO,EAClB,QAAQ,EAAE,aAAa,CAAC,GAAG,CAAC,EAC5B,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,EACxB,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CAsGpB;AA4GD;;;;;;;;;;;;GAYG;AACH,qBAAa,iBAAiB;IAC5B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;gBAGhB,IAAI,EAAE,WAAW,EACjB,IAAI,EAAE,GAAG;CAKZ;AAED;;;;;;;;;;;;;GAaG;AACH,qBAAa,gBAAgB;IAC3B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS,CAAA;IACvF,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS,CAAA;gBAGrF,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS,EAC9E,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS;CASjF;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,qBAAa,cAAc;IACzB,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;IAClB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,SAAS,CAAA;gBAG1C,SAAS,EAAE,GAAG,EACd,IAAI,EAAE,GAAG,EACT,KAAK,EAAE,gBAAgB,GAAG,SAAS;CAStC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,qBAAa,OAAQ,SAAQ,IAAI;IAC/B,QAAQ,CAAC,IAAI,aAAY;IACzB,QAAQ,CAAC,kBAAkB,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAA;IAC7D,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;gBAGrD,kBAAkB,EAAE,aAAa,CAAC,iBAAiB,CAAC,EACpD,eAAe,EAAE,aAAa,CAAC,cAAc,CAAC,EAC9C,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;IAyLnB,OAAO,CAAC,OAAO;CAmChB;AAkTD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,qBAAa,KAAK,CAAC,CAAC,SAAS,GAAG,GAAG,GAAG,CAAE,SAAQ,IAAI;IAClD,QAAQ,CAAC,IAAI,WAAU;IACvB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;IAChC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAA;gBAG9B,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,EACvB,IAAI,EAAE,OAAO,GAAG,OAAO,EACvB,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CAsFpB;AA0ED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,qBAAa,OAAQ,SAAQ,IAAI;IAC/B,QAAQ,CAAC,IAAI,aAAY;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,CAAA;gBAGvB,KAAK,EAAE,MAAM,GAAG,EAChB,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CAiBpB;AAMD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,qBAAa,MAAM,CAAC,EAAE,CAAC,CAAC,CAAE,SAAQ,QAAQ,CAAC,KAAK;IAC9C,QAAQ,CAAC,IAAI,YAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,YAAY,KAAK,WAAW,CAAC,KAAK,GAAG,SAAS,CAAA;IAC3F,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,SAAS,CAAA;IAC3D;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;gBAGvB,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,YAAY,KAAK,WAAW,CAAC,KAAK,GAAG,SAAS,EAClF,WAAW,GAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,SAAqB;IAC9D;;OAEG;IACH,OAAO,GAAE,OAAe;IAO1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;IAG3D,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC;IAGlB,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC;CAI9E;AAED;;;;;;;;;;;;;GAaG;AACH,qBAAa,WAAW,CAAC,EAAE,CAAC,CAAC,CAAE,SAAQ,QAAQ,CAAC,KAAK;IACnD,QAAQ,CAAC,IAAI,iBAAgB;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,SAAS,CAAA;gBAGzD,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAC/C,WAAW,GAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,SAAqB;IAMhE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC;IAGhE,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC;CAI9E;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;AA2BjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,kBAkB3F;AAsHD,wBAAgB,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAA;AA+BpF;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAOpD;AA8BD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,QAAQ,CAAC,CAAC,SAAS,GAAG,EACpC,IAAI,EAAE,GAAG,EACT,EAAE,EAAE,CAAC,EACL,cAAc,EAAE,oBAAoB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACtE,CAAC,CAEH;AAsDD;;;;;;;;;;;;GAYG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAE5C;AAOD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,MAAM,GAAY,CAAC,SAAS,GAAG,cAM1C,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,SAAS,mBAEpB,CAAA;AAoBF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,IAAI,mBAMf,CAAA;AAqRF;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM,CAAC,WAAW,CAAC,WAAW,GAAG,SAAuC,CAAA;AAE5G;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,SAAyC,CAAA;AAEvG;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,iBAAiB,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM,GAAG,SAAiD,CAAA;AAExG;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM,GAAG,SAA4C,CAAA;AAE9F;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM,GAAG,SAAkD,CAAA"}
+{"version":3,"file":"SchemaAST.d.ts","sourceRoot":"","sources":["../src/SchemaAST.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAQrC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAIzC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAE1C,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAE/C,OAAO,KAAK,oBAAoB,MAAM,2BAA2B,CAAA;AAGjE;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,GAAG,GACX,WAAW,GACX,IAAI,GACJ,SAAS,GACT,IAAI,GACJ,KAAK,GACL,OAAO,GACP,GAAG,GACH,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,MAAM,GACN,OAAO,GACP,YAAY,GACZ,aAAa,GACb,IAAI,GACJ,eAAe,GACf,MAAM,GACN,OAAO,GACP,KAAK,GACL,OAAO,CAAA;AAMX;;;;;;;;;;;GAWG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,GAAG,CAE1C;AAED;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,aAAa,QAhCX,GAAG,KAAG,GAAG,eAgC6B,CAAA;AAErD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,MAAM,QAjDJ,GAAG,KAAG,GAAG,QAiDe,CAAA;AAEvC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,WAAW,QAhET,GAAG,KAAG,GAAG,aAgEyB,CAAA;AAEjD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,MAAM,QA/EJ,GAAG,KAAG,GAAG,QA+Ee,CAAA;AAEvC;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,OAAO,QA/FL,GAAG,KAAG,GAAG,SA+FiB,CAAA;AAEzC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,SAAS,QA9GP,GAAG,KAAG,GAAG,WA8GqB,CAAA;AAE7C;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,KAAK,QA7HH,GAAG,KAAG,GAAG,OA6Ha,CAAA;AAErC;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,QA9IN,GAAG,KAAG,GAAG,UA8ImB,CAAA;AAE3C;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,QA3JN,GAAG,KAAG,GAAG,UA2JmB,CAAA;AAE3C;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,SAAS,QA3KP,GAAG,KAAG,GAAG,WA2KqB,CAAA;AAE7C;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,QA1LN,GAAG,KAAG,GAAG,UA0LmB,CAAA;AAE3C;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,QAzMN,GAAG,KAAG,GAAG,UAyMmB,CAAA;AAE3C;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,SAAS,QAxNP,GAAG,KAAG,GAAG,WAwNqB,CAAA;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,cAAc,QAhOZ,GAAG,KAAG,GAAG,gBAgO+B,CAAA;AAEvD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,eAAe,QAjPb,GAAG,KAAG,GAAG,iBAiPiC,CAAA;AAEzD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,MAAM,QAhQJ,GAAG,KAAG,GAAG,QAgQe,CAAA;AAEvC;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,QAxQf,GAAG,KAAG,GAAG,mBAwQqC,CAAA;AAE7D;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,QAvRN,GAAG,KAAG,GAAG,UAuRmB,CAAA;AAE3C;;;;;GAKG;AACH,eAAO,MAAM,SAAS,QA/RP,GAAG,KAAG,GAAG,WA+RqB,CAAA;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,OAAO,QAvSL,GAAG,KAAG,GAAG,cAuSiB,CAAA;AAEzC;;;;;GAKG;AACH,eAAO,MAAM,SAAS,QA/SP,GAAG,KAAG,GAAG,WA+SqB,CAAA;AAE7C;;;;;;;;;;;;;;;;;;GAkBG;AACH,qBAAa,IAAI;IACf,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAA;IAChB,QAAQ,CAAC,cAAc,EACnB,oBAAoB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACvD,oBAAoB,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;gBAG/D,EAAE,EAAE,GAAG,EACP,cAAc,EACV,oBAAoB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACvD,oBAAoB,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;CAKpE;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;AAEtD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,KAAK,GAAG,SAAS,CAAA;IAE7C;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,QAAQ,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS,CAAA;IAEvE;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAA;IAExD;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAE5C;;;;OAIG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAAA;CACxD;AAKD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,qBAAa,OAAO;IAClB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAC5B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,8EAA8E;IAC9E,QAAQ,CAAC,YAAY,EAAE,QAAQ,GAAG,SAAS,CAAA;IAC3C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,SAAS,CAAA;gBAG/D,UAAU,EAAE,OAAO,EACnB,SAAS,EAAE,OAAO;IAClB,8EAA8E;IAC9E,YAAY,GAAE,QAAQ,GAAG,SAAqB,EAC9C,WAAW,GAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,SAAqB;CAOvE;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAEhE,QAAA,MAAM,MAAM,mBAAmB,CAAA;AAE/B;;;;;;;;;;;;;;;;;;;GAmBG;AACH,8BAAsB,IAAI;IACxB,QAAQ,CAAC,CAAC,MAAM,CAAC,oBAAS;IAC1B,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,GAAG,SAAS,CAAA;IAChE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;IACnC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,CAAA;gBAGnC,WAAW,GAAE,MAAM,CAAC,WAAW,CAAC,WAAW,GAAG,SAAqB,EACnE,MAAM,GAAE,MAAM,GAAG,SAAqB,EACtC,QAAQ,GAAE,QAAQ,GAAG,SAAqB,EAC1C,OAAO,GAAE,OAAO,GAAG,SAAqB;IAO1C,QAAQ;CAGT;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,qBAAa,WAAY,SAAQ,IAAI;IACnC,QAAQ,CAAC,IAAI,iBAAgB;IAC7B,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;IAC3C,QAAQ,CAAC,GAAG,EAAE,CACZ,cAAc,EAAE,aAAa,CAAC,GAAG,CAAC,KAC/B,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IAC7G,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,SAAS,CAAA;gBAGzC,cAAc,EAAE,aAAa,CAAC,GAAG,CAAC,EAClC,GAAG,EAAE,CACH,cAAc,EAAE,aAAa,CAAC,GAAG,CAAC,KAC/B,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,EAC7G,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO,EACjB,cAAc,CAAC,EAAE,MAAM;IAezB,OAAO,CAAC,OAAO;CAoBhB;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,IAAK,SAAQ,IAAI;IAC5B,QAAQ,CAAC,IAAI,UAAS;CASvB;AAED,QAAA,MAAM,KAAK,MAAa,CAAA;AACxB,OAAO;AACL;;;;;;;;;;GAUG;AACH,KAAK,IAAI,IAAI,EACd,CAAA;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,SAAU,SAAQ,IAAI;IACjC,QAAQ,CAAC,IAAI,eAAc;CAa5B;AAUD,QAAA,MAAM,UAAU,WAAkB,CAAA;AAClC,OAAO;AACL;;;;;;;;;;GAUG;AACH,UAAU,IAAI,SAAS,EACxB,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,IAAK,SAAQ,IAAI;IAC5B,QAAQ,CAAC,IAAI,UAAS;CAavB;AAED,QAAA,MAAM,KAAK,MAAa,CAAA;AACxB,OAAO;AACL;;;;;;;;;;;;;;GAcG;AACH,KAAK,IAAI,IAAI,EACd,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,KAAM,SAAQ,IAAI;IAC7B,QAAQ,CAAC,IAAI,WAAU;CASxB;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,KAAK,OAAc,CAAA;AAEhC;;;;;;;;GAQG;AACH,qBAAa,GAAI,SAAQ,IAAI;IAC3B,QAAQ,CAAC,IAAI,SAAQ;CAStB;AAED;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,GAAG,KAAY,CAAA;AAE5B;;;;;;;;;;;;GAYG;AACH,qBAAa,OAAQ,SAAQ,IAAI;IAC/B,QAAQ,CAAC,IAAI,aAAY;CAS1B;AAED;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,OAAO,SAAgB,CAAA;AAEpC;;;;;;;;;GASG;AACH,qBAAa,aAAc,SAAQ,IAAI;IACrC,QAAQ,CAAC,IAAI,mBAAkB;CAShC;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,aAAa,eAAsB,CAAA;AAEhD;;;;;;;;;;;GAWG;AACH,qBAAa,IAAK,SAAQ,IAAI;IAC5B,QAAQ,CAAC,IAAI,UAAS;IACtB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAA;gBAG/D,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,EACxD,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CAiCpB;AAyBD;;;;;;;;;;;;;GAaG;AACH,qBAAa,eAAgB,SAAQ,IAAI;IACvC,QAAQ,CAAC,IAAI,qBAAoB;IACjC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;gBAKhC,KAAK,EAAE,aAAa,CAAC,GAAG,CAAC,EACzB,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CAiDpB;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,YAAa,SAAQ,IAAI;IACpC,QAAQ,CAAC,IAAI,kBAAiB;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;gBAGrB,MAAM,EAAE,MAAM,EACd,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CAiBpB;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAA;AAE7D;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,qBAAa,OAAQ,SAAQ,IAAI;IAC/B,QAAQ,CAAC,IAAI,aAAY;IACzB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;gBAG5B,OAAO,EAAE,YAAY,EACrB,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CAwBpB;AAeD;;;;;;;;GAQG;AACH,qBAAa,MAAO,SAAQ,IAAI;IAC9B,QAAQ,CAAC,IAAI,YAAW;CASzB;AAED;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,MAAM,QAAe,CAAA;AAElC;;;;;;;;;;;;;;;;;;GAkBG;AACH,qBAAa,MAAO,SAAQ,IAAI;IAC9B,QAAQ,CAAC,IAAI,YAAW;CAuBzB;AAcD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,MAAM,QAAe,CAAA;AAElC;;;;;;;;GAQG;AACH,qBAAa,OAAQ,SAAQ,IAAI;IAC/B,QAAQ,CAAC,IAAI,aAAY;CAS1B;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,OAAO,SAAgB,CAAA;AAEpC;;;;;;;;;;;;;;;;;GAiBG;AACH,qBAAa,MAAO,SAAQ,IAAI;IAC9B,QAAQ,CAAC,IAAI,YAAW;CAazB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,MAAM,QAAe,CAAA;AAElC;;;;;;;;;;;;GAYG;AACH,qBAAa,MAAO,SAAQ,IAAI;IAC9B,QAAQ,CAAC,IAAI,YAAW;CAazB;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,MAAM,QAAe,CAAA;AAElC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,qBAAa,MAAO,SAAQ,IAAI;IAC9B,QAAQ,CAAC,IAAI,YAAW;IACxB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;IACrC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,SAAS,CAAA;gBAGzC,SAAS,EAAE,OAAO,EAClB,QAAQ,EAAE,aAAa,CAAC,GAAG,CAAC,EAC5B,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,EACxB,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO,EACjB,cAAc,CAAC,EAAE,MAAM;IA2FzB,OAAO,CAAC,OAAO;CA4BhB;AA4GD;;;;;;;;;;;;GAYG;AACH,qBAAa,iBAAiB;IAC5B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;gBAGhB,IAAI,EAAE,WAAW,EACjB,IAAI,EAAE,GAAG;CAKZ;AAED;;;;;;;;;;;;;GAaG;AACH,qBAAa,gBAAgB;IAC3B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS,CAAA;IACvF,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS,CAAA;gBAGrF,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS,EAC9E,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS;CASjF;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,qBAAa,cAAc;IACzB,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;IAClB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,SAAS,CAAA;gBAG1C,SAAS,EAAE,GAAG,EACd,IAAI,EAAE,GAAG,EACT,KAAK,EAAE,gBAAgB,GAAG,SAAS;CAStC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,qBAAa,OAAQ,SAAQ,IAAI;IAC/B,QAAQ,CAAC,IAAI,aAAY;IACzB,QAAQ,CAAC,kBAAkB,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAA;IAC7D,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACvD,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,SAAS,CAAA;gBAGzC,kBAAkB,EAAE,aAAa,CAAC,iBAAiB,CAAC,EACpD,eAAe,EAAE,aAAa,CAAC,cAAc,CAAC,EAC9C,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO,EACjB,cAAc,CAAC,EAAE,MAAM;IA6LzB,OAAO,CAAC,OAAO;CA6ChB;AAkTD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,qBAAa,KAAK,CAAC,CAAC,SAAS,GAAG,GAAG,GAAG,CAAE,SAAQ,IAAI;IAClD,QAAQ,CAAC,IAAI,WAAU;IACvB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;IAChC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAA;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,SAAS,CAAA;gBAGzC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,EACvB,IAAI,EAAE,OAAO,GAAG,OAAO,EACvB,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO,EACjB,cAAc,CAAC,EAAE,MAAM;IA2CzB,OAAO,CAAC,OAAO;CAmDhB;AA0ED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,qBAAa,OAAQ,SAAQ,IAAI;IAC/B,QAAQ,CAAC,IAAI,aAAY;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,CAAA;gBAGvB,KAAK,EAAE,MAAM,GAAG,EAChB,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAC5C,MAAM,CAAC,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,OAAO;CA0BpB;AAmBD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,qBAAa,MAAM,CAAC,EAAE,CAAC,CAAC,CAAE,SAAQ,QAAQ,CAAC,KAAK;IAC9C,QAAQ,CAAC,IAAI,YAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,YAAY,KAAK,WAAW,CAAC,KAAK,GAAG,SAAS,CAAA;IAC3F,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,SAAS,CAAA;IAC3D;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;gBAGvB,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,YAAY,KAAK,WAAW,CAAC,KAAK,GAAG,SAAS,EAClF,WAAW,GAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,SAAqB;IAC9D;;OAEG;IACH,OAAO,GAAE,OAAe;IAO1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;IAG3D,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC;IAGlB,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC;CAI9E;AAED;;;;;;;;;;;;;GAaG;AACH,qBAAa,WAAW,CAAC,EAAE,CAAC,CAAC,CAAE,SAAQ,QAAQ,CAAC,KAAK;IACnD,QAAQ,CAAC,IAAI,iBAAgB;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,SAAS,CAAA;gBAGzD,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAC/C,WAAW,GAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,SAAqB;IAMhE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC;IAGhE,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC;CAI9E;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;AA2BjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,kBAkB3F;AAyHD,wBAAgB,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAA;AA+BpF;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAOpD;AA8BD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,QAAQ,CAAC,CAAC,SAAS,GAAG,EACpC,IAAI,EAAE,GAAG,EACT,EAAE,EAAE,CAAC,EACL,cAAc,EAAE,oBAAoB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACtE,CAAC,CAEH;AAsDD;;;;;;;;;;;;GAYG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAE5C;AAOD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,MAAM,GAAY,CAAC,SAAS,GAAG,cAY1C,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,SAAS,mBAEpB,CAAA;AAoBF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,IAAI,mBAMf,CAAA;AAqRF;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM,CAAC,WAAW,CAAC,WAAW,GAAG,SAAuC,CAAA;AAE5G;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,SAAyC,CAAA;AAEvG;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,iBAAiB,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM,GAAG,SAAiD,CAAA;AAExG;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM,GAAG,SAA4C,CAAA;AAE9F;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM,GAAG,SAAkD,CAAA"}

package/dist/SchemaAST.js

@@ -1,74 +1,12 @@
 /**
- * Abstract Syntax Tree (AST) representation for Effect schemas.
- *
- * This module defines the runtime data structures that represent schemas.
- * Most users work with the `Schema` module directly; use `SchemaAST` when you
- * need to inspect, traverse, or programmatically transform schema definitions.
- *
- * ## Mental model
- *
- * - **{@link AST}** — discriminated union (`_tag`) of all schema node types
- *   (e.g. `String`, `Objects`, `Union`, `Suspend`)
- * - **{@link Base}** — abstract base class shared by every node; carries
- *   annotations, checks, encoding chain, and context
- * - **{@link Encoding}** — a non-empty chain of {@link Link} values describing
- *   how to transform between the decoded (type) and encoded (wire) form
- * - **{@link Check}** — a validation filter ({@link Filter} or
- *   {@link FilterGroup}) attached to an AST node
- * - **{@link Context}** — per-property metadata: optionality, mutability,
- *   default values, key annotations
- * - **Guards** — type-narrowing predicates for each AST variant (e.g.
- *   {@link isString}, {@link isObjects})
- *
- * ## Common tasks
- *
- * - Inspect what kind of schema you have → guard functions ({@link isString},
- *   {@link isObjects}, {@link isUnion}, etc.)
- * - Get the decoded (type-level) AST → {@link toType}
- * - Get the encoded (wire-format) AST → {@link toEncoded}
- * - Swap decode/encode directions → {@link flip}
- * - Read annotations → {@link resolve}, {@link resolveAt},
- *   {@link resolveIdentifier}
- * - Build a transformation between schemas → {@link decodeTo}
- * - Add regex validation → {@link isPattern}
- *
- * ## Gotchas
- *
- * - AST nodes are structurally immutable; modification helpers return new
- *   objects via `Object.create`.
- * - {@link Arrays} represents both tuples and arrays; {@link Objects}
- *   represents both structs and records.
- * - {@link toType} and {@link toEncoded} are memoized — same input yields
- *   same output reference.
- * - {@link Suspend} lazily resolves its inner AST via a thunk; the thunk is
- *   memoized on first call.
- *
- * ## Quickstart
- *
- * **Example** (Inspecting a schema's AST)
+ * Represents Effect schemas as runtime trees.
  *
- * ```ts
- * import { Schema, SchemaAST } from "effect"
- *
- * const schema = Schema.Struct({ name: Schema.String, age: Schema.Number })
- * const ast = schema.ast
- *
- * if (SchemaAST.isObjects(ast)) {
- *   console.log(ast.propertySignatures.map(ps => ps.name))
- *   // ["name", "age"]
- * }
- *
- * const encoded = SchemaAST.toEncoded(ast)
- * console.log(SchemaAST.isObjects(encoded)) // true
- * ```
- *
- * ## See also
- *
- * - {@link AST}
- * - {@link toType}
- * - {@link toEncoded}
- * - {@link flip}
- * - {@link resolve}
+ * Every `Schema` has an AST made from nodes for declarations, primitives,
+ * literals, arrays, objects, unions, suspended schemas, checks, annotations,
+ * encoding links, and parsing context. Most users work with the higher-level
+ * `Schema` module. Use `SchemaAST` when you need to inspect schema nodes, build
+ * ASTs programmatically, change encoded or decoded views, collect issues, or
+ * run low-level schema checks.
  *
  * @since 4.0.0
  */
@@ -496,10 +434,12 @@ export class Declaration extends Base {
   _tag = "Declaration";
   typeParameters;
   run;
-  constructor(typeParameters, run, annotations, checks, encoding, context) {
+  encodingChecks;
+  constructor(typeParameters, run, annotations, checks, encoding, context, encodingChecks) {
     super(annotations, checks, encoding, context);
     this.typeParameters = typeParameters;
     this.run = run;
+    this.encodingChecks = encodingChecks;
   }
   /** @internal */
   getParser() {
@@ -509,10 +449,17 @@ export class Declaration extends Base {
       return Effect.mapEager(run(oinput.value, this, options), Option.some);
     };
   }
+  rebuild(recur, checks, encodingChecks) {
+    const tps = mapOrSame(this.typeParameters, recur);
+    return tps === this.typeParameters ? this : new Declaration(tps, this.run, this.annotations, checks, undefined, this.context, encodingChecks);
+  }
   /** @internal */
   recur(recur) {
-    const tps = mapOrSame(this.typeParameters, recur);
-    return tps === this.typeParameters ? this : new Declaration(tps, this.run, this.annotations, this.checks, undefined, this.context);
+    return this.rebuild(recur, this.checks, this.encodingChecks);
+  }
+  /** @internal */
+  flip(recur) {
+    return this.rebuild(recur, this.encodingChecks, this.checks);
   }
   /** @internal */
   getExpected() {
@@ -1271,11 +1218,13 @@ export class Arrays extends Base {
   isMutable;
   elements;
   rest;
-  constructor(isMutable, elements, rest, annotations, checks, encoding, context) {
+  encodingChecks;
+  constructor(isMutable, elements, rest, annotations, checks, encoding, context, encodingChecks) {
     super(annotations, checks, encoding, context);
     this.isMutable = isMutable;
     this.elements = elements;
     this.rest = rest;
+    this.encodingChecks = encodingChecks;
     // A required element cannot follow an optional element. ts(1257)
     const i = elements.findIndex(isOptional);
     if (i !== -1 && (elements.slice(i + 1).some(e => !isOptional(e)) || rest.length > 1)) {
@@ -1354,11 +1303,18 @@ export class Arrays extends Base {
       return Option.some(state.output);
     });
   }
-  /** @internal */
-  recur(recur) {
+  rebuild(recur, checks, encodingChecks) {
     const elements = mapOrSame(this.elements, recur);
     const rest = mapOrSame(this.rest, recur);
-    return elements === this.elements && rest === this.rest ? this : new Arrays(this.isMutable, elements, rest, this.annotations, this.checks, undefined, this.context);
+    return elements === this.elements && rest === this.rest ? this : new Arrays(this.isMutable, elements, rest, this.annotations, checks, undefined, this.context, encodingChecks);
+  }
+  /** @internal */
+  recur(recur) {
+    return this.rebuild(recur, this.checks, this.encodingChecks);
+  }
+  /** @internal */
+  flip(recur) {
+    return this.rebuild(recur, this.encodingChecks, this.checks);
   }
   /** @internal */
   getExpected() {
@@ -1572,10 +1528,12 @@ export class Objects extends Base {
   _tag = "Objects";
   propertySignatures;
   indexSignatures;
-  constructor(propertySignatures, indexSignatures, annotations, checks, encoding, context) {
+  encodingChecks;
+  constructor(propertySignatures, indexSignatures, annotations, checks, encoding, context, encodingChecks) {
     super(annotations, checks, encoding, context);
     this.propertySignatures = propertySignatures;
     this.indexSignatures = indexSignatures;
+    this.encodingChecks = encodingChecks;
     // Duplicate property signatures
     const duplicates = propertySignatures.map(ps => ps.name).filter((name, i, arr) => arr.indexOf(name) !== i);
     if (duplicates.length > 0) {
@@ -1626,6 +1584,9 @@ export class Objects extends Base {
           return;
         } else if (exitKey.value._tag === "Some" && exitValue.value._tag === "Some") {
           const k2 = exitKey.value.value;
+          if (expectedKeysSet.has(key) || expectedKeysSet.has(k2)) {
+            return;
+          }
           const v2 = exitValue.value.value;
           if (is.merge && is.merge.decode && Object.hasOwn(s.out, k2)) {
             const [k, v] = is.merge.decode.combine([k2, s.out[k2]], [k2, v2]);
@@ -1726,7 +1687,7 @@ export class Objects extends Base {
       return Option.some(out);
     });
   }
-  rebuild(recur, flipMerge) {
+  rebuild(recur, flipMerge, checks, encodingChecks) {
     const props = mapOrSame(this.propertySignatures, ps => {
       const t = recur(ps.type);
       return t === ps.type ? ps : new PropertySignature(ps.name, t);
@@ -1737,15 +1698,15 @@ export class Objects extends Base {
       const merge = flipMerge ? is.merge?.flip() : is.merge;
       return p === is.parameter && t === is.type && merge === is.merge ? is : new IndexSignature(p, t, merge);
     });
-    return props === this.propertySignatures && indexes === this.indexSignatures ? this : new Objects(props, indexes, this.annotations, this.checks, undefined, this.context);
+    return props === this.propertySignatures && indexes === this.indexSignatures ? this : new Objects(props, indexes, this.annotations, checks, undefined, this.context, encodingChecks);
   }
   /** @internal */
   flip(recur) {
-    return this.rebuild(recur, true);
+    return this.rebuild(recur, true, this.encodingChecks, this.checks);
   }
   /** @internal */
   recur(recur) {
-    return this.rebuild(recur, false);
+    return this.rebuild(recur, false, this.checks, this.encodingChecks);
   }
   /** @internal */
   getExpected() {
@@ -1999,10 +1960,12 @@ export class Union extends Base {
   _tag = "Union";
   types;
   mode;
-  constructor(types, mode, annotations, checks, encoding, context) {
+  encodingChecks;
+  constructor(types, mode, annotations, checks, encoding, context, encodingChecks) {
     super(annotations, checks, encoding, context);
     this.types = types;
     this.mode = mode;
+    this.encodingChecks = encodingChecks;
   }
   /** @internal */
   getParser(recur) {
@@ -2034,10 +1997,17 @@ export class Union extends Base {
       });
     };
   }
+  rebuild(recur, checks, encodingChecks) {
+    const types = mapOrSame(this.types, recur);
+    return types === this.types ? this : new Union(types, this.mode, this.annotations, checks, undefined, this.context, encodingChecks);
+  }
   /** @internal */
   recur(recur) {
-    const types = mapOrSame(this.types, recur);
-    return types === this.types ? this : new Union(types, this.mode, this.annotations, this.checks, undefined, this.context);
+    return this.rebuild(recur, this.checks, this.encodingChecks);
+  }
+  /** @internal */
+  flip(recur) {
+    return this.rebuild(recur, this.encodingChecks, this.checks);
   }
   /** @internal */
   getExpected(getExpected) {
@@ -2150,7 +2120,10 @@ export class Suspend extends Base {
   _tag = "Suspend";
   thunk;
   constructor(thunk, annotations, checks, encoding, context) {
-    super(annotations, checks, encoding, context);
+    if (checks !== undefined) {
+      throw new Error("Cannot add checks to Suspend");
+    }
+    super(annotations, undefined, encoding, context);
     this.thunk = memoizeThunk(thunk);
   }
   /** @internal */
@@ -2159,13 +2132,25 @@ export class Suspend extends Base {
   }
   /** @internal */
   recur(recur) {
-    return new Suspend(() => recur(this.thunk()), this.annotations, this.checks, undefined, this.context);
+    return new Suspend(() => recur(this.thunk()), this.annotations, undefined, undefined, this.context);
   }
   /** @internal */
   getExpected(getExpected) {
     return getExpected(this.thunk());
   }
 }
+/** @internal */
+export function getEncodingChecks(ast) {
+  switch (ast._tag) {
+    case "Declaration":
+    case "Arrays":
+    case "Objects":
+    case "Union":
+      return ast.encodingChecks;
+    default:
+      return undefined;
+  }
+}
 // -----------------------------------------------------------------------------
 // Checks
 // -----------------------------------------------------------------------------
@@ -2303,8 +2288,8 @@ export function isPattern(regExp, annotations) {
       _tag: "isPattern",
       regExp
     },
-    toArbitraryConstraint: {
-      string: {
+    arbitrary: {
+      constraint: {
         patterns: [regExp.source]
       }
     },
@@ -2353,6 +2338,9 @@ export function annotate(ast, annotations) {
 }
 /** @internal */
 export function replaceChecks(ast, checks) {
+  if (ast._tag === "Suspend" && checks !== undefined) {
+    throw new Error("Cannot add checks to Suspend");
+  }
   if (ast.checks === checks) {
     return ast;
   }
@@ -2572,7 +2560,13 @@ export const toType = /*#__PURE__*/memoize(ast => {
     return toType(replaceEncoding(ast, undefined));
   }
   const out = ast;
-  return out.recur?.(toType) ?? out;
+  const type = out.recur?.(toType) ?? out;
+  if (getEncodingChecks(type)) {
+    return modifyOwnPropertyDescriptors(type, d => {
+      d.encodingChecks.value = undefined;
+    });
+  }
+  return type;
 });
 /**
  * Returns the encoded (wire-format) AST by flipping and then stripping