@typeberry/lib 0.5.10-cf84e93 → 0.5.10-ec38e0b

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typeberry/lib",
-  "version": "0.5.10-cf84e93",
+  "version": "0.5.10-ec38e0b",
   "description": "Typeberry Library",
   "main": "./bin/lib/index.js",
   "types": "./bin/lib/index.d.ts",

package/packages/core/pvm-interface/pvm.d.ts

@@ -12,6 +12,8 @@ export interface IPvmInterpreter {
     readonly memory: IMemory;
     /** Prepare SPI program to be executed. */
     resetJam(program: Uint8Array, args: Uint8Array, pc: number, gas: Gas): void;
+    /** Prepare a generic (non-SPI) program to be executed. */
+    resetGeneric(rawProgram: Uint8Array, pc: number, gas: Gas): void;
     /** Execute loaded program. */
     runProgram(): void;
     /** Get current Status. */

package/packages/core/pvm-interface/pvm.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pvm.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interface/pvm.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,MAAM,WAAW,eAAe;IAC9B,sBAAsB;IACtB,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAE1B,4BAA4B;IAC5B,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAE/B,yBAAyB;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAEzB,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC;IAE5E,8BAA8B;IAC9B,UAAU,IAAI,IAAI,CAAC;IAEnB,0BAA0B;IAC1B,SAAS,IAAI,MAAM,CAAC;IAEpB,mCAAmC;IACnC,KAAK,IAAI,MAAM,CAAC;IAEhB,sDAAsD;IACtD,YAAY,IAAI,GAAG,GAAG,IAAI,CAAC;CAC5B"}
+{"version":3,"file":"pvm.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-interface/pvm.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,MAAM,WAAW,eAAe;IAC9B,sBAAsB;IACtB,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAE1B,4BAA4B;IAC5B,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAE/B,yBAAyB;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAEzB,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC;IAE5E,0DAA0D;IAC1D,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC;IAEjE,8BAA8B;IAC9B,UAAU,IAAI,IAAI,CAAC;IAEnB,0BAA0B;IAC1B,SAAS,IAAI,MAAM,CAAC;IAEpB,mCAAmC;IACnC,KAAK,IAAI,MAAM,CAAC;IAEhB,sDAAsD;IACtD,YAAY,IAAI,GAAG,GAAG,IAAI,CAAC;CAC5B"}

package/packages/jam/block/work-package.d.ts

@@ -21,19 +21,19 @@ export declare const MAX_NUMBER_OF_WORK_ITEMS = 16;
 /**
  * A piece of work done within a core.
  *
- * `P = (j ∈ Y, h ∈ NS, u ∈ H, p ∈ Y, x ∈ X, w ∈ ⟦I⟧1∶I)
+ * `P = (j ∈ Y, h ∈ NS, u ∈ H, f ∈ Y, x ∈ X, w ∈ ⟦I⟧1∶I)
  *
  * https://graypaper.fluffylabs.dev/#/579bd12/197000197200
  */
 export declare class WorkPackage extends WithDebug {
     /** `j`: simple blob acting as an authorization token */
-    readonly authorization: BytesBlob;
+    readonly authToken: BytesBlob;
     /** `h`: index of the service that hosts the authorization code */
     readonly authCodeHost: ServiceId;
     /** `u`: authorization code hash */
     readonly authCodeHash: CodeHash;
-    /** `p`: authorization parametrization blob */
-    readonly parametrization: BytesBlob;
+    /** `f`: authorization configuration blob */
+    readonly authConfiguration: BytesBlob;
     /** `x`: context in which the refine function should run */
     readonly context: RefineContext;
     /**
@@ -54,8 +54,8 @@ export declare class WorkPackage extends WithDebug {
             lookupAnchorSlot: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"TimeSlot[u32]">, import("@typeberry/bytes").Bytes<4>>;
             prerequisites: import("@typeberry/codec").Descriptor<(import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkPackageHash">)[], import("@typeberry/codec").SequenceView<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkPackageHash">, import("@typeberry/bytes").Bytes<32>>>;
         }>>;
-        authorization: import("@typeberry/codec").Descriptor<BytesBlob, BytesBlob>;
-        parametrization: import("@typeberry/codec").Descriptor<BytesBlob, BytesBlob>;
+        authToken: import("@typeberry/codec").Descriptor<BytesBlob, BytesBlob>;
+        authConfiguration: import("@typeberry/codec").Descriptor<BytesBlob, BytesBlob>;
         items: import("@typeberry/codec").Descriptor<FixedSizeArray<WorkItem, U8>, import("@typeberry/codec").SequenceView<WorkItem, import("@typeberry/codec").ViewOf<WorkItem, {
             service: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"ServiceId[u32]">, import("@typeberry/bytes").Bytes<4>>;
             codeHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"CodeHash">, import("@typeberry/bytes").Bytes<32>>;
@@ -73,7 +73,7 @@ export declare class WorkPackage extends WithDebug {
             }>>>;
         }>>>;
     }>>;
-    static create({ authorization, authCodeHost, authCodeHash, parametrization, context, items, }: CodecRecord<WorkPackage>): WorkPackage;
+    static create({ authToken, authCodeHost, authCodeHash, authConfiguration, context, items, }: CodecRecord<WorkPackage>): WorkPackage;
     private constructor();
 }
 export type WorkPackageView = DescribedBy<typeof WorkPackage.Codec.View>;

package/packages/jam/block/work-package.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"work-package.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/block/work-package.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,KAAK,WAAW,EAAS,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD,OAAO,EAAW,KAAK,EAAE,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,6EAA6E;AAC7E,0FAA0F;AAC1F,MAAM,MAAM,cAAc,GAAG,EAAE,CAAC;AAEhC,kGAAkG;AAClG,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,cAAc,CAE/D;AAED,8DAA8D;AAC9D,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,IAAI,cAAc,CAEnE;AAED,kFAAkF;AAClF,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAC1C,uFAAuF;AACvF,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C;;;;;;GAMG;AACH,qBAAa,WAAY,SAAQ,SAAS;IAyBtC,wDAAwD;aACxC,aAAa,EAAE,SAAS;IACxC,kEAAkE;aAClD,YAAY,EAAE,SAAS;IACvC,mCAAmC;aACnB,YAAY,EAAE,QAAQ;IACtC,8CAA8C;aAC9B,eAAe,EAAE,SAAS;IAC1C,2DAA2D;aAC3C,OAAO,EAAE,aAAa;IACtC;;;;;OAKG;aACa,KAAK,EAAE,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC;IAxCjE,MAAM,CAAC,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAUT;IAEH,MAAM,CAAC,MAAM,CAAC,EACZ,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,eAAe,EACf,OAAO,EACP,KAAK,GACN,EAAE,WAAW,CAAC,WAAW,CAAC;IAI3B,OAAO;CAqBR;AAED,MAAM,MAAM,eAAe,GAAG,WAAW,CAAC,OAAO,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC"}
+{"version":3,"file":"work-package.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/block/work-package.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,KAAK,WAAW,EAAS,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD,OAAO,EAAW,KAAK,EAAE,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,6EAA6E;AAC7E,0FAA0F;AAC1F,MAAM,MAAM,cAAc,GAAG,EAAE,CAAC;AAEhC,kGAAkG;AAClG,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,cAAc,CAE/D;AAED,8DAA8D;AAC9D,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,IAAI,cAAc,CAEnE;AAED,kFAAkF;AAClF,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAC1C,uFAAuF;AACvF,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C;;;;;;GAMG;AACH,qBAAa,WAAY,SAAQ,SAAS;IAyBtC,wDAAwD;aACxC,SAAS,EAAE,SAAS;IACpC,kEAAkE;aAClD,YAAY,EAAE,SAAS;IACvC,mCAAmC;aACnB,YAAY,EAAE,QAAQ;IACtC,4CAA4C;aAC5B,iBAAiB,EAAE,SAAS;IAC5C,2DAA2D;aAC3C,OAAO,EAAE,aAAa;IACtC;;;;;OAKG;aACa,KAAK,EAAE,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC;IAxCjE,MAAM,CAAC,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAUT;IAEH,MAAM,CAAC,MAAM,CAAC,EACZ,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,iBAAiB,EACjB,OAAO,EACP,KAAK,GACN,EAAE,WAAW,CAAC,WAAW,CAAC;IAI3B,OAAO;CAqBR;AAED,MAAM,MAAM,eAAe,GAAG,WAAW,CAAC,OAAO,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC"}

package/packages/jam/block/work-package.js

@@ -20,37 +20,37 @@ export const MAX_NUMBER_OF_WORK_ITEMS = 16;
 /**
  * A piece of work done within a core.
  *
- * `P = (j ∈ Y, h ∈ NS, u ∈ H, p ∈ Y, x ∈ X, w ∈ ⟦I⟧1∶I)
+ * `P = (j ∈ Y, h ∈ NS, u ∈ H, f ∈ Y, x ∈ X, w ∈ ⟦I⟧1∶I)
  *
  * https://graypaper.fluffylabs.dev/#/579bd12/197000197200
  */
 export class WorkPackage extends WithDebug {
-    authorization;
+    authToken;
     authCodeHost;
     authCodeHash;
-    parametrization;
+    authConfiguration;
     context;
     items;
     static Codec = codec.Class(WorkPackage, {
         authCodeHost: codec.u32.asOpaque(),
         authCodeHash: codec.bytes(HASH_SIZE).asOpaque(),
         context: RefineContext.Codec,
-        authorization: codec.blob,
-        parametrization: codec.blob,
+        authToken: codec.blob,
+        authConfiguration: codec.blob,
         items: codec.sequenceVarLen(WorkItem.Codec).convert((x) => x, (items) => FixedSizeArray.new(items, tryAsWorkItemsCount(items.length))),
     });
-    static create({ authorization, authCodeHost, authCodeHash, parametrization, context, items, }) {
-        return new WorkPackage(authorization, authCodeHost, authCodeHash, parametrization, context, items);
+    static create({ authToken, authCodeHost, authCodeHash, authConfiguration, context, items, }) {
+        return new WorkPackage(authToken, authCodeHost, authCodeHash, authConfiguration, context, items);
     }
     constructor(
     /** `j`: simple blob acting as an authorization token */
-    authorization, 
+    authToken, 
     /** `h`: index of the service that hosts the authorization code */
     authCodeHost, 
     /** `u`: authorization code hash */
     authCodeHash, 
-    /** `p`: authorization parametrization blob */
-    parametrization, 
+    /** `f`: authorization configuration blob */
+    authConfiguration, 
     /** `x`: context in which the refine function should run */
     context, 
     /**
@@ -61,10 +61,10 @@ export class WorkPackage extends WithDebug {
      */
     items) {
         super();
-        this.authorization = authorization;
+        this.authToken = authToken;
         this.authCodeHost = authCodeHost;
         this.authCodeHash = authCodeHash;
-        this.parametrization = parametrization;
+        this.authConfiguration = authConfiguration;
         this.context = context;
         this.items = items;
     }

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

@@ -13,6 +13,9 @@ export type AccumulateHostCallExternalities = {
     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,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,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

@@ -90,6 +90,15 @@ export class PvmExecutor {
         ];
         return accumulateHandlers.concat(generalHandlers);
     }
+    /** Prepare is-authorized host call handlers */
+    static prepareIsAuthorizedHostCalls(serviceId, externalities) {
+        const generalHandlers = [
+            new general.LogHostCall(serviceId),
+            new general.GasHostCall(serviceId),
+            new general.Fetch(serviceId, externalities.fetchExternalities),
+        ];
+        return generalHandlers;
+    }
     /** Prepare on transfer host call handlers */
     static prepareOnTransferHostCalls(serviceId, externalities) {
         const 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/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 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 HostCallMemory, type 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,16 +36,18 @@ 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>>;
+    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,EAClB,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,KAAK,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAE9C,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,iBAAiB,EAAsB,MAAM,2BAA2B,CAAC;AAC5G,OAAO,EAAE,KAAK,MAAM,EAAkC,MAAM,0BAA0B,CAAC;AACvF,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;AAcnD;;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,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"}

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

@@ -1,7 +1,23 @@
 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 { Ordering } from "#@typeberry/ordering";
+import { PvmInstanceManager } from "#@typeberry/pvm-host-calls";
+import { tryAsGas } from "#@typeberry/pvm-interface";
+import { ProgramDecoder } from "#@typeberry/pvm-interpreter";
 import { Result } from "#@typeberry/utils";
+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 +26,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 +35,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, undefined]);
+        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,8 +65,33 @@ 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.");

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

@@ -3,12 +3,13 @@ import { describe, it } from "node:test";
 import { MAX_NUMBER_OF_EXPORTS_WP, SEGMENT_BYTES, tryAsServiceGas, tryAsServiceId, tryAsTimeSlot, } from "#@typeberry/block";
 import { Bytes, BytesBlob } from "#@typeberry/bytes";
 import { HashDictionary } from "#@typeberry/collections";
-import { tinyChainSpec } from "#@typeberry/config";
+import { PvmBackend, tinyChainSpec } from "#@typeberry/config";
 import { HASH_SIZE } from "#@typeberry/hash";
-import { SegmentExportError } from "#@typeberry/jam-host-calls";
+import { SegmentExportError, tryAsMachineId, tryAsProgramCounter } from "#@typeberry/jam-host-calls";
 import { tryAsU32, tryAsU64 } from "#@typeberry/numbers";
 import { InMemoryService, InMemoryState, PreimageItem, ServiceAccountInfo } from "#@typeberry/state";
 import { RefineExternalitiesImpl } from "./refine.js";
+const MINIMAL_PROGRAM = new Uint8Array([0, 1, 1, 0, 0x00]);
 function createSegment(byte = 0xab) {
     return Bytes.fill(SEGMENT_BYTES, byte);
 }
@@ -59,6 +60,7 @@ function createExt(overrides = {}) {
         currentServiceId: tryAsServiceId(42),
         lookupState: overrides.lookupState ?? defaultState,
         exportOffset: overrides.exportOffset ?? 0,
+        pvmBackend: PvmBackend.BuiltIn,
         ...overrides,
     });
 }
@@ -160,4 +162,102 @@ describe("RefineExternalitiesImpl", () => {
             assert.deepStrictEqual(exported[0].raw.subarray(0, 5), new Uint8Array([1, 2, 3, 4, 5]));
         });
     });
+    describe("machineInit", () => {
+        it("should create a new inner PVM and return a machine ID", async () => {
+            const ext = createExt();
+            const code = BytesBlob.blobFrom(MINIMAL_PROGRAM);
+            const pc = tryAsProgramCounter(0);
+            const result = await ext.machineInit(code, pc);
+            assert.strictEqual(result.isOk, true);
+            assert.strictEqual(result.ok, tryAsMachineId(0));
+        });
+        it("should assign sequential machine IDs", async () => {
+            const ext = createExt();
+            const code = BytesBlob.blobFrom(MINIMAL_PROGRAM);
+            const pc = tryAsProgramCounter(0);
+            const r1 = await ext.machineInit(code, pc);
+            const r2 = await ext.machineInit(code, pc);
+            const r3 = await ext.machineInit(code, pc);
+            assert.strictEqual(r1.isOk, true);
+            assert.strictEqual(r1.ok, tryAsMachineId(0));
+            assert.strictEqual(r2.isOk, true);
+            assert.strictEqual(r2.ok, tryAsMachineId(1));
+            assert.strictEqual(r3.isOk, true);
+            assert.strictEqual(r3.ok, tryAsMachineId(2));
+        });
+        it("should return error for invalid program blob", async () => {
+            const ext = createExt();
+            const invalidCode = BytesBlob.blobFrom(new Uint8Array([0xff, 0xff, 0xff]));
+            const pc = tryAsProgramCounter(0);
+            const result = await ext.machineInit(invalidCode, pc);
+            assert.strictEqual(result.isError, true);
+        });
+        it("should return error for empty program blob", async () => {
+            const ext = createExt();
+            const emptyCode = BytesBlob.blobFrom(new Uint8Array([]));
+            const pc = tryAsProgramCounter(0);
+            const result = await ext.machineInit(emptyCode, pc);
+            assert.strictEqual(result.isError, true);
+        });
+        it("should accept a non-zero program counter", async () => {
+            const ext = createExt();
+            const code = BytesBlob.blobFrom(MINIMAL_PROGRAM);
+            const pc = tryAsProgramCounter(1);
+            const result = await ext.machineInit(code, pc);
+            assert.strictEqual(result.isOk, true);
+        });
+    });
+    describe("machineExpunge", () => {
+        it("should remove machine and return its program counter (0)", async () => {
+            const ext = createExt();
+            const code = BytesBlob.blobFrom(MINIMAL_PROGRAM);
+            const initResult = await ext.machineInit(code, tryAsProgramCounter(0));
+            assert.strictEqual(initResult.isOk, true);
+            const machineId = initResult.ok;
+            const result = await ext.machineExpunge(machineId);
+            assert.strictEqual(result.isOk, true);
+            // PC should be 0 since we initialized with PC=0
+            assert.strictEqual(result.ok, tryAsProgramCounter(0));
+        });
+        it("should remove machine and return its program counter (10)", async () => {
+            const ext = createExt();
+            const code = BytesBlob.blobFrom(MINIMAL_PROGRAM);
+            const initResult = await ext.machineInit(code, tryAsProgramCounter(10));
+            assert.strictEqual(initResult.isOk, true);
+            const machineId = initResult.ok;
+            const result = await ext.machineExpunge(machineId);
+            assert.strictEqual(result.isOk, true);
+            // PC should be 10 since we initialized with PC=10
+            assert.strictEqual(result.ok, tryAsProgramCounter(10));
+        });
+        it("should return NoMachineError for non-existent machine", async () => {
+            const ext = createExt();
+            const result = await ext.machineExpunge(tryAsMachineId(999));
+            assert.strictEqual(result.isError, true);
+        });
+        it("should not allow double expunge", async () => {
+            const ext = createExt();
+            const code = BytesBlob.blobFrom(MINIMAL_PROGRAM);
+            const initResult = await ext.machineInit(code, tryAsProgramCounter(0));
+            assert.strictEqual(initResult.isOk, true);
+            const machineId = initResult.ok;
+            const r1 = await ext.machineExpunge(machineId);
+            assert.strictEqual(r1.isOk, true);
+            const r2 = await ext.machineExpunge(machineId);
+            assert.strictEqual(r2.isError, true);
+        });
+        it("should remove exact machine from multiple and return its program counter (10)", async () => {
+            const ext = createExt();
+            const code = BytesBlob.blobFrom(MINIMAL_PROGRAM);
+            await ext.machineInit(code, tryAsProgramCounter(0));
+            const initResult = await ext.machineInit(code, tryAsProgramCounter(10));
+            await ext.machineInit(code, tryAsProgramCounter(20));
+            assert.strictEqual(initResult.isOk, true);
+            const machineId = initResult.ok;
+            const result = await ext.machineExpunge(machineId);
+            assert.strictEqual(result.isOk, true);
+            // PC should be 10 since we initialized with PC=10
+            assert.strictEqual(result.ok, tryAsProgramCounter(10));
+        });
+    });
 });

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

@@ -1,23 +1,18 @@
-import { type CoreIndex, type Segment, type SegmentIndex, type ServiceGas } from "#@typeberry/block";
+import type { CoreIndex, Segment } 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 type { Blake2b, WithHash } from "#@typeberry/hash";
 import { Result } from "#@typeberry/utils";
+import { type ImportedSegment, type PerWorkItem } from "./refine.js";
+export type { ImportedSegment, PerWorkItem, RefineItemResult } from "./refine.js";
 export type RefineResult = {
     report: WorkReport;
     exports: PerWorkItem<Segment[]>;
 };
-export type RefineItemResult = {
-    result: WorkResult;
-    exports: readonly Segment[];
-};
 export declare enum RefineError {
     /** State for context anchor block or lookup anchor is not found in the DB. */
     StateMissing = 0,
@@ -28,16 +23,11 @@ export declare enum RefineError {
     /** 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;
+    private readonly isAuthorized;
+    private readonly refineItem;
     constructor(chainSpec: ChainSpec, states: StatesDb, pvmBackend: PvmBackend, blake2b: Blake2b);
     /**
      * Work-report computation function.
@@ -50,11 +40,6 @@ export declare class InCore {
      * 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;
+    private static amalgamateWorkReport;
 }
 //# sourceMappingURL=in-core.d.ts.map

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

@@ -1 +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,SAAS,OAAO,EAAE,CAAC;CAC7B,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;IAgF7C,OAAO,CAAC,oBAAoB;YAuDd,gBAAgB;YAkBhB,UAAU;IAoGxB,iBAAiB,CAAC,UAAU,EAAE,WAAW,CAAC,UAAU,CAAC;IAiBrD,OAAO,CAAC,cAAc;IAyCtB,OAAO,CAAC,yBAAyB;CAqBlC"}
+{"version":3,"file":"in-core.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/in-core/in-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAsB,KAAK,eAAe,EAAmB,MAAM,oCAAoC,CAAC;AAC/G,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AACpE,OAAO,EAAmB,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAG9E,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAIzD,OAAO,EAAe,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,WAAW,EAAiC,MAAM,aAAa,CAAC;AAEpG,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAElF,MAAM,MAAM,YAAY,GAAG;IACzB,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC;CACjC,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;AAID,qBAAa,MAAM;aAKC,SAAS,EAAE,SAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,MAAM;IALzB,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAe;IAC5C,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;gBAGlB,SAAS,EAAE,SAAS,EACnB,MAAM,EAAE,QAAQ,EACjC,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,OAAO;IAMlB;;;;;;;;;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;IAwF7C,OAAO,CAAC,MAAM,CAAC,oBAAoB;CAsDpC"}