@feelyourprotocol/evm 8141.0.0

package/dist/esm/eof/errors.js

@@ -0,0 +1,195 @@
+import { EthereumJSErrorWithoutCode } from '@feelyourprotocol/util';
+export const EOFErrorMessage = {
+    OUT_OF_BOUNDS: 'Trying to read out of bounds',
+    VERIFY_UINT: 'Uint does not match expected value ',
+    VERIFY_BYTES: 'Bytes do not match expected value',
+    FORMAT: 'err: invalid format',
+    MAGIC: 'err: invalid magic',
+    VERSION: 'err: invalid eof version',
+    KIND_TYPE: 'err: expected kind types',
+    KIND_CODE: 'err: expected kind code',
+    KIND_DATA: 'err: expected kind data',
+    TERMINATOR: 'err: expected terminator',
+    TYPE_SIZE: 'missing type size',
+    INVALID_TYPE_SIZE: 'err: type section size invalid',
+    CODE_SIZE: 'missing code size',
+    CODE_SECTION_SIZE: 'code section should be at least one byte',
+    INVALID_CODE_SIZE: 'code size does not match type size',
+    DATA_SIZE: 'missing data size',
+    CONTAINER_SIZE: 'missing container size',
+    CONTAINER_SECTION_SIZE: 'container section should at least contain one section and at most 255 sections',
+    TYPE_SECTIONS: 'err: mismatch of code sections count and type signatures',
+    INPUTS: 'expected inputs',
+    OUTPUTS: 'expected outputs',
+    MAX_INPUTS: 'inputs exceeds 127, the maximum, got: ',
+    MAX_OUTPUTS: 'outputs exceeds 127, the maximum, got: ',
+    CODE0_INPUTS: 'first code section should have 0 inputs',
+    CODE0_OUTPUTS: 'first code section should have 0x80 (terminating section) outputs',
+    MAX_STACK_HEIGHT: 'expected maxStackHeight',
+    MAX_STACK_HEIGHT_LIMIT: 'stack height limit of 1024 exceeded: ',
+    MIN_CODE_SECTIONS: 'should have at least 1 code section',
+    CODE_SECTION: 'expected a code section',
+    DATA_SECTION: 'Expected data section',
+    CONTAINER_SECTION: 'expected a container section',
+    CONTAINER_SECTION_MIN: 'container section should be at least 1 byte',
+    INVALID_EOF_CREATE_TARGET: 'EOFCREATE targets an undefined container',
+    INVALID_RETURN_CONTRACT_TARGET: 'RETURNCONTRACT targets an undefined container',
+    CONTAINER_DOUBLE_TYPE: 'Container is targeted by both EOFCREATE and RETURNCONTRACT',
+    UNREACHABLE_CONTAINER_SECTIONS: 'Unreachable containers (by both EOFCREATE and RETURNCONTRACT)',
+    CONTAINER_TYPE_ERROR: 'Container contains opcodes which this mode (deployment mode / init code / runtime mode) cannot have',
+    DANGLING_BYTES: 'got dangling bytes in body',
+    INVALID_OPCODE: 'invalid opcode',
+    INVALID_TERMINATOR: 'invalid terminating opcode',
+    OPCODE_INTERMEDIATES_OOB: 'invalid opcode: intermediates out-of-bounds',
+    INVALID_RJUMP: 'invalid rjump* target',
+    INVALID_CALL_TARGET: 'invalid callf/jumpf target',
+    INVALID_CALLF_RETURNING: 'invalid callf: calls to non-returning function',
+    INVALID_STACK_HEIGHT: 'invalid stack height',
+    INVALID_JUMPF: 'invalid jumpf target (output count)',
+    INVALID_RETURNING_SECTION: 'invalid returning code section: section is not returning',
+    RETURNING_NO_RETURN: 'invalid section: section should return but has no RETF/JUMP to return',
+    RJUMPV_TABLE_SIZE0: 'invalid RJUMPV: table size 0',
+    UNREACHABLE_CODE_SECTIONS: 'unreachable code sections',
+    UNREACHABLE_CODE: 'unreachable code (by forward jumps)',
+    DATALOADN_OOB: 'DATALOADN reading out of bounds',
+    MAX_STACK_HEIGHT_VIOLATION: 'Max stack height does not match the reported max stack height',
+    STACK_UNDERFLOW: 'Stack underflow',
+    STACK_OVERFLOW: 'Stack overflow',
+    UNSTABLE_STACK: 'Unstable stack (can reach stack under/overflow by jumps)',
+    RETF_NO_RETURN: 'Trying to return to undefined function',
+    RETURN_STACK_OVERFLOW: 'Return stack overflow',
+    INVALID_EXTCALL_TARGET: 'invalid extcall target: address > 20 bytes',
+    INVALID_RETURN_CONTRACT_DATA_SIZE: 'invalid RETURNCONTRACT: data size lower than expected',
+};
+export function validationErrorMsg(type, ...args) {
+    switch (type) {
+        case EOFErrorMessage.OUT_OF_BOUNDS: {
+            return EOFErrorMessage.OUT_OF_BOUNDS + ` at pos: ${args[0]}: ${args[1]}`;
+        }
+        case EOFErrorMessage.VERIFY_BYTES: {
+            return EOFErrorMessage.VERIFY_BYTES + ` at pos: ${args[0]}: ${args[1]}`;
+        }
+        case EOFErrorMessage.VERIFY_UINT: {
+            return EOFErrorMessage.VERIFY_UINT + `at pos: ${args[0]}: ${args[1]}`;
+        }
+        case EOFErrorMessage.TYPE_SIZE: {
+            return EOFErrorMessage.TYPE_SIZE + args[0];
+        }
+        case EOFErrorMessage.INVALID_TYPE_SIZE: {
+            return EOFErrorMessage.INVALID_TYPE_SIZE + args[0];
+        }
+        case EOFErrorMessage.INVALID_CODE_SIZE: {
+            return EOFErrorMessage.INVALID_CODE_SIZE + args[0];
+        }
+        case EOFErrorMessage.INPUTS: {
+            return `${EOFErrorMessage.INPUTS} - typeSection ${args[0]}`;
+        }
+        case EOFErrorMessage.OUTPUTS: {
+            return `${EOFErrorMessage.OUTPUTS} - typeSection ${args[0]}`;
+        }
+        case EOFErrorMessage.CODE0_INPUTS: {
+            return `first code section should have 0 inputs`;
+        }
+        case EOFErrorMessage.CODE0_OUTPUTS: {
+            return `first code section should have 0 outputs`;
+        }
+        case EOFErrorMessage.MAX_INPUTS: {
+            return EOFErrorMessage.MAX_INPUTS + `${args[1]} - code section ${args[0]}`;
+        }
+        case EOFErrorMessage.MAX_OUTPUTS: {
+            return EOFErrorMessage.MAX_OUTPUTS + `${args[1]} - code section ${args[0]}`;
+        }
+        case EOFErrorMessage.CODE_SECTION: {
+            return `expected code: codeSection ${args[0]}: `;
+        }
+        case EOFErrorMessage.DATA_SECTION: {
+            return EOFErrorMessage.DATA_SECTION;
+        }
+        case EOFErrorMessage.MAX_STACK_HEIGHT: {
+            return `${EOFErrorMessage.MAX_STACK_HEIGHT} - typeSection ${args[0]}: `;
+        }
+        case EOFErrorMessage.MAX_STACK_HEIGHT_LIMIT: {
+            return `${EOFErrorMessage.MAX_STACK_HEIGHT_LIMIT}, got: ${args[1]} - typeSection ${args[0]}`;
+        }
+        case EOFErrorMessage.DANGLING_BYTES: {
+            return EOFErrorMessage.DANGLING_BYTES;
+        }
+        default: {
+            return type;
+        }
+    }
+}
+export function validationError(type, ...args) {
+    switch (type) {
+        case EOFErrorMessage.OUT_OF_BOUNDS: {
+            const pos = args[0];
+            if (pos === 0 || pos === 2 || pos === 3 || pos === 6) {
+                throw EthereumJSErrorWithoutCode(args[1]);
+            }
+            throw EthereumJSErrorWithoutCode(EOFErrorMessage.OUT_OF_BOUNDS + ` `);
+        }
+        case EOFErrorMessage.VERIFY_BYTES: {
+            const pos = args[0];
+            if (pos === 0 || pos === 2 || pos === 3 || pos === 6) {
+                throw EthereumJSErrorWithoutCode(args[1]);
+            }
+            throw EthereumJSErrorWithoutCode(EOFErrorMessage.VERIFY_BYTES + ` at pos: ${args[0]}: ${args[1]}`);
+        }
+        case EOFErrorMessage.VERIFY_UINT: {
+            const pos = args[0];
+            if (pos === 0 || pos === 2 || pos === 3 || pos === 6 || pos === 18) {
+                throw EthereumJSErrorWithoutCode(args[1]);
+            }
+            throw EthereumJSErrorWithoutCode(EOFErrorMessage.VERIFY_UINT + `at pos: ${args[0]}: ${args[1]}`);
+        }
+        case EOFErrorMessage.TYPE_SIZE: {
+            throw EthereumJSErrorWithoutCode(EOFErrorMessage.TYPE_SIZE + args[0]);
+        }
+        case EOFErrorMessage.TYPE_SECTIONS: {
+            throw EthereumJSErrorWithoutCode(`${EOFErrorMessage.TYPE_SECTIONS} (types ${args[0]} code ${args[1]})`);
+        }
+        case EOFErrorMessage.INVALID_TYPE_SIZE: {
+            throw EthereumJSErrorWithoutCode(EOFErrorMessage.INVALID_TYPE_SIZE);
+        }
+        case EOFErrorMessage.INVALID_CODE_SIZE: {
+            throw EthereumJSErrorWithoutCode(EOFErrorMessage.INVALID_CODE_SIZE + args[0]);
+        }
+        case EOFErrorMessage.INPUTS: {
+            throw EthereumJSErrorWithoutCode(`${EOFErrorMessage.INPUTS} - typeSection ${args[0]}`);
+        }
+        case EOFErrorMessage.OUTPUTS: {
+            throw EthereumJSErrorWithoutCode(`${EOFErrorMessage.OUTPUTS} - typeSection ${args[0]}`);
+        }
+        case EOFErrorMessage.CODE0_INPUTS: {
+            throw EthereumJSErrorWithoutCode(`first code section should have 0 inputs`);
+        }
+        case EOFErrorMessage.CODE0_OUTPUTS: {
+            throw EthereumJSErrorWithoutCode(`first code section should have 0 outputs`);
+        }
+        case EOFErrorMessage.MAX_INPUTS: {
+            throw EthereumJSErrorWithoutCode(EOFErrorMessage.MAX_INPUTS + `${args[1]} - code section ${args[0]}`);
+        }
+        case EOFErrorMessage.MAX_OUTPUTS: {
+            throw EthereumJSErrorWithoutCode(EOFErrorMessage.MAX_OUTPUTS + `${args[1]} - code section ${args[0]}`);
+        }
+        case EOFErrorMessage.CODE_SECTION: {
+            throw EthereumJSErrorWithoutCode(`expected code: codeSection ${args[0]}: `);
+        }
+        case EOFErrorMessage.DATA_SECTION: {
+            throw EthereumJSErrorWithoutCode(EOFErrorMessage.DATA_SECTION);
+        }
+        case EOFErrorMessage.MAX_STACK_HEIGHT: {
+            throw EthereumJSErrorWithoutCode(`${EOFErrorMessage.MAX_STACK_HEIGHT} - typeSection ${args[0]}: `);
+        }
+        case EOFErrorMessage.MAX_STACK_HEIGHT_LIMIT: {
+            throw EthereumJSErrorWithoutCode(`${EOFErrorMessage.MAX_STACK_HEIGHT_LIMIT}, got: ${args[1]} - typeSection ${args[0]}`);
+        }
+        case EOFErrorMessage.DANGLING_BYTES: {
+            throw EthereumJSErrorWithoutCode(EOFErrorMessage.DANGLING_BYTES);
+        }
+        default: {
+            throw EthereumJSErrorWithoutCode(type);
+        }
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/esm/eof/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../../src/eof/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAA;AAI7D,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,aAAa,EAAE,8BAA8B;IAC7C,WAAW,EAAE,qCAAqC;IAClD,YAAY,EAAE,mCAAmC;IACjD,MAAM,EAAE,qBAAqB;IAC7B,KAAK,EAAE,oBAAoB;IAC3B,OAAO,EAAE,0BAA0B;IACnC,SAAS,EAAE,0BAA0B;IACrC,SAAS,EAAE,yBAAyB;IACpC,SAAS,EAAE,yBAAyB;IACpC,UAAU,EAAE,0BAA0B;IACtC,SAAS,EAAE,mBAAmB;IAC9B,iBAAiB,EAAE,gCAAgC;IACnD,SAAS,EAAE,mBAAmB;IAC9B,iBAAiB,EAAE,0CAA0C;IAC7D,iBAAiB,EAAE,oCAAoC;IACvD,SAAS,EAAE,mBAAmB;IAC9B,cAAc,EAAE,wBAAwB;IACxC,sBAAsB,EACpB,gFAAgF;IAClF,aAAa,EAAE,0DAA0D;IACzE,MAAM,EAAE,iBAAiB;IACzB,OAAO,EAAE,kBAAkB;IAC3B,UAAU,EAAE,wCAAwC;IACpD,WAAW,EAAE,yCAAyC;IACtD,YAAY,EAAE,yCAAyC;IACvD,aAAa,EAAE,mEAAmE;IAClF,gBAAgB,EAAE,yBAAyB;IAC3C,sBAAsB,EAAE,uCAAuC;IAC/D,iBAAiB,EAAE,qCAAqC;IACxD,YAAY,EAAE,yBAAyB;IACvC,YAAY,EAAE,uBAAuB;IACrC,iBAAiB,EAAE,8BAA8B;IACjD,qBAAqB,EAAE,6CAA6C;IACpE,yBAAyB,EAAE,0CAA0C;IACrE,8BAA8B,EAAE,+CAA+C;IAC/E,qBAAqB,EAAE,4DAA4D;IACnF,8BAA8B,EAAE,+DAA+D;IAC/F,oBAAoB,EAClB,qGAAqG;IACvG,cAAc,EAAE,4BAA4B;IAC5C,cAAc,EAAE,gBAAgB;IAChC,kBAAkB,EAAE,4BAA4B;IAChD,wBAAwB,EAAE,6CAA6C;IACvE,aAAa,EAAE,uBAAuB;IACtC,mBAAmB,EAAE,4BAA4B;IACjD,uBAAuB,EAAE,gDAAgD;IACzE,oBAAoB,EAAE,sBAAsB;IAC5C,aAAa,EAAE,qCAAqC;IACpD,yBAAyB,EAAE,0DAA0D;IACrF,mBAAmB,EAAE,uEAAuE;IAC5F,kBAAkB,EAAE,8BAA8B;IAClD,yBAAyB,EAAE,2BAA2B;IACtD,gBAAgB,EAAE,qCAAqC;IACvD,aAAa,EAAE,iCAAiC;IAChD,0BAA0B,EAAE,+DAA+D;IAC3F,eAAe,EAAE,iBAAiB;IAClC,cAAc,EAAE,gBAAgB;IAChC,cAAc,EAAE,0DAA0D;IAC1E,cAAc,EAAE,wCAAwC;IACxD,qBAAqB,EAAE,uBAAuB;IAC9C,sBAAsB,EAAE,4CAA4C;IACpE,iCAAiC,EAAE,uDAAuD;CAClF,CAAA;AAEV,MAAM,UAAU,kBAAkB,CAAC,IAAqB,EAAE,GAAG,IAAS;IACpE,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC;YACnC,OAAO,eAAe,CAAC,aAAa,GAAG,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;QAC1E,CAAC;QACD,KAAK,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC;YAClC,OAAO,eAAe,CAAC,YAAY,GAAG,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;QACzE,CAAC;QACD,KAAK,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;YACjC,OAAO,eAAe,CAAC,WAAW,GAAG,WAAW,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;QACvE,CAAC;QACD,KAAK,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;YAC/B,OAAO,eAAe,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAC5C,CAAC;QACD,KAAK,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC;YACvC,OAAO,eAAe,CAAC,iBAAiB,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACpD,CAAC;QACD,KAAK,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC;YACvC,OAAO,eAAe,CAAC,iBAAiB,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACpD,CAAC;QACD,KAAK,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;YAC5B,OAAO,GAAG,eAAe,CAAC,MAAM,kBAAkB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;QAC7D,CAAC;QACD,KAAK,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;YAC7B,OAAO,GAAG,eAAe,CAAC,OAAO,kBAAkB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;QAC9D,CAAC;QACD,KAAK,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC;YAClC,OAAO,yCAAyC,CAAA;QAClD,CAAC;QACD,KAAK,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC;YACnC,OAAO,0CAA0C,CAAA;QACnD,CAAC;QACD,KAAK,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;YAChC,OAAO,eAAe,CAAC,UAAU,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,mBAAmB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;QAC5E,CAAC;QACD,KAAK,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;YACjC,OAAO,eAAe,CAAC,WAAW,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,mBAAmB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;QAC7E,CAAC;QACD,KAAK,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC;YAClC,OAAO,8BAA8B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;QAClD,CAAC;QACD,KAAK,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC;YAClC,OAAO,eAAe,CAAC,YAAY,CAAA;QACrC,CAAC;QACD,KAAK,eAAe,CAAC,gBAAgB,CAAC,CAAC,CAAC;YACtC,OAAO,GAAG,eAAe,CAAC,gBAAgB,kBAAkB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;QACzE,CAAC;QACD,KAAK,eAAe,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5C,OAAO,GAAG,eAAe,CAAC,sBAAsB,UAAU,IAAI,CAAC,CAAC,CAAC,kBAAkB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;QAC9F,CAAC;QACD,KAAK,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC;YACpC,OAAO,eAAe,CAAC,cAAc,CAAA;QACvC,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;AACH,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,IAAqB,EAAE,GAAG,IAAS;IACjE,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC;YACnC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;YACnB,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;gBACrD,MAAM,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;YAC3C,CAAC;YACD,MAAM,0BAA0B,CAAC,eAAe,CAAC,aAAa,GAAG,GAAG,CAAC,CAAA;QACvE,CAAC;QACD,KAAK,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC;YAClC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;YACnB,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;gBACrD,MAAM,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;YAC3C,CAAC;YACD,MAAM,0BAA0B,CAC9B,eAAe,CAAC,YAAY,GAAG,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CACjE,CAAA;QACH,CAAC;QACD,KAAK,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;YACjC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;YACnB,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;gBACnE,MAAM,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;YAC3C,CAAC;YACD,MAAM,0BAA0B,CAC9B,eAAe,CAAC,WAAW,GAAG,WAAW,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAC/D,CAAA;QACH,CAAC;QACD,KAAK,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;YAC/B,MAAM,0BAA0B,CAAC,eAAe,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QACvE,CAAC;QACD,KAAK,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC;YACnC,MAAM,0BAA0B,CAC9B,GAAG,eAAe,CAAC,aAAa,WAAW,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,GAAG,CACtE,CAAA;QACH,CAAC;QACD,KAAK,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC;YACvC,MAAM,0BAA0B,CAAC,eAAe,CAAC,iBAAiB,CAAC,CAAA;QACrE,CAAC;QACD,KAAK,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC;YACvC,MAAM,0BAA0B,CAAC,eAAe,CAAC,iBAAiB,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/E,CAAC;QACD,KAAK,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;YAC5B,MAAM,0BAA0B,CAAC,GAAG,eAAe,CAAC,MAAM,kBAAkB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACxF,CAAC;QACD,KAAK,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;YAC7B,MAAM,0BAA0B,CAAC,GAAG,eAAe,CAAC,OAAO,kBAAkB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACzF,CAAC;QACD,KAAK,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC;YAClC,MAAM,0BAA0B,CAAC,yCAAyC,CAAC,CAAA;QAC7E,CAAC;QACD,KAAK,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC;YACnC,MAAM,0BAA0B,CAAC,0CAA0C,CAAC,CAAA;QAC9E,CAAC;QACD,KAAK,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;YAChC,MAAM,0BAA0B,CAC9B,eAAe,CAAC,UAAU,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,mBAAmB,IAAI,CAAC,CAAC,CAAC,EAAE,CACpE,CAAA;QACH,CAAC;QACD,KAAK,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;YACjC,MAAM,0BAA0B,CAC9B,eAAe,CAAC,WAAW,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,mBAAmB,IAAI,CAAC,CAAC,CAAC,EAAE,CACrE,CAAA;QACH,CAAC;QACD,KAAK,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC;YAClC,MAAM,0BAA0B,CAAC,8BAA8B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;QAC7E,CAAC;QACD,KAAK,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC;YAClC,MAAM,0BAA0B,CAAC,eAAe,CAAC,YAAY,CAAC,CAAA;QAChE,CAAC;QACD,KAAK,eAAe,CAAC,gBAAgB,CAAC,CAAC,CAAC;YACtC,MAAM,0BAA0B,CAC9B,GAAG,eAAe,CAAC,gBAAgB,kBAAkB,IAAI,CAAC,CAAC,CAAC,IAAI,CACjE,CAAA;QACH,CAAC;QACD,KAAK,eAAe,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5C,MAAM,0BAA0B,CAC9B,GAAG,eAAe,CAAC,sBAAsB,UAAU,IAAI,CAAC,CAAC,CAAC,kBAAkB,IAAI,CAAC,CAAC,CAAC,EAAE,CACtF,CAAA;QACH,CAAC;QACD,KAAK,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC;YACpC,MAAM,0BAA0B,CAAC,eAAe,CAAC,cAAc,CAAC,CAAA;QAClE,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,0BAA0B,CAAC,IAAI,CAAC,CAAA;QACxC,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/esm/eof/setup.d.ts

@@ -0,0 +1,9 @@
+import { EOFContainerMode } from './container.ts';
+import type { RunState } from '../interpreter.ts';
+/**
+ * Setup EOF by preparing the `RunState` to run EVM in EOF mode
+ * @param runState Current run state
+ * @param eofMode EOF mode to run in (only changes in case of EOFCREATE)
+ */
+export declare function setupEOF(runState: RunState, eofMode?: EOFContainerMode): void;
+//# sourceMappingURL=setup.d.ts.map

package/dist/esm/eof/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/eof/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AAE/D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAEjD;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,GAAE,gBAA2C,QAiBhG"}

package/dist/esm/eof/setup.js

@@ -0,0 +1,23 @@
+import { EOFContainer, EOFContainerMode } from "./container.js";
+/**
+ * Setup EOF by preparing the `RunState` to run EVM in EOF mode
+ * @param runState Current run state
+ * @param eofMode EOF mode to run in (only changes in case of EOFCREATE)
+ */
+export function setupEOF(runState, eofMode = EOFContainerMode.Default) {
+    runState.env.eof = {
+        container: new EOFContainer(runState.code, eofMode),
+        eofRunState: {
+            returnStack: [], // Return stack for RETF/CALLF/JUMPF
+        },
+    };
+    // In case that txCallData is set, set the `callData` of `env` to this calldata
+    // This ensures that CALLDATA can be read when deploying EOF contracts using txs
+    if (runState.env.eof.container.body.txCallData !== undefined) {
+        runState.env.callData = runState.env.eof.container.body.txCallData;
+    }
+    // Set program counter to the first code section
+    const pc = runState.env.eof.container.header.getCodePosition(0);
+    runState.programCounter = pc;
+}
+//# sourceMappingURL=setup.js.map

package/dist/esm/eof/setup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.js","sourceRoot":"","sources":["../../../src/eof/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AAI/D;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,QAAkB,EAAE,UAA4B,gBAAgB,CAAC,OAAO;IAC/F,QAAQ,CAAC,GAAG,CAAC,GAAG,GAAG;QACjB,SAAS,EAAE,IAAI,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QACnD,WAAW,EAAE;YACX,WAAW,EAAE,EAAE,EAAE,oCAAoC;SACtD;KACF,CAAA;IAED,+EAA+E;IAC/E,gFAAgF;IAChF,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7D,QAAQ,CAAC,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAA;IACpE,CAAC;IAED,gDAAgD;IAChD,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAA;IAC/D,QAAQ,CAAC,cAAc,GAAG,EAAE,CAAA;AAC9B,CAAC"}

package/dist/esm/eof/stackDelta.d.ts

@@ -0,0 +1,10 @@
+export declare const stackDelta: {
+    [key: number]: {
+        inputs: number;
+        outputs: number;
+        name: string;
+        intermediates: number;
+        terminating?: boolean;
+    };
+};
+//# sourceMappingURL=stackDelta.d.ts.map

package/dist/esm/eof/stackDelta.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stackDelta.d.ts","sourceRoot":"","sources":["../../../src/eof/stackDelta.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,GAAG,EAAE,MAAM,GAAG;QACb,MAAM,EAAE,MAAM,CAAA;QACd,OAAO,EAAE,MAAM,CAAA;QACf,IAAI,EAAE,MAAM,CAAA;QACZ,aAAa,EAAE,MAAM,CAAA;QACrB,WAAW,CAAC,EAAE,OAAO,CAAA;KACtB,CAAA;CA+JF,CAAA"}

package/dist/esm/eof/stackDelta.js

@@ -0,0 +1,161 @@
+// Generated using a script, which can be found in ./evm/scripts/stackDeltaGenerator.ts
+export const stackDelta = {
+    0x00: { inputs: 0, outputs: 0, name: 'STOP', intermediates: 0, terminating: true },
+    0x01: { inputs: 2, outputs: 1, name: 'ADD', intermediates: 0 },
+    0x02: { inputs: 2, outputs: 1, name: 'MUL', intermediates: 0 },
+    0x03: { inputs: 2, outputs: 1, name: 'SUB', intermediates: 0 },
+    0x04: { inputs: 2, outputs: 1, name: 'DIV', intermediates: 0 },
+    0x05: { inputs: 2, outputs: 1, name: 'SDIV', intermediates: 0 },
+    0x06: { inputs: 2, outputs: 1, name: 'MOD', intermediates: 0 },
+    0x07: { inputs: 2, outputs: 1, name: 'SMOD', intermediates: 0 },
+    0x08: { inputs: 3, outputs: 1, name: 'ADDMOD', intermediates: 0 },
+    0x09: { inputs: 3, outputs: 1, name: 'MULMOD', intermediates: 0 },
+    0x0a: { inputs: 2, outputs: 1, name: 'EXP', intermediates: 0 },
+    0x0b: { inputs: 2, outputs: 1, name: 'SIGNEXTEND', intermediates: 0 },
+    0x10: { inputs: 2, outputs: 1, name: 'LT', intermediates: 0 },
+    0x11: { inputs: 2, outputs: 1, name: 'GT', intermediates: 0 },
+    0x12: { inputs: 2, outputs: 1, name: 'SLT', intermediates: 0 },
+    0x13: { inputs: 2, outputs: 1, name: 'SGT', intermediates: 0 },
+    0x14: { inputs: 2, outputs: 1, name: 'EQ', intermediates: 0 },
+    0x15: { inputs: 1, outputs: 1, name: 'ISZERO', intermediates: 0 },
+    0x16: { inputs: 2, outputs: 1, name: 'AND', intermediates: 0 },
+    0x17: { inputs: 2, outputs: 1, name: 'OR', intermediates: 0 },
+    0x18: { inputs: 2, outputs: 1, name: 'XOR', intermediates: 0 },
+    0x19: { inputs: 1, outputs: 1, name: 'NOT', intermediates: 0 },
+    0x1a: { inputs: 2, outputs: 1, name: 'BYTE', intermediates: 0 },
+    0x1b: { inputs: 2, outputs: 1, name: 'SHL', intermediates: 0 },
+    0x1c: { inputs: 2, outputs: 1, name: 'SHR', intermediates: 0 },
+    0x1d: { inputs: 2, outputs: 1, name: 'SAR', intermediates: 0 },
+    0x20: { inputs: 2, outputs: 1, name: 'SHA3', intermediates: 0 },
+    0x30: { inputs: 0, outputs: 1, name: 'ADDRESS', intermediates: 0 },
+    0x31: { inputs: 1, outputs: 1, name: 'BALANCE', intermediates: 0 },
+    0x32: { inputs: 0, outputs: 1, name: 'ORIGIN', intermediates: 0 },
+    0x33: { inputs: 0, outputs: 1, name: 'CALLER', intermediates: 0 },
+    0x34: { inputs: 0, outputs: 1, name: 'CALLVALUE', intermediates: 0 },
+    0x35: { inputs: 1, outputs: 1, name: 'CALLDATALOAD', intermediates: 0 },
+    0x36: { inputs: 0, outputs: 1, name: 'CALLDATASIZE', intermediates: 0 },
+    0x37: { inputs: 3, outputs: 0, name: 'CALLDATACOPY', intermediates: 0 },
+    0x3a: { inputs: 0, outputs: 1, name: 'GASPRICE', intermediates: 0 },
+    0x3d: { inputs: 0, outputs: 1, name: 'RETURNDATASIZE', intermediates: 0 },
+    0x3e: { inputs: 3, outputs: 0, name: 'RETURNDATACOPY', intermediates: 0 },
+    0x40: { inputs: 1, outputs: 1, name: 'BLOCKHASH', intermediates: 0 },
+    0x41: { inputs: 0, outputs: 1, name: 'COINBASE', intermediates: 0 },
+    0x42: { inputs: 0, outputs: 1, name: 'TIMESTAMP', intermediates: 0 },
+    0x43: { inputs: 0, outputs: 1, name: 'NUMBER', intermediates: 0 },
+    0x44: { inputs: 0, outputs: 1, name: 'PREVRANDAO', intermediates: 0 },
+    0x45: { inputs: 0, outputs: 1, name: 'GASLIMIT', intermediates: 0 },
+    0x4b: { inputs: 0, outputs: 1, name: 'SLOTNUM', intermediates: 0 },
+    0x46: { inputs: 0, outputs: 1, name: 'CHAINID', intermediates: 0 },
+    0x47: { inputs: 0, outputs: 1, name: 'SELFBALANCE', intermediates: 0 },
+    0x48: { inputs: 0, outputs: 1, name: 'BASEFEE', intermediates: 0 },
+    0x49: { inputs: 1, outputs: 1, name: 'BLOBAHASH', intermediates: 0 },
+    0x4a: { inputs: 0, outputs: 1, name: 'BLOBBASEFEE', intermediates: 0 },
+    0x50: { inputs: 1, outputs: 0, name: 'POP', intermediates: 0 },
+    0x51: { inputs: 1, outputs: 1, name: 'MLOAD', intermediates: 0 },
+    0x52: { inputs: 2, outputs: 0, name: 'MSTORE', intermediates: 0 },
+    0x53: { inputs: 2, outputs: 0, name: 'MSTORE8', intermediates: 0 },
+    0x54: { inputs: 1, outputs: 1, name: 'SLOAD', intermediates: 0 },
+    0x55: { inputs: 2, outputs: 0, name: 'SSTORE', intermediates: 0 },
+    0x59: { inputs: 0, outputs: 1, name: 'MSIZE', intermediates: 0 },
+    0x5b: { inputs: 0, outputs: 0, name: 'NOOP', intermediates: 0 },
+    0x5c: { inputs: 1, outputs: 1, name: 'TLOAD', intermediates: 0 },
+    0x5d: { inputs: 2, outputs: 0, name: 'TSTORE', intermediates: 0 },
+    0x5e: { inputs: 3, outputs: 0, name: 'MCOPY', intermediates: 0 },
+    0x5f: { inputs: 0, outputs: 1, name: 'PUSH0', intermediates: 0 },
+    0x60: { inputs: 0, outputs: 1, name: 'PUSH1', intermediates: 1 },
+    0x61: { inputs: 0, outputs: 1, name: 'PUSH2', intermediates: 2 },
+    0x62: { inputs: 0, outputs: 1, name: 'PUSH3', intermediates: 3 },
+    0x63: { inputs: 0, outputs: 1, name: 'PUSH4', intermediates: 4 },
+    0x64: { inputs: 0, outputs: 1, name: 'PUSH5', intermediates: 5 },
+    0x65: { inputs: 0, outputs: 1, name: 'PUSH6', intermediates: 6 },
+    0x66: { inputs: 0, outputs: 1, name: 'PUSH7', intermediates: 7 },
+    0x67: { inputs: 0, outputs: 1, name: 'PUSH8', intermediates: 8 },
+    0x68: { inputs: 0, outputs: 1, name: 'PUSH9', intermediates: 9 },
+    0x69: { inputs: 0, outputs: 1, name: 'PUSH10', intermediates: 10 },
+    0x6a: { inputs: 0, outputs: 1, name: 'PUSH11', intermediates: 11 },
+    0x6b: { inputs: 0, outputs: 1, name: 'PUSH12', intermediates: 12 },
+    0x6c: { inputs: 0, outputs: 1, name: 'PUSH13', intermediates: 13 },
+    0x6d: { inputs: 0, outputs: 1, name: 'PUSH14', intermediates: 14 },
+    0x6e: { inputs: 0, outputs: 1, name: 'PUSH15', intermediates: 15 },
+    0x6f: { inputs: 0, outputs: 1, name: 'PUSH16', intermediates: 16 },
+    0x70: { inputs: 0, outputs: 1, name: 'PUSH17', intermediates: 17 },
+    0x71: { inputs: 0, outputs: 1, name: 'PUSH18', intermediates: 18 },
+    0x72: { inputs: 0, outputs: 1, name: 'PUSH19', intermediates: 19 },
+    0x73: { inputs: 0, outputs: 1, name: 'PUSH20', intermediates: 20 },
+    0x74: { inputs: 0, outputs: 1, name: 'PUSH21', intermediates: 21 },
+    0x75: { inputs: 0, outputs: 1, name: 'PUSH22', intermediates: 22 },
+    0x76: { inputs: 0, outputs: 1, name: 'PUSH23', intermediates: 23 },
+    0x77: { inputs: 0, outputs: 1, name: 'PUSH24', intermediates: 24 },
+    0x78: { inputs: 0, outputs: 1, name: 'PUSH25', intermediates: 25 },
+    0x79: { inputs: 0, outputs: 1, name: 'PUSH26', intermediates: 26 },
+    0x7a: { inputs: 0, outputs: 1, name: 'PUSH27', intermediates: 27 },
+    0x7b: { inputs: 0, outputs: 1, name: 'PUSH28', intermediates: 28 },
+    0x7c: { inputs: 0, outputs: 1, name: 'PUSH29', intermediates: 29 },
+    0x7d: { inputs: 0, outputs: 1, name: 'PUSH30', intermediates: 30 },
+    0x7e: { inputs: 0, outputs: 1, name: 'PUSH31', intermediates: 31 },
+    0x7f: { inputs: 0, outputs: 1, name: 'PUSH32', intermediates: 32 },
+    0x80: { inputs: 1, outputs: 2, name: 'DUP1', intermediates: 0 },
+    0x81: { inputs: 2, outputs: 3, name: 'DUP2', intermediates: 0 },
+    0x82: { inputs: 3, outputs: 4, name: 'DUP3', intermediates: 0 },
+    0x83: { inputs: 4, outputs: 5, name: 'DUP4', intermediates: 0 },
+    0x84: { inputs: 5, outputs: 6, name: 'DUP5', intermediates: 0 },
+    0x85: { inputs: 6, outputs: 7, name: 'DUP6', intermediates: 0 },
+    0x86: { inputs: 7, outputs: 8, name: 'DUP7', intermediates: 0 },
+    0x87: { inputs: 8, outputs: 9, name: 'DUP8', intermediates: 0 },
+    0x88: { inputs: 9, outputs: 10, name: 'DUP9', intermediates: 0 },
+    0x89: { inputs: 10, outputs: 11, name: 'DUP10', intermediates: 0 },
+    0x8a: { inputs: 11, outputs: 12, name: 'DUP11', intermediates: 0 },
+    0x8b: { inputs: 12, outputs: 13, name: 'DUP12', intermediates: 0 },
+    0x8c: { inputs: 13, outputs: 14, name: 'DUP13', intermediates: 0 },
+    0x8d: { inputs: 14, outputs: 15, name: 'DUP14', intermediates: 0 },
+    0x8e: { inputs: 15, outputs: 16, name: 'DUP15', intermediates: 0 },
+    0x8f: { inputs: 16, outputs: 17, name: 'DUP16', intermediates: 0 },
+    0x90: { inputs: 2, outputs: 2, name: 'SWAP1', intermediates: 0 },
+    0x91: { inputs: 3, outputs: 3, name: 'SWAP2', intermediates: 0 },
+    0x92: { inputs: 4, outputs: 4, name: 'SWAP3', intermediates: 0 },
+    0x93: { inputs: 5, outputs: 5, name: 'SWAP4', intermediates: 0 },
+    0x94: { inputs: 6, outputs: 6, name: 'SWAP5', intermediates: 0 },
+    0x95: { inputs: 7, outputs: 7, name: 'SWAP6', intermediates: 0 },
+    0x96: { inputs: 8, outputs: 8, name: 'SWAP7', intermediates: 0 },
+    0x97: { inputs: 9, outputs: 9, name: 'SWAP8', intermediates: 0 },
+    0x98: { inputs: 10, outputs: 10, name: 'SWAP9', intermediates: 0 },
+    0x99: { inputs: 11, outputs: 11, name: 'SWAP10', intermediates: 0 },
+    0x9a: { inputs: 12, outputs: 12, name: 'SWAP11', intermediates: 0 },
+    0x9b: { inputs: 13, outputs: 13, name: 'SWAP12', intermediates: 0 },
+    0x9c: { inputs: 14, outputs: 14, name: 'SWAP13', intermediates: 0 },
+    0x9d: { inputs: 15, outputs: 15, name: 'SWAP14', intermediates: 0 },
+    0x9e: { inputs: 16, outputs: 16, name: 'SWAP15', intermediates: 0 },
+    0x9f: { inputs: 17, outputs: 17, name: 'SWAP16', intermediates: 0 },
+    0xa0: { inputs: 2, outputs: 0, name: 'LOG0', intermediates: 0 },
+    0xa1: { inputs: 3, outputs: 0, name: 'LOG1', intermediates: 0 },
+    0xa2: { inputs: 4, outputs: 0, name: 'LOG2', intermediates: 0 },
+    0xa3: { inputs: 5, outputs: 0, name: 'LOG3', intermediates: 0 },
+    0xa4: { inputs: 6, outputs: 0, name: 'LOG4', intermediates: 0 },
+    0xd0: { inputs: 1, outputs: 1, name: 'DATALOAD', intermediates: 0 },
+    0xd1: { inputs: 0, outputs: 1, name: 'DATALOADN', intermediates: 2 },
+    0xd2: { inputs: 0, outputs: 1, name: 'DATASIZE', intermediates: 0 },
+    0xd3: { inputs: 3, outputs: 0, name: 'DATACOPY', intermediates: 0 },
+    0xe0: { inputs: 0, outputs: 0, name: 'RJUMP', intermediates: 2 },
+    0xe1: { inputs: 1, outputs: 0, name: 'RJUMPI', intermediates: 2 },
+    // NOTE: for RJUMPV the intermediate byte is set to 0, this has to do with the validation algorithm specifics
+    // This has to do with the dynamic intermediate size of RJUMPV, which depends upon the table size byte right after RJUMPV
+    0xe2: { inputs: 1, outputs: 0, name: 'RJUMPV', intermediates: 0 },
+    // CALLF special case for stack validation algorithm: the inputs and outputs MUST stay 0
+    // (this is currently the case also in EVM)
+    0xe3: { inputs: 0, outputs: 0, name: 'CALLF', intermediates: 2 },
+    0xe4: { inputs: 0, outputs: 0, name: 'RETF', intermediates: 0, terminating: true },
+    0xe5: { inputs: 0, outputs: 0, name: 'JUMPF', intermediates: 2, terminating: true },
+    0xe6: { inputs: 0, outputs: 1, name: 'DUPN', intermediates: 1 },
+    0xe7: { inputs: 0, outputs: 0, name: 'SWAPN', intermediates: 1 },
+    0xe8: { inputs: 0, outputs: 0, name: 'EXCHANGE', intermediates: 1 },
+    0xec: { inputs: 4, outputs: 1, name: 'EOFCREATE', intermediates: 1 },
+    0xee: { inputs: 2, outputs: 0, name: 'RETURNCONTRACT', intermediates: 1, terminating: true },
+    0xf3: { inputs: 2, outputs: 0, name: 'RETURN', intermediates: 0, terminating: true },
+    0xf7: { inputs: 1, outputs: 1, name: 'RETURNDATALOAD', intermediates: 0 },
+    0xf8: { inputs: 4, outputs: 1, name: 'EXTCALL', intermediates: 0 },
+    0xf9: { inputs: 3, outputs: 1, name: 'EXTDELEGATECALL', intermediates: 0 },
+    0xfb: { inputs: 3, outputs: 1, name: 'EXTSTATICCALL', intermediates: 0 },
+    0xfd: { inputs: 2, outputs: 0, name: 'REVERT', intermediates: 0, terminating: true },
+    0xfe: { inputs: 0, outputs: 0, name: 'INVALID', intermediates: 0, terminating: true },
+};
+//# sourceMappingURL=stackDelta.js.map

package/dist/esm/eof/stackDelta.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stackDelta.js","sourceRoot":"","sources":["../../../src/eof/stackDelta.ts"],"names":[],"mappings":"AAAA,uFAAuF;AAEvF,MAAM,CAAC,MAAM,UAAU,GAQnB;IACF,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE;IAClF,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACjE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACjE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC,EAAE;IACrE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE;IAC7D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE;IAC7D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE;IAC7D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACjE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE;IAC7D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACjE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACjE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,EAAE;IACpE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC,EAAE;IACvE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC,EAAE;IACvE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC,EAAE;IACvE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,CAAC,EAAE;IACzE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,CAAC,EAAE;IACzE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,EAAE;IACpE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,EAAE;IACpE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACjE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC,EAAE;IACrE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,EAAE;IACtE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,EAAE;IACpE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,EAAE;IACtE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE;IAC9D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACjE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACjE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACjE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,EAAE;IACpE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACjE,6GAA6G;IAC7G,yHAAyH;IACzH,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE;IACjE,wFAAwF;IACxF,2CAA2C;IAC3C,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE;IAClF,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE;IACnF,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;IAC/D,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE;IAChE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,EAAE;IACnE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,EAAE;IACpE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE;IAC5F,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE;IACpF,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,CAAC,EAAE;IACzE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,EAAE;IAClE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,aAAa,EAAE,CAAC,EAAE;IAC1E,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,aAAa,EAAE,CAAC,EAAE;IACxE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE;IACpF,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE;CACtF,CAAA"}

package/dist/esm/eof/util.d.ts

@@ -0,0 +1,8 @@
+export declare const EOFBYTES: Uint8Array<ArrayBuffer>;
+export declare const EOFHASH: Uint8Array<ArrayBufferLike>;
+/**
+ * Returns `true` if `code` is an EOF contract, otherwise `false`
+ * @param code Code to test
+ */
+export declare function isEOF(code: Uint8Array): boolean;
+//# sourceMappingURL=util.d.ts.map

package/dist/esm/eof/util.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"util.d.ts","sourceRoot":"","sources":["../../../src/eof/util.ts"],"names":[],"mappings":"AAKA,eAAO,MAAM,QAAQ,yBAAkC,CAAA;AACvD,eAAO,MAAM,OAAO,6BAAuB,CAAA;AAE3C;;;GAGG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAG/C"}

package/dist/esm/eof/util.js

@@ -0,0 +1,14 @@
+import { equalsBytes } from '@feelyourprotocol/util';
+import { keccak_256 } from '@noble/hashes/sha3.js';
+import { FORMAT, MAGIC } from "./constants.js";
+export const EOFBYTES = new Uint8Array([FORMAT, MAGIC]);
+export const EOFHASH = keccak_256(EOFBYTES);
+/**
+ * Returns `true` if `code` is an EOF contract, otherwise `false`
+ * @param code Code to test
+ */
+export function isEOF(code) {
+    const check = code.subarray(0, EOFBYTES.length);
+    return equalsBytes(EOFBYTES, check);
+}
+//# sourceMappingURL=util.js.map

package/dist/esm/eof/util.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"util.js","sourceRoot":"","sources":["../../../src/eof/util.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAElD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAE9C,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,UAAU,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;AACvD,MAAM,CAAC,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAA;AAE3C;;;GAGG;AACH,MAAM,UAAU,KAAK,CAAC,IAAgB;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC/C,OAAO,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;AACrC,CAAC"}

package/dist/esm/eof/verify.d.ts

@@ -0,0 +1,38 @@
+import type { EVM } from '../evm.ts';
+import type { EOFContainer } from './container.ts';
+/**
+ * Note for reviewers regarding these flags: these only reside inside `verify.ts` (this file)
+ * and `container.ts`. For `container.ts`, the only behavior which ever changes is in the `DeploymentCode` mode
+ * This `DeploymentCode` mode means that the subcontainer is flagged in such way that this container is launched
+ * in a "deployment" mode. This means, that the data section of the body is actually allowed to contain
+ * less data than is written in the header. However, once the target container (by the container in deployment)
+ * mode is returned by RETURNCONTRACT it should have at least the header amount of data.
+ * See also "data section lifecycle"
+ * Note: the subcontainers of a container can be marked "InitCode" or "DeploymentCode".
+ * InitCode cannot contain the instructions RETURN / STOP
+ * InitCode is the only container type which can contain RETURNCONTRACT
+ * A container can also be marked DeploymentCode, this is a subcontainer targeted by RETURNCONTRACT
+ * A container cannot be marked both InitCode and DeploymentCode
+ * This flag is thus to distinguish between subcontainers, and also thus also allows for data section sizes
+ * lower than the size in the header in case of `InitCode`
+ */
+export type ContainerSectionType = (typeof ContainerSectionType)[keyof typeof ContainerSectionType];
+export declare const ContainerSectionType: {
+    readonly InitCode: "initCode";
+    readonly DeploymentCode: "deploymentCode";
+    readonly RuntimeCode: "runtimeCode";
+};
+/**
+ * This method validates an EOF container deeply. It will validate the opcodes, validate the stack, and performs
+ * various checks such as checking for forbidden opcodes in certain modes, jumps to invalid places, etc.
+ * For more information, see "Code validation" of https://github.com/ipsilon/eof/blob/main/spec/eof.md
+ * This is a compilation of all the extra validation rules introduced by the various EIPs
+ * In particular, the stack validation EIP https://eips.ethereum.org/EIPS/eip-5450 is a big part here
+ * @param container EOFContainer to verify
+ * @param evm The EVM to run in (pulls opcodes from here)
+ * @param mode The validation mode to run in
+ * @returns Returns a Map which marks what ContainerSectionType each container is
+ * NOTE: this should likely not be a map, since a container section can only be of a single type, not multiple
+ */
+export declare function verifyCode(container: EOFContainer, evm: EVM, mode?: ContainerSectionType): Map<number, ContainerSectionType>;
+//# sourceMappingURL=verify.d.ts.map

package/dist/esm/eof/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../../src/eof/verify.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AACpC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAElD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,OAAO,oBAAoB,CAAC,CAAA;AAEnG,eAAO,MAAM,oBAAoB;;;;CAIvB,CAAA;AAEV;;;;;;;;;;;GAWG;AACH,wBAAgB,UAAU,CACxB,SAAS,EAAE,YAAY,EACvB,GAAG,EAAE,GAAG,EACR,IAAI,GAAE,oBAAuD,qCAG9D"}