@typeberry/jam 0.1.0-08a9db1 → 0.1.0-b2d0b72

package/block-generator/index.js

@@ -3664,29 +3664,17 @@ function isBrowser() {
  * We avoid using `node:assert` to keep compatibility with a browser environment.
  * Note the checks should not have any side effects, since we might decide
  * to remove all of them in a post-processing step.
- */
-function debug_check(condition, message) {
-    if (!condition) {
-        throw new Error(`Assertion failure: ${message ?? ""}`);
-    }
-}
-function cast(_a, condition) {
-    return condition;
-}
-/**
- * Yet another function to perform runtime assertions.
- * This function returns a new type to mark in the code that this value was checked and you don't have to do it again.
  *
- * In the post-processing step all usages of this functions should be replaced with simple casting. An example:
- * const x = checkAndType<number, CheckedNumber>(y);
- * should be replaced with:
- * const x = y as CheckedNumber;
+ * NOTE the function is intended to be used as tagged template string for the performance
+ * reasons.
  */
-function debug_ensure(a, condition, message) {
-    if (cast(a, condition)) {
-        return a;
+function debug_check(strings, condition, ...data) {
+    if (!condition) {
+        // add an empty value so that `data.length === strings.length`
+        data.unshift("");
+        const message = strings.map((v, index) => `${v}${data[index] ?? ""}`);
+        throw new Error(`Assertion failure:${message.join("")}`);
     }
-    throw new Error(`Assertion failure: ${message ?? ""}`);
 }
 /**
  * The function can be used to make sure that a particular type is `never`
@@ -3856,7 +3844,7 @@ function resultToString(res) {
 const result_Result = {
     /** Create new [`Result`] with `Ok` status. */
     ok: (ok) => {
-        debug_check(ok !== undefined, "`Ok` type cannot be undefined.");
+        debug_check `${ok !== undefined} 'ok' type cannot be undefined.`;
         return {
             isOk: true,
             isError: false,
@@ -3865,7 +3853,7 @@ const result_Result = {
     },
     /** Create new [`Result`] with `Error` status. */
     error: (error, details = "") => {
-        debug_check(error !== undefined, "`Error` type cannot be undefined.");
+        debug_check `${error !== undefined} 'Error' type cannot be undefined.`;
         return {
             isOk: false,
             isError: true,
@@ -4149,7 +4137,10 @@ class bitvec_BitVec {
     constructor(data, bitLength) {
         this.data = data;
         this.bitLength = bitLength;
-        debug_check(data.length * 8 >= bitLength, `Not enough bytes in the data array. Need ${data.length * 8} has ${bitLength}.`);
+        debug_check `
+      ${data.length * 8 >= bitLength}
+      Not enough bytes in the data array. Need ${data.length * 8} has ${bitLength}.
+    `;
         this.byteLength = Math.ceil(bitLength / 8);
     }
     /** Return a raw in-memory representation of this [`BitVec`]. */
@@ -4158,7 +4149,10 @@ class bitvec_BitVec {
     }
     /** Perform OR operation on all bits in place. */
     sumWith(other) {
-        debug_check(other.bitLength === this.bitLength, `Invalid bit length for sumWith: ${other.bitLength} vs ${this.bitLength}`);
+        debug_check `
+      ${other.bitLength === this.bitLength}
+      Invalid bit length for sumWith: ${other.bitLength} vs ${this.bitLength}
+    `;
         const otherRaw = other.raw;
         for (let i = 0; i < this.byteLength; i++) {
             this.data[i] |= otherRaw[i];
@@ -4168,7 +4162,7 @@ class bitvec_BitVec {
      * Set the bit at index `idx` to value `val`.
      */
     setBit(idx, val) {
-        debug_check(idx < this.bitLength, `Index out of bounds. Need ${idx} has ${this.bitLength}.`);
+        debug_check `${idx >= 0 && idx < this.bitLength} Index out of bounds. Need ${idx} has ${this.bitLength}.`;
         const byteIndex = Math.floor(idx / 8);
         const bitIndexInByte = idx % 8;
         const mask = 1 << bitIndexInByte;
@@ -4183,7 +4177,7 @@ class bitvec_BitVec {
      * Return `true` if the bit at index `idx` is set.
      */
     isSet(idx) {
-        debug_check(idx < this.bitLength, `Index out of bounds. Need ${idx} has ${this.bitLength}.`);
+        debug_check `${idx >= 0 && idx < this.bitLength} Index out of bounds. Need ${idx} has ${this.bitLength}.`;
         const byteIndex = Math.floor(idx / 8);
         const bitIndexInByte = idx % 8;
         const mask = 1 << bitIndexInByte;
@@ -4350,7 +4344,7 @@ class bytes_BytesBlob {
     }
     /** Create a new [`BytesBlob`] from an array of bytes. */
     static blobFromNumbers(v) {
-        debug_check(v.find((x) => (x & 0xff) !== x) === undefined, "BytesBlob.blobFromNumbers used with non-byte number array.");
+        debug_check `${v.find((x) => (x & 0xff) !== x) === undefined} BytesBlob.blobFromNumbers used with non-byte number array.`;
         const arr = new Uint8Array(v);
         return new bytes_BytesBlob(arr);
     }
@@ -4394,7 +4388,7 @@ class bytes_Bytes extends bytes_BytesBlob {
     length;
     constructor(raw, len) {
         super(raw);
-        debug_check(raw.byteLength === len, `Given buffer has incorrect size ${raw.byteLength} vs expected ${len}`);
+        debug_check `${raw.byteLength === len} Given buffer has incorrect size ${raw.byteLength} vs expected ${len}`;
         this.length = len;
     }
     /** Create new [`Bytes<X>`] given a backing buffer and it's length. */
@@ -4403,7 +4397,7 @@ class bytes_Bytes extends bytes_BytesBlob {
     }
     /** Create new [`Bytes<X>`] given an array of bytes and it's length. */
     static fromNumbers(v, len) {
-        debug_check(v.find((x) => (x & 0xff) !== x) === undefined, "Bytes.fromNumbers used with non-byte number array.");
+        debug_check `${v.find((x) => (x & 0xff) !== x) === undefined} Bytes.fromNumbers used with non-byte number array.`;
         const x = new Uint8Array(v);
         return new bytes_Bytes(x, len);
     }
@@ -4414,7 +4408,7 @@ class bytes_Bytes extends bytes_BytesBlob {
     // TODO [ToDr] `fill` should have the argments swapped to align with the rest.
     /** Create a [`Bytes<X>`] with all bytes filled with given input number. */
     static fill(len, input) {
-        debug_check((input & 0xff) === input, "Input has to be a byte.");
+        debug_check `${(input & 0xff) === input} Input has to be a byte.`;
         const bytes = bytes_Bytes.zero(len);
         bytes.raw.fill(input, 0, len);
         return bytes;
@@ -4437,7 +4431,7 @@ class bytes_Bytes extends bytes_BytesBlob {
     }
     /** Compare the sequence to another one. */
     isEqualTo(other) {
-        debug_check(this.length === other.length, "Comparing incorrectly typed bytes!");
+        debug_check `${this.length === other.length} Comparing incorrectly typed bytes!`;
         return u8ArraySameLengthEqual(this.raw, other.raw);
     }
     /** Converts current type into some opaque extension. */
@@ -4446,7 +4440,7 @@ class bytes_Bytes extends bytes_BytesBlob {
     }
 }
 function byteFromString(s) {
-    debug_check(s.length === 2, "Two-character string expected");
+    debug_check `${s.length === 2} Two-character string expected`;
     const a = numberFromCharCode(s.charCodeAt(0));
     const b = numberFromCharCode(s.charCodeAt(1));
     return (a << 4) | b;
@@ -4500,42 +4494,53 @@ const bytesBlobComparator = (a, b) => a.compare(b);
 
 ;// CONCATENATED MODULE: ./packages/core/numbers/index.ts
 
-const asWithBytesRepresentation = (v) => v;
+const asTypedNumber = (v) => v;
 const MAX_VALUE_U8 = 0xff;
 const MAX_VALUE_U16 = 0xffff;
 const MAX_VALUE_U32 = 0xffff_ffff;
 const MAX_VALUE_U64 = 0xffffffffffffffffn;
 /** Attempt to cast an input number into U8. */
-const numbers_tryAsU8 = (v) => debug_ensure(v, isU8(v), `input must have one-byte representation, got ${v}`);
+const numbers_tryAsU8 = (v) => {
+    debug_check `${isU8(v)} input must have one-byte representation, got ${v}`;
+    return asTypedNumber(v);
+};
 /** Check if given number is a valid U8 number. */
 const isU8 = (v) => (v & MAX_VALUE_U8) === v;
 /** Attempt to cast an input number into U16. */
-const numbers_tryAsU16 = (v) => debug_ensure(v, isU16(v), `input must have two-byte representation, got ${v}`);
+const numbers_tryAsU16 = (v) => {
+    debug_check `${isU16(v)} input must have two-byte representation, got ${v}`;
+    return asTypedNumber(v);
+};
 /** Check if given number is a valid U16 number. */
 const isU16 = (v) => (v & MAX_VALUE_U16) === v;
 /** Attempt to cast an input number into U32. */
-const numbers_tryAsU32 = (v) => debug_ensure(v, isU32(v), `input must have four-byte representation, got ${v}`);
+const numbers_tryAsU32 = (v) => {
+    debug_check `${isU32(v)} input must have four-byte representation, got ${v}`;
+    return asTypedNumber(v);
+};
 /** Check if given number is a valid U32 number. */
 const isU32 = (v) => (v & MAX_VALUE_U32) >>> 0 === v;
 /** Attempt to cast an input number into U64. */
 const numbers_tryAsU64 = (x) => {
     const v = BigInt(x);
-    return debug_ensure(v, isU64(v), `input must have eight-byte representation, got ${x}`);
+    debug_check `${isU64(v)} input must have eight-byte representation, got ${x}`;
+    return asTypedNumber(v);
 };
 /** Check if given number is a valid U64 number. */
 const isU64 = (v) => (v & MAX_VALUE_U64) === v;
 /** Collate two U32 parts into one U64. */
 const u64FromParts = ({ lower, upper }) => {
     const val = (BigInt(upper) << 32n) + BigInt(lower);
-    return asWithBytesRepresentation(val);
+    return asTypedNumber(val);
 };
 /** Split U64 into lower & upper parts. */
 const numbers_u64IntoParts = (v) => {
-    const lower = v & (2n ** 32n - 1n);
-    const upper = v >> 32n;
+    // Number(...) safe: both parts are <= 0xffffffff
+    const lower = Number(v & (2n ** 32n - 1n));
+    const upper = Number(v >> 32n);
     return {
-        lower: asWithBytesRepresentation(Number(lower)),
-        upper: asWithBytesRepresentation(Number(upper)),
+        lower: asTypedNumber(lower),
+        upper: asTypedNumber(upper),
     };
 };
 /**
@@ -4575,8 +4580,8 @@ function numbers_u32AsLeBytes(value) {
  * Interpret 4-byte `Uint8Array` as U32 written as little endian.
  */
 function leBytesAsU32(uint8Array) {
-    check(uint8Array.length === 4, "Input must be a Uint8Array of length 4");
-    return asWithBytesRepresentation(uint8Array[0] | (uint8Array[1] << 8) | (uint8Array[2] << 16) | (uint8Array[3] << 24));
+    check `${uint8Array.length === 4} Input must be a Uint8Array of length 4`;
+    return asTypedNumber(uint8Array[0] | (uint8Array[1] << 8) | (uint8Array[2] << 16) | (uint8Array[3] << 24));
 }
 /** Get the smallest value between U64 a and values given as input parameters. */
 const minU64 = (a, ...values) => values.reduce((min, value) => (value > min ? min : value), a);
@@ -4867,7 +4872,7 @@ class decoder_Decoder {
             this.skip(newOffset - this.offset);
         }
         else {
-            debug_check(newOffset >= 0, "The offset has to be positive");
+            debug_check `${newOffset >= 0} The offset has to be positive`;
             this.offset = newOffset;
         }
     }
@@ -4895,7 +4900,7 @@ class decoder_Decoder {
         return num;
     }
     ensureHasBytes(bytes) {
-        debug_check(bytes >= 0, "Negative number of bytes given.");
+        debug_check `${bytes >= 0} Negative number of bytes given.`;
         if (this.offset + bytes > this.source.length) {
             throw new Error(`Attempting to decode more data than there is left. Need ${bytes}, left: ${this.source.length - this.offset}.`);
         }
@@ -4903,7 +4908,7 @@ class decoder_Decoder {
 }
 const MASKS = [0xff, 0xfe, 0xfc, 0xf8, 0xf0, 0xe0, 0xc0, 0x80];
 function decodeVariableLengthExtraBytes(firstByte) {
-    debug_check(firstByte >= 0 && firstByte < 256, `Incorrect byte value: ${firstByte}`);
+    debug_check `${firstByte >= 0 && firstByte < 256} Incorrect byte value: ${firstByte}`;
     for (let i = 0; i < MASKS.length; i++) {
         if (firstByte >= MASKS[i]) {
             return 8 - i;
@@ -5058,7 +5063,7 @@ class descriptor_Descriptor {
 
 
 function tryAsExactBytes(a) {
-    check(a.isExact, "The value is not exact size estimation!");
+    check `${a.isExact} The value is not exact size estimation!`;
     return a.bytes;
 }
 function addSizeHints(a, b) {
@@ -5165,8 +5170,8 @@ class encoder_Encoder {
         // we still allow positive numbers from `[maxNum / 2, maxNum)`.
         // So it does not matter if the argument is a negative value,
         // OR if someone just gave us two-complement already.
-        debug_check(num < maxNum, "Only for numbers up to 2**64 - 1");
-        debug_check(-num <= maxNum / 2n, "Only for numbers down to -2**63");
+        debug_check `${num < maxNum} Only for numbers up to 2**64 - 1`;
+        debug_check `${-num <= maxNum / 2n} Only for numbers down to -2**63`;
         this.ensureBigEnough(8);
         this.dataView.setBigInt64(this.offset, num, true);
         this.offset += 8;
@@ -5230,8 +5235,8 @@ class encoder_Encoder {
         // we still allow positive numbers from `[maxNum / 2, maxNum)`.
         // So it does not matter if the argument is a negative value,
         // OR if someone just gave us two-complement already.
-        debug_check(num < maxNum, `Only for numbers up to 2**${BITS * bytesToEncode} - 1`);
-        debug_check(-num <= maxNum / 2, `Only for numbers down to -2**${BITS * bytesToEncode - 1}`);
+        debug_check `${num < maxNum} Only for numbers up to 2**${BITS * bytesToEncode} - 1`;
+        debug_check `${-num <= maxNum / 2} Only for numbers down to -2**${BITS * bytesToEncode - 1}`;
         this.ensureBigEnough(bytesToEncode);
     }
     /**
@@ -5242,8 +5247,8 @@ class encoder_Encoder {
      * https://graypaper.fluffylabs.dev/#/579bd12/365202365202
      */
     varU32(num) {
-        debug_check(num >= 0, "Only for natural numbers.");
-        debug_check(num < 2 ** 32, "Only for numbers up to 2**32");
+        debug_check `${num >= 0} Only for natural numbers.`;
+        debug_check `${num < 2 ** 32} Only for numbers up to 2**32`;
         this.varU64(BigInt(num));
     }
     /**
@@ -5394,7 +5399,7 @@ class encoder_Encoder {
      * https://graypaper.fluffylabs.dev/#/579bd12/374400374400
      */
     sequenceVarLen(encode, elements) {
-        debug_check(elements.length <= 2 ** 32, "Wow, that's a nice long sequence you've got here.");
+        debug_check `${elements.length <= 2 ** 32} Wow, that's a nice long sequence you've got here.`;
         this.varU32(numbers_tryAsU32(elements.length));
         this.sequenceFixLen(encode, elements);
     }
@@ -5415,7 +5420,7 @@ class encoder_Encoder {
      * anyway, so if we really should throw we will.
      */
     ensureBigEnough(length, options = { silent: false }) {
-        debug_check(length >= 0, "Negative length given");
+        debug_check `${length >= 0} Negative length given`;
         const newLength = this.offset + length;
         if (newLength > MAX_LENGTH) {
             if (options.silent) {
@@ -5551,10 +5556,12 @@ class ObjectView {
     decodeUpTo(field) {
         const index = this.descriptorsKeys.indexOf(field);
         const lastField = this.descriptorsKeys[this.lastDecodedFieldIdx];
-        debug_check(this.lastDecodedFieldIdx < index, `Unjustified call to 'decodeUpTo' -
+        debug_check `
+      ${this.lastDecodedFieldIdx < index}
+      Unjustified call to 'decodeUpTo' -
        the index ($Blobindex}, ${String(field)})
        is already decoded (${this.lastDecodedFieldIdx}, ${String(lastField)}).
-      `);
+    `;
         let lastItem = this.cache.get(lastField);
         const skipper = new Skipper(this.decoder);
         // now skip all of the fields and further populate the cache.
@@ -5570,8 +5577,10 @@ class ObjectView {
             this.cache.set(field, lastItem);
             this.lastDecodedFieldIdx = i;
         }
-        const last = debug_ensure(lastItem, lastItem !== undefined, "Last item must be set, since the loop turns at least once.");
-        return last;
+        if (lastItem === undefined) {
+            throw new Error("Last item must be set, since the loop turns at least once.");
+        }
+        return lastItem;
     }
 }
 /**
@@ -5604,8 +5613,10 @@ class SequenceView {
     *[Symbol.iterator]() {
         for (let i = 0; i < this.length; i++) {
             const val = this.get(i);
-            const v = debug_ensure(val, val !== undefined, "We are within 0..this.length so all items are defined.");
-            yield v;
+            if (val === undefined) {
+                throw new Error("We are within 0..this.length so all items are defined.");
+            }
+            yield val;
         }
     }
     /** Create an array of all views mapped to some particular value. */
@@ -5648,7 +5659,10 @@ class SequenceView {
         return bytes_BytesBlob.blobFrom(this.decoder.source.subarray(this.initialDecoderOffset, this.decoder.bytesRead()));
     }
     decodeUpTo(index) {
-        debug_check(this.lastDecodedIdx < index, `Unjustified call to 'decodeUpTo' - the index (${index}) is already decoded (${this.lastDecodedIdx}).`);
+        debug_check `
+      ${this.lastDecodedIdx < index}
+      Unjustified call to 'decodeUpTo' - the index (${index}) is already decoded (${this.lastDecodedIdx}).
+    `;
         let lastItem = this.cache.get(this.lastDecodedIdx);
         const skipper = new Skipper(this.decoder);
         // now skip all of the fields and further populate the cache.
@@ -5663,8 +5677,10 @@ class SequenceView {
             this.cache.set(i, lastItem);
             this.lastDecodedIdx = i;
         }
-        const last = debug_ensure(lastItem, lastItem !== undefined, "Last item must be set, since the loop turns at least once.");
-        return last;
+        if (lastItem === undefined) {
+            throw new Error("Last item must be set, since the loop turns at least once.");
+        }
+        return lastItem;
     }
 }
 
@@ -5697,7 +5713,10 @@ const TYPICAL_DICTIONARY_LENGTH = 32;
  */
 function readonlyArray(desc) {
     return desc.convert((x) => {
-        debug_check(Array.isArray(x), `Non-arrays are not supported as 'readonly': got ${typeof x}, ${x}`);
+        debug_check `
+        ${Array.isArray(x)}
+        Non-arrays are not supported as 'readonly': got ${typeof x}, ${x}
+      `;
         // NOTE [ToDr] This assumption is incorrect in general, but it's documented
         // in the general note. We avoid `.slice()` the array for performance reasons.
         return x;
@@ -6684,7 +6703,7 @@ const BLS_KEY_BYTES = 144;
 /** Derive a Bandersnatch public key from a seed. */
 function bandersnatch_publicKey(seed) {
     const key = bandersnatch.derive_public_key(seed);
-    check(key[0] === 0, "Invalid Bandersnatch public key derived from seed");
+    check `${key[0] === 0} Invalid Bandersnatch public key derived from seed`;
     return Bytes.fromBlob(key.subarray(1), BANDERSNATCH_KEY_BYTES).asOpaque();
 }
 
@@ -6744,7 +6763,7 @@ async function verify(input) {
         data.set(signature.raw, offset);
         offset += ED25519_SIGNATURE_BYTES;
         const messageLength = message.length;
-        check(messageLength < 256, `Message needs to be shorter than 256 bytes. Got: ${messageLength}`);
+        check `${messageLength < 256} Message needs to be shorter than 256 bytes. Got: ${messageLength}`;
         data[offset] = messageLength;
         offset += 1;
         data.set(message.raw, offset);
@@ -6828,7 +6847,7 @@ class PageAllocator {
     // TODO [ToDr] Benchmark the performance!
     constructor(hashesPerPage) {
         this.hashesPerPage = hashesPerPage;
-        check(hashesPerPage > 0 && hashesPerPage >>> 0 === hashesPerPage, "Expected a non-zero integer.");
+        check `${hashesPerPage > 0 && hashesPerPage >>> 0 === hashesPerPage} Expected a non-zero integer.`;
         this.resetPage();
     }
     resetPage() {
@@ -7127,8 +7146,8 @@ class MultiMap {
      * if needed.
      */
     constructor(keysLength, keyMappers) {
-        check(keysLength > 0, "Keys cannot be empty.");
-        check(keyMappers === undefined || keyMappers.length === keysLength, "Incorrect number of key mappers given!");
+        check `${keysLength > 0} Keys cannot be empty.`;
+        check `${keyMappers === undefined || keyMappers.length === keysLength} Incorrect number of key mappers given!`;
         this.data = new Map();
         this.keyMappers = keyMappers === undefined ? Array(keysLength).fill(null) : keyMappers;
     }
@@ -7229,7 +7248,7 @@ class sized_array_FixedSizeArray extends Array {
         this.fixedLength = this.length;
     }
     static new(data, len) {
-        debug_check(data.length === len, `Expected an array of size: ${len}, got: ${data.length}`);
+        debug_check `${data.length === len} Expected an array of size: ${len}, got: ${data.length}`;
         const arr = new sized_array_FixedSizeArray(len);
         for (let i = 0; i < len; i++) {
             arr[i] = data[i];
@@ -7363,7 +7382,7 @@ class SortedArray {
     }
     /** Create a new SortedSet from two sorted collections. */
     static fromTwoSortedCollections(first, second) {
-        debug_check(first.comparator === second.comparator, "Cannot merge arrays if they do not use the same comparator");
+        debug_check `${first.comparator === second.comparator} Cannot merge arrays if they do not use the same comparator`;
         const comparator = first.comparator;
         const arr1 = first.array;
         const arr1Length = arr1.length;
@@ -7483,7 +7502,7 @@ class SortedSet extends SortedArray {
     }
     /** Create a new SortedSet from two sorted collections. */
     static fromTwoSortedCollections(first, second) {
-        debug_check(first.comparator === second.comparator, "Cannot merge arrays if they do not use the same comparator");
+        debug_check `${first.comparator === second.comparator} Cannot merge arrays if they do not use the same comparator`;
         const comparator = first.comparator;
         if (first.length === 0) {
             return SortedSet.fromSortedArray(comparator, second.array);
@@ -8121,7 +8140,10 @@ const common_tryAsCoreIndex = (v) => opaque_asOpaqueType(numbers_tryAsU16(v));
 /** Attempt to convert a number into `Epoch`. */
 const tryAsEpoch = (v) => asOpaqueType(tryAsU32(v));
 function tryAsPerValidator(array, spec) {
-    debug_check(array.length === spec.validatorsCount, `Invalid per-validator array length. Expected ${spec.validatorsCount}, got: ${array.length}`);
+    debug_check `
+    ${array.length === spec.validatorsCount}
+    Invalid per-validator array length. Expected ${spec.validatorsCount}, got: ${array.length}
+  `;
     return sized_array_asKnownSize(array);
 }
 const codecPerValidator = (val) => codecWithContext((context) => {
@@ -8130,7 +8152,10 @@ const codecPerValidator = (val) => codecWithContext((context) => {
     });
 });
 function tryAsPerEpochBlock(array, spec) {
-    debug_check(array.length === spec.epochLength, `Invalid per-epoch-block array length. Expected ${spec.epochLength}, got: ${array.length}`);
+    debug_check `
+    ${array.length === spec.epochLength}
+    Invalid per-epoch-block array length. Expected ${spec.epochLength}, got: ${array.length}
+  `;
     return sized_array_asKnownSize(array);
 }
 const codecPerEpochBlock = (val) => codecWithContext((context) => {
@@ -8401,9 +8426,14 @@ class WorkItem extends WithDebug {
 
 
 
+
 /** Verify the value is within the `WorkItemsCount` bounds. */
 function work_package_tryAsWorkItemsCount(len) {
-    return debug_ensure(len, len >= MIN_NUMBER_OF_WORK_ITEMS && len <= work_package_MAX_NUMBER_OF_WORK_ITEMS, `WorkItemsCount: Expected '${MIN_NUMBER_OF_WORK_ITEMS} <= count <= ${work_package_MAX_NUMBER_OF_WORK_ITEMS}' got ${len}`);
+    debug_check `
+    ${len >= MIN_NUMBER_OF_WORK_ITEMS && len <= work_package_MAX_NUMBER_OF_WORK_ITEMS}
+    WorkItemsCount: Expected '${MIN_NUMBER_OF_WORK_ITEMS} <= count <= ${work_package_MAX_NUMBER_OF_WORK_ITEMS}' got ${len}
+  `;
+    return numbers_tryAsU8(len);
 }
 /** Minimal number of work items in the work package or results in work report. */
 const MIN_NUMBER_OF_WORK_ITEMS = 1;
@@ -9646,7 +9676,10 @@ class AvailabilityAssignment extends WithDebug {
 
 /** Check if given array has correct length before casting to the opaque type. */
 function tryAsPerCore(array, spec) {
-    debug_check(array.length === spec.coresCount, `Invalid per-core array length. Expected ${spec.coresCount}, got: ${array.length}`);
+    debug_check `
+    ${array.length === spec.coresCount}
+    Invalid per-core array length. Expected ${spec.coresCount}, got: ${array.length}
+  `;
     return opaque_asOpaqueType(array);
 }
 const codecPerCore = (val) => codecWithContext((context) => {
@@ -10897,7 +10930,7 @@ class InMemoryState extends WithDebug {
     }
     removeServices(servicesRemoved) {
         for (const serviceId of servicesRemoved ?? []) {
-            debug_check(this.services.has(serviceId), `Attempting to remove non-existing service: ${serviceId}`);
+            debug_check `${this.services.has(serviceId)} Attempting to remove non-existing service: ${serviceId}`;
             this.services.delete(serviceId);
         }
     }
@@ -10914,7 +10947,10 @@ class InMemoryState extends WithDebug {
             }
             else if (kind === UpdateStorageKind.Remove) {
                 const { key } = action;
-                debug_check(service.data.storage.has(key.toString()), `Attempting to remove non-existing storage item at ${serviceId}: ${action.key}`);
+                debug_check `
+          ${service.data.storage.has(key.toString())}
+          Attempting to remove non-existing storage item at ${serviceId}: ${action.key}
+        `;
                 service.data.storage.delete(key.toString());
             }
             else {
@@ -11597,12 +11633,12 @@ class TrieNode {
     }
     /** View this node as a branch node */
     asBranchNode() {
-        debug_check(this.getNodeType() === NodeType.Branch);
+        debug_check `${this.getNodeType() === NodeType.Branch} not a branch!`;
         return new BranchNode(this);
     }
     /** View this node as a leaf node */
     asLeafNode() {
-        debug_check(this.getNodeType() !== NodeType.Branch);
+        debug_check `${this.getNodeType() !== NodeType.Branch} not a leaf!`;
         return new LeafNode(this);
     }
     toString() {
@@ -12090,7 +12126,7 @@ function createSubtreeForBothLeaves(traversedPath, nodes, leafToReplace, leaf) {
  * Return a single bit from `key` located at `bitIndex`.
  */
 function getBit(key, bitIndex) {
-    debug_check(bitIndex < TRUNCATED_KEY_BITS);
+    debug_check `${bitIndex < TRUNCATED_KEY_BITS} invalid bit index passed ${bitIndex}`;
     const byte = bitIndex >>> 3;
     const bit = bitIndex - (byte << 3);
     const mask = 0b10_00_00_00 >>> bit;
@@ -13415,7 +13451,7 @@ class TypedPort {
      * Send a response given the worker that has previously requested something.
      */
     respond(localState, request, data, transferList) {
-        debug_check(request.kind === "request");
+        debug_check `${request.kind === "request"}`;
         this.postMessage({
             kind: "response",
             id: request.id,
@@ -13446,10 +13482,11 @@ class TypedPort {
             throw new Error(`Invalid message: ${JSON.stringify(msg)}.`);
         }
         switch (msg.kind) {
-            case "response":
-                debug_check(this.responseListeners.eventNames().indexOf(reqEvent(msg.id)) !== -1);
+            case "response": {
+                debug_check `${this.responseListeners.eventNames().indexOf(reqEvent(msg.id)) !== -1}`;
                 this.responseListeners.emit(reqEvent(msg.id), null, msg.data, msg.name, msg.localState, msg);
                 break;
+            }
             case "signal":
                 this.listeners.emit("signal", msg.name, msg.data, msg.localState, msg);
                 break;
@@ -13664,9 +13701,9 @@ class MessageChannelStateMachine {
         const promise = new Promise((resolve, reject) => {
             parentPort.once("message", (value) => {
                 try {
-                    debug_check(value.kind === "request", "The initial message should be a request with channel.");
-                    debug_check(value.name === CHANNEL_MESSAGE);
-                    debug_check(value.data instanceof external_node_worker_threads_namespaceObject.MessagePort);
+                    debug_check `${value.kind === "request"} The initial message should be a request with channel.`;
+                    debug_check `${value.name === CHANNEL_MESSAGE}`;
+                    debug_check `${value.data instanceof external_node_worker_threads_namespaceObject.MessagePort}`;
                     const port = new TypedPort(value.data);
                     port.respond(machine.currentState().stateName, value, Ok);
                     resolve(port);
@@ -13746,7 +13783,7 @@ class StateMachine {
     /** Get state object by name. */
     getState(name) {
         const state = this.allStates.get(name);
-        debug_check(state !== undefined, `Unable to retrieve state object for ${name}.`);
+        debug_check `${state !== undefined} Unable to retrieve state object for ${name}.`;
         return state;
     }
     /** Get the currently active state object. */
@@ -14090,19 +14127,22 @@ class Preimages {
 
 const NO_OF_REGISTERS = 13;
 const REGISTER_SIZE_SHIFT = 3;
-const registers_tryAsRegisterIndex = (index) => ensure(index, index >= 0 && index <= NO_OF_REGISTERS, `Incorrect register index: ${index}!`);
+const registers_tryAsRegisterIndex = (index) => {
+    check `${index >= 0 && index < NO_OF_REGISTERS} Incorrect register index: ${index}!`;
+    return asOpaqueType(index);
+};
 class registers_Registers {
     bytes;
     asSigned;
     asUnsigned;
     constructor(bytes = new Uint8Array(NO_OF_REGISTERS << REGISTER_SIZE_SHIFT)) {
         this.bytes = bytes;
-        check(bytes.length === NO_OF_REGISTERS << REGISTER_SIZE_SHIFT, "Invalid size of registers array.");
+        check `${bytes.length === NO_OF_REGISTERS << REGISTER_SIZE_SHIFT} Invalid size of registers array.`;
         this.asSigned = new BigInt64Array(bytes.buffer, bytes.byteOffset);
         this.asUnsigned = new BigUint64Array(bytes.buffer, bytes.byteOffset);
     }
     static fromBytes(bytes) {
-        check(bytes.length === NO_OF_REGISTERS << REGISTER_SIZE_SHIFT, "Invalid size of registers array.");
+        check `${bytes.length === NO_OF_REGISTERS << REGISTER_SIZE_SHIFT} Invalid size of registers array.`;
         return new registers_Registers(bytes);
     }
     getBytesAsLittleEndian(index, len) {
@@ -14248,7 +14288,7 @@ class mask_Mask {
         return this.lookupTableForward[index] === 0;
     }
     getNoOfBytesToNextInstruction(index) {
-        check(index >= 0, `index (${index}) cannot be a negative number`);
+        check `${index >= 0} index (${index}) cannot be a negative number`;
         return Math.min(this.lookupTableForward[index] ?? 0, MAX_INSTRUCTION_DISTANCE);
     }
     buildLookupTableForward(mask) {
@@ -15134,7 +15174,7 @@ const PAGE_SIZE_SHIFT = 12;
 const memory_consts_PAGE_SIZE = 1 << PAGE_SIZE_SHIFT;
 const MIN_ALLOCATION_SHIFT = (() => {
     const MIN_ALLOCATION_SHIFT = 7;
-    debug_check(MIN_ALLOCATION_SHIFT >= 0 && MIN_ALLOCATION_SHIFT < PAGE_SIZE_SHIFT, "incorrect minimal allocation shift");
+    debug_check `${MIN_ALLOCATION_SHIFT >= 0 && MIN_ALLOCATION_SHIFT < PAGE_SIZE_SHIFT} incorrect minimal allocation shift`;
     return MIN_ALLOCATION_SHIFT;
 })();
 const MIN_ALLOCATION_LENGTH = memory_consts_PAGE_SIZE >> MIN_ALLOCATION_SHIFT;
@@ -15147,16 +15187,28 @@ const MAX_NUMBER_OF_PAGES = memory_consts_MEMORY_SIZE / memory_consts_PAGE_SIZE;
 ;// CONCATENATED MODULE: ./packages/core/pvm-interpreter/memory/memory-index.ts
 
 
-const memory_index_tryAsMemoryIndex = (index) => debug_ensure(index, index >= 0 && index <= memory_consts_MAX_MEMORY_INDEX, `Incorrect memory index: ${index}!`);
-const memory_index_tryAsSbrkIndex = (index) => ensure(index, index >= 0 && index <= MAX_MEMORY_INDEX + 1, `Incorrect sbrk index: ${index}!`);
+const memory_index_tryAsMemoryIndex = (index) => {
+    debug_check `${index >= 0 && index <= memory_consts_MAX_MEMORY_INDEX} Incorrect memory index: ${index}!`;
+    return opaque_asOpaqueType(index);
+};
+const memory_index_tryAsSbrkIndex = (index) => {
+    check `${index >= 0 && index <= MAX_MEMORY_INDEX + 1} Incorrect sbrk index: ${index}!`;
+    return asOpaqueType(index);
+};
 
 ;// CONCATENATED MODULE: ./packages/core/pvm-interpreter/memory/pages/page-utils.ts
 
 
 /** Ensure that given memory `index` is within `[0...PAGE_SIZE)` and can be used to index a page */
-const page_utils_tryAsPageIndex = (index) => ensure(index, index >= 0 && index < PAGE_SIZE, `Incorect page index: ${index}!`);
+const page_utils_tryAsPageIndex = (index) => {
+    check `${index >= 0 && index < PAGE_SIZE}, Incorect page index: ${index}!`;
+    return asOpaqueType(index);
+};
 /** Ensure that given `index` represents an index of one of the pages. */
-const page_utils_tryAsPageNumber = (index) => debug_ensure(index, index >= 0 && index <= LAST_PAGE_NUMBER, `Incorrect page number: ${index}!`);
+const page_utils_tryAsPageNumber = (index) => {
+    debug_check `${index >= 0 && index <= LAST_PAGE_NUMBER}, Incorect page number: ${index}!`;
+    return opaque_asOpaqueType(index);
+};
 /**
  * Get the next page number and wrap the result if it is bigger than LAST_PAGE_NUMBER
  *
@@ -15688,10 +15740,10 @@ class memory_builder_MemoryBuilder {
      */
     setReadablePages(start, end, data = new Uint8Array()) {
         this.ensureNotFinalized();
-        check(start < end, "end has to be bigger than start");
-        check(start % PAGE_SIZE === 0, `start needs to be a multiple of page size (${PAGE_SIZE})`);
-        check(end % PAGE_SIZE === 0, `end needs to be a multiple of page size (${PAGE_SIZE})`);
-        check(data.length <= end - start, "the initial data is longer than address range");
+        check `${start < end} end has to be bigger than start`;
+        check `${start % PAGE_SIZE === 0} start needs to be a multiple of page size (${PAGE_SIZE})`;
+        check `${end % PAGE_SIZE === 0} end needs to be a multiple of page size (${PAGE_SIZE})`;
+        check `${data.length <= end - start} the initial data is longer than address range`;
         const length = end - start;
         const range = MemoryRange.fromStartAndLength(start, length);
         this.ensureNoReservedMemoryUsage(range);
@@ -15716,10 +15768,10 @@ class memory_builder_MemoryBuilder {
      */
     setWriteablePages(start, end, data = new Uint8Array()) {
         this.ensureNotFinalized();
-        check(start < end, "end has to be bigger than start");
-        check(start % PAGE_SIZE === 0, `start needs to be a multiple of page size (${PAGE_SIZE})`);
-        check(end % PAGE_SIZE === 0, `end needs to be a multiple of page size (${PAGE_SIZE})`);
-        check(data.length <= end - start, "the initial data is longer than address range");
+        check `${start < end} end has to be bigger than start`;
+        check `${start % PAGE_SIZE === 0} start needs to be a multiple of page size (${PAGE_SIZE})`;
+        check `${end % PAGE_SIZE === 0} end needs to be a multiple of page size (${PAGE_SIZE})`;
+        check `${data.length <= end - start} the initial data is longer than address range`;
         const length = end - start;
         const range = MemoryRange.fromStartAndLength(start, length);
         this.ensureNoReservedMemoryUsage(range);
@@ -15741,7 +15793,7 @@ class memory_builder_MemoryBuilder {
         this.ensureNotFinalized();
         const pageOffset = start % PAGE_SIZE;
         const remainingSpaceOnPage = PAGE_SIZE - pageOffset;
-        check(data.length <= remainingSpaceOnPage, "The data has to fit into a single page.");
+        check `${data.length <= remainingSpaceOnPage} The data has to fit into a single page.`;
         const length = data.length;
         const range = MemoryRange.fromStartAndLength(start, length);
         this.ensureNoReservedMemoryUsage(range);
@@ -15755,7 +15807,10 @@ class memory_builder_MemoryBuilder {
         return this;
     }
     finalize(startHeapIndex, endHeapIndex) {
-        check(startHeapIndex <= endHeapIndex, `startHeapIndex (${startHeapIndex}) has to be less than or equal to endHeapIndex (${endHeapIndex})`);
+        check `
+      ${startHeapIndex <= endHeapIndex}
+      startHeapIndex (${startHeapIndex}) has to be less than or equal to endHeapIndex (${endHeapIndex})
+    `;
         this.ensureNotFinalized();
         const range = MemoryRange.fromStartAndLength(startHeapIndex, endHeapIndex - startHeapIndex);
         const pages = PageRange.fromMemoryRange(range);
@@ -15857,7 +15912,7 @@ function math_utils_mulU64(a, b) {
  *
  * The result of multiplication is a 64-bits number and we are only interested in the part that lands in the upper 32-bits.
  * For example if we multiply `0xffffffff * 0xffffffff`, we get:
- 
+
  * |       64-bits      |       64-bits      |
  * +--------------------+--------------------+
  * |        upper       |        lower       |
@@ -15893,7 +15948,7 @@ function math_utils_mulUpperSS(a, b) {
     return interpretAsSigned(resultLimitedTo64Bits);
 }
 function math_utils_unsignedRightShiftBigInt(value, shift) {
-    check(shift >= 0, "Shift count must be non-negative");
+    check `${shift >= 0} Shift count must be non-negative`;
     const fillBit = value < 0 ? "1" : "0";
     // Convert the BigInt to its binary representation
     const binaryRepresentation = value.toString(2).padStart(64, fillBit);
@@ -17252,7 +17307,10 @@ class two_regs_two_imms_dispatcher_TwoRegsTwoImmsDispatcher {
 class jump_table_JumpTable {
     indices;
     constructor(itemByteLength, bytes) {
-        check(itemByteLength === 0 || bytes.length % itemByteLength === 0, `Length of jump table (${bytes.length}) should be a multiple of item lenght (${itemByteLength})!`);
+        check `
+      ${itemByteLength === 0 || bytes.length % itemByteLength === 0}
+      Length of jump table (${bytes.length}) should be a multiple of item lenght (${itemByteLength})!
+    `;
         const length = itemByteLength === 0 ? 0 : bytes.length / itemByteLength;
         this.indices = new Uint32Array(length);
         for (let i = 0; i < length; i++) {
@@ -17696,7 +17754,10 @@ class ReturnValue {
         this.consumedGas = consumedGas;
         this.status = status;
         this.memorySlice = memorySlice;
-        check((status === null && memorySlice !== null) || (status !== null && memorySlice === null), "`status` and `memorySlice` must not both be null or both be non-null — exactly one must be provided");
+        check `
+      ${(status === null && memorySlice !== null) || (status !== null && memorySlice === null)}
+      'status' and 'memorySlice' must not both be null or both be non-null — exactly one must be provided
+    `;
     }
     static fromStatus(consumedGas, status) {
         return new ReturnValue(consumedGas, status, null);
@@ -17745,7 +17806,10 @@ class HostCalls {
             if (status !== Status.HOST) {
                 return this.getReturnValue(status, pvmInstance);
             }
-            check(pvmInstance.getExitParam() !== null, "We know that the exit param is not null, because the status is `Status.HOST`");
+            check `
+        ${pvmInstance.getExitParam() !== null}
+        "We know that the exit param is not null, because the status is 'Status.HOST'
+      `;
             const hostCallIndex = pvmInstance.getExitParam() ?? -1;
             const gas = pvmInstance.getGasCounter();
             const regs = new HostCallRegisters(pvmInstance.getRegisters());
@@ -17805,7 +17869,7 @@ class host_calls_manager_HostCallsManager {
     constructor({ missing, handlers = [], }) {
         this.missing = missing;
         for (const handler of handlers) {
-            check(this.hostCalls.get(handler.index) === undefined, `Overwriting host call handler at index ${handler.index}`);
+            check `${this.hostCalls.get(handler.index) === undefined} Overwriting host call handler at index ${handler.index}`;
             this.hostCalls.set(handler.index, handler);
         }
     }
@@ -17928,7 +17992,7 @@ function getServiceId(serviceId) {
     return null;
 }
 function writeServiceIdAsLeBytes(serviceId, destination) {
-    check(destination.length >= SERVICE_ID_BYTES, "Not enough space in the destination.");
+    check `${destination.length >= SERVICE_ID_BYTES} Not enough space in the destination.`;
     destination.set(u32AsLeBytes(serviceId));
 }
 /** Clamp a U64 to the maximum value of a 32-bit unsigned integer. */
@@ -17996,13 +18060,27 @@ class SpiProgram extends WithDebug {
         this.registers = registers;
     }
 }
+/**
+ * program = E_3(|o|) ++ E_3(|w|) ++ E_2(z) ++ E_3(s) ++ o ++ w ++ E_4(|c|) ++ c
+ *
+ * E_n - little endian encoding, n - length
+ * o - initial read only data
+ * w - initial heap
+ * z - heap pages filled with zeros
+ * s - stack size
+ * c - program code
+ *
+ * https://graypaper.fluffylabs.dev/#/579bd12/2b92022b9202
+ */
 function decode_standard_program_decodeStandardProgram(program, args) {
     const decoder = Decoder.fromBlob(program);
     const oLength = decoder.u24();
     const wLength = decoder.u24();
-    const argsLength = ensure(args.length, args.length <= DATA_LEGNTH, "Incorrect arguments length");
-    const readOnlyLength = ensure(oLength, oLength <= DATA_LEGNTH, "Incorrect readonly segment length");
-    const heapLength = ensure(wLength, wLength <= DATA_LEGNTH, "Incorrect heap segment length");
+    check `${args.length <= DATA_LENGTH} Incorrect arguments length`;
+    check `${oLength <= DATA_LENGTH} Incorrect readonly segment length`;
+    const readOnlyLength = oLength;
+    check `${wLength <= DATA_LENGTH} Incorrect heap segment length`;
+    const heapLength = wLength;
     const noOfHeapZerosPages = decoder.u16();
     const stackSize = decoder.u24();
     const readOnlyMemory = decoder.bytes(readOnlyLength).raw;
@@ -18018,14 +18096,14 @@ function decode_standard_program_decodeStandardProgram(program, args) {
     const stackStart = STACK_SEGMENT - alignToPageSize(stackSize);
     const stackEnd = STACK_SEGMENT;
     const argsStart = ARGS_SEGMENT;
-    const argsEnd = argsStart + alignToPageSize(argsLength);
-    const argsZerosEnd = argsEnd + alignToPageSize(argsLength);
+    const argsEnd = argsStart + alignToPageSize(args.length);
+    const argsZerosEnd = argsEnd + alignToPageSize(args.length);
     function nonEmpty(s) {
         return s !== false;
     }
     const readableMemory = [
         readOnlyLength > 0 && getMemorySegment(readonlyDataStart, readonlyDataEnd, readOnlyMemory),
-        argsLength > 0 && getMemorySegment(argsStart, argsEnd, args),
+        args.length > 0 && getMemorySegment(argsStart, argsEnd, args),
         argsEnd < argsZerosEnd && getMemorySegment(argsEnd, argsZerosEnd),
     ].filter(nonEmpty);
     const writeableMemory = [