@typeberry/lib 0.5.0-5496f08 → 0.5.0-584584e

package/index.cjs

@@ -1584,7 +1584,7 @@ function addSizeHints(a, b) {
     };
 }
 const DEFAULT_START_LENGTH = 512; // 512B
-const MAX_LENGTH$1 = 10 * 1024 * 1024; // 10MB
+const MAX_LENGTH$1 = 20 * 1024 * 1024; // 20MB
 /**
  * JAM encoder.
  */
@@ -1937,7 +1937,7 @@ class Encoder {
             if (options.silent) {
                 return;
             }
-            throw new Error(`The encoded size would reach the maximum of ${MAX_LENGTH$1}.`);
+            throw new Error(`The encoded size (${newLength}) would reach the maximum of ${MAX_LENGTH$1}.`);
         }
         if (newLength > this.destination.length) {
             // we can try to resize the underlying buffer
@@ -6778,7 +6778,7 @@ class Credential extends WithDebug {
 /**
  * Tuple of work-report, a credential and it's corresponding timeslot.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/147102149102
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15df00150301?v=0.7.2
  */
 class ReportGuarantee extends WithDebug {
     report;
@@ -6806,7 +6806,7 @@ class ReportGuarantee extends WithDebug {
      * validator index and a signature.
      * Credentials must be ordered by their validator index.
      *
-     * https://graypaper.fluffylabs.dev/#/579bd12/14b90214bb02
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
      */
     credentials) {
         super();
@@ -7583,7 +7583,7 @@ const workExecResultFromJson = json.object({
     code_oversize: json.optional(json.fromAny(() => null)),
     output_oversize: json.optional(json.fromAny(() => null)),
 }, (val) => {
-    const { ok, out_of_gas, panic, bad_code, code_oversize } = val;
+    const { ok, out_of_gas, panic, bad_code, code_oversize, output_oversize } = val;
     if (ok !== undefined) {
         return new WorkExecResult(tryAsU32(WorkExecResultKind.ok), ok);
     }
@@ -7599,7 +7599,7 @@ const workExecResultFromJson = json.object({
     if (code_oversize === null) {
         return new WorkExecResult(tryAsU32(WorkExecResultKind.codeOversize));
     }
-    if (val.output_oversize === null) {
+    if (output_oversize === null) {
         return new WorkExecResult(tryAsU32(WorkExecResultKind.digestTooBig));
     }
     throw new Error("Invalid WorkExecResult");
@@ -8711,8 +8711,6 @@ const W_B = Compatibility.isGreaterOrEqual(GpVersion.V0_7_2) ? 13_791_360 : 13_7
 const W_C = 4_000_000;
 /** `W_M`: The maximum number of imports in a work-package. */
 const W_M = 3_072;
-/** `W_R`: The maximum total size of all output blobs in a work-report, in octets. */
-const W_R = 49_152;
 /** `W_T`: The size of a transfer memo in octets. */
 const W_T = 128;
 /** `W_M`: The maximum number of exports in a work-package. */
@@ -20478,6 +20476,103 @@ function signingPayload$1(blake2b, anchor, blob) {
     return BytesBlob.blobFromParts(JAM_AVAILABLE, blake2b.hashBytes(BytesBlob.blobFromParts(anchor.raw, blob.raw)).raw);
 }
 
+/** Error that may happen during reports processing. */
+var ReportsError;
+(function (ReportsError) {
+    /** Core index is greater than the number of available cores. */
+    ReportsError[ReportsError["BadCoreIndex"] = 0] = "BadCoreIndex";
+    /** The report slot is greater than the current block slot. */
+    ReportsError[ReportsError["FutureReportSlot"] = 1] = "FutureReportSlot";
+    /** Report is too old to be considered. */
+    ReportsError[ReportsError["ReportEpochBeforeLast"] = 2] = "ReportEpochBeforeLast";
+    /** Not enough credentials for the guarantee. */
+    ReportsError[ReportsError["InsufficientGuarantees"] = 3] = "InsufficientGuarantees";
+    /** Guarantees are not ordered by the core index. */
+    ReportsError[ReportsError["OutOfOrderGuarantee"] = 4] = "OutOfOrderGuarantee";
+    /** Credentials of guarantors are not sorted or unique. */
+    ReportsError[ReportsError["NotSortedOrUniqueGuarantors"] = 5] = "NotSortedOrUniqueGuarantors";
+    /** Validator in credentials is assigned to a different core. */
+    ReportsError[ReportsError["WrongAssignment"] = 6] = "WrongAssignment";
+    /** There is a report pending availability on that core already. */
+    ReportsError[ReportsError["CoreEngaged"] = 7] = "CoreEngaged";
+    /** Anchor block is not found in recent blocks. */
+    ReportsError[ReportsError["AnchorNotRecent"] = 8] = "AnchorNotRecent";
+    /** Service not foubd. */
+    ReportsError[ReportsError["BadServiceId"] = 9] = "BadServiceId";
+    /** Service code hash does not match the current one. */
+    ReportsError[ReportsError["BadCodeHash"] = 10] = "BadCodeHash";
+    /** Pre-requisite work package is missing in either recent blocks or lookup extrinsic. */
+    ReportsError[ReportsError["DependencyMissing"] = 11] = "DependencyMissing";
+    /** Results for the same package are in more than one report. */
+    ReportsError[ReportsError["DuplicatePackage"] = 12] = "DuplicatePackage";
+    /** Anchor block declared state root does not match the one we have in recent blocks. */
+    ReportsError[ReportsError["BadStateRoot"] = 13] = "BadStateRoot";
+    /** BEEFY super hash mmr mismatch. */
+    ReportsError[ReportsError["BadBeefyMmrRoot"] = 14] = "BadBeefyMmrRoot";
+    /** The authorization hash is not found in the authorization pool. */
+    ReportsError[ReportsError["CoreUnauthorized"] = 15] = "CoreUnauthorized";
+    /** Validator index is greater than the number of validators. */
+    ReportsError[ReportsError["BadValidatorIndex"] = 16] = "BadValidatorIndex";
+    /** Total gas of work report is too high. */
+    ReportsError[ReportsError["WorkReportGasTooHigh"] = 17] = "WorkReportGasTooHigh";
+    /** Work item has is smaller than required minimal accumulation gas of a service. */
+    ReportsError[ReportsError["ServiceItemGasTooLow"] = 18] = "ServiceItemGasTooLow";
+    /** The report has too many dependencies (prerequisites and/or segment-root lookups). */
+    ReportsError[ReportsError["TooManyDependencies"] = 19] = "TooManyDependencies";
+    /** Segment root lookup block has invalid time slot or is not found in the header chain. */
+    ReportsError[ReportsError["SegmentRootLookupInvalid"] = 20] = "SegmentRootLookupInvalid";
+    /** Signature in credentials is invalid. */
+    ReportsError[ReportsError["BadSignature"] = 21] = "BadSignature";
+    /** Size of authorizer output and all work-item successful output blobs is too big. */
+    ReportsError[ReportsError["WorkReportTooBig"] = 22] = "WorkReportTooBig";
+    /** Contains guarantee from validator that is proven to be an offender. */
+    ReportsError[ReportsError["BannedValidator"] = 23] = "BannedValidator";
+})(ReportsError || (ReportsError = {}));
+
+/**
+ * `W_R = 48 * 2**10`: The maximum total size of all output blobs in a work-report, in octets.
+ *
+ * https://graypaper.fluffylabs.dev/#/5f542d7/41a60041aa00?v=0.6.2
+ */
+const MAX_WORK_REPORT_SIZE_BYTES = 48 * 2 ** 10;
+function verifyReportsBasic(input) {
+    for (const guarantee of input) {
+        const reportView = guarantee.view().report.view();
+        /**
+         * We limit the sum of the number of items in the
+         * segment-root lookup dictionary and the number of
+         * prerequisites to J = 8:
+         *
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/13fd0113ff01?v=0.7.2
+         */
+        const noOfPrerequisites = reportView.context.view().prerequisites.view().length;
+        const noOfSegmentRootLookups = reportView.segmentRootLookup.view().length;
+        if (noOfPrerequisites + noOfSegmentRootLookups > MAX_REPORT_DEPENDENCIES) {
+            return Result$1.error(ReportsError.TooManyDependencies, () => `Report at ${reportView.coreIndex.materialize()} has too many dependencies. Got ${noOfPrerequisites} + ${noOfSegmentRootLookups}, max: ${MAX_REPORT_DEPENDENCIES}`);
+        }
+        /**
+         * In order to ensure fair use of a block’s extrinsic space,
+         * work-reports are limited in the maximum total size of the
+         * successful output blobs together with the authorizer output
+         * blob, effectively limiting their overall size:
+         *
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/14a80014ab00?v=0.7.2
+         */
+        // adding is safe here, since the total-encoded size of the report
+        // is limited as well. Even though we just have a view, the size
+        // should have been verified earlier.
+        const authOutputSize = reportView.authorizationOutput.view().length;
+        let totalOutputsSize = 0;
+        for (const item of reportView.results.view()) {
+            totalOutputsSize += item.view().result.view().okBlob?.raw.length ?? 0;
+        }
+        if (authOutputSize + totalOutputsSize > MAX_WORK_REPORT_SIZE_BYTES) {
+            return Result$1.error(ReportsError.WorkReportTooBig, () => `Work report at ${reportView.coreIndex.materialize()} too big. Got ${authOutputSize} + ${totalOutputsSize}, max: ${MAX_WORK_REPORT_SIZE_BYTES}`);
+        }
+    }
+    return Result$1.ok(OK);
+}
+
 var TransferOperandKind;
 (function (TransferOperandKind) {
     TransferOperandKind[TransferOperandKind["OPERAND"] = 0] = "OPERAND";
@@ -20589,7 +20684,7 @@ function getEncodedConstants(chainSpec) {
         W_E: tryAsU32(chainSpec.erasureCodedPieceSize),
         W_M: tryAsU32(W_M),
         W_P: tryAsU32(chainSpec.numberECPiecesPerSegment),
-        W_R: tryAsU32(W_R),
+        W_R: tryAsU32(MAX_WORK_REPORT_SIZE_BYTES),
         W_T: tryAsU32(W_T),
         W_X: tryAsU32(W_X),
         Y: tryAsU32(chainSpec.contestLength),
@@ -23240,59 +23335,6 @@ class RecentHistory {
     }
 }
 
-/** Error that may happen during reports processing. */
-var ReportsError;
-(function (ReportsError) {
-    /** Core index is greater than the number of available cores. */
-    ReportsError[ReportsError["BadCoreIndex"] = 0] = "BadCoreIndex";
-    /** The report slot is greater than the current block slot. */
-    ReportsError[ReportsError["FutureReportSlot"] = 1] = "FutureReportSlot";
-    /** Report is too old to be considered. */
-    ReportsError[ReportsError["ReportEpochBeforeLast"] = 2] = "ReportEpochBeforeLast";
-    /** Not enough credentials for the guarantee. */
-    ReportsError[ReportsError["InsufficientGuarantees"] = 3] = "InsufficientGuarantees";
-    /** Guarantees are not ordered by the core index. */
-    ReportsError[ReportsError["OutOfOrderGuarantee"] = 4] = "OutOfOrderGuarantee";
-    /** Credentials of guarantors are not sorted or unique. */
-    ReportsError[ReportsError["NotSortedOrUniqueGuarantors"] = 5] = "NotSortedOrUniqueGuarantors";
-    /** Validator in credentials is assigned to a different core. */
-    ReportsError[ReportsError["WrongAssignment"] = 6] = "WrongAssignment";
-    /** There is a report pending availability on that core already. */
-    ReportsError[ReportsError["CoreEngaged"] = 7] = "CoreEngaged";
-    /** Anchor block is not found in recent blocks. */
-    ReportsError[ReportsError["AnchorNotRecent"] = 8] = "AnchorNotRecent";
-    /** Service not foubd. */
-    ReportsError[ReportsError["BadServiceId"] = 9] = "BadServiceId";
-    /** Service code hash does not match the current one. */
-    ReportsError[ReportsError["BadCodeHash"] = 10] = "BadCodeHash";
-    /** Pre-requisite work package is missing in either recent blocks or lookup extrinsic. */
-    ReportsError[ReportsError["DependencyMissing"] = 11] = "DependencyMissing";
-    /** Results for the same package are in more than one report. */
-    ReportsError[ReportsError["DuplicatePackage"] = 12] = "DuplicatePackage";
-    /** Anchor block declared state root does not match the one we have in recent blocks. */
-    ReportsError[ReportsError["BadStateRoot"] = 13] = "BadStateRoot";
-    /** BEEFY super hash mmr mismatch. */
-    ReportsError[ReportsError["BadBeefyMmrRoot"] = 14] = "BadBeefyMmrRoot";
-    /** The authorization hash is not found in the authorization pool. */
-    ReportsError[ReportsError["CoreUnauthorized"] = 15] = "CoreUnauthorized";
-    /** Validator index is greater than the number of validators. */
-    ReportsError[ReportsError["BadValidatorIndex"] = 16] = "BadValidatorIndex";
-    /** Total gas of work report is too high. */
-    ReportsError[ReportsError["WorkReportGasTooHigh"] = 17] = "WorkReportGasTooHigh";
-    /** Work item has is smaller than required minimal accumulation gas of a service. */
-    ReportsError[ReportsError["ServiceItemGasTooLow"] = 18] = "ServiceItemGasTooLow";
-    /** The report has too many dependencies (prerequisites and/or segment-root lookups). */
-    ReportsError[ReportsError["TooManyDependencies"] = 19] = "TooManyDependencies";
-    /** Segment root lookup block has invalid time slot or is not found in the header chain. */
-    ReportsError[ReportsError["SegmentRootLookupInvalid"] = 20] = "SegmentRootLookupInvalid";
-    /** Signature in credentials is invalid. */
-    ReportsError[ReportsError["BadSignature"] = 21] = "BadSignature";
-    /** Size of authorizer output and all work-item successful output blobs is too big. */
-    ReportsError[ReportsError["WorkReportTooBig"] = 22] = "WorkReportTooBig";
-    /** Contains guarantee from validator that is proven to be an offender. */
-    ReportsError[ReportsError["BannedValidator"] = 23] = "BannedValidator";
-})(ReportsError || (ReportsError = {}));
-
 const ENTROPY_BYTES = 32;
 /**
  * Deterministic variant of the Fisher–Yates shuffle function
@@ -23341,17 +23383,17 @@ var index$5 = /*#__PURE__*/Object.freeze({
  * reports for it. This is borne out with V= 1023 validators
  * and C = 341 cores, since V/C = 3. The core index assigned to
  * each of the validators, as well as the validators’ Ed25519
- * keys are denoted by G.
+ * keys are denoted by M.
  *
- * https://graypaper.fluffylabs.dev/#/5f542d7/147601147e01
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/144c02145402?v=0.7.2
  */
 /**
  * Returns core assignments for each validator index.
  *
- * https://graypaper.fluffylabs.dev/#/5f542d7/14fd0114fd01
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/155300155d00?v=0.7.2
  */
 function generateCoreAssignment(spec, blake2b, 
-/** https://graypaper.fluffylabs.dev/#/5f542d7/149601149601 */
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/147102147102?v=0.7.2 */
 eta2entropy, 
 /** timeslot */
 slot) {
@@ -23361,7 +23403,7 @@ slot) {
 function rotationIndex(slot, rotationPeriod) {
     return asOpaqueType(Math.floor(slot / rotationPeriod));
 }
-/** https://graypaper.fluffylabs.dev/#/5f542d7/14c00114c001 */
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/151900151900?v=0.7.2 */
 function permute(blake2b, entropy, slot, spec) {
     const shift = rotationIndex(tryAsTimeSlot(slot % spec.epochLength), spec.rotationPeriod);
     const initialAssignment = Array(spec.validatorsCount)
@@ -23376,58 +23418,14 @@ function permute(blake2b, entropy, slot, spec) {
     // we are sure this is PerValidator, since that's the array we create earlier.
     return asKnownSize(coreAssignment);
 }
-/** https://graypaper.fluffylabs.dev/#/5f542d7/14a50114a501 */
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/148002148002?v=0.7.2 */
 function rotate(cores, n, noOfCores) {
     // modulo `noOfCores` guarantees that we're within `CoreIndex` range.
     return cores.map((x) => asOpaqueType((x + n) % noOfCores));
 }
 
-/**
- * `W_R = 48 * 2**10`: The maximum total size of all output blobs in a work-report, in octets.
- *
- * https://graypaper.fluffylabs.dev/#/5f542d7/41a60041aa00?v=0.6.2
- */
-const MAX_WORK_REPORT_SIZE_BYTES = 48 * 2 ** 10;
-function verifyReportsBasic(input) {
-    for (const guarantee of input) {
-        const reportView = guarantee.view().report.view();
-        /**
-         * We limit the sum of the number of items in the
-         * segment-root lookup dictionary and the number of
-         * prerequisites to J = 8:
-         *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/13ab0013ad00?v=0.6.2
-         */
-        const noOfPrerequisites = reportView.context.view().prerequisites.view().length;
-        const noOfSegmentRootLookups = reportView.segmentRootLookup.view().length;
-        if (noOfPrerequisites + noOfSegmentRootLookups > MAX_REPORT_DEPENDENCIES) {
-            return Result$1.error(ReportsError.TooManyDependencies, () => `Report at ${reportView.coreIndex.materialize()} has too many dependencies. Got ${noOfPrerequisites} + ${noOfSegmentRootLookups}, max: ${MAX_REPORT_DEPENDENCIES}`);
-        }
-        /**
-         * In order to ensure fair use of a block’s extrinsic space,
-         * work-reports are limited in the maximum total size of the
-         * successful output blobs together with the authorizer output
-         * blob, effectively limiting their overall size:
-         *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/141d00142000?v=0.6.2
-         */
-        // adding is safe here, since the total-encoded size of the report
-        // is limited as well. Even though we just have a view, the size
-        // should have been verified earlier.
-        const authOutputSize = reportView.authorizationOutput.view().length;
-        let totalOutputsSize = 0;
-        for (const item of reportView.results.view()) {
-            totalOutputsSize += item.view().result.view().okBlob?.raw.length ?? 0;
-        }
-        if (authOutputSize + totalOutputsSize > MAX_WORK_REPORT_SIZE_BYTES) {
-            return Result$1.error(ReportsError.WorkReportTooBig, () => `Work report at ${reportView.coreIndex.materialize()} too big. Got ${authOutputSize} + ${totalOutputsSize}, max: ${MAX_WORK_REPORT_SIZE_BYTES}`);
-        }
-    }
-    return Result$1.ok(OK);
-}
-
 const logger$3 = Logger.new(undefined, "stf:reports");
-/** https://graypaper.fluffylabs.dev/#/7e6ff6a/15eb0115eb01?v=0.6.7 */
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/158202158202?v=0.7.2 */
 function verifyContextualValidity(input, state, headerChain, maxLookupAnchorAge) {
     const contexts = [];
     // hashes of work packages reported in this extrinsic
@@ -23449,8 +23447,11 @@ function verifyContextualValidity(input, state, headerChain, maxLookupAnchorAge)
             if (service === null) {
                 return Result$1.error(ReportsError.BadServiceId, () => `No service with id: ${result.serviceId}`);
             }
-            // check service code hash
-            // https://graypaper.fluffylabs.dev/#/5f542d7/154b02154b02
+            /**
+             * Check service code hash
+             *
+             * https://graypaper.fluffylabs.dev/#/ab2cdbd/150804150804?v=0.7.2
+             */
             if (!result.codeHash.isEqualTo(service.getInfo().codeHash)) {
                 return Result$1.error(ReportsError.BadCodeHash, () => `Service (${result.serviceId}) code hash mismatch. Got: ${result.codeHash}, expected: ${service.getInfo().codeHash}`);
             }
@@ -23460,7 +23461,7 @@ function verifyContextualValidity(input, state, headerChain, maxLookupAnchorAge)
      * There must be no duplicate work-package hashes (i.e.
      * two work-reports of the same package).
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/151f01152101
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/159c02159e02?v=0.7.2
      */
     if (currentWorkPackages.size !== input.guarantees.length) {
         return Result$1.error(ReportsError.DuplicatePackage, () => "Duplicate work package detected.");
@@ -23514,7 +23515,7 @@ function verifyContextualValidity(input, state, headerChain, maxLookupAnchorAge)
     }
     return Result$1.ok(currentWorkPackages);
 }
-/** https://graypaper.fluffylabs.dev/#/7e6ff6a/152502152502?v=0.6.7 */
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/15cd0215cd02?v=0.7.2 */
 function verifyRefineContexts(minLookupSlot, contexts, recentBlocksPartialUpdate, headerChain) {
     // TODO [ToDr] [opti] This could be cached and updated efficiently between runs.
     const recentBlocks = HashDictionary.new();
@@ -23525,9 +23526,9 @@ function verifyRefineContexts(minLookupSlot, contexts, recentBlocksPartialUpdate
         /**
          * We require that the anchor block be within the last H
          * blocks and that its details be correct by ensuring that it
-         * appears within our most recent blocks β †:
+         * appears within our most recent blocks β†:
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/152801152b01
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/15ad0215af02?v=0.7.2
          */
         const recentBlock = recentBlocks.get(context.anchor);
         if (recentBlock === undefined) {
@@ -23546,7 +23547,7 @@ function verifyRefineContexts(minLookupSlot, contexts, recentBlocksPartialUpdate
          * We require that each lookup-anchor block be within the
          * last L timeslots.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/154601154701
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/15ce0215cf02?v=0.7.2
          */
         if (context.lookupAnchorSlot < minLookupSlot) {
             return Result$1.error(ReportsError.SegmentRootLookupInvalid, () => `Lookup anchor slot's too old. Got: ${context.lookupAnchorSlot}, minimal: ${minLookupSlot}`);
@@ -23557,7 +23558,7 @@ function verifyRefineContexts(minLookupSlot, contexts, recentBlocksPartialUpdate
          * on-chain state and must be checked by virtue of retaini
          * ing the series of the last L headers as the ancestor set A.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/155c01155f01
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/15e40215e702?v=0.7.2
          */
         const isInChain = recentBlocks.has(context.lookupAnchor) ||
             headerChain.isAncestor(context.lookupAnchorSlot, context.lookupAnchor, context.anchor);
@@ -23580,7 +23581,7 @@ function verifyDependencies({ currentWorkPackages, recentlyReported, prerequisit
          * segment-root lookup, be either in the extrinsic or in our
          * recent history.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/15ca0115cd01
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/156b03156e03?v=0.7.2
          */
         for (const preReqHash of dependencies) {
             if (currentWorkPackages.has(preReqHash)) {
@@ -23609,7 +23610,7 @@ function verifyWorkPackagesUniqueness(workPackageHashes, state) {
     /**
      * Make sure that the package does not appear anywhere in the pipeline.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/159101159101
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/152803152803?v=0.7.2
      */
     // TODO [ToDr] [opti] this most likely should be cached and either
     // re-computed on invalidity or we could maintain additional
@@ -23650,9 +23651,9 @@ function verifyCredentials(guarantees,
 workReportHashes, slot, getGuarantorAssignment) {
     /**
      * Collect signatures payload for later verification
-     * and construct the `reporters set R` from that data.
+     * and construct the `reporters set G` from that data.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/15cf0015cf00
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/153002153002?v=0.7.2
      */
     const signaturesToVerify = [];
     const headerTimeSlot = slot;
@@ -23666,7 +23667,7 @@ workReportHashes, slot, getGuarantorAssignment) {
          * The credential is a sequence of two or three tuples of a
          * unique validator index and a signature.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/14b90214bb02
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
          */
         const credentialsView = guaranteeView.credentials.view();
         if (credentialsView.length < REQUIRED_CREDENTIALS_RANGE[0] ||
@@ -23696,7 +23697,8 @@ workReportHashes, slot, getGuarantorAssignment) {
             }
             /**
              * Verify core assignment.
-             * https://graypaper.fluffylabs.dev/#/5f542d7/14e40214e602
+             *
+             * https://graypaper.fluffylabs.dev/#/ab2cdbd/155201155401?v=0.7.2
              */
             if (guarantorData.core !== coreIndex) {
                 return Result$1.error(ReportsError.WrongAssignment, () => `Invalid core assignment for validator ${validatorIndex}. Expected: ${guarantorData.core}, got: ${coreIndex}`);
@@ -23715,7 +23717,7 @@ const JAM_GUARANTEE = BytesBlob.blobFromString("jam_guarantee").raw;
  * The signature [...] whose message is the serialization of the hash
  * of the work-report.
  *
- * https://graypaper.fluffylabs.dev/#/5f542d7/155200155200
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15a20115a201?v=0.7.2
  */
 function signingPayload(hash) {
     return BytesBlob.blobFromParts(JAM_GUARANTEE, hash.raw);
@@ -23726,7 +23728,7 @@ function verifyReportsOrder(input, chainSpec) {
      * The core index of each guarantee must be unique and
      * guarantees must be in ascending order of this.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/146902146a02
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/15d60015d700?v=0.7.2
      */
     const noOfCores = chainSpec.coresCount;
     let lastCoreIndex = -1;
@@ -23755,7 +23757,7 @@ function verifyPostSignatureChecks(input, availabilityAssignment, authPools, ser
          * No reports may be placed on cores with a report pending
          * availability on it.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/15ea0015ea00
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/155002155002?v=0.7.2
          */
         if (availabilityAssignment[coreIndex] !== null) {
             return Result$1.error(ReportsError.CoreEngaged, () => `Report pending availability at core: ${coreIndex}`);
@@ -23765,7 +23767,7 @@ function verifyPostSignatureChecks(input, availabilityAssignment, authPools, ser
          * in the authorizer pool of the core on which the work is
          * reported.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/15eb0015ed00
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/155102155302?v=0.7.2
          */
         const authorizerHash = report.authorizerHash;
         const authorizerPool = authPools.get(coreIndex);
@@ -23775,10 +23777,10 @@ function verifyPostSignatureChecks(input, availabilityAssignment, authPools, ser
         }
         /**
          * We require that the gas allotted for accumulation of each
-         * work item in each work-report respects its service’s
+         * work-digest in each work-report respects its service’s
          * minimum gas requirements.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/15f80015fa00
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/156602156802?v=0.7.2
          */
         for (const result of report.results) {
             const service = services(result.serviceId);
@@ -23850,10 +23852,11 @@ class Reports {
         /**
          * ρ′ - equivalent to ρ‡, except where the extrinsic replaced
          * an entry. In the case an entry is replaced, the new value
-         * includes the present time τ ′ allowing for the value to be
+         * includes the present time τ' allowing for the value to be
          * replaced without respect to its availability once sufficient
          * time has elapsed.
-         * https://graypaper.fluffylabs.dev/#/1c979cb/161e00165900?v=0.7.1
+         *
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/161e00165900?v=0.7.2
          */
         const availabilityAssignment = input.assurancesAvailAssignment.slice();
         for (const guarantee of input.guarantees) {
@@ -23911,7 +23914,7 @@ class Reports {
      * Get the guarantor assignment (both core and validator data)
      * depending on the rotation.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/158200158200
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/15df0115df01?v=0.7.2
      */
     getGuarantorAssignment(headerTimeSlot, guaranteeTimeSlot, newEntropy) {
         const epochLength = this.chainSpec.epochLength;
@@ -23919,7 +23922,7 @@ class Reports {
         const headerRotation = rotationIndex(headerTimeSlot, rotationPeriod);
         const guaranteeRotation = rotationIndex(guaranteeTimeSlot, rotationPeriod);
         const minTimeSlot = Math.max(0, headerRotation - 1) * rotationPeriod;
-        // https://graypaper.fluffylabs.dev/#/5f542d7/155e00156900
+        // https://graypaper.fluffylabs.dev/#/ab2cdbd/15980115be01?v=0.7.2
         if (guaranteeTimeSlot > headerTimeSlot) {
             return Result$1.error(ReportsError.FutureReportSlot, () => `Report slot is in future. Block ${headerTimeSlot}, Report: ${guaranteeTimeSlot}`);
         }
@@ -23927,7 +23930,7 @@ class Reports {
             return Result$1.error(ReportsError.ReportEpochBeforeLast, () => `Report slot is too old. Block ${headerTimeSlot}, Report: ${guaranteeTimeSlot}`);
         }
         // TODO [ToDr] [opti] below code needs cache.
-        // The `G` and `G*` sets should only be computed once per rotation.
+        // The `M` and `M*` sets should only be computed once per rotation.
         // Default data for the current rotation
         let entropy = newEntropy[2];
         let validatorData = this.state.currentValidatorData;
@@ -23944,7 +23947,7 @@ class Reports {
             }
         }
         // we know which entropy, timeSlot and validatorData should be used,
-        // so we can compute `G` or `G*` here.
+        // so we can compute `M` or `M*` here.
         const coreAssignment = generateCoreAssignment(this.chainSpec, this.blake2b, entropy, timeSlot);
         return Result$1.ok(zip(coreAssignment, validatorData, (core, validator) => ({
             core,
@@ -24112,22 +24115,23 @@ class Statistics {
         const newPreImagesSize = current[authorIndex].preImagesSize + preImagesSize;
         current[authorIndex].preImagesSize = tryAsU32(newPreImagesSize);
         /**
-         * * NOTE [MaSi] Please note I don't use Kappa' here. If I understand correctly we don't need it.
-         * Kappa' is not needed because we can use validator indexes directly from guarantees extrinsic.
-         * I asked a question to ensure it is true but I didn't get any response yet:
-         * https://github.com/w3f/jamtestvectors/pull/28#discussion_r190723700
+         * Update guarantees
          *
-         * https://graypaper.fluffylabs.dev/#/1c979cb/19a00119a801?v=0.7.1
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/19ea0119f201?v=0.7.2
          */
-        const incrementedGuarantors = new Set();
-        for (const guarantee of extrinsic.guarantees) {
-            for (const { validatorIndex } of guarantee.credentials) {
-                if (!incrementedGuarantors.has(validatorIndex)) {
-                    const newGuaranteesCount = current[validatorIndex].guarantees + 1;
-                    current[validatorIndex].guarantees = tryAsU32(newGuaranteesCount);
-                    incrementedGuarantors.add(validatorIndex);
-                }
+        const validatorKeys = input.currentValidatorData.map((v) => v.ed25519);
+        for (const reporter of input.reporters) {
+            const index = validatorKeys.findIndex((x) => x.isEqualTo(reporter));
+            if (index === -1) {
+                /**
+                 * it should never happen because:
+                 * 1. the extrinsic is verified in reports transition
+                 * 2. we use current validators set from safrole
+                 */
+                continue;
             }
+            const newGuaranteesCount = current[index].guarantees + 1;
+            current[index].guarantees = tryAsU32(newGuaranteesCount);
         }
         for (const { validatorIndex } of extrinsic.assurances) {
             const newAssurancesCount = current[validatorIndex].assurances + 1;
@@ -24384,8 +24388,7 @@ class OnChain {
         if (reportsResult.isError) {
             return stfError(StfErrorKind.Reports, reportsResult);
         }
-        // NOTE `reporters` are unused
-        const { reported: workPackages, reporters: _, stateUpdate: reportsUpdate, ...reportsRest } = reportsResult.ok;
+        const { reported: workPackages, reporters, stateUpdate: reportsUpdate, ...reportsRest } = reportsResult.ok;
         assertEmpty(reportsRest);
         const { availabilityAssignment: reportsAvailAssignment, ...reportsUpdateRest } = reportsUpdate;
         assertEmpty(reportsUpdateRest);
@@ -24459,6 +24462,8 @@ class OnChain {
             availableReports,
             accumulationStatistics,
             transferStatistics,
+            reporters: reporters,
+            currentValidatorData,
         });
         const { statistics, ...statisticsRest } = statisticsUpdate;
         assertEmpty(statisticsRest);

package/index.d.ts

@@ -3603,7 +3603,7 @@ declare namespace workReport {
  * Since GP defines that value explicitly as "two or three",
  * we do that as well.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/14b90214bb02
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
  */
 type REQUIRED_CREDENTIALS = 2 | 3;
 declare const REQUIRED_CREDENTIALS_RANGE: number[];
@@ -3623,7 +3623,7 @@ declare class Credential extends WithDebug {
 /**
  * Tuple of work-report, a credential and it's corresponding timeslot.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/147102149102
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15df00150301?v=0.7.2
  */
 declare class ReportGuarantee extends WithDebug {
     /** The work-report being guaranteed. */
@@ -3635,7 +3635,7 @@ declare class ReportGuarantee extends WithDebug {
      * validator index and a signature.
      * Credentials must be ordered by their validator index.
      *
-     * https://graypaper.fluffylabs.dev/#/579bd12/14b90214bb02
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
      */
     readonly credentials: KnownSizeArray<Credential, `${REQUIRED_CREDENTIALS}`>;
     static Codec: Descriptor<ReportGuarantee, ViewOf<ReportGuarantee, {
@@ -3694,7 +3694,7 @@ declare const GuaranteesExtrinsicBounds = "[0..CoresCount)";
  * Each core index (within work-report) must be unique and guarantees
  * must be in ascending order of this.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/146402146702
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15d10015d400?v=0.7.2
  */
 type GuaranteesExtrinsic = KnownSizeArray<ReportGuarantee, typeof GuaranteesExtrinsicBounds>;
 declare const guaranteesExtrinsicCodec: Descriptor<readonly ReportGuarantee[] & WithOpaque<"[0..CoresCount)">, SequenceView<ReportGuarantee, ViewOf<ReportGuarantee, {
@@ -9215,6 +9215,8 @@ type Input = {
      * https://graypaper.fluffylabs.dev/#/cc517d7/18dd0018dd00?v=0.6.5
      */
     transferStatistics: Map<ServiceId, CountAndGasUsed>;
+    reporters: readonly Ed25519Key[];
+    currentValidatorData: State["currentValidatorData"];
 };
 type CountAndGasUsed = {
     count: U32;
@@ -9732,38 +9734,43 @@ interface HeaderChain {
  * by validators).
  *
  * After enough assurances the work-report is considered available,
- * and the work outputs transform the state of their associated
+ * and the work-digests transform the state of their associated
  * service by virtue of accumulation, covered in section 12.
  * The report may also be timed-out, implying it may be replaced
  * by another report without accumulation.
  *
- * https://graypaper.fluffylabs.dev/#/5f542d7/133d00134200
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/138801138d01?v=0.7.2
  */
 type ReportsInput = {
     /**
      * A work-package, is transformed by validators acting as
      * guarantors into its corresponding work-report, which
-     * similarly comprises several work outputs and then
+     * similarly comprises several work-digests and then
      * presented on-chain within the guarantees extrinsic.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/133500133900
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/138001138401?v=0.7.2
      */
     guarantees: GuaranteesExtrinsicView;
     /** Current time slot, excerpted from block header. */
     slot: TimeSlot;
     /** `eta_prime`: New entropy, after potential epoch transition. */
     newEntropy: SafroleStateUpdate["entropy"];
-    /** Partial update of recent blocks. (β†, https://graypaper.fluffylabs.dev/#/9a08063/0fd8010fdb01?v=0.6.6) */
+    /**
+     * β† - Partial update of recent blocks.
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/0f56020f6b02?v=0.7.2
+     */
     recentBlocksPartialUpdate: RecentHistoryStateUpdate["recentBlocks"];
     /**
      * ρ‡ - Availability assignment resulting from assurances transition
-     * https://graypaper.fluffylabs.dev/#/1c979cb/141302144402?v=0.7.1
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/141302144402?v=0.7.2
      */
     assurancesAvailAssignment: AssurancesStateUpdate["availabilityAssignment"];
     /**
      * ψ′O - Ed25519 keys of validators that were proven to judge incorrectly.
      *
-     * https://graypaper.fluffylabs.dev/#/1c979cb/134201134201?v=0.7.1
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/134201134201?v=0.7.2
      */
     offenders: HashSet<Ed25519Key>;
 };
@@ -9785,7 +9792,7 @@ type ReportsOutput = {
      * This dictionary has the same number of items as in the input guarantees extrinsic.
      */
     reported: HashDictionary<WorkPackageHash, WorkPackageInfo>;
-    /** A set `R` of work package reporters. */
+    /** A set `M` of work package reporters. */
     reporters: KnownSizeArray<Ed25519Key, "Guarantees * Credentials (at most `cores*3`)">;
 };
 declare class Reports {
@@ -9804,7 +9811,7 @@ declare class Reports {
      * Get the guarantor assignment (both core and validator data)
      * depending on the rotation.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/158200158200
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/15df0115df01?v=0.7.2
      */
     getGuarantorAssignment(headerTimeSlot: TimeSlot, guaranteeTimeSlot: TimeSlot, newEntropy: SafroleStateUpdate["entropy"]): Result<PerValidator<GuarantorAssignment>, ReportsError>;
 }

package/index.js

@@ -1581,7 +1581,7 @@ function addSizeHints(a, b) {
     };
 }
 const DEFAULT_START_LENGTH = 512; // 512B
-const MAX_LENGTH$1 = 10 * 1024 * 1024; // 10MB
+const MAX_LENGTH$1 = 20 * 1024 * 1024; // 20MB
 /**
  * JAM encoder.
  */
@@ -1934,7 +1934,7 @@ class Encoder {
             if (options.silent) {
                 return;
             }
-            throw new Error(`The encoded size would reach the maximum of ${MAX_LENGTH$1}.`);
+            throw new Error(`The encoded size (${newLength}) would reach the maximum of ${MAX_LENGTH$1}.`);
         }
         if (newLength > this.destination.length) {
             // we can try to resize the underlying buffer
@@ -6775,7 +6775,7 @@ class Credential extends WithDebug {
 /**
  * Tuple of work-report, a credential and it's corresponding timeslot.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/147102149102
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15df00150301?v=0.7.2
  */
 class ReportGuarantee extends WithDebug {
     report;
@@ -6803,7 +6803,7 @@ class ReportGuarantee extends WithDebug {
      * validator index and a signature.
      * Credentials must be ordered by their validator index.
      *
-     * https://graypaper.fluffylabs.dev/#/579bd12/14b90214bb02
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
      */
     credentials) {
         super();
@@ -7580,7 +7580,7 @@ const workExecResultFromJson = json.object({
     code_oversize: json.optional(json.fromAny(() => null)),
     output_oversize: json.optional(json.fromAny(() => null)),
 }, (val) => {
-    const { ok, out_of_gas, panic, bad_code, code_oversize } = val;
+    const { ok, out_of_gas, panic, bad_code, code_oversize, output_oversize } = val;
     if (ok !== undefined) {
         return new WorkExecResult(tryAsU32(WorkExecResultKind.ok), ok);
     }
@@ -7596,7 +7596,7 @@ const workExecResultFromJson = json.object({
     if (code_oversize === null) {
         return new WorkExecResult(tryAsU32(WorkExecResultKind.codeOversize));
     }
-    if (val.output_oversize === null) {
+    if (output_oversize === null) {
         return new WorkExecResult(tryAsU32(WorkExecResultKind.digestTooBig));
     }
     throw new Error("Invalid WorkExecResult");
@@ -8708,8 +8708,6 @@ const W_B = Compatibility.isGreaterOrEqual(GpVersion.V0_7_2) ? 13_791_360 : 13_7
 const W_C = 4_000_000;
 /** `W_M`: The maximum number of imports in a work-package. */
 const W_M = 3_072;
-/** `W_R`: The maximum total size of all output blobs in a work-report, in octets. */
-const W_R = 49_152;
 /** `W_T`: The size of a transfer memo in octets. */
 const W_T = 128;
 /** `W_M`: The maximum number of exports in a work-package. */
@@ -20475,6 +20473,103 @@ function signingPayload$1(blake2b, anchor, blob) {
     return BytesBlob.blobFromParts(JAM_AVAILABLE, blake2b.hashBytes(BytesBlob.blobFromParts(anchor.raw, blob.raw)).raw);
 }
 
+/** Error that may happen during reports processing. */
+var ReportsError;
+(function (ReportsError) {
+    /** Core index is greater than the number of available cores. */
+    ReportsError[ReportsError["BadCoreIndex"] = 0] = "BadCoreIndex";
+    /** The report slot is greater than the current block slot. */
+    ReportsError[ReportsError["FutureReportSlot"] = 1] = "FutureReportSlot";
+    /** Report is too old to be considered. */
+    ReportsError[ReportsError["ReportEpochBeforeLast"] = 2] = "ReportEpochBeforeLast";
+    /** Not enough credentials for the guarantee. */
+    ReportsError[ReportsError["InsufficientGuarantees"] = 3] = "InsufficientGuarantees";
+    /** Guarantees are not ordered by the core index. */
+    ReportsError[ReportsError["OutOfOrderGuarantee"] = 4] = "OutOfOrderGuarantee";
+    /** Credentials of guarantors are not sorted or unique. */
+    ReportsError[ReportsError["NotSortedOrUniqueGuarantors"] = 5] = "NotSortedOrUniqueGuarantors";
+    /** Validator in credentials is assigned to a different core. */
+    ReportsError[ReportsError["WrongAssignment"] = 6] = "WrongAssignment";
+    /** There is a report pending availability on that core already. */
+    ReportsError[ReportsError["CoreEngaged"] = 7] = "CoreEngaged";
+    /** Anchor block is not found in recent blocks. */
+    ReportsError[ReportsError["AnchorNotRecent"] = 8] = "AnchorNotRecent";
+    /** Service not foubd. */
+    ReportsError[ReportsError["BadServiceId"] = 9] = "BadServiceId";
+    /** Service code hash does not match the current one. */
+    ReportsError[ReportsError["BadCodeHash"] = 10] = "BadCodeHash";
+    /** Pre-requisite work package is missing in either recent blocks or lookup extrinsic. */
+    ReportsError[ReportsError["DependencyMissing"] = 11] = "DependencyMissing";
+    /** Results for the same package are in more than one report. */
+    ReportsError[ReportsError["DuplicatePackage"] = 12] = "DuplicatePackage";
+    /** Anchor block declared state root does not match the one we have in recent blocks. */
+    ReportsError[ReportsError["BadStateRoot"] = 13] = "BadStateRoot";
+    /** BEEFY super hash mmr mismatch. */
+    ReportsError[ReportsError["BadBeefyMmrRoot"] = 14] = "BadBeefyMmrRoot";
+    /** The authorization hash is not found in the authorization pool. */
+    ReportsError[ReportsError["CoreUnauthorized"] = 15] = "CoreUnauthorized";
+    /** Validator index is greater than the number of validators. */
+    ReportsError[ReportsError["BadValidatorIndex"] = 16] = "BadValidatorIndex";
+    /** Total gas of work report is too high. */
+    ReportsError[ReportsError["WorkReportGasTooHigh"] = 17] = "WorkReportGasTooHigh";
+    /** Work item has is smaller than required minimal accumulation gas of a service. */
+    ReportsError[ReportsError["ServiceItemGasTooLow"] = 18] = "ServiceItemGasTooLow";
+    /** The report has too many dependencies (prerequisites and/or segment-root lookups). */
+    ReportsError[ReportsError["TooManyDependencies"] = 19] = "TooManyDependencies";
+    /** Segment root lookup block has invalid time slot or is not found in the header chain. */
+    ReportsError[ReportsError["SegmentRootLookupInvalid"] = 20] = "SegmentRootLookupInvalid";
+    /** Signature in credentials is invalid. */
+    ReportsError[ReportsError["BadSignature"] = 21] = "BadSignature";
+    /** Size of authorizer output and all work-item successful output blobs is too big. */
+    ReportsError[ReportsError["WorkReportTooBig"] = 22] = "WorkReportTooBig";
+    /** Contains guarantee from validator that is proven to be an offender. */
+    ReportsError[ReportsError["BannedValidator"] = 23] = "BannedValidator";
+})(ReportsError || (ReportsError = {}));
+
+/**
+ * `W_R = 48 * 2**10`: The maximum total size of all output blobs in a work-report, in octets.
+ *
+ * https://graypaper.fluffylabs.dev/#/5f542d7/41a60041aa00?v=0.6.2
+ */
+const MAX_WORK_REPORT_SIZE_BYTES = 48 * 2 ** 10;
+function verifyReportsBasic(input) {
+    for (const guarantee of input) {
+        const reportView = guarantee.view().report.view();
+        /**
+         * We limit the sum of the number of items in the
+         * segment-root lookup dictionary and the number of
+         * prerequisites to J = 8:
+         *
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/13fd0113ff01?v=0.7.2
+         */
+        const noOfPrerequisites = reportView.context.view().prerequisites.view().length;
+        const noOfSegmentRootLookups = reportView.segmentRootLookup.view().length;
+        if (noOfPrerequisites + noOfSegmentRootLookups > MAX_REPORT_DEPENDENCIES) {
+            return Result$1.error(ReportsError.TooManyDependencies, () => `Report at ${reportView.coreIndex.materialize()} has too many dependencies. Got ${noOfPrerequisites} + ${noOfSegmentRootLookups}, max: ${MAX_REPORT_DEPENDENCIES}`);
+        }
+        /**
+         * In order to ensure fair use of a block’s extrinsic space,
+         * work-reports are limited in the maximum total size of the
+         * successful output blobs together with the authorizer output
+         * blob, effectively limiting their overall size:
+         *
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/14a80014ab00?v=0.7.2
+         */
+        // adding is safe here, since the total-encoded size of the report
+        // is limited as well. Even though we just have a view, the size
+        // should have been verified earlier.
+        const authOutputSize = reportView.authorizationOutput.view().length;
+        let totalOutputsSize = 0;
+        for (const item of reportView.results.view()) {
+            totalOutputsSize += item.view().result.view().okBlob?.raw.length ?? 0;
+        }
+        if (authOutputSize + totalOutputsSize > MAX_WORK_REPORT_SIZE_BYTES) {
+            return Result$1.error(ReportsError.WorkReportTooBig, () => `Work report at ${reportView.coreIndex.materialize()} too big. Got ${authOutputSize} + ${totalOutputsSize}, max: ${MAX_WORK_REPORT_SIZE_BYTES}`);
+        }
+    }
+    return Result$1.ok(OK);
+}
+
 var TransferOperandKind;
 (function (TransferOperandKind) {
     TransferOperandKind[TransferOperandKind["OPERAND"] = 0] = "OPERAND";
@@ -20586,7 +20681,7 @@ function getEncodedConstants(chainSpec) {
         W_E: tryAsU32(chainSpec.erasureCodedPieceSize),
         W_M: tryAsU32(W_M),
         W_P: tryAsU32(chainSpec.numberECPiecesPerSegment),
-        W_R: tryAsU32(W_R),
+        W_R: tryAsU32(MAX_WORK_REPORT_SIZE_BYTES),
         W_T: tryAsU32(W_T),
         W_X: tryAsU32(W_X),
         Y: tryAsU32(chainSpec.contestLength),
@@ -23237,59 +23332,6 @@ class RecentHistory {
     }
 }
 
-/** Error that may happen during reports processing. */
-var ReportsError;
-(function (ReportsError) {
-    /** Core index is greater than the number of available cores. */
-    ReportsError[ReportsError["BadCoreIndex"] = 0] = "BadCoreIndex";
-    /** The report slot is greater than the current block slot. */
-    ReportsError[ReportsError["FutureReportSlot"] = 1] = "FutureReportSlot";
-    /** Report is too old to be considered. */
-    ReportsError[ReportsError["ReportEpochBeforeLast"] = 2] = "ReportEpochBeforeLast";
-    /** Not enough credentials for the guarantee. */
-    ReportsError[ReportsError["InsufficientGuarantees"] = 3] = "InsufficientGuarantees";
-    /** Guarantees are not ordered by the core index. */
-    ReportsError[ReportsError["OutOfOrderGuarantee"] = 4] = "OutOfOrderGuarantee";
-    /** Credentials of guarantors are not sorted or unique. */
-    ReportsError[ReportsError["NotSortedOrUniqueGuarantors"] = 5] = "NotSortedOrUniqueGuarantors";
-    /** Validator in credentials is assigned to a different core. */
-    ReportsError[ReportsError["WrongAssignment"] = 6] = "WrongAssignment";
-    /** There is a report pending availability on that core already. */
-    ReportsError[ReportsError["CoreEngaged"] = 7] = "CoreEngaged";
-    /** Anchor block is not found in recent blocks. */
-    ReportsError[ReportsError["AnchorNotRecent"] = 8] = "AnchorNotRecent";
-    /** Service not foubd. */
-    ReportsError[ReportsError["BadServiceId"] = 9] = "BadServiceId";
-    /** Service code hash does not match the current one. */
-    ReportsError[ReportsError["BadCodeHash"] = 10] = "BadCodeHash";
-    /** Pre-requisite work package is missing in either recent blocks or lookup extrinsic. */
-    ReportsError[ReportsError["DependencyMissing"] = 11] = "DependencyMissing";
-    /** Results for the same package are in more than one report. */
-    ReportsError[ReportsError["DuplicatePackage"] = 12] = "DuplicatePackage";
-    /** Anchor block declared state root does not match the one we have in recent blocks. */
-    ReportsError[ReportsError["BadStateRoot"] = 13] = "BadStateRoot";
-    /** BEEFY super hash mmr mismatch. */
-    ReportsError[ReportsError["BadBeefyMmrRoot"] = 14] = "BadBeefyMmrRoot";
-    /** The authorization hash is not found in the authorization pool. */
-    ReportsError[ReportsError["CoreUnauthorized"] = 15] = "CoreUnauthorized";
-    /** Validator index is greater than the number of validators. */
-    ReportsError[ReportsError["BadValidatorIndex"] = 16] = "BadValidatorIndex";
-    /** Total gas of work report is too high. */
-    ReportsError[ReportsError["WorkReportGasTooHigh"] = 17] = "WorkReportGasTooHigh";
-    /** Work item has is smaller than required minimal accumulation gas of a service. */
-    ReportsError[ReportsError["ServiceItemGasTooLow"] = 18] = "ServiceItemGasTooLow";
-    /** The report has too many dependencies (prerequisites and/or segment-root lookups). */
-    ReportsError[ReportsError["TooManyDependencies"] = 19] = "TooManyDependencies";
-    /** Segment root lookup block has invalid time slot or is not found in the header chain. */
-    ReportsError[ReportsError["SegmentRootLookupInvalid"] = 20] = "SegmentRootLookupInvalid";
-    /** Signature in credentials is invalid. */
-    ReportsError[ReportsError["BadSignature"] = 21] = "BadSignature";
-    /** Size of authorizer output and all work-item successful output blobs is too big. */
-    ReportsError[ReportsError["WorkReportTooBig"] = 22] = "WorkReportTooBig";
-    /** Contains guarantee from validator that is proven to be an offender. */
-    ReportsError[ReportsError["BannedValidator"] = 23] = "BannedValidator";
-})(ReportsError || (ReportsError = {}));
-
 const ENTROPY_BYTES = 32;
 /**
  * Deterministic variant of the Fisher–Yates shuffle function
@@ -23338,17 +23380,17 @@ var index$5 = /*#__PURE__*/Object.freeze({
  * reports for it. This is borne out with V= 1023 validators
  * and C = 341 cores, since V/C = 3. The core index assigned to
  * each of the validators, as well as the validators’ Ed25519
- * keys are denoted by G.
+ * keys are denoted by M.
  *
- * https://graypaper.fluffylabs.dev/#/5f542d7/147601147e01
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/144c02145402?v=0.7.2
  */
 /**
  * Returns core assignments for each validator index.
  *
- * https://graypaper.fluffylabs.dev/#/5f542d7/14fd0114fd01
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/155300155d00?v=0.7.2
  */
 function generateCoreAssignment(spec, blake2b, 
-/** https://graypaper.fluffylabs.dev/#/5f542d7/149601149601 */
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/147102147102?v=0.7.2 */
 eta2entropy, 
 /** timeslot */
 slot) {
@@ -23358,7 +23400,7 @@ slot) {
 function rotationIndex(slot, rotationPeriod) {
     return asOpaqueType(Math.floor(slot / rotationPeriod));
 }
-/** https://graypaper.fluffylabs.dev/#/5f542d7/14c00114c001 */
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/151900151900?v=0.7.2 */
 function permute(blake2b, entropy, slot, spec) {
     const shift = rotationIndex(tryAsTimeSlot(slot % spec.epochLength), spec.rotationPeriod);
     const initialAssignment = Array(spec.validatorsCount)
@@ -23373,58 +23415,14 @@ function permute(blake2b, entropy, slot, spec) {
     // we are sure this is PerValidator, since that's the array we create earlier.
     return asKnownSize(coreAssignment);
 }
-/** https://graypaper.fluffylabs.dev/#/5f542d7/14a50114a501 */
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/148002148002?v=0.7.2 */
 function rotate(cores, n, noOfCores) {
     // modulo `noOfCores` guarantees that we're within `CoreIndex` range.
     return cores.map((x) => asOpaqueType((x + n) % noOfCores));
 }
 
-/**
- * `W_R = 48 * 2**10`: The maximum total size of all output blobs in a work-report, in octets.
- *
- * https://graypaper.fluffylabs.dev/#/5f542d7/41a60041aa00?v=0.6.2
- */
-const MAX_WORK_REPORT_SIZE_BYTES = 48 * 2 ** 10;
-function verifyReportsBasic(input) {
-    for (const guarantee of input) {
-        const reportView = guarantee.view().report.view();
-        /**
-         * We limit the sum of the number of items in the
-         * segment-root lookup dictionary and the number of
-         * prerequisites to J = 8:
-         *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/13ab0013ad00?v=0.6.2
-         */
-        const noOfPrerequisites = reportView.context.view().prerequisites.view().length;
-        const noOfSegmentRootLookups = reportView.segmentRootLookup.view().length;
-        if (noOfPrerequisites + noOfSegmentRootLookups > MAX_REPORT_DEPENDENCIES) {
-            return Result$1.error(ReportsError.TooManyDependencies, () => `Report at ${reportView.coreIndex.materialize()} has too many dependencies. Got ${noOfPrerequisites} + ${noOfSegmentRootLookups}, max: ${MAX_REPORT_DEPENDENCIES}`);
-        }
-        /**
-         * In order to ensure fair use of a block’s extrinsic space,
-         * work-reports are limited in the maximum total size of the
-         * successful output blobs together with the authorizer output
-         * blob, effectively limiting their overall size:
-         *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/141d00142000?v=0.6.2
-         */
-        // adding is safe here, since the total-encoded size of the report
-        // is limited as well. Even though we just have a view, the size
-        // should have been verified earlier.
-        const authOutputSize = reportView.authorizationOutput.view().length;
-        let totalOutputsSize = 0;
-        for (const item of reportView.results.view()) {
-            totalOutputsSize += item.view().result.view().okBlob?.raw.length ?? 0;
-        }
-        if (authOutputSize + totalOutputsSize > MAX_WORK_REPORT_SIZE_BYTES) {
-            return Result$1.error(ReportsError.WorkReportTooBig, () => `Work report at ${reportView.coreIndex.materialize()} too big. Got ${authOutputSize} + ${totalOutputsSize}, max: ${MAX_WORK_REPORT_SIZE_BYTES}`);
-        }
-    }
-    return Result$1.ok(OK);
-}
-
 const logger$3 = Logger.new(import.meta.filename, "stf:reports");
-/** https://graypaper.fluffylabs.dev/#/7e6ff6a/15eb0115eb01?v=0.6.7 */
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/158202158202?v=0.7.2 */
 function verifyContextualValidity(input, state, headerChain, maxLookupAnchorAge) {
     const contexts = [];
     // hashes of work packages reported in this extrinsic
@@ -23446,8 +23444,11 @@ function verifyContextualValidity(input, state, headerChain, maxLookupAnchorAge)
             if (service === null) {
                 return Result$1.error(ReportsError.BadServiceId, () => `No service with id: ${result.serviceId}`);
             }
-            // check service code hash
-            // https://graypaper.fluffylabs.dev/#/5f542d7/154b02154b02
+            /**
+             * Check service code hash
+             *
+             * https://graypaper.fluffylabs.dev/#/ab2cdbd/150804150804?v=0.7.2
+             */
             if (!result.codeHash.isEqualTo(service.getInfo().codeHash)) {
                 return Result$1.error(ReportsError.BadCodeHash, () => `Service (${result.serviceId}) code hash mismatch. Got: ${result.codeHash}, expected: ${service.getInfo().codeHash}`);
             }
@@ -23457,7 +23458,7 @@ function verifyContextualValidity(input, state, headerChain, maxLookupAnchorAge)
      * There must be no duplicate work-package hashes (i.e.
      * two work-reports of the same package).
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/151f01152101
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/159c02159e02?v=0.7.2
      */
     if (currentWorkPackages.size !== input.guarantees.length) {
         return Result$1.error(ReportsError.DuplicatePackage, () => "Duplicate work package detected.");
@@ -23511,7 +23512,7 @@ function verifyContextualValidity(input, state, headerChain, maxLookupAnchorAge)
     }
     return Result$1.ok(currentWorkPackages);
 }
-/** https://graypaper.fluffylabs.dev/#/7e6ff6a/152502152502?v=0.6.7 */
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/15cd0215cd02?v=0.7.2 */
 function verifyRefineContexts(minLookupSlot, contexts, recentBlocksPartialUpdate, headerChain) {
     // TODO [ToDr] [opti] This could be cached and updated efficiently between runs.
     const recentBlocks = HashDictionary.new();
@@ -23522,9 +23523,9 @@ function verifyRefineContexts(minLookupSlot, contexts, recentBlocksPartialUpdate
         /**
          * We require that the anchor block be within the last H
          * blocks and that its details be correct by ensuring that it
-         * appears within our most recent blocks β †:
+         * appears within our most recent blocks β†:
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/152801152b01
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/15ad0215af02?v=0.7.2
          */
         const recentBlock = recentBlocks.get(context.anchor);
         if (recentBlock === undefined) {
@@ -23543,7 +23544,7 @@ function verifyRefineContexts(minLookupSlot, contexts, recentBlocksPartialUpdate
          * We require that each lookup-anchor block be within the
          * last L timeslots.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/154601154701
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/15ce0215cf02?v=0.7.2
          */
         if (context.lookupAnchorSlot < minLookupSlot) {
             return Result$1.error(ReportsError.SegmentRootLookupInvalid, () => `Lookup anchor slot's too old. Got: ${context.lookupAnchorSlot}, minimal: ${minLookupSlot}`);
@@ -23554,7 +23555,7 @@ function verifyRefineContexts(minLookupSlot, contexts, recentBlocksPartialUpdate
          * on-chain state and must be checked by virtue of retaini
          * ing the series of the last L headers as the ancestor set A.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/155c01155f01
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/15e40215e702?v=0.7.2
          */
         const isInChain = recentBlocks.has(context.lookupAnchor) ||
             headerChain.isAncestor(context.lookupAnchorSlot, context.lookupAnchor, context.anchor);
@@ -23577,7 +23578,7 @@ function verifyDependencies({ currentWorkPackages, recentlyReported, prerequisit
          * segment-root lookup, be either in the extrinsic or in our
          * recent history.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/15ca0115cd01
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/156b03156e03?v=0.7.2
          */
         for (const preReqHash of dependencies) {
             if (currentWorkPackages.has(preReqHash)) {
@@ -23606,7 +23607,7 @@ function verifyWorkPackagesUniqueness(workPackageHashes, state) {
     /**
      * Make sure that the package does not appear anywhere in the pipeline.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/159101159101
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/152803152803?v=0.7.2
      */
     // TODO [ToDr] [opti] this most likely should be cached and either
     // re-computed on invalidity or we could maintain additional
@@ -23647,9 +23648,9 @@ function verifyCredentials(guarantees,
 workReportHashes, slot, getGuarantorAssignment) {
     /**
      * Collect signatures payload for later verification
-     * and construct the `reporters set R` from that data.
+     * and construct the `reporters set G` from that data.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/15cf0015cf00
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/153002153002?v=0.7.2
      */
     const signaturesToVerify = [];
     const headerTimeSlot = slot;
@@ -23663,7 +23664,7 @@ workReportHashes, slot, getGuarantorAssignment) {
          * The credential is a sequence of two or three tuples of a
          * unique validator index and a signature.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/14b90214bb02
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
          */
         const credentialsView = guaranteeView.credentials.view();
         if (credentialsView.length < REQUIRED_CREDENTIALS_RANGE[0] ||
@@ -23693,7 +23694,8 @@ workReportHashes, slot, getGuarantorAssignment) {
             }
             /**
              * Verify core assignment.
-             * https://graypaper.fluffylabs.dev/#/5f542d7/14e40214e602
+             *
+             * https://graypaper.fluffylabs.dev/#/ab2cdbd/155201155401?v=0.7.2
              */
             if (guarantorData.core !== coreIndex) {
                 return Result$1.error(ReportsError.WrongAssignment, () => `Invalid core assignment for validator ${validatorIndex}. Expected: ${guarantorData.core}, got: ${coreIndex}`);
@@ -23712,7 +23714,7 @@ const JAM_GUARANTEE = BytesBlob.blobFromString("jam_guarantee").raw;
  * The signature [...] whose message is the serialization of the hash
  * of the work-report.
  *
- * https://graypaper.fluffylabs.dev/#/5f542d7/155200155200
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15a20115a201?v=0.7.2
  */
 function signingPayload(hash) {
     return BytesBlob.blobFromParts(JAM_GUARANTEE, hash.raw);
@@ -23723,7 +23725,7 @@ function verifyReportsOrder(input, chainSpec) {
      * The core index of each guarantee must be unique and
      * guarantees must be in ascending order of this.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/146902146a02
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/15d60015d700?v=0.7.2
      */
     const noOfCores = chainSpec.coresCount;
     let lastCoreIndex = -1;
@@ -23752,7 +23754,7 @@ function verifyPostSignatureChecks(input, availabilityAssignment, authPools, ser
          * No reports may be placed on cores with a report pending
          * availability on it.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/15ea0015ea00
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/155002155002?v=0.7.2
          */
         if (availabilityAssignment[coreIndex] !== null) {
             return Result$1.error(ReportsError.CoreEngaged, () => `Report pending availability at core: ${coreIndex}`);
@@ -23762,7 +23764,7 @@ function verifyPostSignatureChecks(input, availabilityAssignment, authPools, ser
          * in the authorizer pool of the core on which the work is
          * reported.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/15eb0015ed00
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/155102155302?v=0.7.2
          */
         const authorizerHash = report.authorizerHash;
         const authorizerPool = authPools.get(coreIndex);
@@ -23772,10 +23774,10 @@ function verifyPostSignatureChecks(input, availabilityAssignment, authPools, ser
         }
         /**
          * We require that the gas allotted for accumulation of each
-         * work item in each work-report respects its service’s
+         * work-digest in each work-report respects its service’s
          * minimum gas requirements.
          *
-         * https://graypaper.fluffylabs.dev/#/5f542d7/15f80015fa00
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/156602156802?v=0.7.2
          */
         for (const result of report.results) {
             const service = services(result.serviceId);
@@ -23847,10 +23849,11 @@ class Reports {
         /**
          * ρ′ - equivalent to ρ‡, except where the extrinsic replaced
          * an entry. In the case an entry is replaced, the new value
-         * includes the present time τ ′ allowing for the value to be
+         * includes the present time τ' allowing for the value to be
          * replaced without respect to its availability once sufficient
          * time has elapsed.
-         * https://graypaper.fluffylabs.dev/#/1c979cb/161e00165900?v=0.7.1
+         *
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/161e00165900?v=0.7.2
          */
         const availabilityAssignment = input.assurancesAvailAssignment.slice();
         for (const guarantee of input.guarantees) {
@@ -23908,7 +23911,7 @@ class Reports {
      * Get the guarantor assignment (both core and validator data)
      * depending on the rotation.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/158200158200
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/15df0115df01?v=0.7.2
      */
     getGuarantorAssignment(headerTimeSlot, guaranteeTimeSlot, newEntropy) {
         const epochLength = this.chainSpec.epochLength;
@@ -23916,7 +23919,7 @@ class Reports {
         const headerRotation = rotationIndex(headerTimeSlot, rotationPeriod);
         const guaranteeRotation = rotationIndex(guaranteeTimeSlot, rotationPeriod);
         const minTimeSlot = Math.max(0, headerRotation - 1) * rotationPeriod;
-        // https://graypaper.fluffylabs.dev/#/5f542d7/155e00156900
+        // https://graypaper.fluffylabs.dev/#/ab2cdbd/15980115be01?v=0.7.2
         if (guaranteeTimeSlot > headerTimeSlot) {
             return Result$1.error(ReportsError.FutureReportSlot, () => `Report slot is in future. Block ${headerTimeSlot}, Report: ${guaranteeTimeSlot}`);
         }
@@ -23924,7 +23927,7 @@ class Reports {
             return Result$1.error(ReportsError.ReportEpochBeforeLast, () => `Report slot is too old. Block ${headerTimeSlot}, Report: ${guaranteeTimeSlot}`);
         }
         // TODO [ToDr] [opti] below code needs cache.
-        // The `G` and `G*` sets should only be computed once per rotation.
+        // The `M` and `M*` sets should only be computed once per rotation.
         // Default data for the current rotation
         let entropy = newEntropy[2];
         let validatorData = this.state.currentValidatorData;
@@ -23941,7 +23944,7 @@ class Reports {
             }
         }
         // we know which entropy, timeSlot and validatorData should be used,
-        // so we can compute `G` or `G*` here.
+        // so we can compute `M` or `M*` here.
         const coreAssignment = generateCoreAssignment(this.chainSpec, this.blake2b, entropy, timeSlot);
         return Result$1.ok(zip(coreAssignment, validatorData, (core, validator) => ({
             core,
@@ -24109,22 +24112,23 @@ class Statistics {
         const newPreImagesSize = current[authorIndex].preImagesSize + preImagesSize;
         current[authorIndex].preImagesSize = tryAsU32(newPreImagesSize);
         /**
-         * * NOTE [MaSi] Please note I don't use Kappa' here. If I understand correctly we don't need it.
-         * Kappa' is not needed because we can use validator indexes directly from guarantees extrinsic.
-         * I asked a question to ensure it is true but I didn't get any response yet:
-         * https://github.com/w3f/jamtestvectors/pull/28#discussion_r190723700
+         * Update guarantees
          *
-         * https://graypaper.fluffylabs.dev/#/1c979cb/19a00119a801?v=0.7.1
+         * https://graypaper.fluffylabs.dev/#/ab2cdbd/19ea0119f201?v=0.7.2
          */
-        const incrementedGuarantors = new Set();
-        for (const guarantee of extrinsic.guarantees) {
-            for (const { validatorIndex } of guarantee.credentials) {
-                if (!incrementedGuarantors.has(validatorIndex)) {
-                    const newGuaranteesCount = current[validatorIndex].guarantees + 1;
-                    current[validatorIndex].guarantees = tryAsU32(newGuaranteesCount);
-                    incrementedGuarantors.add(validatorIndex);
-                }
+        const validatorKeys = input.currentValidatorData.map((v) => v.ed25519);
+        for (const reporter of input.reporters) {
+            const index = validatorKeys.findIndex((x) => x.isEqualTo(reporter));
+            if (index === -1) {
+                /**
+                 * it should never happen because:
+                 * 1. the extrinsic is verified in reports transition
+                 * 2. we use current validators set from safrole
+                 */
+                continue;
             }
+            const newGuaranteesCount = current[index].guarantees + 1;
+            current[index].guarantees = tryAsU32(newGuaranteesCount);
         }
         for (const { validatorIndex } of extrinsic.assurances) {
             const newAssurancesCount = current[validatorIndex].assurances + 1;
@@ -24381,8 +24385,7 @@ class OnChain {
         if (reportsResult.isError) {
             return stfError(StfErrorKind.Reports, reportsResult);
         }
-        // NOTE `reporters` are unused
-        const { reported: workPackages, reporters: _, stateUpdate: reportsUpdate, ...reportsRest } = reportsResult.ok;
+        const { reported: workPackages, reporters, stateUpdate: reportsUpdate, ...reportsRest } = reportsResult.ok;
         assertEmpty(reportsRest);
         const { availabilityAssignment: reportsAvailAssignment, ...reportsUpdateRest } = reportsUpdate;
         assertEmpty(reportsUpdateRest);
@@ -24456,6 +24459,8 @@ class OnChain {
             availableReports,
             accumulationStatistics,
             transferStatistics,
+            reporters: reporters,
+            currentValidatorData,
         });
         const { statistics, ...statisticsRest } = statisticsUpdate;
         assertEmpty(statisticsRest);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typeberry/lib",
-  "version": "0.5.0-5496f08",
+  "version": "0.5.0-584584e",
   "main": "index.js",
   "author": "Fluffy Labs",
   "license": "MPL-2.0",