@typeberry/lib 0.5.1-aff8b4f → 0.5.1-eb84786

package/packages/jam/jam-host-calls/accumulate/yield.js

@@ -0,0 +1,36 @@
+import { Bytes } from "#@typeberry/bytes";
+import { HASH_SIZE } from "#@typeberry/hash";
+import { PvmExecution, traceRegisters, tryAsHostCallIndex, } from "#@typeberry/pvm-host-calls";
+import { tryAsSmallGas } from "#@typeberry/pvm-interface";
+import { HostCallResult } from "../general/results.js";
+import { logger } from "../logger.js";
+const IN_OUT_REG = 7;
+/**
+ * Yield accumulation trie result.
+ *
+ * https://graypaper.fluffylabs.dev/#/7e6ff6a/381c02381c02?v=0.6.7
+ */
+export class Yield {
+    currentServiceId;
+    partialState;
+    index = tryAsHostCallIndex(25);
+    basicGasCost = tryAsSmallGas(10);
+    tracedRegisters = traceRegisters(IN_OUT_REG);
+    constructor(currentServiceId, partialState) {
+        this.currentServiceId = currentServiceId;
+        this.partialState = partialState;
+    }
+    async execute(_gas, regs, memory) {
+        // `o`
+        const hashStart = regs.get(IN_OUT_REG);
+        const hash = Bytes.zero(HASH_SIZE);
+        const memoryReadResult = memory.loadInto(hash.raw, hashStart);
+        if (memoryReadResult.isError) {
+            logger.trace `[${this.currentServiceId}] YIELD() <- PANIC`;
+            return PvmExecution.Panic;
+        }
+        this.partialState.yield(hash);
+        logger.trace `[${this.currentServiceId}] YIELD(${hash})`;
+        regs.set(IN_OUT_REG, HostCallResult.OK);
+    }
+}

package/packages/jam/jam-host-calls/accumulate/yield.test.d.ts

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

package/packages/jam/jam-host-calls/accumulate/yield.test.d.ts.map

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

package/packages/jam/jam-host-calls/accumulate/yield.test.js

@@ -0,0 +1,60 @@
+import assert from "node:assert";
+import { describe, it } from "node:test";
+import { tryAsServiceId } from "#@typeberry/block";
+import { Bytes } from "#@typeberry/bytes";
+import { HASH_SIZE } from "#@typeberry/hash";
+import { tryAsU32, tryAsU64 } from "#@typeberry/numbers";
+import { HostCallMemory, HostCallRegisters, PvmExecution } from "#@typeberry/pvm-host-calls";
+import { tryAsGas } from "#@typeberry/pvm-interface";
+import { gasCounter, MemoryBuilder, tryAsMemoryIndex, tryAsSbrkIndex } from "#@typeberry/pvm-interpreter";
+import { PAGE_SIZE } from "#@typeberry/pvm-interpreter/spi-decoder/memory-conts.js";
+import { PartialStateMock } from "../externalities/partial-state-mock.js";
+import { HostCallResult } from "../general/results.js";
+import { emptyRegistersBuffer } from "../utils.js";
+import { Yield } from "./yield.js";
+const gas = gasCounter(tryAsGas(0));
+const HASH_START_REG = 7;
+const RESULT_REG = 7;
+function prepareRegsAndMemory(hashStart, data, { registerMemory = true } = {}) {
+    const registers = new HostCallRegisters(emptyRegistersBuffer());
+    registers.set(HASH_START_REG, tryAsU64(hashStart));
+    const builder = new MemoryBuilder();
+    if (registerMemory) {
+        builder.setReadablePages(tryAsMemoryIndex(hashStart), tryAsMemoryIndex(hashStart + PAGE_SIZE), data.raw);
+    }
+    const memory = new HostCallMemory(builder.finalize(tryAsMemoryIndex(0), tryAsSbrkIndex(0)));
+    return {
+        registers,
+        memory,
+    };
+}
+describe("HostCalls: Yield", () => {
+    it("should return panic if memory is unreadable", async () => {
+        const accumulate = new PartialStateMock();
+        const currentServiceId = tryAsServiceId(10_000);
+        const yieldHostCall = new Yield(currentServiceId, accumulate); // yield is a reserved keyword
+        const hashStart = tryAsU32(2 ** 16);
+        const data = Bytes.fill(HASH_SIZE, 0xaa).asOpaque();
+        const { registers, memory } = prepareRegsAndMemory(hashStart, data, { registerMemory: false });
+        // when
+        const result = await yieldHostCall.execute(gas, registers, memory);
+        // then
+        assert.deepStrictEqual(result, PvmExecution.Panic);
+        assert.deepStrictEqual(registers.get(RESULT_REG), tryAsU64(hashStart));
+        assert.deepStrictEqual(accumulate.yieldHash, null);
+    });
+    it("should return status OK and yield hash", async () => {
+        const accumulate = new PartialStateMock();
+        const currentServiceId = tryAsServiceId(10_000);
+        const yieldHostCall = new Yield(currentServiceId, accumulate);
+        const hashStart = tryAsU32(2 ** 16);
+        const data = Bytes.fill(HASH_SIZE, 0xaa).asOpaque();
+        const { registers, memory } = prepareRegsAndMemory(hashStart, data);
+        // when
+        const result = await yieldHostCall.execute(gas, registers, memory);
+        // then
+        assert.deepStrictEqual(result, undefined);
+        assert.deepStrictEqual(registers.get(RESULT_REG), HostCallResult.OK);
+        assert.deepStrictEqual(accumulate.yieldHash, data);
+    });
+});

package/packages/jam/jam-host-calls/externalities/partial-state-mock.d.ts

@@ -0,0 +1,47 @@
+import { type CodeHash, type CoreIndex, type PerValidator, type ServiceGas, type ServiceId } from "#@typeberry/block";
+import type { PreimageHash } from "#@typeberry/block/preimage.js";
+import type { Bytes, BytesBlob } from "#@typeberry/bytes";
+import type { Blake2bHash, OpaqueHash } from "#@typeberry/hash";
+import type { U64 } from "#@typeberry/numbers";
+import type { AuthorizationQueue, PerCore, ValidatorData } from "#@typeberry/state";
+import { OK, Result } from "#@typeberry/utils";
+import { type EjectError, type ForgetPreimageError, type NewServiceError, type PartialState, type PreimageStatus, ProvidePreimageError, type RequestPreimageError, type TRANSFER_MEMO_BYTES, TransferError, type UnprivilegedError, type UpdatePrivilegesError } from "./partial-state.js";
+export declare class PartialStateMock implements PartialState {
+    readonly authQueue: Parameters<PartialStateMock["updateAuthorizationQueue"]>[];
+    readonly forgetPreimageData: Parameters<PartialStateMock["forgetPreimage"]>[];
+    readonly newServiceCalled: Parameters<PartialStateMock["newService"]>[];
+    readonly privilegedServices: Parameters<PartialStateMock["updatePrivilegedServices"]>[];
+    readonly ejectData: Parameters<PartialStateMock["eject"]>[];
+    readonly requestPreimageData: Parameters<PartialStateMock["requestPreimage"]>[];
+    readonly checkPreimageStatusData: Parameters<PartialStateMock["checkPreimageStatus"]>[];
+    readonly transferData: Parameters<PartialStateMock["transfer"]>[];
+    readonly upgradeData: Parameters<PartialStateMock["upgradeService"]>[];
+    readonly validatorsData: Parameters<PartialStateMock["updateValidatorsData"]>[0][];
+    readonly providePreimageData: Parameters<PartialStateMock["providePreimage"]>[];
+    checkpointCalled: number;
+    yieldHash: OpaqueHash | null;
+    authQueueResponse: Result<OK, UpdatePrivilegesError>;
+    forgetPreimageResponse: Result<OK, ForgetPreimageError>;
+    newServiceResponse: Result<ServiceId, NewServiceError>;
+    privilegedServicesResponse: Result<OK, UpdatePrivilegesError>;
+    ejectReturnValue: Result<OK, EjectError>;
+    requestPreimageResponse: Result<OK, RequestPreimageError>;
+    checkPreimageStatusResponse: PreimageStatus | null;
+    transferReturnValue: Result<OK, TransferError>;
+    validatorDataResponse: Result<OK, UnprivilegedError>;
+    providePreimageResponse: Result<OK, ProvidePreimageError>;
+    eject(from: ServiceId | null, previousCode: PreimageHash): Result<OK, EjectError>;
+    checkPreimageStatus(hash: Blake2bHash, length: U64): PreimageStatus | null;
+    requestPreimage(hash: Blake2bHash, length: U64): Result<OK, RequestPreimageError>;
+    forgetPreimage(hash: Blake2bHash, length: U64): Result<OK, ForgetPreimageError>;
+    transfer(destination: ServiceId | null, amount: U64, suppliedGas: ServiceGas, memo: Bytes<TRANSFER_MEMO_BYTES>): Result<OK, TransferError>;
+    newService(codeHash: CodeHash, codeLength: U64, gas: ServiceGas, balance: ServiceGas, gratisStorage: U64, serviceId: U64): Result<ServiceId, NewServiceError>;
+    upgradeService(codeHash: CodeHash, gas: U64, allowance: U64): void;
+    checkpoint(): void;
+    updateValidatorsData(validatorsData: PerValidator<ValidatorData>): Result<OK, UnprivilegedError>;
+    updatePrivilegedServices(m: ServiceId | null, a: PerCore<ServiceId>, v: ServiceId | null, r: ServiceId | null, g: Map<ServiceId, ServiceGas>): Result<OK, UpdatePrivilegesError>;
+    updateAuthorizationQueue(coreIndex: CoreIndex, authQueue: AuthorizationQueue, assigner: ServiceId | null): Result<OK, UpdatePrivilegesError>;
+    yield(hash: OpaqueHash): void;
+    providePreimage(service: ServiceId | null, preimage: BytesBlob): Result<OK, ProvidePreimageError>;
+}
+//# sourceMappingURL=partial-state-mock.d.ts.map

package/packages/jam/jam-host-calls/externalities/partial-state-mock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"partial-state-mock.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/externalities/partial-state-mock.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,SAAS,EAGf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,EAAE,kBAAkB,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACnF,OAAO,EAA4B,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EACL,KAAK,UAAU,EACf,KAAK,mBAAmB,EACxB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,oBAAoB,EACpB,KAAK,oBAAoB,EACzB,KAAK,mBAAmB,EACxB,aAAa,EACb,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC3B,MAAM,oBAAoB,CAAC;AAE5B,qBAAa,gBAAiB,YAAW,YAAY;IACnD,SAAgB,SAAS,EAAE,UAAU,CAAC,gBAAgB,CAAC,0BAA0B,CAAC,CAAC,EAAE,CAAM;IAC3F,SAAgB,kBAAkB,EAAE,UAAU,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAM;IAC1F,SAAgB,gBAAgB,EAAE,UAAU,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,EAAE,CAAM;IACpF,SAAgB,kBAAkB,EAAE,UAAU,CAAC,gBAAgB,CAAC,0BAA0B,CAAC,CAAC,EAAE,CAAM;IACpG,SAAgB,SAAS,EAAE,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAM;IACxE,SAAgB,mBAAmB,EAAE,UAAU,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAM;IAC5F,SAAgB,uBAAuB,EAAE,UAAU,CAAC,gBAAgB,CAAC,qBAAqB,CAAC,CAAC,EAAE,CAAM;IACpG,SAAgB,YAAY,EAAE,UAAU,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,EAAE,CAAM;IAC9E,SAAgB,WAAW,EAAE,UAAU,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAM;IACnF,SAAgB,cAAc,EAAE,UAAU,CAAC,gBAAgB,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAM;IAC/F,SAAgB,mBAAmB,EAAE,UAAU,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAM;IAErF,gBAAgB,SAAK;IACrB,SAAS,EAAE,UAAU,GAAG,IAAI,CAAQ;IACpC,iBAAiB,EAAE,MAAM,CAAC,EAAE,EAAE,qBAAqB,CAAC,CAAiB;IACrE,sBAAsB,EAAE,MAAM,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAiB;IACxE,kBAAkB,EAAE,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC,CAAgC;IACtF,0BAA0B,EAAE,MAAM,CAAC,EAAE,EAAE,qBAAqB,CAAC,CAAiB;IAC9E,gBAAgB,EAAE,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CAAiB;IACzD,uBAAuB,EAAE,MAAM,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAiB;IAC1E,2BAA2B,EAAE,cAAc,GAAG,IAAI,CAAQ;IAC1D,mBAAmB,EAAE,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAiB;IAC/D,qBAAqB,EAAE,MAAM,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAiB;IACrE,uBAAuB,EAAE,MAAM,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAiB;IAEjF,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,IAAI,EAAE,YAAY,EAAE,YAAY,GAAG,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC;IAKjF,mBAAmB,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,GAAG,cAAc,GAAG,IAAI;IAK1E,eAAe,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,EAAE,oBAAoB,CAAC;IAKjF,cAAc,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,EAAE,mBAAmB,CAAC;IAK/E,QAAQ,CACN,WAAW,EAAE,SAAS,GAAG,IAAI,EAC7B,MAAM,EAAE,GAAG,EACX,WAAW,EAAE,UAAU,EACvB,IAAI,EAAE,KAAK,CAAC,mBAAmB,CAAC,GAC/B,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC;IAY5B,UAAU,CACR,QAAQ,EAAE,QAAQ,EAClB,UAAU,EAAE,GAAG,EACf,GAAG,EAAE,UAAU,EACf,OAAO,EAAE,UAAU,EACnB,aAAa,EAAE,GAAG,EAClB,SAAS,EAAE,GAAG,GACb,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC;IAKrC,cAAc,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,GAAG,IAAI;IAIlE,UAAU,IAAI,IAAI;IAIlB,oBAAoB,CAAC,cAAc,EAAE,YAAY,CAAC,aAAa,CAAC,GAAG,MAAM,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAOhG,wBAAwB,CACtB,CAAC,EAAE,SAAS,GAAG,IAAI,EACnB,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,EACrB,CAAC,EAAE,SAAS,GAAG,IAAI,EACnB,CAAC,EAAE,SAAS,GAAG,IAAI,EACnB,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,GAC5B,MAAM,CAAC,EAAE,EAAE,qBAAqB,CAAC;IAOpC,wBAAwB,CACtB,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,kBAAkB,EAC7B,QAAQ,EAAE,SAAS,GAAG,IAAI,GACzB,MAAM,CAAC,EAAE,EAAE,qBAAqB,CAAC;IAOpC,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;IAI7B,eAAe,CAAC,OAAO,EAAE,SAAS,GAAG,IAAI,EAAE,QAAQ,EAAE,SAAS,GAAG,MAAM,CAAC,EAAE,EAAE,oBAAoB,CAAC;CAOlG"}

package/packages/jam/jam-host-calls/externalities/partial-state-mock.js

@@ -0,0 +1,94 @@
+import { tryAsServiceGas, tryAsServiceId, } from "#@typeberry/block";
+import { Compatibility, GpVersion, OK, Result } from "#@typeberry/utils";
+import { ProvidePreimageError, TransferError, } from "./partial-state.js";
+export class PartialStateMock {
+    authQueue = [];
+    forgetPreimageData = [];
+    newServiceCalled = [];
+    privilegedServices = [];
+    ejectData = [];
+    requestPreimageData = [];
+    checkPreimageStatusData = [];
+    transferData = [];
+    upgradeData = [];
+    validatorsData = [];
+    providePreimageData = [];
+    checkpointCalled = 0;
+    yieldHash = null;
+    authQueueResponse = Result.ok(OK);
+    forgetPreimageResponse = Result.ok(OK);
+    newServiceResponse = Result.ok(tryAsServiceId(0));
+    privilegedServicesResponse = Result.ok(OK);
+    ejectReturnValue = Result.ok(OK);
+    requestPreimageResponse = Result.ok(OK);
+    checkPreimageStatusResponse = null;
+    transferReturnValue = Result.ok(OK);
+    validatorDataResponse = Result.ok(OK);
+    providePreimageResponse = Result.ok(OK);
+    eject(from, previousCode) {
+        this.ejectData.push([from, previousCode]);
+        return this.ejectReturnValue;
+    }
+    checkPreimageStatus(hash, length) {
+        this.checkPreimageStatusData.push([hash, length]);
+        return this.checkPreimageStatusResponse;
+    }
+    requestPreimage(hash, length) {
+        this.requestPreimageData.push([hash, length]);
+        return this.requestPreimageResponse;
+    }
+    forgetPreimage(hash, length) {
+        this.forgetPreimageData.push([hash, length]);
+        return this.forgetPreimageResponse;
+    }
+    transfer(destination, amount, suppliedGas, memo) {
+        if (destination === null) {
+            return Result.error(TransferError.DestinationNotFound, () => "Mock: destination is null for transfer");
+        }
+        if (!Compatibility.isGreaterOrEqual(GpVersion.V0_7_2) || this.transferReturnValue.isOk) {
+            this.transferData.push([destination, amount, suppliedGas, memo]);
+        }
+        else {
+            this.transferData.push([destination, amount, tryAsServiceGas(0), memo]);
+        }
+        return this.transferReturnValue;
+    }
+    newService(codeHash, codeLength, gas, balance, gratisStorage, serviceId) {
+        this.newServiceCalled.push([codeHash, codeLength, gas, balance, gratisStorage, serviceId]);
+        return this.newServiceResponse;
+    }
+    upgradeService(codeHash, gas, allowance) {
+        this.upgradeData.push([codeHash, gas, allowance]);
+    }
+    checkpoint() {
+        this.checkpointCalled += 1;
+    }
+    updateValidatorsData(validatorsData) {
+        if (this.validatorDataResponse.isOk) {
+            this.validatorsData.push(validatorsData);
+        }
+        return this.validatorDataResponse;
+    }
+    updatePrivilegedServices(m, a, v, r, g) {
+        if (this.privilegedServicesResponse.isOk) {
+            this.privilegedServices.push([m, a, v, r, g]);
+        }
+        return this.privilegedServicesResponse;
+    }
+    updateAuthorizationQueue(coreIndex, authQueue, assigner) {
+        if (this.authQueueResponse.isOk) {
+            this.authQueue.push([coreIndex, authQueue, assigner]);
+        }
+        return this.authQueueResponse;
+    }
+    yield(hash) {
+        this.yieldHash = hash;
+    }
+    providePreimage(service, preimage) {
+        if (service === null) {
+            return Result.error(ProvidePreimageError.ServiceNotFound, () => "Mock: service is null for providePreimage");
+        }
+        this.providePreimageData.push([service, preimage]);
+        return this.providePreimageResponse;
+    }
+}

package/packages/jam/jam-host-calls/externalities/partial-state.d.ts

@@ -0,0 +1,200 @@
+import type { CodeHash, CoreIndex, PerValidator, ServiceGas, ServiceId, TimeSlot } from "#@typeberry/block";
+import type { PreimageHash } from "#@typeberry/block/preimage.js";
+import type { Bytes, BytesBlob } from "#@typeberry/bytes";
+import type { OpaqueHash } from "#@typeberry/hash";
+import type { U64 } from "#@typeberry/numbers";
+import type { AuthorizationQueue, LookupHistorySlots, PerCore, ValidatorData } from "#@typeberry/state";
+import type { OK, Result } from "#@typeberry/utils";
+/** Size of the transfer memo. */
+export declare const TRANSFER_MEMO_BYTES = 128;
+export type TRANSFER_MEMO_BYTES = typeof TRANSFER_MEMO_BYTES;
+/**
+ * Possible states when checking preimage status.
+ *
+ * NOTE: the status number also describes how many items there is going to be
+ * in the `slots/data` array.
+ */
+export declare enum PreimageStatusKind {
+    /** The preimage is requested. */
+    Requested = 0,
+    /** The preimage is available */
+    Available = 1,
+    /** The preimage is unavailable. */
+    Unavailable = 2,
+    /** The preimage is reavailable. */
+    Reavailable = 3
+}
+/**
+ *
+ * Possible results when checking preimage status.
+ *
+ * https://graypaper.fluffylabs.dev/#/5f542d7/117000117700
+ */
+export type PreimageStatus = {
+    status: typeof PreimageStatusKind.Requested;
+} | {
+    status: typeof PreimageStatusKind.Available;
+    data: [TimeSlot];
+} | {
+    status: typeof PreimageStatusKind.Unavailable;
+    data: [TimeSlot, TimeSlot];
+} | {
+    status: typeof PreimageStatusKind.Reavailable;
+    data: [TimeSlot, TimeSlot, TimeSlot];
+};
+/** Convert model representation of lookup history into `PreimageStatus`. */
+export declare function slotsToPreimageStatus(slots: LookupHistorySlots): PreimageStatus;
+/** Possible error when requesting a preimage. */
+export declare enum RequestPreimageError {
+    /** The preimage is already requested. */
+    AlreadyRequested = 0,
+    /** The preimage is already available. */
+    AlreadyAvailable = 1,
+    /** The account does not have enough balance to store more preimages. */
+    InsufficientFunds = 2
+}
+/** Possible error when forgetting a preimage. */
+export declare enum ForgetPreimageError {
+    /** Preimage was already forgotten or does not exist. */
+    NotFound = 0,
+    /** The preimage hasn't expired yet. */
+    NotExpired = 1,
+    /** Error when updating storage utilisation info. */
+    StorageUtilisationError = 2
+}
+/**
+ * Errors that may occur when the transfer is invoked.
+ */
+export declare enum TransferError {
+    /** The destination service does not exist. */
+    DestinationNotFound = 0,
+    /** The supplied gas is too low to execute `OnTransfer` entry point. */
+    GasTooLow = 1,
+    /** After transfering the funds account balance would be below the threshold. */
+    BalanceBelowThreshold = 2
+}
+/**
+ * Errors that may occur when `quit` is invoked.
+ *
+ * Note there is partial overlap with `TransferError`, except
+ * for `BalanceBelowThreshold`, since it doesn't matter,
+ * because the account is removed anyway.
+ */
+export declare enum EjectError {
+    /** The service does not exist or does not expect to be ejected by us. */
+    InvalidService = 0,
+    /** The service must have only one previous code preimage available. */
+    InvalidPreimage = 1
+}
+export declare enum ProvidePreimageError {
+    /** The service does not exist. */
+    ServiceNotFound = 0,
+    /** The preimage wasn't requested. */
+    WasNotRequested = 1,
+    /** The preimage is already provided. */
+    AlreadyProvided = 2
+}
+export declare enum NewServiceError {
+    /** Not enough balance to create the service account. */
+    InsufficientFunds = 0,
+    /** Service is not privileged to set gratis storage. */
+    UnprivilegedService = 1,
+    /** Registrar attempting to create a service with already existing id. */
+    RegistrarServiceIdAlreadyTaken = 2
+}
+export declare enum UpdatePrivilegesError {
+    /** Service is not privileged to update privileges. */
+    UnprivilegedService = 0,
+    /** Provided service id is incorrect. */
+    InvalidServiceId = 1
+}
+/** Service is not privileged to perform an action. */
+export declare const UnprivilegedError: unique symbol;
+export type UnprivilegedError = typeof UnprivilegedError;
+/**
+ * `U`: state components mutated by the accumulation.
+ * - `d`: service accounts state
+ * - `i`: upcoming validator keys
+ * - `q`: queue of work reports
+ * - `x`: priviliges state
+ *
+ * https://graypaper.fluffylabs.dev/#/579bd12/163602163602
+ */
+export interface PartialState {
+    /**
+     * Request (query) preimage status.
+     *
+     * States:
+     * https://graypaper.fluffylabs.dev/#/579bd12/116f00116f00
+     */
+    checkPreimageStatus(hash: PreimageHash, length: U64): PreimageStatus | null;
+    /**
+     * Request (solicit) a preimage to be (re-)available.
+     *
+     * States:
+     * https://graypaper.fluffylabs.dev/#/579bd12/116f00116f00
+     */
+    requestPreimage(hash: PreimageHash, length: U64): Result<OK, RequestPreimageError>;
+    /**
+     * Mark a preimage hash as unavailable (forget it).
+     *
+     * https://graypaper.fluffylabs.dev/#/579bd12/335602335602
+     */
+    forgetPreimage(hash: PreimageHash, length: U64): Result<OK, ForgetPreimageError>;
+    /**
+     * Remove the provided source account and transfer the remaining account balance to current service.
+     *
+     * https://graypaper.fluffylabs.dev/#/9a08063/37b60137b601?v=0.6.6
+     */
+    eject(from: ServiceId | null, previousCode: PreimageHash): Result<OK, EjectError>;
+    /**
+     * Transfer given `amount` of funds to the `destination`,
+     * passing `gas` fee for transfer and given `memo`.
+     */
+    transfer(destination: ServiceId | null, amount: U64, gas: ServiceGas, memo: Bytes<TRANSFER_MEMO_BYTES>): Result<OK, TransferError>;
+    /**
+     * Create a new service with given codeHash, length, gas, allowance, gratisStorage and wantedServiceId.
+     *
+     * Returns a newly assigned id
+     * or `wantedServiceId` if it's lower than `S`
+     * and parent of that service is `Registrar`.
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/2fa9042fc304?v=0.7.2
+     *
+     * An error can be returned in case the account does not
+     * have the required balance
+     * or tries to set gratis storage without being `Manager`
+     * or `Registrar` tries to set service id thats already taken.
+     */
+    newService(codeHash: CodeHash, codeLength: U64, gas: ServiceGas, allowance: ServiceGas, gratisStorage: U64, wantedServiceId: U64): Result<ServiceId, NewServiceError>;
+    /** Upgrade code of currently running service. */
+    upgradeService(codeHash: CodeHash, gas: U64, allowance: U64): void;
+    /** Designate new validators given their key and meta data. */
+    updateValidatorsData(validatorsData: PerValidator<ValidatorData>): Result<OK, UnprivilegedError>;
+    /**
+     * Checkpoint this partial state.
+     *
+     * I.e. assign the "regular dimension" of the context to
+     * the "exceptional dimension".
+     * https://graypaper.fluffylabs.dev/#/579bd12/2df4012df401
+     */
+    checkpoint(): void;
+    /** Update authorization queue for given core and authorize a service for this core. */
+    updateAuthorizationQueue(coreIndex: CoreIndex, authQueue: AuthorizationQueue, assigner: ServiceId | null): Result<OK, UpdatePrivilegesError>;
+    /**
+     * Update priviliged services and their gas.
+     *
+     * `m`: manager service (can change privileged services)
+     * `a`: manages authorization queue
+     * `v`: manages validator keys
+     * `r`: manages create new services in protected id range.
+     * `z`: collection of serviceId -> gas that auto-accumulate every block
+     *
+     */
+    updatePrivilegedServices(m: ServiceId | null, a: PerCore<ServiceId>, v: ServiceId | null, r: ServiceId | null, z: Map<ServiceId, ServiceGas>): Result<OK, UpdatePrivilegesError>;
+    /** Yield accumulation trie result hash. */
+    yield(hash: OpaqueHash): void;
+    /** Provide a preimage for given service. */
+    providePreimage(service: ServiceId | null, preimage: BytesBlob): Result<OK, ProvidePreimageError>;
+}
+//# sourceMappingURL=partial-state.d.ts.map

package/packages/jam/jam-host-calls/externalities/partial-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"partial-state.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/externalities/partial-state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE3G,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACvG,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAEnD,iCAAiC;AACjC,eAAO,MAAM,mBAAmB,MAAM,CAAC;AACvC,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC;AAE7D;;;;;GAKG;AACH,oBAAY,kBAAkB;IAC5B,iCAAiC;IACjC,SAAS,IAAI;IACb,gCAAgC;IAChC,SAAS,IAAI;IACb,mCAAmC;IACnC,WAAW,IAAI;IACf,mCAAmC;IACnC,WAAW,IAAI;CAChB;AAED;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GACtB;IACE,MAAM,EAAE,OAAO,kBAAkB,CAAC,SAAS,CAAC;CAC7C,GACD;IACE,MAAM,EAAE,OAAO,kBAAkB,CAAC,SAAS,CAAC;IAC5C,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC;CAClB,GACD;IACE,MAAM,EAAE,OAAO,kBAAkB,CAAC,WAAW,CAAC;IAC9C,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;CAC5B,GACD;IACE,MAAM,EAAE,OAAO,kBAAkB,CAAC,WAAW,CAAC;IAC9C,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;CACtC,CAAC;AAEN,4EAA4E;AAC5E,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,kBAAkB,GAAG,cAAc,CA6B/E;AAED,iDAAiD;AACjD,oBAAY,oBAAoB;IAC9B,yCAAyC;IACzC,gBAAgB,IAAI;IACpB,yCAAyC;IACzC,gBAAgB,IAAI;IACpB,wEAAwE;IACxE,iBAAiB,IAAI;CACtB;AAED,iDAAiD;AACjD,oBAAY,mBAAmB;IAC7B,wDAAwD;IACxD,QAAQ,IAAI;IACZ,uCAAuC;IACvC,UAAU,IAAI;IACd,oDAAoD;IACpD,uBAAuB,IAAI;CAC5B;AAED;;GAEG;AACH,oBAAY,aAAa;IACvB,8CAA8C;IAC9C,mBAAmB,IAAI;IACvB,uEAAuE;IACvE,SAAS,IAAI;IACb,gFAAgF;IAChF,qBAAqB,IAAI;CAC1B;AAED;;;;;;GAMG;AACH,oBAAY,UAAU;IACpB,yEAAyE;IACzE,cAAc,IAAI;IAClB,uEAAuE;IACvE,eAAe,IAAI;CACpB;AAED,oBAAY,oBAAoB;IAC9B,kCAAkC;IAClC,eAAe,IAAI;IACnB,qCAAqC;IACrC,eAAe,IAAI;IACnB,wCAAwC;IACxC,eAAe,IAAI;CACpB;AAED,oBAAY,eAAe;IACzB,wDAAwD;IACxD,iBAAiB,IAAI;IACrB,uDAAuD;IACvD,mBAAmB,IAAI;IACvB,yEAAyE;IACzE,8BAA8B,IAAI;CACnC;AAED,oBAAY,qBAAqB;IAC/B,sDAAsD;IACtD,mBAAmB,IAAI;IACvB,wCAAwC;IACxC,gBAAgB,IAAI;CACrB;AAED,sDAAsD;AACtD,eAAO,MAAM,iBAAiB,eAAqC,CAAC;AACpE,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AAEzD;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IACH,mBAAmB,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,cAAc,GAAG,IAAI,CAAC;IAE5E;;;;;OAKG;IACH,eAAe,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAC;IAEnF;;;;OAIG;IACH,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;IAEjF;;;;OAIG;IACH,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,IAAI,EAAE,YAAY,EAAE,YAAY,GAAG,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IAElF;;;OAGG;IACH,QAAQ,CACN,WAAW,EAAE,SAAS,GAAG,IAAI,EAC7B,MAAM,EAAE,GAAG,EACX,GAAG,EAAE,UAAU,EACf,IAAI,EAAE,KAAK,CAAC,mBAAmB,CAAC,GAC/B,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAE7B;;;;;;;;;;;;;OAaG;IACH,UAAU,CACR,QAAQ,EAAE,QAAQ,EAClB,UAAU,EAAE,GAAG,EACf,GAAG,EAAE,UAAU,EACf,SAAS,EAAE,UAAU,EACrB,aAAa,EAAE,GAAG,EAClB,eAAe,EAAE,GAAG,GACnB,MAAM,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;IAEtC,iDAAiD;IACjD,cAAc,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,GAAG,IAAI,CAAC;IAEnE,8DAA8D;IAC9D,oBAAoB,CAAC,cAAc,EAAE,YAAY,CAAC,aAAa,CAAC,GAAG,MAAM,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAC;IAEjG;;;;;;OAMG;IACH,UAAU,IAAI,IAAI,CAAC;IAEnB,uFAAuF;IACvF,wBAAwB,CACtB,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,kBAAkB,EAC7B,QAAQ,EAAE,SAAS,GAAG,IAAI,GACzB,MAAM,CAAC,EAAE,EAAE,qBAAqB,CAAC,CAAC;IAErC;;;;;;;;;OASG;IACH,wBAAwB,CACtB,CAAC,EAAE,SAAS,GAAG,IAAI,EACnB,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,EACrB,CAAC,EAAE,SAAS,GAAG,IAAI,EACnB,CAAC,EAAE,SAAS,GAAG,IAAI,EACnB,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,GAC5B,MAAM,CAAC,EAAE,EAAE,qBAAqB,CAAC,CAAC;IAErC,2CAA2C;IAC3C,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IAE9B,4CAA4C;IAC5C,eAAe,CAAC,OAAO,EAAE,SAAS,GAAG,IAAI,EAAE,QAAQ,EAAE,SAAS,GAAG,MAAM,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAC;CACnG"}

package/packages/jam/jam-host-calls/externalities/partial-state.js

@@ -0,0 +1,120 @@
+import { W_T } from "#@typeberry/block/gp-constants.js";
+/** Size of the transfer memo. */
+export const TRANSFER_MEMO_BYTES = W_T;
+/**
+ * Possible states when checking preimage status.
+ *
+ * NOTE: the status number also describes how many items there is going to be
+ * in the `slots/data` array.
+ */
+export var PreimageStatusKind;
+(function (PreimageStatusKind) {
+    /** The preimage is requested. */
+    PreimageStatusKind[PreimageStatusKind["Requested"] = 0] = "Requested";
+    /** The preimage is available */
+    PreimageStatusKind[PreimageStatusKind["Available"] = 1] = "Available";
+    /** The preimage is unavailable. */
+    PreimageStatusKind[PreimageStatusKind["Unavailable"] = 2] = "Unavailable";
+    /** The preimage is reavailable. */
+    PreimageStatusKind[PreimageStatusKind["Reavailable"] = 3] = "Reavailable";
+})(PreimageStatusKind || (PreimageStatusKind = {}));
+/** Convert model representation of lookup history into `PreimageStatus`. */
+export function slotsToPreimageStatus(slots) {
+    if (slots.length === PreimageStatusKind.Requested) {
+        return {
+            status: PreimageStatusKind.Requested,
+        };
+    }
+    if (slots.length === PreimageStatusKind.Available) {
+        return {
+            status: PreimageStatusKind.Available,
+            data: [slots[0]],
+        };
+    }
+    if (slots.length === PreimageStatusKind.Unavailable) {
+        return {
+            status: PreimageStatusKind.Unavailable,
+            data: [slots[0], slots[1]],
+        };
+    }
+    if (slots.length === PreimageStatusKind.Reavailable) {
+        return {
+            status: PreimageStatusKind.Reavailable,
+            data: [slots[0], slots[1], slots[2]],
+        };
+    }
+    throw new Error(`Invalid slots length: ${slots.length}`);
+}
+/** Possible error when requesting a preimage. */
+export var RequestPreimageError;
+(function (RequestPreimageError) {
+    /** The preimage is already requested. */
+    RequestPreimageError[RequestPreimageError["AlreadyRequested"] = 0] = "AlreadyRequested";
+    /** The preimage is already available. */
+    RequestPreimageError[RequestPreimageError["AlreadyAvailable"] = 1] = "AlreadyAvailable";
+    /** The account does not have enough balance to store more preimages. */
+    RequestPreimageError[RequestPreimageError["InsufficientFunds"] = 2] = "InsufficientFunds";
+})(RequestPreimageError || (RequestPreimageError = {}));
+/** Possible error when forgetting a preimage. */
+export var ForgetPreimageError;
+(function (ForgetPreimageError) {
+    /** Preimage was already forgotten or does not exist. */
+    ForgetPreimageError[ForgetPreimageError["NotFound"] = 0] = "NotFound";
+    /** The preimage hasn't expired yet. */
+    ForgetPreimageError[ForgetPreimageError["NotExpired"] = 1] = "NotExpired";
+    /** Error when updating storage utilisation info. */
+    ForgetPreimageError[ForgetPreimageError["StorageUtilisationError"] = 2] = "StorageUtilisationError";
+})(ForgetPreimageError || (ForgetPreimageError = {}));
+/**
+ * Errors that may occur when the transfer is invoked.
+ */
+export var TransferError;
+(function (TransferError) {
+    /** The destination service does not exist. */
+    TransferError[TransferError["DestinationNotFound"] = 0] = "DestinationNotFound";
+    /** The supplied gas is too low to execute `OnTransfer` entry point. */
+    TransferError[TransferError["GasTooLow"] = 1] = "GasTooLow";
+    /** After transfering the funds account balance would be below the threshold. */
+    TransferError[TransferError["BalanceBelowThreshold"] = 2] = "BalanceBelowThreshold";
+})(TransferError || (TransferError = {}));
+/**
+ * Errors that may occur when `quit` is invoked.
+ *
+ * Note there is partial overlap with `TransferError`, except
+ * for `BalanceBelowThreshold`, since it doesn't matter,
+ * because the account is removed anyway.
+ */
+export var EjectError;
+(function (EjectError) {
+    /** The service does not exist or does not expect to be ejected by us. */
+    EjectError[EjectError["InvalidService"] = 0] = "InvalidService";
+    /** The service must have only one previous code preimage available. */
+    EjectError[EjectError["InvalidPreimage"] = 1] = "InvalidPreimage";
+})(EjectError || (EjectError = {}));
+export var ProvidePreimageError;
+(function (ProvidePreimageError) {
+    /** The service does not exist. */
+    ProvidePreimageError[ProvidePreimageError["ServiceNotFound"] = 0] = "ServiceNotFound";
+    /** The preimage wasn't requested. */
+    ProvidePreimageError[ProvidePreimageError["WasNotRequested"] = 1] = "WasNotRequested";
+    /** The preimage is already provided. */
+    ProvidePreimageError[ProvidePreimageError["AlreadyProvided"] = 2] = "AlreadyProvided";
+})(ProvidePreimageError || (ProvidePreimageError = {}));
+export var NewServiceError;
+(function (NewServiceError) {
+    /** Not enough balance to create the service account. */
+    NewServiceError[NewServiceError["InsufficientFunds"] = 0] = "InsufficientFunds";
+    /** Service is not privileged to set gratis storage. */
+    NewServiceError[NewServiceError["UnprivilegedService"] = 1] = "UnprivilegedService";
+    /** Registrar attempting to create a service with already existing id. */
+    NewServiceError[NewServiceError["RegistrarServiceIdAlreadyTaken"] = 2] = "RegistrarServiceIdAlreadyTaken";
+})(NewServiceError || (NewServiceError = {}));
+export var UpdatePrivilegesError;
+(function (UpdatePrivilegesError) {
+    /** Service is not privileged to update privileges. */
+    UpdatePrivilegesError[UpdatePrivilegesError["UnprivilegedService"] = 0] = "UnprivilegedService";
+    /** Provided service id is incorrect. */
+    UpdatePrivilegesError[UpdatePrivilegesError["InvalidServiceId"] = 1] = "InvalidServiceId";
+})(UpdatePrivilegesError || (UpdatePrivilegesError = {}));
+/** Service is not privileged to perform an action. */
+export const UnprivilegedError = Symbol("Insufficient privileges.");

package/packages/jam/jam-host-calls/externalities/partial-state.test.d.ts

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

package/packages/jam/jam-host-calls/externalities/partial-state.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"partial-state.test.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/externalities/partial-state.test.ts"],"names":[],"mappings":""}

package/packages/jam/jam-host-calls/externalities/partial-state.test.js

@@ -0,0 +1,44 @@
+import assert from "node:assert/strict";
+import { describe, it } from "node:test";
+import { tryAsTimeSlot } from "#@typeberry/block";
+import { asKnownSize } from "#@typeberry/collections";
+import { PreimageStatusKind, slotsToPreimageStatus } from "./partial-state.js";
+describe("slotsToPreimageStatus", () => {
+    it("returns Requested when no slots are given", () => {
+        const slots = asKnownSize([]);
+        const result = slotsToPreimageStatus(slots);
+        assert.deepEqual(result, {
+            status: PreimageStatusKind.Requested,
+        });
+    });
+    it("returns Available when one slot is given", () => {
+        const slots = asKnownSize([tryAsTimeSlot(42)]);
+        const result = slotsToPreimageStatus(slots);
+        assert.deepEqual(result, {
+            status: PreimageStatusKind.Available,
+            data: slots,
+        });
+    });
+    it("returns Unavailable when two slots are given", () => {
+        const slots = asKnownSize([1, 2].map((x) => tryAsTimeSlot(x)));
+        const result = slotsToPreimageStatus(slots);
+        assert.deepEqual(result, {
+            status: PreimageStatusKind.Unavailable,
+            data: slots,
+        });
+    });
+    it("returns Reavailable when three slots are given", () => {
+        const slots = asKnownSize([10, 20, 30].map((x) => tryAsTimeSlot(x)));
+        const result = slotsToPreimageStatus(slots);
+        assert.deepEqual(result, {
+            status: PreimageStatusKind.Reavailable,
+            data: slots,
+        });
+    });
+    it("throws an error when more than three slots are given", () => {
+        const slots = asKnownSize([10, 20, 30, 40].map((x) => tryAsTimeSlot(x)));
+        assert.throws(() => slotsToPreimageStatus(slots), {
+            message: "Invalid slots length: 4",
+        });
+    });
+});