@typeberry/lib 0.5.3 → 0.5.4-472e282

package/packages/jam/in-core/in-core.d.ts

@@ -0,0 +1,60 @@
+import { type CoreIndex, type Segment, type SegmentIndex, type ServiceGas } from "#@typeberry/block";
+import { type WorkPackageHash } from "#@typeberry/block/refine-context.js";
+import type { WorkItemExtrinsic } from "#@typeberry/block/work-item.js";
+import type { WorkPackage } from "#@typeberry/block/work-package.js";
+import { WorkReport } from "#@typeberry/block/work-report.js";
+import { WorkExecResult, WorkResult } from "#@typeberry/block/work-result.js";
+import { type KnownSizeArray } from "#@typeberry/collections";
+import type { ChainSpec, PvmBackend } from "#@typeberry/config";
+import type { StatesDb } from "#@typeberry/database";
+import { type ReturnValue } from "#@typeberry/executor";
+import { type Blake2b, type WithHash } from "#@typeberry/hash";
+import { Result } from "#@typeberry/utils";
+export type RefineResult = {
+    report: WorkReport;
+    exports: PerWorkItem<Segment[]>;
+};
+export type RefineItemResult = {
+    result: WorkResult;
+    exports: Segment[];
+};
+export declare enum RefineError {
+    /** State for context anchor block or lookup anchor is not found in the DB. */
+    StateMissing = 0,
+    /** Posterior state root of context anchor block does not match the one in the DB. */
+    StateRootMismatch = 1,
+    /** Lookup anchor state-slot does not match the one given in context. */
+    InvalidLookupAnchorSlot = 2,
+    /** Authorization error. */
+    AuthorizationError = 3
+}
+export type PerWorkItem<T> = KnownSizeArray<T, "for each work item">;
+export type ImportedSegment = {
+    index: SegmentIndex;
+    data: Segment;
+};
+export declare class InCore {
+    readonly chainSpec: ChainSpec;
+    private readonly states;
+    private readonly pvmBackend;
+    private readonly blake2b;
+    constructor(chainSpec: ChainSpec, states: StatesDb, pvmBackend: PvmBackend, blake2b: Blake2b);
+    /**
+     * Work-report computation function.
+     *
+     * Note this requires all of the imports and extrinsics to be already fetched
+     * and only performs the refinement.
+     *
+     * Any validation must be done externally!
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/1b7f021b7f02?v=0.7.2
+     */
+    refine(workPackageAndHash: WithHash<WorkPackageHash, WorkPackage>, core: CoreIndex, imports: PerWorkItem<ImportedSegment[]>, extrinsics: PerWorkItem<WorkItemExtrinsic[]>): Promise<Result<RefineResult, RefineError>>;
+    private amalgamateWorkReport;
+    private authorizePackage;
+    private refineItem;
+    extractWorkResult(execResult: ReturnValue<ServiceGas>): WorkExecResult;
+    private getServiceCode;
+    private createRefineExternalities;
+}
+//# sourceMappingURL=in-core.d.ts.map

package/packages/jam/in-core/in-core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"in-core.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/in-core/in-core.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,YAAY,EACjB,KAAK,UAAU,EAIhB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAGL,KAAK,eAAe,EAErB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,KAAK,EAAY,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACjF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AACpE,OAAO,EAAmB,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,EAAE,cAAc,EAAsC,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAGjH,OAAO,EAA+B,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC1F,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAA+D,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACpH,OAAO,EAAE,KAAK,OAAO,EAAa,KAAK,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAKzE,OAAO,EAA4B,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAGpE,MAAM,MAAM,YAAY,GAAG;IACzB,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,OAAO,EAAE,CAAC;CACpB,CAAC;AAEF,oBAAY,WAAW;IACrB,8EAA8E;IAC9E,YAAY,IAAI;IAChB,qFAAqF;IACrF,iBAAiB,IAAI;IACrB,wEAAwE;IACxE,uBAAuB,IAAI;IAC3B,2BAA2B;IAC3B,kBAAkB,IAAI;CACvB;AAqBD,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC;AAErE,MAAM,MAAM,eAAe,GAAG;IAC5B,KAAK,EAAE,YAAY,CAAC;IACpB,IAAI,EAAE,OAAO,CAAC;CACf,CAAC;AAgBF,qBAAa,MAAM;aAEC,SAAS,EAAE,SAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAHR,SAAS,EAAE,SAAS,EACnB,MAAM,EAAE,QAAQ,EAChB,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,OAAO;IAGnC;;;;;;;;;OASG;IACG,MAAM,CACV,kBAAkB,EAAE,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,EAC1D,IAAI,EAAE,SAAS,EACf,OAAO,EAAE,WAAW,CAAC,eAAe,EAAE,CAAC,EACvC,UAAU,EAAE,WAAW,CAAC,iBAAiB,EAAE,CAAC,GAC3C,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAmE7C,OAAO,CAAC,oBAAoB;YAuDd,gBAAgB;YAkBhB,UAAU;IAgGxB,iBAAiB,CAAC,UAAU,EAAE,WAAW,CAAC,UAAU,CAAC;IAiBrD,OAAO,CAAC,cAAc;IAyCtB,OAAO,CAAC,yBAAyB;CAoBlC"}

package/packages/jam/in-core/in-core.js

@@ -0,0 +1,294 @@
+import { tryAsCoreIndex, tryAsServiceGas, } from "#@typeberry/block";
+import { W_C } from "#@typeberry/block/gp-constants.js";
+import { WorkPackageInfo, } from "#@typeberry/block/refine-context.js";
+import { WorkPackageSpec, WorkReport } from "#@typeberry/block/work-report.js";
+import { WorkExecResult, WorkExecResultKind, WorkRefineLoad, WorkResult } from "#@typeberry/block/work-result.js";
+import { Bytes, BytesBlob } from "#@typeberry/bytes";
+import { codec, Encoder } from "#@typeberry/codec";
+import { asKnownSize, FixedSizeArray } from "#@typeberry/collections";
+import { PvmExecutor, ReturnStatus } from "#@typeberry/executor";
+import { HASH_SIZE } from "#@typeberry/hash";
+import { Logger } from "#@typeberry/logger";
+import { tryAsU8, tryAsU16, tryAsU32 } from "#@typeberry/numbers";
+import { FetchExternalities } from "#@typeberry/transition/externalities/fetch-externalities.js";
+import { assertEmpty, assertNever, Result } from "#@typeberry/utils";
+import { RefineExternalitiesImpl } from "./externalities/refine.js";
+export var RefineError;
+(function (RefineError) {
+    /** State for context anchor block or lookup anchor is not found in the DB. */
+    RefineError[RefineError["StateMissing"] = 0] = "StateMissing";
+    /** Posterior state root of context anchor block does not match the one in the DB. */
+    RefineError[RefineError["StateRootMismatch"] = 1] = "StateRootMismatch";
+    /** Lookup anchor state-slot does not match the one given in context. */
+    RefineError[RefineError["InvalidLookupAnchorSlot"] = 2] = "InvalidLookupAnchorSlot";
+    /** Authorization error. */
+    RefineError[RefineError["AuthorizationError"] = 3] = "AuthorizationError";
+})(RefineError || (RefineError = {}));
+var ServiceCodeError;
+(function (ServiceCodeError) {
+    /** Service id is not found in the state. */
+    ServiceCodeError[ServiceCodeError["ServiceNotFound"] = 0] = "ServiceNotFound";
+    /** Expected service code does not match the state one. */
+    ServiceCodeError[ServiceCodeError["ServiceCodeMismatch"] = 1] = "ServiceCodeMismatch";
+    /** Code preimage missing. */
+    ServiceCodeError[ServiceCodeError["ServiceCodeMissing"] = 2] = "ServiceCodeMissing";
+    /** Code blob is too big. */
+    ServiceCodeError[ServiceCodeError["ServiceCodeTooBig"] = 3] = "ServiceCodeTooBig";
+})(ServiceCodeError || (ServiceCodeError = {}));
+var AuthorizationError;
+(function (AuthorizationError) {
+})(AuthorizationError || (AuthorizationError = {}));
+const logger = Logger.new(import.meta.filename, "refine");
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/2ffe002ffe00?v=0.7.2 */
+const ARGS_CODEC = codec.object({
+    core: codec.varU32.convert((x) => tryAsU32(x), (x) => tryAsCoreIndex(x)),
+    workItemIndex: codec.varU32,
+    serviceId: codec.varU32.asOpaque(),
+    payloadLength: codec.varU32,
+    packageHash: codec.bytes(HASH_SIZE).asOpaque(),
+});
+export class InCore {
+    chainSpec;
+    states;
+    pvmBackend;
+    blake2b;
+    constructor(chainSpec, states, pvmBackend, blake2b) {
+        this.chainSpec = chainSpec;
+        this.states = states;
+        this.pvmBackend = pvmBackend;
+        this.blake2b = blake2b;
+    }
+    /**
+     * Work-report computation function.
+     *
+     * Note this requires all of the imports and extrinsics to be already fetched
+     * and only performs the refinement.
+     *
+     * Any validation must be done externally!
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/1b7f021b7f02?v=0.7.2
+     */
+    async refine(workPackageAndHash, core, imports, extrinsics) {
+        const workPackageHash = workPackageAndHash.hash;
+        const { context, authorization, authCodeHash, authCodeHost, parametrization, items, ...rest } = workPackageAndHash.data;
+        assertEmpty(rest);
+        // TODO [ToDr] Verify BEEFY root
+        // TODO [ToDr] Verify prerequisites
+        logger.log `[core:${core}] Attempting to refine work package with ${items.length} items.`;
+        // TODO [ToDr] GP link
+        // Verify anchor block
+        const state = this.states.getState(context.anchor);
+        if (state === null) {
+            return Result.error(RefineError.StateMissing, () => `State at anchor block ${context.anchor} is missing.`);
+        }
+        const stateRoot = await this.states.getStateRoot(state);
+        if (!stateRoot.isEqualTo(context.stateRoot)) {
+            return Result.error(RefineError.StateRootMismatch, () => `State at ${context.anchor} does not match expected root hash. Ours: ${stateRoot}, expected: ${context.stateRoot}`);
+        }
+        // TODO [ToDr] GP link
+        // Verify lookup anchor state
+        const lookupState = this.states.getState(context.lookupAnchor);
+        if (lookupState === null) {
+            return Result.error(RefineError.StateMissing, () => `Lookup state at block ${context.lookupAnchor} is missing.`);
+        }
+        // TODO [ToDr] GP link
+        if (lookupState.timeslot !== context.lookupAnchorSlot) {
+            return Result.error(RefineError.InvalidLookupAnchorSlot, () => `Lookup anchor slot does not match the one is state. Ours: ${lookupState.timeslot}, expected: ${context.lookupAnchorSlot}`);
+        }
+        // Check authorization
+        const authResult = await this.authorizePackage(authorization, authCodeHost, authCodeHash, parametrization);
+        if (authResult.isError) {
+            return Result.error(RefineError.AuthorizationError, () => `Authorization error: ${AuthorizationError[authResult.error]}: ${authResult.details()}.`);
+        }
+        logger.log `[core:${core}] Authorized. Proceeding with work items verification. Anchor=${context.anchor}`;
+        // Verify the work items
+        const refineResults = [];
+        for (const [idx, item] of items.entries()) {
+            logger.info `[core:${core}][i:${idx}] Refining item for service ${item.service}.`;
+            refineResults.push(await this.refineItem(state, idx, item, imports, extrinsics, core, workPackageHash));
+        }
+        // amalgamate the work report now
+        return Result.ok(this.amalgamateWorkReport(asKnownSize(refineResults), authResult.ok, workPackageHash, context, core));
+    }
+    amalgamateWorkReport(refineResults, authResult, workPackageHash, context, coreIndex) {
+        // unzip exports and work results for each work item
+        const exports = refineResults.map((x) => x.exports);
+        const results = refineResults.map((x) => x.result);
+        const { authorizerHash, authorizationGasUsed, authorizationOutput, ...authRest } = authResult;
+        assertEmpty(authRest);
+        // TODO [ToDr] Compute erasure root
+        const erasureRoot = Bytes.zero(HASH_SIZE);
+        // TODO [ToDr] Compute exports root
+        const exportsRoot = Bytes.zero(HASH_SIZE).asOpaque();
+        const exportsCount = exports.reduce((acc, x) => acc + x.length, 0);
+        // TODO [ToDr] Segment root lookup computation?
+        const segmentRootLookup = [
+            WorkPackageInfo.create({
+                workPackageHash,
+                segmentTreeRoot: exportsRoot,
+            }),
+        ];
+        // TODO [ToDr] Auditable work bundle length?
+        const workBundleLength = tryAsU32(0);
+        return {
+            report: WorkReport.create({
+                workPackageSpec: WorkPackageSpec.create({
+                    length: workBundleLength,
+                    hash: workPackageHash,
+                    erasureRoot,
+                    exportsRoot,
+                    // safe to convert, since we have limit on number of
+                    // exports per item and a limit for number of items
+                    exportsCount: tryAsU16(exportsCount),
+                }),
+                context,
+                coreIndex,
+                authorizerHash,
+                authorizationGasUsed,
+                authorizationOutput,
+                segmentRootLookup,
+                // safe to convert, since we know that number of work items is limited
+                results: FixedSizeArray.new(results, tryAsU8(refineResults.length)),
+            }),
+            exports: asKnownSize(exports),
+        };
+    }
+    async authorizePackage(_authorization, _authCodeHost, _authCodeHash, _parametrization) {
+        // TODO [ToDr] Check authorization?
+        const authorizerHash = Bytes.zero(HASH_SIZE).asOpaque();
+        const authorizationGasUsed = tryAsServiceGas(0);
+        const authorizationOutput = BytesBlob.empty();
+        return Result.ok({
+            authorizerHash,
+            authorizationGasUsed,
+            authorizationOutput,
+        });
+    }
+    async refineItem(state, idx, item, allImports, allExtrinsics, coreIndex, workPackageHash) {
+        const payloadHash = this.blake2b.hashBytes(item.payload);
+        const baseResult = {
+            serviceId: item.service,
+            codeHash: item.codeHash,
+            payloadHash,
+            gas: item.refineGasLimit,
+        };
+        const imports = allImports[idx];
+        const extrinsics = allExtrinsics[idx];
+        const baseLoad = {
+            importedSegments: tryAsU32(imports.length),
+            extrinsicCount: tryAsU32(extrinsics.length),
+            extrinsicSize: tryAsU32(extrinsics.reduce((acc, x) => acc + x.length, 0)),
+        };
+        const maybeCode = this.getServiceCode(state, idx, item);
+        if (maybeCode.isError) {
+            const error = maybeCode.error === ServiceCodeError.ServiceCodeTooBig
+                ? WorkExecResultKind.codeOversize
+                : WorkExecResultKind.badCode;
+            return {
+                exports: [],
+                result: WorkResult.create({
+                    ...baseResult,
+                    result: WorkExecResult.error(error),
+                    load: WorkRefineLoad.create({
+                        ...baseLoad,
+                        gasUsed: tryAsServiceGas(item.refineGasLimit),
+                        exportedSegments: tryAsU32(0),
+                    }),
+                }),
+            };
+        }
+        const code = maybeCode.ok;
+        const externalities = this.createRefineExternalities({
+            payload: item.payload,
+            imports: allImports,
+            extrinsics: allExtrinsics,
+        });
+        const executor = await PvmExecutor.createRefineExecutor(item.service, code, externalities, this.pvmBackend);
+        const args = Encoder.encodeObject(ARGS_CODEC, {
+            serviceId: item.service,
+            core: coreIndex,
+            workItemIndex: tryAsU32(idx),
+            payloadLength: tryAsU32(item.payload.length),
+            packageHash: workPackageHash,
+        });
+        const execResult = await executor.run(args, item.refineGasLimit);
+        // TODO [ToDr] get exports from externalities
+        const exports = [];
+        if (exports.length !== item.exportCount) {
+            return {
+                exports,
+                result: WorkResult.create({
+                    ...baseResult,
+                    result: WorkExecResult.error(WorkExecResultKind.incorrectNumberOfExports),
+                    load: WorkRefineLoad.create({
+                        ...baseLoad,
+                        gasUsed: tryAsServiceGas(item.refineGasLimit),
+                        exportedSegments: tryAsU32(0),
+                    }),
+                }),
+            };
+        }
+        const result = this.extractWorkResult(execResult);
+        return {
+            exports,
+            result: WorkResult.create({
+                ...baseResult,
+                result,
+                load: WorkRefineLoad.create({
+                    ...baseLoad,
+                    gasUsed: tryAsServiceGas(execResult.consumedGas),
+                    exportedSegments: tryAsU32(exports.length),
+                }),
+            }),
+        };
+    }
+    extractWorkResult(execResult) {
+        if (execResult.status === ReturnStatus.OK) {
+            const slice = execResult.memorySlice;
+            // TODO [ToDr] Verify the output size and change digestTooBig?
+            return WorkExecResult.ok(BytesBlob.blobFrom(slice));
+        }
+        switch (execResult.status) {
+            case ReturnStatus.OOG:
+                return WorkExecResult.error(WorkExecResultKind.outOfGas);
+            case ReturnStatus.PANIC:
+                return WorkExecResult.error(WorkExecResultKind.panic);
+            default:
+                assertNever(execResult);
+        }
+    }
+    getServiceCode(state, idx, item) {
+        const serviceId = item.service;
+        const service = state.getService(serviceId);
+        // TODO [ToDr] GP link
+        // missing service
+        if (service === null) {
+            return Result.error(ServiceCodeError.ServiceNotFound, () => `[i:${idx}] Service ${serviceId} is missing in state.`);
+        }
+        // TODO [ToDr] GP link
+        // TODO [ToDr] shall we rather use the old codehash instead
+        if (!service.getInfo().codeHash.isEqualTo(item.codeHash)) {
+            return Result.error(ServiceCodeError.ServiceCodeMismatch, () => `[i:${idx}] Service ${serviceId} has invalid code hash. Ours: ${service.getInfo().codeHash}, expected: ${item.codeHash}`);
+        }
+        const code = service.getPreimage(item.codeHash.asOpaque());
+        if (code === null) {
+            return Result.error(ServiceCodeError.ServiceCodeMissing, () => `[i:${idx}] Code ${item.codeHash} for service ${serviceId} was not found.`);
+        }
+        if (code.length > W_C) {
+            return Result.error(ServiceCodeError.ServiceCodeTooBig, () => `[i:${idx}] Code ${item.codeHash} for service ${serviceId} is too big! ${code.length} bytes vs ${W_C} bytes max.`);
+        }
+        return Result.ok(code);
+    }
+    createRefineExternalities(args) {
+        // TODO [ToDr] Pass all required fetch data
+        const fetchExternalities = FetchExternalities.createForRefine({
+            entropy: undefined,
+            ...args,
+        }, this.chainSpec);
+        const refine = RefineExternalitiesImpl.create();
+        return {
+            fetchExternalities,
+            refine,
+        };
+    }
+}

package/packages/jam/in-core/in-core.test.d.ts

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

package/packages/jam/in-core/in-core.test.d.ts.map

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

package/packages/jam/in-core/in-core.test.js

@@ -0,0 +1,81 @@
+import assert from "node:assert";
+import { before, describe, it } from "node:test";
+import { tryAsCoreIndex, tryAsServiceGas, tryAsServiceId, tryAsTimeSlot } from "#@typeberry/block";
+import { RefineContext } from "#@typeberry/block/refine-context.js";
+import { WorkItem } from "#@typeberry/block/work-item.js";
+import { tryAsWorkItemsCount, WorkPackage } from "#@typeberry/block/work-package.js";
+import { Bytes, BytesBlob } from "#@typeberry/bytes";
+import { Encoder } from "#@typeberry/codec";
+import { asKnownSize, FixedSizeArray } from "#@typeberry/collections";
+import { PvmBackend, tinyChainSpec } from "#@typeberry/config";
+import { InMemoryStates } from "#@typeberry/database";
+import { Blake2b, HASH_SIZE, WithHash } from "#@typeberry/hash";
+import { tryAsU16 } from "#@typeberry/numbers";
+import { testState } from "#@typeberry/state/test.utils.js";
+import { InCore, RefineError } from "./in-core.js";
+let blake2b;
+before(async () => {
+    blake2b = await Blake2b.createHasher();
+});
+function createWorkItem(serviceId = 1) {
+    return WorkItem.create({
+        service: tryAsServiceId(serviceId),
+        codeHash: Bytes.zero(HASH_SIZE).asOpaque(),
+        payload: BytesBlob.empty(),
+        refineGasLimit: tryAsServiceGas(1_000_000),
+        accumulateGasLimit: tryAsServiceGas(1_000_000),
+        importSegments: asKnownSize([]),
+        extrinsic: [],
+        exportCount: tryAsU16(0),
+    });
+}
+function createWorkPackage(anchorHash, stateRoot, lookupAnchorSlot = 0) {
+    return WorkPackage.create({
+        authorization: BytesBlob.empty(),
+        authCodeHost: tryAsServiceId(1),
+        authCodeHash: Bytes.zero(HASH_SIZE).asOpaque(),
+        parametrization: BytesBlob.empty(),
+        context: RefineContext.create({
+            anchor: anchorHash,
+            stateRoot,
+            beefyRoot: Bytes.zero(HASH_SIZE).asOpaque(),
+            lookupAnchor: anchorHash,
+            lookupAnchorSlot: tryAsTimeSlot(lookupAnchorSlot),
+            prerequisites: [],
+        }),
+        items: FixedSizeArray.new([createWorkItem()], tryAsWorkItemsCount(1)),
+    });
+}
+function hashWorkPackage(spec, workPackage) {
+    const workPackageHash = blake2b
+        .hashBytes(Encoder.encodeObject(WorkPackage.Codec, workPackage, spec))
+        .asOpaque();
+    return new WithHash(workPackageHash, workPackage);
+}
+describe("InCore", () => {
+    it("should return StateMissing error when anchor block state is not in DB", async () => {
+        const spec = tinyChainSpec;
+        const states = new InMemoryStates(spec);
+        const inCore = new InCore(spec, states, PvmBackend.BuiltIn, blake2b);
+        const anchorHash = Bytes.fill(HASH_SIZE, 1).asOpaque();
+        const stateRoot = Bytes.zero(HASH_SIZE).asOpaque();
+        const workPackage = createWorkPackage(anchorHash, stateRoot);
+        const result = await inCore.refine(hashWorkPackage(spec, workPackage), tryAsCoreIndex(0), asKnownSize([[]]), asKnownSize([[]]));
+        assert.strictEqual(result.isError, true);
+        assert.strictEqual(result.error, RefineError.StateMissing);
+    });
+    it("should refine work package and produce a report when state is set up", async () => {
+        const spec = tinyChainSpec;
+        const states = new InMemoryStates(spec);
+        const inCore = new InCore(spec, states, PvmBackend.BuiltIn, blake2b);
+        const anchorHash = Bytes.fill(HASH_SIZE, 1).asOpaque();
+        const state = testState();
+        await states.insertInitialState(anchorHash, state);
+        const correctStateRoot = await states.getStateRoot(state);
+        const workPackage = createWorkPackage(anchorHash, correctStateRoot, state.timeslot);
+        const result = await inCore.refine(hashWorkPackage(spec, workPackage), tryAsCoreIndex(0), asKnownSize([[]]), asKnownSize([[]]));
+        assert.strictEqual(result.isOk, true);
+        assert.strictEqual(result.ok.report.coreIndex, 0);
+        assert.strictEqual(result.ok.report.results.length, 1);
+    });
+});

package/packages/jam/in-core/index.d.ts

@@ -0,0 +1,2 @@
+export * from "./in-core.js";
+//# sourceMappingURL=index.d.ts.map

package/packages/jam/in-core/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/in-core/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC"}

package/packages/jam/in-core/index.js

@@ -0,0 +1 @@
+export * from "./in-core.js";

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

@@ -1 +1 @@
-{"version":3,"file":"bless.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/accumulate/bless.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,KAAK,SAAS,EAAmC,MAAM,kBAAkB,CAAC;AAEpG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACpG,OAAO,EAAE,YAAY,EAAsC,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,KAAK,WAAW,EAAiB,MAAM,0BAA0B,CAAC;AAU3E,OAAO,EAAE,KAAK,YAAY,EAAyB,MAAM,mCAAmC,CAAC;AAkB7F;;;;GAIG;AACH,qBAAa,KAAM,YAAW,eAAe;aAQzB,gBAAgB,EAAE,SAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,YAAY;IAC7B,OAAO,CAAC,QAAQ,CAAC,SAAS;IAT5B,KAAK,iIAA0B;IAC/B,YAAY,4HAAqB;IACjC,eAAe,uEAE8B;gBAG3B,gBAAgB,EAAE,SAAS,EAC1B,YAAY,EAAE,YAAY,EAC1B,SAAS,EAAE,SAAS;IAGjC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,GAAG,YAAY,CAAC;CAoFrH"}
+{"version":3,"file":"bless.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/accumulate/bless.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,KAAK,SAAS,EAAmB,MAAM,kBAAkB,CAAC;AAEpF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACpG,OAAO,EAAE,YAAY,EAAsC,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,KAAK,WAAW,EAAiB,MAAM,0BAA0B,CAAC;AAG3E,OAAO,EAAE,KAAK,YAAY,EAAyB,MAAM,mCAAmC,CAAC;AAkB7F;;;;GAIG;AACH,qBAAa,KAAM,YAAW,eAAe;aAMzB,gBAAgB,EAAE,SAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,YAAY;IAC7B,OAAO,CAAC,QAAQ,CAAC,SAAS;IAP5B,KAAK,iIAA0B;IAC/B,YAAY,4HAAqB;IACjC,eAAe,uEAAgD;gBAG7C,gBAAgB,EAAE,SAAS,EAC1B,YAAY,EAAE,YAAY,EAC1B,SAAS,EAAE,SAAS;IAGjC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,GAAG,YAAY,CAAC;CAkFrH"}

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

@@ -1,10 +1,10 @@
-import { tryAsServiceGas, tryAsServiceId } from "#@typeberry/block";
+import { tryAsServiceGas } from "#@typeberry/block";
 import { codec, Decoder, tryAsExactBytes } from "#@typeberry/codec";
 import { tryAsU64 } from "#@typeberry/numbers";
 import { PvmExecution, traceRegisters, tryAsHostCallIndex } from "#@typeberry/pvm-host-calls";
 import { tryAsSmallGas } from "#@typeberry/pvm-interface";
 import { tryAsPerCore } from "#@typeberry/state";
-import { asOpaqueType, assertNever, Compatibility, GpVersion, lazyInspect, safeAllocUint8Array, } from "#@typeberry/utils";
+import { asOpaqueType, assertNever, lazyInspect, safeAllocUint8Array } from "#@typeberry/utils";
 import { UpdatePrivilegesError } from "../externalities/partial-state.js";
 import { HostCallResult } from "../general/results.js";
 import { logger } from "../logger.js";
@@ -25,9 +25,7 @@ export class Bless {
     chainSpec;
     index = tryAsHostCallIndex(14);
     basicGasCost = tryAsSmallGas(10);
-    tracedRegisters = Compatibility.isGreaterOrEqual(GpVersion.V0_7_1)
-        ? traceRegisters(IN_OUT_REG, 8, 9, 10, 11, 12)
-        : traceRegisters(IN_OUT_REG, 8, 9, 10, 11);
+    tracedRegisters = traceRegisters(IN_OUT_REG, 8, 9, 10, 11, 12);
     constructor(currentServiceId, partialState, chainSpec) {
         this.currentServiceId = currentServiceId;
         this.partialState = partialState;
@@ -41,13 +39,11 @@ export class Bless {
         // `v`: manages validator keys
         const delegator = getServiceId(regs.get(9));
         // `r`: manages creation of new services with id within protected range
-        const registrar = Compatibility.isGreaterOrEqual(GpVersion.V0_7_1)
-            ? getServiceId(regs.get(10))
-            : tryAsServiceId(2 ** 32 - 1);
+        const registrar = getServiceId(regs.get(10));
         // `o`: memory offset
-        const sourceStart = Compatibility.isGreaterOrEqual(GpVersion.V0_7_1) ? regs.get(11) : regs.get(10);
+        const sourceStart = regs.get(11);
         // `n`: number of items in the auto-accumulate dictionary
-        const numberOfItems = Compatibility.isGreaterOrEqual(GpVersion.V0_7_1) ? regs.get(12) : regs.get(11);
+        const numberOfItems = regs.get(12);
         /*
          * `z`: array of key-value pairs serviceId -> gas that auto-accumulate every block
          * https://graypaper.fluffylabs.dev/#/7e6ff6a/368100368100?v=0.6.7