o1js-pack 0.3.1 → 0.4.1

package/.github/workflows/ci.yml

@@ -9,7 +9,7 @@ on: [push, pull_request]
 jobs:
   test:
     runs-on: ubuntu-latest
-    timeout-minutes: 10
+    timeout-minutes: 40
     steps:
       - name: Set up NodeJS
         uses: actions/setup-node@v2

package/README.md

@@ -1,33 +1,18 @@
-# O1JS Pack
+# o1js Pack
 
-Make the most of your ZKApp state!
+Make the most of your zkApp state!
 
 ## What is it
 
-O1JS Pack is a library for [O1JS](https://github.com/o1-labs/o1js/) that allows a zkapp developer to pack extra data into a single Field.
+o1js Pack is a library for [o1js](https://github.com/o1-labs/o1js/) that allows a zkApp developer to pack extra data into a single Field.
 
-### Usage in a ZKApp
+### Usage in a zkApp
 
-```
-import {
-  PackedBoolFactory,
-  PackedStringFactory,
-  PackedUInt32Factory,
-} from 'o1js-pack';
-
-const MyPackedBools = PackedBoolFactory(); // Max of 254 Bools
-const MyPackedString = PackedStringFactory(); // Max of 120 Characters
-const MyPackedUInts = PackedUInt32Factory(); // Max of 7 UInt32s
-
-const sevenUints = [1, 2, 3, 4, 5, 6, 7].map(x => UInt32.from(x));
-const myPackedUInts = new MyPackedUInts(MyPackedUInts.pack(sevenUints), sevenUints);
-```
+TODO
 
-## What's the catch?
+### Smart Contract
 
-If a zkapp has two or more independent Fields of state, then preconditions can be set on just one, or on any combination of the Fields. With SnarkyPack, one precondition will be set on the packed Field, which means that independent updates cannot happen asynchronously.
-
-For example, let's say there is a voting app with two independent Fields of state: `yesCount` and `noCount`. If one user issues an update to `yesCount` and another user issues an update to `noCount` at the same time, both proofs may be valid at the same time. Both transactions may succeed during the same block, since they don't interfere with each others' preconditions. With SnarkyPack, a devolper can save state by putting both `yesCount` and `noCount` into the same Field of state, making room for other state to exist on chain. The tradeoff is that two votes will no longer be able to be cast independently. `yesCount` and `noCount` depend on the same precontition, meaning that to update one or the other, you must lock both.
+### ZK Program
 
 ## How to build
 
@@ -39,18 +24,12 @@ npm run build
 
 ```sh
 npm run test src # non-proof tests
-npm run testw # watch mode
-```
-
-## How to run coverage
-
-```sh
-npm run coverage
+npm run test tests/provable # provable tests
 ```
 
 ## Credits
 
-Thanks to @mario_zito for seeding the idea for this library on discord ([Thread 1](https://discord.com/channels/484437221055922177/1128509274465779822), [Thread 2](https://discord.com/channels/484437221055922177/1128501705173106698)), and to @gregor for sounding out the early implementation.
+Thanks to @mario_zito for seeding the idea for this library on Discord ([Thread 1](https://discord.com/channels/484437221055922177/1128509274465779822), [Thread 2](https://discord.com/channels/484437221055922177/1128501705173106698)), and to @gregor for sounding out the early implementation.
 
 Thanks to @iam-dev for early adoption!
 

package/build/src/index.d.ts

@@ -1,5 +1,5 @@
-import { PackedBoolFactory } from './lib/packed-types/PackedBool.js';
-import { PackedUInt32Factory } from './lib/packed-types/PackedUInt32.js';
-import { PackingPlant, MultiPackingPlant } from './lib/PackingPlant.js';
-import { PackedStringFactory } from './lib/packed-types/PackedString.js';
-export { PackedBoolFactory, PackedStringFactory, PackedUInt32Factory, PackingPlant, MultiPackingPlant, };
+import { PackedBoolFactory } from './lib/packed-types/PackedBool.js';
+import { PackedUInt32Factory } from './lib/packed-types/PackedUInt32.js';
+import { PackingPlant, MultiPackingPlant } from './lib/PackingPlant.js';
+import { PackedStringFactory } from './lib/packed-types/PackedString.js';
+export { PackedBoolFactory, PackedStringFactory, PackedUInt32Factory, PackingPlant, MultiPackingPlant, };

package/build/src/index.js

@@ -1,6 +1,6 @@
-import { PackedBoolFactory } from './lib/packed-types/PackedBool.js';
-import { PackedUInt32Factory } from './lib/packed-types/PackedUInt32.js';
-import { PackingPlant, MultiPackingPlant } from './lib/PackingPlant.js';
-import { PackedStringFactory } from './lib/packed-types/PackedString.js';
-export { PackedBoolFactory, PackedStringFactory, PackedUInt32Factory, PackingPlant, MultiPackingPlant, };
+import { PackedBoolFactory } from './lib/packed-types/PackedBool.js';
+import { PackedUInt32Factory } from './lib/packed-types/PackedUInt32.js';
+import { PackingPlant, MultiPackingPlant } from './lib/PackingPlant.js';
+import { PackedStringFactory } from './lib/packed-types/PackedString.js';
+export { PackedBoolFactory, PackedStringFactory, PackedUInt32Factory, PackingPlant, MultiPackingPlant, };
 //# sourceMappingURL=index.js.map

package/build/src/lib/PackingPlant.d.ts

@@ -1,92 +1,132 @@
-import { Field, InferProvable } from 'o1js';
-export declare function PackingPlant<A, T extends InferProvable<A> = InferProvable<A>>(elementType: A, l: number, bitSize: bigint): (abstract new (packed: Field, aux: Array<T>) => {
-    packed: Field;
-    aux: Array<T>;
-    bitSize: bigint;
-    assertEquals(other: any): void;
-}) & {
-    type: import("o1js/dist/node/bindings/lib/provable-snarky").ProvableExtended<{
-        packed: import("o1js/dist/node/lib/field").Field;
-    }, {
-        packed: string;
-    }>;
-    l: number;
-    toAuxiliary(value?: {
-        packed: Field;
-    } | undefined): Array<T>;
-    pack(aux: Array<T>): Field;
-    unpack(f: Field): T[];
-    _isStruct: true;
-    toFields: (value: {
-        packed: import("o1js/dist/node/lib/field").Field;
-    }) => import("o1js/dist/node/lib/field").Field[];
-    fromFields: (fields: import("o1js/dist/node/lib/field").Field[]) => {
-        packed: import("o1js/dist/node/lib/field").Field;
-    };
-    sizeInFields(): number;
-    check: (value: {
-        packed: import("o1js/dist/node/lib/field").Field;
-    }) => void;
-    toInput: (x: {
-        packed: import("o1js/dist/node/lib/field").Field;
-    }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        packed: import("o1js/dist/node/lib/field").Field;
-    }) => {
-        packed: string;
-    };
-    fromJSON: (x: {
-        packed: string;
-    }) => {
-        packed: import("o1js/dist/node/lib/field").Field;
-    };
-};
-export declare function MultiPackingPlant<A, T extends InferProvable<A> = InferProvable<A>>(elementType: A, l: number, bitSize: bigint): (abstract new (packed: Array<Field>, aux: Array<T>) => {
-    packed: Array<Field>;
-    aux: Array<T>;
-    bitSize: bigint;
-    assertEquals(other: any): void;
-}) & {
-    type: import("o1js/dist/node/bindings/lib/provable-snarky").ProvableExtended<{
-        packed: import("o1js/dist/node/lib/field").Field[];
-    }, {
-        packed: string[];
-    }>;
-    l: number;
-    n: number;
-    toAuxiliary(value?: {
-        packed: Array<Field>;
-    } | undefined): Array<T>;
-    pack(aux: Array<T>): Array<Field>;
-    unpack(fields: Array<Field>): T[];
-    _isStruct: true;
-    toFields: (value: {
-        packed: import("o1js/dist/node/lib/field").Field[];
-    }) => import("o1js/dist/node/lib/field").Field[];
-    fromFields: (fields: import("o1js/dist/node/lib/field").Field[]) => {
-        packed: import("o1js/dist/node/lib/field").Field[];
-    };
-    sizeInFields(): number;
-    check: (value: {
-        packed: import("o1js/dist/node/lib/field").Field[];
-    }) => void;
-    toInput: (x: {
-        packed: import("o1js/dist/node/lib/field").Field[];
-    }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        packed: import("o1js/dist/node/lib/field").Field[];
-    }) => {
-        packed: string[];
-    };
-    fromJSON: (x: {
-        packed: string[];
-    }) => {
-        packed: import("o1js/dist/node/lib/field").Field[];
-    };
-};
+import { Field, InferProvable } from 'o1js';
+export declare function PackingPlant<A, T extends InferProvable<A> = InferProvable<A>>(elementType: A, l: number, bitSize: bigint): (abstract new (packed: Field) => {
+    assertEquals(other: any): void;
+    packed: import("o1js/dist/node/lib/field").Field;
+}) & {
+    type: import("o1js/dist/node/bindings/lib/provable-snarky").ProvableExtended<{
+        packed: import("o1js/dist/node/lib/field").Field;
+    }, {
+        packed: string;
+    }>;
+    l: number;
+    bitSize: bigint;
+    extractField(input: T): Field;
+    sizeInBits(): bigint;
+    unpack(f: Field): Array<T>;
+    /**
+     *
+     * @param unpacked Array of the implemented packed type
+     * @throws if the length of the array is longer than the length of the implementing factory config
+     */
+    checkPack(unpacked: Array<T>): void;
+    /**
+     *
+     * @param unpacked Array of the implemented packed type, must be shorter than the max allowed, which varies by type, will throw if the input is too long
+     * @returns Field, packed with the information from the unpacked input
+     */
+    pack(unpacked: Array<T>): Field;
+    /**
+     *
+     * @param f Field, packed with the information, as returned by #pack
+     * @returns Array of bigints, which can be decoded by the implementing class into the final type
+     */
+    unpackToBigints(f: Field): Array<bigint>;
+    _isStruct: true;
+    toFields: (value: {
+        packed: import("o1js/dist/node/lib/field").Field;
+    }) => import("o1js/dist/node/lib/field").Field[];
+    toAuxiliary: (value?: {
+        packed: import("o1js/dist/node/lib/field").Field;
+    } | undefined) => any[];
+    fromFields: (fields: import("o1js/dist/node/lib/field").Field[]) => {
+        packed: import("o1js/dist/node/lib/field").Field;
+    };
+    sizeInFields(): number;
+    check: (value: {
+        packed: import("o1js/dist/node/lib/field").Field;
+    }) => void;
+    toInput: (x: {
+        packed: import("o1js/dist/node/lib/field").Field;
+    }) => {
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        packed: import("o1js/dist/node/lib/field").Field;
+    }) => {
+        packed: string;
+    };
+    fromJSON: (x: {
+        packed: string;
+    }) => {
+        packed: import("o1js/dist/node/lib/field").Field;
+    };
+};
+export declare function MultiPackingPlant<A, T extends InferProvable<A> = InferProvable<A>>(elementType: A, l: number, bitSize: bigint): (abstract new (packed: Array<Field>) => {
+    assertEquals(other: any): void;
+    packed: import("o1js/dist/node/lib/field").Field[];
+}) & {
+    type: import("o1js/dist/node/bindings/lib/provable-snarky").ProvableExtended<{
+        packed: import("o1js/dist/node/lib/field").Field[];
+    }, {
+        packed: string[];
+    }>;
+    l: number;
+    n: number;
+    bitSize: bigint;
+    extractField(input: T | undefined): Field;
+    sizeInBits(): bigint;
+    elementsPerField(): number;
+    unpack(fields: Array<Field>): Array<T>;
+    /**
+     *
+     * @param unpacked Array of the implemented packed type
+     * @throws if the length of the array is longer than the length of the implementing factory config
+     */
+    checkPack(unpacked: Array<T>): void;
+    /**
+     *
+     * @param unpacked Array of the implemented packed type, must be shorter than the max allowed, which varies by type, will throw if the input is too long
+     * @returns Array of Fields, packed such that each Field has as much information as possible
+     *
+     * e.g. 15 Characters pack into 1 Field.  15 or fewer Characters will return an array of 1 Field
+     *      30 of fewer Characters will return an aray of 2 Fields
+     */
+    pack(unpacked: Array<T>): Array<Field>;
+    /**
+     *
+     * @param fields Array of Fields, packed such that each Field has as much information as possible, as returned in #pack
+     * @returns Array of bigints, which can be decoded by the implementing class into the final type
+     */
+    unpackToBigints(fields: Array<Field>): Array<bigint>;
+    _isStruct: true;
+    toFields: (value: {
+        packed: import("o1js/dist/node/lib/field").Field[];
+    }) => import("o1js/dist/node/lib/field").Field[];
+    toAuxiliary: (value?: {
+        packed: import("o1js/dist/node/lib/field").Field[];
+    } | undefined) => any[];
+    fromFields: (fields: import("o1js/dist/node/lib/field").Field[]) => {
+        packed: import("o1js/dist/node/lib/field").Field[];
+    };
+    sizeInFields(): number;
+    check: (value: {
+        packed: import("o1js/dist/node/lib/field").Field[];
+    }) => void;
+    toInput: (x: {
+        packed: import("o1js/dist/node/lib/field").Field[];
+    }) => {
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        packed: import("o1js/dist/node/lib/field").Field[];
+    }) => {
+        packed: string[];
+    };
+    fromJSON: (x: {
+        packed: string[];
+    }) => {
+        packed: import("o1js/dist/node/lib/field").Field[];
+    };
+};

package/build/src/lib/PackingPlant.js

@@ -1,75 +1,191 @@
-import { Field, Struct, Poseidon, provable, Provable, } from 'o1js';
-const MAX_BITS_PER_FIELD = 254n;
-export function PackingPlant(elementType, l, bitSize) {
-    if (bitSize * BigInt(l) > MAX_BITS_PER_FIELD) {
-        throw new Error(`The Packing Plant is only accepting orders that can fit into one Field, try using MultiPackingPlant`);
-    }
-    class Packed_ extends Struct({
-        packed: Field,
-    }) {
-        constructor(packed, aux) {
-            if (aux.length > l) {
-                throw new Error(`Length of aux data is too long, input of size ${aux.length} is larger than max allowed ${l}`);
-            }
-            super({ packed });
-            this.bitSize = bitSize;
-            this.aux = aux;
-        }
-        static toAuxiliary(value) {
-            throw new Error('Must implement toAuxiliary');
-            return [];
-        }
-        static pack(aux) {
-            throw new Error('Must implement pack');
-            let f = Field(0);
-            return f;
-        }
-        static unpack(f) {
-            return this.toAuxiliary({ packed: f });
-        }
-        assertEquals(other) {
-            this.packed.assertEquals(other.packed);
-        }
-    }
-    Packed_.type = provable({ packed: Field }, {});
-    Packed_.l = l;
-    return Packed_;
-}
-export function MultiPackingPlant(elementType, l, bitSize) {
-    if (bitSize * BigInt(l) > 8n * MAX_BITS_PER_FIELD) {
-        throw new Error(`The Packing Plant is only accepting orders that can fit into eight Fields`);
-    }
-    const n = Math.ceil(Number(bitSize * BigInt(l)) / Number(255n));
-    class Packed_ extends Struct({
-        packed: Provable.Array(Field, n),
-    }) {
-        constructor(packed, aux) {
-            if (aux.length > l) {
-                throw new Error('Length of aux data is too long');
-            }
-            super({ packed });
-            this.bitSize = bitSize;
-            this.aux = aux;
-        }
-        static toAuxiliary(value) {
-            throw new Error('Must implement toAuxiliary');
-            return [];
-        }
-        static pack(aux) {
-            throw new Error('Must implement pack');
-            let f = [Field(0)];
-            return f;
-        }
-        static unpack(fields) {
-            return this.toAuxiliary({ packed: fields });
-        }
-        assertEquals(other) {
-            Poseidon.hash(this.packed).assertEquals(Poseidon.hash(other.packed));
-        }
-    }
-    Packed_.type = provable({ packed: Provable.Array(Field, n) }, {});
-    Packed_.l = l;
-    Packed_.n = n;
-    return Packed_;
-}
+import { Field, Struct, provable, Provable, } from 'o1js';
+const MAX_BITS_PER_FIELD = 254n;
+export function PackingPlant(elementType, l, bitSize) {
+    if (bitSize * BigInt(l) > MAX_BITS_PER_FIELD) {
+        throw new Error(`The Packing Plant is only accepting orders that can fit into one Field, try using MultiPackingPlant`);
+    }
+    class Packed_ extends Struct({
+        packed: Field,
+    }) {
+        constructor(packed) {
+            super({ packed });
+        }
+        // Must implement these in type-specific implementation
+        static extractField(input) {
+            throw new Error('Must implement extractField');
+        }
+        static sizeInBits() {
+            throw new Error('Must implement sizeInBits');
+        }
+        static unpack(f) {
+            throw new Error('Must implement unpack');
+        }
+        // End
+        /**
+         *
+         * @param unpacked Array of the implemented packed type
+         * @throws if the length of the array is longer than the length of the implementing factory config
+         */
+        static checkPack(unpacked) {
+            if (unpacked.length > l) {
+                throw new Error(`Input of size ${unpacked.length} is larger than expected size of ${l}`);
+            }
+        }
+        /**
+         *
+         * @param unpacked Array of the implemented packed type, must be shorter than the max allowed, which varies by type, will throw if the input is too long
+         * @returns Field, packed with the information from the unpacked input
+         */
+        static pack(unpacked) {
+            this.checkPack(unpacked);
+            let f = this.extractField(unpacked[0]);
+            const n = Math.min(unpacked.length, l);
+            for (let i = 1; i < n; i++) {
+                const c = Field((2n ** this.sizeInBits()) ** BigInt(i));
+                f = f.add(this.extractField(unpacked[i]).mul(c));
+            }
+            return f;
+        }
+        /**
+         *
+         * @param f Field, packed with the information, as returned by #pack
+         * @returns Array of bigints, which can be decoded by the implementing class into the final type
+         */
+        static unpackToBigints(f) {
+            let unpacked = new Array(l);
+            unpacked.fill(0n);
+            let packedN;
+            if (f) {
+                packedN = f.toBigInt();
+            }
+            else {
+                throw new Error('No Packed Value Provided');
+            }
+            for (let i = 0; i < l; i++) {
+                unpacked[i] = packedN & ((1n << this.sizeInBits()) - 1n);
+                packedN >>= this.sizeInBits();
+            }
+            return unpacked;
+        }
+        assertEquals(other) {
+            this.packed.assertEquals(other.packed);
+        }
+    }
+    Packed_.type = provable({ packed: Field }, {});
+    Packed_.l = l;
+    Packed_.bitSize = bitSize;
+    return Packed_;
+}
+export function MultiPackingPlant(elementType, l, bitSize) {
+    if (bitSize * BigInt(l) > 8n * MAX_BITS_PER_FIELD) {
+        throw new Error(`The Packing Plant is only accepting orders that can fit into eight Fields`);
+    }
+    const n = Math.ceil(Number(bitSize * BigInt(l)) / Number(255n));
+    class Packed_ extends Struct({
+        packed: Provable.Array(Field, n),
+    }) {
+        constructor(packed) {
+            super({ packed });
+        }
+        // Must implement these in type-specific implementation
+        static extractField(input) {
+            throw new Error('Must implement extractField');
+        }
+        static sizeInBits() {
+            throw new Error('Must implement sizeInBits');
+        }
+        static elementsPerField() {
+            throw new Error('Must implement elementsPerField');
+        }
+        static unpack(fields) {
+            throw new Error('Must implement unpack');
+        }
+        // End
+        /**
+         *
+         * @param unpacked Array of the implemented packed type
+         * @throws if the length of the array is longer than the length of the implementing factory config
+         */
+        static checkPack(unpacked) {
+            if (unpacked.length > this.l) {
+                throw new Error(`Input of size ${unpacked.length} is larger than expected size of ${l}`);
+            }
+        }
+        /**
+         *
+         * @param unpacked Array of the implemented packed type, must be shorter than the max allowed, which varies by type, will throw if the input is too long
+         * @returns Array of Fields, packed such that each Field has as much information as possible
+         *
+         * e.g. 15 Characters pack into 1 Field.  15 or fewer Characters will return an array of 1 Field
+         *      30 of fewer Characters will return an aray of 2 Fields
+         */
+        static pack(unpacked) {
+            this.checkPack(unpacked);
+            const q = this.elementsPerField();
+            let fields = [];
+            let mutableUnpacked = [...unpacked];
+            for (let i = 0; i < this.n; i++) {
+                let f = this.extractField(mutableUnpacked[i * q]);
+                if (!f) {
+                    throw new Error('Unexpected Array Length');
+                }
+                for (let j = 1; j < q; j++) {
+                    const idx = i * q + j;
+                    let value = this.extractField(mutableUnpacked[idx]);
+                    if (!value) {
+                        throw new Error('Unexpected Array Length');
+                    }
+                    value = value || Field(0);
+                    const c = Field((2n ** this.sizeInBits()) ** BigInt(j));
+                    f = f.add(value.mul(c));
+                }
+                fields.push(f);
+            }
+            return fields;
+        }
+        /**
+         *
+         * @param fields Array of Fields, packed such that each Field has as much information as possible, as returned in #pack
+         * @returns Array of bigints, which can be decoded by the implementing class into the final type
+         */
+        static unpackToBigints(fields) {
+            let uints_ = new Array(this.l); // array length is number of elements per field * number of fields
+            uints_.fill(0n);
+            let packedNs = new Array(this.n);
+            packedNs.fill(0n);
+            const packedArg = new Array(this.n);
+            packedArg.fill(Field(0), 0, this.n);
+            for (let i = 0; i < this.n; i++) {
+                if (fields[i]) {
+                    packedArg[i] = fields[i];
+                }
+            }
+            if (packedArg.length !== this.n) {
+                throw new Error(`Packed value must be exactly ${this.n} in length`);
+            }
+            for (let i = 0; i < this.n; i++) {
+                packedNs[i] = packedArg[i].toConstant().toBigInt();
+            }
+            for (let i = 0; i < packedNs.length; i++) {
+                let packedN = packedNs[i];
+                for (let j = 0; j < this.elementsPerField(); j++) {
+                    const k = i * this.elementsPerField() + j;
+                    uints_[k] = packedN & ((1n << this.sizeInBits()) - 1n);
+                    packedN >>= this.sizeInBits();
+                }
+            }
+            return uints_;
+        }
+        assertEquals(other) {
+            for (let x = 0; x < n; x++) {
+                this.packed[x].assertEquals(other.packed[x]);
+            }
+        }
+    }
+    Packed_.type = provable({ packed: Provable.Array(Field, n) }, {});
+    Packed_.l = l;
+    Packed_.n = n;
+    Packed_.bitSize = bitSize;
+    return Packed_;
+}
 //# sourceMappingURL=PackingPlant.js.map

package/build/src/lib/PackingPlant.js.map

@@ -1 +1 @@
-{"version":3,"file":"PackingPlant.js","sourceRoot":"","sources":["../../../src/lib/PackingPlant.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,MAAM,EACN,QAAQ,EACR,QAAQ,EAER,QAAQ,GACT,MAAM,MAAM,CAAC;AAEd,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAEhC,MAAM,UAAU,YAAY,CAC1B,WAAc,EACd,CAAS,EACT,OAAe;IAEf,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,kBAAkB,EAAE;QAC5C,MAAM,IAAI,KAAK,CACb,qGAAqG,CACtG,CAAC;KACH;IACD,MAAe,OAAQ,SAAQ,MAAM,CAAC;QACpC,MAAM,EAAE,KAAK;KACd,CAAC;QAOA,YAAY,MAAa,EAAE,GAAa;YACtC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE;gBAClB,MAAM,IAAI,KAAK,CACb,iDAAiD,GAAG,CAAC,MAAM,+BAA+B,CAAC,EAAE,CAC9F,CAAC;aACH;YACD,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;YARpB,YAAO,GAAW,OAAO,CAAC;YASxB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACjB,CAAC;QAED,MAAM,CAAC,WAAW,CAAC,KAAqC;YACtD,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;YAC9C,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAa;YACvB,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACvC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACjB,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,CAAC,MAAM,CAAC,CAAQ;YACpB,OAAO,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QACzC,CAAC;QAED,YAAY,CAAC,KAAc;YACzB,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACzC,CAAC;;IAjCM,YAAI,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IACvC,SAAC,GAAW,CAAC,CAAC;IAkCvB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAG/B,WAAc,EAAE,CAAS,EAAE,OAAe;IAC1C,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,kBAAkB,EAAE;QACjD,MAAM,IAAI,KAAK,CACb,2EAA2E,CAC5E,CAAC;KACH;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,MAAe,OAAQ,SAAQ,MAAM,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;KACjC,CAAC;QAQA,YAAY,MAAoB,EAAE,GAAa;YAC7C,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE;gBAClB,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;aACnD;YACD,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;YANpB,YAAO,GAAW,OAAO,CAAC;YAOxB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACjB,CAAC;QAED,MAAM,CAAC,WAAW,CAAC,KAA4C;YAC7D,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;YAC9C,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAa;YACvB,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACvC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACnB,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,CAAC,MAAM,CAAC,MAAoB;YAChC,OAAO,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9C,CAAC;QAED,YAAY,CAAC,KAAc;YACzB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACvE,CAAC;;IAhCM,YAAI,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1D,SAAC,GAAW,CAAC,CAAC;IACd,SAAC,GAAW,CAAC,CAAC;IAgCvB,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"version":3,"file":"PackingPlant.js","sourceRoot":"","sources":["../../../src/lib/PackingPlant.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,MAAM,EAEN,QAAQ,EAER,QAAQ,GACT,MAAM,MAAM,CAAC;AAEd,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAEhC,MAAM,UAAU,YAAY,CAC1B,WAAc,EACd,CAAS,EACT,OAAe;IAEf,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,kBAAkB,EAAE;QAC5C,MAAM,IAAI,KAAK,CACb,qGAAqG,CACtG,CAAC;KACH;IACD,MAAe,OAAQ,SAAQ,MAAM,CAAC;QACpC,MAAM,EAAE,KAAK;KACd,CAAC;QAKA,YAAY,MAAa;YACvB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACpB,CAAC;QAED,uDAAuD;QACvD,MAAM,CAAC,YAAY,CAAC,KAAQ;YAC1B,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,CAAC,UAAU;YACf,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,CAAQ;YACpB,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM;QAEN;;;;WAIG;QACH,MAAM,CAAC,SAAS,CAAC,QAAkB;YACjC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE;gBACvB,MAAM,IAAI,KAAK,CACb,iBAAiB,QAAQ,CAAC,MAAM,oCAAoC,CAAC,EAAE,CACxE,CAAC;aACH;QACH,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,IAAI,CAAC,QAAkB;YAC5B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACzB,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxD,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;aAClD;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,eAAe,CAAC,CAAQ;YAC7B,IAAI,QAAQ,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,IAAI,OAAO,CAAC;YACZ,IAAI,CAAC,EAAE;gBACL,OAAO,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;aACxB;iBAAM;gBACL,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;aAC7C;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1B,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;gBACzD,OAAO,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;aAC/B;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,YAAY,CAAC,KAAc;YACzB,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACzC,CAAC;;IAxEM,YAAI,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IACvC,SAAC,GAAW,CAAC,CAAC;IACd,eAAO,GAAW,OAAO,CAAC;IAwEnC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAG/B,WAAc,EAAE,CAAS,EAAE,OAAe;IAC1C,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,kBAAkB,EAAE;QACjD,MAAM,IAAI,KAAK,CACb,2EAA2E,CAC5E,CAAC;KACH;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,MAAe,OAAQ,SAAQ,MAAM,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;KACjC,CAAC;QAMA,YAAY,MAAoB;YAC9B,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACpB,CAAC;QAED,uDAAuD;QACvD,MAAM,CAAC,YAAY,CAAC,KAAoB;YACtC,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,CAAC,UAAU;YACf,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,gBAAgB;YACrB,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACrD,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,MAAoB;YAChC,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM;QAEN;;;;WAIG;QACH,MAAM,CAAC,SAAS,CAAC,QAAkB;YACjC,IAAI,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE;gBAC5B,MAAM,IAAI,KAAK,CACb,iBAAiB,QAAQ,CAAC,MAAM,oCAAoC,CAAC,EAAE,CACxE,CAAC;aACH;QACH,CAAC;QAED;;;;;;;WAOG;QACH,MAAM,CAAC,IAAI,CAAC,QAAkB;YAC5B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACzB,MAAM,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAClC,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,IAAI,eAAe,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC/B,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClD,IAAI,CAAC,CAAC,EAAE;oBACN,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;iBAC5C;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC1B,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACtB,IAAI,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;oBACpD,IAAI,CAAC,KAAK,EAAE;wBACV,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;qBAC5C;oBACD,KAAK,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;oBACxD,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;iBACzB;gBACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aAChB;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,eAAe,CAAC,MAAoB;YACzC,IAAI,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,kEAAkE;YAClG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChB,IAAI,QAAQ,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,MAAM,SAAS,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC/B,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE;oBACb,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;iBAC1B;aACF;YACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,EAAE;gBAC/B,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC;aACrE;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC/B,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,CAAC;aACpD;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACxC,IAAI,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC,EAAE,EAAE;oBAChD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;oBAC1C,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;oBACvD,OAAO,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;iBAC/B;aACF;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,YAAY,CAAC,KAAc;YACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1B,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;aAC9C;QACH,CAAC;;IA5GM,YAAI,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1D,SAAC,GAAW,CAAC,CAAC;IACd,SAAC,GAAW,CAAC,CAAC;IACd,eAAO,GAAW,OAAO,CAAC;IA2GnC,OAAO,OAAO,CAAC;AACjB,CAAC"}