@typeberry/lib 0.5.10 → 0.5.11-10b197e

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

@@ -10,19 +10,18 @@ import { gasCounter, MemoryBuilder, tryAsMemoryIndex, tryAsSbrkIndex } from "#@t
 import { PAGE_SIZE } from "#@typeberry/pvm-interpreter/spi-decoder/memory-conts.js";
 import { PartialStateMock } from "../externalities/partial-state-mock.js";
 import { HostCallResult } from "../general/results.js";
-import { emptyRegistersBuffer } from "../utils.js";
 import { Yield } from "./yield.js";
 const gas = gasCounter(tryAsGas(0));
 const HASH_START_REG = 7;
 const RESULT_REG = 7;
 function prepareRegsAndMemory(hashStart, data, { registerMemory = true } = {}) {
-    const registers = new HostCallRegisters(emptyRegistersBuffer());
+    const registers = HostCallRegisters.empty();
     registers.set(HASH_START_REG, tryAsU64(hashStart));
     const builder = new MemoryBuilder();
     if (registerMemory) {
         builder.setReadablePages(tryAsMemoryIndex(hashStart), tryAsMemoryIndex(hashStart + PAGE_SIZE), data.raw);
     }
-    const memory = new HostCallMemory(builder.finalize(tryAsMemoryIndex(0), tryAsSbrkIndex(0)));
+    const memory = HostCallMemory.new(builder.finalize(tryAsMemoryIndex(0), tryAsSbrkIndex(0)));
     return {
         registers,
         memory,
@@ -32,7 +31,7 @@ describe("HostCalls: Yield", () => {
     it("should return panic if memory is unreadable", async () => {
         const accumulate = new PartialStateMock();
         const currentServiceId = tryAsServiceId(10_000);
-        const yieldHostCall = new Yield(currentServiceId, accumulate); // yield is a reserved keyword
+        const yieldHostCall = Yield.new(currentServiceId, accumulate); // yield is a reserved keyword
         const hashStart = tryAsU32(2 ** 16);
         const data = Bytes.fill(HASH_SIZE, 0xaa).asOpaque();
         const { registers, memory } = prepareRegsAndMemory(hashStart, data, { registerMemory: false });
@@ -46,7 +45,7 @@ describe("HostCalls: Yield", () => {
     it("should return status OK and yield hash", async () => {
         const accumulate = new PartialStateMock();
         const currentServiceId = tryAsServiceId(10_000);
-        const yieldHostCall = new Yield(currentServiceId, accumulate);
+        const yieldHostCall = Yield.new(currentServiceId, accumulate);
         const hashStart = tryAsU32(2 ** 16);
         const data = Bytes.fill(HASH_SIZE, 0xaa).asOpaque();
         const { registers, memory } = prepareRegsAndMemory(hashStart, data);

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

@@ -185,7 +185,7 @@ export interface PartialState {
      * Update priviliged services and their gas.
      *
      * `m`: manager service (can change privileged services)
-     * `a`: manages authorization queue
+     * `a`: per-core manager of authorization queue
      * `v`: manages validator keys
      * `r`: manages create new services in protected id range.
      * `z`: collection of serviceId -> gas that auto-accumulate every block

package/packages/jam/jam-host-calls/externalities/refine-externalities.d.ts

@@ -84,7 +84,7 @@ export type SegmentExportError = typeof SegmentExportError;
 export interface RefineExternalities {
     /** Get the segments exported during this work item's refinement. */
     getExportedSegments(): readonly Segment[];
-    /** Forget a previously started nested VM. */
+    /** Forget a previously started nested VM. Return its current program counter.*/
     machineExpunge(machineIndex: MachineId): Promise<Result<ProgramCounter, NoMachineError>>;
     /** Set given range of pages as non-accessible and re-initialize them with zeros. */
     machineVoidPages(machineIndex: MachineId, pageStart: U64, pageCount: U64): Promise<Result<OK, ZeroVoidError>>;

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

@@ -1 +1 @@
-{"version":3,"file":"refine-externalities.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/externalities/refine-externalities.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACzE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAY,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnF,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,+DAA+D,CAAC;AACzG,OAAO,EAAgB,KAAK,EAAE,EAAE,KAAK,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,EAAE,qBAAqB,CAAC,CAAC;AAChE,4CAA4C;AAC5C,eAAO,MAAM,mBAAmB,GAAI,GAAG,MAAM,GAAG,MAAM,KAAG,cAA2C,CAAC;AAErG,uCAAuC;AACvC,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;AACtD,qDAAqD;AACrD,eAAO,MAAM,cAAc,GAAI,GAAG,MAAM,GAAG,MAAM,KAAG,SAAsC,CAAC;AAE3F,qBAAa,eAAe;IACpB,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,iBAAiB,GAAG,OAAO,CAAC,aAAa,CAAC;CAS7E;AAED,MAAM,MAAM,aAAa,GACrB;IACE,MAAM,EAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IAC3B,aAAa,EAAE,GAAG,CAAC;CACpB,GACD;IACE,MAAM,EAAE,OAAO,MAAM,CAAC,KAAK,CAAC;IAC5B,OAAO,EAAE,GAAG,CAAC;CACd,GACD;IACE,MAAM,EAAE,OAAO,MAAM,CAAC,EAAE,GAAG,OAAO,MAAM,CAAC,IAAI,GAAG,OAAO,MAAM,CAAC,KAAK,GAAG,OAAO,MAAM,CAAC,GAAG,CAAC;CACzF,CAAC;AAEN,6CAA6C;AAC7C,MAAM,MAAM,aAAa,GAAG;IAC1B,MAAM,EAAE,aAAa,CAAC;IACtB,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,iBAAiB,CAAC;CAC9B,CAAC;AAEF,kEAAkE;AAClE,oBAAY,eAAe;IACzB,kDAAkD;IAClD,IAAI,IAAI;IACR,iDAAiD;IACjD,QAAQ,IAAI;IACZ,kDAAkD;IAClD,SAAS,IAAI;IACb,mDAAmD;IACnD,IAAI,IAAI;IACR,oDAAoD;IACpD,KAAK,IAAI;CACV;AAED,kEAAkE;AAClE,eAAO,MAAM,iBAAiB,GAAI,GAAG,MAAM,GAAG,MAAM,KAAG,eAAe,GAAG,IACG,CAAC;AAE7E,iEAAiE;AACjE,oBAAY,aAAa;IACvB,yBAAyB;IACzB,eAAe,IAAI;IACnB,8BAA8B;IAC9B,oBAAoB,IAAI;IACxB,4CAA4C;IAC5C,SAAS,IAAI;CACd;AAED,oBAAY,aAAa;IACvB,4CAA4C;IAC5C,SAAS,IAAI;IACb,sDAAsD;IACtD,WAAW,IAAI;CAChB;AAED,oBAAY,UAAU;IACpB,4CAA4C;IAC5C,SAAS,IAAI;IACb,gCAAgC;IAChC,gBAAgB,IAAI;IACpB,2FAA2F;IAC3F,WAAW,IAAI;CAChB;AAED,kCAAkC;AAClC,eAAO,MAAM,cAAc,eAAqC,CAAC;AACjE,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC;AAEnD,0CAA0C;AAC1C,eAAO,MAAM,kBAAkB,eAAgD,CAAC;AAChF,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D,yEAAyE;AACzE,MAAM,WAAW,mBAAmB;IAClC,oEAAoE;IACpE,mBAAmB,IAAI,SAAS,OAAO,EAAE,CAAC;IAE1C,6CAA6C;IAC7C,cAAc,CAAC,YAAY,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC;IAEzF,oFAAoF;IACpF,gBAAgB,CAAC,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IAE9G,4EAA4E;IAC5E,gBAAgB,CAAC,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IAE9G,mFAAmF;IACnF,eAAe,CACb,YAAY,EAAE,SAAS,EACvB,gBAAgB,EAAE,GAAG,EACrB,WAAW,EAAE,GAAG,EAChB,MAAM,EAAE,GAAG,EACX,WAAW,EAAE,cAAc,GAC1B,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IAEtC,+EAA+E;IAC/E,eAAe,CACb,YAAY,EAAE,SAAS,EACvB,WAAW,EAAE,GAAG,EAChB,gBAAgB,EAAE,GAAG,EACrB,MAAM,EAAE,GAAG,EACX,MAAM,EAAE,cAAc,GACrB,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IAEtC,4EAA4E;IAC5E,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAE9G,8EAA8E;IAC9E,aAAa,CACX,YAAY,EAAE,SAAS,EACvB,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,iBAAiB,GAC3B,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC;IAElD;;;;OAIG;IACH,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC;IAE1E,oCAAoC;IACpC,gBAAgB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC;IAE5F,wDAAwD;IACxD,YAAY,CACV,YAAY,EAAE,SAAS,EACvB,SAAS,EAAE,GAAG,EACd,SAAS,EAAE,GAAG,EACd,WAAW,EAAE,eAAe,GAAG,IAAI,GAClC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;CACpC"}
+{"version":3,"file":"refine-externalities.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/externalities/refine-externalities.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACzE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAY,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnF,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,+DAA+D,CAAC;AACzG,OAAO,EAAgB,KAAK,EAAE,EAAE,KAAK,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,EAAE,qBAAqB,CAAC,CAAC;AAChE,4CAA4C;AAC5C,eAAO,MAAM,mBAAmB,GAAI,GAAG,MAAM,GAAG,MAAM,KAAG,cAA2C,CAAC;AAErG,uCAAuC;AACvC,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;AACtD,qDAAqD;AACrD,eAAO,MAAM,cAAc,GAAI,GAAG,MAAM,GAAG,MAAM,KAAG,SAAsC,CAAC;AAE3F,qBAAa,eAAe;IACpB,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,iBAAiB,GAAG,OAAO,CAAC,aAAa,CAAC;CAS7E;AAED,MAAM,MAAM,aAAa,GACrB;IACE,MAAM,EAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IAC3B,aAAa,EAAE,GAAG,CAAC;CACpB,GACD;IACE,MAAM,EAAE,OAAO,MAAM,CAAC,KAAK,CAAC;IAC5B,OAAO,EAAE,GAAG,CAAC;CACd,GACD;IACE,MAAM,EAAE,OAAO,MAAM,CAAC,EAAE,GAAG,OAAO,MAAM,CAAC,IAAI,GAAG,OAAO,MAAM,CAAC,KAAK,GAAG,OAAO,MAAM,CAAC,GAAG,CAAC;CACzF,CAAC;AAEN,6CAA6C;AAC7C,MAAM,MAAM,aAAa,GAAG;IAC1B,MAAM,EAAE,aAAa,CAAC;IACtB,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,iBAAiB,CAAC;CAC9B,CAAC;AAEF,kEAAkE;AAClE,oBAAY,eAAe;IACzB,kDAAkD;IAClD,IAAI,IAAI;IACR,iDAAiD;IACjD,QAAQ,IAAI;IACZ,kDAAkD;IAClD,SAAS,IAAI;IACb,mDAAmD;IACnD,IAAI,IAAI;IACR,oDAAoD;IACpD,KAAK,IAAI;CACV;AAED,kEAAkE;AAClE,eAAO,MAAM,iBAAiB,GAAI,GAAG,MAAM,GAAG,MAAM,KAAG,eAAe,GAAG,IACG,CAAC;AAE7E,iEAAiE;AACjE,oBAAY,aAAa;IACvB,yBAAyB;IACzB,eAAe,IAAI;IACnB,8BAA8B;IAC9B,oBAAoB,IAAI;IACxB,4CAA4C;IAC5C,SAAS,IAAI;CACd;AAED,oBAAY,aAAa;IACvB,4CAA4C;IAC5C,SAAS,IAAI;IACb,sDAAsD;IACtD,WAAW,IAAI;CAChB;AAED,oBAAY,UAAU;IACpB,4CAA4C;IAC5C,SAAS,IAAI;IACb,gCAAgC;IAChC,gBAAgB,IAAI;IACpB,2FAA2F;IAC3F,WAAW,IAAI;CAChB;AAED,kCAAkC;AAClC,eAAO,MAAM,cAAc,eAAqC,CAAC;AACjE,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC;AAEnD,0CAA0C;AAC1C,eAAO,MAAM,kBAAkB,eAAgD,CAAC;AAChF,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D,yEAAyE;AACzE,MAAM,WAAW,mBAAmB;IAClC,oEAAoE;IACpE,mBAAmB,IAAI,SAAS,OAAO,EAAE,CAAC;IAE1C,gFAAgF;IAChF,cAAc,CAAC,YAAY,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC;IAEzF,oFAAoF;IACpF,gBAAgB,CAAC,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IAE9G,4EAA4E;IAC5E,gBAAgB,CAAC,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IAE9G,mFAAmF;IACnF,eAAe,CACb,YAAY,EAAE,SAAS,EACvB,gBAAgB,EAAE,GAAG,EACrB,WAAW,EAAE,GAAG,EAChB,MAAM,EAAE,GAAG,EACX,WAAW,EAAE,cAAc,GAC1B,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IAEtC,+EAA+E;IAC/E,eAAe,CACb,YAAY,EAAE,SAAS,EACvB,WAAW,EAAE,GAAG,EAChB,gBAAgB,EAAE,GAAG,EACrB,MAAM,EAAE,GAAG,EACX,MAAM,EAAE,cAAc,GACrB,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IAEtC,4EAA4E;IAC5E,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAE9G,8EAA8E;IAC9E,aAAa,CACX,YAAY,EAAE,SAAS,EACvB,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,iBAAiB,GAC3B,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC;IAElD;;;;OAIG;IACH,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC;IAE1E,oCAAoC;IACpC,gBAAgB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC;IAE5F,wDAAwD;IACxD,YAAY,CACV,YAAY,EAAE,SAAS,EACvB,SAAS,EAAE,GAAG,EACd,SAAS,EAAE,GAAG,EACd,WAAW,EAAE,eAAe,GAAG,IAAI,GAClC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;CACpC"}

package/packages/jam/jam-host-calls/externalities/refine-externalities.test.js

@@ -4,24 +4,24 @@ import { ProgramDecoder, } from "#@typeberry/pvm-interpreter/program-decoder/pro
 import { Result } from "#@typeberry/utils";
 import { NoMachineError, } from "./refine-externalities.js";
 export class TestRefineExt {
-    exportSegmentData = new MultiMap(1, [
+    exportSegmentData = MultiMap.new(1, [
         (segment) => segment.toString(),
     ]);
-    historicalLookupData = new MultiMap(2, [
+    historicalLookupData = MultiMap.new(2, [
         null,
         (key) => key.toString(),
     ]);
     machineInvokeData = new Map();
-    machineStartData = new MultiMap(2, [
+    machineStartData = MultiMap.new(2, [
         (code) => code.toString(),
         null,
     ]);
-    machineExpungeData = new MultiMap(1);
-    machinePeekData = new MultiMap(5);
-    machinePokeData = new MultiMap(5);
-    machineVoidPagesData = new MultiMap(3);
-    machineZeroPagesData = new MultiMap(3);
-    machinePagesData = new MultiMap(4);
+    machineExpungeData = MultiMap.new(1);
+    machinePeekData = MultiMap.new(5);
+    machinePokeData = MultiMap.new(5);
+    machineVoidPagesData = MultiMap.new(3);
+    machineZeroPagesData = MultiMap.new(3);
+    machinePagesData = MultiMap.new(4);
     machineInvokeStatus = { status: Status.OK };
     exportSegments = [];
     getExportedSegments() {

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

@@ -48,9 +48,8 @@ export declare class PartiallyUpdatedState<T extends StateSlice = StateSlice> {
     readonly state: T;
     /** A collection of state updates. */
     readonly stateUpdate: AccumulationStateUpdate;
-    constructor(
-    /** Original (unmodified state). */
-    state: T, stateUpdate?: AccumulationStateUpdate);
+    static new<T extends StateSlice = StateSlice>(state: T, stateUpdate?: AccumulationStateUpdate): PartiallyUpdatedState<T>;
+    private constructor();
     /**
      * Retrieve info of service with given id.
      *

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

@@ -1 +1 @@
-{"version":3,"file":"state-update.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/externalities/state-update.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACrF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAe,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAA0B,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,EACL,KAAK,wBAAwB,EAC7B,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,KAAK,cAAc,EACnB,KAAK,KAAK,EAEV,KAAK,UAAU,EAEf,KAAK,cAAc,EAKnB,KAAK,aAAa,EACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAsB,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,eAAO,MAAM,sBAAsB,uBAAuB,CAAC;AAC3D,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC;AAEnE,gFAAgF;AAChF,MAAM,MAAM,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,oBAAoB,GAAG,YAAY,GAAG,yBAAyB,CAAC,CAAC,GACpH,cAAc,CAAC;AAajB;;;;GAIG;AACH,qBAAa,uBAAuB;IAUhC,8BAA8B;aACd,QAAQ,EAAE,cAAc;IACxC,yBAAyB;IAClB,SAAS,EAAE,eAAe,EAAE;IACnC,iCAAiC;IAC1B,WAAW,EAAE,UAAU,GAAG,IAAI;IAdvC,8CAA8C;IAC9C,SAAgB,mBAAmB,EAAE,GAAG,CAAC,SAAS,EAAE,cAAc,CAAC,cAAc,EAAE,wBAAwB,CAAC,CAAC,CACjG;IACZ,2BAA2B;IACpB,cAAc,EAAE,YAAY,CAAC,aAAa,CAAC,GAAG,IAAI,CAAQ;IACjE,mCAAmC;IAC5B,kBAAkB,EAAE,kBAAkB,GAAG,IAAI,CAAQ;IAE5D,OAAO;IASP,qCAAqC;IACrC,MAAM,CAAC,KAAK,IAAI,uBAAuB;IAavC,iFAAiF;IACjF,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,GAAG,uBAAuB;IAS3D,mEAAmE;IACnE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,uBAAuB,GAAG,uBAAuB;IA+BvE,4CAA4C;IAC5C,aAAa;IAMb,uCAAuC;IACvC,eAAe;CAKhB;AAED,KAAK,UAAU,GAAG,IAAI,CAAC,KAAK,EAAE,YAAY,GAAG,oBAAoB,CAAC,CAAC;AAEnE,qBAAa,qBAAqB,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU;IAKhE,mCAAmC;aACnB,KAAK,EAAE,CAAC;IAL1B,qCAAqC;IACrC,SAAgB,WAAW,0BAAC;;IAG1B,mCAAmC;IACnB,KAAK,EAAE,CAAC,EACxB,WAAW,CAAC,EAAE,uBAAuB;IAMvC;;;;;;OAMG;IACH,cAAc,CAAC,WAAW,EAAE,SAAS,GAAG,IAAI,GAAG,kBAAkB,GAAG,IAAI;IAmBxE,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,IAAI;IAWtE;;;;;;OAMG;IACH,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,GAAG,OAAO;IAoB9D,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,GAAG,SAAS,GAAG,IAAI;IAYvE;;;;OAIG;IACH,gBAAgB,CACd,eAAe,EAAE,QAAQ,EACzB,SAAS,EAAE,SAAS,EACpB,IAAI,EAAE,YAAY,EAClB,MAAM,EAAE,GAAG,GACV,iBAAiB,GAAG,IAAI;IA0D3B,aAAa,CAAC,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI;IAe5E;;;;;OAKG;IACH,cAAc,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,cAAc;IAM9D,+BAA+B,CAC7B,SAAS,EAAE,SAAS,EACpB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,kBAAkB,GAC9B,MAAM,CAAC,EAAE,EAAE,sBAAsB,CAAC;IAmCrC,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,kBAAkB;IAsBnE,aAAa,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,iBAAiB;IAWpG,qBAAqB;CAOtB"}
+{"version":3,"file":"state-update.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/externalities/state-update.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACrF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAe,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAA0B,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,EACL,KAAK,wBAAwB,EAC7B,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,KAAK,cAAc,EACnB,KAAK,KAAK,EAEV,KAAK,UAAU,EAEf,KAAK,cAAc,EAKnB,KAAK,aAAa,EACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAsB,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,eAAO,MAAM,sBAAsB,uBAAuB,CAAC;AAC3D,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC;AAEnE,gFAAgF;AAChF,MAAM,MAAM,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,oBAAoB,GAAG,YAAY,GAAG,yBAAyB,CAAC,CAAC,GACpH,cAAc,CAAC;AAajB;;;;GAIG;AACH,qBAAa,uBAAuB;IAUhC,8BAA8B;aACd,QAAQ,EAAE,cAAc;IACxC,yBAAyB;IAClB,SAAS,EAAE,eAAe,EAAE;IACnC,iCAAiC;IAC1B,WAAW,EAAE,UAAU,GAAG,IAAI;IAdvC,8CAA8C;IAC9C,SAAgB,mBAAmB,EAAE,GAAG,CAAC,SAAS,EAAE,cAAc,CAAC,cAAc,EAAE,wBAAwB,CAAC,CAAC,CACjG;IACZ,2BAA2B;IACpB,cAAc,EAAE,YAAY,CAAC,aAAa,CAAC,GAAG,IAAI,CAAQ;IACjE,mCAAmC;IAC5B,kBAAkB,EAAE,kBAAkB,GAAG,IAAI,CAAQ;IAE5D,OAAO;IASP,qCAAqC;IACrC,MAAM,CAAC,KAAK,IAAI,uBAAuB;IAavC,iFAAiF;IACjF,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,GAAG,uBAAuB;IAS3D,mEAAmE;IACnE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,uBAAuB,GAAG,uBAAuB;IA+BvE,4CAA4C;IAC5C,aAAa;IAMb,uCAAuC;IACvC,eAAe;CAKhB;AAED,KAAK,UAAU,GAAG,IAAI,CAAC,KAAK,EAAE,YAAY,GAAG,oBAAoB,CAAC,CAAC;AAEnE,qBAAa,qBAAqB,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU;IAShE,mCAAmC;aACnB,KAAK,EAAE,CAAC;IAT1B,qCAAqC;IACrC,SAAgB,WAAW,0BAAC;IAE5B,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,uBAAuB;IAI7F,OAAO;IASP;;;;;;OAMG;IACH,cAAc,CAAC,WAAW,EAAE,SAAS,GAAG,IAAI,GAAG,kBAAkB,GAAG,IAAI;IAmBxE,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,IAAI;IAWtE;;;;;;OAMG;IACH,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,GAAG,OAAO;IAoB9D,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,GAAG,SAAS,GAAG,IAAI;IAYvE;;;;OAIG;IACH,gBAAgB,CACd,eAAe,EAAE,QAAQ,EACzB,SAAS,EAAE,SAAS,EACpB,IAAI,EAAE,YAAY,EAClB,MAAM,EAAE,GAAG,GACV,iBAAiB,GAAG,IAAI;IA0D3B,aAAa,CAAC,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI;IAe5E;;;;;OAKG;IACH,cAAc,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,cAAc;IAM9D,+BAA+B,CAC7B,SAAS,EAAE,SAAS,EACpB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,kBAAkB,GAC9B,MAAM,CAAC,EAAE,EAAE,sBAAsB,CAAC;IAmCrC,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,kBAAkB;IAsBnE,aAAa,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,iBAAiB;IAWpG,qBAAqB;CAOtB"}

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

@@ -98,6 +98,9 @@ export class PartiallyUpdatedState {
     state;
     /** A collection of state updates. */
     stateUpdate;
+    static new(state, stateUpdate) {
+        return new PartiallyUpdatedState(state, stateUpdate);
+    }
     constructor(
     /** Original (unmodified state). */
     state, stateUpdate) {
@@ -197,7 +200,7 @@ export class PartiallyUpdatedState {
                 return null;
             }
             const slots = service.getLookupHistory(hash, lenU32);
-            return slots === null ? null : new LookupHistoryItem(hash, lenU32, slots);
+            return slots === null ? null : LookupHistoryItem.new(hash, lenU32, slots);
         };
         if (updatedPreimage === undefined) {
             return stateFallback();
@@ -206,7 +209,7 @@ export class PartiallyUpdatedState {
         switch (action.kind) {
             case UpdatePreimageKind.Provide: {
                 // casting to U32 is safe, since we compare with object we have in memory.
-                return new LookupHistoryItem(hash, updatedPreimage.length, tryAsLookupHistorySlots([currentTimeslot]));
+                return LookupHistoryItem.new(hash, updatedPreimage.length, tryAsLookupHistorySlots([currentTimeslot]));
             }
             case UpdatePreimageKind.Remove: {
                 return null;

package/packages/jam/jam-host-calls/externalities/test-accounts.js

@@ -6,11 +6,11 @@ export class TestAccounts {
     constructor(serviceId) {
         this.serviceId = serviceId;
     }
-    preimages = new MultiMap(2, [
+    preimages = MultiMap.new(2, [
         null,
         (hash) => hash.toString(),
     ]);
-    storage = new MultiMap(2, [
+    storage = MultiMap.new(2, [
         null,
         (hash) => hash.toString(),
     ]);

package/packages/jam/jam-host-calls/general/fetch.d.ts

@@ -1,168 +1,229 @@
-import type { ServiceId } from "#@typeberry/block";
+import type { EntropyHash, ServiceId } from "#@typeberry/block";
 import type { BytesBlob } from "#@typeberry/bytes";
 import { type U64 } from "#@typeberry/numbers";
 import type { HostCallHandler, HostCallMemory, HostCallRegisters } from "#@typeberry/pvm-host-calls";
 import { PvmExecution } from "#@typeberry/pvm-host-calls";
 import { type IGasCounter } from "#@typeberry/pvm-interface";
-/** Fetchable data. */
-export interface IFetchExternalities {
+/**
+ * Fetchable data contexts.
+ *
+ * The fetch host call (ecalli 1) returns context-dependent data based on
+ * ω₁₀ (the kind selector). Each invocation context passes different
+ * parameters to Ω_Y, which determines which kinds return data vs NONE.
+ *
+ * Ω_Y signature: Ω_Y(ρ, φ, μ, p, n, r, i, ī, x̄, 𝐢, ...)
+ *
+ * Context parameter mapping
+ *   IsAuthorized: Ω_Y(ρ, φ, μ, 𝐩, ∅, ∅, ∅, ∅, ∅, ∅, ∅)
+ *   https://graypaper.fluffylabs.dev/#/ab2cdbd/2e43012e4301?v=0.7.2
+ *   Refine:        Ω_Y(ρ, φ, μ, p, H₀, r, i, ī, x̄, ∅, (m,e))
+ *   https://graypaper.fluffylabs.dev/#/ab2cdbd/2fe0012fe001?v=0.7.2
+ *   Accumulate:    Ω_Y(ρ, φ, μ, ∅, η'₀, ∅, ∅, ∅, ∅, 𝐢, (x,y))
+ *   https://graypaper.fluffylabs.dev/#/ab2cdbd/30c00030c000?v=0.7.2
+ *
+ * Kind availability per context:
+ *   Kind 0  (constants)      - all contexts
+ *   Kind 1  (n)              - Refine (H₀), Accumulate (η'₀)
+ *   Kind 2  (r)              - Refine only
+ *   Kind 3-4 (x̄ extrinsics)  - Refine only
+ *   Kind 5-6 (ī imports)     - Refine only
+ *   Kind 7-13 (p work pkg)   - IsAuthorized, Refine
+ *   Kind 14-15 (𝐢 acc items) - Accumulate only
+ */
+export declare enum FetchContext {
+    IsAuthorized = "isAuthorized",
+    Refine = "refine",
+    Accumulate = "accumulate"
+}
+/**
+ * Fetch externalities for the IsAuthorized context.
+ *
+ * Ω_Y(ρ, φ, μ, 𝐩, ∅, ∅, ∅, ∅, ∅, ∅, ∅)
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/2e43012e4301?v=0.7.2
+ *
+ * Available kinds: 0 (constants), 7-13 (work package)
+ */
+export interface IIsAuthorizedFetch {
+    readonly context: FetchContext.IsAuthorized;
     /**
-     * Encoded constants info.
+     * Kind 0: Encoded constants info (𝐜).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32de0032e100?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315001315001?v=0.7.2
      */
     constants(): BytesBlob;
     /**
-     * Entropy.
-     *
-     * Is Authorized: `p` (work package?)
-     * Refine: `H_0` (might change in the future)
-     * Accumulate: `eta_0 prime`
-     * On Transfer: `eta_0 prime`
+     * Kind 7: Encoded work package - E(𝐩).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/325501325501?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c10231c102?v=0.7.2
      */
-    entropy(): BytesBlob | null;
+    workPackage(): BytesBlob;
     /**
+     * Kind 8: Authorizer configuration - p_f.
      *
-     * Authorizer trace.
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c80231c802?v=0.7.2
+     */
+    authConfiguration(): BytesBlob;
+    /**
+     * Kind 9: Authorization token - p_j.
      *
-     * Is Authorized: <empty>
-     * Refine: `r` - authorizer trace?
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31cf0231cf02?v=0.7.2
+     */
+    authToken(): BytesBlob;
+    /**
+     * Kind 10: Refinement context - E(p_x).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/325b01325b01?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31da0231da02?v=0.7.2
      */
-    authorizerTrace(): BytesBlob | null;
+    refineContext(): BytesBlob;
     /**
-     * Inspect currently refined or other work item's extrinsics.
+     * Kind 11: All work-item summaries - E(↕[S(w) | w ← p_w]).
      *
-     * Is Authorized: <empty>
-     * Refine: `\over(x)[*]`
-     *   https://graypaper.fluffylabs.dev/#/9a08063/2fd8002fd800?v=0.6.6
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31f40231f402?v=0.7.2
+     */
+    allWorkItems(): BytesBlob;
+    /**
+     * Kind 12: Single work-item summary - S(p_w[φ₁₁]).
      *
-     * Other: https://graypaper.fluffylabs.dev/#/9a08063/326801326801?v=0.6.6
-     *    My: https://graypaper.fluffylabs.dev/#/9a08063/327701327701?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31fc0231fc02?v=0.7.2
      */
-    workItemExtrinsic(workItem: U64 | null, index: U64): BytesBlob | null;
+    oneWorkItem(workItem: U64): BytesBlob | null;
     /**
-     * Inspect import segments from current or other work items.
+     * Kind 13: Work-item payload - p_w[φ₁₁]_y.
      *
-     * Is Authorized: <empty>
-     * Refine: `\over(i)[*]`
-     *   https://graypaper.fluffylabs.dev/#/9a08063/2e15012e1501?v=0.6.6
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/313b03313b03?v=0.7.2
+     */
+    workItemPayload(workItem: U64): BytesBlob | null;
+}
+/**
+ * Fetch externalities for the Refine context.
+ *
+ * Ω_Y(ρ, φ, μ, p, H₀, r, i, ī, x̄, ∅, (m,e))
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/2fe0012fe001?v=0.7.2
+ *
+ * Available kinds: 0-13 (all except accumulation items)
+ */
+export interface IRefineFetch {
+    readonly context: FetchContext.Refine;
+    /**
+     * Kind 0: Encoded constants info (𝐜).
      *
-     * Other: https://graypaper.fluffylabs.dev/#/9a08063/328501328501?v=0.6.6
-     *    My: https://graypaper.fluffylabs.dev/#/9a08063/329601329601?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315001315001?v=0.7.2
      */
-    workItemImport(workItem: U64 | null, index: U64): BytesBlob | null;
+    constants(): BytesBlob;
     /**
-     * Inspect encoding of the entire work package.
+     * Kind 1: Entropy pool - H₀ (zero hash).
      *
-     * Is Authorized: <empty>
-     * Refine: `E(p)`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/2fe0012fe201?v=0.7.2
+     */
+    entropy(): EntropyHash;
+    /**
+     * Kind 2: Authorizer trace (𝐫).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/329f0132a201?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/314902314902?v=0.7.2
      */
-    workPackage(): BytesBlob | null;
+    authorizerTrace(): BytesBlob;
     /**
-     * Inspect current work package's authorizer:
-     * authorizer code hash (`u`) and parametrization (`p`).
+     * Kind 3 (other) / Kind 4 (my): Work-item extrinsics (x̄).
      *
-     * Is Authorized: <empty>
-     * Refine: `E(p_u, ↕p_p)`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * When workItem is null, uses Kind 4 (current work item's extrinsics).
+     * When workItem is provided, uses Kind 3 (other work item's extrinsics).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32aa0132aa01?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315402315402?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/317302317302?v=0.7.2
      */
-    authorizer(): BytesBlob | null;
+    workItemExtrinsic(workItem: U64 | null, index: U64): BytesBlob | null;
     /**
-     * Inspect authorization token.
+     * Kind 5 (other) / Kind 6 (my): Import segments (ī).
      *
-     * Is Authorized: <empty>
-     * Refine: `p_j`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * When workItem is null, uses Kind 6 (current work item's imports).
+     * When workItem is provided, uses Kind 5 (other work item's imports).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32b10132b101?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/318b02318b02?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31aa0231aa02?v=0.7.2
      */
-    authorizationToken(): BytesBlob | null;
+    workItemImport(workItem: U64 | null, index: U64): BytesBlob | null;
     /**
-     * Inspect refine context.
+     * Kind 7: Encoded work package - E(p).
      *
-     * Is Authorized: <empty>
-     * Refine: `p_x`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c10231c102?v=0.7.2
+     */
+    workPackage(): BytesBlob;
+    /**
+     * Kind 8: Authorizer configuration - p_f.
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32b80132b801?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c80231c802?v=0.7.2
      */
-    refineContext(): BytesBlob | null;
+    authConfiguration(): BytesBlob;
     /**
-     * Encoding (varlen sequence) of all work items.
+     * Kind 9: Authorization token - p_j.
      *
-     * Is Authorized: <empty>
-     * Refine: `E(↕[S(w): w <- p_w ]))`
-     *  `S(w)`: https://graypaper.fluffylabs.dev/#/9a08063/32db0132ea01?v=0.6.6
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31cf0231cf02?v=0.7.2
+     */
+    authToken(): BytesBlob;
+    /**
+     * Kind 10: Refinement context - E(p_x).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32cd0132d001?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31da0231da02?v=0.7.2
      */
-    allWorkItems(): BytesBlob | null;
+    refineContext(): BytesBlob;
     /**
-     * Encoding of a single (selected) work item.
-     * `S(w)`: https://graypaper.fluffylabs.dev/#/9a08063/32db0132ea01?v=0.6.6
+     * Kind 11: All work-item summaries - E(↕[S(w) | w ← p_w]).
      *
-     * Is Authorized: <empty>
-     * Refine: `S(w)`
-     *   `S(w)`: https://graypaper.fluffylabs.dev/#/9a08063/32db0132ea01?v=0.6.6
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31f40231f402?v=0.7.2
+     */
+    allWorkItems(): BytesBlob;
+    /**
+     * Kind 12: Single work-item summary - S(p_w[φ₁₁]).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32d50132d501?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31fc0231fc02?v=0.7.2
      */
     oneWorkItem(workItem: U64): BytesBlob | null;
     /**
-     * Retrieve work item payload.
+     * Kind 13: Work-item payload - p_w[φ₁₁]_y.
      *
-     * Is Authorized: <empty>
-     * Refine: `p_w[omega_11]_y`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
-     *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32f00132f001?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/313b03313b03?v=0.7.2
      */
     workItemPayload(workItem: U64): BytesBlob | null;
+}
+/**
+ * Fetch externalities for the Accumulate context.
+ *
+ * Ω_Y(ρ, φ, μ, ∅, η'₀, ∅, ∅, ∅, ∅, 𝐢, (x,y))
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/30c00030c000?v=0.7.2
+ *
+ * Available kinds: 0 (constants), 1 (entropy), 14-15 (accumulation items)
+ */
+export interface IAccumulateFetch {
+    readonly context: FetchContext.Accumulate;
     /**
-     * Get all accumulation operands (work results?) and transfers.
+     * Kind 0: Encoded constants info (𝐜).
      *
-     * Is Authorized: <empty>
-     * Refine: <empty>
-     * Accumulate: `E(↕i)`
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315001315001?v=0.7.2
+     */
+    constants(): BytesBlob;
+    /**
+     * Kind 1: Entropy pool - η'₀ (posterior entropy).
      *
-     * https://graypaper.fluffylabs.dev/#/ab2cdbd/314c03314c03?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/314302314602?v=0.7.2
      */
-    allTransfersAndOperands(): BytesBlob | null;
+    entropy(): EntropyHash;
     /**
-     * Get one selected accumulation operand or transfer.
+     * Kind 14: All accumulation operands and transfers - E(↕𝐢).
      *
-     * Is Authorized: <empty>
-     * Refine: <empty>
-     * Accumulate: `E(i[omega_11])`
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/314e03314e03?v=0.7.2
+     */
+    allTransfersAndOperands(): BytesBlob | null;
+    /**
+     * Kind 15: Single accumulation operand or transfer - E(𝐢[φ₁₁]).
      *
-     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315503315503?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315903315903?v=0.7.2
      */
     oneTransferOrOperand(index: U64): BytesBlob | null;
 }
+/**
+ * Union of all context-specific fetch externality interfaces.
+ */
+export type IFetchExternalities = IIsAuthorizedFetch | IRefineFetch | IAccumulateFetch;
 /**
  * https://graypaper.fluffylabs.dev/#/7e6ff6a/324000324000?v=0.6.7
  */
@@ -172,7 +233,8 @@ export declare class Fetch implements HostCallHandler {
     index: number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"HostCallIndex[U32]">;
     basicGasCost: number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"SmallGas[U32]">;
     tracedRegisters: (number & import("@typeberry/utils").WithOpaque<"register index">)[];
-    constructor(currentServiceId: ServiceId, fetch: IFetchExternalities);
+    static new(currentServiceId: ServiceId, fetch: IFetchExternalities): Fetch;
+    private constructor();
     execute(_gas: IGasCounter, regs: HostCallRegisters, memory: HostCallMemory): Promise<undefined | PvmExecution>;
     private getValue;
 }
@@ -185,8 +247,8 @@ export declare enum FetchKind {
     OtherWorkItemImports = 5,
     MyImports = 6,
     WorkPackage = 7,
-    Authorizer = 8,
-    AuthorizationToken = 9,
+    AuthConfiguration = 8,
+    AuthToken = 9,
     RefineContext = 10,
     AllWorkItems = 11,
     OneWorkItem = 12,

package/packages/jam/jam-host-calls/general/fetch.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fetch.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/general/fetch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAA8B,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC1E,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;AAK3E,sBAAsB;AACtB,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;;;;;;OASG;IACH,OAAO,IAAI,SAAS,GAAG,IAAI,CAAC;IAE5B;;;;;;;;;;OAUG;IACH,eAAe,IAAI,SAAS,GAAG,IAAI,CAAC;IAEpC;;;;;;;;;;;OAWG;IACH,iBAAiB,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAEtE;;;;;;;;;;;OAWG;IACH,cAAc,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAEnE;;;;;;;;;OASG;IACH,WAAW,IAAI,SAAS,GAAG,IAAI,CAAC;IAEhC;;;;;;;;;;OAUG;IACH,UAAU,IAAI,SAAS,GAAG,IAAI,CAAC;IAE/B;;;;;;;;;OASG;IACH,kBAAkB,IAAI,SAAS,GAAG,IAAI,CAAC;IAEvC;;;;;;;;;OASG;IACH,aAAa,IAAI,SAAS,GAAG,IAAI,CAAC;IAElC;;;;;;;;;;OAUG;IACH,YAAY,IAAI,SAAS,GAAG,IAAI,CAAC;IAEjC;;;;;;;;;;;OAWG;IACH,WAAW,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAE7C;;;;;;;;;OASG;IACH,eAAe,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAEjD;;;;;;;;OAQG;IACH,uBAAuB,IAAI,SAAS,GAAG,IAAI,CAAC;IAE5C;;;;;;;;OAQG;IACH,oBAAoB,CAAC,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;CACpD;AAID;;GAEG;AACH,qBAAa,KAAM,YAAW,eAAe;aAMzB,gBAAgB,EAAE,SAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,KAAK;IANxB,KAAK,iIAAyB;IAC9B,YAAY,4HAAqB;IACjC,eAAe,uEAAgD;gBAG7C,gBAAgB,EAAE,SAAS,EAC1B,KAAK,EAAE,mBAAmB;IAGvC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,GAAG,YAAY,CAAC;IA6BpH,OAAO,CAAC,QAAQ;CA4EjB;AAED,oBAAY,SAAS;IACnB,SAAS,IAAI;IACb,OAAO,IAAI;IACX,eAAe,IAAI;IACnB,uBAAuB,IAAI;IAC3B,YAAY,IAAI;IAChB,oBAAoB,IAAI;IACxB,SAAS,IAAI;IACb,WAAW,IAAI;IACf,UAAU,IAAI;IACd,kBAAkB,IAAI;IACtB,aAAa,KAAK;IAClB,YAAY,KAAK;IACjB,WAAW,KAAK;IAChB,eAAe,KAAK;IACpB,uBAAuB,KAAK;IAC5B,oBAAoB,KAAK;CAC1B"}
+{"version":3,"file":"fetch.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/general/fetch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAA8B,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC1E,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;AAK3E;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,oBAAY,YAAY;IACtB,YAAY,iBAAiB;IAC7B,MAAM,WAAW;IACjB,UAAU,eAAe;CAC1B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,YAAY,CAAC;IAE5C;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,WAAW,IAAI,SAAS,CAAC;IAEzB;;;;OAIG;IACH,iBAAiB,IAAI,SAAS,CAAC;IAE/B;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,aAAa,IAAI,SAAS,CAAC;IAE3B;;;;OAIG;IACH,YAAY,IAAI,SAAS,CAAC;IAE1B;;;;OAIG;IACH,WAAW,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAE7C;;;;OAIG;IACH,eAAe,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;CAClD;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC;IAEtC;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,OAAO,IAAI,WAAW,CAAC;IAEvB;;;;OAIG;IACH,eAAe,IAAI,SAAS,CAAC;IAE7B;;;;;;;;OAQG;IACH,iBAAiB,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAEtE;;;;;;;;OAQG;IACH,cAAc,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAEnE;;;;OAIG;IACH,WAAW,IAAI,SAAS,CAAC;IAEzB;;;;OAIG;IACH,iBAAiB,IAAI,SAAS,CAAC;IAE/B;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,aAAa,IAAI,SAAS,CAAC;IAE3B;;;;OAIG;IACH,YAAY,IAAI,SAAS,CAAC;IAE1B;;;;OAIG;IACH,WAAW,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAE7C;;;;OAIG;IACH,eAAe,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;CAClD;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,UAAU,CAAC;IAE1C;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,OAAO,IAAI,WAAW,CAAC;IAEvB;;;;OAIG;IACH,uBAAuB,IAAI,SAAS,GAAG,IAAI,CAAC;IAE5C;;;;OAIG;IACH,oBAAoB,CAAC,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;CACpD;AAED;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,kBAAkB,GAAG,YAAY,GAAG,gBAAgB,CAAC;AAIvF;;GAEG;AACH,qBAAa,KAAM,YAAW,eAAe;aAUzB,gBAAgB,EAAE,SAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,KAAK;IAVxB,KAAK,iIAAyB;IAC9B,YAAY,4HAAqB;IACjC,eAAe,uEAAgD;IAE/D,MAAM,CAAC,GAAG,CAAC,gBAAgB,EAAE,SAAS,EAAE,KAAK,EAAE,mBAAmB;IAIlE,OAAO;IAKD,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,GAAG,YAAY,CAAC;IA6BpH,OAAO,CAAC,QAAQ;CA2IjB;AAED,oBAAY,SAAS;IACnB,SAAS,IAAI;IACb,OAAO,IAAI;IACX,eAAe,IAAI;IACnB,uBAAuB,IAAI;IAC3B,YAAY,IAAI;IAChB,oBAAoB,IAAI;IACxB,SAAS,IAAI;IACb,WAAW,IAAI;IACf,iBAAiB,IAAI;IACrB,SAAS,IAAI;IACb,aAAa,KAAK;IAClB,YAAY,KAAK;IACjB,WAAW,KAAK;IAChB,eAAe,KAAK;IACpB,uBAAuB,KAAK;IAC5B,oBAAoB,KAAK;CAC1B"}