@typeberry/lib 0.4.0-5a35a0a → 0.4.0-da92f56

package/index.d.ts

@@ -13,7 +13,11 @@ declare enum TestSuite {
 declare const ALL_VERSIONS_IN_ORDER = [GpVersion.V0_6_7, GpVersion.V0_7_0, GpVersion.V0_7_1, GpVersion.V0_7_2];
 
 declare const DEFAULT_SUITE = TestSuite.W3F_DAVXY;
-declare const DEFAULT_VERSION = GpVersion.V0_7_2;
+/**
+ * Current version is set to track the jam-conformance testing.
+ * Since we are currently at 0.7.1 not 0.7.2, we set our default version accordingly.
+ */
+declare const DEFAULT_VERSION = GpVersion.V0_7_1;
 declare let CURRENT_VERSION = parseCurrentVersion(env.GP_VERSION) ?? DEFAULT_VERSION;
 declare let CURRENT_SUITE = parseCurrentSuite(env.TEST_SUITE) ?? DEFAULT_SUITE;
 
@@ -85,8 +89,8 @@ declare class Compatibility {
   /**
    * Allows selecting different values for different Gray Paper versions from one record.
    *
-   * @param fallback The default value to return if no value is found for the current.
-   * @param record A record mapping versions to values, checking if the version is greater or equal to the current version.
+   * fallback The default value to return if no value is found for the current.
+   * versions A record mapping versions to values, checking if the version is greater or equal to the current version.
    * @returns The value for the current version, or the default value.
    */
   static selectIfGreaterOrEqual<T>({
@@ -274,7 +278,7 @@ declare const workspacePathFix =
     : () => (p: string) => p;
 
 /**
- * @fileoverview `Opaque<Type, Token>` constructs a unique type which is a subset of Type with a
+ * `Opaque<Type, Token>` constructs a unique type which is a subset of Type with a
  * specified unique token Token. It means that base type cannot be assigned to unique type by accident.
  * Good examples of opaque types include:
  * - JWTs or other tokens - these are special kinds of string used for authorization purposes.
@@ -431,7 +435,7 @@ declare const Result$2 = {
 // - https://onnxruntime.ai/docs/tutorials/web/large-models.html#maximum-size-of-arraybuffer
 declare const MAX_LENGTH$1 = 2145386496;
 
-declare function safeAllocUint8Array(length: number) {
+declare function safeAllocUint8Array(length: number): Uint8Array {
   if (length > MAX_LENGTH) {
     // biome-ignore lint/suspicious/noConsole: can't have a dependency on logger here
     console.warn(`Trying to allocate ${length} bytes, which is greater than the maximum of ${MAX_LENGTH}.`);
@@ -2435,10 +2439,10 @@ type ClassConstructor<T> = {
 type Codec<T> = Encode<T> & Decode<T>;
 
 /** A codec descriptor with extra view. */
-type CodecWithView<T, V> = Codec<T> & {
+interface CodecWithView<T, V> extends Codec<T> {
   /** encoded data view codec. */
   View: Codec<V>;
-};
+}
 
 /**
  * Type descriptor definition.
@@ -7911,7 +7915,7 @@ declare function parseBootnode(v: string): Bootnode {
     throw new Error(`Invalid bootnode format, expected: <name>@<ip>:<port>, got: "${v}"`);
   }
 
-  const portNumber = Number.parseInt(port);
+  const portNumber = Number.parseInt(port, 10);
   if (!isU16(portNumber)) {
     throw new Error(`Invalid port number: "${port}"`);
   }
@@ -8695,7 +8699,6 @@ declare class LeafNode {
   /**
    * Get the byte length of embedded value.
    *
-   * @remark
    * Note in case this node only contains hash this is going to be 0.
    */
   getValueLength(): number {
@@ -8707,7 +8710,6 @@ declare class LeafNode {
   /**
    * Returns the embedded value.
    *
-   * @remark
    * Note that this is going to be empty for a regular leaf node (i.e. containing a hash).
    */
   getValue(): BytesBlob {
@@ -8718,7 +8720,6 @@ declare class LeafNode {
   /**
    * Returns contained value hash.
    *
-   * @remark
    * Note that for embedded value this is going to be full 0-padded 32 bytes.
    */
   getValueHash(): ValueHash {
@@ -14547,8 +14548,6 @@ interface IMemory {
   read(address: U32, result: Uint8Array): Result$2<OK, PageFault$1>;
 }
 
-declare const NO_OF_REGISTERS$1 = 13;
-
 /** Allow to set and get all registers encoded into little-endian bytes. */
 interface IRegisters {
   /**
@@ -15722,38 +15721,6 @@ declare class ImmediateDecoder {
   }
 }
 
-declare class NibblesDecoder {
-  private byte = new Int8Array(1);
-
-  setByte(byte: number) {
-    this.byte[0] = byte;
-  }
-
-  getHighNibble() {
-    return (this.byte[0] & 0xf0) >>> 4;
-  }
-
-  getLowNibble() {
-    return this.byte[0] & 0x0f;
-  }
-
-  getHighNibbleAsRegisterIndex() {
-    return Math.min(this.getHighNibble(), MAX_REGISTER_INDEX);
-  }
-
-  getLowNibbleAsRegisterIndex() {
-    return Math.min(this.getLowNibble(), MAX_REGISTER_INDEX);
-  }
-
-  getHighNibbleAsLength() {
-    return Math.min(this.getHighNibble(), MAX_LENGTH);
-  }
-
-  getLowNibbleAsLength() {
-    return Math.min(this.getLowNibble(), MAX_LENGTH);
-  }
-}
-
 type EmptyArgs = {
   type: ArgumentType.NO_ARGUMENTS;
   noOfBytesToSkip: number;
@@ -16092,106 +16059,6 @@ declare class ArgsDecoder {
   }
 }
 
-declare const createResults = () => {
-  const results = new Array(ARGUMENT_TYPE_LENGTH) as Results;
-
-  results[ArgumentType.NO_ARGUMENTS] = {
-    type: ArgumentType.NO_ARGUMENTS,
-    noOfBytesToSkip: 1,
-  };
-
-  results[ArgumentType.ONE_IMMEDIATE] = {
-    type: ArgumentType.ONE_IMMEDIATE,
-    noOfBytesToSkip: 1,
-    immediateDecoder: new ImmediateDecoder(),
-  };
-
-  results[ArgumentType.TWO_REGISTERS] = {
-    type: ArgumentType.TWO_REGISTERS,
-    noOfBytesToSkip: 1,
-    firstRegisterIndex: 0,
-    secondRegisterIndex: 0,
-  };
-
-  results[ArgumentType.THREE_REGISTERS] = {
-    type: ArgumentType.THREE_REGISTERS,
-    noOfBytesToSkip: 1,
-    firstRegisterIndex: 0,
-    secondRegisterIndex: 0,
-    thirdRegisterIndex: 0,
-  };
-
-  results[ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET] = {
-    type: ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET,
-    noOfBytesToSkip: 1,
-    registerIndex: 0,
-    immediateDecoder: new ImmediateDecoder(),
-    nextPc: 0,
-  };
-
-  results[ArgumentType.TWO_REGISTERS_ONE_OFFSET] = {
-    type: ArgumentType.TWO_REGISTERS_ONE_OFFSET,
-    noOfBytesToSkip: 1,
-    firstRegisterIndex: 0,
-    secondRegisterIndex: 0,
-    nextPc: 0,
-  };
-
-  results[ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE] = {
-    type: ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE,
-    noOfBytesToSkip: 1,
-    firstRegisterIndex: 0,
-    secondRegisterIndex: 0,
-    immediateDecoder: new ImmediateDecoder(),
-  };
-
-  results[ArgumentType.ONE_REGISTER_ONE_IMMEDIATE] = {
-    type: ArgumentType.ONE_REGISTER_ONE_IMMEDIATE,
-    noOfBytesToSkip: 1,
-    registerIndex: 0,
-    immediateDecoder: new ImmediateDecoder(),
-  };
-
-  results[ArgumentType.ONE_REGISTER_TWO_IMMEDIATES] = {
-    type: ArgumentType.ONE_REGISTER_TWO_IMMEDIATES,
-    noOfBytesToSkip: 1,
-    registerIndex: 0,
-    firstImmediateDecoder: new ImmediateDecoder(),
-    secondImmediateDecoder: new ImmediateDecoder(),
-  };
-
-  results[ArgumentType.ONE_OFFSET] = {
-    type: ArgumentType.ONE_OFFSET,
-    noOfBytesToSkip: 1,
-    nextPc: 0,
-  };
-
-  results[ArgumentType.TWO_IMMEDIATES] = {
-    type: ArgumentType.TWO_IMMEDIATES,
-    noOfBytesToSkip: 1,
-    firstImmediateDecoder: new ImmediateDecoder(),
-    secondImmediateDecoder: new ImmediateDecoder(),
-  };
-
-  results[ArgumentType.TWO_REGISTERS_TWO_IMMEDIATES] = {
-    type: ArgumentType.TWO_REGISTERS_TWO_IMMEDIATES,
-    noOfBytesToSkip: 1,
-    firstImmediateDecoder: new ImmediateDecoder(),
-    secondImmediateDecoder: new ImmediateDecoder(),
-    firstRegisterIndex: 0,
-    secondRegisterIndex: 0,
-  };
-
-  results[ArgumentType.ONE_REGISTER_ONE_EXTENDED_WIDTH_IMMEDIATE] = {
-    type: ArgumentType.ONE_REGISTER_ONE_EXTENDED_WIDTH_IMMEDIATE,
-    noOfBytesToSkip: 9,
-    registerIndex: 0,
-    immediateDecoder: new ExtendedWitdthImmediateDecoder(),
-  };
-
-  return results;
-};
-
 declare enum Instruction {
   TRAP = 0,
   FALLTHROUGH = 1,
@@ -16334,164 +16201,6 @@ declare enum Instruction {
   MIN_U = 230,
 }
 
-declare const instructionArgumentTypeMap = (() => {
-  const instructionArgumentTypeMap = new Array<ArgumentType>(HIGHEST_INSTRUCTION_NUMBER + 1);
-
-  instructionArgumentTypeMap[Instruction.TRAP] = ArgumentType.NO_ARGUMENTS;
-  instructionArgumentTypeMap[Instruction.FALLTHROUGH] = ArgumentType.NO_ARGUMENTS;
-
-  instructionArgumentTypeMap[Instruction.ECALLI] = ArgumentType.ONE_IMMEDIATE;
-
-  instructionArgumentTypeMap[Instruction.LOAD_IMM_64] = ArgumentType.ONE_REGISTER_ONE_EXTENDED_WIDTH_IMMEDIATE;
-
-  instructionArgumentTypeMap[Instruction.STORE_IMM_U8] = ArgumentType.TWO_IMMEDIATES;
-  instructionArgumentTypeMap[Instruction.STORE_IMM_U16] = ArgumentType.TWO_IMMEDIATES;
-  instructionArgumentTypeMap[Instruction.STORE_IMM_U32] = ArgumentType.TWO_IMMEDIATES;
-  instructionArgumentTypeMap[Instruction.STORE_IMM_U64] = ArgumentType.TWO_IMMEDIATES;
-
-  instructionArgumentTypeMap[Instruction.JUMP] = ArgumentType.ONE_OFFSET;
-
-  instructionArgumentTypeMap[Instruction.JUMP_IND] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_IMM] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_U8] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_I8] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_U16] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_I16] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_U32] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_I32] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_U64] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.STORE_U8] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.STORE_U16] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.STORE_U32] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.STORE_U64] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE;
-
-  instructionArgumentTypeMap[Instruction.STORE_IMM_IND_U8] = ArgumentType.ONE_REGISTER_TWO_IMMEDIATES;
-  instructionArgumentTypeMap[Instruction.STORE_IMM_IND_U16] = ArgumentType.ONE_REGISTER_TWO_IMMEDIATES;
-  instructionArgumentTypeMap[Instruction.STORE_IMM_IND_U32] = ArgumentType.ONE_REGISTER_TWO_IMMEDIATES;
-  instructionArgumentTypeMap[Instruction.STORE_IMM_IND_U64] = ArgumentType.ONE_REGISTER_TWO_IMMEDIATES;
-
-  instructionArgumentTypeMap[Instruction.LOAD_IMM_JUMP] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_EQ_IMM] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_NE_IMM] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_LT_U_IMM] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_LE_U_IMM] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_GE_U_IMM] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_GT_U_IMM] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_LT_S_IMM] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_LE_S_IMM] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_GE_S_IMM] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_GT_S_IMM] = ArgumentType.ONE_REGISTER_ONE_IMMEDIATE_ONE_OFFSET;
-
-  instructionArgumentTypeMap[Instruction.MOVE_REG] = ArgumentType.TWO_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SBRK] = ArgumentType.TWO_REGISTERS;
-  instructionArgumentTypeMap[Instruction.COUNT_SET_BITS_64] = ArgumentType.TWO_REGISTERS;
-  instructionArgumentTypeMap[Instruction.COUNT_SET_BITS_32] = ArgumentType.TWO_REGISTERS;
-  instructionArgumentTypeMap[Instruction.LEADING_ZERO_BITS_64] = ArgumentType.TWO_REGISTERS;
-  instructionArgumentTypeMap[Instruction.LEADING_ZERO_BITS_32] = ArgumentType.TWO_REGISTERS;
-  instructionArgumentTypeMap[Instruction.TRAILING_ZERO_BITS_64] = ArgumentType.TWO_REGISTERS;
-  instructionArgumentTypeMap[Instruction.TRAILING_ZERO_BITS_32] = ArgumentType.TWO_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SIGN_EXTEND_8] = ArgumentType.TWO_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SIGN_EXTEND_16] = ArgumentType.TWO_REGISTERS;
-  instructionArgumentTypeMap[Instruction.ZERO_EXTEND_16] = ArgumentType.TWO_REGISTERS;
-  instructionArgumentTypeMap[Instruction.REVERSE_BYTES] = ArgumentType.TWO_REGISTERS;
-
-  instructionArgumentTypeMap[Instruction.STORE_IND_U8] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.STORE_IND_U16] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.STORE_IND_U32] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.STORE_IND_U64] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_IND_U8] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_IND_I8] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_IND_U16] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_IND_I16] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_IND_U32] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_IND_I32] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.LOAD_IND_U64] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.ADD_IMM_32] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.ADD_IMM_64] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.AND_IMM] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.XOR_IMM] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.OR_IMM] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.MUL_IMM_32] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.MUL_IMM_64] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SET_LT_U_IMM] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SET_LT_S_IMM] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SHLO_L_IMM_32] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SHLO_R_IMM_32] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SHAR_R_IMM_32] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.NEG_ADD_IMM_32] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SHLO_L_IMM_64] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SHLO_R_IMM_64] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SHAR_R_IMM_64] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.NEG_ADD_IMM_64] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SET_GT_U_IMM] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SET_GT_S_IMM] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SHLO_L_IMM_ALT_32] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SHLO_R_IMM_ALT_32] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SHAR_R_IMM_ALT_32] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SHLO_L_IMM_ALT_64] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SHLO_R_IMM_ALT_64] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.SHAR_R_IMM_ALT_64] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.CMOV_IZ_IMM] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.CMOV_NZ_IMM] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.ROT_R_64_IMM] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.ROT_R_64_IMM_ALT] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.ROT_R_32_IMM] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-  instructionArgumentTypeMap[Instruction.ROT_R_32_IMM_ALT] = ArgumentType.TWO_REGISTERS_ONE_IMMEDIATE;
-
-  instructionArgumentTypeMap[Instruction.BRANCH_EQ] = ArgumentType.TWO_REGISTERS_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_NE] = ArgumentType.TWO_REGISTERS_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_LT_U] = ArgumentType.TWO_REGISTERS_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_LT_S] = ArgumentType.TWO_REGISTERS_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_GE_U] = ArgumentType.TWO_REGISTERS_ONE_OFFSET;
-  instructionArgumentTypeMap[Instruction.BRANCH_GE_S] = ArgumentType.TWO_REGISTERS_ONE_OFFSET;
-
-  instructionArgumentTypeMap[Instruction.LOAD_IMM_JUMP_IND] = ArgumentType.TWO_REGISTERS_TWO_IMMEDIATES;
-
-  instructionArgumentTypeMap[Instruction.ADD_32] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.ADD_64] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SUB_32] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SUB_64] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.AND] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.XOR] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.OR] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.MUL_32] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.MUL_64] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.MUL_UPPER_S_S] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.MUL_UPPER_U_U] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.MUL_UPPER_S_U] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.DIV_U_32] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.DIV_S_32] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.REM_U_32] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.REM_S_32] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.DIV_U_64] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.DIV_S_64] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.REM_U_64] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.REM_S_64] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SET_LT_U] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SET_LT_S] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SHLO_L_32] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SHLO_R_32] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SHAR_R_32] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SHLO_L_64] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SHLO_R_64] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.SHAR_R_64] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.CMOV_IZ] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.CMOV_NZ] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.ROT_L_64] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.ROT_L_32] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.ROT_R_64] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.ROT_R_32] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.AND_INV] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.OR_INV] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.XNOR] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.MAX] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.MAX_U] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.MIN] = ArgumentType.THREE_REGISTERS;
-  instructionArgumentTypeMap[Instruction.MIN_U] = ArgumentType.THREE_REGISTERS;
-
-  return instructionArgumentTypeMap;
-})();
-
 declare class BasicBlocks {
   private basicBlocks: Set<number> = new Set();
 
@@ -18267,66 +17976,6 @@ declare enum ProgramDecoderError {
   InvalidProgramError = 0,
 }
 
-declare class ProgramDecoder {
-  private code: Uint8Array;
-  private mask: Mask;
-  private jumpTable: JumpTable;
-
-  constructor(rawProgram: Uint8Array) {
-    const { code, mask, jumpTable, jumpTableItemLength } = this.decodeProgram(rawProgram);
-
-    this.code = new Uint8Array(code);
-    this.mask = new Mask(mask);
-    this.jumpTable = new JumpTable(jumpTableItemLength, jumpTable);
-  }
-
-  private decodeProgram(program: Uint8Array) {
-    const decoder = Decoder.fromBlob(program);
-    // number of items in the jump table
-    const jumpTableLength = decoder.varU32();
-    // how many bytes are used to encode a single item of the jump table
-    const jumpTableItemLength = decoder.u8();
-    // the length of the code (in bytes).
-    const codeLength = decoder.varU32();
-
-    const jumpTableLengthInBytes = jumpTableLength * jumpTableItemLength;
-    const jumpTable = decoder.bytes(jumpTableLengthInBytes).raw;
-
-    const code = decoder.bytes(codeLength).raw;
-    const mask = decoder.bitVecFixLen(codeLength);
-    decoder.finish();
-
-    return {
-      mask,
-      code,
-      jumpTableItemLength,
-      jumpTable,
-    };
-  }
-
-  getMask() {
-    return this.mask;
-  }
-
-  getCode() {
-    return this.code;
-  }
-
-  getJumpTable() {
-    return this.jumpTable;
-  }
-
-  /** https://graypaper.fluffylabs.dev/#/68eaa1f/23f400234701?v=0.6.4 */
-  static deblob(program: Uint8Array): Result$2<ProgramDecoder, ProgramDecoderError> {
-    try {
-      return Result.ok(new ProgramDecoder(program));
-    } catch (e) {
-      logger.error`Invalid program: ${e}`;
-      return Result.error(ProgramDecoderError.InvalidProgramError, () => `Program decoder error: ${e}`);
-    }
-  }
-}
-
 type InterpreterOptions = {
   useSbrkGas?: boolean;
 };
@@ -19609,133 +19258,10 @@ declare class DebuggerAdapter {
   }
 }
 
-type index$4_AccumulationStateUpdate = AccumulationStateUpdate;
-declare const index$4_AccumulationStateUpdate: typeof AccumulationStateUpdate;
-type index$4_Args = Args;
-type index$4_ArgsDecoder = ArgsDecoder;
-declare const index$4_ArgsDecoder: typeof ArgsDecoder;
-type index$4_ArgumentType = ArgumentType;
-declare const index$4_ArgumentType: typeof ArgumentType;
-type index$4_BasicBlocks = BasicBlocks;
-declare const index$4_BasicBlocks: typeof BasicBlocks;
-declare const index$4_CURRENT_SERVICE_ID: typeof CURRENT_SERVICE_ID;
-type index$4_EjectError = EjectError;
-declare const index$4_EjectError: typeof EjectError;
-type index$4_EnumMapping = EnumMapping;
-type index$4_ErrorResult<Error> = ErrorResult<Error>;
-type index$4_ExtendedWitdthImmediateDecoder = ExtendedWitdthImmediateDecoder;
-declare const index$4_ExtendedWitdthImmediateDecoder: typeof ExtendedWitdthImmediateDecoder;
-type index$4_ForgetPreimageError = ForgetPreimageError;
-declare const index$4_ForgetPreimageError: typeof ForgetPreimageError;
-type index$4_HostCallMemory = HostCallMemory;
-declare const index$4_HostCallMemory: typeof HostCallMemory;
-type index$4_HostCallRegisters = HostCallRegisters;
-declare const index$4_HostCallRegisters: typeof HostCallRegisters;
-declare const index$4_HostCallResult: typeof HostCallResult;
-type index$4_ImmediateDecoder = ImmediateDecoder;
-declare const index$4_ImmediateDecoder: typeof ImmediateDecoder;
-type index$4_InsufficientFundsError = InsufficientFundsError;
-declare const index$4_MAX_U32: typeof MAX_U32;
-declare const index$4_MAX_U32_BIG_INT: typeof MAX_U32_BIG_INT;
-type index$4_MachineId = MachineId;
-type index$4_MachineInstance = MachineInstance;
-declare const index$4_MachineInstance: typeof MachineInstance;
-type index$4_MachineResult = MachineResult;
-type index$4_MachineStatus = MachineStatus;
-type index$4_Mask = Mask;
-declare const index$4_Mask: typeof Mask;
-type index$4_MemoryOperation = MemoryOperation;
-declare const index$4_MemoryOperation: typeof MemoryOperation;
-type index$4_MemorySegment = MemorySegment;
-declare const index$4_MemorySegment: typeof MemorySegment;
-type index$4_NewServiceError = NewServiceError;
-declare const index$4_NewServiceError: typeof NewServiceError;
-type index$4_NibblesDecoder = NibblesDecoder;
-declare const index$4_NibblesDecoder: typeof NibblesDecoder;
-type index$4_NoMachineError = NoMachineError;
-type index$4_OK = OK;
-type index$4_OkResult<Ok> = OkResult<Ok>;
-type index$4_Opaque<Type, Token extends string> = Opaque<Type, Token>;
-type index$4_PagesError = PagesError;
-declare const index$4_PagesError: typeof PagesError;
-type index$4_PartialState = PartialState;
-type index$4_PartiallyUpdatedState<T extends StateSlice = StateSlice> = PartiallyUpdatedState<T>;
-declare const index$4_PartiallyUpdatedState: typeof PartiallyUpdatedState;
-type index$4_PeekPokeError = PeekPokeError;
-declare const index$4_PeekPokeError: typeof PeekPokeError;
-type index$4_PendingTransfer = PendingTransfer;
-declare const index$4_PendingTransfer: typeof PendingTransfer;
-type index$4_PreimageStatus = PreimageStatus;
-type index$4_PreimageStatusKind = PreimageStatusKind;
-declare const index$4_PreimageStatusKind: typeof PreimageStatusKind;
-type index$4_Program = Program;
-declare const index$4_Program: typeof Program;
-type index$4_ProgramCounter = ProgramCounter;
-type index$4_ProgramDecoder = ProgramDecoder;
-declare const index$4_ProgramDecoder: typeof ProgramDecoder;
-type index$4_ProvidePreimageError = ProvidePreimageError;
-declare const index$4_ProvidePreimageError: typeof ProvidePreimageError;
-type index$4_RefineExternalities = RefineExternalities;
-type index$4_Registers = Registers;
-declare const index$4_Registers: typeof Registers;
-type index$4_RequestPreimageError = RequestPreimageError;
-declare const index$4_RequestPreimageError: typeof RequestPreimageError;
-type index$4_RichTaggedError<Kind extends string | number, Nested> = RichTaggedError<Kind, Nested>;
-declare const index$4_RichTaggedError: typeof RichTaggedError;
-declare const index$4_SERVICE_ID_BYTES: typeof SERVICE_ID_BYTES;
-type index$4_SegmentExportError = SegmentExportError;
-type index$4_ServiceStateUpdate = ServiceStateUpdate;
-type index$4_SpiMemory = SpiMemory;
-declare const index$4_SpiMemory: typeof SpiMemory;
-type index$4_SpiProgram = SpiProgram;
-declare const index$4_SpiProgram: typeof SpiProgram;
-type index$4_StateSlice = StateSlice;
-type index$4_StringLiteral<Type> = StringLiteral<Type>;
-type index$4_TRANSFER_MEMO_BYTES = TRANSFER_MEMO_BYTES;
-type index$4_TaggedError<Kind, Nested> = TaggedError<Kind, Nested>;
-type index$4_TokenOf<OpaqueType, Type> = TokenOf<OpaqueType, Type>;
-type index$4_TransferError = TransferError;
-declare const index$4_TransferError: typeof TransferError;
-type index$4_Uninstantiable = Uninstantiable;
-type index$4_UnprivilegedError = UnprivilegedError;
-type index$4_UpdatePrivilegesError = UpdatePrivilegesError;
-declare const index$4_UpdatePrivilegesError: typeof UpdatePrivilegesError;
-type index$4_WithDebug = WithDebug;
-declare const index$4_WithDebug: typeof WithDebug;
-type index$4_WithOpaque<Token extends string> = WithOpaque<Token>;
-type index$4_ZeroVoidError = ZeroVoidError;
-declare const index$4_ZeroVoidError: typeof ZeroVoidError;
-declare const index$4___OPAQUE_TYPE__: typeof __OPAQUE_TYPE__;
-declare const index$4_asOpaqueType: typeof asOpaqueType;
-declare const index$4_assertEmpty: typeof assertEmpty;
-declare const index$4_assertNever: typeof assertNever;
-declare const index$4_check: typeof check;
-declare const index$4_clampU64ToU32: typeof clampU64ToU32;
-declare const index$4_createResults: typeof createResults;
-declare const index$4_decodeStandardProgram: typeof decodeStandardProgram;
-declare const index$4_deepCloneMapWithArray: typeof deepCloneMapWithArray;
-declare const index$4_emptyRegistersBuffer: typeof emptyRegistersBuffer;
-declare const index$4_extractCodeAndMetadata: typeof extractCodeAndMetadata;
-declare const index$4_getServiceId: typeof getServiceId;
-declare const index$4_getServiceIdOrCurrent: typeof getServiceIdOrCurrent;
-declare const index$4_inspect: typeof inspect;
-declare const index$4_instructionArgumentTypeMap: typeof instructionArgumentTypeMap;
-declare const index$4_isBrowser: typeof isBrowser;
-declare const index$4_isTaggedError: typeof isTaggedError;
-declare const index$4_lazyInspect: typeof lazyInspect;
-declare const index$4_maybeTaggedErrorToString: typeof maybeTaggedErrorToString;
-declare const index$4_measure: typeof measure;
-declare const index$4_preimageLenAsU32: typeof preimageLenAsU32;
-declare const index$4_resultToString: typeof resultToString;
-declare const index$4_seeThrough: typeof seeThrough;
-declare const index$4_slotsToPreimageStatus: typeof slotsToPreimageStatus;
-declare const index$4_toMemoryOperation: typeof toMemoryOperation;
-declare const index$4_tryAsMachineId: typeof tryAsMachineId;
-declare const index$4_tryAsProgramCounter: typeof tryAsProgramCounter;
-declare const index$4_writeServiceIdAsLeBytes: typeof writeServiceIdAsLeBytes;
 declare namespace index$4 {
-  export { index$4_AccumulationStateUpdate as AccumulationStateUpdate, index$4_ArgsDecoder as ArgsDecoder, index$4_ArgumentType as ArgumentType, index$4_BasicBlocks as BasicBlocks, index$4_CURRENT_SERVICE_ID as CURRENT_SERVICE_ID, index$4_EjectError as EjectError, index$4_ExtendedWitdthImmediateDecoder as ExtendedWitdthImmediateDecoder, index$4_ForgetPreimageError as ForgetPreimageError, index$4_HostCallMemory as HostCallMemory, index$4_HostCallRegisters as HostCallRegisters, index$4_HostCallResult as HostCallResult, index$4_ImmediateDecoder as ImmediateDecoder, index$4_MAX_U32 as MAX_U32, index$4_MAX_U32_BIG_INT as MAX_U32_BIG_INT, index$4_MachineInstance as MachineInstance, index$4_Mask as Mask, index$4_MemoryOperation as MemoryOperation, index$4_MemorySegment as MemorySegment, NO_OF_REGISTERS$1 as NO_OF_REGISTERS, index$4_NewServiceError as NewServiceError, index$4_NibblesDecoder as NibblesDecoder, index$4_PagesError as PagesError, index$4_PartiallyUpdatedState as PartiallyUpdatedState, index$4_PeekPokeError as PeekPokeError, index$4_PendingTransfer as PendingTransfer, index$4_PreimageStatusKind as PreimageStatusKind, index$4_Program as Program, index$4_ProgramDecoder as ProgramDecoder, index$4_ProvidePreimageError as ProvidePreimageError, DebuggerAdapter as Pvm, index$4_Registers as Registers, index$4_RequestPreimageError as RequestPreimageError, Result$2 as Result, index$4_RichTaggedError as RichTaggedError, index$4_SERVICE_ID_BYTES as SERVICE_ID_BYTES, index$4_SpiMemory as SpiMemory, index$4_SpiProgram as SpiProgram, index$4_TransferError as TransferError, index$4_UpdatePrivilegesError as UpdatePrivilegesError, index$4_WithDebug as WithDebug, index$4_ZeroVoidError as ZeroVoidError, index$4___OPAQUE_TYPE__ as __OPAQUE_TYPE__, index$4_asOpaqueType as asOpaqueType, index$4_assertEmpty as assertEmpty, index$4_assertNever as assertNever, index$m as block, index$t as bytes, index$4_check as check, index$4_clampU64ToU32 as clampU64ToU32, index$4_createResults as createResults, index$4_decodeStandardProgram as decodeStandardProgram, index$4_deepCloneMapWithArray as deepCloneMapWithArray, index$4_emptyRegistersBuffer as emptyRegistersBuffer, index$4_extractCodeAndMetadata as extractCodeAndMetadata, index$4_getServiceId as getServiceId, index$4_getServiceIdOrCurrent as getServiceIdOrCurrent, index$q as hash, codecServiceAccountInfoWithThresholdBalance as hostCallInfoAccount, index$4_inspect as inspect, index$4_instructionArgumentTypeMap as instructionArgumentTypeMap, index$7 as interpreter, index$4_isBrowser as isBrowser, index$4_isTaggedError as isTaggedError, index$4_lazyInspect as lazyInspect, index$4_maybeTaggedErrorToString as maybeTaggedErrorToString, index$4_measure as measure, index$s as numbers, index$4_preimageLenAsU32 as preimageLenAsU32, index$4_resultToString as resultToString, index$4_seeThrough as seeThrough, index$4_slotsToPreimageStatus as slotsToPreimageStatus, index$4_toMemoryOperation as toMemoryOperation, index$4_tryAsMachineId as tryAsMachineId, index$4_tryAsProgramCounter as tryAsProgramCounter, index$4_writeServiceIdAsLeBytes as writeServiceIdAsLeBytes };
-  export type { index$4_Args as Args, index$4_EnumMapping as EnumMapping, index$4_ErrorResult as ErrorResult, index$4_InsufficientFundsError as InsufficientFundsError, index$4_MachineId as MachineId, index$4_MachineResult as MachineResult, index$4_MachineStatus as MachineStatus, index$4_NoMachineError as NoMachineError, index$4_OK as OK, index$4_OkResult as OkResult, index$4_Opaque as Opaque, index$4_PartialState as PartialState, index$4_PreimageStatus as PreimageStatus, index$4_ProgramCounter as ProgramCounter, index$4_RefineExternalities as RefineExternalities, index$4_SegmentExportError as SegmentExportError, index$4_ServiceStateUpdate as ServiceStateUpdate, index$4_StateSlice as StateSlice, index$4_StringLiteral as StringLiteral, index$4_TRANSFER_MEMO_BYTES as TRANSFER_MEMO_BYTES, index$4_TaggedError as TaggedError, index$4_TokenOf as TokenOf, index$4_Uninstantiable as Uninstantiable, index$4_UnprivilegedError as UnprivilegedError, index$4_WithOpaque as WithOpaque };
+  export {
+    DebuggerAdapter as Pvm,
+  };
 }
 
 declare const ENTROPY_BYTES = 32;
@@ -20539,7 +20065,6 @@ declare namespace index$1 {
 /** Helper function to create most used hashes in the block */
 declare class TransitionHasher implements MmrHasher<KeccakHash> {
   constructor(
-    private readonly context: ChainSpec,
     private readonly keccakHasher: KeccakHasher,
     public readonly blake2b: Blake2b,
   ) {}