@typeberry/lib 0.2.0-79dc2d4 → 0.2.0-9cdd1b8

package/index.d.ts

@@ -296,8 +296,7 @@ type Uninstantiable = void & { __brand: "uninstantiable" };
 
 type StringLiteral<Type> = Type extends string ? (string extends Type ? never : Type) : never;
 
-// TODO [MaSi]: it should be "unique symbol" but in debugger adapter we have opaque types from different packages and it is problematic.
-declare const __OPAQUE_TYPE__ = "__INTERNAL_OPAQUE_ID__";
+declare const __OPAQUE_TYPE__: unique symbol;
 
 type WithOpaque<Token extends string> = {
   readonly [__OPAQUE_TYPE__]: Token;
@@ -1277,15 +1276,12 @@ declare namespace index$s {
   };
 }
 
-/**
- * TODO [ToDr] This should be `unique symbol`, but for some reason
- * I can't figure out how to build `@typeberry/blocks` package.
- */
-declare const __REPRESENTATION_BYTES__: "REPRESENTATION_BYTES";
+declare const __REPRESENTATION_BYTES__: unique symbol;
 
 type WithBytesRepresentation<Bytes extends number> = {
   readonly [__REPRESENTATION_BYTES__]: Bytes;
 };
+
 declare const asTypedNumber = <T, N extends number>(v: T): T & WithBytesRepresentation<N> =>
   v as T & WithBytesRepresentation<N>;
 
@@ -4989,6 +4985,8 @@ declare const EC_SEGMENT_SIZE = 4104;
  * Additional data that has to be passed to the codec to correctly parse incoming bytes.
  */
 declare class ChainSpec extends WithDebug {
+  /** Human-readable name of the chain spec. */
+  readonly name: string;
   /** Number of validators. */
   readonly validatorsCount: U16;
   /** 1/3 of number of validators */
@@ -5033,6 +5031,7 @@ declare class ChainSpec extends WithDebug {
   constructor(data: Omit<ChainSpec, "validatorsSuperMajority" | "thirdOfValidators" | "erasureCodedPieceSize">) {
     super();
 
+    this.name = data.name;
     this.validatorsCount = data.validatorsCount;
     this.thirdOfValidators = tryAsU16(Math.floor(data.validatorsCount / 3));
     this.validatorsSuperMajority = tryAsU16(Math.floor(data.validatorsCount / 3) * 2 + 1);
@@ -5054,6 +5053,7 @@ declare class ChainSpec extends WithDebug {
 
 /** Set of values for "tiny" chain as defined in JAM test vectors. */
 declare const tinyChainSpec = new ChainSpec({
+  name: "tiny",
   validatorsCount: tryAsU16(6),
   coresCount: tryAsU16(2),
   epochLength: tryAsU32(12),
@@ -5076,6 +5076,7 @@ declare const tinyChainSpec = new ChainSpec({
  * Please note that only validatorsCount and epochLength are "full", the rest is copied from "tiny".
  */
 declare const fullChainSpec = new ChainSpec({
+  name: "full",
   validatorsCount: tryAsU16(1023),
   coresCount: tryAsU16(341),
   epochLength: tryAsU32(600),
@@ -8174,7 +8175,7 @@ declare const DEFAULT_CONFIG = "default";
 declare const NODE_DEFAULTS = {
   name: isBrowser() ? "browser" : os.hostname(),
   config: [DEFAULT_CONFIG],
-  pvm: PvmBackend.BuiltIn,
+  pvm: PvmBackend.Ananas,
 };
 
 /** Chain spec chooser. */
@@ -9286,7 +9287,7 @@ declare function accumulationOutputComparator(a: AccumulationOutput, b: Accumula
     return Ordering.Greater;
   }
 
-  return Ordering.Equal;
+  return a.output.compare(b.output);
 }
 
 /**
@@ -11021,6 +11022,18 @@ declare class InMemoryService extends WithDebug implements Service {
     };
   }
 
+  /** Return identical `InMemoryService` which does not share any references. */
+  clone(): InMemoryService {
+    return new InMemoryService(this.serviceId, {
+      info: ServiceAccountInfo.create(this.data.info),
+      preimages: HashDictionary.fromEntries(Array.from(this.data.preimages.entries())),
+      lookupHistory: HashDictionary.fromEntries(
+        Array.from(this.data.lookupHistory.entries()).map(([k, v]) => [k, v.slice()]),
+      ),
+      storage: new Map(this.data.storage.entries()),
+    });
+  }
+
   /**
    * Create a new in-memory service from another state service
    * by copying all given entries.
@@ -12108,7 +12121,6 @@ declare function* serializeRemovedServices(servicesRemoved: ServiceId[] | undefi
     return;
   }
   for (const serviceId of servicesRemoved) {
-    // TODO [ToDr] what about all data associated with a service?
     const codec = serialize.serviceData(serviceId);
     yield [StateEntryUpdateAction.Remove, codec.key, EMPTY_BLOB];
   }
@@ -14243,13 +14255,6 @@ declare enum ForgetPreimageError {
 
 /**
  * Errors that may occur when the transfer is invoked.
- *
- * TODO [ToDr] Since I don't fully understand yet which of these
- * could be checked directly in the host call (i.e. if we will
- * have access to the service account state there) for now I keep
- * them safely in the `AccumulationPartialState` implementation.
- * However, if possible, these should be moved directly to the
- * host call implementation.
  */
 declare enum TransferError {
   /** The destination service does not exist. */
@@ -18980,7 +18985,7 @@ declare class AccumulationStateUpdate {
     /** Pending transfers. */
     public transfers: PendingTransfer[],
     /** Yielded accumulation root. */
-    public readonly yieldedRoots: Map<ServiceId, OpaqueHash> = new Map(),
+    public yieldedRoot: OpaqueHash | null = null,
   ) {}
 
   /** Create new empty state update. */
@@ -19019,7 +19024,7 @@ declare class AccumulationStateUpdate {
       storage: deepCloneMapWithArray(from.services.storage),
     };
     const transfers = [...from.transfers];
-    const update = new AccumulationStateUpdate(serviceUpdates, transfers, new Map(from.yieldedRoots));
+    const update = new AccumulationStateUpdate(serviceUpdates, transfers, from.yieldedRoot);
 
     // update entries
     for (const [k, v] of from.authorizationQueues) {
@@ -19045,6 +19050,13 @@ declare class AccumulationStateUpdate {
     this.transfers = [];
     return transfers;
   }
+
+  /** Retrieve and clear yielded root. */
+  takeYieldedRoot() {
+    const yieldedRoot = this.yieldedRoot;
+    this.yieldedRoot = null;
+    return yieldedRoot;
+  }
 }
 
 type StateSlice = Pick<State, "getService" | "privilegedServices">;
@@ -19145,6 +19157,21 @@ declare class PartiallyUpdatedState<T extends StateSlice = StateSlice> {
     hash: PreimageHash,
     length: U64,
   ): LookupHistoryItem | null {
+    const updatedService = this.stateUpdate.services.updated.get(serviceId);
+
+    /** Return lookup history item for newly created service */
+    if (updatedService !== undefined && updatedService.action.kind === UpdateServiceKind.Create) {
+      const lookupHistoryItem = updatedService.action.lookupHistory;
+
+      if (
+        lookupHistoryItem !== null &&
+        hash.isEqualTo(lookupHistoryItem.hash) &&
+        length === BigInt(lookupHistoryItem.length)
+      ) {
+        return lookupHistoryItem;
+      }
+    }
+
     const preimages = this.stateUpdate.services.preimages.get(serviceId) ?? [];
     // TODO [ToDr] This is most likely wrong. We may have `provide` and `remove` within
     // the same state update. We should however switch to proper "updated state"
@@ -19377,6 +19404,30 @@ declare function emptyRegistersBuffer(): Uint8Array {
   return safeAllocUint8Array(NO_OF_REGISTERS * REGISTER_BYTE_SIZE);
 }
 
+/**
+ * Service account details with threshold balance.
+ *
+ * Used exclusively by `info` host call.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/33920033b500?v=0.7.2
+ */
+declare const codecServiceAccountInfoWithThresholdBalance = codec.object(
+  {
+    codeHash: codec.bytes(HASH_SIZE),
+    balance: codec.u64,
+    thresholdBalance: codec.u64,
+    accumulateMinGas: codec.u64.convert((i) => i, tryAsServiceGas),
+    onTransferMinGas: codec.u64.convert((i) => i, tryAsServiceGas),
+    storageUtilisationBytes: codec.u64,
+    storageUtilisationCount: codec.u32,
+    gratisStorage: codec.u64,
+    created: codec.u32.convert((x) => x, tryAsTimeSlot),
+    lastAccumulation: codec.u32.convert((x) => x, tryAsTimeSlot),
+    parentService: codec.u32.convert((x) => x, tryAsServiceId),
+  },
+  "ServiceAccountInfoWithThresholdBalance",
+);
+
 type index$4_AccumulationStateUpdate = AccumulationStateUpdate;
 declare const index$4_AccumulationStateUpdate: typeof AccumulationStateUpdate;
 declare const index$4_CURRENT_SERVICE_ID: typeof CURRENT_SERVICE_ID;
@@ -19440,7 +19491,7 @@ declare const index$4_tryAsMachineId: typeof tryAsMachineId;
 declare const index$4_tryAsProgramCounter: typeof tryAsProgramCounter;
 declare const index$4_writeServiceIdAsLeBytes: typeof writeServiceIdAsLeBytes;
 declare namespace index$4 {
-  export { index$4_AccumulationStateUpdate as AccumulationStateUpdate, index$4_CURRENT_SERVICE_ID as CURRENT_SERVICE_ID, index$4_EjectError as EjectError, index$4_ForgetPreimageError as ForgetPreimageError, index$4_HostCallResult as HostCallResult, index$4_MAX_U32 as MAX_U32, index$4_MAX_U32_BIG_INT as MAX_U32_BIG_INT, index$4_MachineInstance as MachineInstance, index$4_MemoryOperation as MemoryOperation, index$4_NewServiceError as NewServiceError, index$4_PagesError as PagesError, index$4_PartiallyUpdatedState as PartiallyUpdatedState, index$4_PeekPokeError as PeekPokeError, index$4_PendingTransfer as PendingTransfer, index$4_PreimageStatusKind as PreimageStatusKind, index$4_ProvidePreimageError as ProvidePreimageError, index$4_RequestPreimageError as RequestPreimageError, index$4_SERVICE_ID_BYTES as SERVICE_ID_BYTES, index$4_TransferError as TransferError, index$4_UpdatePrivilegesError as UpdatePrivilegesError, index$4_ZeroVoidError as ZeroVoidError, index$4_clampU64ToU32 as clampU64ToU32, index$4_deepCloneMapWithArray as deepCloneMapWithArray, index$4_emptyRegistersBuffer as emptyRegistersBuffer, index$4_getServiceId as getServiceId, index$4_getServiceIdOrCurrent as getServiceIdOrCurrent, index$4_preimageLenAsU32 as preimageLenAsU32, index$4_slotsToPreimageStatus as slotsToPreimageStatus, index$4_toMemoryOperation as toMemoryOperation, index$4_tryAsMachineId as tryAsMachineId, index$4_tryAsProgramCounter as tryAsProgramCounter, index$4_writeServiceIdAsLeBytes as writeServiceIdAsLeBytes };
+  export { index$4_AccumulationStateUpdate as AccumulationStateUpdate, index$4_CURRENT_SERVICE_ID as CURRENT_SERVICE_ID, index$4_EjectError as EjectError, index$4_ForgetPreimageError as ForgetPreimageError, index$4_HostCallResult as HostCallResult, index$4_MAX_U32 as MAX_U32, index$4_MAX_U32_BIG_INT as MAX_U32_BIG_INT, index$4_MachineInstance as MachineInstance, index$4_MemoryOperation as MemoryOperation, index$4_NewServiceError as NewServiceError, index$4_PagesError as PagesError, index$4_PartiallyUpdatedState as PartiallyUpdatedState, index$4_PeekPokeError as PeekPokeError, index$4_PendingTransfer as PendingTransfer, index$4_PreimageStatusKind as PreimageStatusKind, index$4_ProvidePreimageError as ProvidePreimageError, index$4_RequestPreimageError as RequestPreimageError, index$4_SERVICE_ID_BYTES as SERVICE_ID_BYTES, index$4_TransferError as TransferError, index$4_UpdatePrivilegesError as UpdatePrivilegesError, index$4_ZeroVoidError as ZeroVoidError, index$4_clampU64ToU32 as clampU64ToU32, index$4_deepCloneMapWithArray as deepCloneMapWithArray, index$4_emptyRegistersBuffer as emptyRegistersBuffer, index$4_getServiceId as getServiceId, index$4_getServiceIdOrCurrent as getServiceIdOrCurrent, codecServiceAccountInfoWithThresholdBalance as hostCallInfoAccount, index$4_preimageLenAsU32 as preimageLenAsU32, index$4_slotsToPreimageStatus as slotsToPreimageStatus, index$4_toMemoryOperation as toMemoryOperation, index$4_tryAsMachineId as tryAsMachineId, index$4_tryAsProgramCounter as tryAsProgramCounter, index$4_writeServiceIdAsLeBytes as writeServiceIdAsLeBytes };
   export type { index$4_InsufficientFundsError as InsufficientFundsError, index$4_MachineId as MachineId, index$4_MachineResult as MachineResult, index$4_MachineStatus as MachineStatus, index$4_NoMachineError as NoMachineError, index$4_PartialState as PartialState, index$4_PreimageStatus as PreimageStatus, index$4_ProgramCounter as ProgramCounter, index$4_RefineExternalities as RefineExternalities, index$4_SegmentExportError as SegmentExportError, index$4_ServiceStateUpdate as ServiceStateUpdate, index$4_StateSlice as StateSlice, index$4_TRANSFER_MEMO_BYTES as TRANSFER_MEMO_BYTES, index$4_UnprivilegedError as UnprivilegedError };
 }
 
@@ -19451,11 +19502,6 @@ declare class DebuggerAdapter {
     this.pvm = new Interpreter({ useSbrkGas });
   }
 
-  // TODO [MaSi]: a temporary solution that is needed to implement host calls in PVM debugger
-  getInterpreter() {
-    return this.pvm;
-  }
-
   resetGeneric(rawProgram: Uint8Array, flatRegisters: Uint8Array, initialGas: bigint) {
     this.pvm.resetGeneric(rawProgram, 0, tryAsGas(initialGas), new Registers(flatRegisters));
   }
@@ -19660,7 +19706,7 @@ declare const index$3_tryAsMachineId: typeof tryAsMachineId;
 declare const index$3_tryAsProgramCounter: typeof tryAsProgramCounter;
 declare const index$3_writeServiceIdAsLeBytes: typeof writeServiceIdAsLeBytes;
 declare namespace index$3 {
-  export { index$3_AccumulationStateUpdate as AccumulationStateUpdate, index$3_ArgsDecoder as ArgsDecoder, index$3_ArgumentType as ArgumentType, index$3_BasicBlocks as BasicBlocks, index$3_CURRENT_SERVICE_ID as CURRENT_SERVICE_ID, index$3_EjectError as EjectError, index$3_ExtendedWitdthImmediateDecoder as ExtendedWitdthImmediateDecoder, index$3_ForgetPreimageError as ForgetPreimageError, index$3_HostCallMemory as HostCallMemory, index$3_HostCallRegisters as HostCallRegisters, index$3_HostCallResult as HostCallResult, index$3_ImmediateDecoder as ImmediateDecoder, index$3_MAX_U32 as MAX_U32, index$3_MAX_U32_BIG_INT as MAX_U32_BIG_INT, index$3_MachineInstance as MachineInstance, index$3_Mask as Mask, index$3_MemoryOperation as MemoryOperation, index$3_MemorySegment as MemorySegment, NO_OF_REGISTERS$1 as NO_OF_REGISTERS, index$3_NewServiceError as NewServiceError, index$3_NibblesDecoder as NibblesDecoder, index$3_PagesError as PagesError, index$3_PartiallyUpdatedState as PartiallyUpdatedState, index$3_PeekPokeError as PeekPokeError, index$3_PendingTransfer as PendingTransfer, index$3_PreimageStatusKind as PreimageStatusKind, index$3_Program as Program, index$3_ProgramDecoder as ProgramDecoder, index$3_ProvidePreimageError as ProvidePreimageError, DebuggerAdapter as Pvm, index$3_Registers as Registers, index$3_RequestPreimageError as RequestPreimageError, Result$2 as Result, index$3_RichTaggedError as RichTaggedError, index$3_SERVICE_ID_BYTES as SERVICE_ID_BYTES, index$3_SpiMemory as SpiMemory, index$3_SpiProgram as SpiProgram, index$3_TransferError as TransferError, index$3_UpdatePrivilegesError as UpdatePrivilegesError, index$3_WithDebug as WithDebug, index$3_ZeroVoidError as ZeroVoidError, index$3___OPAQUE_TYPE__ as __OPAQUE_TYPE__, index$3_asOpaqueType as asOpaqueType, index$3_assertEmpty as assertEmpty, index$3_assertNever as assertNever, index$l as block, index$s as bytes, index$3_check as check, index$3_clampU64ToU32 as clampU64ToU32, index$3_createResults as createResults, index$3_decodeStandardProgram as decodeStandardProgram, index$3_deepCloneMapWithArray as deepCloneMapWithArray, index$3_emptyRegistersBuffer as emptyRegistersBuffer, index$3_extractCodeAndMetadata as extractCodeAndMetadata, index$3_getServiceId as getServiceId, index$3_getServiceIdOrCurrent as getServiceIdOrCurrent, index$p as hash, index$3_inspect as inspect, index$3_instructionArgumentTypeMap as instructionArgumentTypeMap, index$6 as interpreter, index$3_isBrowser as isBrowser, index$3_isTaggedError as isTaggedError, index$3_lazyInspect as lazyInspect, index$3_maybeTaggedErrorToString as maybeTaggedErrorToString, index$3_measure as measure, index$r as numbers, index$3_preimageLenAsU32 as preimageLenAsU32, index$3_resultToString as resultToString, index$3_seeThrough as seeThrough, index$3_slotsToPreimageStatus as slotsToPreimageStatus, index$3_toMemoryOperation as toMemoryOperation, index$3_tryAsMachineId as tryAsMachineId, index$3_tryAsProgramCounter as tryAsProgramCounter, index$3_writeServiceIdAsLeBytes as writeServiceIdAsLeBytes };
+  export { index$3_AccumulationStateUpdate as AccumulationStateUpdate, index$3_ArgsDecoder as ArgsDecoder, index$3_ArgumentType as ArgumentType, index$3_BasicBlocks as BasicBlocks, index$3_CURRENT_SERVICE_ID as CURRENT_SERVICE_ID, index$3_EjectError as EjectError, index$3_ExtendedWitdthImmediateDecoder as ExtendedWitdthImmediateDecoder, index$3_ForgetPreimageError as ForgetPreimageError, index$3_HostCallMemory as HostCallMemory, index$3_HostCallRegisters as HostCallRegisters, index$3_HostCallResult as HostCallResult, index$3_ImmediateDecoder as ImmediateDecoder, index$3_MAX_U32 as MAX_U32, index$3_MAX_U32_BIG_INT as MAX_U32_BIG_INT, index$3_MachineInstance as MachineInstance, index$3_Mask as Mask, index$3_MemoryOperation as MemoryOperation, index$3_MemorySegment as MemorySegment, NO_OF_REGISTERS$1 as NO_OF_REGISTERS, index$3_NewServiceError as NewServiceError, index$3_NibblesDecoder as NibblesDecoder, index$3_PagesError as PagesError, index$3_PartiallyUpdatedState as PartiallyUpdatedState, index$3_PeekPokeError as PeekPokeError, index$3_PendingTransfer as PendingTransfer, index$3_PreimageStatusKind as PreimageStatusKind, index$3_Program as Program, index$3_ProgramDecoder as ProgramDecoder, index$3_ProvidePreimageError as ProvidePreimageError, DebuggerAdapter as Pvm, index$3_Registers as Registers, index$3_RequestPreimageError as RequestPreimageError, Result$2 as Result, index$3_RichTaggedError as RichTaggedError, index$3_SERVICE_ID_BYTES as SERVICE_ID_BYTES, index$3_SpiMemory as SpiMemory, index$3_SpiProgram as SpiProgram, index$3_TransferError as TransferError, index$3_UpdatePrivilegesError as UpdatePrivilegesError, index$3_WithDebug as WithDebug, index$3_ZeroVoidError as ZeroVoidError, index$3___OPAQUE_TYPE__ as __OPAQUE_TYPE__, index$3_asOpaqueType as asOpaqueType, index$3_assertEmpty as assertEmpty, index$3_assertNever as assertNever, index$l as block, index$s as bytes, index$3_check as check, index$3_clampU64ToU32 as clampU64ToU32, index$3_createResults as createResults, index$3_decodeStandardProgram as decodeStandardProgram, index$3_deepCloneMapWithArray as deepCloneMapWithArray, index$3_emptyRegistersBuffer as emptyRegistersBuffer, index$3_extractCodeAndMetadata as extractCodeAndMetadata, index$3_getServiceId as getServiceId, index$3_getServiceIdOrCurrent as getServiceIdOrCurrent, index$p as hash, codecServiceAccountInfoWithThresholdBalance as hostCallInfoAccount, index$3_inspect as inspect, index$3_instructionArgumentTypeMap as instructionArgumentTypeMap, index$6 as interpreter, index$3_isBrowser as isBrowser, index$3_isTaggedError as isTaggedError, index$3_lazyInspect as lazyInspect, index$3_maybeTaggedErrorToString as maybeTaggedErrorToString, index$3_measure as measure, index$r as numbers, index$3_preimageLenAsU32 as preimageLenAsU32, index$3_resultToString as resultToString, index$3_seeThrough as seeThrough, index$3_slotsToPreimageStatus as slotsToPreimageStatus, index$3_toMemoryOperation as toMemoryOperation, index$3_tryAsMachineId as tryAsMachineId, index$3_tryAsProgramCounter as tryAsProgramCounter, index$3_writeServiceIdAsLeBytes as writeServiceIdAsLeBytes };
   export type { index$3_Args as Args, index$3_EnumMapping as EnumMapping, index$3_ErrorResult as ErrorResult, index$3_InsufficientFundsError as InsufficientFundsError, index$3_MachineId as MachineId, index$3_MachineResult as MachineResult, index$3_MachineStatus as MachineStatus, index$3_NoMachineError as NoMachineError, index$3_OK as OK, index$3_OkResult as OkResult, index$3_Opaque as Opaque, index$3_PartialState as PartialState, index$3_PreimageStatus as PreimageStatus, index$3_ProgramCounter as ProgramCounter, index$3_RefineExternalities as RefineExternalities, index$3_SegmentExportError as SegmentExportError, index$3_ServiceStateUpdate as ServiceStateUpdate, index$3_StateSlice as StateSlice, index$3_StringLiteral as StringLiteral, index$3_TRANSFER_MEMO_BYTES as TRANSFER_MEMO_BYTES, index$3_TaggedError as TaggedError, index$3_TokenOf as TokenOf, index$3_Uninstantiable as Uninstantiable, index$3_UnprivilegedError as UnprivilegedError, index$3_WithOpaque as WithOpaque };
 }
 
@@ -20438,17 +20484,6 @@ declare class TransitionHasher implements MmrHasher<KeccakHash> {
 
     return new WithHashAndBytes(this.blake2b.hashBytes(encoded).asOpaque(), extrinsicView, encoded);
   }
-
-  /** Creates hash for given WorkPackage */
-  workPackage(workPackage: WorkPackage): WithHashAndBytes<WorkPackageHash, WorkPackage> {
-    return this.encode(WorkPackage.Codec, workPackage);
-  }
-
-  private encode<T, THash extends OpaqueHash>(codec: Codec<T>, data: T): WithHashAndBytes<THash, T> {
-    // TODO [ToDr] Use already allocated encoding destination and hash bytes from some arena.
-    const encoded = Encoder.encodeObject(codec, data, this.context);
-    return new WithHashAndBytes(this.blake2b.hashBytes(encoded).asOpaque(), data, encoded);
-  }
 }
 
 type PreimagesState = Pick<State, "getService">;
@@ -20466,7 +20501,6 @@ declare enum PreimagesErrorCode {
   AccountNotFound = "account_not_found",
 }
 
-// TODO [SeKo] consider whether this module is the right place to remove expired preimages
 declare class Preimages {
   constructor(
     public readonly state: PreimagesState,