@typeberry/convert 0.5.9 → 0.5.10

package/index.js

@@ -4626,7 +4626,7 @@ function seeThrough(v) {
 }
 
 ;// CONCATENATED MODULE: ./packages/core/utils/package.json
-const package_namespaceObject = {"rE":"0.5.9"};
+const package_namespaceObject = {"rE":"0.5.10"};
 ;// CONCATENATED MODULE: ./packages/core/utils/result.ts
 
 /**
@@ -9599,14 +9599,31 @@ class RefineContext extends WithDebug {
 ;// CONCATENATED MODULE: ./packages/jam/block/work-item-segment.ts
 
 
-/** `W_E`: The basic size of erasure-coded pieces in octets. See equation H.6. */
+/**
+ * `W_E`: The basic size of erasure-coded pieces in octets. See equation H.6.
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/449600449700?v=0.7.2
+ */
 const W_E = 684;
-/** `W_S`: The size of an exported segment in erasure-coded pieces in octets. */
-const W_S = 6;
-/** `W_M`: The maximum number of entries in a work-package manifest. */
-const MAX_NUMBER_OF_SEGMENTS = 2048; // 2**11
-/** `W_E * W_S`: Exported segment size in bytes. */
-const SEGMENT_BYTES = W_E * W_S;
+/**
+ * `W_P`: The size of an exported segment in erasure-coded pieces in octets.
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/44b10044b200?v=0.7.2
+ */
+const W_P = 6;
+/**
+ * `W_M`: The maximum number of imports in a work-package manifest.
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/44ad0044ae00?v=0.7.2
+ */
+const MAX_NUMBER_OF_IMPORTS_WP = 3072;
+/**
+ * `W_X`: The maximum number of exports in a work-package manifest.
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/44be0044bf00?v=0.7.2
+ */
+const MAX_NUMBER_OF_EXPORTS_WP = 3072;
+/**
+ * `W_G = W_E * W_P`: Exported segment size in bytes.
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/449a00449b00?v=0.7.2
+ */
+const SEGMENT_BYTES = W_E * W_P;
 /** Attempt to convert a number into `SegmentIndex`. */
 const tryAsSegmentIndex = (v) => asOpaqueType(tryAsU16(v));
 
@@ -9716,13 +9733,17 @@ class work_item_WorkItem extends WithDebug {
         codeHash: codec_codec.bytes(hash_HASH_SIZE).asOpaque(),
         refineGasLimit: codec_codec.u64.asOpaque(),
         accumulateGasLimit: codec_codec.u64.asOpaque(),
+        // TODO: [MaSo] It should be validated to not exceed W_X
+        // https://graypaper.fluffylabs.dev/#/ab2cdbd/1a0b011a1c01?v=0.7.2
         exportCount: codec_codec.u16,
         payload: codec_codec.blob,
         importSegments: codecKnownSizeArray(ImportSpec.Codec, {
             minLength: 0,
-            maxLength: MAX_NUMBER_OF_SEGMENTS,
-            typicalLength: MAX_NUMBER_OF_SEGMENTS,
+            maxLength: MAX_NUMBER_OF_IMPORTS_WP,
+            typicalLength: MAX_NUMBER_OF_IMPORTS_WP,
         }),
+        // TODO: [MaSo] It should be validated to not exceed T = 128
+        // https://graypaper.fluffylabs.dev/#/ab2cdbd/1a0b011a1c01?v=0.7.2
         extrinsic: codec_codec.sequenceVarLen(WorkItemExtrinsicSpec.Codec),
     });
     static create({ service, codeHash, payload, refineGasLimit, accumulateGasLimit, importSegments, extrinsic, exportCount, }) {
@@ -9770,12 +9791,8 @@ class work_item_WorkItem extends WithDebug {
 
 
 
-/** Convert the value to `WorkItemsCount` bounds. */
+/** Convert the value to `WorkItemsCount`. Validation is done at runtime by `isWorkItemsCount`. */
 function tryAsWorkItemsCount(len) {
-    debug_check `
-    ${isWorkItemsCount(len)}
-    WorkItemsCount: Expected '${MIN_NUMBER_OF_WORK_ITEMS} <= count <= ${work_package_MAX_NUMBER_OF_WORK_ITEMS}' got ${len}
-  `;
     return tryAsU8(len);
 }
 /** Verify the value is within the `WorkItemsCount` bounds. */
@@ -10198,18 +10215,10 @@ const guaranteesExtrinsicCodec = codecWithContext((context) => codecKnownSizeArr
 
 
 
-function tryAsTicketAttempt(x, chainSpec) {
-    if (x >= chainSpec.ticketsPerValidator) {
-        throw new Error(`Ticket attempt ${x} is out of bounds [0, ${chainSpec.ticketsPerValidator})`);
-    }
+function tryAsTicketAttempt(x) {
     return opaque_asOpaqueType(tryAsU8(x));
 }
-const ticketAttemptCodec = codecWithContext((context) => {
-    return codec_codec.varU32.convert((x) => {
-        tryAsTicketAttempt(x, context);
-        return numbers_tryAsU32(x);
-    }, (x) => tryAsTicketAttempt(x, context));
-});
+const ticketAttemptCodec = codec_codec.varU32.convert((x) => numbers_tryAsU32(x), (x) => tryAsTicketAttempt(x));
 /* Bandersnatch-signed ticket contest entry. */
 class SignedTicket extends WithDebug {
     attempt;
@@ -10875,8 +10884,8 @@ var fromJson;
     fromJson.bytesBlob = json.fromString(bytes_BytesBlob.parseBlob);
     fromJson.bytesBlobNoPrefix = json.fromString(bytes_BytesBlob.parseBlobNoPrefix);
     fromJson.ed25519Signature = json.fromString((v) => bytes_Bytes.parseBytes(v, 64).asOpaque());
-    fromJson.ticketAttempt = (spec) => json.fromNumber((v) => {
-        return tryAsTicketAttempt(v, spec);
+    fromJson.ticketAttempt = json.fromNumber((v) => {
+        return tryAsTicketAttempt(v);
     });
     fromJson.uint8Array = json.fromAny((v) => {
         if (Array.isArray(v)) {
@@ -11005,13 +11014,13 @@ const workExecResultFromJson = json.object({
     throw new Error("Invalid WorkExecResult");
 });
 const workRefineLoadFromJson = json.object({
-    gas_used: json.fromNumber((x) => tryAsServiceGas(x)),
+    gas_used: json.fromBigInt((x) => tryAsServiceGas(x)),
     imports: "number",
     extrinsic_count: "number",
     extrinsic_size: "number",
     exports: "number",
 }, ({ gas_used, imports, extrinsic_count, extrinsic_size, exports }) => WorkRefineLoad.create({
-    gasUsed: tryAsServiceGas(gas_used),
+    gasUsed: gas_used,
     importedSegments: numbers_tryAsU32(imports),
     extrinsicCount: numbers_tryAsU32(extrinsic_count),
     extrinsicSize: numbers_tryAsU32(extrinsic_size),
@@ -11116,13 +11125,11 @@ const preimagesExtrinsicFromJson = json.array(preimageFromJson);
 
 
 
-const ticketsExtrinsicFromJson = (spec) => {
-    const ticketEnvelopeFromJson = json.object({
-        attempt: fromJson.ticketAttempt(spec),
-        signature: json.fromString((v) => bytes_Bytes.parseBytes(v, BANDERSNATCH_PROOF_BYTES).asOpaque()),
-    }, (x) => SignedTicket.create({ attempt: x.attempt, signature: x.signature }));
-    return json.array(ticketEnvelopeFromJson);
-};
+const ticketEnvelopeFromJson = json.object({
+    attempt: fromJson.ticketAttempt,
+    signature: json.fromString((v) => bytes_Bytes.parseBytes(v, BANDERSNATCH_PROOF_BYTES).asOpaque()),
+}, (x) => SignedTicket.create({ attempt: x.attempt, signature: x.signature }));
+const ticketsExtrinsicFromJson = json.array(ticketEnvelopeFromJson);
 
 ;// CONCATENATED MODULE: ./packages/jam/block-json/extrinsic.ts
 
@@ -11133,7 +11140,7 @@ const ticketsExtrinsicFromJson = (spec) => {
 
 
 const getExtrinsicFromJson = (ctx) => json.object({
-    tickets: ticketsExtrinsicFromJson(ctx),
+    tickets: ticketsExtrinsicFromJson,
     preimages: preimagesExtrinsicFromJson,
     guarantees: guaranteesExtrinsicFromJson,
     assurances: getAssurancesExtrinsicFromJson(ctx),
@@ -11157,41 +11164,39 @@ const epochMark = json.object({
     tickets_entropy: fromJson.bytes32(),
     validators: json.array(validatorKeysFromJson),
 }, (x) => EpochMarker.create({ entropy: x.entropy, ticketsEntropy: x.tickets_entropy, validators: x.validators }));
-const headerFromJson = (spec) => {
-    const ticket = json.object({
-        id: fromJson.bytes32(),
-        attempt: fromJson.ticketAttempt(spec),
-    }, (x) => Ticket.create({ id: x.id, attempt: x.attempt }));
-    return json.object({
-        parent: fromJson.bytes32(),
-        parent_state_root: fromJson.bytes32(),
-        extrinsic_hash: fromJson.bytes32(),
-        slot: "number",
-        epoch_mark: json.optional(epochMark),
-        tickets_mark: json.optional(json.array(ticket)),
-        offenders_mark: json.array(fromJson.bytes32()),
-        author_index: "number",
-        entropy_source: bandersnatchVrfSignature,
-        seal: bandersnatchVrfSignature,
-    }, ({ parent, parent_state_root, extrinsic_hash, slot, epoch_mark, tickets_mark, offenders_mark, author_index, entropy_source, seal, }) => {
-        const epochMarker = epoch_mark ?? null;
-        const ticketsMarker = tickets_mark === undefined || tickets_mark === null
-            ? null
-            : TicketsMarker.create({ tickets: opaque_asOpaqueType(tickets_mark) });
-        return header_Header.create({
-            parentHeaderHash: parent,
-            priorStateRoot: parent_state_root,
-            extrinsicHash: extrinsic_hash,
-            timeSlotIndex: slot,
-            epochMarker,
-            ticketsMarker,
-            offendersMarker: offenders_mark,
-            bandersnatchBlockAuthorIndex: author_index,
-            entropySource: entropy_source,
-            seal,
-        });
+const ticket = json.object({
+    id: fromJson.bytes32(),
+    attempt: fromJson.ticketAttempt,
+}, (x) => Ticket.create({ id: x.id, attempt: x.attempt }));
+const headerFromJson = json.object({
+    parent: fromJson.bytes32(),
+    parent_state_root: fromJson.bytes32(),
+    extrinsic_hash: fromJson.bytes32(),
+    slot: "number",
+    epoch_mark: json.optional(epochMark),
+    tickets_mark: json.optional(json.array(ticket)),
+    offenders_mark: json.array(fromJson.bytes32()),
+    author_index: "number",
+    entropy_source: bandersnatchVrfSignature,
+    seal: bandersnatchVrfSignature,
+}, ({ parent, parent_state_root, extrinsic_hash, slot, epoch_mark, tickets_mark, offenders_mark, author_index, entropy_source, seal, }) => {
+    const epochMarker = epoch_mark ?? null;
+    const ticketsMarker = tickets_mark === undefined || tickets_mark === null
+        ? null
+        : TicketsMarker.create({ tickets: opaque_asOpaqueType(tickets_mark) });
+    return header_Header.create({
+        parentHeaderHash: parent,
+        priorStateRoot: parent_state_root,
+        extrinsicHash: extrinsic_hash,
+        timeSlotIndex: slot,
+        epochMarker,
+        ticketsMarker,
+        offendersMarker: offenders_mark,
+        bandersnatchBlockAuthorIndex: author_index,
+        entropySource: entropy_source,
+        seal,
     });
-};
+});
 
 ;// CONCATENATED MODULE: ./packages/jam/block-json/block.ts
 
@@ -11199,7 +11204,7 @@ const headerFromJson = (spec) => {
 
 
 const blockFromJson = (spec) => json.object({
-    header: headerFromJson(spec),
+    header: headerFromJson,
     extrinsic: getExtrinsicFromJson(spec),
 }, ({ header, extrinsic }) => Block.create({ header, extrinsic }));
 const blockViewFromJson = (spec) => {
@@ -14051,15 +14056,15 @@ const recentBlocksHistoryFromJson = json.object({
 
 
 
-const ticketFromJson = (spec) => json.object({
+const ticketFromJson = json.object({
     id: fromJson.bytes32(),
-    attempt: fromJson.ticketAttempt(spec),
+    attempt: fromJson.ticketAttempt,
 }, Ticket.create);
 class TicketsOrKeys {
-    static fromJson(spec) {
+    static fromJson() {
         return {
             keys: json.optional(json.array(fromJson.bytes32())),
-            tickets: json.optional(json.array(ticketFromJson(spec))),
+            tickets: json.optional(json.array(ticketFromJson)),
         };
     }
     keys;
@@ -14235,8 +14240,8 @@ const fullStateDumpFromJson = (spec) => json.object({
     beta: json.nullable(recentBlocksHistoryFromJson),
     gamma: {
         gamma_k: json.array(validatorDataFromJson),
-        gamma_a: json.array(ticketFromJson(spec)),
-        gamma_s: TicketsOrKeys.fromJson(spec),
+        gamma_a: json.array(ticketFromJson),
+        gamma_s: TicketsOrKeys.fromJson(),
         gamma_z: json.fromString((v) => bytes_Bytes.parseBytes(v, BANDERSNATCH_RING_ROOT_BYTES).asOpaque()),
     },
     psi: disputesRecordsFromJson,
@@ -16089,12 +16094,10 @@ class TestState {
     keyvals;
 }
 class StateTransitionGenesis {
-    static fromJson(spec = chain_spec_tinyChainSpec) {
-        return {
-            header: headerFromJson(spec),
-            state: TestState.fromJson,
-        };
-    }
+    static fromJson = {
+        header: headerFromJson,
+        state: TestState.fromJson,
+    };
     static Codec = codec_codec.object({
         header: header_Header.Codec,
         state: TestState.Codec,
@@ -20154,7 +20157,7 @@ const SUPPORTED_TYPES = [
         name: "header",
         encode: header_Header.Codec,
         decode: header_Header.Codec,
-        json: (spec) => headerFromJson(spec),
+        json: (_spec) => headerFromJson,
         process: {
             options: ["as-hash"],
             run(spec, data, option, blake2b) {
@@ -20227,7 +20230,7 @@ const SUPPORTED_TYPES = [
         name: "stf-genesis",
         encode: StateTransitionGenesis.Codec,
         decode: StateTransitionGenesis.Codec,
-        json: (spec) => StateTransitionGenesis.fromJson(spec),
+        json: (_spec) => StateTransitionGenesis.fromJson,
         process: {
             options: ["as-state", "as-jip4", "as-fuzz-message"],
             run(spec, data, option, blake2b) {