@typeberry/lib 0.5.10 → 0.5.11-10b197e

package/packages/jam/database-lmdb/root.js

@@ -2,6 +2,9 @@ import * as lmdb from "lmdb";
 /** A thin abstraction over lmdb database interface. */
 export class LmdbRoot {
     db;
+    static new(dbPath, readOnly = false) {
+        return new LmdbRoot(dbPath, readOnly);
+    }
     constructor(dbPath, readOnly = false) {
         this.db = lmdb.open(dbPath, {
             compression: true,

package/packages/jam/database-lmdb/states.d.ts

@@ -61,7 +61,8 @@ export declare class LmdbStates implements StatesDb<SerializedState<LeafDb>>, In
     private readonly root;
     private readonly states;
     private readonly values;
-    constructor(spec: ChainSpec, blake2b: Blake2b, root: LmdbRoot);
+    static new(spec: ChainSpec, blake2b: Blake2b, root: LmdbRoot): LmdbStates;
+    private constructor();
     insertInitialState(headerHash: HeaderHash, serializedState: StateEntries): Promise<Result<OK, StateUpdateError>>;
     private updateAndCommit;
     updateAndSetState(headerHash: HeaderHash, state: SerializedState<LeafDb>, update: Partial<State & ServicesUpdate>): Promise<Result<OK, StateUpdateError>>;

package/packages/jam/database-lmdb/states.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"states.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/database-lmdb/states.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAGlE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,EAAE,KAAK,QAAQ,EAAE,gBAAgB,EAAe,MAAM,qBAAqB,CAAC;AAC9G,OAAO,KAAK,EAAE,OAAO,EAAiB,MAAM,iBAAiB,CAAC;AAE9D,OAAO,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,KAAK,EAAE,YAAY,EAAY,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAgD,MAAM,gCAAgC,CAAC;AAG/G,OAAO,EAAE,EAAE,EAAE,MAAM,EAAkB,MAAM,kBAAkB,CAAC;AAC9D,OAAO,KAAK,EAAE,QAAQ,EAAS,MAAM,WAAW,CAAC;AAGjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,qBAAa,UAAW,YAAW,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,EAAE,YAAY,CAAC,YAAY,CAAC;IAK5F,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,IAAI;IANvB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAQ;IAC/B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAQ;gBAGZ,IAAI,EAAE,SAAS,EACf,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,QAAQ;IAM3B,kBAAkB,CACtB,UAAU,EAAE,UAAU,EACtB,eAAe,EAAE,YAAY,GAC5B,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YAQ1B,eAAe;IA0BvB,iBAAiB,CACrB,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,eAAe,CAAC,MAAM,CAAC,EAC9B,MAAM,EAAE,OAAO,CAAC,KAAK,GAAG,cAAc,CAAC,GACtC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;IAWlC,YAAY,CAAC,KAAK,EAAE,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC;IAI1E,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,GAAG,IAAI;IAsB1D,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IAI9B,KAAK;CAGZ"}
+{"version":3,"file":"states.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/database-lmdb/states.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAGlE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,EAAE,KAAK,QAAQ,EAAE,gBAAgB,EAAe,MAAM,qBAAqB,CAAC;AAC9G,OAAO,KAAK,EAAE,OAAO,EAAiB,MAAM,iBAAiB,CAAC;AAE9D,OAAO,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,KAAK,EAAE,YAAY,EAAY,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAgD,MAAM,gCAAgC,CAAC;AAG/G,OAAO,EAAE,EAAE,EAAE,MAAM,EAAkB,MAAM,kBAAkB,CAAC;AAC9D,OAAO,KAAK,EAAE,QAAQ,EAAS,MAAM,WAAW,CAAC;AAGjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,qBAAa,UAAW,YAAW,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,EAAE,YAAY,CAAC,YAAY,CAAC;IAS5F,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,IAAI;IAVvB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAQ;IAC/B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAQ;IAE/B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ;IAI5D,OAAO;IASD,kBAAkB,CACtB,UAAU,EAAE,UAAU,EACtB,eAAe,EAAE,YAAY,GAC5B,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YAQ1B,eAAe;IA0BvB,iBAAiB,CACrB,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,eAAe,CAAC,MAAM,CAAC,EAC9B,MAAM,EAAE,OAAO,CAAC,KAAK,GAAG,cAAc,CAAC,GACtC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;IAWlC,YAAY,CAAC,KAAK,EAAE,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC;IAI1E,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,GAAG,IAAI;IAsB1D,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IAI9B,KAAK;CAGZ"}

package/packages/jam/database-lmdb/states.js

@@ -60,6 +60,9 @@ export class LmdbStates {
     root;
     states;
     values;
+    static new(spec, blake2b, root) {
+        return new LmdbStates(spec, blake2b, root);
+    }
     constructor(spec, blake2b, root) {
         this.spec = spec;
         this.blake2b = blake2b;

package/packages/jam/database-lmdb/states.test.js

@@ -37,8 +37,8 @@ describe("LMDB States database", () => {
     const headerHash = Bytes.zero(HASH_SIZE).asOpaque();
     const spec = tinyChainSpec;
     it("should import state and read state", async () => {
-        const root = new LmdbRoot(tmpDir);
-        const states = new LmdbStates(spec, blake2b, root);
+        const root = LmdbRoot.new(tmpDir);
+        const states = LmdbStates.new(spec, blake2b, root);
         try {
             const emptyState = InMemoryState.empty(spec);
             const serialized = StateEntries.serializeInMemory(spec, blake2b, emptyState);
@@ -58,15 +58,15 @@ describe("LMDB States database", () => {
         }
     });
     it("should update the state", async () => {
-        const root = new LmdbRoot(tmpDir);
-        const states = new LmdbStates(spec, blake2b, root);
+        const root = LmdbRoot.new(tmpDir);
+        const states = LmdbStates.new(spec, blake2b, root);
         try {
             const state = InMemoryState.empty(spec);
             await states.insertInitialState(headerHash, StateEntries.serializeInMemory(spec, blake2b, state));
             const newState = states.getState(headerHash);
             assert.ok(newState !== null);
             const headerHash2 = Bytes.fill(HASH_SIZE, 2).asOpaque();
-            const lookupHistory = new LookupHistoryItem(Bytes.fill(HASH_SIZE, 0xff).asOpaque(), tryAsU32(5), tryAsLookupHistorySlots([]));
+            const lookupHistory = LookupHistoryItem.new(Bytes.fill(HASH_SIZE, 0xff).asOpaque(), tryAsU32(5), tryAsLookupHistorySlots([]));
             const stateUpdate = {
                 timeslot: tryAsTimeSlot(15),
                 privilegedServices: PrivilegedServices.create({
@@ -142,8 +142,8 @@ describe("LMDB States database", () => {
         deepEqual(Array.from(set), Array.from(SortedSet.fromArray(leafComparator, Array.from(trie.nodes.leaves()))));
     });
     it("should import more complex state", async () => {
-        const root = new LmdbRoot(tmpDir);
-        const states = new LmdbStates(spec, blake2b, root);
+        const root = LmdbRoot.new(tmpDir);
+        const states = LmdbStates.new(spec, blake2b, root);
         try {
             const initialState = testState();
             const initialService = initialState.services.get(tryAsServiceId(0));
@@ -167,8 +167,8 @@ describe("LMDB States database", () => {
         }
     });
     it("should update more complex entries", async () => {
-        const root = new LmdbRoot(tmpDir);
-        const states = new LmdbStates(spec, blake2b, root);
+        const root = LmdbRoot.new(tmpDir);
+        const states = LmdbStates.new(spec, blake2b, root);
         try {
             const state = testState();
             const initialService = state.services.get(tryAsServiceId(0));

package/packages/jam/executor/index.d.ts

@@ -1,4 +1,4 @@
 export type { ReturnValue } from "#@typeberry/pvm-host-calls";
-export { ReturnStatus } from "#@typeberry/pvm-host-calls";
+export { EcalliTraceLogger, ReturnStatus } from "#@typeberry/pvm-host-calls";
 export * from "./pvm-executor.js";
 //# sourceMappingURL=index.d.ts.map

package/packages/jam/executor/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/executor/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,cAAc,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/executor/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC5E,cAAc,mBAAmB,CAAC"}

package/packages/jam/executor/index.js

@@ -1,2 +1,2 @@
-export { ReturnStatus } from "#@typeberry/pvm-host-calls";
+export { EcalliTraceLogger, ReturnStatus } from "#@typeberry/pvm-host-calls";
 export * from "./pvm-executor.js";

package/packages/jam/executor/pvm-executor.d.ts

@@ -6,13 +6,16 @@ import type { PartialState } from "#@typeberry/jam-host-calls/externalities/part
 import { type RefineExternalities } from "#@typeberry/jam-host-calls/externalities/refine-externalities.js";
 export type RefineHostCallExternalities = {
     refine: RefineExternalities;
-    fetchExternalities: general.IFetchExternalities;
+    fetchExternalities: general.IRefineFetch;
 };
 export type AccumulateHostCallExternalities = {
     partialState: PartialState;
-    fetchExternalities: general.IFetchExternalities;
+    fetchExternalities: general.IAccumulateFetch;
     serviceExternalities: general.AccountsInfo & general.AccountsLookup & general.AccountsWrite & general.AccountsRead;
 };
+export type IsAuthorizedHostCallExternalities = {
+    fetchExternalities: general.IIsAuthorizedFetch;
+};
 type OnTransferHostCallExternalities = {
     partialState: general.AccountsInfo & general.AccountsLookup & general.AccountsWrite & general.AccountsRead;
     fetchExternalities: general.IFetchExternalities;
@@ -31,6 +34,8 @@ export declare class PvmExecutor {
     private static prepareRefineHostCalls;
     /** Prepare accumulation host call handlers */
     private static prepareAccumulateHostCalls;
+    /** Prepare is-authorized host call handlers */
+    private static prepareIsAuthorizedHostCalls;
     /** Prepare on transfer host call handlers */
     private static prepareOnTransferHostCalls;
     /**
@@ -50,6 +55,8 @@ export declare class PvmExecutor {
     }>;
     /** A utility function that can be used to prepare refine executor */
     static createRefineExecutor(serviceId: ServiceId, serviceCode: BytesBlob, externalities: RefineHostCallExternalities, pvm: PvmBackend): Promise<PvmExecutor>;
+    /** A utility function that can be used to prepare is-authorized executor */
+    static createIsAuthorizedExecutor(serviceId: ServiceId, serviceCode: BytesBlob, externalities: IsAuthorizedHostCallExternalities, pvm: PvmBackend): Promise<PvmExecutor>;
     /** A utility function that can be used to prepare accumulate executor */
     static createAccumulateExecutor(serviceId: ServiceId, serviceCode: BytesBlob, externalities: AccumulateHostCallExternalities, chainSpec: ChainSpec, pvm: PvmBackend): Promise<PvmExecutor>;
     /** A utility function that can be used to prepare on transfer executor */

package/packages/jam/executor/pvm-executor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pvm-executor.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/executor/pvm-executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,SAAS,EAAmB,MAAM,kBAAkB,CAAC;AACpF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAc,OAAO,EAAU,MAAM,2BAA2B,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0DAA0D,CAAC;AAC7F,OAAO,EAEL,KAAK,mBAAmB,EAEzB,MAAM,iEAAiE,CAAC;AAuCzE,MAAM,MAAM,2BAA2B,GAAG;IACxC,MAAM,EAAE,mBAAmB,CAAC;IAC5B,kBAAkB,EAAE,OAAO,CAAC,mBAAmB,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,+BAA+B,GAAG;IAC5C,YAAY,EAAE,YAAY,CAAC;IAC3B,kBAAkB,EAAE,OAAO,CAAC,mBAAmB,CAAC;IAChD,oBAAoB,EAAE,OAAO,CAAC,YAAY,GAAG,OAAO,CAAC,cAAc,GAAG,OAAO,CAAC,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;CACpH,CAAC;AAEF,KAAK,+BAA+B,GAAG;IACrC,YAAY,EAAE,OAAO,CAAC,YAAY,GAAG,OAAO,CAAC,cAAc,GAAG,OAAO,CAAC,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IAC3G,kBAAkB,EAAE,OAAO,CAAC,mBAAmB,CAAC;CACjD,CAAC;AAUF;;GAEG;AACH,qBAAa,WAAW;IAKpB,OAAO,CAAC,WAAW;IAEnB,OAAO,CAAC,UAAU;IANpB,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAoB;IACxC,OAAO,CAAC,SAAS,CAAY;IAE7B,OAAO;mBAac,cAAc;IAInC,wCAAwC;IACxC,OAAO,CAAC,MAAM,CAAC,sBAAsB;IAerC,8CAA8C;IAC9C,OAAO,CAAC,MAAM,CAAC,0BAA0B;IAuBzC,6CAA6C;IAC7C,OAAO,CAAC,MAAM,CAAC,0BAA0B;IAazC;;;;;;OAMG;IACG,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU;;;;;;;;IAQ1C,qEAAqE;WACxD,oBAAoB,CAC/B,SAAS,EAAE,SAAS,EACpB,WAAW,EAAE,SAAS,EACtB,aAAa,EAAE,2BAA2B,EAC1C,GAAG,EAAE,UAAU;IAOjB,yEAAyE;WAC5D,wBAAwB,CACnC,SAAS,EAAE,SAAS,EACpB,WAAW,EAAE,SAAS,EACtB,aAAa,EAAE,+BAA+B,EAC9C,SAAS,EAAE,SAAS,EACpB,GAAG,EAAE,UAAU;IAQjB,0EAA0E;WAC7D,wBAAwB,CACnC,SAAS,EAAE,SAAS,EACpB,WAAW,EAAE,SAAS,EACtB,aAAa,EAAE,+BAA+B,EAC9C,GAAG,EAAE,UAAU;CAMlB"}
+{"version":3,"file":"pvm-executor.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/executor/pvm-executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,SAAS,EAAmB,MAAM,kBAAkB,CAAC;AACpF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAc,OAAO,EAAU,MAAM,2BAA2B,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0DAA0D,CAAC;AAC7F,OAAO,EAEL,KAAK,mBAAmB,EAEzB,MAAM,iEAAiE,CAAC;AAuCzE,MAAM,MAAM,2BAA2B,GAAG;IACxC,MAAM,EAAE,mBAAmB,CAAC;IAC5B,kBAAkB,EAAE,OAAO,CAAC,YAAY,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,+BAA+B,GAAG;IAC5C,YAAY,EAAE,YAAY,CAAC;IAC3B,kBAAkB,EAAE,OAAO,CAAC,gBAAgB,CAAC;IAC7C,oBAAoB,EAAE,OAAO,CAAC,YAAY,GAAG,OAAO,CAAC,cAAc,GAAG,OAAO,CAAC,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;CACpH,CAAC;AAEF,MAAM,MAAM,iCAAiC,GAAG;IAC9C,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,CAAC;CAChD,CAAC;AAEF,KAAK,+BAA+B,GAAG;IACrC,YAAY,EAAE,OAAO,CAAC,YAAY,GAAG,OAAO,CAAC,cAAc,GAAG,OAAO,CAAC,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IAC3G,kBAAkB,EAAE,OAAO,CAAC,mBAAmB,CAAC;CACjD,CAAC;AAUF;;GAEG;AACH,qBAAa,WAAW;IAKpB,OAAO,CAAC,WAAW;IAEnB,OAAO,CAAC,UAAU;IANpB,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAoB;IACxC,OAAO,CAAC,SAAS,CAAY;IAE7B,OAAO;mBAac,cAAc;IAInC,wCAAwC;IACxC,OAAO,CAAC,MAAM,CAAC,sBAAsB;IAerC,8CAA8C;IAC9C,OAAO,CAAC,MAAM,CAAC,0BAA0B;IAuBzC,+CAA+C;IAC/C,OAAO,CAAC,MAAM,CAAC,4BAA4B;IAU3C,6CAA6C;IAC7C,OAAO,CAAC,MAAM,CAAC,0BAA0B;IAazC;;;;;;OAMG;IACG,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU;;;;;;;;IAQ1C,qEAAqE;WACxD,oBAAoB,CAC/B,SAAS,EAAE,SAAS,EACpB,WAAW,EAAE,SAAS,EACtB,aAAa,EAAE,2BAA2B,EAC1C,GAAG,EAAE,UAAU;IAOjB,4EAA4E;WAC/D,0BAA0B,CACrC,SAAS,EAAE,SAAS,EACpB,WAAW,EAAE,SAAS,EACtB,aAAa,EAAE,iCAAiC,EAChD,GAAG,EAAE,UAAU;IAOjB,yEAAyE;WAC5D,wBAAwB,CACnC,SAAS,EAAE,SAAS,EACpB,WAAW,EAAE,SAAS,EACtB,aAAa,EAAE,+BAA+B,EAC9C,SAAS,EAAE,SAAS,EACpB,GAAG,EAAE,UAAU;IAQjB,0EAA0E;WAC7D,wBAAwB,CACnC,SAAS,EAAE,SAAS,EACpB,WAAW,EAAE,SAAS,EACtB,aAAa,EAAE,+BAA+B,EAC9C,GAAG,EAAE,UAAU;CAMlB"}

package/packages/jam/executor/pvm-executor.js

@@ -55,51 +55,60 @@ export class PvmExecutor {
     constructor(serviceCode, hostCallHandlers, entrypoint, pvmInstanceManager) {
         this.serviceCode = serviceCode;
         this.entrypoint = entrypoint;
-        this.hostCalls = new HostCalls({
+        this.hostCalls = HostCalls.new({
             missing: new general.Missing(),
             handlers: hostCallHandlers,
         });
-        this.pvm = new HostCallsExecutor(pvmInstanceManager, this.hostCalls);
+        this.pvm = HostCallsExecutor.new(pvmInstanceManager, this.hostCalls);
     }
     static async prepareBackend(pvm) {
         return PvmInstanceManager.new(pvm);
     }
     /** Prepare refine host call handlers */
     static prepareRefineHostCalls(serviceId, externalities) {
-        const refineHandlers = REFINE_HOST_CALL_CLASSES.map((HandlerClass) => new HandlerClass(externalities.refine));
+        const refineHandlers = REFINE_HOST_CALL_CLASSES.map((HandlerClass) => HandlerClass.new(externalities.refine));
         /** https://graypaper.fluffylabs.dev/#/ab2cdbd/2fa7022fa702?v=0.7.2 */
         const generalHandlers = [
-            new general.LogHostCall(serviceId),
-            new general.GasHostCall(serviceId),
-            new general.Fetch(serviceId, externalities.fetchExternalities),
+            general.LogHostCall.new(serviceId),
+            general.GasHostCall.new(serviceId),
+            general.Fetch.new(serviceId, externalities.fetchExternalities),
         ];
         return refineHandlers.concat(generalHandlers);
     }
     /** Prepare accumulation host call handlers */
     static prepareAccumulateHostCalls(serviceId, externalities, chainSpec) {
-        const accumulateHandlers = ACCUMULATE_HOST_CALL_CLASSES.map((HandlerClass) => new HandlerClass(serviceId, externalities.partialState, chainSpec));
+        const accumulateHandlers = ACCUMULATE_HOST_CALL_CLASSES.map((HandlerClass) => HandlerClass.new(serviceId, externalities.partialState, chainSpec));
         /** https://graypaper.fluffylabs.dev/#/ab2cdbd/30d00130d001?v=0.7.2 */
         const generalHandlers = [
-            new general.LogHostCall(serviceId),
-            new general.GasHostCall(serviceId),
-            new general.Read(serviceId, externalities.serviceExternalities),
-            new general.Write(serviceId, externalities.serviceExternalities),
-            new general.Fetch(serviceId, externalities.fetchExternalities),
-            new general.Lookup(serviceId, externalities.serviceExternalities),
-            new general.Info(serviceId, externalities.serviceExternalities),
+            general.LogHostCall.new(serviceId),
+            general.GasHostCall.new(serviceId),
+            general.Read.new(serviceId, externalities.serviceExternalities),
+            general.Write.new(serviceId, externalities.serviceExternalities),
+            general.Fetch.new(serviceId, externalities.fetchExternalities),
+            general.Lookup.new(serviceId, externalities.serviceExternalities),
+            general.Info.new(serviceId, externalities.serviceExternalities),
         ];
         return accumulateHandlers.concat(generalHandlers);
     }
+    /** Prepare is-authorized host call handlers */
+    static prepareIsAuthorizedHostCalls(serviceId, externalities) {
+        const generalHandlers = [
+            general.LogHostCall.new(serviceId),
+            general.GasHostCall.new(serviceId),
+            general.Fetch.new(serviceId, externalities.fetchExternalities),
+        ];
+        return generalHandlers;
+    }
     /** Prepare on transfer host call handlers */
     static prepareOnTransferHostCalls(serviceId, externalities) {
         const generalHandlers = [
-            new general.LogHostCall(serviceId),
-            new general.GasHostCall(serviceId),
-            new general.Fetch(serviceId, externalities.fetchExternalities),
-            new general.Read(serviceId, externalities.partialState),
-            new general.Write(serviceId, externalities.partialState),
-            new general.Lookup(serviceId, externalities.partialState),
-            new general.Info(serviceId, externalities.partialState),
+            general.LogHostCall.new(serviceId),
+            general.GasHostCall.new(serviceId),
+            general.Fetch.new(serviceId, externalities.fetchExternalities),
+            general.Read.new(serviceId, externalities.partialState),
+            general.Write.new(serviceId, externalities.partialState),
+            general.Lookup.new(serviceId, externalities.partialState),
+            general.Info.new(serviceId, externalities.partialState),
         ];
         return generalHandlers;
     }
@@ -123,6 +132,12 @@ export class PvmExecutor {
         const instances = await PvmExecutor.prepareBackend(pvm);
         return new PvmExecutor(serviceCode, hostCallHandlers, entrypoint.REFINE, instances);
     }
+    /** A utility function that can be used to prepare is-authorized executor */
+    static async createIsAuthorizedExecutor(serviceId, serviceCode, externalities, pvm) {
+        const hostCallHandlers = PvmExecutor.prepareIsAuthorizedHostCalls(serviceId, externalities);
+        const instances = await PvmExecutor.prepareBackend(pvm);
+        return new PvmExecutor(serviceCode, hostCallHandlers, entrypoint.IS_AUTHORIZED, instances);
+    }
     /** A utility function that can be used to prepare accumulate executor */
     static async createAccumulateExecutor(serviceId, serviceCode, externalities, chainSpec, pvm) {
         const hostCallHandlers = PvmExecutor.prepareAccumulateHostCalls(serviceId, externalities, chainSpec);

package/packages/jam/fuzz-proto/v1/handler.d.ts

@@ -31,7 +31,8 @@ export declare class FuzzTarget implements IpcHandler {
     readonly sender: IpcSender;
     readonly spec: ChainSpec;
     private sessionFeatures;
-    constructor(msgHandler: FuzzMessageHandler, sender: IpcSender, spec: ChainSpec);
+    static new(msgHandler: FuzzMessageHandler, sender: IpcSender, spec: ChainSpec): FuzzTarget;
+    private constructor();
     onSocketMessage(msg: Uint8Array): Promise<void>;
     private processAndRespond;
     onClose({ error }: {

package/packages/jam/fuzz-proto/v1/handler.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"handler.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/fuzz-proto/v1/handler.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAE7E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAe,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC1D,OAAO,EACL,YAAY,EAEZ,KAAK,UAAU,EACf,KAAK,QAAQ,EAKb,KAAK,QAAQ,EACd,MAAM,YAAY,CAAC;AAIpB;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,WAAW,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEhD;;;OAGG;IACH,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAEvD;;;OAGG;IACH,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC;IAE5E,gEAAgE;IAChE,kBAAkB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;CAC5D;AAED,qBAAa,UAAW,YAAW,UAAU;aAIzB,UAAU,EAAE,kBAAkB;aAC9B,MAAM,EAAE,SAAS;aACjB,IAAI,EAAE,SAAS;IALjC,OAAO,CAAC,eAAe,CAAK;gBAGV,UAAU,EAAE,kBAAkB,EAC9B,MAAM,EAAE,SAAS,EACjB,IAAI,EAAE,SAAS;IAG3B,eAAe,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;YAiBvC,iBAAiB;IA2H/B,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE;QAAE,KAAK,CAAC,EAAE,KAAK,CAAA;KAAE,GAAG,IAAI;IAI3C,4DAA4D;IAC5D,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;CAGrC"}
+{"version":3,"file":"handler.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/fuzz-proto/v1/handler.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAE7E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAe,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC1D,OAAO,EACL,YAAY,EAEZ,KAAK,UAAU,EACf,KAAK,QAAQ,EAKb,KAAK,QAAQ,EACd,MAAM,YAAY,CAAC;AAIpB;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,WAAW,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEhD;;;OAGG;IACH,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAEvD;;;OAGG;IACH,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC;IAE5E,gEAAgE;IAChE,kBAAkB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;CAC5D;AAED,qBAAa,UAAW,YAAW,UAAU;aAQzB,UAAU,EAAE,kBAAkB;aAC9B,MAAM,EAAE,SAAS;aACjB,IAAI,EAAE,SAAS;IATjC,OAAO,CAAC,eAAe,CAAK;IAE5B,MAAM,CAAC,GAAG,CAAC,UAAU,EAAE,kBAAkB,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS;IAI7E,OAAO;IAMD,eAAe,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;YAiBvC,iBAAiB;IA2H/B,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE;QAAE,KAAK,CAAC,EAAE,KAAK,CAAA;KAAE,GAAG,IAAI;IAI3C,4DAA4D;IAC5D,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;CAGrC"}

package/packages/jam/fuzz-proto/v1/handler.js

@@ -8,6 +8,9 @@ export class FuzzTarget {
     sender;
     spec;
     sessionFeatures = 0;
+    static new(msgHandler, sender, spec) {
+        return new FuzzTarget(msgHandler, sender, spec);
+    }
     constructor(msgHandler, sender, spec) {
         this.msgHandler = msgHandler;
         this.sender = sender;

package/packages/jam/fuzz-proto/v1/handler.test.js

@@ -70,7 +70,7 @@ describe("FuzzV1Target Handler", () => {
                 value: responsePeerInfo,
             };
             mockMessageHandler.getPeerInfo.mock.mockImplementation(async () => responsePeerInfo);
-            const fuzzTarget = new FuzzTarget(mockMessageHandler, mockSender, spec);
+            const fuzzTarget = FuzzTarget.new(mockMessageHandler, mockSender, spec);
             const testMessage = encode(incomingMessage);
             await fuzzTarget.onSocketMessage(testMessage);
             // Verify handshake completion and feature negotiation
@@ -116,7 +116,7 @@ describe("FuzzV1Target Handler", () => {
                 value: expectedStateRoot,
             };
             mockMessageHandler.initialize.mock.mockImplementation(async () => expectedStateRoot);
-            const fuzzTarget = new FuzzTarget(mockMessageHandler, mockSender, spec);
+            const fuzzTarget = FuzzTarget.new(mockMessageHandler, mockSender, spec);
             await completeHandshake(mockMessageHandler, mockSender, fuzzTarget);
             mockSender._sentData = []; // Clear handshake response
             const testMessage = encode(incomingMessage);
@@ -144,7 +144,7 @@ describe("FuzzV1Target Handler", () => {
                 value: expectedStateRoot,
             };
             mockMessageHandler.importBlock.mock.mockImplementation(async () => Result.ok(expectedStateRoot));
-            const fuzzTarget = new FuzzTarget(mockMessageHandler, mockSender, spec);
+            const fuzzTarget = FuzzTarget.new(mockMessageHandler, mockSender, spec);
             await completeHandshake(mockMessageHandler, mockSender, fuzzTarget);
             mockSender._sentData = []; // Clear handshake response
             const testMessage = encode(incomingMessage);
@@ -169,7 +169,7 @@ describe("FuzzV1Target Handler", () => {
                 value: expectedError,
             };
             mockMessageHandler.importBlock.mock.mockImplementation(async () => Result.error(expectedError, () => "Test: ImportBlock error"));
-            const fuzzTarget = new FuzzTarget(mockMessageHandler, mockSender, spec);
+            const fuzzTarget = FuzzTarget.new(mockMessageHandler, mockSender, spec);
             await completeHandshake(mockMessageHandler, mockSender, fuzzTarget);
             mockSender._sentData = []; // Clear handshake response
             const testMessage = encode(incomingMessage);
@@ -205,7 +205,7 @@ describe("FuzzV1Target Handler", () => {
                 value: keyValues,
             };
             mockMessageHandler.getSerializedState.mock.mockImplementation(async () => keyValues);
-            const fuzzTarget = new FuzzTarget(mockMessageHandler, mockSender, spec);
+            const fuzzTarget = FuzzTarget.new(mockMessageHandler, mockSender, spec);
             await completeHandshake(mockMessageHandler, mockSender, fuzzTarget);
             mockSender._sentData = []; // Clear handshake response
             const testMessage = encode(incomingMessage);
@@ -227,7 +227,7 @@ describe("FuzzV1Target Handler", () => {
                 type: MessageType.StateRoot,
                 value: stateRoot,
             };
-            const fuzzTarget = new FuzzTarget(mockMessageHandler, mockSender, spec);
+            const fuzzTarget = FuzzTarget.new(mockMessageHandler, mockSender, spec);
             await completeHandshake(mockMessageHandler, mockSender, fuzzTarget);
             mockSender._sentData = []; // Clear handshake response
             const testMessage = encode(incomingMessage);
@@ -248,7 +248,7 @@ describe("FuzzV1Target Handler", () => {
                 type: MessageType.State,
                 value: keyValues,
             };
-            const fuzzTarget = new FuzzTarget(mockMessageHandler, mockSender, spec);
+            const fuzzTarget = FuzzTarget.new(mockMessageHandler, mockSender, spec);
             await completeHandshake(mockMessageHandler, mockSender, fuzzTarget);
             mockSender._sentData = []; // Clear handshake response
             const testMessage = encode(incomingMessage);
@@ -264,7 +264,7 @@ describe("FuzzV1Target Handler", () => {
                 type: MessageType.Error,
                 value: error,
             };
-            const fuzzTarget = new FuzzTarget(mockMessageHandler, mockSender, spec);
+            const fuzzTarget = FuzzTarget.new(mockMessageHandler, mockSender, spec);
             await completeHandshake(mockMessageHandler, mockSender, fuzzTarget);
             mockSender._sentData = []; // Clear handshake response
             const testMessage = encode(incomingMessage);
@@ -277,7 +277,7 @@ describe("FuzzV1Target Handler", () => {
         it("should handle decoding error gracefully", async () => {
             const mockMessageHandler = new MockV1MessageHandler();
             const mockSender = new MockSender();
-            const fuzzTarget = new FuzzTarget(mockMessageHandler, mockSender, spec);
+            const fuzzTarget = FuzzTarget.new(mockMessageHandler, mockSender, spec);
             // Create malformed message with valid length prefix but invalid data
             const malformedMessage = new Uint8Array(8);
             const dataView = new DataView(malformedMessage.buffer);
@@ -300,7 +300,7 @@ describe("FuzzV1Target Handler", () => {
         return Decoder.decodeObject(messageCodec, data, spec);
     }
     async function completeHandshake(mockMessageHandler, mockSender, fuzzTarget) {
-        const target = fuzzTarget ?? new FuzzTarget(mockMessageHandler, mockSender, spec);
+        const target = fuzzTarget ?? FuzzTarget.new(mockMessageHandler, mockSender, spec);
         const inputPeerInfo = PeerInfo.create({
             fuzzVersion: tryAsU8(1),
             features: tryAsU32(Features.Ancestry),

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

@@ -1,11 +1,12 @@
 import { type Segment, type SegmentIndex, type ServiceId } from "#@typeberry/block";
 import type { BytesBlob } from "#@typeberry/bytes";
+import type { PvmBackend } from "#@typeberry/config";
 import type { Blake2bHash } from "#@typeberry/hash";
-import { type MachineId, type MachineResult, type MemoryOperation, type NoMachineError, type PagesError, type PeekPokeError, type ProgramCounter, type RefineExternalities, SegmentExportError, type ZeroVoidError } from "#@typeberry/jam-host-calls";
-import type { U64 } from "#@typeberry/numbers";
-import type { HostCallMemory, HostCallRegisters } from "#@typeberry/pvm-host-calls";
-import type { BigGas } from "#@typeberry/pvm-interface";
-import type { ProgramDecoderError } from "#@typeberry/pvm-interpreter";
+import { type MachineId, type MachineResult, type MemoryOperation, NoMachineError, type PagesError, type PeekPokeError, type ProgramCounter, type RefineExternalities, SegmentExportError, type ZeroVoidError } from "#@typeberry/jam-host-calls";
+import { type U64 } from "#@typeberry/numbers";
+import { type HostCallMemory, HostCallRegisters } from "#@typeberry/pvm-host-calls";
+import { type BigGas } from "#@typeberry/pvm-interface";
+import { type ProgramDecoderError } from "#@typeberry/pvm-interpreter";
 import type { State } from "#@typeberry/state";
 import { type OK, Result } from "#@typeberry/utils";
 /**
@@ -18,8 +19,15 @@ export type RefineExternalitiesParams = {
     lookupState: State;
     /** Export offset -- sum of exports from prior work items in this package. */
     exportOffset: number;
+    /**
+     * PVM backend to use for creating inner PVM instances.
+     * NIT: Could accept PVMInstanceManager
+     */
+    pvmBackend: PvmBackend;
 };
 export declare class RefineExternalitiesImpl implements RefineExternalities {
+    /** Inner PVM instances sorted by MachineId. */
+    private machines;
     /** Service being refined (used as default for historicalLookup). */
     private readonly currentServiceId;
     /** State at the lookup anchor for preimage lookups. */
@@ -28,17 +36,19 @@ export declare class RefineExternalitiesImpl implements RefineExternalities {
     private readonly exportedSegments;
     /** Offset for segment indexing (sum of exports from prior items). */
     private readonly exportOffset;
+    /** PVM backend for creating inner machines. */
+    private readonly pvmBackend;
     static create(params: RefineExternalitiesParams): RefineExternalitiesImpl;
     private constructor();
     getExportedSegments(): readonly Segment[];
-    machineExpunge(_machineIndex: MachineId): Promise<Result<ProgramCounter, NoMachineError>>;
+    machineExpunge(machineIndex: MachineId): Promise<Result<ProgramCounter, NoMachineError>>;
     machinePages(_machineIndex: MachineId, _pageStart: U64, _pageCount: U64, _requestType: MemoryOperation | null): Promise<Result<OK, PagesError>>;
     machineVoidPages(_machineIndex: MachineId, _pageStart: U64, _pageCount: U64): Promise<Result<OK, ZeroVoidError>>;
     machineZeroPages(_machineIndex: MachineId, _pageStart: U64, _pageCount: U64): Promise<Result<OK, ZeroVoidError>>;
     machinePeekFrom(_machineIndex: MachineId, _destinationStart: U64, _sourceStart: U64, _length: U64, _destination: HostCallMemory): Promise<Result<OK, PeekPokeError>>;
     machinePokeInto(_machineIndex: MachineId, _sourceStart: U64, _destinationStart: U64, _length: U64, _source: HostCallMemory): Promise<Result<OK, PeekPokeError>>;
-    machineInit(_code: BytesBlob, _programCounter: ProgramCounter): Promise<Result<MachineId, ProgramDecoderError>>;
-    machineInvoke(_machineIndex: MachineId, _gas: BigGas, _registers: HostCallRegisters): Promise<Result<MachineResult, NoMachineError>>;
+    machineInit(code: BytesBlob, programCounter: ProgramCounter): Promise<Result<MachineId, ProgramDecoderError>>;
+    machineInvoke(machineIndex: MachineId, gas: BigGas, registers: HostCallRegisters): Promise<Result<MachineResult, NoMachineError>>;
     exportSegment(segment: Segment): Result<SegmentIndex, SegmentExportError>;
     historicalLookup(serviceId: ServiceId | null, hash: Blake2bHash): Promise<BytesBlob | null>;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"refine.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/in-core/externalities/refine.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,OAAO,EACZ,KAAK,YAAY,EACjB,KAAK,SAAS,EAEf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EACL,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,mBAAmB,EACxB,kBAAkB,EAClB,KAAK,aAAa,EACnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAEnD;;GAEG;AACH,MAAM,MAAM,yBAAyB,GAAG;IACtC,2CAA2C;IAC3C,gBAAgB,EAAE,SAAS,CAAC;IAC5B,8EAA8E;IAC9E,WAAW,EAAE,KAAK,CAAC;IACnB,6EAA6E;IAC7E,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,qBAAa,uBAAwB,YAAW,mBAAmB;IACjE,oEAAoE;IACpE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAY;IAC7C,uDAAuD;IACvD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAQ;IACpC,6DAA6D;IAC7D,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAiB;IAClD,qEAAqE;IACrE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IAEtC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,yBAAyB;IAI/C,OAAO;IAMP,mBAAmB,IAAI,SAAS,OAAO,EAAE;IAIzC,cAAc,CAAC,aAAa,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;IAIzF,YAAY,CACV,aAAa,EAAE,SAAS,EACxB,UAAU,EAAE,GAAG,EACf,UAAU,EAAE,GAAG,EACf,YAAY,EAAE,eAAe,GAAG,IAAI,GACnC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IAIlC,gBAAgB,CAAC,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAIhH,gBAAgB,CAAC,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAIhH,eAAe,CACb,aAAa,EAAE,SAAS,EACxB,iBAAiB,EAAE,GAAG,EACtB,YAAY,EAAE,GAAG,EACjB,OAAO,EAAE,GAAG,EACZ,YAAY,EAAE,cAAc,GAC3B,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAIrC,eAAe,CACb,aAAa,EAAE,SAAS,EACxB,YAAY,EAAE,GAAG,EACjB,iBAAiB,EAAE,GAAG,EACtB,OAAO,EAAE,GAAG,EACZ,OAAO,EAAE,cAAc,GACtB,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAIrC,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;IAI/G,aAAa,CACX,aAAa,EAAE,SAAS,EACxB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,iBAAiB,GAC5B,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;IAIjD,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAAC,YAAY,EAAE,kBAAkB,CAAC;IAezE,gBAAgB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC;CAW5F"}
+{"version":3,"file":"refine.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/in-core/externalities/refine.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,OAAO,EACZ,KAAK,YAAY,EACjB,KAAK,SAAS,EAEf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EACL,KAAK,SAAS,EACd,KAAK,aAAa,EAElB,KAAK,eAAe,EACpB,cAAc,EACd,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,mBAAmB,EACxB,kBAAkB,EAGlB,KAAK,aAAa,EACnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAY,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAExD,OAAO,EAAE,KAAK,cAAc,EAAE,iBAAiB,EAAsB,MAAM,2BAA2B,CAAC;AACvG,OAAO,EAAE,KAAK,MAAM,EAAuD,MAAM,0BAA0B,CAAC;AAC5G,OAAO,EAAkB,KAAK,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAiBnD;;GAEG;AACH,MAAM,MAAM,yBAAyB,GAAG;IACtC,2CAA2C;IAC3C,gBAAgB,EAAE,SAAS,CAAC;IAC5B,8EAA8E;IAC9E,WAAW,EAAE,KAAK,CAAC;IACnB,6EAA6E;IAC7E,YAAY,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;AAEF,qBAAa,uBAAwB,YAAW,mBAAmB;IACjE,+CAA+C;IAC/C,OAAO,CAAC,QAAQ,CAA6E;IAC7F,oEAAoE;IACpE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAY;IAC7C,uDAAuD;IACvD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAQ;IACpC,6DAA6D;IAC7D,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAiB;IAClD,qEAAqE;IACrE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IACtC,+CAA+C;IAC/C,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAa;IAExC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,yBAAyB;IAI/C,OAAO;IAOP,mBAAmB,IAAI,SAAS,OAAO,EAAE;IAIzC,cAAc,CAAC,YAAY,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;IAWxF,YAAY,CACV,aAAa,EAAE,SAAS,EACxB,UAAU,EAAE,GAAG,EACf,UAAU,EAAE,GAAG,EACf,YAAY,EAAE,eAAe,GAAG,IAAI,GACnC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IAIlC,gBAAgB,CAAC,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAIhH,gBAAgB,CAAC,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAIhH,eAAe,CACb,aAAa,EAAE,SAAS,EACxB,iBAAiB,EAAE,GAAG,EACtB,YAAY,EAAE,GAAG,EACjB,OAAO,EAAE,GAAG,EACZ,YAAY,EAAE,cAAc,GAC3B,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAIrC,eAAe,CACb,aAAa,EAAE,SAAS,EACxB,YAAY,EAAE,GAAG,EACjB,iBAAiB,EAAE,GAAG,EACtB,OAAO,EAAE,GAAG,EACZ,OAAO,EAAE,cAAc,GACtB,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAI/B,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;IAgCnH,aAAa,CACX,YAAY,EAAE,SAAS,EACvB,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,iBAAiB,GAC3B,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;IAiCjD,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAAC,YAAY,EAAE,kBAAkB,CAAC;IAezE,gBAAgB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC;CAW5F"}

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

@@ -1,7 +1,26 @@
 import { MAX_NUMBER_OF_EXPORTS_WP, tryAsSegmentIndex, } from "#@typeberry/block";
-import { SegmentExportError, } from "#@typeberry/jam-host-calls";
+import { SortedArray } from "#@typeberry/collections";
+import { NoMachineError, SegmentExportError, tryAsMachineId, tryAsProgramCounter, } from "#@typeberry/jam-host-calls";
+import { tryAsU64 } from "#@typeberry/numbers";
+import { Ordering } from "#@typeberry/ordering";
+import { HostCallRegisters, PvmInstanceManager } from "#@typeberry/pvm-host-calls";
+import { Status, tryAsBigGas, tryAsGas } from "#@typeberry/pvm-interface";
+import { ProgramDecoder } from "#@typeberry/pvm-interpreter";
 import { Result } from "#@typeberry/utils";
+/** Used when searching by MachineId only — the comparator ignores this field. */
+const NULL_INTERPRETER = undefined;
+const machineComparator = (a, b) => {
+    if (a[0] < b[0]) {
+        return Ordering.Less;
+    }
+    if (a[0] > b[0]) {
+        return Ordering.Greater;
+    }
+    return Ordering.Equal;
+};
 export class RefineExternalitiesImpl {
+    /** Inner PVM instances sorted by MachineId. */
+    machines = SortedArray.fromSortedArray(machineComparator);
     /** Service being refined (used as default for historicalLookup). */
     currentServiceId;
     /** State at the lookup anchor for preimage lookups. */
@@ -10,6 +29,8 @@ export class RefineExternalitiesImpl {
     exportedSegments = [];
     /** Offset for segment indexing (sum of exports from prior items). */
     exportOffset;
+    /** PVM backend for creating inner machines. */
+    pvmBackend;
     static create(params) {
         return new RefineExternalitiesImpl(params);
     }
@@ -17,12 +38,20 @@ export class RefineExternalitiesImpl {
         this.currentServiceId = params.currentServiceId;
         this.lookupState = params.lookupState;
         this.exportOffset = params.exportOffset;
+        this.pvmBackend = params.pvmBackend;
     }
     getExportedSegments() {
         return this.exportedSegments;
     }
-    machineExpunge(_machineIndex) {
-        throw new Error("Method not implemented.");
+    machineExpunge(machineIndex) {
+        // We just care about machineIndex
+        const entry = this.machines.findExact([machineIndex, NULL_INTERPRETER]);
+        if (entry === undefined) {
+            return Promise.resolve(Result.error(NoMachineError, () => `Machine not found (id: ${machineIndex})`));
+        }
+        const pc = tryAsProgramCounter(entry[1].getPC());
+        this.machines.removeOne(entry);
+        return Promise.resolve(Result.ok(pc));
     }
     machinePages(_machineIndex, _pageStart, _pageCount, _requestType) {
         throw new Error("Method not implemented.");
@@ -39,11 +68,61 @@ export class RefineExternalitiesImpl {
     machinePokeInto(_machineIndex, _sourceStart, _destinationStart, _length, _source) {
         throw new Error("Method not implemented.");
     }
-    machineInit(_code, _programCounter) {
-        throw new Error("Method not implemented.");
+    async machineInit(code, programCounter) {
+        // https://graypaper.fluffylabs.dev/#/ab2cdbd/346400346400?v=0.7.2
+        const deblobResult = ProgramDecoder.deblob(code.raw);
+        if (deblobResult.isError) {
+            return Result.error(deblobResult.error, deblobResult.details);
+        }
+        const manager = await PvmInstanceManager.new(this.pvmBackend);
+        const innerPvm = await manager.getInstance();
+        innerPvm.resetGeneric(code.raw, Number(programCounter), tryAsGas(0));
+        // https://graypaper.fluffylabs.dev/#/ab2cdbd/348c00348c00?v=0.7.2
+        // Binary search for the minimal free MachineId
+        const arr = this.machines.array;
+        let low = 0;
+        let high = arr.length;
+        while (low < high) {
+            const mid = (low + high) >> 1;
+            if (arr[mid][0] > BigInt(mid)) {
+                high = mid;
+            }
+            else {
+                low = mid + 1;
+            }
+        }
+        const machineId = tryAsMachineId(low);
+        // https://graypaper.fluffylabs.dev/#/ab2cdbd/340501340b01?v=0.7.2
+        this.machines.insert([machineId, innerPvm]);
+        return Result.ok(machineId);
     }
-    machineInvoke(_machineIndex, _gas, _registers) {
-        throw new Error("Method not implemented.");
+    machineInvoke(machineIndex, gas, registers) {
+        const entry = this.machines.findExact([machineIndex, NULL_INTERPRETER]);
+        if (entry === undefined) {
+            return Promise.resolve(Result.error(NoMachineError, () => `Machine not found (id: ${machineIndex})`));
+        }
+        const innerPvm = entry[1];
+        // Prepare inner PVM
+        innerPvm.registers.setAllEncoded(registers.getEncoded());
+        innerPvm.gas.set(gas);
+        // Execute program
+        innerPvm.runProgram();
+        // Status
+        const status = innerPvm.getStatus();
+        const exitParam = innerPvm.getExitParam() ?? 0;
+        const remainingGas = tryAsBigGas(innerPvm.gas.get());
+        const outRegisters = HostCallRegisters.fromRaw(new Uint8Array(innerPvm.registers.getAllEncoded()));
+        let machineStatus;
+        if (status === Status.HOST) {
+            machineStatus = { status, hostCallIndex: tryAsU64(exitParam) };
+        }
+        else if (status === Status.FAULT) {
+            machineStatus = { status, address: tryAsU64(exitParam) };
+        }
+        else {
+            machineStatus = { status };
+        }
+        return Promise.resolve(Result.ok({ result: machineStatus, gas: remainingGas, registers: outRegisters }));
     }
     exportSegment(segment) {
         // https://graypaper.fluffylabs.dev/#/ab2cdbd/335d03335d03?v=0.7.2