@eco-incorp/sauce 0.99.5 → 0.99.7

package/actions/dist/schema.js

@@ -2,16 +2,18 @@
  * The action-program JSON Schema (draft 2020-12), generated from the same table the parser reads
  * (`spec.ts`), for clients that are not written in TypeScript.
  *
- * The schema is exact about shape and deliberately silent about three things it cannot express,
- * which `parseProgram` enforces and the schema's `description` states: an address's EIP-55
- * checksum, an amount's numeric range beyond its digit count, and the chaining rules across actions
- * (`semantics.ts`). A document the schema rejects is always rejected by the parser; the reverse
- * holds only for those three.
+ * The schema is exact about shape and deliberately silent about four things it cannot express,
+ * which `parseProgram` and the compile enforce and the schema's `description` states: an address's
+ * EIP-55 checksum, an amount's numeric range beyond its digit count, the chaining rules across
+ * actions (`semantics.ts`), and whether a token symbol or a namespace reference exists on the chain
+ * a program is compiled for (`names.ts`). A document the schema rejects is always rejected by the
+ * parser; the reverse holds only for those four.
  *
  * `actions/action-program.schema.json` is this function's output, committed so it can be read and
  * fetched without running anything; a unit test fails when the two drift.
  */
 import { ACTION_SPECS, ACTION_TYPES, } from "./spec.js";
+import { CONTRACT_NAME_RE, NATIVE, STOCK_SYMBOL_RE } from "./names.js";
 import { actionKeys, PROGRAM_VERSION } from "./program.js";
 /** Decimal digits of the largest `bits`-bit unsigned integer. */
 function maxDigits(bits) {
@@ -23,6 +25,45 @@ const DEFS = {
         pattern: "^0x[0-9a-fA-F]{40}$",
         description: "An address: 0x + 40 hex digits. A mixed-case address must carry a valid EIP-55 checksum.",
     },
+    tokenSymbol: {
+        type: "string",
+        pattern: STOCK_SYMBOL_RE.source,
+        description: 'A registry token symbol, as a Sauce program writes it: "USDC", "WETH", or a tokenized ' +
+            'stock\'s, which is its issuer\'s ticker ("SPCXc", "TSLAon", "bTSLA"). It resolves on the ' +
+            "chain the program is compiled for; a chain that does not register it refuses the program, " +
+            "naming the chain and the symbol. `sauce globals --chain <chain> --tokens` lists them, and " +
+            "`--stocks` the chain's stock tokens.",
+    },
+    contractName: {
+        type: "string",
+        pattern: CONTRACT_NAME_RE.source,
+        description: 'A protocol contract by namespace, as a Sauce program writes it: "UniswapV3.Factory", ' +
+            '"BalancerV2.Vault", "UniswapV4.PoolManager". It resolves on the chain the program is ' +
+            "compiled for; a chain without it refuses the program. `sauce globals --chain <chain> " +
+            "--protocols` lists them.",
+    },
+    token: {
+        description: "A token: a registry symbol, or an address.",
+        oneOf: [{ $ref: "#/$defs/tokenSymbol" }, { $ref: "#/$defs/address" }],
+    },
+    tokenOrNative: {
+        description: 'A token: a registry symbol, an address, or "native" for the native currency, which the ' +
+            "venue keys as the zero address.",
+        oneOf: [{ $ref: "#/$defs/tokenSymbol" }, { $ref: "#/$defs/address" }, { const: NATIVE }],
+    },
+    contract: {
+        description: "A protocol contract: a namespace reference, or an address.",
+        oneOf: [{ $ref: "#/$defs/contractName" }, { $ref: "#/$defs/address" }],
+    },
+    tokenContract: {
+        description: "A contract that is also a token (WETH, wstETH): a registry symbol, a namespace reference, " +
+            "or an address.",
+        oneOf: [
+            { $ref: "#/$defs/tokenSymbol" },
+            { $ref: "#/$defs/contractName" },
+            { $ref: "#/$defs/address" },
+        ],
+    },
     recipient: {
         description: 'An address, or "self" for the executing Pot.',
         oneOf: [{ $ref: "#/$defs/address" }, { const: "self" }],
@@ -56,7 +97,11 @@ function kindSchema(kind) {
         case "bytes":
         case "bytes32":
         case "identifier":
+        case "contract":
+        case "tokenContract":
             return { $ref: `#/$defs/${kind.k}` };
+        case "token":
+            return { $ref: kind.native === true ? "#/$defs/tokenOrNative" : "#/$defs/token" };
         case "uint":
             return {
                 type: "string",
@@ -124,12 +169,44 @@ function actionSchema(spec) {
         .map((key) => [key, properties[key]]));
     return {
         title: spec.type,
-        description: `${spec.summary} Calls ${spec.calls}.`,
+        description: `${spec.summary} Calls ${spec.calls}.${alternativesText(spec)}`,
         ...schema,
         required: ["type", ...schema.required],
         properties: orderedProperties,
+        ...alternativesSchema(spec),
     };
 }
+const spelled = (fields) => fields.join(" + ");
+/** The action's `oneOf` and `together` rules, said in its description. */
+function alternativesText(spec) {
+    const parts = [];
+    if (spec.oneOf !== undefined) {
+        parts.push(` Give exactly one of: ${spec.oneOf.map(spelled).join("; ")}.`);
+    }
+    for (const group of spec.together ?? [])
+        parts.push(` Give ${spelled(group)} together or not at all.`);
+    return parts.join("");
+}
+/**
+ * `oneOf`: each alternative requires its own fields and forbids the other alternatives' — so a pool
+ * is named by its address or by one key, never by both. `together`: `dependentRequired` both ways.
+ */
+function alternativesSchema(spec) {
+    const out = {};
+    if (spec.oneOf !== undefined) {
+        const named = [...new Set(spec.oneOf.flat())];
+        // Each alternative's own fields are `true` here (their schema is the action's), every other
+        // alternative's `false`: present, it fails the alternative.
+        out.oneOf = spec.oneOf.map((option) => ({
+            required: [...option],
+            properties: Object.fromEntries(named.map((key) => [key, option.includes(key)])),
+        }));
+    }
+    if (spec.together !== undefined) {
+        out.dependentRequired = Object.fromEntries(spec.together.flatMap((group) => group.map((key) => [key, group.filter((other) => other !== key)])));
+    }
+    return out;
+}
 /** The JSON Schema every action program satisfies. */
 export function programSchema() {
     const actionDefs = Object.fromEntries(ACTION_TYPES.map((type) => [`action_${type}`, actionSchema(ACTION_SPECS[type])]));
@@ -138,18 +215,28 @@ export function programSchema() {
         $id: `urn:eco-incorp:sauce:action-program:${PROGRAM_VERSION}`,
         title: "Sauce action program",
         description: "A sequence of protocol actions that compiles to one Sauce program executing on one chain. " +
-            "Amounts are base-10 strings. Beyond this schema, a program must satisfy: every address with " +
-            "mixed-case hex carries a valid EIP-55 checksum; every amount fits its declared width; a " +
-            "first action that takes an amount sets `amount`; an amountRef names a " +
+            'Amounts are base-10 strings. A token is a registry symbol ("USDC", or a tokenized ' +
+            "stock's, its issuer's ticker: \"SPCXc\") or an address, and a " +
+            'protocol contract a namespace reference ("UniswapV3.Factory") or an address; a name ' +
+            "resolves on the chain the program is compiled for, so a document with no chainId compiles " +
+            "for any chain where its names exist. Beyond this schema, a program must satisfy: every " +
+            "address with mixed-case hex carries a valid EIP-55 checksum; every amount fits its declared " +
+            "width; a first action that takes an amount sets `amount`; an amountRef names a " +
             "saveOutputAs set by an earlier action, and is not combined with `amount`; argument names " +
-            "are unique; and the value of every balanceOf/nativeBalance/argument action is read.",
+            "are unique; the value of every balanceOf/nativeBalance/argument action is read; and every " +
+            "token symbol and namespace reference exists on the chain it is compiled for.",
         type: "object",
         additionalProperties: false,
-        required: ["version", "chainId", "actions"],
+        required: ["version", "actions"],
         properties: {
             $schema: { type: "string", description: "The schema this document declares; ignored." },
             version: { const: PROGRAM_VERSION },
-            chainId: { $ref: "#/$defs/chainId", description: "The chain every action executes on." },
+            chainId: {
+                $ref: "#/$defs/chainId",
+                description: "The chain the document is written for; compiling it for another is refused. Leave it " +
+                    "out of a document that names its tokens and contracts: it then compiles for any chain " +
+                    "where those names exist, the chain chosen when it is compiled.",
+            },
             actions: {
                 type: "array",
                 minItems: 1,

package/actions/dist/semantics.d.ts

@@ -1,13 +1,23 @@
+/**
+ * The rules an action list must satisfy beyond each action's own shape: where every amount comes
+ * from, and that every value a source action produces is read. `program.ts` runs the structural
+ * checks first, so by the time these run every field has its declared type.
+ */
+import type { CanonicalChain } from "../../sdk/dist/chains/canonical.js";
 import type { Action } from "./types.js";
 /** One problem with a program, located by a path into the document (`actions[2].amountRef`). */
 export interface ProgramIssue {
     readonly path: string;
     readonly message: string;
 }
-/** Thrown for a program that breaks any rule. `issues` lists every problem found, in order. */
+/**
+ * Thrown for a program that breaks any rule. `issues` lists every problem found, in order; `chain`
+ * is set when they are the compiled chain's — a name it lacks — rather than the document's own.
+ */
 export declare class ProgramError extends Error {
     readonly issues: readonly ProgramIssue[];
-    constructor(issues: readonly ProgramIssue[]);
+    readonly chain?: CanonicalChain;
+    constructor(issues: readonly ProgramIssue[], chain?: CanonicalChain);
 }
 /** A chaining name becomes a SauceScript local, so it has to be spellable as one. */
 export declare const IDENTIFIER_RE: RegExp;

package/actions/dist/semantics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"semantics.d.ts","sourceRoot":"","sources":["../src/semantics.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,MAAM,EAAc,MAAM,YAAY,CAAC;AAErD,gGAAgG;AAChG,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,+FAA+F;AAC/F,qBAAa,YAAa,SAAQ,KAAK;IACrC,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;gBAE7B,MAAM,EAAE,SAAS,YAAY,EAAE;CAQ5C;AAED,qFAAqF;AACrF,eAAO,MAAM,aAAa,QAA+B,CAAC;AAM1D,qGAAqG;AACrG,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAMxD;AA+ED,gDAAgD;AAChD,wBAAgB,aAAa,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,YAAY,EAAE,CA+D1F"}
+{"version":3,"file":"semantics.d.ts","sourceRoot":"","sources":["../src/semantics.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AAIzE,OAAO,KAAK,EAAE,MAAM,EAAc,MAAM,YAAY,CAAC;AAErD,gGAAgG;AAChG,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,KAAK;IACrC,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC;gBAEpB,MAAM,EAAE,SAAS,YAAY,EAAE,EAAE,KAAK,CAAC,EAAE,cAAc;CAYpE;AAED,qFAAqF;AACrF,eAAO,MAAM,aAAa,QAA+B,CAAC;AAM1D,qGAAqG;AACrG,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAMxD;AA+ED,gDAAgD;AAChD,wBAAgB,aAAa,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,YAAY,EAAE,CAiE1F"}

package/actions/dist/semantics.js

@@ -1,18 +1,22 @@
-/**
- * The rules an action list must satisfy beyond each action's own shape: where every amount comes
- * from, and that every value a source action produces is read. `program.ts` runs the structural
- * checks first, so by the time these run every field has its declared type.
- */
 import { getChain, nativeErc20 } from "../../sdk/dist/chains/index.js";
 import { ACTION_SPECS } from "./spec.js";
-/** Thrown for a program that breaks any rule. `issues` lists every problem found, in order. */
+/**
+ * Thrown for a program that breaks any rule. `issues` lists every problem found, in order; `chain`
+ * is set when they are the compiled chain's — a name it lacks — rather than the document's own.
+ */
 export class ProgramError extends Error {
     issues;
-    constructor(issues) {
-        super(`invalid action program (${issues.length} ${issues.length === 1 ? "issue" : "issues"}):\n` +
+    chain;
+    constructor(issues, chain) {
+        const count = `${issues.length} ${issues.length === 1 ? "issue" : "issues"}`;
+        super((chain === undefined
+            ? `invalid action program (${count}):\n`
+            : `the action program does not compile for ${chain.name} (${chain.slug}, chain ${chain.id}) (${count}):\n`) +
             issues.map((i) => `  ${i.path}: ${i.message}`).join("\n"));
         this.name = "ProgramError";
         this.issues = issues;
+        if (chain !== undefined)
+            this.chain = chain;
     }
 }
 /** A chaining name becomes a SauceScript local, so it has to be spellable as one. */
@@ -158,7 +162,73 @@ export function programIssues(actions, chainId) {
             });
         }
     });
+    actions.forEach((action, i) => issues.push(...swapIssues(action, i)));
     if (chainId !== undefined)
         issues.push(...nativeErc20Issues(actions, chainId));
     return issues;
 }
+/** A token value as the address it names, or `undefined` for a name not yet resolved. */
+const valueOf = (value) => value === "native" ? 0n : /^0x/i.test(value) ? BigInt(value) : undefined;
+/**
+ * Whether two token values are the same token: two addresses however cased, two identical names,
+ * `"native"` and the zero address. `undefined` when only the chain can tell — a name beside an
+ * address — which the compile decides once every name is resolved on its chain.
+ */
+const same = (a, b) => {
+    const [x, y] = [valueOf(a), valueOf(b)];
+    if (x !== undefined && y !== undefined)
+        return x === y;
+    return a === b ? true : x === undefined && y === undefined ? false : undefined;
+};
+/**
+ * What `@sauce/router` would refuse when the program runs, refused here instead, with a path: a
+ * swap of a token for itself; a DODO V2 or Trader Joe LB trade that is not between the two tokens
+ * the action says the pool holds; and a WOOFi swap with no floor, which the pool needs because it
+ * prices from an oracle. A comparison only the chain can decide (a name beside an address) is left
+ * to the compile, which runs these again on the resolved addresses.
+ */
+function swapIssues(action, i) {
+    const at = (key) => `actions[${i}].${key}`;
+    const issues = [];
+    const pair = (a, b, names) => {
+        if (a === undefined || b === undefined)
+            return;
+        const { tokenIn, tokenOut } = action;
+        const straight = [same(tokenIn, a), same(tokenOut, b)];
+        const crossed = [same(tokenIn, b), same(tokenOut, a)];
+        const holds = (pair) => pair.includes(false) ? false : pair.includes(undefined) ? undefined : true;
+        if (holds(straight) !== false || holds(crossed) !== false)
+            return;
+        issues.push({
+            path: at("tokenIn"),
+            message: `tokenIn and tokenOut must be the pool's ${names}, in either order — the swap would ` +
+                "revert, because the side it trades is decided from them",
+        });
+    };
+    switch (action.type) {
+        case "uniswapV2Swap":
+        case "uniswapV3Swap":
+        case "uniswapV4Swap":
+        case "curveSwap":
+        case "balancerV2Swap":
+        case "maverickV2Swap":
+        case "dodoV2Swap":
+        case "traderJoeLBSwap":
+        case "woofiSwap":
+            if (same(action.tokenIn, action.tokenOut) === true) {
+                issues.push({ path: at("tokenOut"), message: "is tokenIn: a swap needs two tokens" });
+                return issues;
+            }
+    }
+    if (action.type === "dodoV2Swap")
+        pair(action.baseToken, action.quoteToken, "base and quote");
+    if (action.type === "traderJoeLBSwap")
+        pair(action.tokenX, action.tokenY, "X and Y tokens");
+    if (action.type === "woofiSwap" && action.amountOutMin === "0") {
+        issues.push({
+            path: at("amountOutMin"),
+            message: "must be positive: WooPPV2 prices from an oracle, so a WOOFi swap needs a floor",
+        });
+    }
+    return issues;
+}

package/actions/dist/spec.d.ts

@@ -7,11 +7,33 @@
  * leading zeros. Addresses are `0x` + 40 hex digits (a mixed-case address must carry a valid
  * EIP-55 checksum), byte strings are `0x` + an even number of hex digits, and small enumerations —
  * fee tiers, indices, domain ids, deadlines in seconds — are JSON integers.
+ *
+ * NAMES. A token field takes a registry token symbol (`"USDC"`) as well as an address, and a
+ * protocol-contract field a namespace reference (`"UniswapV3.Factory"`), in the spelling a Sauce
+ * program uses. A name is not resolved here: it lowers to the program global of that name, which
+ * resolves on the chain the program is compiled for (`names.ts`), so a document that names
+ * everything compiles for any chain where its names exist.
  */
 import type { ActionType } from "./types.js";
 export type FieldKind = {
     readonly k: "address";
 }
+/**
+ * A token: a registry symbol (`"USDC"`) or an address. With `native`, also `"native"`: the
+ * venue's own marker for the chain's native currency, the zero address.
+ */
+ | {
+    readonly k: "token";
+    readonly native?: boolean;
+}
+/** A protocol contract: a namespace reference (`"UniswapV3.Factory"`) or an address. */
+ | {
+    readonly k: "contract";
+}
+/** A contract that is also a token (WETH, wstETH): a symbol, a namespace reference or an address. */
+ | {
+    readonly k: "tokenContract";
+}
 /** An address, or `"self"` for the executing Pot. */
  | {
     readonly k: "recipient";
@@ -89,6 +111,14 @@ export interface ActionSpec {
     readonly value?: string;
     /** Everything but `type`, `amount`, `amountRef` and `saveOutputAs`. */
     readonly fields: Fields;
+    /**
+     * The ways the action may name what it trades on, exactly one of which it uses — a pool by its
+     * address, or by the key its factory finds it under. Each is a set of fields; every field any of
+     * them names is optional in `fields`, and an action carries exactly the fields of one.
+     */
+    readonly oneOf?: readonly (readonly string[])[];
+    /** Fields given together or not at all. */
+    readonly together?: readonly (readonly string[])[];
 }
 /** Every action's specification, by `type`. */
 export declare const ACTION_SPECS: Readonly<Record<ActionType, ActionSpec>>;

package/actions/dist/spec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"spec.d.ts","sourceRoot":"","sources":["../src/spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAE7C,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAA;CAAE;AAC3B,qDAAqD;GACnD;IAAE,QAAQ,CAAC,CAAC,EAAE,WAAW,CAAA;CAAE;AAC7B,iEAAiE;GAC/D;IAAE,QAAQ,CAAC,CAAC,EAAE,iBAAiB,CAAA;CAAE;AACnC,2EAA2E;GACzE;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAA;CAAE;AAC3B,sCAAsC;GACpC;IAAE,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACjE;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAA;CAAE,GACrE;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GACtB;IAAE,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE;AAC/F,sEAAsE;GACpE;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAExD;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,aAAa,GAAG,OAAO,CAAC;AAE9D,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,CAAC;AAEhG,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,4DAA4D;IAC5D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,wDAAwD;IACxD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,yDAAyD;IACzD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AA2jBD,+CAA+C;AAC/C,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,CAE/B,CAAC;AAEpC,+CAA+C;AAC/C,eAAO,MAAM,YAAY,EAAE,SAAS,UAAU,EAA6B,CAAC"}
+{"version":3,"file":"spec.d.ts","sourceRoot":"","sources":["../src/spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAE7C,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAA;CAAE;AAC3B;;;GAGG;GACD;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE;AACpD,wFAAwF;GACtF;IAAE,QAAQ,CAAC,CAAC,EAAE,UAAU,CAAA;CAAE;AAC5B,qGAAqG;GACnG;IAAE,QAAQ,CAAC,CAAC,EAAE,eAAe,CAAA;CAAE;AACjC,qDAAqD;GACnD;IAAE,QAAQ,CAAC,CAAC,EAAE,WAAW,CAAA;CAAE;AAC7B,iEAAiE;GAC/D;IAAE,QAAQ,CAAC,CAAC,EAAE,iBAAiB,CAAA;CAAE;AACnC,2EAA2E;GACzE;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAA;CAAE;AAC3B,sCAAsC;GACpC;IAAE,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACjE;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAA;CAAE,GACrE;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GACtB;IAAE,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE;AAC/F,sEAAsE;GACpE;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAExD;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,aAAa,GAAG,OAAO,CAAC;AAE9D,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,CAAC;AAEhG,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,4DAA4D;IAC5D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,wDAAwD;IACxD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,yDAAyD;IACzD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IAChD,2CAA2C;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;CACpD;AA4mBD,+CAA+C;AAC/C,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,CAE/B,CAAC;AAEpC,+CAA+C;AAC/C,eAAO,MAAM,YAAY,EAAE,SAAS,UAAU,EAA6B,CAAC"}