@typeberry/convert 0.2.0-74f246e → 0.2.0-adde0dd

package/index.js

@@ -4544,7 +4544,7 @@ function result_resultToString(res) {
     if (res.isOk) {
         return `OK: ${typeof res.ok === "symbol" ? res.ok.toString() : res.ok}`;
     }
-    return `${res.details}\nError: ${maybeTaggedErrorToString(res.error)}`;
+    return `${res.details()}\nError: ${maybeTaggedErrorToString(res.error)}`;
 }
 /** An indication of two possible outcomes returned from a function. */
 const result_Result = {
@@ -4558,7 +4558,7 @@ const result_Result = {
         };
     },
     /** Create new [`Result`] with `Error` status. */
-    error: (error, details = "") => {
+    error: (error, details) => {
         debug_check `${error !== undefined} 'Error' type cannot be undefined.`;
         return {
             isOk: false,
@@ -4677,7 +4677,7 @@ function test_deepEqual(actual, expected, { context = [], errorsCollector, ignor
         }
         if (actual.isError && expected.isError) {
             test_deepEqual(actual.error, expected.error, { context: ctx.concat(["error"]), errorsCollector: errors, ignore });
-            test_deepEqual(actual.details, expected.details, {
+            test_deepEqual(actual.details(), expected.details(), {
                 context: ctx.concat(["details"]),
                 errorsCollector: errors,
                 // display details when error does not match
@@ -11465,6 +11465,7 @@ function accumulation_output_accumulationOutputComparator(a, b) {
 
 ;// CONCATENATED MODULE: ./packages/jam/block/gp-constants.ts
 
+
 /**
  * This file lists all of the constants defined in the GrayPaper appendix.
  *
@@ -11475,7 +11476,7 @@ function accumulation_output_accumulationOutputComparator(a, b) {
  * here are only temporarily for convenience. When we figure out better names
  * and places for these this file will be eradicated.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/413000413000
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/442300442300?v=0.7.2
  */
 /** `G_I`: The gas allocated to invoke a work-package’s Is-Authorized logic. */
 const gp_constants_G_I = 50_000_000;
@@ -11491,8 +11492,8 @@ const S = 1024;
 const gp_constants_T = 128;
 /** `W_A`: The maximum size of is-authorized code in octets. */
 const gp_constants_W_A = 64_000;
-/** `W_B`: The maximum size of an encoded work-package with extrinsic data and imports. */
-const gp_constants_W_B = 13_794_305;
+/** `W_B`: The maximum size of the concatenated variable-size blobs, extrinsics and imported segments of a work-package, in octets */
+const gp_constants_W_B = compatibility_Compatibility.isGreaterOrEqual(compatibility_GpVersion.V0_7_2) ? 13_791_360 : 13_794_305;
 /** `W_C`: The maximum size of service code in octets. */
 const gp_constants_W_C = 4_000_000;
 /** `W_M`: The maximum number of imports in a work-package. */
@@ -12591,31 +12592,29 @@ var state_update_UpdatePreimageKind;
  * 3. Update `LookupHistory` with given value.
  */
 class state_update_UpdatePreimage {
-    serviceId;
     action;
-    constructor(serviceId, action) {
-        this.serviceId = serviceId;
+    constructor(action) {
         this.action = action;
     }
     /** A preimage is provided. We should update the lookuphistory and add the preimage to db. */
-    static provide({ serviceId, preimage, slot, }) {
-        return new state_update_UpdatePreimage(serviceId, {
+    static provide({ preimage, slot }) {
+        return new state_update_UpdatePreimage({
             kind: state_update_UpdatePreimageKind.Provide,
             preimage,
             slot,
         });
     }
     /** The preimage should be removed completely from the database. */
-    static remove({ serviceId, hash, length }) {
-        return new state_update_UpdatePreimage(serviceId, {
+    static remove({ hash, length }) {
+        return new state_update_UpdatePreimage({
             kind: state_update_UpdatePreimageKind.Remove,
             hash,
             length,
         });
     }
     /** Update the lookup history of some preimage or add a new one (request). */
-    static updateOrAdd({ serviceId, lookupHistory }) {
-        return new state_update_UpdatePreimage(serviceId, {
+    static updateOrAdd({ lookupHistory }) {
+        return new state_update_UpdatePreimage({
             kind: state_update_UpdatePreimageKind.UpdateOrAdd,
             item: lookupHistory,
         });
@@ -12652,23 +12651,21 @@ var state_update_UpdateServiceKind;
     UpdateServiceKind[UpdateServiceKind["Create"] = 1] = "Create";
 })(state_update_UpdateServiceKind || (state_update_UpdateServiceKind = {}));
 /**
- * Update service info of a particular `ServiceId` or create a new one.
+ * Update service info or create a new one.
  */
 class state_update_UpdateService {
-    serviceId;
     action;
-    constructor(serviceId, action) {
-        this.serviceId = serviceId;
+    constructor(action) {
         this.action = action;
     }
-    static update({ serviceId, serviceInfo }) {
-        return new state_update_UpdateService(serviceId, {
+    static update({ serviceInfo }) {
+        return new state_update_UpdateService({
             kind: state_update_UpdateServiceKind.Update,
             account: serviceInfo,
         });
     }
-    static create({ serviceId, serviceInfo, lookupHistory, }) {
-        return new state_update_UpdateService(serviceId, {
+    static create({ serviceInfo, lookupHistory, }) {
+        return new state_update_UpdateService({
             kind: state_update_UpdateServiceKind.Create,
             account: serviceInfo,
             lookupHistory,
@@ -12689,17 +12686,15 @@ var state_update_UpdateStorageKind;
  * Can either create/modify an entry or remove it.
  */
 class state_update_UpdateStorage {
-    serviceId;
     action;
-    constructor(serviceId, action) {
-        this.serviceId = serviceId;
+    constructor(action) {
         this.action = action;
     }
-    static set({ serviceId, storage }) {
-        return new state_update_UpdateStorage(serviceId, { kind: state_update_UpdateStorageKind.Set, storage });
+    static set({ storage }) {
+        return new state_update_UpdateStorage({ kind: state_update_UpdateStorageKind.Set, storage });
     }
-    static remove({ serviceId, key }) {
-        return new state_update_UpdateStorage(serviceId, { kind: state_update_UpdateStorageKind.Remove, key });
+    static remove({ key }) {
+        return new state_update_UpdateStorage({ kind: state_update_UpdateStorageKind.Remove, key });
     }
     get key() {
         if (this.action.kind === state_update_UpdateStorageKind.Remove) {
@@ -12908,12 +12903,12 @@ class InMemoryState extends WithDebug {
      * Modify the state and apply a single state update.
      */
     applyUpdate(update) {
-        const { servicesRemoved, servicesUpdates, preimages, storage, ...rest } = update;
+        const { removed, created: _, updated, preimages, storage, ...rest } = update;
         // just assign all other variables
         Object.assign(this, rest);
         // and update the services state
         let result;
-        result = this.updateServices(servicesUpdates);
+        result = this.updateServices(updated);
         if (result.isError) {
             return result;
         }
@@ -12925,7 +12920,7 @@ class InMemoryState extends WithDebug {
         if (result.isError) {
             return result;
         }
-        this.removeServices(servicesRemoved);
+        this.removeServices(removed);
         return result_Result.ok(result_OK);
     }
     removeServices(servicesRemoved) {
@@ -12934,89 +12929,102 @@ class InMemoryState extends WithDebug {
             this.services.delete(serviceId);
         }
     }
-    updateStorage(storage) {
-        for (const { serviceId, action } of storage ?? []) {
-            const { kind } = action;
-            const service = this.services.get(serviceId);
-            if (service === undefined) {
-                return result_Result.error(in_memory_state_UpdateError.NoService, `Attempting to update storage of non-existing service: ${serviceId}`);
-            }
-            if (kind === state_update_UpdateStorageKind.Set) {
-                const { key, value } = action.storage;
-                service.data.storage.set(key.toString(), service_StorageItem.create({ key, value }));
-            }
-            else if (kind === state_update_UpdateStorageKind.Remove) {
-                const { key } = action;
-                debug_check `
+    updateStorage(storageUpdates) {
+        if (storageUpdates === undefined) {
+            return result_Result.ok(result_OK);
+        }
+        for (const [serviceId, updates] of storageUpdates.entries()) {
+            for (const update of updates) {
+                const { kind } = update.action;
+                const service = this.services.get(serviceId);
+                if (service === undefined) {
+                    return result_Result.error(in_memory_state_UpdateError.NoService, () => `Attempting to update storage of non-existing service: ${serviceId}`);
+                }
+                if (kind === state_update_UpdateStorageKind.Set) {
+                    const { key, value } = update.action.storage;
+                    service.data.storage.set(key.toString(), service_StorageItem.create({ key, value }));
+                }
+                else if (kind === state_update_UpdateStorageKind.Remove) {
+                    const { key } = update.action;
+                    debug_check `
           ${service.data.storage.has(key.toString())}
-          Attempting to remove non-existing storage item at ${serviceId}: ${action.key}
+          Attempting to remove non-existing storage item at ${serviceId}: ${update.action.key}
         `;
-                service.data.storage.delete(key.toString());
-            }
-            else {
-                debug_assertNever(kind);
+                    service.data.storage.delete(key.toString());
+                }
+                else {
+                    debug_assertNever(kind);
+                }
             }
         }
         return result_Result.ok(result_OK);
     }
-    updatePreimages(preimages) {
-        for (const { serviceId, action } of preimages ?? []) {
+    updatePreimages(preimagesUpdates) {
+        if (preimagesUpdates === undefined) {
+            return result_Result.ok(result_OK);
+        }
+        for (const [serviceId, updates] of preimagesUpdates.entries()) {
             const service = this.services.get(serviceId);
             if (service === undefined) {
-                return result_Result.error(in_memory_state_UpdateError.NoService, `Attempting to update preimage of non-existing service: ${serviceId}`);
-            }
-            const { kind } = action;
-            if (kind === state_update_UpdatePreimageKind.Provide) {
-                const { preimage, slot } = action;
-                if (service.data.preimages.has(preimage.hash)) {
-                    return result_Result.error(in_memory_state_UpdateError.PreimageExists, `Overwriting existing preimage at ${serviceId}: ${preimage}`);
-                }
-                service.data.preimages.set(preimage.hash, preimage);
-                if (slot !== null) {
-                    const lookupHistory = service.data.lookupHistory.get(preimage.hash);
-                    const length = numbers_tryAsU32(preimage.blob.length);
-                    const lookup = new service_LookupHistoryItem(preimage.hash, length, service_tryAsLookupHistorySlots([slot]));
-                    if (lookupHistory === undefined) {
-                        // no lookup history for that preimage at all (edge case, should be requested)
-                        service.data.lookupHistory.set(preimage.hash, [lookup]);
+                return result_Result.error(in_memory_state_UpdateError.NoService, () => `Attempting to update preimage of non-existing service: ${serviceId}`);
+            }
+            for (const update of updates) {
+                const { kind } = update.action;
+                if (kind === state_update_UpdatePreimageKind.Provide) {
+                    const { preimage, slot } = update.action;
+                    if (service.data.preimages.has(preimage.hash)) {
+                        return result_Result.error(in_memory_state_UpdateError.PreimageExists, () => `Overwriting existing preimage at ${serviceId}: ${preimage}`);
+                    }
+                    service.data.preimages.set(preimage.hash, preimage);
+                    if (slot !== null) {
+                        const lookupHistory = service.data.lookupHistory.get(preimage.hash);
+                        const length = numbers_tryAsU32(preimage.blob.length);
+                        const lookup = new service_LookupHistoryItem(preimage.hash, length, service_tryAsLookupHistorySlots([slot]));
+                        if (lookupHistory === undefined) {
+                            // no lookup history for that preimage at all (edge case, should be requested)
+                            service.data.lookupHistory.set(preimage.hash, [lookup]);
+                        }
+                        else {
+                            // insert or replace exiting entry
+                            const index = lookupHistory.map((x) => x.length).indexOf(length);
+                            lookupHistory.splice(index, index === -1 ? 0 : 1, lookup);
+                        }
                     }
-                    else {
-                        // insert or replace exiting entry
-                        const index = lookupHistory.map((x) => x.length).indexOf(length);
-                        lookupHistory.splice(index, index === -1 ? 0 : 1, lookup);
+                }
+                else if (kind === state_update_UpdatePreimageKind.Remove) {
+                    const { hash, length } = update.action;
+                    service.data.preimages.delete(hash);
+                    const history = service.data.lookupHistory.get(hash) ?? [];
+                    const idx = history.map((x) => x.length).indexOf(length);
+                    if (idx !== -1) {
+                        history.splice(idx, 1);
                     }
                 }
-            }
-            else if (kind === state_update_UpdatePreimageKind.Remove) {
-                const { hash, length } = action;
-                service.data.preimages.delete(hash);
-                const history = service.data.lookupHistory.get(hash) ?? [];
-                const idx = history.map((x) => x.length).indexOf(length);
-                if (idx !== -1) {
-                    history.splice(idx, 1);
+                else if (kind === state_update_UpdatePreimageKind.UpdateOrAdd) {
+                    const { item } = update.action;
+                    const history = service.data.lookupHistory.get(item.hash) ?? [];
+                    const existingIdx = history.map((x) => x.length).indexOf(item.length);
+                    const removeCount = existingIdx === -1 ? 0 : 1;
+                    history.splice(existingIdx, removeCount, item);
+                    service.data.lookupHistory.set(item.hash, history);
+                }
+                else {
+                    debug_assertNever(kind);
                 }
-            }
-            else if (kind === state_update_UpdatePreimageKind.UpdateOrAdd) {
-                const { item } = action;
-                const history = service.data.lookupHistory.get(item.hash) ?? [];
-                const existingIdx = history.map((x) => x.length).indexOf(item.length);
-                const removeCount = existingIdx === -1 ? 0 : 1;
-                history.splice(existingIdx, removeCount, item);
-                service.data.lookupHistory.set(item.hash, history);
-            }
-            else {
-                debug_assertNever(kind);
             }
         }
         return result_Result.ok(result_OK);
     }
     updateServices(servicesUpdates) {
-        for (const { serviceId, action } of servicesUpdates ?? []) {
-            const { kind, account } = action;
+        if (servicesUpdates === undefined) {
+            return result_Result.ok(result_OK);
+        }
+        for (const [serviceId, update] of servicesUpdates.entries()) {
+            const { kind, account } = update.action;
             if (kind === state_update_UpdateServiceKind.Create) {
-                const { lookupHistory } = action;
+                const { lookupHistory } = update.action;
                 if (this.services.has(serviceId)) {
-                    return result_Result.error(in_memory_state_UpdateError.DuplicateService, `${serviceId} already exists!`);
+                    return result_Result.error(in_memory_state_UpdateError.DuplicateService, () => `${serviceId} already exists!`);
                 }
                 this.services.set(serviceId, new InMemoryService(serviceId, {
                     info: account,
@@ -13028,7 +13036,7 @@ class InMemoryState extends WithDebug {
             else if (kind === state_update_UpdateServiceKind.Update) {
                 const existingService = this.services.get(serviceId);
                 if (existingService === undefined) {
-                    return result_Result.error(in_memory_state_UpdateError.NoService, `Cannot update ${serviceId} because it does not exist.`);
+                    return result_Result.error(in_memory_state_UpdateError.NoService, () => `Cannot update ${serviceId} because it does not exist.`);
                 }
                 existingService.data.info = account;
             }
@@ -14938,7 +14946,6 @@ function hasher_getKeccakTrieHasher(hasher) {
 
 
 
-
 /** What should be done with that key? */
 var StateEntryUpdateAction;
 (function (StateEntryUpdateAction) {
@@ -14954,76 +14961,88 @@ function* serialize_state_update_serializeStateUpdate(spec, blake2b, update) {
     yield* serializeBasicKeys(spec, update);
     const encode = (codec, val) => Encoder.encodeObject(codec, val, spec);
     // then let's proceed with service updates
-    yield* serializeServiceUpdates(update.servicesUpdates, encode, blake2b);
+    yield* serializeServiceUpdates(update.updated, encode, blake2b);
     yield* serializePreimages(update.preimages, encode, blake2b);
     yield* serializeStorage(update.storage, blake2b);
-    yield* serializeRemovedServices(update.servicesRemoved);
+    yield* serializeRemovedServices(update.removed);
 }
 function* serializeRemovedServices(servicesRemoved) {
-    for (const serviceId of servicesRemoved ?? []) {
+    if (servicesRemoved === undefined) {
+        return;
+    }
+    for (const serviceId of servicesRemoved) {
         // TODO [ToDr] what about all data associated with a service?
         const codec = serialize.serviceData(serviceId);
         yield [StateEntryUpdateAction.Remove, codec.key, EMPTY_BLOB];
     }
 }
-function* serializeStorage(storage, blake2b) {
-    for (const { action, serviceId } of storage ?? []) {
-        switch (action.kind) {
-            case UpdateStorageKind.Set: {
-                const key = action.storage.key;
-                const codec = serialize.serviceStorage(blake2b, serviceId, key);
-                yield [StateEntryUpdateAction.Insert, codec.key, action.storage.value];
-                break;
-            }
-            case UpdateStorageKind.Remove: {
-                const key = action.key;
-                const codec = serialize.serviceStorage(blake2b, serviceId, key);
-                yield [StateEntryUpdateAction.Remove, codec.key, EMPTY_BLOB];
-                break;
+function* serializeStorage(storageUpdates, blake2b) {
+    if (storageUpdates === undefined) {
+        return;
+    }
+    for (const [serviceId, updates] of storageUpdates.entries()) {
+        for (const { action } of updates) {
+            switch (action.kind) {
+                case UpdateStorageKind.Set: {
+                    const key = action.storage.key;
+                    const codec = serialize.serviceStorage(blake2b, serviceId, key);
+                    yield [StateEntryUpdateAction.Insert, codec.key, action.storage.value];
+                    break;
+                }
+                case UpdateStorageKind.Remove: {
+                    const key = action.key;
+                    const codec = serialize.serviceStorage(blake2b, serviceId, key);
+                    yield [StateEntryUpdateAction.Remove, codec.key, EMPTY_BLOB];
+                    break;
+                }
             }
-            default:
-                assertNever(action);
         }
     }
 }
-function* serializePreimages(preimages, encode, blake2b) {
-    for (const { action, serviceId } of preimages ?? []) {
-        switch (action.kind) {
-            case UpdatePreimageKind.Provide: {
-                const { hash, blob } = action.preimage;
-                const codec = serialize.servicePreimages(blake2b, serviceId, hash);
-                yield [StateEntryUpdateAction.Insert, codec.key, blob];
-                if (action.slot !== null) {
-                    const codec2 = serialize.serviceLookupHistory(blake2b, serviceId, hash, tryAsU32(blob.length));
-                    yield [
-                        StateEntryUpdateAction.Insert,
-                        codec2.key,
-                        encode(codec2.Codec, tryAsLookupHistorySlots([action.slot])),
-                    ];
+function* serializePreimages(preimagesUpdates, encode, blake2b) {
+    if (preimagesUpdates === undefined) {
+        return;
+    }
+    for (const [serviceId, updates] of preimagesUpdates.entries()) {
+        for (const { action } of updates) {
+            switch (action.kind) {
+                case UpdatePreimageKind.Provide: {
+                    const { hash, blob } = action.preimage;
+                    const codec = serialize.servicePreimages(blake2b, serviceId, hash);
+                    yield [StateEntryUpdateAction.Insert, codec.key, blob];
+                    if (action.slot !== null) {
+                        const codec2 = serialize.serviceLookupHistory(blake2b, serviceId, hash, tryAsU32(blob.length));
+                        yield [
+                            StateEntryUpdateAction.Insert,
+                            codec2.key,
+                            encode(codec2.Codec, tryAsLookupHistorySlots([action.slot])),
+                        ];
+                    }
+                    break;
+                }
+                case UpdatePreimageKind.UpdateOrAdd: {
+                    const { hash, length, slots } = action.item;
+                    const codec = serialize.serviceLookupHistory(blake2b, serviceId, hash, length);
+                    yield [StateEntryUpdateAction.Insert, codec.key, encode(codec.Codec, slots)];
+                    break;
+                }
+                case UpdatePreimageKind.Remove: {
+                    const { hash, length } = action;
+                    const codec = serialize.servicePreimages(blake2b, serviceId, hash);
+                    yield [StateEntryUpdateAction.Remove, codec.key, EMPTY_BLOB];
+                    const codec2 = serialize.serviceLookupHistory(blake2b, serviceId, hash, length);
+                    yield [StateEntryUpdateAction.Remove, codec2.key, EMPTY_BLOB];
+                    break;
                 }
-                break;
-            }
-            case UpdatePreimageKind.UpdateOrAdd: {
-                const { hash, length, slots } = action.item;
-                const codec = serialize.serviceLookupHistory(blake2b, serviceId, hash, length);
-                yield [StateEntryUpdateAction.Insert, codec.key, encode(codec.Codec, slots)];
-                break;
-            }
-            case UpdatePreimageKind.Remove: {
-                const { hash, length } = action;
-                const codec = serialize.servicePreimages(blake2b, serviceId, hash);
-                yield [StateEntryUpdateAction.Remove, codec.key, EMPTY_BLOB];
-                const codec2 = serialize.serviceLookupHistory(blake2b, serviceId, hash, length);
-                yield [StateEntryUpdateAction.Remove, codec2.key, EMPTY_BLOB];
-                break;
             }
-            default:
-                assertNever(action);
         }
     }
 }
 function* serializeServiceUpdates(servicesUpdates, encode, blake2b) {
-    for (const { action, serviceId } of servicesUpdates ?? []) {
+    if (servicesUpdates === undefined) {
+        return;
+    }
+    for (const [serviceId, { action }] of servicesUpdates.entries()) {
         // new service being created or updated
         const codec = serialize.serviceData(serviceId);
         yield [StateEntryUpdateAction.Insert, codec.key, encode(codec.Codec, action.account)];
@@ -15515,13 +15534,13 @@ class LeafDb {
      */
     static fromLeavesBlob(blob, db) {
         if (blob.length % TRIE_NODE_BYTES !== 0) {
-            return Result.error(LeafDbError.InvalidLeafData, `${blob.length} is not a multiply of ${TRIE_NODE_BYTES}: ${blob}`);
+            return Result.error(LeafDbError.InvalidLeafData, () => `${blob.length} is not a multiply of ${TRIE_NODE_BYTES}: ${blob}`);
         }
         const leaves = SortedSet.fromArray(leafComparator, []);
         for (const nodeData of blob.chunks(TRIE_NODE_BYTES)) {
             const node = new TrieNode(nodeData.raw);
             if (node.getNodeType() === NodeType.Branch) {
-                return Result.error(LeafDbError.InvalidLeafData, `Branch node detected: ${nodeData}`);
+                return Result.error(LeafDbError.InvalidLeafData, () => `Branch node detected: ${nodeData}`);
             }
             leaves.insert(node.asLeafNode());
         }
@@ -15742,32 +15761,33 @@ class preimages_Preimages {
             }
             if (prevPreimage.requester > currPreimage.requester ||
                 currPreimage.blob.compare(prevPreimage.blob).isLessOrEqual()) {
-                return Result.error(PreimagesErrorCode.PreimagesNotSortedUnique);
+                return Result.error(PreimagesErrorCode.PreimagesNotSortedUnique, () => `Preimages not sorted/unique at index ${i}`);
             }
         }
         const { preimages, slot } = input;
-        const pendingChanges = [];
+        const pendingChanges = new Map();
         // select preimages for integration
         for (const preimage of preimages) {
             const { requester, blob } = preimage;
             const hash = this.blake2b.hashBytes(blob).asOpaque();
             const service = this.state.getService(requester);
             if (service === null) {
-                return Result.error(PreimagesErrorCode.AccountNotFound);
+                return Result.error(PreimagesErrorCode.AccountNotFound, () => `Service not found: ${requester}`);
             }
             const hasPreimage = service.hasPreimage(hash);
             const slots = service.getLookupHistory(hash, tryAsU32(blob.length));
             // https://graypaper.fluffylabs.dev/#/5f542d7/181800181900
             // https://graypaper.fluffylabs.dev/#/5f542d7/116f0011a500
             if (hasPreimage || slots === null || !LookupHistoryItem.isRequested(slots)) {
-                return Result.error(PreimagesErrorCode.PreimageUnneeded);
+                return Result.error(PreimagesErrorCode.PreimageUnneeded, () => `Preimage unneeded: requester=${requester}, hash=${hash}, hasPreimage=${hasPreimage}, isRequested=${slots !== null && LookupHistoryItem.isRequested(slots)}`);
             }
             // https://graypaper.fluffylabs.dev/#/5f542d7/18c00018f300
-            pendingChanges.push(UpdatePreimage.provide({
-                serviceId: requester,
+            const updates = pendingChanges.get(requester) ?? [];
+            updates.push(UpdatePreimage.provide({
                 preimage: PreimageItem.create({ hash, blob }),
                 slot,
             }));
+            pendingChanges.set(requester, updates);
         }
         return Result.ok({
             preimages: pendingChanges,
@@ -15805,7 +15825,7 @@ class block_verifier_BlockVerifier {
         const headerHash = this.hasher.header(headerView);
         // check if current block is already imported
         if (this.blocks.getHeader(headerHash.hash) !== null) {
-            return Result.error(BlockVerifierError.AlreadyImported, `Block ${headerHash.hash} is already imported.`);
+            return Result.error(BlockVerifierError.AlreadyImported, () => `Block ${headerHash.hash} is already imported.`);
         }
         // Check if parent block exists.
         // https://graypaper.fluffylabs.dev/#/cc517d7/0c82000c8200?v=0.6.5
@@ -15815,14 +15835,14 @@ class block_verifier_BlockVerifier {
         if (!parentHash.isEqualTo(block_verifier_ZERO_HASH)) {
             const parentBlock = this.blocks.getHeader(parentHash);
             if (parentBlock === null) {
-                return Result.error(BlockVerifierError.ParentNotFound, `Parent ${parentHash.toString()} not found`);
+                return Result.error(BlockVerifierError.ParentNotFound, () => `Parent ${parentHash.toString()} not found`);
             }
             // Check if the time slot index is consecutive and not from future.
             // https://graypaper.fluffylabs.dev/#/cc517d7/0c02010c0201?v=0.6.5
             const timeslot = headerView.timeSlotIndex.materialize();
             const parentTimeslot = parentBlock.timeSlotIndex.materialize();
             if (timeslot <= parentTimeslot) {
-                return Result.error(BlockVerifierError.InvalidTimeSlot, `Invalid time slot index: ${timeslot}, expected > ${parentTimeslot}`);
+                return Result.error(BlockVerifierError.InvalidTimeSlot, () => `Invalid time slot index: ${timeslot}, expected > ${parentTimeslot}`);
             }
         }
         // Check if extrinsic is valid.
@@ -15830,17 +15850,17 @@ class block_verifier_BlockVerifier {
         const extrinsicHash = headerView.extrinsicHash.materialize();
         const extrinsicMerkleCommitment = this.hasher.extrinsic(block.extrinsic.view());
         if (!extrinsicHash.isEqualTo(extrinsicMerkleCommitment.hash)) {
-            return Result.error(BlockVerifierError.InvalidExtrinsic, `Invalid extrinsic hash: ${extrinsicHash.toString()}, expected ${extrinsicMerkleCommitment.hash.toString()}`);
+            return Result.error(BlockVerifierError.InvalidExtrinsic, () => `Invalid extrinsic hash: ${extrinsicHash.toString()}, expected ${extrinsicMerkleCommitment.hash.toString()}`);
         }
         // Check if the state root is valid.
         // https://graypaper.fluffylabs.dev/#/cc517d7/0c18010c1801?v=0.6.5
         const stateRoot = headerView.priorStateRoot.materialize();
         const posteriorStateRoot = this.blocks.getPostStateRoot(parentHash);
         if (posteriorStateRoot === null) {
-            return Result.error(BlockVerifierError.StateRootNotFound, `Posterior state root ${parentHash.toString()} not found`);
+            return Result.error(BlockVerifierError.StateRootNotFound, () => `Posterior state root ${parentHash.toString()} not found`);
         }
         if (!stateRoot.isEqualTo(posteriorStateRoot)) {
-            return Result.error(BlockVerifierError.InvalidStateRoot, `Invalid prior state root: ${stateRoot.toString()}, expected ${posteriorStateRoot.toString()} (ours)`);
+            return Result.error(BlockVerifierError.InvalidStateRoot, () => `Invalid prior state root: ${stateRoot.toString()}, expected ${posteriorStateRoot.toString()} (ours)`);
         }
         return Result.ok(headerHash.hash);
     }
@@ -15941,7 +15961,7 @@ class disputes_Disputes {
         // check if culprits are sorted by key
         // https://graypaper.fluffylabs.dev/#/579bd12/12c50112c601
         if (!isUniqueSortedBy(disputes.culprits, "key")) {
-            return Result.error(DisputesErrorCode.CulpritsNotSortedUnique);
+            return Result.error(DisputesErrorCode.CulpritsNotSortedUnique, () => "Culprits are not uniquely sorted by key");
         }
         const culpritsLength = disputes.culprits.length;
         for (let i = 0; i < culpritsLength; i++) {
@@ -15950,24 +15970,24 @@ class disputes_Disputes {
             // https://graypaper.fluffylabs.dev/#/579bd12/125501125501
             const isInPunishSet = this.state.disputesRecords.asDictionaries().punishSet.has(key);
             if (isInPunishSet) {
-                return Result.error(DisputesErrorCode.OffenderAlreadyReported);
+                return Result.error(DisputesErrorCode.OffenderAlreadyReported, () => `Offender already reported: culprit ${i}, key=${key}`);
             }
             // check if the guarantor key is correct
             // https://graypaper.fluffylabs.dev/#/85129da/125501125501?v=0.6.3
             if (!allValidatorKeys.has(key)) {
-                return Result.error(DisputesErrorCode.BadGuarantorKey);
+                return Result.error(DisputesErrorCode.BadGuarantorKey, () => `Bad guarantor key: culprit ${i}, key=${key}`);
             }
             // verify if the culprit will be in new bad set
             // https://graypaper.fluffylabs.dev/#/579bd12/124601124601
             const isInNewBadSet = newItems.asDictionaries().badSet.has(workReportHash);
             if (!isInNewBadSet) {
-                return Result.error(DisputesErrorCode.CulpritsVerdictNotBad);
+                return Result.error(DisputesErrorCode.CulpritsVerdictNotBad, () => `Culprit verdict not bad: culprit ${i}, work report=${workReportHash}`);
             }
             // verify culprit signature
             // https://graypaper.fluffylabs.dev/#/579bd12/125c01125c01
             const result = verificationResult.culprits[i];
             if (!result?.isValid) {
-                return Result.error(DisputesErrorCode.BadSignature, `Invalid signature for culprit: ${i}`);
+                return Result.error(DisputesErrorCode.BadSignature, () => `Invalid signature for culprit: ${i}`);
             }
         }
         return Result.ok(null);
@@ -15976,7 +15996,7 @@ class disputes_Disputes {
         // check if faults are sorted by key
         // https://graypaper.fluffylabs.dev/#/579bd12/12c50112c601
         if (!isUniqueSortedBy(disputes.faults, "key")) {
-            return Result.error(DisputesErrorCode.FaultsNotSortedUnique);
+            return Result.error(DisputesErrorCode.FaultsNotSortedUnique, () => "Faults are not uniquely sorted by key");
         }
         const faultsLength = disputes.faults.length;
         for (let i = 0; i < faultsLength; i++) {
@@ -15985,12 +16005,12 @@ class disputes_Disputes {
             // https://graypaper.fluffylabs.dev/#/579bd12/12a20112a201
             const isInPunishSet = this.state.disputesRecords.asDictionaries().punishSet.has(key);
             if (isInPunishSet) {
-                return Result.error(DisputesErrorCode.OffenderAlreadyReported);
+                return Result.error(DisputesErrorCode.OffenderAlreadyReported, () => `Offender already reported: fault ${i}, key=${key}`);
             }
             // check if the auditor key is correct
             // https://graypaper.fluffylabs.dev/#/85129da/12a20112a201?v=0.6.3
             if (!allValidatorKeys.has(key)) {
-                return Result.error(DisputesErrorCode.BadAuditorKey);
+                return Result.error(DisputesErrorCode.BadAuditorKey, () => `Bad auditor key: fault ${i}, key=${key}`);
             }
             // verify if the fault will be included in new good/bad set
             // it may be not correct as in GP there is "iff" what means it should be rather
@@ -16002,14 +16022,14 @@ class disputes_Disputes {
                 const isInNewGoodSet = goodSet.has(workReportHash);
                 const isInNewBadSet = badSet.has(workReportHash);
                 if (isInNewGoodSet || !isInNewBadSet) {
-                    return Result.error(DisputesErrorCode.FaultVerdictWrong);
+                    return Result.error(DisputesErrorCode.FaultVerdictWrong, () => `Fault verdict wrong: fault ${i}, work report=${workReportHash}, inGood=${isInNewGoodSet}, inBad=${isInNewBadSet}`);
                 }
             }
             // verify fault signature. Verification was done earlier, here we only check the result.
             // https://graypaper.fluffylabs.dev/#/579bd12/12a90112a901
             const result = verificationResult.faults[i];
             if (!result.isValid) {
-                return Result.error(DisputesErrorCode.BadSignature, `Invalid signature for fault: ${i}`);
+                return Result.error(DisputesErrorCode.BadSignature, () => `Invalid signature for fault: ${i}`);
             }
         }
         return Result.ok(null);
@@ -16018,32 +16038,32 @@ class disputes_Disputes {
         // check if verdicts are correctly sorted
         // https://graypaper.fluffylabs.dev/#/579bd12/12c40112c401
         if (!isUniqueSortedBy(disputes.verdicts, "workReportHash")) {
-            return Result.error(DisputesErrorCode.VerdictsNotSortedUnique);
+            return Result.error(DisputesErrorCode.VerdictsNotSortedUnique, () => "Verdicts are not uniquely sorted by work report hash");
         }
         // check if judgement are correctly sorted
         // https://graypaper.fluffylabs.dev/#/579bd12/123702123802
         if (disputes.verdicts.some((verdict) => !isUniqueSortedByIndex(verdict.votes))) {
-            return Result.error(DisputesErrorCode.JudgementsNotSortedUnique);
+            return Result.error(DisputesErrorCode.JudgementsNotSortedUnique, () => "Judgements are not uniquely sorted by index");
         }
         const currentEpoch = Math.floor(this.state.timeslot / this.chainSpec.epochLength);
         let voteSignatureIndex = 0;
         for (const { votesEpoch, votes } of disputes.verdicts) {
             // https://graypaper.fluffylabs.dev/#/579bd12/12bb0012bc00
             if (votesEpoch !== currentEpoch && votesEpoch + 1 !== currentEpoch) {
-                return Result.error(DisputesErrorCode.BadJudgementAge);
+                return Result.error(DisputesErrorCode.BadJudgementAge, () => `Bad judgement age: epoch=${votesEpoch}, current=${currentEpoch}`);
             }
             const k = votesEpoch === currentEpoch ? this.state.currentValidatorData : this.state.previousValidatorData;
             for (const { index } of votes) {
                 const key = k[index]?.ed25519;
                 // no particular GP fragment but I think we don't believe in ghosts
                 if (key === undefined) {
-                    return Result.error(DisputesErrorCode.BadValidatorIndex);
+                    return Result.error(DisputesErrorCode.BadValidatorIndex, () => `Bad validator index: ${index} in epoch ${votesEpoch}`);
                 }
                 // verify vote signature. Verification was done earlier, here we only check the result.
                 // https://graypaper.fluffylabs.dev/#/579bd12/12cd0012cd00
                 const result = verificationResult.judgements[voteSignatureIndex];
                 if (!result.isValid) {
-                    return Result.error(DisputesErrorCode.BadSignature, `Invalid signature for judgement: ${voteSignatureIndex}`);
+                    return Result.error(DisputesErrorCode.BadSignature, () => `Invalid signature for judgement: ${voteSignatureIndex}`);
                 }
                 voteSignatureIndex += 1;
             }
@@ -16059,7 +16079,7 @@ class disputes_Disputes {
             const isInBadSet = badSet.has(verdict.workReportHash);
             const isInWonkySet = wonkySet.has(verdict.workReportHash);
             if (isInGoodSet || isInBadSet || isInWonkySet) {
-                return Result.error(DisputesErrorCode.AlreadyJudged);
+                return Result.error(DisputesErrorCode.AlreadyJudged, () => `Work report already judged: ${verdict.workReportHash}`);
             }
         }
         return Result.ok(null);
@@ -16090,7 +16110,7 @@ class disputes_Disputes {
                 // https://graypaper.fluffylabs.dev/#/579bd12/12f10212fc02
                 const f = disputes.faults.find((x) => x.workReportHash.isEqualTo(r));
                 if (f === undefined) {
-                    return Result.error(DisputesErrorCode.NotEnoughFaults);
+                    return Result.error(DisputesErrorCode.NotEnoughFaults, () => `Not enough faults for work report: ${r}`);
                 }
             }
             else if (sum === 0) {
@@ -16099,13 +16119,13 @@ class disputes_Disputes {
                 const c1 = disputes.culprits.find((x) => x.workReportHash.isEqualTo(r));
                 const c2 = disputes.culprits.findLast((x) => x.workReportHash.isEqualTo(r));
                 if (c1 === c2) {
-                    return Result.error(DisputesErrorCode.NotEnoughCulprits);
+                    return Result.error(DisputesErrorCode.NotEnoughCulprits, () => `Not enough culprits for work report: ${r}`);
                 }
             }
             else if (sum !== this.chainSpec.thirdOfValidators) {
                 // positive votes count is not correct
                 // https://graypaper.fluffylabs.dev/#/579bd12/125002128102
-                return Result.error(DisputesErrorCode.BadVoteSplit);
+                return Result.error(DisputesErrorCode.BadVoteSplit, () => `Bad vote split: sum=${sum}, expected=${this.chainSpec.thirdOfValidators} for work report ${r}`);
             }
         }
         return Result.ok(null);
@@ -16193,7 +16213,7 @@ class disputes_Disputes {
                 const validator = k[j.index];
                 // no particular GP fragment but I think we don't believe in ghosts
                 if (validator === undefined) {
-                    return Result.error(DisputesErrorCode.BadValidatorIndex);
+                    return Result.error(DisputesErrorCode.BadValidatorIndex, () => `Bad validator index in signature verification: ${j.index}`);
                 }
                 const key = validator.ed25519;
                 // verify vote signature
@@ -16301,7 +16321,7 @@ const ringCommitmentCache = [];
 async function verifySeal(bandersnatch, authorKey, signature, payload, encodedUnsealedHeader) {
     const sealResult = await bandersnatch.verifySeal(authorKey.raw, signature.raw, payload.raw, encodedUnsealedHeader.raw);
     if (sealResult[RESULT_INDEX] === ResultValues.Error) {
-        return result_Result.error(null);
+        return result_Result.error(null, () => "Bandersnatch VRF seal verification failed");
     }
     return result_Result.ok(bytes_Bytes.fromBlob(sealResult.subarray(1), hash_HASH_SIZE).asOpaque());
 }
@@ -16327,7 +16347,7 @@ function getRingCommitment(bandersnatch, validators) {
 async function getRingCommitmentNoCache(bandersnatch, keys) {
     const commitmentResult = await bandersnatch.getRingCommitment(keys.raw);
     if (commitmentResult[RESULT_INDEX] === ResultValues.Error) {
-        return result_Result.error(null);
+        return result_Result.error(null, () => "Bandersnatch ring commitment calculation failed");
     }
     return result_Result.ok(bytes_Bytes.fromBlob(commitmentResult.subarray(1), BANDERSNATCH_RING_ROOT_BYTES).asOpaque());
 }
@@ -16502,7 +16522,7 @@ class safrole_Safrole {
                 epochRoot: epochRootResult.ok,
             });
         }
-        return Result.error(SafroleErrorCode.IncorrectData);
+        return Result.error(SafroleErrorCode.IncorrectData, () => "Safrole: failed to get epoch root for validator keys");
     }
     /**
      * Ticket sequencer that is used in standard mode
@@ -16593,10 +16613,10 @@ class safrole_Safrole {
         for (let i = 1; i < ticketsLength; i++) {
             const order = tickets[i - 1].id.compare(tickets[i].id);
             if (order.isEqual()) {
-                return Result.error(SafroleErrorCode.DuplicateTicket);
+                return Result.error(SafroleErrorCode.DuplicateTicket, () => `Safrole: duplicate ticket found at index ${i}`);
             }
             if (order.isGreater()) {
-                return Result.error(SafroleErrorCode.BadTicketOrder);
+                return Result.error(SafroleErrorCode.BadTicketOrder, () => `Safrole: bad ticket order at index ${i}`);
             }
         }
         return Result.ok(null);
@@ -16623,7 +16643,7 @@ class safrole_Safrole {
             attempt: ticket.attempt,
         }));
         if (!verificationResult.every((x) => x.isValid)) {
-            return Result.error(SafroleErrorCode.BadTicketProof);
+            return Result.error(SafroleErrorCode.BadTicketProof, () => "Safrole: invalid ticket proof in extrinsic");
         }
         /**
          * Verify if tickets are sorted and unique
@@ -16632,7 +16652,7 @@ class safrole_Safrole {
          */
         const ticketsVerifcationResult = this.verifyTickets(tickets);
         if (ticketsVerifcationResult.isError) {
-            return Result.error(ticketsVerifcationResult.error);
+            return Result.error(ticketsVerifcationResult.error, ticketsVerifcationResult.details);
         }
         if (this.isEpochChanged(timeslot)) {
             return Result.ok(tickets);
@@ -16641,7 +16661,7 @@ class safrole_Safrole {
         const ticketsFromExtrinsic = SortedSet.fromSortedArray(ticketComparator, tickets);
         const mergedTickets = SortedSet.fromTwoSortedCollections(ticketsFromState, ticketsFromExtrinsic);
         if (ticketsFromState.length + ticketsFromExtrinsic.length !== mergedTickets.length) {
-            return Result.error(SafroleErrorCode.DuplicateTicket);
+            return Result.error(SafroleErrorCode.DuplicateTicket, () => "Safrole: duplicate ticket when merging state and extrinsic tickets");
         }
         /**
          * Remove tickets if size of accumulator exceeds E (epoch length).
@@ -16710,24 +16730,24 @@ class safrole_Safrole {
     }
     async transition(input) {
         if (this.state.timeslot >= input.slot) {
-            return Result.error(SafroleErrorCode.BadSlot);
+            return Result.error(SafroleErrorCode.BadSlot, () => `Safrole: bad slot, state timeslot ${this.state.timeslot} >= input slot ${input.slot}`);
         }
         if (!this.isExtrinsicLengthValid(input.slot, input.extrinsic)) {
-            return Result.error(SafroleErrorCode.UnexpectedTicket);
+            return Result.error(SafroleErrorCode.UnexpectedTicket, () => `Safrole: unexpected ticket, invalid extrinsic length ${input.extrinsic.length}`);
         }
         if (!this.areTicketAttemptsValid(input.extrinsic)) {
-            return Result.error(SafroleErrorCode.BadTicketAttempt);
+            return Result.error(SafroleErrorCode.BadTicketAttempt, () => "Safrole: bad ticket attempt value in extrinsic");
         }
         const validatorKeysResult = await this.getValidatorKeys(input.slot, input.punishSet);
         if (validatorKeysResult.isError) {
-            return Result.error(validatorKeysResult.error);
+            return Result.error(validatorKeysResult.error, validatorKeysResult.details);
         }
         const { nextValidatorData, currentValidatorData, previousValidatorData, epochRoot } = validatorKeysResult.ok;
         const entropy = this.getEntropy(input.slot, input.entropy);
         const sealingKeySeries = this.getSlotKeySequence(input.slot, currentValidatorData, entropy[2]);
         const newTicketsAccumulatorResult = await this.getNewTicketAccumulator(input.slot, input.extrinsic, this.state.nextValidatorData, epochRoot, entropy[2]);
         if (newTicketsAccumulatorResult.isError) {
-            return Result.error(newTicketsAccumulatorResult.error);
+            return Result.error(newTicketsAccumulatorResult.error, newTicketsAccumulatorResult.details);
         }
         const stateUpdate = {
             nextValidatorData,
@@ -16761,14 +16781,14 @@ function compareWithEncoding(chainSpec, error, actual, expected, codec) {
     if (actual === null || expected === null) {
         // if one of them is `null`, both need to be.
         if (actual !== expected) {
-            return Result.error(error, `${SafroleErrorCode[error]} Expected: ${expected}, got: ${actual}`);
+            return Result.error(error, () => `${SafroleErrorCode[error]} Expected: ${expected}, got: ${actual}`);
         }
         return Result.ok(OK);
     }
     // compare the literal encoding.
     const encoded = Encoder.encodeObject(codec, actual, chainSpec);
     if (!encoded.isEqualTo(expected.encoded())) {
-        return Result.error(error, `${SafroleErrorCode[error]} Expected: ${expected.encoded()}, got: ${encoded}`);
+        return Result.error(error, () => `${SafroleErrorCode[error]} Expected: ${expected.encoded()}, got: ${encoded}`);
     }
     return Result.ok(OK);
 }
@@ -16811,7 +16831,7 @@ class safrole_seal_SafroleSeal {
         const blockAuthorKey = state.currentValidatorData.at(blockAuthorIndex)?.bandersnatch;
         const entropySourceResult = await bandersnatchVrf.verifySeal(await this.bandersnatch, blockAuthorKey ?? BANDERSNATCH_ZERO_KEY, headerView.entropySource.materialize(), payload, BytesBlob.blobFromNumbers([]));
         if (entropySourceResult.isError) {
-            return Result.error(SafroleSealError.IncorrectEntropySource);
+            return Result.error(SafroleSealError.IncorrectEntropySource, () => "Safrole: incorrect entropy source in header seal");
         }
         return Result.ok(entropySourceResult.ok);
     }
@@ -16820,7 +16840,7 @@ class safrole_seal_SafroleSeal {
         const validatorIndex = headerView.bandersnatchBlockAuthorIndex.materialize();
         const authorKeys = state.currentValidatorData.at(validatorIndex);
         if (authorKeys === undefined) {
-            return Result.error(SafroleSealError.InvalidValidatorIndex);
+            return Result.error(SafroleSealError.InvalidValidatorIndex, () => `Safrole: invalid validator index ${validatorIndex}`);
         }
         const timeSlot = headerView.timeSlotIndex.materialize();
         const sealingKeys = state.sealingKeySeries;
@@ -16839,10 +16859,10 @@ class safrole_seal_SafroleSeal {
         const authorKey = validatorData.bandersnatch;
         const result = await bandersnatchVrf.verifySeal(await this.bandersnatch, authorKey ?? BANDERSNATCH_ZERO_KEY, headerView.seal.materialize(), payload, encodeUnsealedHeader(headerView));
         if (result.isError) {
-            return Result.error(SafroleSealError.IncorrectSeal);
+            return Result.error(SafroleSealError.IncorrectSeal, () => "Safrole: incorrect seal with ticket");
         }
         if (ticket === undefined || !ticket.id.isEqualTo(result.ok)) {
-            return Result.error(SafroleSealError.InvalidTicket);
+            return Result.error(SafroleSealError.InvalidTicket, () => `Safrole: invalid ticket, expected ${ticket?.id} got ${result.ok}`);
         }
         return Result.ok(result.ok);
     }
@@ -16852,13 +16872,13 @@ class safrole_seal_SafroleSeal {
         const sealingKey = keys.at(index);
         const authorBandersnatchKey = authorKey.bandersnatch;
         if (sealingKey === undefined || !sealingKey.isEqualTo(authorBandersnatchKey)) {
-            return Result.error(SafroleSealError.InvalidValidator, `Invalid Validator. Expected: ${sealingKey}, got: ${authorKey.bandersnatch}`);
+            return Result.error(SafroleSealError.InvalidValidator, () => `Invalid Validator. Expected: ${sealingKey}, got: ${authorKey.bandersnatch}`);
         }
         // verify seal correctness
         const payload = BytesBlob.blobFromParts(JAM_FALLBACK_SEAL, entropy.raw);
         const result = await bandersnatchVrf.verifySeal(await this.bandersnatch, authorBandersnatchKey, headerView.seal.materialize(), payload, encodeUnsealedHeader(headerView));
         if (result.isError) {
-            return Result.error(SafroleSealError.IncorrectSeal);
+            return Result.error(SafroleSealError.IncorrectSeal, () => "Safrole: incorrect seal with keys");
         }
         return Result.ok(result.ok);
     }
@@ -16901,6 +16921,14 @@ async function getRootHash(yieldedRoots) {
 
 
 const InsufficientFundsError = "insufficient funds";
+/** Deep clone of a map with array. */
+function deepCloneMapWithArray(map) {
+    const cloned = [];
+    for (const [k, v] of map.entries()) {
+        cloned.push([k, v.slice()]);
+    }
+    return new Map(cloned);
+}
 /**
  * State updates that currently accumulating service produced.
  *
@@ -16930,10 +16958,11 @@ class state_update_AccumulationStateUpdate {
     /** Create new empty state update. */
     static empty() {
         return new state_update_AccumulationStateUpdate({
-            servicesUpdates: [],
-            servicesRemoved: [],
-            preimages: [],
-            storage: [],
+            created: [],
+            updated: new Map(),
+            removed: [],
+            preimages: new Map(),
+            storage: new Map(),
         }, []);
     }
     /** Create a state update with some existing, yet uncommited services updates. */
@@ -16945,10 +16974,13 @@ class state_update_AccumulationStateUpdate {
     /** Create a copy of another `StateUpdate`. Used by checkpoints. */
     static copyFrom(from) {
         const serviceUpdates = {
-            servicesUpdates: [...from.services.servicesUpdates],
-            servicesRemoved: [...from.services.servicesRemoved],
-            preimages: [...from.services.preimages],
-            storage: [...from.services.storage],
+            // shallow copy
+            created: [...from.services.created],
+            updated: new Map(from.services.updated),
+            removed: [...from.services.removed],
+            // deep copy
+            preimages: deepCloneMapWithArray(from.services.preimages),
+            storage: deepCloneMapWithArray(from.services.storage),
         };
         const transfers = [...from.transfers];
         const update = new state_update_AccumulationStateUpdate(serviceUpdates, transfers, new Map(from.yieldedRoots));
@@ -16996,9 +17028,9 @@ class state_update_PartiallyUpdatedState {
         if (destination === null) {
             return null;
         }
-        const maybeNewService = this.stateUpdate.services.servicesUpdates.find((update) => update.serviceId === destination);
-        if (maybeNewService !== undefined) {
-            return maybeNewService.action.account;
+        const maybeUpdatedServiceInfo = this.stateUpdate.services.updated.get(destination);
+        if (maybeUpdatedServiceInfo !== undefined) {
+            return maybeUpdatedServiceInfo.action.account;
         }
         const maybeService = this.state.getService(destination);
         if (maybeService === null) {
@@ -17007,7 +17039,8 @@ class state_update_PartiallyUpdatedState {
         return maybeService.getInfo();
     }
     getStorage(serviceId, rawKey) {
-        const item = this.stateUpdate.services.storage.find((x) => x.serviceId === serviceId && x.key.isEqualTo(rawKey));
+        const storages = this.stateUpdate.services.storage.get(serviceId) ?? [];
+        const item = storages.find((x) => x.key.isEqualTo(rawKey));
         if (item !== undefined) {
             return item.value;
         }
@@ -17022,10 +17055,11 @@ class state_update_PartiallyUpdatedState {
      * the existence in `preimages` map.
      */
     hasPreimage(serviceId, hash) {
-        const providedPreimage = this.stateUpdate.services.preimages.find(
+        const preimages = this.stateUpdate.services.preimages.get(serviceId) ?? [];
+        const providedPreimage = preimages.find(
         // we ignore the action here, since if there is <any> update on that
         // hash it means it has to exist, right?
-        (p) => p.serviceId === serviceId && p.hash.isEqualTo(hash));
+        (p) => p.hash.isEqualTo(hash));
         if (providedPreimage !== undefined) {
             return true;
         }
@@ -17038,7 +17072,8 @@ class state_update_PartiallyUpdatedState {
     }
     getPreimage(serviceId, hash) {
         // TODO [ToDr] Should we verify availability here?
-        const freshlyProvided = this.stateUpdate.services.preimages.find((x) => x.serviceId === serviceId && x.hash.isEqualTo(hash));
+        const preimages = this.stateUpdate.services.preimages.get(serviceId) ?? [];
+        const freshlyProvided = preimages.find((x) => x.hash.isEqualTo(hash));
         if (freshlyProvided !== undefined && freshlyProvided.action.kind === UpdatePreimageKind.Provide) {
             return freshlyProvided.action.preimage.blob;
         }
@@ -17047,10 +17082,11 @@ class state_update_PartiallyUpdatedState {
     }
     /** Get status of a preimage of current service taking into account any updates. */
     getLookupHistory(currentTimeslot, serviceId, hash, length) {
+        const preimages = this.stateUpdate.services.preimages.get(serviceId) ?? [];
         // TODO [ToDr] This is most likely wrong. We may have `provide` and `remove` within
         // the same state update. We should however switch to proper "updated state"
         // representation soon.
-        const updatedPreimage = this.stateUpdate.services.preimages.findLast((update) => update.serviceId === serviceId && update.hash.isEqualTo(hash) && BigInt(update.length) === length);
+        const updatedPreimage = preimages.findLast((update) => update.hash.isEqualTo(hash) && BigInt(update.length) === length);
         const stateFallback = () => {
             // fallback to state lookup
             const service = this.state.getService(serviceId);
@@ -17087,14 +17123,15 @@ class state_update_PartiallyUpdatedState {
     /* State update functions. */
     updateStorage(serviceId, key, value) {
         const update = value === null
-            ? UpdateStorage.remove({ serviceId, key })
+            ? UpdateStorage.remove({ key })
             : UpdateStorage.set({
-                serviceId,
                 storage: StorageItem.create({ key, value }),
             });
-        const index = this.stateUpdate.services.storage.findIndex((x) => x.serviceId === update.serviceId && x.key.isEqualTo(key));
+        const storages = this.stateUpdate.services.storage.get(serviceId) ?? [];
+        const index = storages.findIndex((x) => x.key.isEqualTo(key));
         const count = index === -1 ? 0 : 1;
-        this.stateUpdate.services.storage.splice(index, count, update);
+        storages.splice(index, count, update);
+        this.stateUpdate.services.storage.set(serviceId, storages);
     }
     /**
      * Update a preimage.
@@ -17102,8 +17139,10 @@ class state_update_PartiallyUpdatedState {
      * Note we store all previous entries as well, since there might be a sequence of:
      * `provide` -> `remove` and both should update the end state somehow.
      */
-    updatePreimage(newUpdate) {
-        this.stateUpdate.services.preimages.push(newUpdate);
+    updatePreimage(serviceId, newUpdate) {
+        const updatePreimages = this.stateUpdate.services.preimages.get(serviceId) ?? [];
+        updatePreimages.push(newUpdate);
+        this.stateUpdate.services.preimages.set(serviceId, updatePreimages);
     }
     updateServiceStorageUtilisation(serviceId, items, bytes, serviceInfo) {
         check `${items >= 0} storageUtilisationCount has to be a positive number, got: ${items}`;
@@ -17112,11 +17151,11 @@ class state_update_PartiallyUpdatedState {
         const overflowBytes = !isU64(bytes);
         // TODO [ToDr] this is not specified in GP, but it seems sensible.
         if (overflowItems || overflowBytes) {
-            return Result.error(InsufficientFundsError);
+            return Result.error(InsufficientFundsError, () => `Storage utilisation overflow: items=${overflowItems}, bytes=${overflowBytes}`);
         }
         const thresholdBalance = ServiceAccountInfo.calculateThresholdBalance(items, bytes, serviceInfo.gratisStorage);
         if (serviceInfo.balance < thresholdBalance) {
-            return Result.error(InsufficientFundsError);
+            return Result.error(InsufficientFundsError, () => `Service balance (${serviceInfo.balance}) below threshold (${thresholdBalance})`);
         }
         // Update service info with new details.
         this.updateServiceInfo(serviceId, ServiceAccountInfo.create({
@@ -17127,20 +17166,23 @@ class state_update_PartiallyUpdatedState {
         return Result.ok(OK);
     }
     updateServiceInfo(serviceId, newInfo) {
-        const idx = this.stateUpdate.services.servicesUpdates.findIndex((x) => x.serviceId === serviceId);
-        const toRemove = idx === -1 ? 0 : 1;
-        const existingItem = this.stateUpdate.services.servicesUpdates[idx];
-        if (existingItem?.action.kind === UpdateServiceKind.Create) {
-            this.stateUpdate.services.servicesUpdates.splice(idx, toRemove, UpdateService.create({
-                serviceId,
+        const existingUpdate = this.stateUpdate.services.updated.get(serviceId);
+        if (existingUpdate?.action.kind === UpdateServiceKind.Create) {
+            this.stateUpdate.services.updated.set(serviceId, UpdateService.create({
                 serviceInfo: newInfo,
-                lookupHistory: existingItem.action.lookupHistory,
+                lookupHistory: existingUpdate.action.lookupHistory,
             }));
             return;
         }
-        this.stateUpdate.services.servicesUpdates.splice(idx, toRemove, UpdateService.update({
-            serviceId,
+        this.stateUpdate.services.updated.set(serviceId, UpdateService.update({
+            serviceInfo: newInfo,
+        }));
+    }
+    createService(serviceId, newInfo, newLookupHistory) {
+        this.stateUpdate.services.created.push(serviceId);
+        this.stateUpdate.services.updated.set(serviceId, UpdateService.create({
             serviceInfo: newInfo,
+            lookupHistory: newLookupHistory,
         }));
     }
     getPrivilegedServices() {
@@ -18502,7 +18544,7 @@ class readable_page_ReadablePage extends MemoryPage {
     loadInto(result, startIndex, length) {
         const endIndex = startIndex + length;
         if (endIndex > memory_consts_PAGE_SIZE) {
-            return result_Result.error(errors_PageFault.fromMemoryIndex(this.start + memory_consts_PAGE_SIZE));
+            return result_Result.error(errors_PageFault.fromMemoryIndex(this.start + memory_consts_PAGE_SIZE), () => `Page fault: read beyond page boundary at ${this.start + memory_consts_PAGE_SIZE}`);
         }
         const bytes = this.data.subarray(startIndex, endIndex);
         // we zero the bytes, since data might not yet be initialized at `endIndex`.
@@ -18511,7 +18553,7 @@ class readable_page_ReadablePage extends MemoryPage {
         return result_Result.ok(result_OK);
     }
     storeFrom(_address, _data) {
-        return result_Result.error(errors_PageFault.fromMemoryIndex(this.start, true));
+        return result_Result.error(errors_PageFault.fromMemoryIndex(this.start, true), () => `Page fault: attempted to write to read-only page at ${this.start}`);
     }
     setData(pageIndex, data) {
         this.data.set(data, pageIndex);
@@ -18545,7 +18587,7 @@ class writeable_page_WriteablePage extends MemoryPage {
     loadInto(result, startIndex, length) {
         const endIndex = startIndex + length;
         if (endIndex > memory_consts_PAGE_SIZE) {
-            return result_Result.error(errors_PageFault.fromMemoryIndex(this.start + memory_consts_PAGE_SIZE));
+            return result_Result.error(errors_PageFault.fromMemoryIndex(this.start + memory_consts_PAGE_SIZE), () => `Page fault: read beyond page boundary at ${this.start + memory_consts_PAGE_SIZE}`);
         }
         const bytes = this.view.subarray(startIndex, endIndex);
         // we zero the bytes, since the view might not yet be initialized at `endIndex`.
@@ -18631,7 +18673,7 @@ class memory_Memory {
         memory_logger.insane `MEM[${address}] <- ${BytesBlob.blobFrom(bytes)}`;
         const pagesResult = this.getPages(address, bytes.length, AccessType.WRITE);
         if (pagesResult.isError) {
-            return Result.error(pagesResult.error);
+            return Result.error(pagesResult.error, pagesResult.details);
         }
         const pages = pagesResult.ok;
         let currentPosition = address;
@@ -18656,14 +18698,14 @@ class memory_Memory {
         const pages = [];
         for (const pageNumber of pageRange) {
             if (pageNumber < RESERVED_NUMBER_OF_PAGES) {
-                return Result.error(PageFault.fromPageNumber(pageNumber, true));
+                return Result.error(PageFault.fromPageNumber(pageNumber, true), () => `Page fault: attempted to access reserved page ${pageNumber}`);
             }
             const page = this.memory.get(pageNumber);
             if (page === undefined) {
-                return Result.error(PageFault.fromPageNumber(pageNumber));
+                return Result.error(PageFault.fromPageNumber(pageNumber), () => `Page fault: page ${pageNumber} not allocated`);
             }
             if (accessType === AccessType.WRITE && !page.isWriteable()) {
-                return Result.error(PageFault.fromPageNumber(pageNumber, true));
+                return Result.error(PageFault.fromPageNumber(pageNumber, true), () => `Page fault: attempted to write to read-only page ${pageNumber}`);
             }
             pages.push(page);
         }
@@ -18681,7 +18723,7 @@ class memory_Memory {
         }
         const pagesResult = this.getPages(startAddress, result.length, AccessType.READ);
         if (pagesResult.isError) {
-            return Result.error(pagesResult.error);
+            return Result.error(pagesResult.error, pagesResult.details);
         }
         const pages = pagesResult.ok;
         let currentPosition = startAddress;
@@ -20434,7 +20476,7 @@ class program_decoder_ProgramDecoder {
         }
         catch (e) {
             program_decoder_logger.error `Invalid program: ${e}`;
-            return Result.error(ProgramDecoderError.InvalidProgramError);
+            return Result.error(ProgramDecoderError.InvalidProgramError, () => `Program decoder error: ${e}`);
         }
     }
 }
@@ -21177,10 +21219,10 @@ class accumulate_externalities_AccumulateExternalities {
             const len = existingPreimage.slots.length;
             // https://graypaper.fluffylabs.dev/#/9a08063/380901380901?v=0.6.6
             if (len === PreimageStatusKind.Requested) {
-                return Result.error(RequestPreimageError.AlreadyRequested);
+                return Result.error(RequestPreimageError.AlreadyRequested, () => `Preimage already requested: hash=${hash}`);
             }
             if (len === PreimageStatusKind.Available || len === PreimageStatusKind.Reavailable) {
-                return Result.error(RequestPreimageError.AlreadyAvailable);
+                return Result.error(RequestPreimageError.AlreadyAvailable, () => `Preimage already available: hash=${hash}`);
             }
             // TODO [ToDr] Not sure if we should update the service info in that case,
             // but for now we let that case fall-through.
@@ -21205,15 +21247,13 @@ class accumulate_externalities_AccumulateExternalities {
         const clampedLength = clampU64ToU32(length);
         if (existingPreimage === null) {
             // https://graypaper.fluffylabs.dev/#/9a08063/38a60038a600?v=0.6.6
-            this.updatedState.updatePreimage(UpdatePreimage.updateOrAdd({
-                serviceId: this.currentServiceId,
+            this.updatedState.updatePreimage(this.currentServiceId, UpdatePreimage.updateOrAdd({
                 lookupHistory: new LookupHistoryItem(hash, clampedLength, tryAsLookupHistorySlots([])),
             }));
         }
         else {
             /** https://graypaper.fluffylabs.dev/#/9a08063/38ca0038ca00?v=0.6.6 */
-            this.updatedState.updatePreimage(UpdatePreimage.updateOrAdd({
-                serviceId: this.currentServiceId,
+            this.updatedState.updatePreimage(this.currentServiceId, UpdatePreimage.updateOrAdd({
                 lookupHistory: new LookupHistoryItem(hash, clampedLength, tryAsLookupHistorySlots([...existingPreimage.slots, this.currentTimeslot])),
             }));
         }
@@ -21223,7 +21263,7 @@ class accumulate_externalities_AccumulateExternalities {
         const serviceId = this.currentServiceId;
         const status = this.updatedState.getLookupHistory(this.currentTimeslot, this.currentServiceId, hash, length);
         if (status === null) {
-            return Result.error(ForgetPreimageError.NotFound);
+            return Result.error(ForgetPreimageError.NotFound, () => `Preimage not found: hash=${hash}, length=${length}`);
         }
         const s = slotsToPreimageStatus(status.slots);
         const updateStorageUtilisation = () => {
@@ -21236,10 +21276,9 @@ class accumulate_externalities_AccumulateExternalities {
         if (s.status === PreimageStatusKind.Requested) {
             const res = updateStorageUtilisation();
             if (res.isError) {
-                return Result.error(ForgetPreimageError.StorageUtilisationError);
+                return Result.error(ForgetPreimageError.StorageUtilisationError, res.details);
             }
-            this.updatedState.updatePreimage(UpdatePreimage.remove({
-                serviceId,
+            this.updatedState.updatePreimage(serviceId, UpdatePreimage.remove({
                 hash: status.hash,
                 length: status.length,
             }));
@@ -21252,21 +21291,19 @@ class accumulate_externalities_AccumulateExternalities {
             if (y < t - this.chainSpec.preimageExpungePeriod) {
                 const res = updateStorageUtilisation();
                 if (res.isError) {
-                    return Result.error(ForgetPreimageError.StorageUtilisationError);
+                    return Result.error(ForgetPreimageError.StorageUtilisationError, res.details);
                 }
-                this.updatedState.updatePreimage(UpdatePreimage.remove({
-                    serviceId,
+                this.updatedState.updatePreimage(serviceId, UpdatePreimage.remove({
                     hash: status.hash,
                     length: status.length,
                 }));
                 return Result.ok(OK);
             }
-            return Result.error(ForgetPreimageError.NotExpired);
+            return Result.error(ForgetPreimageError.NotExpired, () => `Preimage not expired: y=${y}, timeslot=${t}, period=${this.chainSpec.preimageExpungePeriod}`);
         }
         // https://graypaper.fluffylabs.dev/#/9a08063/38c80138c801?v=0.6.6
         if (s.status === PreimageStatusKind.Available) {
-            this.updatedState.updatePreimage(UpdatePreimage.updateOrAdd({
-                serviceId,
+            this.updatedState.updatePreimage(serviceId, UpdatePreimage.updateOrAdd({
                 lookupHistory: new LookupHistoryItem(status.hash, status.length, tryAsLookupHistorySlots([s.data[0], t])),
             }));
             return Result.ok(OK);
@@ -21275,13 +21312,12 @@ class accumulate_externalities_AccumulateExternalities {
         if (s.status === PreimageStatusKind.Reavailable) {
             const y = s.data[1];
             if (y < t - this.chainSpec.preimageExpungePeriod) {
-                this.updatedState.updatePreimage(UpdatePreimage.updateOrAdd({
-                    serviceId,
+                this.updatedState.updatePreimage(serviceId, UpdatePreimage.updateOrAdd({
                     lookupHistory: new LookupHistoryItem(status.hash, status.length, tryAsLookupHistorySlots([s.data[2], t])),
                 }));
                 return Result.ok(OK);
             }
-            return Result.error(ForgetPreimageError.NotExpired);
+            return Result.error(ForgetPreimageError.NotExpired, () => `Preimage not expired: y=${y}, timeslot=${t}, period=${this.chainSpec.preimageExpungePeriod}`);
         }
         assertNever(s);
     }
@@ -21290,17 +21326,17 @@ class accumulate_externalities_AccumulateExternalities {
         const destination = this.getServiceInfo(destinationId);
         /** https://graypaper.fluffylabs.dev/#/9a08063/370401370401?v=0.6.6 */
         if (destination === null || destinationId === null) {
-            return Result.error(TransferError.DestinationNotFound);
+            return Result.error(TransferError.DestinationNotFound, () => `Destination service not found: ${destinationId}`);
         }
         /** https://graypaper.fluffylabs.dev/#/9a08063/371301371301?v=0.6.6 */
         if (gas < destination.onTransferMinGas) {
-            return Result.error(TransferError.GasTooLow);
+            return Result.error(TransferError.GasTooLow, () => `Gas ${gas} below minimum ${destination.onTransferMinGas}`);
         }
         /** https://graypaper.fluffylabs.dev/#/9a08063/371b01371b01?v=0.6.6 */
         const newBalance = source.balance - amount;
         const thresholdBalance = ServiceAccountInfo.calculateThresholdBalance(source.storageUtilisationCount, source.storageUtilisationBytes, source.gratisStorage);
         if (newBalance < thresholdBalance) {
-            return Result.error(TransferError.BalanceBelowThreshold);
+            return Result.error(TransferError.BalanceBelowThreshold, () => `Balance ${newBalance} below threshold ${thresholdBalance}`);
         }
         // outgoing transfer
         this.updatedState.stateUpdate.transfers.push(PendingTransfer.create({
@@ -21327,7 +21363,7 @@ class accumulate_externalities_AccumulateExternalities {
         // check if we are priviledged to set gratis storage
         // https://graypaper.fluffylabs.dev/#/7e6ff6a/369203369603?v=0.6.7
         if (gratisStorage !== tryAsU64(0) && this.currentServiceId !== this.updatedState.getPrivilegedServices().manager) {
-            return Result.error(NewServiceError.UnprivilegedService);
+            return Result.error(NewServiceError.UnprivilegedService, () => `Service ${this.currentServiceId} not privileged to set gratis storage`);
         }
         // check if we have enough balance
         // https://graypaper.fluffylabs.dev/#/7e6ff6a/369e0336a303?v=0.6.7
@@ -21336,7 +21372,7 @@ class accumulate_externalities_AccumulateExternalities {
         const thresholdForCurrent = ServiceAccountInfo.calculateThresholdBalance(currentService.storageUtilisationCount, currentService.storageUtilisationBytes, currentService.gratisStorage);
         const balanceLeftForCurrent = currentService.balance - thresholdForNew;
         if (balanceLeftForCurrent < thresholdForCurrent || bytes.overflow) {
-            return Result.error(NewServiceError.InsufficientFunds);
+            return Result.error(NewServiceError.InsufficientFunds, () => `Insufficient funds: balance=${currentService.balance}, required=${thresholdForNew}, overflow=${bytes.overflow}`);
         }
         // `a`: https://graypaper.fluffylabs.dev/#/ab2cdbd/366b02366d02?v=0.7.2
         const newAccount = ServiceAccountInfo.create({
@@ -21363,15 +21399,11 @@ class accumulate_externalities_AccumulateExternalities {
                 // NOTE: It's safe to cast to `Number` here, bcs here service ID cannot be bigger than 2**16
                 const newServiceId = tryAsServiceId(Number(wantedServiceId));
                 if (this.getServiceInfo(newServiceId) !== null) {
-                    return Result.error(NewServiceError.RegistrarServiceIdAlreadyTaken);
+                    return Result.error(NewServiceError.RegistrarServiceIdAlreadyTaken, () => `Service ID ${newServiceId} already taken`);
                 }
                 // add the new service with selected ID
                 // https://graypaper.fluffylabs.dev/#/ab2cdbd/36be0336c003?v=0.7.2
-                this.updatedState.stateUpdate.services.servicesUpdates.push(UpdateService.create({
-                    serviceId: newServiceId,
-                    serviceInfo: newAccount,
-                    lookupHistory: newLookupItem,
-                }));
+                this.updatedState.createService(newServiceId, newAccount, newLookupItem);
                 // update the balance of current service
                 // https://graypaper.fluffylabs.dev/#/ab2cdbd/36c20336c403?v=0.7.2
                 this.updatedState.updateServiceInfo(this.currentServiceId, updatedCurrentAccount);
@@ -21382,12 +21414,8 @@ class accumulate_externalities_AccumulateExternalities {
         }
         const newServiceId = this.nextNewServiceId;
         // add the new service
-        // https://graypaper.fluffylabs.dev/#/ab2cdbd/36e70336e903?v=0.7.2
-        this.updatedState.stateUpdate.services.servicesUpdates.push(UpdateService.create({
-            serviceId: newServiceId,
-            serviceInfo: newAccount,
-            lookupHistory: newLookupItem,
-        }));
+        // https://graypaper.fluffylabs.dev/#/7e6ff6a/36cb0236cb02?v=0.6.7
+        this.updatedState.createService(newServiceId, newAccount, newLookupItem);
         // update the balance of current service
         // https://graypaper.fluffylabs.dev/#/ab2cdbd/36ec0336ee03?v=0.7.2
         this.updatedState.updateServiceInfo(this.currentServiceId, updatedCurrentAccount);
@@ -21411,7 +21439,7 @@ class accumulate_externalities_AccumulateExternalities {
         const currentDelegator = this.updatedState.getPrivilegedServices().delegator;
         if (currentDelegator !== this.currentServiceId) {
             accumulate_externalities_logger.trace `Current service id (${this.currentServiceId}) is not a validators manager. (expected: ${currentDelegator}) and cannot update validators data. Ignoring`;
-            return Result.error(UnprivilegedError);
+            return Result.error(UnprivilegedError, () => `Service ${this.currentServiceId} is not delegator (expected: ${currentDelegator})`);
         }
         this.updatedState.stateUpdate.validatorsData = validatorsData;
         return Result.ok(OK);
@@ -21426,11 +21454,11 @@ class accumulate_externalities_AccumulateExternalities {
         const currentAssigners = this.updatedState.getPrivilegedServices().assigners[coreIndex];
         if (currentAssigners !== this.currentServiceId) {
             accumulate_externalities_logger.trace `Current service id (${this.currentServiceId}) is not an auth manager of core ${coreIndex} (expected: ${currentAssigners}) and cannot update authorization queue.`;
-            return Result.error(UpdatePrivilegesError.UnprivilegedService);
+            return Result.error(UpdatePrivilegesError.UnprivilegedService, () => `Service ${this.currentServiceId} not assigner for core ${coreIndex} (expected: ${currentAssigners})`);
         }
         if (assigners === null && Compatibility.isGreaterOrEqual(GpVersion.V0_7_1)) {
             accumulate_externalities_logger.trace `The new auth manager is not a valid service id.`;
-            return Result.error(UpdatePrivilegesError.InvalidServiceId);
+            return Result.error(UpdatePrivilegesError.InvalidServiceId, () => `New auth manager is null for core ${coreIndex}`);
         }
         this.updatedState.stateUpdate.authorizationQueues.set(coreIndex, authQueue);
         return Result.ok(OK);
@@ -21463,10 +21491,10 @@ class accumulate_externalities_AccumulateExternalities {
         const isManager = current.manager === this.currentServiceId;
         if (Compatibility.isLessThan(GpVersion.V0_7_1)) {
             if (!isManager) {
-                return Result.error(UpdatePrivilegesError.UnprivilegedService);
+                return Result.error(UpdatePrivilegesError.UnprivilegedService, () => `Service ${this.currentServiceId} is not manager`);
             }
             if (manager === null || delegator === null) {
-                return Result.error(UpdatePrivilegesError.InvalidServiceId, "Either manager or delegator is not a valid service id.");
+                return Result.error(UpdatePrivilegesError.InvalidServiceId, () => "Either manager or delegator is not a valid service id.");
             }
             this.updatedState.stateUpdate.privilegedServices = PrivilegedServices.create({
                 manager,
@@ -21479,7 +21507,7 @@ class accumulate_externalities_AccumulateExternalities {
         }
         const original = this.updatedState.state.privilegedServices;
         if (manager === null || delegator === null || registrar === null) {
-            return Result.error(UpdatePrivilegesError.InvalidServiceId, "Either manager or delegator or registrar is not a valid service id.");
+            return Result.error(UpdatePrivilegesError.InvalidServiceId, () => "Either manager or delegator or registrar is not a valid service id.");
         }
         const newDelegator = this.updatePrivilegedServiceId(delegator, current.delegator, {
             isManager,
@@ -21519,23 +21547,22 @@ class accumulate_externalities_AccumulateExternalities {
         // TODO [ToDr] what about newly created services?
         const service = serviceId === null ? null : this.updatedState.state.getService(serviceId);
         if (service === null || serviceId === null) {
-            return Result.error(ProvidePreimageError.ServiceNotFound);
+            return Result.error(ProvidePreimageError.ServiceNotFound, () => `Service not found: ${serviceId}`);
         }
         // calculating the hash
         const preimageHash = this.blake2b.hashBytes(preimage).asOpaque();
         // checking service internal lookup
         const stateLookup = this.updatedState.getLookupHistory(this.currentTimeslot, serviceId, preimageHash, tryAsU64(preimage.length));
         if (stateLookup === null || !LookupHistoryItem.isRequested(stateLookup)) {
-            return Result.error(ProvidePreimageError.WasNotRequested);
+            return Result.error(ProvidePreimageError.WasNotRequested, () => `Preimage was not requested: hash=${preimageHash}, service=${serviceId}`);
         }
         // checking already provided preimages
         const hasPreimage = this.updatedState.hasPreimage(serviceId, preimageHash);
         if (hasPreimage) {
-            return Result.error(ProvidePreimageError.AlreadyProvided);
+            return Result.error(ProvidePreimageError.AlreadyProvided, () => `Preimage already provided: hash=${preimageHash}, service=${serviceId}`);
         }
         // setting up the new preimage
-        this.updatedState.updatePreimage(UpdatePreimage.provide({
-            serviceId,
+        this.updatedState.updatePreimage(serviceId, UpdatePreimage.provide({
             preimage: PreimageItem.create({
                 hash: preimageHash,
                 blob: preimage,
@@ -21547,31 +21574,31 @@ class accumulate_externalities_AccumulateExternalities {
     eject(destination, previousCodeHash) {
         const service = this.getServiceInfo(destination);
         if (service === null || destination === null) {
-            return Result.error(EjectError.InvalidService, "Service missing");
+            return Result.error(EjectError.InvalidService, () => "Service missing");
         }
         const currentService = this.getCurrentServiceInfo();
         // check if the service expects to be ejected by us:
         const expectedCodeHash = Bytes.zero(HASH_SIZE).asOpaque();
         writeServiceIdAsLeBytes(this.currentServiceId, expectedCodeHash.raw);
         if (!service.codeHash.isEqualTo(expectedCodeHash)) {
-            return Result.error(EjectError.InvalidService, "Invalid code hash");
+            return Result.error(EjectError.InvalidService, () => "Invalid code hash");
         }
         // make sure the service only has required number of storage items?
         if (service.storageUtilisationCount !== REQUIRED_NUMBER_OF_STORAGE_ITEMS_FOR_EJECT) {
-            return Result.error(EjectError.InvalidPreimage, "Too many storage items");
+            return Result.error(EjectError.InvalidPreimage, () => "Too many storage items");
         }
         // storage items length
         const l = tryAsU64(maxU64(service.storageUtilisationBytes, LOOKUP_HISTORY_ENTRY_BYTES) - LOOKUP_HISTORY_ENTRY_BYTES);
         // check if we have a preimage with the entire storage.
         const [isPreviousCodeExpired, errorReason] = this.isPreviousCodeExpired(destination, previousCodeHash, l);
         if (!isPreviousCodeExpired) {
-            return Result.error(EjectError.InvalidPreimage, `Previous code available: ${errorReason}`);
+            return Result.error(EjectError.InvalidPreimage, () => `Previous code available: ${errorReason}`);
         }
         // compute new balance of the service.
         const newBalance = sumU64(currentService.balance, service.balance);
         // TODO [ToDr] what to do in case of overflow?
         if (newBalance.overflow) {
-            return Result.error(EjectError.InvalidService, "Balance overflow");
+            return Result.error(EjectError.InvalidService, () => "Balance overflow");
         }
         // update current service.
         this.updatedState.updateServiceInfo(this.currentServiceId, ServiceAccountInfo.create({
@@ -21579,11 +21606,13 @@ class accumulate_externalities_AccumulateExternalities {
             balance: newBalance.value,
         }));
         // and finally add an ejected service.
-        this.updatedState.stateUpdate.services.servicesRemoved.push(destination);
+        this.updatedState.stateUpdate.services.removed.push(destination);
         // take care of the code preimage and its lookup history
         // Safe, because we know the preimage is valid, and it's the code of the service, which is bounded by maximal service code size anyway (much smaller than 2**32 bytes).
         const preimageLength = tryAsU32(Number(l));
-        this.updatedState.stateUpdate.services.preimages.push(UpdatePreimage.remove({ serviceId: destination, hash: previousCodeHash, length: preimageLength }));
+        const preimages = this.updatedState.stateUpdate.services.preimages.get(destination) ?? [];
+        preimages.push(UpdatePreimage.remove({ hash: previousCodeHash, length: preimageLength }));
+        this.updatedState.stateUpdate.services.preimages.set(destination, preimages);
         return Result.ok(OK);
     }
     read(serviceId, rawKey) {
@@ -21760,10 +21789,10 @@ class assurances_Assurances {
         for (const assurance of assurances) {
             const { anchor, validatorIndex, bitfield } = assurance;
             if (!anchor.isEqualTo(input.parentHash)) {
-                return Result.error(AssurancesError.InvalidAnchor, `anchor: expected: ${input.parentHash}, got ${anchor}`);
+                return Result.error(AssurancesError.InvalidAnchor, () => `anchor: expected: ${input.parentHash}, got ${anchor}`);
             }
             if (prevValidatorIndex >= validatorIndex) {
-                return Result.error(AssurancesError.InvalidOrder, `order: expected: ${prevValidatorIndex + 1}, got: ${validatorIndex}`);
+                return Result.error(AssurancesError.InvalidOrder, () => `order: expected: ${prevValidatorIndex + 1}, got: ${validatorIndex}`);
             }
             prevValidatorIndex = assurance.validatorIndex;
             check `${bitfield.bitLength === coresCount} Invalid bitfield length of ${bitfield.bitLength}`;
@@ -21786,7 +21815,7 @@ class assurances_Assurances {
              * https://graypaper.fluffylabs.dev/#/579bd12/14e90014ea00
              */
             if (noOfAssurances > 0 && !isReportPending) {
-                return Result.error(AssurancesError.NoReportPending, `no report pending for core ${c} yet we got an assurance`);
+                return Result.error(AssurancesError.NoReportPending, () => `no report pending for core ${c} yet we got an assurance`);
             }
             /**
              * Remove work report if it's became available or timed out.
@@ -21832,7 +21861,7 @@ class assurances_Assurances {
             const v = assurance.view();
             const key = validatorData[v.validatorIndex.materialize()];
             if (key === undefined) {
-                return Result.error(AssurancesError.InvalidValidatorIndex);
+                return Result.error(AssurancesError.InvalidValidatorIndex, () => `Invalid validator index: ${v.validatorIndex.materialize()}`);
             }
             signatures.push({
                 signature: v.signature.materialize(),
@@ -21844,7 +21873,7 @@ class assurances_Assurances {
         const isAllSignaturesValid = signaturesValid.every((x) => x);
         if (!isAllSignaturesValid) {
             const invalidIndices = signaturesValid.reduce((acc, isValid, idx) => (isValid ? acc : acc.concat(idx)), []);
-            return Result.error(AssurancesError.InvalidSignature, `invalid signatures at ${invalidIndices.join(", ")}`);
+            return Result.error(AssurancesError.InvalidSignature, () => `invalid signatures at ${invalidIndices.join(", ")}`);
         }
         return Result.ok(OK);
     }
@@ -22455,7 +22484,7 @@ class host_call_memory_HostCallMemory {
             return Result.ok(OK);
         }
         if (address + tryAsU64(bytes.length) > MEMORY_SIZE) {
-            return Result.error(new OutOfBounds());
+            return Result.error(new OutOfBounds(), () => `Memory access out of bounds: address ${address} + length ${bytes.length} exceeds memory size`);
         }
         return this.memory.storeFrom(tryAsMemoryIndex(Number(address)), bytes);
     }
@@ -22464,13 +22493,10 @@ class host_call_memory_HostCallMemory {
             return Result.ok(OK);
         }
         if (startAddress + tryAsU64(result.length) > MEMORY_SIZE) {
-            return Result.error(new OutOfBounds());
+            return Result.error(new OutOfBounds(), () => `Memory access out of bounds: address ${startAddress} + length ${result.length} exceeds memory size`);
         }
         return this.memory.loadInto(result, tryAsMemoryIndex(Number(startAddress)));
     }
-    getMemory() {
-        return this.memory;
-    }
 }
 
 ;// CONCATENATED MODULE: ./packages/core/pvm-host-calls/host-call-registers.ts
@@ -24276,18 +24302,18 @@ class accumulate_Accumulate {
         const serviceInfo = updatedState.getServiceInfo(serviceId);
         if (serviceInfo === null) {
             accumulate_logger.log `Service with id ${serviceId} not found.`;
-            return Result.error(PvmInvocationError.NoService);
+            return Result.error(PvmInvocationError.NoService, () => `Accumulate: service ${serviceId} not found`);
         }
         const codeHash = serviceInfo.codeHash;
         // TODO [ToDr] Should we check that the preimage is still available?
         const code = updatedState.getPreimage(serviceId, codeHash.asOpaque());
         if (code === null) {
             accumulate_logger.log `Code with hash ${codeHash} not found for service ${serviceId}.`;
-            return Result.error(PvmInvocationError.NoPreimage);
+            return Result.error(PvmInvocationError.NoPreimage, () => `Accumulate: code with hash ${codeHash} not found for service ${serviceId}`);
         }
         if (code.length > W_C) {
             accumulate_logger.log `Code with hash ${codeHash} is too long for service ${serviceId}.`;
-            return Result.error(PvmInvocationError.PreimageTooLong);
+            return Result.error(PvmInvocationError.PreimageTooLong, () => `Accumulate: code length ${code.length} exceeds max ${W_C} for service ${serviceId}`);
         }
         const nextServiceId = generateNextServiceId({ serviceId, entropy, timeslot: slot }, this.chainSpec, this.blake2b);
         const partialState = new AccumulateExternalities(this.chainSpec, this.blake2b, updatedState, serviceId, nextServiceId, slot);
@@ -24542,19 +24568,16 @@ class accumulate_Accumulate {
         const gasLimit = tryAsServiceGas(this.chainSpec.maxBlockGas > calculatedGasLimit ? this.chainSpec.maxBlockGas : calculatedGasLimit);
         return tryAsServiceGas(gasLimit);
     }
-    hasDuplicatedServicesCreated(updateServices) {
-        const createdServiceIds = new Set();
-        for (const update of updateServices) {
-            if (update.action.kind === UpdateServiceKind.Create) {
-                const serviceId = update.serviceId;
-                if (createdServiceIds.has(serviceId)) {
-                    accumulate_logger.log `Duplicated Service creation detected ${serviceId}. Block is invalid.`;
-                    return true;
-                }
-                createdServiceIds.add(serviceId);
-            }
-        }
-        return false;
+    /**
+     * Detects the very unlikely situation where multiple services are created with the same ID.
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/30f20330f403?v=0.7.2
+     *
+     * NOTE: This is public only for testing purposes and should not be used outside of accumulation.
+     */
+    hasDuplicatedServiceIdCreated(createdIds) {
+        const uniqueIds = new Set(createdIds);
+        return uniqueIds.size !== createdIds.length;
     }
     async transition({ reports, slot, entropy }) {
         const statistics = new Map();
@@ -24576,8 +24599,9 @@ class accumulate_Accumulate {
         const accumulated = accumulatableReports.subview(0, accumulatedReports);
         const { services, yieldedRoots, transfers, validatorsData, privilegedServices, authorizationQueues, ...stateUpdateRest } = state;
         assertEmpty(stateUpdateRest);
-        if (this.hasDuplicatedServicesCreated(services.servicesUpdates)) {
-            return Result.error(ACCUMULATION_ERROR);
+        if (this.hasDuplicatedServiceIdCreated(services.created)) {
+            accumulate_logger.trace `Duplicated Service creation detected. Block is invalid.`;
+            return Result.error(ACCUMULATION_ERROR, () => "Accumulate: duplicate service created");
         }
         const accStateUpdate = this.getAccumulationStateUpdate(accumulated.toArray(), toAccumulateLater, slot, Array.from(statistics.keys()), services);
         const accumulationOutputUnsorted = Array.from(yieldedRoots.entries()).map(([serviceId, root]) => {
@@ -24658,13 +24682,13 @@ class deferred_transfers_DeferredTransfers {
                 .toSorted((a, b) => a.source - b.source);
             const info = partiallyUpdatedState.getServiceInfo(serviceId);
             if (info === null) {
-                return Result.error(DeferredTransfersErrorCode.ServiceInfoNotExist);
+                return Result.error(DeferredTransfersErrorCode.ServiceInfoNotExist, () => `Deferred transfers: service info not found for ${serviceId}`);
             }
             const codeHash = info.codeHash;
             const code = partiallyUpdatedState.getPreimage(serviceId, codeHash.asOpaque());
             const newBalance = sumU64(info.balance, ...transfers.map((item) => item.amount));
             if (newBalance.overflow) {
-                return Result.error(DeferredTransfersErrorCode.ServiceBalanceOverflow);
+                return Result.error(DeferredTransfersErrorCode.ServiceBalanceOverflow, () => `Deferred transfers: balance overflow for service ${serviceId}`);
             }
             const newInfo = ServiceAccountInfo.create({ ...info, balance: newBalance.value });
             partiallyUpdatedState.updateServiceInfo(serviceId, newInfo);
@@ -25142,7 +25166,7 @@ function verify_basic_verifyReportsBasic(input) {
         const noOfPrerequisites = reportView.context.view().prerequisites.view().length;
         const noOfSegmentRootLookups = reportView.segmentRootLookup.view().length;
         if (noOfPrerequisites + noOfSegmentRootLookups > MAX_REPORT_DEPENDENCIES) {
-            return Result.error(ReportsError.TooManyDependencies, `Report at ${reportView.coreIndex.materialize()} has too many dependencies. Got ${noOfPrerequisites} + ${noOfSegmentRootLookups}, max: ${MAX_REPORT_DEPENDENCIES}`);
+            return Result.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,
@@ -25161,7 +25185,7 @@ function verify_basic_verifyReportsBasic(input) {
             totalOutputsSize += item.view().result.view().okBlob?.raw.length ?? 0;
         }
         if (authOutputSize + totalOutputsSize > MAX_WORK_REPORT_SIZE_BYTES) {
-            return Result.error(ReportsError.WorkReportTooBig, `Work report at ${reportView.coreIndex.materialize()} too big. Got ${authOutputSize} + ${totalOutputsSize}, max: ${MAX_WORK_REPORT_SIZE_BYTES}`);
+            return Result.error(ReportsError.WorkReportTooBig, () => `Work report at ${reportView.coreIndex.materialize()} too big. Got ${authOutputSize} + ${totalOutputsSize}, max: ${MAX_WORK_REPORT_SIZE_BYTES}`);
         }
     }
     return Result.ok(OK);
@@ -25195,12 +25219,12 @@ function verify_contextual_verifyContextualValidity(input, state, headerChain, m
         for (const result of guarantee.report.results) {
             const service = state.getService(result.serviceId);
             if (service === null) {
-                return Result.error(ReportsError.BadServiceId, `No service with id: ${result.serviceId}`);
+                return Result.error(ReportsError.BadServiceId, () => `No service with id: ${result.serviceId}`);
             }
             // check service code hash
             // https://graypaper.fluffylabs.dev/#/5f542d7/154b02154b02
             if (!result.codeHash.isEqualTo(service.getInfo().codeHash)) {
-                return Result.error(ReportsError.BadCodeHash, `Service (${result.serviceId}) code hash mismatch. Got: ${result.codeHash}, expected: ${service.getInfo().codeHash}`);
+                return Result.error(ReportsError.BadCodeHash, () => `Service (${result.serviceId}) code hash mismatch. Got: ${result.codeHash}, expected: ${service.getInfo().codeHash}`);
             }
         }
     }
@@ -25211,7 +25235,7 @@ function verify_contextual_verifyContextualValidity(input, state, headerChain, m
      * https://graypaper.fluffylabs.dev/#/5f542d7/151f01152101
      */
     if (currentWorkPackages.size !== input.guarantees.length) {
-        return Result.error(ReportsError.DuplicatePackage, "Duplicate work package detected.");
+        return Result.error(ReportsError.DuplicatePackage, () => "Duplicate work package detected.");
     }
     const minLookupSlot = Math.max(0, input.slot - maxLookupAnchorAge);
     const contextResult = verifyRefineContexts(minLookupSlot, contexts, input.recentBlocksPartialUpdate, headerChain);
@@ -25256,7 +25280,7 @@ function verify_contextual_verifyContextualValidity(input, state, headerChain, m
                         : undefined;
             }
             if (root === undefined || !root.segmentTreeRoot.isEqualTo(lookup.segmentTreeRoot)) {
-                return Result.error(ReportsError.SegmentRootLookupInvalid, `Mismatching segment tree root for package ${lookup.workPackageHash}. Got: ${lookup.segmentTreeRoot}, expected: ${root?.segmentTreeRoot}`);
+                return Result.error(ReportsError.SegmentRootLookupInvalid, () => `Mismatching segment tree root for package ${lookup.workPackageHash}. Got: ${lookup.segmentTreeRoot}, expected: ${root?.segmentTreeRoot}`);
             }
         }
     }
@@ -25279,16 +25303,16 @@ function verifyRefineContexts(minLookupSlot, contexts, recentBlocksPartialUpdate
          */
         const recentBlock = recentBlocks.get(context.anchor);
         if (recentBlock === undefined) {
-            return Result.error(ReportsError.AnchorNotRecent, `Anchor block ${context.anchor} not found in recent blocks.`);
+            return Result.error(ReportsError.AnchorNotRecent, () => `Anchor block ${context.anchor} not found in recent blocks.`);
         }
         // check state root
         if (!recentBlock.postStateRoot.isEqualTo(context.stateRoot)) {
-            return Result.error(ReportsError.BadStateRoot, `Anchor state root mismatch. Got: ${context.stateRoot}, expected: ${recentBlock.postStateRoot}.`);
+            return Result.error(ReportsError.BadStateRoot, () => `Anchor state root mismatch. Got: ${context.stateRoot}, expected: ${recentBlock.postStateRoot}.`);
         }
         // check beefy root
         const beefyRoot = recentBlock.accumulationResult;
         if (!beefyRoot.isEqualTo(context.beefyRoot)) {
-            return Result.error(ReportsError.BadBeefyMmrRoot, `Invalid BEEFY super peak hash. Got: ${context.beefyRoot}, expected: ${beefyRoot}. Anchor: ${recentBlock.headerHash}`);
+            return Result.error(ReportsError.BadBeefyMmrRoot, () => `Invalid BEEFY super peak hash. Got: ${context.beefyRoot}, expected: ${beefyRoot}. Anchor: ${recentBlock.headerHash}`);
         }
         /**
          * We require that each lookup-anchor block be within the
@@ -25297,7 +25321,7 @@ function verifyRefineContexts(minLookupSlot, contexts, recentBlocksPartialUpdate
          * https://graypaper.fluffylabs.dev/#/5f542d7/154601154701
          */
         if (context.lookupAnchorSlot < minLookupSlot) {
-            return Result.error(ReportsError.SegmentRootLookupInvalid, `Lookup anchor slot's too old. Got: ${context.lookupAnchorSlot}, minimal: ${minLookupSlot}`);
+            return Result.error(ReportsError.SegmentRootLookupInvalid, () => `Lookup anchor slot's too old. Got: ${context.lookupAnchorSlot}, minimal: ${minLookupSlot}`);
         }
         /**
          * We also require that we have a record of it; this is one of
@@ -25314,7 +25338,7 @@ function verifyRefineContexts(minLookupSlot, contexts, recentBlocksPartialUpdate
                 verify_contextual_logger.warn `Lookup anchor check for ${context.lookupAnchor} would fail, but override is active.`;
             }
             else {
-                return Result.error(ReportsError.SegmentRootLookupInvalid, `Lookup anchor is not found in chain. Hash: ${context.lookupAnchor} (slot: ${context.lookupAnchorSlot})`);
+                return Result.error(ReportsError.SegmentRootLookupInvalid, () => `Lookup anchor is not found in chain. Hash: ${context.lookupAnchor} (slot: ${context.lookupAnchorSlot})`);
             }
         }
     }
@@ -25337,7 +25361,7 @@ function verifyDependencies({ currentWorkPackages, recentlyReported, prerequisit
             if (recentlyReported.has(preReqHash)) {
                 continue;
             }
-            return Result.error(isSegmentRoot ? ReportsError.SegmentRootLookupInvalid : ReportsError.DependencyMissing, `Missing work package ${preReqHash} in current extrinsic or recent history.`);
+            return Result.error(isSegmentRoot ? ReportsError.SegmentRootLookupInvalid : ReportsError.DependencyMissing, () => `Missing work package ${preReqHash} in current extrinsic or recent history.`);
         }
         return Result.ok(OK);
     };
@@ -25385,7 +25409,7 @@ function verifyWorkPackagesUniqueness(workPackageHashes, state) {
     // let's check if any of our packages is in the pipeline
     const intersection = packagesInPipeline.intersection(workPackageHashes);
     for (const packageHash of intersection) {
-        return Result.error(ReportsError.DuplicatePackage, `The same work package hash found in the pipeline (workPackageHash: ${packageHash})`);
+        return Result.error(ReportsError.DuplicatePackage, () => `The same work package hash found in the pipeline (workPackageHash: ${packageHash})`);
     }
     return Result.ok(OK);
 }
@@ -25424,7 +25448,7 @@ workReportHashes, slot, getGuarantorAssignment) {
         const credentialsView = guaranteeView.credentials.view();
         if (credentialsView.length < REQUIRED_CREDENTIALS_RANGE[0] ||
             credentialsView.length > REQUIRED_CREDENTIALS_RANGE[1]) {
-            return Result.error(ReportsError.InsufficientGuarantees, `Invalid number of credentials. Expected ${REQUIRED_CREDENTIALS_RANGE}, got ${credentialsView.length}`);
+            return Result.error(ReportsError.InsufficientGuarantees, () => `Invalid number of credentials. Expected ${REQUIRED_CREDENTIALS_RANGE}, got ${credentialsView.length}`);
         }
         /** Retrieve current core assignment. */
         const timeSlot = guaranteeView.slot.materialize();
@@ -25439,20 +25463,20 @@ workReportHashes, slot, getGuarantorAssignment) {
             const credentialView = credential.view();
             const validatorIndex = credentialView.validatorIndex.materialize();
             if (lastValidatorIndex >= validatorIndex) {
-                return Result.error(ReportsError.NotSortedOrUniqueGuarantors, `Credentials must be sorted by validator index. Got ${validatorIndex}, expected at least ${lastValidatorIndex + 1}`);
+                return Result.error(ReportsError.NotSortedOrUniqueGuarantors, () => `Credentials must be sorted by validator index. Got ${validatorIndex}, expected at least ${lastValidatorIndex + 1}`);
             }
             lastValidatorIndex = validatorIndex;
             const signature = credentialView.signature.materialize();
             const guarantorData = guarantorAssignments[validatorIndex];
             if (guarantorData === undefined) {
-                return Result.error(ReportsError.BadValidatorIndex, `Invalid validator index: ${validatorIndex}`);
+                return Result.error(ReportsError.BadValidatorIndex, () => `Invalid validator index: ${validatorIndex}`);
             }
             /**
              * Verify core assignment.
              * https://graypaper.fluffylabs.dev/#/5f542d7/14e40214e602
              */
             if (guarantorData.core !== coreIndex) {
-                return Result.error(ReportsError.WrongAssignment, `Invalid core assignment for validator ${validatorIndex}. Expected: ${guarantorData.core}, got: ${coreIndex}`);
+                return Result.error(ReportsError.WrongAssignment, () => `Invalid core assignment for validator ${validatorIndex}. Expected: ${guarantorData.core}, got: ${coreIndex}`);
             }
             signaturesToVerify.push({
                 signature,
@@ -25490,10 +25514,10 @@ function verify_order_verifyReportsOrder(input, chainSpec) {
         const reportView = guarantee.view().report.view();
         const coreIndex = reportView.coreIndex.materialize();
         if (lastCoreIndex >= coreIndex) {
-            return Result.error(ReportsError.OutOfOrderGuarantee, `Core indices of work reports are not unique or in order. Got: ${coreIndex}, expected at least: ${lastCoreIndex + 1}`);
+            return Result.error(ReportsError.OutOfOrderGuarantee, () => `Core indices of work reports are not unique or in order. Got: ${coreIndex}, expected at least: ${lastCoreIndex + 1}`);
         }
         if (coreIndex >= noOfCores) {
-            return Result.error(ReportsError.BadCoreIndex, `Invalid core index. Got: ${coreIndex}, max: ${noOfCores}`);
+            return Result.error(ReportsError.BadCoreIndex, () => `Invalid core index. Got: ${coreIndex}, max: ${noOfCores}`);
         }
         lastCoreIndex = coreIndex;
     }
@@ -25518,7 +25542,7 @@ function verify_post_signature_verifyPostSignatureChecks(input, availabilityAssi
          * https://graypaper.fluffylabs.dev/#/5f542d7/15ea0015ea00
          */
         if (availabilityAssignment[coreIndex] !== null) {
-            return Result.error(ReportsError.CoreEngaged, `Report pending availability at core: ${coreIndex}`);
+            return Result.error(ReportsError.CoreEngaged, () => `Report pending availability at core: ${coreIndex}`);
         }
         /**
          * A report is valid only if the authorizer hash is present
@@ -25531,7 +25555,7 @@ function verify_post_signature_verifyPostSignatureChecks(input, availabilityAssi
         const authorizerPool = authPools.get(coreIndex);
         const pool = authorizerPool?.materialize() ?? [];
         if (pool.find((hash) => hash.isEqualTo(authorizerHash)) === undefined) {
-            return Result.error(ReportsError.CoreUnauthorized, `Authorizer hash not found in the pool of core ${coreIndex}: ${authorizerHash}`);
+            return Result.error(ReportsError.CoreUnauthorized, () => `Authorizer hash not found in the pool of core ${coreIndex}: ${authorizerHash}`);
         }
         /**
          * We require that the gas allotted for accumulation of each
@@ -25543,17 +25567,17 @@ function verify_post_signature_verifyPostSignatureChecks(input, availabilityAssi
         for (const result of report.results) {
             const service = services(result.serviceId);
             if (service === null) {
-                return Result.error(ReportsError.BadServiceId, `No service with id: ${result.serviceId}`);
+                return Result.error(ReportsError.BadServiceId, () => `No service with id: ${result.serviceId}`);
             }
             const info = service.getInfo();
             // check minimal accumulation gas
             if (result.gas < info.accumulateMinGas) {
-                return Result.error(ReportsError.ServiceItemGasTooLow, `Service (${result.serviceId}) gas is less than minimal. Got: ${result.gas}, expected at least: ${info.accumulateMinGas}`);
+                return Result.error(ReportsError.ServiceItemGasTooLow, () => `Service (${result.serviceId}) gas is less than minimal. Got: ${result.gas}, expected at least: ${info.accumulateMinGas}`);
             }
         }
         const totalGas = sumU64(...report.results.map((x) => x.gas));
         if (totalGas.overflow || totalGas.value > G_A) {
-            return Result.error(ReportsError.WorkReportGasTooHigh, `Total gas too high. Got: ${totalGas.value} (ovfl: ${totalGas.overflow}), maximal: ${G_A}`);
+            return Result.error(ReportsError.WorkReportGasTooHigh, () => `Total gas too high. Got: ${totalGas.value} (ovfl: ${totalGas.overflow}), maximal: ${G_A}`);
         }
     }
     return Result.ok(OK);
@@ -25639,7 +25663,7 @@ class reports_Reports {
         }
         const reporters = SortedSet.fromArray(bytesBlobComparator, signaturesToVerify.ok.map((x) => x.key)).slice();
         if (hasAnyOffenders(reporters, input.offenders)) {
-            return Result.error(ReportsError.BannedValidator);
+            return Result.error(ReportsError.BannedValidator, () => "One or more reporters are banned validators");
         }
         return Result.ok({
             stateUpdate: {
@@ -25679,7 +25703,7 @@ class reports_Reports {
             return signaturesToVerify[idx].key;
         })
             .filter((x) => x !== null);
-        return Result.error(ReportsError.BadSignature, `Invalid signatures for validators with keys: ${invalidKeys.join(", ")}`);
+        return Result.error(ReportsError.BadSignature, () => `Invalid signatures for validators with keys: ${invalidKeys.join(", ")}`);
     }
     /**
      * Get the guarantor assignment (both core and validator data)
@@ -25695,10 +25719,10 @@ class reports_Reports {
         const minTimeSlot = Math.max(0, headerRotation - 1) * rotationPeriod;
         // https://graypaper.fluffylabs.dev/#/5f542d7/155e00156900
         if (guaranteeTimeSlot > headerTimeSlot) {
-            return Result.error(ReportsError.FutureReportSlot, `Report slot is in future. Block ${headerTimeSlot}, Report: ${guaranteeTimeSlot}`);
+            return Result.error(ReportsError.FutureReportSlot, () => `Report slot is in future. Block ${headerTimeSlot}, Report: ${guaranteeTimeSlot}`);
         }
         if (guaranteeTimeSlot < minTimeSlot) {
-            return Result.error(ReportsError.ReportEpochBeforeLast, `Report slot is too old. Block ${headerTimeSlot}, Report: ${guaranteeTimeSlot}`);
+            return Result.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.
@@ -26266,6 +26290,16 @@ class chain_stf_OnChain {
         });
         const { statistics, ...statisticsRest } = statisticsUpdate;
         assertEmpty(statisticsRest);
+        // Concat accumulatePreimages updates with preimages
+        for (const [serviceId, accPreimageUpdates] of accumulatePreimages.entries()) {
+            const preimagesUpdates = preimages.get(serviceId);
+            if (preimagesUpdates === undefined) {
+                preimages.set(serviceId, accPreimageUpdates);
+            }
+            else {
+                preimages.set(serviceId, preimagesUpdates.concat(accPreimageUpdates));
+            }
+        }
         return Result.ok({
             ...(maybeAuthorizationQueues !== undefined ? { authQueues: maybeAuthorizationQueues } : {}),
             ...(maybeDesignatedValidatorData !== undefined ? { designatedValidatorData: maybeDesignatedValidatorData } : {}),
@@ -26287,7 +26321,7 @@ class chain_stf_OnChain {
             recentlyAccumulated,
             accumulationOutputLog,
             ...servicesUpdate,
-            preimages: preimages.concat(accumulatePreimages),
+            preimages,
         });
     }
     getUsedAuthorizerHashes(guarantees) {
@@ -26304,11 +26338,11 @@ class chain_stf_OnChain {
 }
 function checkOffendersMatch(offendersMark, headerOffendersMark) {
     if (offendersMark.size !== headerOffendersMark.length) {
-        return Result.error(OFFENDERS_ERROR, `Length mismatch: ${offendersMark.size} vs ${headerOffendersMark.length}`);
+        return Result.error(OFFENDERS_ERROR, () => `Length mismatch: ${offendersMark.size} vs ${headerOffendersMark.length}`);
     }
     for (const key of headerOffendersMark) {
         if (!offendersMark.has(key)) {
-            return Result.error(OFFENDERS_ERROR, `Missing key: ${key}`);
+            return Result.error(OFFENDERS_ERROR, () => `Missing key: ${key}`);
         }
     }
     return Result.ok(OK);