@typeberry/lib 0.0.1-5e4911c → 0.0.1-cf41358

package/index.d.ts

@@ -2332,6 +2332,141 @@ declare class Skipper {
   }
 }
 
+/** Infer the type that is described by given descriptor `T` */
+type DescribedBy<T> = T extends Descriptor<infer V> ? V : never;
+
+/**
+ * Converts a class `T` into an object with the same fields as the class.
+ */
+type CodecRecord<T> = {
+  [K in PropertyKeys<T>]: T[K];
+};
+
+/**
+ * Same as `CodecRecord<T>`, but the fields are all optional.
+ */
+type OptionalRecord<T> = {
+  [K in PropertyKeys<T>]?: T[K];
+};
+
+/**
+ * `Descriptor` of a complex type of some class with a bunch of public fields.
+ */
+type DescriptorRecord<T> = {
+  [K in PropertyKeys<T>]: Descriptor<T[K], unknown>;
+};
+
+/**
+ * Simplified `DescriptorRecord`, where all keys must be used as descriptor keys.
+ */
+type SimpleDescriptorRecord<T> = {
+  [K in keyof T]: Descriptor<T[K], unknown>;
+};
+
+/** Only keys that contain properties, not methods. */
+type PropertyKeys<T> = {
+  // biome-ignore lint/complexity/noBannedTypes: We want to skip any function-like types here.
+  [K in Extract<keyof T, string>]: T[K] extends Function ? never : K;
+}[Extract<keyof T, string>];
+
+/** A constructor of basic data object that takes a `Record<T>`. */
+type ClassConstructor<T> = {
+  name: string;
+  create: (o: CodecRecord<T>) => T;
+};
+
+/**
+ * A full codec type, i.e. the `Encode` and `Decode`.
+ */
+type Codec<T> = Encode<T> & Decode<T>;
+
+/**
+ * Type descriptor definition.
+ *
+ * The type descriptor can encode & decode given type `T`, but
+ * also have a `name` and a byte-size hint.
+ *
+ * Descriptors can be composed to form more complex typings.
+ */
+declare class Descriptor<T, V = T> implements Codec<T>, Skip {
+  /** A "lightweight" version of the object. */
+  public readonly View: Descriptor<V>;
+
+  /** New descriptor with specialized `View`. */
+  public static withView<T, V>(
+    name: string,
+    sizeHint: SizeHint,
+    encode: Descriptor<T, V>["encode"],
+    decode: Descriptor<T, V>["decode"],
+    skip: Descriptor<T, V>["skip"],
+    view: Descriptor<V>,
+  ) {
+    return new Descriptor(name, sizeHint, encode, decode, skip, view);
+  }
+
+  /** Create a new descriptor without a specialized `View`. */
+  public static new<T>(
+    name: string,
+    sizeHint: SizeHint,
+    encode: Descriptor<T>["encode"],
+    decode: Descriptor<T>["decode"],
+    skip: Descriptor<T>["skip"],
+  ) {
+    return new Descriptor(name, sizeHint, encode, decode, skip, null);
+  }
+
+  private constructor(
+    /** Descriptive name of the coded data. */
+    public readonly name: string,
+    /** A byte size hint for encoded data. */
+    public readonly sizeHint: SizeHint,
+    /** Encoding function. */
+    public readonly encode: (e: Encoder, elem: T) => void,
+    /** Decoding function. */
+    public readonly decode: (d: Decoder) => T,
+    /** Skipping function. */
+    public readonly skip: (s: Skipper) => void,
+    /** view object. It can be `null` iff T===V. */
+    view: Descriptor<V> | null,
+  ) {
+    // We cast here to make sure that the field is always set.
+    this.View = view ?? (this as unknown as Descriptor<V>);
+  }
+
+  /**
+   * Extract an encoded version of this type from the decoder.
+   *
+   * This function skips the object instead of decoding it,
+   * allowing to retrieve the encoded portion of the object from `Decoder`.
+   */
+  public skipEncoded(decoder: Decoder) {
+    const initBytes = decoder.bytesRead();
+    this.skip(new Skipper(decoder));
+    const endBytes = decoder.bytesRead();
+    return BytesBlob.blobFrom(decoder.source.subarray(initBytes, endBytes));
+  }
+
+  /** Return a new descriptor that converts data into some other type. */
+  public convert<F>(input: (i: F) => T, output: (i: T) => F): Descriptor<F, V> {
+    return new Descriptor(
+      this.name,
+      this.sizeHint,
+      (e: Encoder, elem: F) => this.encode(e, input(elem)),
+      (d: Decoder) => output(this.decode(d)),
+      this.skip,
+      this.View,
+    );
+  }
+
+  /** Safely cast the descriptor value to a opaque type. */
+  public asOpaque<R>(): Descriptor<Opaque<T, TokenOf<R, T>>, V> {
+    return this.convert(
+      (i) => seeThrough(i),
+      (o) => asOpaqueType<T, TokenOf<R, T>>(o),
+    );
+  }
+}
+
 type LengthRange = {
   /** Inclusive value of minimal length of the sequence. */
   minLength: number;
@@ -2624,98 +2759,6 @@ declare const TYPICAL_SEQUENCE_LENGTH = 64;
  */
 declare const TYPICAL_DICTIONARY_LENGTH = 32;
 
-/**
- * A full codec type, i.e. the `Encode` and `Decode`.
- */
-type Codec<T> = Encode<T> & Decode<T>;
-
-/**
- * Type descriptor definition.
- *
- * The type descriptor can encode & decode given type `T`, but
- * also have a `name` and a byte-size hint.
- *
- * Descriptors can be composed to form more complex typings.
- */
-declare class Descriptor<T, V = T> implements Codec<T>, Skip {
-  /** A "lightweight" version of the object. */
-  public readonly View: Descriptor<V>;
-
-  /** New descriptor with specialized `View`. */
-  public static withView<T, V>(
-    name: string,
-    sizeHint: SizeHint,
-    encode: Descriptor<T, V>["encode"],
-    decode: Descriptor<T, V>["decode"],
-    skip: Descriptor<T, V>["skip"],
-    view: Descriptor<V>,
-  ) {
-    return new Descriptor(name, sizeHint, encode, decode, skip, view);
-  }
-
-  /** Create a new descriptor without a specialized `View`. */
-  public static new<T>(
-    name: string,
-    sizeHint: SizeHint,
-    encode: Descriptor<T>["encode"],
-    decode: Descriptor<T>["decode"],
-    skip: Descriptor<T>["skip"],
-  ) {
-    return new Descriptor(name, sizeHint, encode, decode, skip, null);
-  }
-
-  private constructor(
-    /** Descriptive name of the coded data. */
-    public readonly name: string,
-    /** A byte size hint for encoded data. */
-    public readonly sizeHint: SizeHint,
-    /** Encoding function. */
-    public readonly encode: (e: Encoder, elem: T) => void,
-    /** Decoding function. */
-    public readonly decode: (d: Decoder) => T,
-    /** Skipping function. */
-    public readonly skip: (s: Skipper) => void,
-    /** view object. It can be `null` iff T===V. */
-    view: Descriptor<V> | null,
-  ) {
-    // We cast here to make sure that the field is always set.
-    this.View = view ?? (this as unknown as Descriptor<V>);
-  }
-
-  /**
-   * Extract an encoded version of this type from the decoder.
-   *
-   * This function skips the object instead of decoding it,
-   * allowing to retrieve the encoded portion of the object from `Decoder`.
-   */
-  public skipEncoded(decoder: Decoder) {
-    const initBytes = decoder.bytesRead();
-    this.skip(new Skipper(decoder));
-    const endBytes = decoder.bytesRead();
-    return BytesBlob.blobFrom(decoder.source.subarray(initBytes, endBytes));
-  }
-
-  /** Return a new descriptor that converts data into some other type. */
-  public convert<F>(input: (i: F) => T, output: (i: T) => F): Descriptor<F, V> {
-    return new Descriptor(
-      this.name,
-      this.sizeHint,
-      (e: Encoder, elem: F) => this.encode(e, input(elem)),
-      (d: Decoder) => output(this.decode(d)),
-      this.skip,
-      this.View,
-    );
-  }
-
-  /** Safely cast the descriptor value to a opaque type. */
-  public asOpaque<R>(): Descriptor<Opaque<T, TokenOf<R, T>>, V> {
-    return this.convert(
-      (i) => seeThrough(i),
-      (o) => asOpaqueType<T, TokenOf<R, T>>(o),
-    );
-  }
-}
-
 /**
  * Convert a descriptor for regular array into readonly one.
  *
@@ -2736,49 +2779,6 @@ declare function readonlyArray<T, V>(desc: Descriptor<T[], V>): Descriptor<reado
   );
 }
 
-/** Infer the type that is described by given descriptor `T` */
-type DescribedBy<T> = T extends Descriptor<infer V> ? V : never;
-
-/**
- * Converts a class `T` into an object with the same fields as the class.
- */
-type CodecRecord<T> = {
-  [K in PropertyKeys<T>]: T[K];
-};
-
-/**
- * Same as `CodecRecord<T>`, but the fields are all optional.
- */
-type OptionalRecord<T> = {
-  [K in PropertyKeys<T>]?: T[K];
-};
-
-/**
- * `Descriptor` of a complex type of some class with a bunch of public fields.
- */
-type DescriptorRecord<T> = {
-  [K in PropertyKeys<T>]: Descriptor<T[K], unknown>;
-};
-
-/**
- * Simplified `DescriptorRecord`, where all keys must be used as descriptor keys.
- */
-type SimpleDescriptorRecord<T> = {
-  [K in keyof T]: Descriptor<T[K], unknown>;
-};
-
-/** Only keys that contain properties, not methods. */
-type PropertyKeys<T> = {
-  // biome-ignore lint/complexity/noBannedTypes: We want to skip any function-like types here.
-  [K in Extract<keyof T, string>]: T[K] extends Function ? never : K;
-}[Extract<keyof T, string>];
-
-/** A constructor of basic data object that takes a `Record<T>`. */
-type ClassConstructor<T> = {
-  name: string;
-  create: (o: CodecRecord<T>) => T;
-};
-
 declare function exactHint(bytes: number): SizeHint {
   return {
     bytes,
@@ -3399,6 +3399,9 @@ type index$o_SimpleDescriptorRecord<T> = SimpleDescriptorRecord<T>;
 type index$o_SizeHint = SizeHint;
 declare const index$o_TYPICAL_DICTIONARY_LENGTH: typeof TYPICAL_DICTIONARY_LENGTH;
 declare const index$o_TYPICAL_SEQUENCE_LENGTH: typeof TYPICAL_SEQUENCE_LENGTH;
+type index$o_ViewField<T, V> = ViewField<T, V>;
+declare const index$o_ViewField: typeof ViewField;
+type index$o_ViewOf<T, D extends DescriptorRecord<T>> = ViewOf<T, D>;
 declare const index$o_addSizeHints: typeof addSizeHints;
 declare const index$o_decodeVariableLengthExtraBytes: typeof decodeVariableLengthExtraBytes;
 declare const index$o_exactHint: typeof exactHint;
@@ -3411,8 +3414,8 @@ declare const index$o_sequenceViewVarLen: typeof sequenceViewVarLen;
 declare const index$o_tryAsExactBytes: typeof tryAsExactBytes;
 declare const index$o_validateLength: typeof validateLength;
 declare namespace index$o {
-  export { index$o_DEFAULT_START_LENGTH as DEFAULT_START_LENGTH, index$o_Decoder as Decoder, index$o_Descriptor as Descriptor, index$o_Encoder as Encoder, index$o_MASKS as MASKS, index$o_MAX_LENGTH as MAX_LENGTH, index$o_ObjectView as ObjectView, index$o_SequenceView as SequenceView, index$o_TYPICAL_DICTIONARY_LENGTH as TYPICAL_DICTIONARY_LENGTH, index$o_TYPICAL_SEQUENCE_LENGTH as TYPICAL_SEQUENCE_LENGTH, index$o_addSizeHints as addSizeHints, codec$1 as codec, index$o_decodeVariableLengthExtraBytes as decodeVariableLengthExtraBytes, index$o_exactHint as exactHint, index$o_forEachDescriptor as forEachDescriptor, index$o_hasUniqueView as hasUniqueView, index$o_objectView as objectView, index$o_readonlyArray as readonlyArray, index$o_sequenceViewFixLen as sequenceViewFixLen, index$o_sequenceViewVarLen as sequenceViewVarLen, index$o_tryAsExactBytes as tryAsExactBytes, index$o_validateLength as validateLength };
-  export type { index$o_ClassConstructor as ClassConstructor, index$o_Codec as Codec, index$o_CodecRecord as CodecRecord, index$o_Decode as Decode, index$o_DescribedBy as DescribedBy, index$o_DescriptorRecord as DescriptorRecord, index$o_Encode as Encode, index$o_LengthRange as LengthRange, index$o_OptionalRecord as OptionalRecord, Options$1 as Options, index$o_PropertyKeys as PropertyKeys, index$o_SimpleDescriptorRecord as SimpleDescriptorRecord, index$o_SizeHint as SizeHint };
+  export { index$o_DEFAULT_START_LENGTH as DEFAULT_START_LENGTH, index$o_Decoder as Decoder, index$o_Descriptor as Descriptor, index$o_Encoder as Encoder, index$o_MASKS as MASKS, index$o_MAX_LENGTH as MAX_LENGTH, index$o_ObjectView as ObjectView, index$o_SequenceView as SequenceView, index$o_TYPICAL_DICTIONARY_LENGTH as TYPICAL_DICTIONARY_LENGTH, index$o_TYPICAL_SEQUENCE_LENGTH as TYPICAL_SEQUENCE_LENGTH, index$o_ViewField as ViewField, index$o_addSizeHints as addSizeHints, codec$1 as codec, index$o_decodeVariableLengthExtraBytes as decodeVariableLengthExtraBytes, index$o_exactHint as exactHint, index$o_forEachDescriptor as forEachDescriptor, index$o_hasUniqueView as hasUniqueView, index$o_objectView as objectView, index$o_readonlyArray as readonlyArray, index$o_sequenceViewFixLen as sequenceViewFixLen, index$o_sequenceViewVarLen as sequenceViewVarLen, index$o_tryAsExactBytes as tryAsExactBytes, index$o_validateLength as validateLength };
+  export type { index$o_ClassConstructor as ClassConstructor, index$o_Codec as Codec, index$o_CodecRecord as CodecRecord, index$o_Decode as Decode, index$o_DescribedBy as DescribedBy, index$o_DescriptorRecord as DescriptorRecord, index$o_Encode as Encode, index$o_LengthRange as LengthRange, index$o_OptionalRecord as OptionalRecord, Options$1 as Options, index$o_PropertyKeys as PropertyKeys, index$o_SimpleDescriptorRecord as SimpleDescriptorRecord, index$o_SizeHint as SizeHint, index$o_ViewOf as ViewOf };
 }
 
 /**
@@ -5550,6 +5553,39 @@ declare namespace disputes {
  */
 type BeefyHash = Opaque<OpaqueHash, "BeefyHash">;
 
+/** Authorizer hash. */
+type AuthorizerHash = Opaque<OpaqueHash, "AuthorizerHash">;
+
+/** Blake2B hash of a work package. */
+type WorkPackageHash = Opaque<OpaqueHash, "WorkPackageHash">;
+
+/** Work package exported segments merkle root hash. */
+type ExportsRootHash = Opaque<OpaqueHash, "ExportsRootHash">;
+
+/**
+ * Mapping between work package hash and root hash of it's exports.
+ *
+ * Used to construct a dictionary.
+ */
+declare class WorkPackageInfo extends WithDebug {
+  static Codec = codec.Class(WorkPackageInfo, {
+    workPackageHash: codec.bytes(HASH_SIZE).asOpaque<WorkPackageHash>(),
+    segmentTreeRoot: codec.bytes(HASH_SIZE).asOpaque<ExportsRootHash>(),
+  });
+
+  private constructor(
+    /** Hash of the described work package. */
+    readonly workPackageHash: WorkPackageHash,
+    /** Exports root hash. */
+    readonly segmentTreeRoot: ExportsRootHash,
+  ) {
+    super();
+  }
+
+  static create({ workPackageHash, segmentTreeRoot }: CodecRecord<WorkPackageInfo>) {
+    return new WorkPackageInfo(workPackageHash, segmentTreeRoot);
+  }
+}
 /**
  * `X`: Refinement Context - state of the chain at the point
  * that the report's corresponding work-package was evaluated.
@@ -5595,12 +5631,17 @@ declare class RefineContext extends WithDebug {
   }
 }
 
+type refineContext_AuthorizerHash = AuthorizerHash;
 type refineContext_BeefyHash = BeefyHash;
+type refineContext_ExportsRootHash = ExportsRootHash;
 type refineContext_RefineContext = RefineContext;
 declare const refineContext_RefineContext: typeof RefineContext;
+type refineContext_WorkPackageHash = WorkPackageHash;
+type refineContext_WorkPackageInfo = WorkPackageInfo;
+declare const refineContext_WorkPackageInfo: typeof WorkPackageInfo;
 declare namespace refineContext {
-  export { refineContext_RefineContext as RefineContext };
-  export type { refineContext_BeefyHash as BeefyHash };
+  export { refineContext_RefineContext as RefineContext, refineContext_WorkPackageInfo as WorkPackageInfo };
+  export type { refineContext_AuthorizerHash as AuthorizerHash, refineContext_BeefyHash as BeefyHash, refineContext_ExportsRootHash as ExportsRootHash, refineContext_WorkPackageHash as WorkPackageHash };
 }
 
 /** `W_E`: The basic size of erasure-coded pieces in octets. See equation H.6. */
@@ -6093,14 +6134,6 @@ declare namespace workResult {
   };
 }
 
-/** Authorizer hash. */
-type AuthorizerHash = Opaque<OpaqueHash, "AuthorizerHash">;
-
-/** Blake2B hash of a work package. */
-type WorkPackageHash = Opaque<OpaqueHash, "WorkPackageHash">;
-/** Work package exported segments merkle root hash. */
-type ExportsRootHash = Opaque<OpaqueHash, "ExportsRootHash">;
-
 /**
  * Details about the work package being reported on.
  *
@@ -6135,31 +6168,6 @@ declare class WorkPackageSpec extends WithDebug {
   }
 }
 
-/**
- * Mapping between work package hash and root hash of it's exports.
- *
- * Used to construct a dictionary.
- */
-declare class WorkPackageInfo extends WithDebug {
-  static Codec = codec.Class(WorkPackageInfo, {
-    workPackageHash: codec.bytes(HASH_SIZE).asOpaque<WorkPackageHash>(),
-    segmentTreeRoot: codec.bytes(HASH_SIZE).asOpaque<ExportsRootHash>(),
-  });
-
-  private constructor(
-    /** Hash of the described work package. */
-    readonly workPackageHash: WorkPackageHash,
-    /** Exports root hash. */
-    readonly segmentTreeRoot: ExportsRootHash,
-  ) {
-    super();
-  }
-
-  static create({ workPackageHash, segmentTreeRoot }: CodecRecord<WorkPackageInfo>) {
-    return new WorkPackageInfo(workPackageHash, segmentTreeRoot);
-  }
-}
-
 /**
  * A report of execution of some work package.
  *
@@ -6266,11 +6274,6 @@ declare class WorkReport extends WorkReportNoCodec {
     : WorkReportCodecPre070;
 }
 
-type workReport_AuthorizerHash = AuthorizerHash;
-type workReport_ExportsRootHash = ExportsRootHash;
-type workReport_WorkPackageHash = WorkPackageHash;
-type workReport_WorkPackageInfo = WorkPackageInfo;
-declare const workReport_WorkPackageInfo: typeof WorkPackageInfo;
 type workReport_WorkPackageSpec = WorkPackageSpec;
 declare const workReport_WorkPackageSpec: typeof WorkPackageSpec;
 type workReport_WorkReport = WorkReport;
@@ -6280,8 +6283,13 @@ declare const workReport_WorkReportCodecPre070: typeof WorkReportCodecPre070;
 type workReport_WorkReportNoCodec = WorkReportNoCodec;
 declare const workReport_WorkReportNoCodec: typeof WorkReportNoCodec;
 declare namespace workReport {
-  export { workReport_WorkPackageInfo as WorkPackageInfo, workReport_WorkPackageSpec as WorkPackageSpec, workReport_WorkReport as WorkReport, workReport_WorkReportCodec as WorkReportCodec, workReport_WorkReportCodecPre070 as WorkReportCodecPre070, workReport_WorkReportNoCodec as WorkReportNoCodec };
-  export type { workReport_AuthorizerHash as AuthorizerHash, workReport_ExportsRootHash as ExportsRootHash, workReport_WorkPackageHash as WorkPackageHash };
+  export {
+    workReport_WorkPackageSpec as WorkPackageSpec,
+    workReport_WorkReport as WorkReport,
+    workReport_WorkReportCodec as WorkReportCodec,
+    workReport_WorkReportCodecPre070 as WorkReportCodecPre070,
+    workReport_WorkReportNoCodec as WorkReportNoCodec,
+  };
 }
 
 /**
@@ -16618,7 +16626,7 @@ interface HostCallHandler {
   readonly gasCost: SmallGas | ((reg: IHostCallRegisters) => Gas);
 
   /** Currently executing service id. */
-  readonly currentServiceId: ServiceId;
+  readonly currentServiceId: U32;
 
   /** Input&Output registers that we should add to tracing log. */
   readonly tracedRegisters: RegisterIndex[];
@@ -16631,14 +16639,21 @@ interface HostCallHandler {
   execute(gas: GasCounter, regs: IHostCallRegisters, memory: IHostCallMemory): Promise<undefined | PvmExecution>;
 }
 
-// TODO [ToDr] Rename to just `HostCalls`
 /** Container for all available host calls. */
 declare class HostCallsManager {
   private readonly hostCalls = new Map<HostCallIndex, HostCallHandler>();
-  private readonly missing = new Missing();
+  private readonly missing;
+
+  constructor({
+    missing,
+    handlers = [],
+  }: {
+    missing: HostCallHandler;
+    handlers?: HostCallHandler[];
+  }) {
+    this.missing = missing;
 
-  constructor(...hostCallHandlers: HostCallHandler[]) {
-    for (const handler of hostCallHandlers) {
+    for (const handler of handlers) {
       check(this.hostCalls.get(handler.index) === undefined, `Overwriting host call handler at index ${handler.index}`);
       this.hostCalls.set(handler.index, handler);
     }
@@ -19257,7 +19272,7 @@ declare class WorkPackageExecutor {
 
 declare class PvmExecutor {
   private readonly pvm: HostCalls;
-  private hostCalls = new HostCalls();
+  private hostCalls = new HostCallsManager({ missing: new Missing() });
   private pvmInstanceManager = new PvmInstanceManager(4);
 
   constructor(private serviceCode: BytesBlob) {

package/index.js

@@ -1847,6 +1847,73 @@ class Skipper {
     }
 }
 
+/**
+ * Type descriptor definition.
+ *
+ * The type descriptor can encode & decode given type `T`, but
+ * also have a `name` and a byte-size hint.
+ *
+ * Descriptors can be composed to form more complex typings.
+ */
+class Descriptor {
+    name;
+    sizeHint;
+    encode;
+    decode;
+    skip;
+    /** A "lightweight" version of the object. */
+    View;
+    /** New descriptor with specialized `View`. */
+    static withView(name, sizeHint, encode, decode, skip, view) {
+        return new Descriptor(name, sizeHint, encode, decode, skip, view);
+    }
+    /** Create a new descriptor without a specialized `View`. */
+    static new(name, sizeHint, encode, decode, skip) {
+        return new Descriptor(name, sizeHint, encode, decode, skip, null);
+    }
+    constructor(
+    /** Descriptive name of the coded data. */
+    name, 
+    /** A byte size hint for encoded data. */
+    sizeHint, 
+    /** Encoding function. */
+    encode, 
+    /** Decoding function. */
+    decode, 
+    /** Skipping function. */
+    skip, 
+    /** view object. It can be `null` iff T===V. */
+    view) {
+        this.name = name;
+        this.sizeHint = sizeHint;
+        this.encode = encode;
+        this.decode = decode;
+        this.skip = skip;
+        // We cast here to make sure that the field is always set.
+        this.View = view ?? this;
+    }
+    /**
+     * Extract an encoded version of this type from the decoder.
+     *
+     * This function skips the object instead of decoding it,
+     * allowing to retrieve the encoded portion of the object from `Decoder`.
+     */
+    skipEncoded(decoder) {
+        const initBytes = decoder.bytesRead();
+        this.skip(new Skipper(decoder));
+        const endBytes = decoder.bytesRead();
+        return BytesBlob.blobFrom(decoder.source.subarray(initBytes, endBytes));
+    }
+    /** Return a new descriptor that converts data into some other type. */
+    convert(input, output) {
+        return new Descriptor(this.name, this.sizeHint, (e, elem) => this.encode(e, input(elem)), (d) => output(this.decode(d)), this.skip, this.View);
+    }
+    /** Safely cast the descriptor value to a opaque type. */
+    asOpaque() {
+        return this.convert((i) => seeThrough(i), (o) => asOpaqueType(o));
+    }
+}
+
 /** Validate that given sequence length is within expected range. */
 function validateLength(range, length, context) {
     if (length < range.minLength) {
@@ -2078,72 +2145,6 @@ const TYPICAL_SEQUENCE_LENGTH = 64;
  * TODO [ToDr] [opti] This value should be updated when we run some real-data bechmarks.
  */
 const TYPICAL_DICTIONARY_LENGTH = 32;
-/**
- * Type descriptor definition.
- *
- * The type descriptor can encode & decode given type `T`, but
- * also have a `name` and a byte-size hint.
- *
- * Descriptors can be composed to form more complex typings.
- */
-class Descriptor {
-    name;
-    sizeHint;
-    encode;
-    decode;
-    skip;
-    /** A "lightweight" version of the object. */
-    View;
-    /** New descriptor with specialized `View`. */
-    static withView(name, sizeHint, encode, decode, skip, view) {
-        return new Descriptor(name, sizeHint, encode, decode, skip, view);
-    }
-    /** Create a new descriptor without a specialized `View`. */
-    static new(name, sizeHint, encode, decode, skip) {
-        return new Descriptor(name, sizeHint, encode, decode, skip, null);
-    }
-    constructor(
-    /** Descriptive name of the coded data. */
-    name, 
-    /** A byte size hint for encoded data. */
-    sizeHint, 
-    /** Encoding function. */
-    encode, 
-    /** Decoding function. */
-    decode, 
-    /** Skipping function. */
-    skip, 
-    /** view object. It can be `null` iff T===V. */
-    view) {
-        this.name = name;
-        this.sizeHint = sizeHint;
-        this.encode = encode;
-        this.decode = decode;
-        this.skip = skip;
-        // We cast here to make sure that the field is always set.
-        this.View = view ?? this;
-    }
-    /**
-     * Extract an encoded version of this type from the decoder.
-     *
-     * This function skips the object instead of decoding it,
-     * allowing to retrieve the encoded portion of the object from `Decoder`.
-     */
-    skipEncoded(decoder) {
-        const initBytes = decoder.bytesRead();
-        this.skip(new Skipper(decoder));
-        const endBytes = decoder.bytesRead();
-        return BytesBlob.blobFrom(decoder.source.subarray(initBytes, endBytes));
-    }
-    /** Return a new descriptor that converts data into some other type. */
-    convert(input, output) {
-        return new Descriptor(this.name, this.sizeHint, (e, elem) => this.encode(e, input(elem)), (d) => output(this.decode(d)), this.skip, this.View);
-    }
-    /** Safely cast the descriptor value to a opaque type. */
-    asOpaque() {
-        return this.convert((i) => seeThrough(i), (o) => asOpaqueType(o));
-    }
-}
 /**
  * Convert a descriptor for regular array into readonly one.
  *
@@ -2452,6 +2453,7 @@ var index$o = /*#__PURE__*/Object.freeze({
   ObjectView: ObjectView,
   SequenceView: SequenceView,
   TYPICAL_DICTIONARY_LENGTH: TYPICAL_DICTIONARY_LENGTH,
+  ViewField: ViewField,
   addSizeHints: addSizeHints,
   get codec () { return codec$1; },
   decodeVariableLengthExtraBytes: decodeVariableLengthExtraBytes,
@@ -5752,6 +5754,31 @@ const codecPerEpochBlock = (val) => codecWithContext((context) => {
     return codecKnownSizeArray(val, { fixedLength: context.epochLength });
 });
 
+/**
+ * Mapping between work package hash and root hash of it's exports.
+ *
+ * Used to construct a dictionary.
+ */
+class WorkPackageInfo extends WithDebug {
+    workPackageHash;
+    segmentTreeRoot;
+    static Codec = codec$1.Class(WorkPackageInfo, {
+        workPackageHash: codec$1.bytes(HASH_SIZE).asOpaque(),
+        segmentTreeRoot: codec$1.bytes(HASH_SIZE).asOpaque(),
+    });
+    constructor(
+    /** Hash of the described work package. */
+    workPackageHash, 
+    /** Exports root hash. */
+    segmentTreeRoot) {
+        super();
+        this.workPackageHash = workPackageHash;
+        this.segmentTreeRoot = segmentTreeRoot;
+    }
+    static create({ workPackageHash, segmentTreeRoot }) {
+        return new WorkPackageInfo(workPackageHash, segmentTreeRoot);
+    }
+}
 /**
  * `X`: Refinement Context - state of the chain at the point
  * that the report's corresponding work-package was evaluated.
@@ -5801,7 +5828,8 @@ class RefineContext extends WithDebug {
 
 var refineContext = /*#__PURE__*/Object.freeze({
   __proto__: null,
-  RefineContext: RefineContext
+  RefineContext: RefineContext,
+  WorkPackageInfo: WorkPackageInfo
 });
 
 /** `W_E`: The basic size of erasure-coded pieces in octets. See equation H.6. */
@@ -6272,31 +6300,6 @@ class WorkPackageSpec extends WithDebug {
         this.exportsCount = exportsCount;
     }
 }
-/**
- * Mapping between work package hash and root hash of it's exports.
- *
- * Used to construct a dictionary.
- */
-class WorkPackageInfo extends WithDebug {
-    workPackageHash;
-    segmentTreeRoot;
-    static Codec = codec$1.Class(WorkPackageInfo, {
-        workPackageHash: codec$1.bytes(HASH_SIZE).asOpaque(),
-        segmentTreeRoot: codec$1.bytes(HASH_SIZE).asOpaque(),
-    });
-    constructor(
-    /** Hash of the described work package. */
-    workPackageHash, 
-    /** Exports root hash. */
-    segmentTreeRoot) {
-        super();
-        this.workPackageHash = workPackageHash;
-        this.segmentTreeRoot = segmentTreeRoot;
-    }
-    static create({ workPackageHash, segmentTreeRoot }) {
-        return new WorkPackageInfo(workPackageHash, segmentTreeRoot);
-    }
-}
 /**
  * A report of execution of some work package.
  *
@@ -6385,7 +6388,6 @@ class WorkReport extends WorkReportNoCodec {
 
 var workReport = /*#__PURE__*/Object.freeze({
   __proto__: null,
-  WorkPackageInfo: WorkPackageInfo,
   WorkPackageSpec: WorkPackageSpec,
   WorkReport: WorkReport,
   WorkReportNoCodec: WorkReportNoCodec
@@ -16598,13 +16600,13 @@ class InterpreterInstanceManager {
 }
 
 const logger = Logger.new(undefined, "host-calls-pvm");
-// TODO [ToDr] Rename to just `HostCalls`
 /** Container for all available host calls. */
 class HostCallsManager {
     hostCalls = new Map();
-    missing = new Missing();
-    constructor(...hostCallHandlers) {
-        for (const handler of hostCallHandlers) {
+    missing;
+    constructor({ missing, handlers = [], }) {
+        this.missing = missing;
+        for (const handler of handlers) {
             check(this.hostCalls.get(handler.index) === undefined, `Overwriting host call handler at index ${handler.index}`);
             this.hostCalls.set(handler.index, handler);
         }
@@ -16627,16 +16629,6 @@ class HostCallsManager {
         logger.trace(`[${currentServiceId}] ${context} ${name}${requested}.  Gas: ${gas}. Regs: ${registerValues}.`);
     }
 }
-class Missing {
-    index = tryAsHostCallIndex(2 ** 32 - 1);
-    gasCost = tryAsSmallGas(10);
-    currentServiceId = CURRENT_SERVICE_ID;
-    tracedRegisters = traceRegisters(7);
-    execute(_gas, regs, _memory) {
-        regs.set(7, HostCallResult.WHAT);
-        return Promise.resolve(undefined);
-    }
-}
 
 var index$4 = /*#__PURE__*/Object.freeze({
   __proto__: null,
@@ -17288,6 +17280,17 @@ var index$1 = /*#__PURE__*/Object.freeze({
   validatorDataFromJson: validatorDataFromJson
 });
 
+class Missing {
+    index = tryAsHostCallIndex(2 ** 32 - 1);
+    gasCost = tryAsSmallGas(10);
+    currentServiceId = CURRENT_SERVICE_ID;
+    tracedRegisters = traceRegisters(7);
+    execute(_gas, regs, _memory) {
+        regs.set(7, HostCallResult.WHAT);
+        return Promise.resolve(undefined);
+    }
+}
+
 var ServiceExecutorError;
 (function (ServiceExecutorError) {
     ServiceExecutorError[ServiceExecutorError["NoLookup"] = 0] = "NoLookup";
@@ -17395,7 +17398,7 @@ class WorkPackageExecutor {
 class PvmExecutor {
     serviceCode;
     pvm;
-    hostCalls = new HostCallsManager();
+    hostCalls = new HostCallsManager({ missing: new Missing() });
     pvmInstanceManager = new InterpreterInstanceManager(4);
     constructor(serviceCode) {
         this.serviceCode = serviceCode;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typeberry/lib",
-  "version": "0.0.1-5e4911c",
+  "version": "0.0.1-cf41358",
   "main": "index.js",
   "author": "Fluffy Labs",
   "license": "MPL-2.0"