@typeberry/lib 0.5.9 → 0.5.10-44bf91a

package/packages/jam/transition/accumulate/accumulation-result-merge-utils.js

@@ -44,47 +44,56 @@ function mergePrivilegedServices(mergeContext, [serviceId, { stateUpdate }]) {
     const currentDelegator = currentPrivilegedServices.delegator;
     const currentAssigners = currentPrivilegedServices.assigners;
     const { privilegedServices } = stateUpdate;
-    if (privilegedServices !== null) {
-        if (outputState.privilegedServices === null) {
-            outputState.privilegedServices = PrivilegedServices.create({
-                ...currentPrivilegedServices,
-            });
-        }
-        if (serviceId === currentManager) {
-            outputState.privilegedServices = PrivilegedServices.create({
-                ...privilegedServices,
-            });
-        }
-        if (serviceId === currentRegistrar) {
-            const newRegistrar = updatePrivilegedService(currentPrivilegedServices.registrar, privilegedServicesUpdatedByManager.registrar, privilegedServices.registrar);
-            outputState.privilegedServices = PrivilegedServices.create({
-                ...outputState.privilegedServices,
-                registrar: newRegistrar,
-            });
-        }
-        if (serviceId === currentDelegator) {
-            const newDelegator = updatePrivilegedService(currentPrivilegedServices.delegator, privilegedServicesUpdatedByManager.delegator, privilegedServices.delegator);
-            outputState.privilegedServices = PrivilegedServices.create({
-                ...outputState.privilegedServices,
-                delegator: newDelegator,
-            });
-        }
-        let shouldUpdateAssigners = false;
-        const newAssigners = currentAssigners.map((currentAssigner, coreIndex) => {
-            if (serviceId === currentAssigner) {
-                const newAssigner = updatePrivilegedService(currentPrivilegedServices.assigners[coreIndex], privilegedServicesUpdatedByManager.assigners[coreIndex], privilegedServices.assigners[coreIndex]);
-                shouldUpdateAssigners = shouldUpdateAssigners || newAssigner !== currentAssigner;
-                return newAssigner;
-            }
-            return currentAssigner;
+    if (privilegedServices === null) {
+        return;
+    }
+    // initial value (ignore the update, because it might not be authorized)
+    if (outputState.privilegedServices === null) {
+        outputState.privilegedServices = PrivilegedServices.create({
+            ...currentPrivilegedServices,
+        });
+    }
+    // manager can override everything and it always takes precedence over
+    // everything else
+    if (serviceId === currentManager) {
+        outputState.privilegedServices = PrivilegedServices.create({
+            ...privilegedServices,
+        });
+    }
+    // current registrar can transfer out it's permissions, but only if
+    // it wasn't overwritten by manager in current run
+    if (serviceId === currentRegistrar) {
+        const newRegistrar = updatePrivilegedService(currentPrivilegedServices.registrar, privilegedServicesUpdatedByManager.registrar, privilegedServices.registrar);
+        outputState.privilegedServices = PrivilegedServices.create({
+            ...outputState.privilegedServices,
+            registrar: newRegistrar,
         });
-        if (shouldUpdateAssigners) {
-            const newAssignersPerCore = tryAsPerCore(newAssigners, chainSpec);
-            outputState.privilegedServices = PrivilegedServices.create({
-                ...outputState.privilegedServices,
-                assigners: newAssignersPerCore,
-            });
+    }
+    // current delegator can transfer out it's permissions, but only if
+    // it wasn't overwritten by manager in current run
+    if (serviceId === currentDelegator) {
+        const newDelegator = updatePrivilegedService(currentPrivilegedServices.delegator, privilegedServicesUpdatedByManager.delegator, privilegedServices.delegator);
+        outputState.privilegedServices = PrivilegedServices.create({
+            ...outputState.privilegedServices,
+            delegator: newDelegator,
+        });
+    }
+    let shouldUpdateAssigners = false;
+    // same with assigners - they are free to transfer out their core
+    const newAssigners = currentAssigners.map((currentAssigner, coreIndex) => {
+        if (serviceId === currentAssigner) {
+            const newAssigner = updatePrivilegedService(currentPrivilegedServices.assigners[coreIndex], privilegedServicesUpdatedByManager.assigners[coreIndex], privilegedServices.assigners[coreIndex]);
+            shouldUpdateAssigners = shouldUpdateAssigners || newAssigner !== currentAssigner;
+            return newAssigner;
         }
+        return currentAssigner;
+    });
+    if (shouldUpdateAssigners) {
+        const newAssignersPerCore = tryAsPerCore(newAssigners, chainSpec);
+        outputState.privilegedServices = PrivilegedServices.create({
+            ...outputState.privilegedServices,
+            assigners: newAssignersPerCore,
+        });
     }
 }
 function mergeValidatorsData(mergeContext, [serviceId, { stateUpdate }]) {

package/packages/jam/transition/externalities/accumulate-externalities.d.ts

@@ -2,7 +2,7 @@ import { type CodeHash, type CoreIndex, type PerValidator, type ServiceGas, type
 import type { PreimageHash } from "#@typeberry/block/preimage.js";
 import type { AuthorizerHash } from "#@typeberry/block/refine-context.js";
 import { Bytes, type BytesBlob } from "#@typeberry/bytes";
-import type { FixedSizeArray } from "#@typeberry/collections";
+import { type FixedSizeArray } from "#@typeberry/collections";
 import type { ChainSpec } from "#@typeberry/config";
 import { type Blake2b, type OpaqueHash } from "#@typeberry/hash";
 import { AccumulationStateUpdate, EjectError, ForgetPreimageError, type general, NewServiceError, type PartiallyUpdatedState, type PartialState, type PreimageStatus, ProvidePreimageError, RequestPreimageError, type TRANSFER_MEMO_BYTES, TransferError, UnprivilegedError, UpdatePrivilegesError } from "#@typeberry/jam-host-calls";
@@ -64,7 +64,7 @@ export declare class AccumulateExternalities implements PartialState, general.Ac
     upgradeService(codeHash: CodeHash, gas: U64, allowance: U64): void;
     updateValidatorsData(validatorsData: PerValidator<ValidatorData>): Result<OK, UnprivilegedError>;
     checkpoint(): void;
-    updateAuthorizationQueue(coreIndex: CoreIndex, authQueue: FixedSizeArray<AuthorizerHash, AUTHORIZATION_QUEUE_SIZE>, assigners: ServiceId | null): Result<OK, UpdatePrivilegesError>;
+    updateAuthorizationQueue(coreIndex: CoreIndex, authQueue: FixedSizeArray<AuthorizerHash, AUTHORIZATION_QUEUE_SIZE>, newAssigner: ServiceId | null): Result<OK, UpdatePrivilegesError>;
     updatePrivilegedServices(manager: ServiceId | null, assigners: PerCore<ServiceId>, delegator: ServiceId | null, registrar: ServiceId | null, autoAccumulateServices: Map<ServiceId, ServiceGas>): Result<OK, UpdatePrivilegesError>;
     yield(hash: OpaqueHash): void;
     providePreimage(serviceId: ServiceId | null, preimage: BytesBlob): Result<OK, ProvidePreimageError>;

package/packages/jam/transition/externalities/accumulate-externalities.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"accumulate-externalities.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/transition/externalities/accumulate-externalities.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,QAAQ,EAId,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,KAAK,OAAO,EAAa,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC3E,OAAO,EACL,uBAAuB,EAEvB,UAAU,EACV,mBAAmB,EACnB,KAAK,OAAO,EACZ,eAAe,EACf,KAAK,qBAAqB,EAC1B,KAAK,YAAY,EAEjB,KAAK,cAAc,EAEnB,oBAAoB,EACpB,oBAAoB,EAEpB,KAAK,mBAAmB,EACxB,aAAa,EACb,iBAAiB,EACjB,qBAAqB,EAEtB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAsC,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAClF,OAAO,EACL,KAAK,wBAAwB,EAE7B,KAAK,OAAO,EAGZ,kBAAkB,EAClB,KAAK,UAAU,EAGf,KAAK,aAAa,EACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAsB,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAmBlE,qBAAa,uBACX,YAAW,YAAY,EAAE,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,cAAc;IAOhH,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,YAAY;IAC7B,YAAY;IACZ,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IAEjC,OAAO,CAAC,QAAQ,CAAC,eAAe;IAXlC,OAAO,CAAC,iBAAiB,CAA0B;IACnD,qDAAqD;IACrD,OAAO,CAAC,gBAAgB,CAAY;gBAGjB,SAAS,EAAE,SAAS,EACpB,OAAO,EAAE,OAAO,EAChB,YAAY,EAAE,qBAAqB;IACpD,YAAY;IACK,gBAAgB,EAAE,SAAS,EAC5C,yBAAyB,EAAE,SAAS,EACnB,eAAe,EAAE,QAAQ;IAW5C,iEAAiE;IACjE,eAAe,IAAI,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAIrE,yDAAyD;IACzD,mBAAmB;IAInB;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAQ7B;;;;;;OAMG;IACH,cAAc,CAAC,WAAW,EAAE,SAAS,GAAG,IAAI,GAAG,kBAAkB,GAAG,IAAI;IAIxE;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,qBAAqB;IAY7B,+EAA+E;IAC/E,OAAO,CAAC,yBAAyB;IAiBjC,mBAAmB,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,cAAc,GAAG,IAAI;IAU3E,eAAe,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,EAAE,oBAAoB,CAAC;IAsElF,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,EAAE,mBAAmB,CAAC;IA2FhF,QAAQ,CACN,aAAa,EAAE,SAAS,GAAG,IAAI,EAC/B,MAAM,EAAE,GAAG,EACX,GAAG,EAAE,UAAU,EACf,IAAI,EAAE,KAAK,CAAC,mBAAmB,CAAC,GAC/B,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC;IAiD5B,UAAU,CACR,QAAQ,EAAE,QAAQ,EAClB,UAAU,EAAE,GAAG,EACf,gBAAgB,EAAE,UAAU,EAC5B,gBAAgB,EAAE,UAAU,EAC5B,aAAa,EAAE,GAAG,EAClB,eAAe,EAAE,GAAG,GACnB,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC;IAiGrC,cAAc,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,GAAG,IAAI;IAclE,oBAAoB,CAAC,cAAc,EAAE,YAAY,CAAC,aAAa,CAAC,GAAG,MAAM,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAgBhG,UAAU,IAAI,IAAI;IAKlB,wBAAwB,CACtB,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,cAAc,CAAC,cAAc,EAAE,wBAAwB,CAAC,EACnE,SAAS,EAAE,SAAS,GAAG,IAAI,GAC1B,MAAM,CAAC,EAAE,EAAE,qBAAqB,CAAC;IA0BpC,wBAAwB,CACtB,OAAO,EAAE,SAAS,GAAG,IAAI,EACzB,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,EAC7B,SAAS,EAAE,SAAS,GAAG,IAAI,EAC3B,SAAS,EAAE,SAAS,GAAG,IAAI,EAC3B,sBAAsB,EAAE,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,GACjD,MAAM,CAAC,EAAE,EAAE,qBAAqB,CAAC;IAoBpC,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;IAK7B,eAAe,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,EAAE,QAAQ,EAAE,SAAS,GAAG,MAAM,CAAC,EAAE,EAAE,oBAAoB,CAAC;IAuDnG,KAAK,CAAC,WAAW,EAAE,SAAS,GAAG,IAAI,EAAE,gBAAgB,EAAE,YAAY,GAAG,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC;IA8D5F,IAAI,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,IAAI;IAOvE,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,IAAI,EAAE,MAAM,CAAC;IAyBhF,MAAM,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,EAAE,IAAI,EAAE,YAAY,GAAG,SAAS,GAAG,IAAI;CAO1E"}
+{"version":3,"file":"accumulate-externalities.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/transition/externalities/accumulate-externalities.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,QAAQ,EAId,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAe,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,KAAK,OAAO,EAAa,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC3E,OAAO,EACL,uBAAuB,EAEvB,UAAU,EACV,mBAAmB,EACnB,KAAK,OAAO,EACZ,eAAe,EACf,KAAK,qBAAqB,EAC1B,KAAK,YAAY,EAEjB,KAAK,cAAc,EAEnB,oBAAoB,EACpB,oBAAoB,EAEpB,KAAK,mBAAmB,EACxB,aAAa,EACb,iBAAiB,EACjB,qBAAqB,EAEtB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAsC,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAClF,OAAO,EACL,KAAK,wBAAwB,EAE7B,KAAK,OAAO,EAGZ,kBAAkB,EAClB,KAAK,UAAU,EAGf,KAAK,aAAa,EACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAsB,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAmBlE,qBAAa,uBACX,YAAW,YAAY,EAAE,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,cAAc;IAOhH,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,YAAY;IAC7B,YAAY;IACZ,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IAEjC,OAAO,CAAC,QAAQ,CAAC,eAAe;IAXlC,OAAO,CAAC,iBAAiB,CAA0B;IACnD,qDAAqD;IACrD,OAAO,CAAC,gBAAgB,CAAY;gBAGjB,SAAS,EAAE,SAAS,EACpB,OAAO,EAAE,OAAO,EAChB,YAAY,EAAE,qBAAqB;IACpD,YAAY;IACK,gBAAgB,EAAE,SAAS,EAC5C,yBAAyB,EAAE,SAAS,EACnB,eAAe,EAAE,QAAQ;IAW5C,iEAAiE;IACjE,eAAe,IAAI,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAIrE,yDAAyD;IACzD,mBAAmB;IAInB;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAQ7B;;;;;;OAMG;IACH,cAAc,CAAC,WAAW,EAAE,SAAS,GAAG,IAAI,GAAG,kBAAkB,GAAG,IAAI;IAIxE;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,qBAAqB;IAY7B,+EAA+E;IAC/E,OAAO,CAAC,yBAAyB;IAiBjC,mBAAmB,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,cAAc,GAAG,IAAI;IAU3E,eAAe,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,EAAE,oBAAoB,CAAC;IAsElF,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,EAAE,mBAAmB,CAAC;IA2FhF,QAAQ,CACN,aAAa,EAAE,SAAS,GAAG,IAAI,EAC/B,MAAM,EAAE,GAAG,EACX,GAAG,EAAE,UAAU,EACf,IAAI,EAAE,KAAK,CAAC,mBAAmB,CAAC,GAC/B,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC;IAiD5B,UAAU,CACR,QAAQ,EAAE,QAAQ,EAClB,UAAU,EAAE,GAAG,EACf,gBAAgB,EAAE,UAAU,EAC5B,gBAAgB,EAAE,UAAU,EAC5B,aAAa,EAAE,GAAG,EAClB,eAAe,EAAE,GAAG,GACnB,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC;IAiGrC,cAAc,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,GAAG,IAAI;IAclE,oBAAoB,CAAC,cAAc,EAAE,YAAY,CAAC,aAAa,CAAC,GAAG,MAAM,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAgBhG,UAAU,IAAI,IAAI;IAKlB,wBAAwB,CACtB,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,cAAc,CAAC,cAAc,EAAE,wBAAwB,CAAC,EACnE,WAAW,EAAE,SAAS,GAAG,IAAI,GAC5B,MAAM,CAAC,EAAE,EAAE,qBAAqB,CAAC;IAsCpC,wBAAwB,CACtB,OAAO,EAAE,SAAS,GAAG,IAAI,EACzB,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,EAC7B,SAAS,EAAE,SAAS,GAAG,IAAI,EAC3B,SAAS,EAAE,SAAS,GAAG,IAAI,EAC3B,sBAAsB,EAAE,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,GACjD,MAAM,CAAC,EAAE,EAAE,qBAAqB,CAAC;IAoBpC,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;IAK7B,eAAe,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,EAAE,QAAQ,EAAE,SAAS,GAAG,MAAM,CAAC,EAAE,EAAE,oBAAoB,CAAC;IAuDnG,KAAK,CAAC,WAAW,EAAE,SAAS,GAAG,IAAI,EAAE,gBAAgB,EAAE,YAAY,GAAG,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC;IA8D5F,IAAI,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,IAAI;IAOvE,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,IAAI,EAAE,MAAM,CAAC;IAyBhF,MAAM,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,EAAE,IAAI,EAAE,YAAY,GAAG,SAAS,GAAG,IAAI;CAO1E"}

package/packages/jam/transition/externalities/accumulate-externalities.js

@@ -1,6 +1,7 @@
 import { tryAsServiceGas, tryAsServiceId, tryAsTimeSlot, } from "#@typeberry/block";
 import { MIN_PUBLIC_SERVICE_INDEX } from "#@typeberry/block/gp-constants.js";
 import { Bytes } from "#@typeberry/bytes";
+import { asKnownSize } from "#@typeberry/collections";
 import { HASH_SIZE } from "#@typeberry/hash";
 import { AccumulationStateUpdate, clampU64ToU32, EjectError, ForgetPreimageError, NewServiceError, PendingTransfer, PreimageStatusKind, ProvidePreimageError, RequestPreimageError, slotsToPreimageStatus, TransferError, UnprivilegedError, UpdatePrivilegesError, writeServiceIdAsLeBytes, } from "#@typeberry/jam-host-calls";
 import { Logger } from "#@typeberry/logger";
@@ -354,19 +355,31 @@ export class AccumulateExternalities {
         /** https://graypaper.fluffylabs.dev/#/9a08063/362202362202?v=0.6.6 */
         this.checkpointedState = AccumulationStateUpdate.copyFrom(this.updatedState.stateUpdate);
     }
-    updateAuthorizationQueue(coreIndex, authQueue, assigners) {
+    updateAuthorizationQueue(coreIndex, authQueue, newAssigner) {
         /** https://graypaper.fluffylabs.dev/#/7e6ff6a/36a40136a401?v=0.6.7 */
         // NOTE `coreIndex` is already verified in the HC, so this is infallible.
-        const currentAssigners = this.updatedState.getPrivilegedServices().assigners[coreIndex];
-        if (currentAssigners !== this.currentServiceId) {
-            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, () => `Service ${this.currentServiceId} not assigner for core ${coreIndex} (expected: ${currentAssigners})`);
-        }
-        if (assigners === null) {
+        const privilegedServices = this.updatedState.getPrivilegedServices();
+        const currentAssigners = privilegedServices.assigners;
+        const assigner = currentAssigners[coreIndex];
+        if (assigner !== this.currentServiceId) {
+            logger.trace `Current service id (${this.currentServiceId}) is not an auth manager of core ${coreIndex} (expected: ${assigner}) and cannot update authorization queue.`;
+            return Result.error(UpdatePrivilegesError.UnprivilegedService, () => `Service ${this.currentServiceId} not assigner for core ${coreIndex} (expected: ${assigner})`);
+        }
+        if (newAssigner === null) {
             logger.trace `The new auth manager is not a valid service id.`;
             return Result.error(UpdatePrivilegesError.InvalidServiceId, () => `New auth manager is null for core ${coreIndex}`);
         }
+        // update the authorization queue
         this.updatedState.stateUpdate.authorizationQueues.set(coreIndex, authQueue);
+        // move permissions to the new assigner
+        const assigners = currentAssigners.slice();
+        assigners[coreIndex] = newAssigner;
+        this.updatedState.stateUpdate.privilegedServices = PrivilegedServices.create({
+            ...privilegedServices,
+            // since coreindex is validated, we do not alter the size,
+            // hence it's safe to convert back
+            assigners: asKnownSize(assigners),
+        });
         return Result.ok(OK);
     }
     updatePrivilegedServices(manager, assigners, delegator, registrar, autoAccumulateServices) {

package/packages/jam/transition/externalities/accumulate-externalities.test.js

@@ -6,7 +6,7 @@ import { asKnownSize, FixedSizeArray, HashDictionary } from "#@typeberry/collect
 import { tinyChainSpec } from "#@typeberry/config";
 import { BANDERSNATCH_KEY_BYTES, BLS_KEY_BYTES, ED25519_KEY_BYTES } from "#@typeberry/crypto";
 import { Blake2b, HASH_SIZE } from "#@typeberry/hash";
-import { EjectError, ForgetPreimageError, NewServiceError, PartiallyUpdatedState, PendingTransfer, PreimageStatusKind, ProvidePreimageError, RequestPreimageError, TRANSFER_MEMO_BYTES, TransferError, UnprivilegedError, UpdatePrivilegesError, writeServiceIdAsLeBytes, } from "#@typeberry/jam-host-calls";
+import { CURRENT_SERVICE_ID, EjectError, ForgetPreimageError, NewServiceError, PartiallyUpdatedState, PendingTransfer, PreimageStatusKind, ProvidePreimageError, RequestPreimageError, TRANSFER_MEMO_BYTES, TransferError, UnprivilegedError, UpdatePrivilegesError, writeServiceIdAsLeBytes, } from "#@typeberry/jam-host-calls";
 import { tryAsU32, tryAsU64 } from "#@typeberry/numbers";
 import { AUTHORIZATION_QUEUE_SIZE, InMemoryService, InMemoryState, LookupHistoryItem, PreimageItem, PrivilegedServices, ServiceAccountInfo, StorageItem, tryAsLookupHistorySlots, tryAsPerCore, UpdatePreimage, UpdateService, VALIDATOR_META_BYTES, ValidatorData, } from "#@typeberry/state";
 import { testState } from "#@typeberry/state/test.utils.js";
@@ -663,16 +663,28 @@ describe("PartialState.upgradeService", () => {
     });
 });
 describe("PartialState.updateAuthorizationQueue", () => {
-    it("should update the authorization queue for a given core index", () => {
+    it("should update the authorization queue and transfer the assigner for the given core", () => {
         const state = partiallyUpdatedState();
+        const initialPrivileged = state.state.privilegedServices;
         const partialState = new AccumulateExternalities(tinyChainSpec, blake2b, state, tryAsServiceId(0), tryAsServiceId(10), tryAsTimeSlot(16));
         const coreIndex = tryAsCoreIndex(0);
-        const assigners = tryAsServiceId(0);
+        const newAssigner = tryAsServiceId(99);
         const queue = FixedSizeArray.new(Array.from({ length: AUTHORIZATION_QUEUE_SIZE }, () => Bytes.fill(HASH_SIZE, 0xee).asOpaque()), AUTHORIZATION_QUEUE_SIZE);
         // when
-        partialState.updateAuthorizationQueue(coreIndex, queue, assigners);
+        const result = partialState.updateAuthorizationQueue(coreIndex, queue, newAssigner);
         // then
+        deepEqual(result, Result.ok(OK));
         assert.deepStrictEqual(state.stateUpdate.authorizationQueues.get(coreIndex), queue);
+        // the privilegedServices update must be written, with only the targeted
+        // core's assigner transferred; all other fields must be preserved.
+        const updated = state.stateUpdate.privilegedServices;
+        assert.ok(updated !== null, "stateUpdate.privilegedServices should be written");
+        assert.strictEqual(updated.assigners[0], newAssigner);
+        assert.strictEqual(updated.assigners[1], initialPrivileged.assigners[1]);
+        assert.strictEqual(updated.manager, initialPrivileged.manager);
+        assert.strictEqual(updated.delegator, initialPrivileged.delegator);
+        assert.strictEqual(updated.registrar, initialPrivileged.registrar);
+        assert.strictEqual(updated.autoAccumulateServices, initialPrivileged.autoAccumulateServices);
     });
     it("should return InvalidServiceId when given auth manager is invalid", () => {
         const state = partiallyUpdatedState();
@@ -685,6 +697,8 @@ describe("PartialState.updateAuthorizationQueue", () => {
         // then
         deepEqual(result, Result.error(UpdatePrivilegesError.InvalidServiceId, () => "New auth manager is null for core 0"));
         assert.deepStrictEqual(state.stateUpdate.authorizationQueues.get(coreIndex), undefined);
+        // no partial privilegedServices write on error
+        assert.strictEqual(state.stateUpdate.privilegedServices, null);
     });
     it("should return UnprivilegedService when current service is not privileged", () => {
         const state = partiallyUpdatedState();
@@ -701,6 +715,8 @@ describe("PartialState.updateAuthorizationQueue", () => {
         // then
         deepEqual(result, Result.error(UpdatePrivilegesError.UnprivilegedService, () => "Service 0 not assigner for core 0 (expected: 1)"));
         assert.deepStrictEqual(state.stateUpdate.authorizationQueues.get(coreIndex), undefined);
+        // no partial privilegedServices write on error
+        assert.strictEqual(state.stateUpdate.privilegedServices, null);
     });
     it("should return UnprivilegedService before InvalidServiceId if given auth manager is incorrect, but current servis is also unprivileged", () => {
         const state = partiallyUpdatedState();
@@ -717,6 +733,60 @@ describe("PartialState.updateAuthorizationQueue", () => {
         // then
         deepEqual(result, Result.error(UpdatePrivilegesError.UnprivilegedService, () => "Service 0 not assigner for core 0 (expected: 1)"));
         assert.deepStrictEqual(state.stateUpdate.authorizationQueues.get(coreIndex), undefined);
+        // no partial privilegedServices write on error
+        assert.strictEqual(state.stateUpdate.privilegedServices, null);
+    });
+    it("should succeed on a self-transfer using CURRENT_SERVICE_ID", () => {
+        const state = partiallyUpdatedState();
+        // inject a service info for CURRENT_SERVICE_ID so it can act as the
+        // current (and assigning) service on core 0
+        const baseService = state.state.services.get(tryAsServiceId(0));
+        if (baseService === undefined) {
+            throw new Error("Invalid service!");
+        }
+        state.state.services.set(CURRENT_SERVICE_ID, new InMemoryService(CURRENT_SERVICE_ID, {
+            info: baseService.data.info,
+            preimages: HashDictionary.new(),
+            lookupHistory: HashDictionary.new(),
+            storage: new Map(),
+        }));
+        state.state.privilegedServices = PrivilegedServices.create({
+            ...state.state.privilegedServices,
+            assigners: asOpaqueType(FixedSizeArray.new([CURRENT_SERVICE_ID, tryAsServiceId(0)], tinyChainSpec.coresCount)),
+        });
+        const partialState = new AccumulateExternalities(tinyChainSpec, blake2b, state, CURRENT_SERVICE_ID, tryAsServiceId(10), tryAsTimeSlot(16));
+        const coreIndex = tryAsCoreIndex(0);
+        const queue = FixedSizeArray.new(Array.from({ length: AUTHORIZATION_QUEUE_SIZE }, () => Bytes.fill(HASH_SIZE, 0xee).asOpaque()), AUTHORIZATION_QUEUE_SIZE);
+        // when
+        const result = partialState.updateAuthorizationQueue(coreIndex, queue, CURRENT_SERVICE_ID);
+        // then
+        deepEqual(result, Result.ok(OK));
+        assert.deepStrictEqual(state.stateUpdate.authorizationQueues.get(coreIndex), queue);
+        const updated = state.stateUpdate.privilegedServices;
+        assert.ok(updated !== null, "stateUpdate.privilegedServices should be written");
+        assert.strictEqual(updated.assigners[0], CURRENT_SERVICE_ID);
+        assert.strictEqual(updated.assigners[1], tryAsServiceId(0));
+    });
+    it("should prevent the previous assigner from re-assigning after transfer", () => {
+        const state = partiallyUpdatedState();
+        const partialState = new AccumulateExternalities(tinyChainSpec, blake2b, state, tryAsServiceId(0), tryAsServiceId(10), tryAsTimeSlot(16));
+        const coreIndex = tryAsCoreIndex(0);
+        const newAssigner = tryAsServiceId(99);
+        const firstQueue = FixedSizeArray.new(Array.from({ length: AUTHORIZATION_QUEUE_SIZE }, () => Bytes.fill(HASH_SIZE, 0xee).asOpaque()), AUTHORIZATION_QUEUE_SIZE);
+        const secondQueue = FixedSizeArray.new(Array.from({ length: AUTHORIZATION_QUEUE_SIZE }, () => Bytes.fill(HASH_SIZE, 0xff).asOpaque()), AUTHORIZATION_QUEUE_SIZE);
+        // when: first call succeeds and transfers the assigner to service 99
+        const first = partialState.updateAuthorizationQueue(coreIndex, firstQueue, newAssigner);
+        // and the previous assigner (service 0) immediately tries to re-assign
+        const second = partialState.updateAuthorizationQueue(coreIndex, secondQueue, tryAsServiceId(0));
+        // then
+        deepEqual(first, Result.ok(OK));
+        deepEqual(second, Result.error(UpdatePrivilegesError.UnprivilegedService, () => "Service 0 not assigner for core 0 (expected: 99)"));
+        // the first queue remains — the failing second call must not overwrite it
+        assert.deepStrictEqual(state.stateUpdate.authorizationQueues.get(coreIndex), firstQueue);
+        // and the transferred assigner is still in place
+        const updated = state.stateUpdate.privilegedServices;
+        assert.ok(updated !== null);
+        assert.strictEqual(updated.assigners[0], newAssigner);
     });
 });
 describe("PartialState.updatePrivilegedServices", () => {

package/packages/jam/transition/externalities/accumulate-fetch-externalities.d.ts

@@ -0,0 +1,19 @@
+import type { EntropyHash } from "#@typeberry/block";
+import type { BytesBlob } from "#@typeberry/bytes";
+import type { ChainSpec } from "#@typeberry/config";
+import { general, type PendingTransfer } from "#@typeberry/jam-host-calls";
+import type { U64 } from "#@typeberry/numbers";
+import type { Operand } from "../accumulate/operand.js";
+export declare class AccumulateFetchExternalities implements general.IAccumulateFetch {
+    private readonly entropyHash;
+    private readonly transfers;
+    private readonly operands;
+    private readonly chainSpec;
+    readonly context = general.FetchContext.Accumulate;
+    constructor(entropyHash: EntropyHash, transfers: PendingTransfer[], operands: Operand[], chainSpec: ChainSpec);
+    constants(): BytesBlob;
+    entropy(): EntropyHash;
+    allTransfersAndOperands(): BytesBlob | null;
+    oneTransferOrOperand(index: U64): BytesBlob | null;
+}
+//# sourceMappingURL=accumulate-fetch-externalities.d.ts.map

package/packages/jam/transition/externalities/accumulate-fetch-externalities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"accumulate-fetch-externalities.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/transition/externalities/accumulate-fetch-externalities.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1E,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AASxD,qBAAa,4BAA6B,YAAW,OAAO,CAAC,gBAAgB;IAIzE,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAN5B,QAAQ,CAAC,OAAO,mCAAmC;gBAGhC,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,eAAe,EAAE,EAC5B,QAAQ,EAAE,OAAO,EAAE,EACnB,SAAS,EAAE,SAAS;IAGvC,SAAS,IAAI,SAAS;IAItB,OAAO,IAAI,WAAW;IAItB,uBAAuB,IAAI,SAAS,GAAG,IAAI;IAU3C,oBAAoB,CAAC,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI;CAqBnD"}

package/packages/jam/transition/externalities/accumulate-fetch-externalities.js

@@ -0,0 +1,45 @@
+import { Encoder } from "#@typeberry/codec";
+import { general } from "#@typeberry/jam-host-calls";
+import { getEncodedConstants, TRANSFER_OR_OPERAND, TRANSFERS_AND_OPERANDS, TransferOperandKind, } from "./fetch-externalities.js";
+export class AccumulateFetchExternalities {
+    entropyHash;
+    transfers;
+    operands;
+    chainSpec;
+    context = general.FetchContext.Accumulate;
+    constructor(entropyHash, transfers, operands, chainSpec) {
+        this.entropyHash = entropyHash;
+        this.transfers = transfers;
+        this.operands = operands;
+        this.chainSpec = chainSpec;
+    }
+    constants() {
+        return getEncodedConstants(this.chainSpec);
+    }
+    entropy() {
+        return this.entropyHash;
+    }
+    allTransfersAndOperands() {
+        const transfersAndOperands = this.transfers
+            .map((transfer) => ({ kind: TransferOperandKind.TRANSFER, value: transfer }))
+            .concat(this.operands.map((operand) => ({ kind: TransferOperandKind.OPERAND, value: operand })));
+        return Encoder.encodeObject(TRANSFERS_AND_OPERANDS, transfersAndOperands, this.chainSpec);
+    }
+    oneTransferOrOperand(index) {
+        if (index >= this.transfers.length + this.operands.length) {
+            return null;
+        }
+        // Transfers-first ordering, consistent with allTransfersAndOperands()
+        const kind = index < this.transfers.length ? TransferOperandKind.TRANSFER : TransferOperandKind.OPERAND;
+        const transferOrOperand = kind === TransferOperandKind.TRANSFER
+            ? { kind: TransferOperandKind.TRANSFER, value: this.transfers[Number(index)] }
+            : {
+                kind: TransferOperandKind.OPERAND,
+                value: this.operands[Number(index) - this.transfers.length],
+            };
+        if (transferOrOperand.value === undefined) {
+            return null;
+        }
+        return Encoder.encodeObject(TRANSFER_OR_OPERAND, transferOrOperand, this.chainSpec);
+    }
+}

package/packages/jam/transition/externalities/accumulate-fetch-externalities.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=accumulate-fetch-externalities.test.d.ts.map

package/packages/jam/transition/externalities/accumulate-fetch-externalities.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"accumulate-fetch-externalities.test.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/transition/externalities/accumulate-fetch-externalities.test.ts"],"names":[],"mappings":""}

package/packages/jam/transition/externalities/accumulate-fetch-externalities.test.js

@@ -0,0 +1,192 @@
+import assert from "node:assert";
+import { describe, it } from "node:test";
+import { tryAsServiceGas, tryAsServiceId } from "#@typeberry/block";
+import { WorkExecResult } from "#@typeberry/block/work-result.js";
+import { Bytes, BytesBlob } from "#@typeberry/bytes";
+import { codec, Encoder } from "#@typeberry/codec";
+import { fullChainSpec, tinyChainSpec } from "#@typeberry/config";
+import { HASH_SIZE } from "#@typeberry/hash";
+import { TRANSFER_MEMO_BYTES } from "#@typeberry/jam-host-calls/externalities/partial-state.js";
+import { PendingTransfer } from "#@typeberry/jam-host-calls/externalities/pending-transfer.js";
+import { tryAsU64 } from "#@typeberry/numbers";
+import { Operand } from "../accumulate/operand.js";
+import { AccumulateFetchExternalities } from "./accumulate-fetch-externalities.js";
+import { TRANSFER_OR_OPERAND, TransferOperandKind } from "./fetch-externalities.js";
+describe("AccumulateFetchExternalities", () => {
+    const prepareOperands = (length) => {
+        const operands = [];
+        for (let i = 0; i < length; i++) {
+            operands.push(Operand.create({
+                authorizationOutput: BytesBlob.empty(),
+                authorizerHash: Bytes.fill(HASH_SIZE, i + 1).asOpaque(),
+                exportsRoot: Bytes.fill(HASH_SIZE, i + 2).asOpaque(),
+                hash: Bytes.fill(HASH_SIZE, i + 4).asOpaque(),
+                payloadHash: Bytes.fill(HASH_SIZE, i + 5).asOpaque(),
+                result: WorkExecResult.ok(BytesBlob.empty()),
+                gas: tryAsServiceGas(1_000),
+            }));
+        }
+        return operands;
+    };
+    const prepareTransfers = (length) => {
+        const transfers = [];
+        for (let i = 0; i < length; i++) {
+            transfers.push(PendingTransfer.create({
+                amount: tryAsU64(1000),
+                source: tryAsServiceId(i),
+                destination: tryAsServiceId(i + 1),
+                gas: tryAsServiceGas(10),
+                memo: Bytes.fill(TRANSFER_MEMO_BYTES, 0),
+            }));
+        }
+        return transfers;
+    };
+    // allTransfersAndOperands: transfers first, then operands
+    const toAllTransfersAndOperands = (operands, transfers) => {
+        return [
+            ...transfers.map((t) => ({ kind: TransferOperandKind.TRANSFER, value: t })),
+            ...operands.map((o) => ({ kind: TransferOperandKind.OPERAND, value: o })),
+        ];
+    };
+    // oneTransferOrOperand: transfers first, then operands (same as allTransfersAndOperands)
+    const toOneTransferOrOperandAt = (operands, transfers, index) => {
+        if (index >= transfers.length + operands.length) {
+            return null;
+        }
+        if (index < transfers.length) {
+            return { kind: TransferOperandKind.TRANSFER, value: transfers[index] };
+        }
+        return { kind: TransferOperandKind.OPERAND, value: operands[index - transfers.length] };
+    };
+    const encodeOneTransferOrOperand = (item, chainSpec) => {
+        if (item === null) {
+            return null;
+        }
+        return Encoder.encodeObject(TRANSFER_OR_OPERAND, item, chainSpec);
+    };
+    const prepareAccumulateData = ({ chainSpec, operands, entropy, transfers, }) => {
+        const defaultChainSpec = tinyChainSpec;
+        const defaultEntropy = Bytes.zero(HASH_SIZE).asOpaque();
+        const defaultOperands = [];
+        const defaultTransfers = [];
+        return new AccumulateFetchExternalities(entropy ?? defaultEntropy, transfers ?? defaultTransfers, operands ?? defaultOperands, chainSpec ?? defaultChainSpec);
+    };
+    it("should return different constants for different chain specs", () => {
+        const tinyFetchExternalities = prepareAccumulateData({ chainSpec: tinyChainSpec });
+        const fullFetchExternalities = prepareAccumulateData({ chainSpec: fullChainSpec });
+        const tinyConstants = tinyFetchExternalities.constants();
+        const fullConstants = fullFetchExternalities.constants();
+        assert.notStrictEqual(tinyConstants.length, 0);
+        assert.notStrictEqual(fullConstants.length, 0);
+        assert.notDeepStrictEqual(tinyConstants, fullConstants);
+    });
+    it("should return entropy hash", () => {
+        const expectedEntropy = Bytes.fill(HASH_SIZE, 5).asOpaque();
+        const fetchExternalities = prepareAccumulateData({ entropy: expectedEntropy });
+        const entropy = fetchExternalities.entropy();
+        assert.deepStrictEqual(entropy, expectedEntropy);
+    });
+    it("should return all transfers and operands", () => {
+        const operands = prepareOperands(3);
+        const transfers = prepareTransfers(2);
+        const chainSpec = tinyChainSpec;
+        const expected = toAllTransfersAndOperands(operands, transfers);
+        const encodedExpected = Encoder.encodeObject(codec.sequenceVarLen(TRANSFER_OR_OPERAND), expected, chainSpec);
+        const fetchExternalities = prepareAccumulateData({ operands, transfers, chainSpec });
+        const result = fetchExternalities.allTransfersAndOperands();
+        assert.deepStrictEqual(result, encodedExpected);
+    });
+    it("should return empty encoded sequence when no transfers and no operands", () => {
+        const chainSpec = tinyChainSpec;
+        const encodedExpected = Encoder.encodeObject(codec.sequenceVarLen(TRANSFER_OR_OPERAND), [], chainSpec);
+        const fetchExternalities = prepareAccumulateData({ operands: [], transfers: [], chainSpec });
+        const result = fetchExternalities.allTransfersAndOperands();
+        assert.deepStrictEqual(result, encodedExpected);
+    });
+    it("should return one transfer by index (first range)", () => {
+        const operands = prepareOperands(3);
+        const transfers = prepareTransfers(2);
+        const chainSpec = tinyChainSpec;
+        const encodedExpected = encodeOneTransferOrOperand(toOneTransferOrOperandAt(operands, transfers, 0), chainSpec);
+        const fetchExternalities = prepareAccumulateData({ operands, transfers, chainSpec });
+        // Transfers come first (indices 0..1), then operands (indices 2..4)
+        const result = fetchExternalities.oneTransferOrOperand(tryAsU64(0));
+        assert.deepStrictEqual(result, encodedExpected);
+    });
+    it("should return one operand by index (second range)", () => {
+        const operands = prepareOperands(3);
+        const transfers = prepareTransfers(2);
+        const chainSpec = tinyChainSpec;
+        const encodedExpected = encodeOneTransferOrOperand(toOneTransferOrOperandAt(operands, transfers, 2), chainSpec);
+        const fetchExternalities = prepareAccumulateData({ operands, transfers, chainSpec });
+        // Operands start after transfers, so index 2 is the first operand
+        const result = fetchExternalities.oneTransferOrOperand(tryAsU64(2));
+        assert.deepStrictEqual(result, encodedExpected);
+    });
+    it("should return null when index is out of bounds", () => {
+        const operands = prepareOperands(3);
+        const transfers = prepareTransfers(2);
+        const chainSpec = tinyChainSpec;
+        const fetchExternalities = prepareAccumulateData({ operands, transfers, chainSpec });
+        // Total items: 3 operands + 2 transfers = 5, so index 5 is out of bounds
+        const result = fetchExternalities.oneTransferOrOperand(tryAsU64(5));
+        assert.strictEqual(result, null);
+    });
+    it("should return null when index is far out of bounds", () => {
+        const operands = prepareOperands(3);
+        const transfers = prepareTransfers(2);
+        const chainSpec = tinyChainSpec;
+        const fetchExternalities = prepareAccumulateData({ operands, transfers, chainSpec });
+        const result = fetchExternalities.oneTransferOrOperand(tryAsU64(153));
+        assert.strictEqual(result, null);
+    });
+    it("should have consistent encoding between all and one", () => {
+        const operands = prepareOperands(2);
+        const transfers = prepareTransfers(2);
+        const chainSpec = tinyChainSpec;
+        const allItems = toAllTransfersAndOperands(operands, transfers);
+        const encodedAll = Encoder.encodeObject(codec.sequenceVarLen(TRANSFER_OR_OPERAND), allItems, chainSpec);
+        const fetchExternalities = prepareAccumulateData({ operands, transfers, chainSpec });
+        const all = fetchExternalities.allTransfersAndOperands();
+        assert.deepStrictEqual(all, encodedAll);
+        for (let i = 0; i < operands.length + transfers.length; i++) {
+            const one = fetchExternalities.oneTransferOrOperand(tryAsU64(i));
+            const encodedOne = encodeOneTransferOrOperand(toOneTransferOrOperandAt(operands, transfers, i), chainSpec);
+            assert.deepStrictEqual(one, encodedOne, `Mismatch at index ${i}`);
+        }
+        const outOfRange = fetchExternalities.oneTransferOrOperand(tryAsU64(operands.length + transfers.length));
+        assert.strictEqual(outOfRange, null);
+    });
+    it("should handle only operands without transfers", () => {
+        const operands = prepareOperands(5);
+        const chainSpec = tinyChainSpec;
+        const allItems = toAllTransfersAndOperands(operands, []);
+        const encodedAll = Encoder.encodeObject(codec.sequenceVarLen(TRANSFER_OR_OPERAND), allItems, chainSpec);
+        const fetchExternalities = prepareAccumulateData({ operands, transfers: [], chainSpec });
+        const result = fetchExternalities.allTransfersAndOperands();
+        assert.deepStrictEqual(result, encodedAll);
+        for (let i = 0; i < operands.length; i++) {
+            const one = fetchExternalities.oneTransferOrOperand(tryAsU64(i));
+            const encodedOne = encodeOneTransferOrOperand(toOneTransferOrOperandAt(operands, [], i), chainSpec);
+            assert.deepStrictEqual(one, encodedOne, `Mismatch at operand index ${i}`);
+        }
+        const outOfRange = fetchExternalities.oneTransferOrOperand(tryAsU64(operands.length));
+        assert.strictEqual(outOfRange, null);
+    });
+    it("should handle only transfers without operands", () => {
+        const transfers = prepareTransfers(5);
+        const chainSpec = tinyChainSpec;
+        const allItems = toAllTransfersAndOperands([], transfers);
+        const encodedAll = Encoder.encodeObject(codec.sequenceVarLen(TRANSFER_OR_OPERAND), allItems, chainSpec);
+        const fetchExternalities = prepareAccumulateData({ operands: [], transfers, chainSpec });
+        const result = fetchExternalities.allTransfersAndOperands();
+        assert.deepStrictEqual(result, encodedAll);
+        for (let i = 0; i < transfers.length; i++) {
+            const one = fetchExternalities.oneTransferOrOperand(tryAsU64(i));
+            const encodedOne = encodeOneTransferOrOperand(toOneTransferOrOperandAt([], transfers, i), chainSpec);
+            assert.deepStrictEqual(one, encodedOne, `Mismatch at transfer index ${i}`);
+        }
+        const outOfRange = fetchExternalities.oneTransferOrOperand(tryAsU64(transfers.length));
+        assert.strictEqual(outOfRange, null);
+    });
+});

package/packages/jam/transition/externalities/fetch-externalities.d.ts

@@ -1,8 +1,6 @@
-import type { EntropyHash } from "#@typeberry/block";
 import type { BytesBlob } from "#@typeberry/bytes";
 import type { ChainSpec } from "#@typeberry/config";
-import { type general, PendingTransfer } from "#@typeberry/jam-host-calls";
-import { type U64 } from "#@typeberry/numbers";
+import { PendingTransfer } from "#@typeberry/jam-host-calls";
 import { Operand } from "../accumulate/operand.js";
 export declare enum TransferOperandKind {
     OPERAND = 0,
@@ -16,40 +14,6 @@ export type TransferOrOperand = {
     value: PendingTransfer;
 };
 export declare const TRANSFER_OR_OPERAND: import("@typeberry/codec").Descriptor<TransferOrOperand, TransferOrOperand>;
-declare enum FetchContext {
-    Accumulate = 0,
-    Refine = 1
-}
-type AccumulateFetchData = {
-    context: FetchContext.Accumulate;
-    entropy: EntropyHash;
-    transfers: PendingTransfer[];
-    operands: Operand[];
-};
-type RefineFetchData = {
-    context: FetchContext.Refine;
-    entropy: undefined;
-};
-export declare class FetchExternalities implements general.IFetchExternalities {
-    private fetchData;
-    private chainSpec;
-    private constructor();
-    static createForAccumulate(fetchData: Omit<AccumulateFetchData, "context">, chainSpec: ChainSpec): FetchExternalities;
-    static createForRefine(fetchData: Omit<RefineFetchData, "context">, chainSpec: ChainSpec): FetchExternalities;
-    constants(): BytesBlob;
-    entropy(): BytesBlob | null;
-    authorizerTrace(): BytesBlob | null;
-    workItemExtrinsic(_workItem: U64 | null, _index: U64): BytesBlob | null;
-    workItemImport(_workItem: U64 | null, _index: U64): BytesBlob | null;
-    workPackage(): BytesBlob | null;
-    authorizer(): BytesBlob | null;
-    authorizationToken(): BytesBlob | null;
-    refineContext(): BytesBlob | null;
-    allWorkItems(): BytesBlob | null;
-    oneWorkItem(_workItem: U64): BytesBlob | null;
-    workItemPayload(_workItem: U64): BytesBlob | null;
-    allTransfersAndOperands(): BytesBlob | null;
-    oneTransferOrOperand(index: U64): BytesBlob | null;
-}
-export {};
+export declare const TRANSFERS_AND_OPERANDS: import("@typeberry/codec").Descriptor<TransferOrOperand[], import("@typeberry/codec").SequenceView<TransferOrOperand, TransferOrOperand>>;
+export declare function getEncodedConstants(chainSpec: ChainSpec): BytesBlob;
 //# sourceMappingURL=fetch-externalities.d.ts.map

package/packages/jam/transition/externalities/fetch-externalities.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fetch-externalities.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/transition/externalities/fetch-externalities.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAGpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,KAAK,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1E,OAAO,EAAgC,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAQ5E,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAInD,oBAAY,mBAAmB;IAC7B,OAAO,IAAI;IACX,QAAQ,IAAI;CACb;AAED,MAAM,MAAM,iBAAiB,GACzB;IACE,IAAI,EAAE,mBAAmB,CAAC,OAAO,CAAC;IAClC,KAAK,EAAE,OAAO,CAAC;CAChB,GACD;IACE,IAAI,EAAE,mBAAmB,CAAC,QAAQ,CAAC;IACnC,KAAK,EAAE,eAAe,CAAC;CACxB,CAAC;AAEN,eAAO,MAAM,mBAAmB,6EAG9B,CAAC;AA2FH,aAAK,YAAY;IACf,UAAU,IAAI;IACd,MAAM,IAAI;CACX;AAED,KAAK,mBAAmB,GAAG;IACzB,OAAO,EAAE,YAAY,CAAC,UAAU,CAAC;IACjC,OAAO,EAAE,WAAW,CAAC;IACrB,SAAS,EAAE,eAAe,EAAE,CAAC;IAC7B,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrB,CAAC;AAEF,KAAK,eAAe,GAAG;IACrB,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC;IAE7B,OAAO,EAAE,SAAS,CAAC;CACpB,CAAC;AAOF,qBAAa,kBAAmB,YAAW,OAAO,CAAC,mBAAmB;IAElE,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IAFnB,OAAO;IAKP,MAAM,CAAC,mBAAmB,CACxB,SAAS,EAAE,IAAI,CAAC,mBAAmB,EAAE,SAAS,CAAC,EAC/C,SAAS,EAAE,SAAS,GACnB,kBAAkB;IAIrB,MAAM,CAAC,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,eAAe,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,SAAS,GAAG,kBAAkB;IAI7G,SAAS,IAAI,SAAS;IAItB,OAAO,IAAI,SAAS,GAAG,IAAI;IAS3B,eAAe,IAAI,SAAS,GAAG,IAAI;IAInC,iBAAiB,CAAC,SAAS,EAAE,GAAG,GAAG,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI;IAIvE,cAAc,CAAC,SAAS,EAAE,GAAG,GAAG,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI;IAIpE,WAAW,IAAI,SAAS,GAAG,IAAI;IAI/B,UAAU,IAAI,SAAS,GAAG,IAAI;IAI9B,kBAAkB,IAAI,SAAS,GAAG,IAAI;IAItC,aAAa,IAAI,SAAS,GAAG,IAAI;IAIjC,YAAY,IAAI,SAAS,GAAG,IAAI;IAIhC,WAAW,CAAC,SAAS,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI;IAI7C,eAAe,CAAC,SAAS,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI;IAIjD,uBAAuB,IAAI,SAAS,GAAG,IAAI;IAa3C,oBAAoB,CAAC,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI;CAuBnD"}
+{"version":3,"file":"fetch-externalities.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/transition/externalities/fetch-externalities.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAS5D,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAInD,oBAAY,mBAAmB;IAC7B,OAAO,IAAI;IACX,QAAQ,IAAI;CACb;AAED,MAAM,MAAM,iBAAiB,GACzB;IACE,IAAI,EAAE,mBAAmB,CAAC,OAAO,CAAC;IAClC,KAAK,EAAE,OAAO,CAAC;CAChB,GACD;IACE,IAAI,EAAE,mBAAmB,CAAC,QAAQ,CAAC;IACnC,KAAK,EAAE,eAAe,CAAC;CACxB,CAAC;AAEN,eAAO,MAAM,mBAAmB,6EAG9B,CAAC;AAEH,eAAO,MAAM,sBAAsB,2IAA4C,CAAC;AA0ChF,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,SAAS,aA6CvD"}