@tsonic/emitter 0.0.73 → 0.0.75

package/dist/invariants/numeric-proof-contract.test.d.ts

@@ -1,19 +1,3 @@
-/**
- * Contract Test: Numeric Proof System (Behavioral)
- *
- * These tests enforce the contract between the numeric proof pass (frontend)
- * and the emitter (backend) using BEHAVIOR, not source code pattern matching.
- *
- * Key contract:
- * 1. Only the proof pass determines whether an expression is proven Int32
- * 2. The emitter checks IR markers (numericIntent) and ICEs if missing
- * 3. TSN5107 is triggered based on accessKind, not heuristic name matching
- * 4. TSN5109 is triggered when accessKind is unknown/missing (compiler bug)
- *
- * Test approach:
- * - Create IR fixtures with specific accessKind values
- * - Run proof pass and assert diagnostics or success
- * - Run emitter and verify ICE behavior for unproven indices
- */
-export {};
+import "./numeric-proof-contract-cases/proof-and-diagnostics.test.js";
+import "./numeric-proof-contract-cases/emitter-and-annotations.test.js";
 //# sourceMappingURL=numeric-proof-contract.test.d.ts.map

package/dist/invariants/numeric-proof-contract.test.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"numeric-proof-contract.test.d.ts","sourceRoot":"","sources":["../../src/invariants/numeric-proof-contract.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG"}
+{"version":3,"file":"numeric-proof-contract.test.d.ts","sourceRoot":"","sources":["../../src/invariants/numeric-proof-contract.test.ts"],"names":[],"mappings":"AAAA,OAAO,8DAA8D,CAAC;AACtE,OAAO,gEAAgE,CAAC"}

package/dist/invariants/numeric-proof-contract.test.js

@@ -1,511 +1,3 @@
-/**
- * Contract Test: Numeric Proof System (Behavioral)
- *
- * These tests enforce the contract between the numeric proof pass (frontend)
- * and the emitter (backend) using BEHAVIOR, not source code pattern matching.
- *
- * Key contract:
- * 1. Only the proof pass determines whether an expression is proven Int32
- * 2. The emitter checks IR markers (numericIntent) and ICEs if missing
- * 3. TSN5107 is triggered based on accessKind, not heuristic name matching
- * 4. TSN5109 is triggered when accessKind is unknown/missing (compiler bug)
- *
- * Test approach:
- * - Create IR fixtures with specific accessKind values
- * - Run proof pass and assert diagnostics or success
- * - Run emitter and verify ICE behavior for unproven indices
- */
-import { describe, it } from "mocha";
-import { expect } from "chai";
-import { runNumericProofPass, } from "@tsonic/frontend";
-import { emitModule } from "../emitter.js";
-/**
- * Create a minimal module with an array access expression.
- * This allows testing different accessKind values and proof states.
- */
-const createModuleWithAccess = (options) => {
-    const indexExpr = {
-        kind: "literal",
-        value: options.indexValue ?? 0,
-        raw: options.indexRaw ?? "0",
-        // If indexHasProof is true, pre-annotate with int type
-        // (simulating what the proof pass would do)
-        // INVARIANT: primitiveType(name="int") is the proven integer type
-        ...(options.indexHasProof
-            ? {
-                inferredType: {
-                    kind: "primitiveType",
-                    name: "int",
-                },
-            }
-            : {}),
-    };
-    const memberAccess = {
-        kind: "memberAccess",
-        object: {
-            kind: "identifier",
-            name: "arr",
-            inferredType: {
-                kind: "arrayType",
-                elementType: { kind: "primitiveType", name: "number" },
-            },
-        },
-        property: indexExpr,
-        isComputed: true,
-        isOptional: false,
-        // accessKind may be undefined to test missing tag
-        ...(options.accessKind !== undefined
-            ? { accessKind: options.accessKind }
-            : {}),
-        inferredType: { kind: "primitiveType", name: "number" },
-    };
-    return {
-        kind: "module",
-        filePath: "/test/contract.ts",
-        namespace: "Test",
-        className: "contract",
-        isStaticContainer: true,
-        imports: [],
-        body: [
-            {
-                kind: "variableDeclaration",
-                declarationKind: "const",
-                isExported: false,
-                declarations: [
-                    {
-                        kind: "variableDeclarator",
-                        name: { kind: "identifierPattern", name: "arr" },
-                        type: {
-                            kind: "arrayType",
-                            elementType: { kind: "primitiveType", name: "number" },
-                        },
-                        initializer: {
-                            kind: "array",
-                            elements: [
-                                { kind: "literal", value: 1 },
-                                { kind: "literal", value: 2 },
-                                { kind: "literal", value: 3 },
-                            ],
-                        },
-                    },
-                ],
-            },
-            {
-                kind: "variableDeclaration",
-                declarationKind: "const",
-                isExported: false,
-                declarations: [
-                    {
-                        kind: "variableDeclarator",
-                        name: { kind: "identifierPattern", name: "x" },
-                        initializer: memberAccess,
-                    },
-                ],
-            },
-        ],
-        exports: [],
-    };
-};
-/**
- * Create module with identifier index (not literal)
- */
-const createModuleWithIdentifierIndex = (options) => {
-    const indexExpr = {
-        kind: "identifier",
-        name: options.indexName,
-        // If indexHasInt32Type, give it int type
-        // INVARIANT: primitiveType(name="int") is the proven integer type
-        ...(options.indexHasInt32Type
-            ? {
-                inferredType: {
-                    kind: "primitiveType",
-                    name: "int",
-                },
-            }
-            : {
-                inferredType: { kind: "primitiveType", name: "number" },
-            }),
-    };
-    const memberAccess = {
-        kind: "memberAccess",
-        object: {
-            kind: "identifier",
-            name: "arr",
-            inferredType: {
-                kind: "arrayType",
-                elementType: { kind: "primitiveType", name: "number" },
-            },
-        },
-        property: indexExpr,
-        isComputed: true,
-        isOptional: false,
-        accessKind: options.accessKind,
-        inferredType: { kind: "primitiveType", name: "number" },
-    };
-    return {
-        kind: "module",
-        filePath: "/test/contract.ts",
-        namespace: "Test",
-        className: "contract",
-        isStaticContainer: true,
-        imports: [],
-        body: [
-            {
-                kind: "variableDeclaration",
-                declarationKind: "const",
-                isExported: false,
-                declarations: [
-                    {
-                        kind: "variableDeclarator",
-                        name: { kind: "identifierPattern", name: "arr" },
-                        type: {
-                            kind: "arrayType",
-                            elementType: { kind: "primitiveType", name: "number" },
-                        },
-                        initializer: {
-                            kind: "array",
-                            elements: [
-                                { kind: "literal", value: 1 },
-                                { kind: "literal", value: 2 },
-                                { kind: "literal", value: 3 },
-                            ],
-                        },
-                    },
-                ],
-            },
-            {
-                kind: "variableDeclaration",
-                declarationKind: "const",
-                isExported: false,
-                declarations: [
-                    {
-                        kind: "variableDeclarator",
-                        name: { kind: "identifierPattern", name: "x" },
-                        initializer: memberAccess,
-                    },
-                ],
-            },
-        ],
-        exports: [],
-    };
-};
-describe("Numeric Proof Contract (Behavioral)", () => {
-    // ============================================================================
-    // ACCESS KINDS THAT REQUIRE Int32 PROOF: clrIndexer, stringChar
-    // ============================================================================
-    describe("clrIndexer access (requires Int32 proof)", () => {
-        it("double literal (1.5) triggers TSN5107", () => {
-            const module = createModuleWithAccess({
-                accessKind: "clrIndexer",
-                indexHasProof: false,
-                indexValue: 1.5,
-                indexRaw: "1.5",
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.false;
-            expect(result.diagnostics[0]?.code).to.equal("TSN5107");
-        });
-        it("unproven identifier triggers TSN5107", () => {
-            const module = createModuleWithIdentifierIndex({
-                accessKind: "clrIndexer",
-                indexName: "i",
-                indexHasInt32Type: false,
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.false;
-            expect(result.diagnostics[0]?.code).to.equal("TSN5107");
-        });
-        it("integer literal (0) passes and gets marker", () => {
-            const module = createModuleWithAccess({
-                accessKind: "clrIndexer",
-                indexHasProof: false,
-                indexValue: 0,
-                indexRaw: "0",
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.true;
-            expect(result.diagnostics).to.have.length(0);
-            // Verify marker was set
-            const varDecl = result.modules[0]?.body[1];
-            if (varDecl?.kind !== "variableDeclaration") {
-                throw new Error("Expected variable declaration");
-            }
-            const access = varDecl.declarations[0]?.initializer;
-            const indexExpr = access.property;
-            // Index should have primitiveType(name="int") after proof pass
-            expect(indexExpr.inferredType?.kind).to.equal("primitiveType");
-            if (indexExpr.inferredType?.kind === "primitiveType") {
-                expect(indexExpr.inferredType.name).to.equal("int");
-            }
-        });
-        it("proven identifier passes", () => {
-            const module = createModuleWithIdentifierIndex({
-                accessKind: "clrIndexer",
-                indexName: "i",
-                indexHasInt32Type: true,
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.true;
-        });
-    });
-    describe("stringChar access (requires Int32 proof)", () => {
-        it("double literal (1.5) triggers TSN5107", () => {
-            const module = createModuleWithAccess({
-                accessKind: "stringChar",
-                indexHasProof: false,
-                indexValue: 1.5,
-                indexRaw: "1.5",
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.false;
-            expect(result.diagnostics[0]?.code).to.equal("TSN5107");
-        });
-        it("unproven identifier triggers TSN5107", () => {
-            const module = createModuleWithIdentifierIndex({
-                accessKind: "stringChar",
-                indexName: "charIdx",
-                indexHasInt32Type: false,
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.false;
-            expect(result.diagnostics[0]?.code).to.equal("TSN5107");
-        });
-        it("integer literal (0) passes and gets marker", () => {
-            const module = createModuleWithAccess({
-                accessKind: "stringChar",
-                indexHasProof: false,
-                indexValue: 0,
-                indexRaw: "0",
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.true;
-        });
-    });
-    // ============================================================================
-    // ACCESS KIND THAT DOES NOT REQUIRE Int32 PROOF: dictionary
-    // ============================================================================
-    describe("dictionary access (does NOT require Int32 proof)", () => {
-        it("double literal passes (no TSN5107)", () => {
-            const module = createModuleWithAccess({
-                accessKind: "dictionary",
-                indexHasProof: false,
-                indexValue: 1.5,
-                indexRaw: "1.5",
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.true;
-            expect(result.diagnostics.filter((d) => d.code === "TSN5107")).to.have.length(0);
-        });
-        it("unproven identifier passes (no TSN5107)", () => {
-            const module = createModuleWithIdentifierIndex({
-                accessKind: "dictionary",
-                indexName: "key",
-                indexHasInt32Type: false,
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.true;
-        });
-        it("integer literal passes (no TSN5107)", () => {
-            const module = createModuleWithAccess({
-                accessKind: "dictionary",
-                indexHasProof: false,
-                indexValue: 0,
-                indexRaw: "0",
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.true;
-        });
-    });
-    // ============================================================================
-    // UNKNOWN / MISSING ACCESS KIND: TSN5109 (compiler bug)
-    // ============================================================================
-    describe("unknown/missing accessKind (TSN5109)", () => {
-        it("accessKind='unknown' triggers TSN5109 with debug info", () => {
-            const module = createModuleWithAccess({
-                accessKind: "unknown",
-                indexHasProof: false,
-                indexValue: 0,
-                indexRaw: "0",
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.false;
-            expect(result.diagnostics[0]?.code).to.equal("TSN5109");
-            // Verify message includes debug info for diagnosis
-            expect(result.diagnostics[0]?.message).to.include("Computed access kind was not classified");
-            expect(result.diagnostics[0]?.message).to.include("accessKind=unknown");
-            expect(result.diagnostics[0]?.message).to.include("objectType.kind=");
-        });
-        it("missing accessKind (undefined) triggers TSN5109 with debug info", () => {
-            // accessKind is not set at all
-            const module = createModuleWithAccess({
-                accessKind: undefined,
-                indexHasProof: false,
-                indexValue: 0,
-                indexRaw: "0",
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.false;
-            expect(result.diagnostics[0]?.code).to.equal("TSN5109");
-            // Verify message includes "undefined" for missing accessKind
-            expect(result.diagnostics[0]?.message).to.include("accessKind=undefined");
-        });
-        it("REGRESSION: referenceType without resolvedClrType defaults to clrIndexer (safe)", () => {
-            // This test guards against unsafe dictionary misclassification.
-            // If a referenceType lacks resolvedClrType, classification defaults to clrIndexer
-            // (not "unknown") which is SAFE: it requires Int32 proof for the index.
-            // This is the conservative safe behavior - Dictionary would fail at compile time
-            // if accessed with a non-Int32 key, which is better than runtime unsoundness.
-            const indexExpr = {
-                kind: "literal",
-                value: 0,
-                raw: "0", // Valid integer literal - should pass Int32 check
-            };
-            const memberAccess = {
-                kind: "memberAccess",
-                object: {
-                    kind: "identifier",
-                    name: "list",
-                    // referenceType WITHOUT resolvedClrType (e.g., tsbindgen type)
-                    inferredType: {
-                        kind: "referenceType",
-                        name: "List",
-                        // resolvedClrType is MISSING - defaults to clrIndexer (safe)
-                    },
-                },
-                property: indexExpr,
-                isComputed: true,
-                isOptional: false,
-                // accessKind is clrIndexer because classifyComputedAccess defaults to it
-                // when resolvedClrType is missing on a referenceType
-                accessKind: "clrIndexer",
-                inferredType: { kind: "primitiveType", name: "number" },
-            };
-            const module = {
-                kind: "module",
-                filePath: "/test/list-regression.ts",
-                namespace: "Test",
-                className: "listRegression",
-                isStaticContainer: true,
-                imports: [],
-                body: [
-                    {
-                        kind: "variableDeclaration",
-                        declarationKind: "const",
-                        isExported: false,
-                        declarations: [
-                            {
-                                kind: "variableDeclarator",
-                                name: { kind: "identifierPattern", name: "x" },
-                                initializer: memberAccess,
-                            },
-                        ],
-                    },
-                ],
-                exports: [],
-            };
-            const result = runNumericProofPass([module]);
-            // Should PASS because:
-            // 1. accessKind is clrIndexer (default for referenceType without resolvedClrType)
-            // 2. index is literal 0, which is valid Int32
-            expect(result.ok).to.be.true;
-            // Verify the index got annotated with int type
-            const varDecl = result.modules[0]?.body[0];
-            if (varDecl?.kind !== "variableDeclaration") {
-                throw new Error("Expected variable declaration");
-            }
-            const access = varDecl.declarations[0]?.initializer;
-            const processedIndex = access.property;
-            // Index should have primitiveType(name="int") after proof pass
-            expect(processedIndex.inferredType?.kind).to.equal("primitiveType");
-            if (processedIndex.inferredType?.kind === "primitiveType") {
-                expect(processedIndex.inferredType.name).to.equal("int");
-            }
-        });
-    });
-    // ============================================================================
-    // EMITTER CONTRACT: ICE when proof marker missing
-    // ============================================================================
-    describe("Emitter contract enforcement", () => {
-        it("emits without ICE when proof marker present", () => {
-            const module = createModuleWithAccess({
-                accessKind: "clrIndexer",
-                indexHasProof: true, // Pre-annotated with Int32 proof
-                indexValue: 0,
-                indexRaw: "0",
-            });
-            // Should not throw - proof marker is present
-            expect(() => emitModule(module)).to.not.throw();
-        });
-        it("ICE when proof marker missing - even for literal 0", () => {
-            // REGRESSION GUARD: This test ensures nobody "helpfully" re-adds
-            // literal parsing to the emitter. Even literal 0 must have the proof
-            // marker set by the proof pass, or the emitter ICEs.
-            const module = createModuleWithAccess({
-                accessKind: "clrIndexer",
-                indexHasProof: false, // NO proof marker
-                indexValue: 0, // Even though it's 0
-                indexRaw: "0",
-            });
-            // Emitter should ICE because proof marker is missing
-            expect(() => emitModule(module)).to.throw(/Internal Compiler Error.*Int32 proof/);
-        });
-        it("ICE when proof marker missing - even for literal 1", () => {
-            // REGRESSION GUARD: Same as above for literal 1
-            const module = createModuleWithAccess({
-                accessKind: "clrIndexer",
-                indexHasProof: false,
-                indexValue: 1,
-                indexRaw: "1",
-            });
-            expect(() => emitModule(module)).to.throw(/Internal Compiler Error.*Int32 proof/);
-        });
-    });
-    // ============================================================================
-    // PROOF PASS ANNOTATION: Markers set correctly for all access kinds
-    // ============================================================================
-    describe("Proof pass annotation", () => {
-        it("clrIndexer: valid index gets primitiveType(name='int')", () => {
-            const module = createModuleWithAccess({
-                accessKind: "clrIndexer",
-                indexHasProof: false,
-                indexValue: 0,
-                indexRaw: "0",
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.true;
-            const varDecl = result.modules[0]?.body[1];
-            if (varDecl?.kind !== "variableDeclaration") {
-                throw new Error("Expected variable declaration");
-            }
-            const access = varDecl.declarations[0]?.initializer;
-            const indexExpr = access.property;
-            // Index should have primitiveType(name="int") after proof pass
-            expect(indexExpr.inferredType?.kind).to.equal("primitiveType");
-            if (indexExpr.inferredType?.kind === "primitiveType") {
-                expect(indexExpr.inferredType.name).to.equal("int");
-            }
-        });
-        it("stringChar: valid index gets primitiveType(name='int')", () => {
-            const module = createModuleWithAccess({
-                accessKind: "stringChar",
-                indexHasProof: false,
-                indexValue: 2,
-                indexRaw: "2",
-            });
-            const result = runNumericProofPass([module]);
-            expect(result.ok).to.be.true;
-            const varDecl = result.modules[0]?.body[1];
-            if (varDecl?.kind !== "variableDeclaration") {
-                throw new Error("Expected variable declaration");
-            }
-            const access = varDecl.declarations[0]?.initializer;
-            const indexExpr = access.property;
-            // Index should have primitiveType(name="int") after proof pass
-            expect(indexExpr.inferredType?.kind).to.equal("primitiveType");
-            if (indexExpr.inferredType?.kind === "primitiveType") {
-                expect(indexExpr.inferredType.name).to.equal("int");
-            }
-        });
-    });
-});
+import "./numeric-proof-contract-cases/proof-and-diagnostics.test.js";
+import "./numeric-proof-contract-cases/emitter-and-annotations.test.js";
 //# sourceMappingURL=numeric-proof-contract.test.js.map

package/dist/invariants/numeric-proof-contract.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"numeric-proof-contract.test.js","sourceRoot":"","sources":["../../src/invariants/numeric-proof-contract.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAML,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAE3C;;;GAGG;AACH,MAAM,sBAAsB,GAAG,CAAC,OAK/B,EAAY,EAAE;IACb,MAAM,SAAS,GAAiB;QAC9B,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,OAAO,CAAC,UAAU,IAAI,CAAC;QAC9B,GAAG,EAAE,OAAO,CAAC,QAAQ,IAAI,GAAG;QAC5B,uDAAuD;QACvD,4CAA4C;QAC5C,kEAAkE;QAClE,GAAG,CAAC,OAAO,CAAC,aAAa;YACvB,CAAC,CAAC;gBACE,YAAY,EAAE;oBACZ,IAAI,EAAE,eAAwB;oBAC9B,IAAI,EAAE,KAAc;iBACrB;aACF;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IAEF,MAAM,YAAY,GAAuB;QACvC,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE;YACN,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,KAAK;YACX,YAAY,EAAE;gBACZ,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aACvD;SACF;QACD,QAAQ,EAAE,SAAS;QACnB,UAAU,EAAE,IAAI;QAChB,UAAU,EAAE,KAAK;QACjB,kDAAkD;QAClD,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS;YAClC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE;YACpC,CAAC,CAAC,EAAE,CAAC;QACP,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;KACxD,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,mBAAmB;QAC7B,SAAS,EAAE,MAAM;QACjB,SAAS,EAAE,UAAU;QACrB,iBAAiB,EAAE,IAAI;QACvB,OAAO,EAAE,EAAE;QACX,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,eAAe,EAAE,OAAO;gBACxB,UAAU,EAAE,KAAK;gBACjB,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,oBAAoB;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,EAAE;wBAChD,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;yBACvD;wBACD,WAAW,EAAE;4BACX,IAAI,EAAE,OAAO;4BACb,QAAQ,EAAE;gCACR,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;6BAC9B;yBACF;qBACF;iBACF;aACF;YACD;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,eAAe,EAAE,OAAO;gBACxB,UAAU,EAAE,KAAK;gBACjB,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,oBAAoB;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC9C,WAAW,EAAE,YAAY;qBAC1B;iBACF;aACF;SACF;QACD,OAAO,EAAE,EAAE;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,+BAA+B,GAAG,CAAC,OAIxC,EAAY,EAAE;IACb,MAAM,SAAS,GAAiB;QAC9B,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,OAAO,CAAC,SAAS;QACvB,yCAAyC;QACzC,kEAAkE;QAClE,GAAG,CAAC,OAAO,CAAC,iBAAiB;YAC3B,CAAC,CAAC;gBACE,YAAY,EAAE;oBACZ,IAAI,EAAE,eAAwB;oBAC9B,IAAI,EAAE,KAAc;iBACrB;aACF;YACH,CAAC,CAAC;gBACE,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aACxD,CAAC;KACP,CAAC;IAEF,MAAM,YAAY,GAAuB;QACvC,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE;YACN,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,KAAK;YACX,YAAY,EAAE;gBACZ,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aACvD;SACF;QACD,QAAQ,EAAE,SAAS;QACnB,UAAU,EAAE,IAAI;QAChB,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;KACxD,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,mBAAmB;QAC7B,SAAS,EAAE,MAAM;QACjB,SAAS,EAAE,UAAU;QACrB,iBAAiB,EAAE,IAAI;QACvB,OAAO,EAAE,EAAE;QACX,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,eAAe,EAAE,OAAO;gBACxB,UAAU,EAAE,KAAK;gBACjB,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,oBAAoB;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,EAAE;wBAChD,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;yBACvD;wBACD,WAAW,EAAE;4BACX,IAAI,EAAE,OAAO;4BACb,QAAQ,EAAE;gCACR,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;6BAC9B;yBACF;qBACF;iBACF;aACF;YACD;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,eAAe,EAAE,OAAO;gBACxB,UAAU,EAAE,KAAK;gBACjB,YAAY,EAAE;oBACZ;wBACE,IAAI,EAAE,oBAAoB;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC9C,WAAW,EAAE,YAAY;qBAC1B;iBACF;aACF;SACF;QACD,OAAO,EAAE,EAAE;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,+EAA+E;IAC/E,gEAAgE;IAChE,+EAA+E;IAE/E,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;QACxD,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,GAAG;gBACf,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,MAAM,GAAG,+BAA+B,CAAC;gBAC7C,UAAU,EAAE,YAAY;gBACxB,SAAS,EAAE,GAAG;gBACd,iBAAiB,EAAE,KAAK;aACzB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAE7C,wBAAwB;YACxB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAgB,CAAC;YAC1D,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAiC,CAAC;YAC1E,MAAM,SAAS,GAAG,MAAM,CAAC,QAAwB,CAAC;YAClD,+DAA+D;YAC/D,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YAC/D,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBACrD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,MAAM,GAAG,+BAA+B,CAAC;gBAC7C,UAAU,EAAE,YAAY;gBACxB,SAAS,EAAE,GAAG;gBACd,iBAAiB,EAAE,IAAI;aACxB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;QACxD,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,GAAG;gBACf,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,MAAM,GAAG,+BAA+B,CAAC;gBAC7C,UAAU,EAAE,YAAY;gBACxB,SAAS,EAAE,SAAS;gBACpB,iBAAiB,EAAE,KAAK;aACzB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,4DAA4D;IAC5D,+EAA+E;IAE/E,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAChE,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,GAAG;gBACf,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CACJ,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CACvD,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,MAAM,GAAG,+BAA+B,CAAC;gBAC7C,UAAU,EAAE,YAAY;gBACxB,SAAS,EAAE,KAAK;gBAChB,iBAAiB,EAAE,KAAK;aACzB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,wDAAwD;IACxD,+EAA+E;IAE/E,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;QACpD,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,SAAS;gBACrB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACxD,mDAAmD;YACnD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAC/C,yCAAyC,CAC1C,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;YACxE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACxE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,+BAA+B;YAC/B,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,SAAS;gBACrB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACxD,6DAA6D;YAC7D,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,gEAAgE;YAChE,kFAAkF;YAClF,wEAAwE;YACxE,iFAAiF;YACjF,8EAA8E;YAC9E,MAAM,SAAS,GAAiB;gBAC9B,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,CAAC;gBACR,GAAG,EAAE,GAAG,EAAE,kDAAkD;aAC7D,CAAC;YAEF,MAAM,YAAY,GAAuB;gBACvC,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE;oBACN,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,MAAM;oBACZ,+DAA+D;oBAC/D,YAAY,EAAE;wBACZ,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,MAAM;wBACZ,6DAA6D;qBAC9D;iBACF;gBACD,QAAQ,EAAE,SAAS;gBACnB,UAAU,EAAE,IAAI;gBAChB,UAAU,EAAE,KAAK;gBACjB,yEAAyE;gBACzE,qDAAqD;gBACrD,UAAU,EAAE,YAAY;gBACxB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aACxD,CAAC;YAEF,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,0BAA0B;gBACpC,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,gBAAgB;gBAC3B,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,eAAe,EAAE,OAAO;wBACxB,UAAU,EAAE,KAAK;wBACjB,YAAY,EAAE;4BACZ;gCACE,IAAI,EAAE,oBAAoB;gCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gCAC9C,WAAW,EAAE,YAAY;6BAC1B;yBACF;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,uBAAuB;YACvB,kFAAkF;YAClF,8CAA8C;YAC9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,+CAA+C;YAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAgB,CAAC;YAC1D,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAiC,CAAC;YAC1E,MAAM,cAAc,GAAG,MAAM,CAAC,QAAwB,CAAC;YACvD,+DAA+D;YAC/D,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YACpE,IAAI,cAAc,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC1D,MAAM,CAAC,cAAc,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,kDAAkD;IAClD,+EAA+E;IAE/E,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAC5C,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,IAAI,EAAE,iCAAiC;gBACtD,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,6CAA6C;YAC7C,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,iEAAiE;YACjE,qEAAqE;YACrE,qDAAqD;YACrD,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK,EAAE,kBAAkB;gBACxC,UAAU,EAAE,CAAC,EAAE,qBAAqB;gBACpC,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,qDAAqD;YACrD,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACvC,sCAAsC,CACvC,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,gDAAgD;YAChD,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACvC,sCAAsC,CACvC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,oEAAoE;IACpE,+EAA+E;IAE/E,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAgB,CAAC;YAC1D,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAiC,CAAC;YAC1E,MAAM,SAAS,GAAG,MAAM,CAAC,QAAwB,CAAC;YAElD,+DAA+D;YAC/D,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YAC/D,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBACrD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,MAAM,GAAG,sBAAsB,CAAC;gBACpC,UAAU,EAAE,YAAY;gBACxB,aAAa,EAAE,KAAK;gBACpB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAgB,CAAC;YAC1D,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAiC,CAAC;YAC1E,MAAM,SAAS,GAAG,MAAM,CAAC,QAAwB,CAAC;YAElD,+DAA+D;YAC/D,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YAC/D,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBACrD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"numeric-proof-contract.test.js","sourceRoot":"","sources":["../../src/invariants/numeric-proof-contract.test.ts"],"names":[],"mappings":"AAAA,OAAO,8DAA8D,CAAC;AACtE,OAAO,gEAAgE,CAAC"}