@typeberry/lib 0.1.1 → 0.1.2-60899f7

package/index.d.ts

@@ -2,6 +2,7 @@ declare enum GpVersion {
   V0_6_7 = "0.6.7",
   V0_7_0 = "0.7.0",
   V0_7_1 = "0.7.1-preview",
+  V0_7_2 = "0.7.2-preview",
 }
 
 declare enum TestSuite {
@@ -11,9 +12,7 @@ declare enum TestSuite {
 
 declare const DEFAULT_SUITE = TestSuite.W3F_DAVXY;
 
-declare const ALL_VERSIONS_IN_ORDER = [GpVersion.V0_6_7, GpVersion.V0_7_0, GpVersion.V0_7_1];
-
-declare const env = typeof process === "undefined" ? {} : process.env;
+declare const ALL_VERSIONS_IN_ORDER = [GpVersion.V0_6_7, GpVersion.V0_7_0, GpVersion.V0_7_1, GpVersion.V0_7_2];
 declare const DEFAULT_VERSION = GpVersion.V0_7_0;
 declare let CURRENT_VERSION = parseCurrentVersion(env.GP_VERSION) ?? DEFAULT_VERSION;
 declare let CURRENT_SUITE = parseCurrentSuite(env.TEST_SUITE) ?? DEFAULT_SUITE;
@@ -22,24 +21,30 @@ declare function parseCurrentVersion(env?: string): GpVersion | undefined {
   if (env === undefined) {
     return undefined;
   }
-  const version = env as GpVersion;
-  if (!Object.values(GpVersion).includes(version)) {
-    throw new Error(
-      `Configured environment variable GP_VERSION is unknown: '${env}'. Use one of: ${ALL_VERSIONS_IN_ORDER}`,
-    );
+  switch (env) {
+    case GpVersion.V0_6_7:
+    case GpVersion.V0_7_0:
+    case GpVersion.V0_7_1:
+    case GpVersion.V0_7_2:
+      return env;
+    default:
+      throw new Error(
+        `Configured environment variable GP_VERSION is unknown: '${env}'. Use one of: ${ALL_VERSIONS_IN_ORDER}`,
+      );
   }
-  return version;
 }
 
 declare function parseCurrentSuite(env?: string): TestSuite | undefined {
   if (env === undefined) return undefined;
-  const val = env as TestSuite;
-  if (!Object.values(TestSuite).includes(val)) {
-    throw new Error(
-      `Configured environment variable TEST_SUITE is unknown: '${env}'. Use one of: ${Object.values(TestSuite)}`,
-    );
+  switch (env) {
+    case TestSuite.W3F_DAVXY:
+    case TestSuite.JAMDUNA:
+      return env;
+    default:
+      throw new Error(
+        `Configured environment variable TEST_SUITE is unknown: '${env}'. Use one of: ${Object.values(TestSuite)}`,
+      );
   }
-  return val;
 }
 
 declare class Compatibility {
@@ -235,6 +240,33 @@ declare abstract class WithDebug {
   }
 }
 
+/**
+ * The function will produce relative path resolver that is adjusted
+ * for package location within the workspace.
+ *
+ * Example:
+ * $ npm start -w @typeberry/jam
+ *
+ * The above command will run `./bin/jam/index.js`, however we would
+ * still want relative paths to be resolved according to top-level workspace
+ * directory.
+ *
+ * So the caller, passes the absolute workspace path as argument and get's
+ * a function that can properly resolve relative paths.
+ *
+ * NOTE: the translation happens only for development build! When
+ * we build a single library from our project, we no longer mangle the paths.
+ */
+declare const workspacePathFix =
+  env.NODE_ENV === "development"
+    ? (workspacePath: string) => (p: string) => {
+        if (p.startsWith("/")) {
+          return p;
+        }
+        return `${workspacePath}/${p}`;
+      }
+    : () => (p: string) => p;
+
 /**
  * @fileoverview `Opaque<Type, Token>` constructs a unique type which is a subset of Type with a
  * specified unique token Token. It means that base type cannot be assigned to unique type by accident.
@@ -712,7 +744,6 @@ declare const index$s_assertNever: typeof assertNever;
 declare const index$s_callCompareFunction: typeof callCompareFunction;
 declare const index$s_check: typeof check;
 declare const index$s_deepEqual: typeof deepEqual;
-declare const index$s_env: typeof env;
 declare const index$s_getAllKeysSorted: typeof getAllKeysSorted;
 declare const index$s_inspect: typeof inspect;
 declare const index$s_isBrowser: typeof isBrowser;
@@ -726,8 +757,9 @@ declare const index$s_parseCurrentVersion: typeof parseCurrentVersion;
 declare const index$s_resultToString: typeof resultToString;
 declare const index$s_seeThrough: typeof seeThrough;
 declare const index$s_trimStack: typeof trimStack;
+declare const index$s_workspacePathFix: typeof workspacePathFix;
 declare namespace index$s {
-  export { index$s_ALL_VERSIONS_IN_ORDER as ALL_VERSIONS_IN_ORDER, index$s_CURRENT_SUITE as CURRENT_SUITE, index$s_CURRENT_VERSION as CURRENT_VERSION, index$s_Compatibility as Compatibility, index$s_DEFAULT_SUITE as DEFAULT_SUITE, index$s_DEFAULT_VERSION as DEFAULT_VERSION, index$s_ErrorsCollector as ErrorsCollector, index$s_GpVersion as GpVersion, Result$2 as Result, index$s_RichTaggedError as RichTaggedError, index$s_TEST_COMPARE_USING as TEST_COMPARE_USING, index$s_TestSuite as TestSuite, index$s_WithDebug as WithDebug, index$s___OPAQUE_TYPE__ as __OPAQUE_TYPE__, index$s_asOpaqueType as asOpaqueType, index$s_assertEmpty as assertEmpty, index$s_assertNever as assertNever, index$s_callCompareFunction as callCompareFunction, index$s_check as check, index$s_deepEqual as deepEqual, index$s_env as env, index$s_getAllKeysSorted as getAllKeysSorted, index$s_inspect as inspect, index$s_isBrowser as isBrowser, index$s_isResult as isResult, index$s_isTaggedError as isTaggedError, index$s_maybeTaggedErrorToString as maybeTaggedErrorToString, index$s_measure as measure, index$s_oomWarningPrinted as oomWarningPrinted, index$s_parseCurrentSuite as parseCurrentSuite, index$s_parseCurrentVersion as parseCurrentVersion, index$s_resultToString as resultToString, index$s_seeThrough as seeThrough, index$s_trimStack as trimStack };
+  export { index$s_ALL_VERSIONS_IN_ORDER as ALL_VERSIONS_IN_ORDER, index$s_CURRENT_SUITE as CURRENT_SUITE, index$s_CURRENT_VERSION as CURRENT_VERSION, index$s_Compatibility as Compatibility, index$s_DEFAULT_SUITE as DEFAULT_SUITE, index$s_DEFAULT_VERSION as DEFAULT_VERSION, index$s_ErrorsCollector as ErrorsCollector, index$s_GpVersion as GpVersion, Result$2 as Result, index$s_RichTaggedError as RichTaggedError, index$s_TEST_COMPARE_USING as TEST_COMPARE_USING, index$s_TestSuite as TestSuite, index$s_WithDebug as WithDebug, index$s___OPAQUE_TYPE__ as __OPAQUE_TYPE__, index$s_asOpaqueType as asOpaqueType, index$s_assertEmpty as assertEmpty, index$s_assertNever as assertNever, index$s_callCompareFunction as callCompareFunction, index$s_check as check, index$s_deepEqual as deepEqual, index$s_getAllKeysSorted as getAllKeysSorted, index$s_inspect as inspect, index$s_isBrowser as isBrowser, index$s_isResult as isResult, index$s_isTaggedError as isTaggedError, index$s_maybeTaggedErrorToString as maybeTaggedErrorToString, index$s_measure as measure, index$s_oomWarningPrinted as oomWarningPrinted, index$s_parseCurrentSuite as parseCurrentSuite, index$s_parseCurrentVersion as parseCurrentVersion, index$s_resultToString as resultToString, index$s_seeThrough as seeThrough, index$s_trimStack as trimStack, index$s_workspacePathFix as workspacePathFix };
   export type { index$s_DeepEqualOptions as DeepEqualOptions, index$s_EnumMapping as EnumMapping, index$s_ErrorResult as ErrorResult, index$s_OK as OK, index$s_OkResult as OkResult, index$s_Opaque as Opaque, index$s_StringLiteral as StringLiteral, index$s_TaggedError as TaggedError, index$s_TokenOf as TokenOf, index$s_Uninstantiable as Uninstantiable, index$s_WithOpaque as WithOpaque };
 }
 
@@ -6841,6 +6873,25 @@ declare class Block extends WithDebug {
 /** Undecoded View of a [`Block`]. */
 type BlockView = DescribedBy<typeof Block.Codec.View>;
 
+declare function emptyBlock(slot: TimeSlot = tryAsTimeSlot(0)) {
+  const header = Header.empty();
+  header.timeSlotIndex = slot;
+  return Block.create({
+    header,
+    extrinsic: Extrinsic.create({
+      tickets: asKnownSize([]),
+      preimages: [],
+      assurances: asKnownSize([]),
+      guarantees: asKnownSize([]),
+      disputes: {
+        verdicts: [],
+        culprits: [],
+        faults: [],
+      },
+    }),
+  });
+}
+
 type index$j_Block = Block;
 declare const index$j_Block: typeof Block;
 type index$j_BlockView = BlockView;
@@ -6884,6 +6935,7 @@ declare const index$j_assurances: typeof assurances;
 declare const index$j_codecPerEpochBlock: typeof codecPerEpochBlock;
 declare const index$j_codecPerValidator: typeof codecPerValidator;
 declare const index$j_disputes: typeof disputes;
+declare const index$j_emptyBlock: typeof emptyBlock;
 declare const index$j_encodeUnsealedHeader: typeof encodeUnsealedHeader;
 declare const index$j_guarantees: typeof guarantees;
 declare const index$j_headerViewWithHashCodec: typeof headerViewWithHashCodec;
@@ -6905,7 +6957,7 @@ declare const index$j_workPackage: typeof workPackage;
 declare const index$j_workReport: typeof workReport;
 declare const index$j_workResult: typeof workResult;
 declare namespace index$j {
-  export { index$j_Block as Block, index$j_EpochMarker as EpochMarker, index$j_Extrinsic as Extrinsic, index$j_Header as Header, index$j_HeaderViewWithHash as HeaderViewWithHash, index$j_MAX_NUMBER_OF_SEGMENTS as MAX_NUMBER_OF_SEGMENTS, index$j_TicketsMarker as TicketsMarker, index$j_ValidatorKeys as ValidatorKeys, index$j_W_E as W_E, index$j_W_S as W_S, index$j_assurances as assurances, index$j_codecPerEpochBlock as codecPerEpochBlock, index$j_codecPerValidator as codecPerValidator, codec as codecUtils, index$j_disputes as disputes, index$j_encodeUnsealedHeader as encodeUnsealedHeader, index$j_guarantees as guarantees, index$j_headerViewWithHashCodec as headerViewWithHashCodec, index$j_legacyDescriptor as legacyDescriptor, index$j_preimage as preimage, index$j_refineContext as refineContext, index$j_tickets as tickets, index$j_tryAsCoreIndex as tryAsCoreIndex, index$j_tryAsEpoch as tryAsEpoch, index$j_tryAsPerEpochBlock as tryAsPerEpochBlock, index$j_tryAsPerValidator as tryAsPerValidator, index$j_tryAsSegmentIndex as tryAsSegmentIndex, index$j_tryAsServiceGas as tryAsServiceGas, index$j_tryAsServiceId as tryAsServiceId, index$j_tryAsTimeSlot as tryAsTimeSlot, index$j_tryAsValidatorIndex as tryAsValidatorIndex, index$j_workItem as workItem, index$j_workPackage as workPackage, index$j_workReport as workReport, index$j_workResult as workResult };
+  export { index$j_Block as Block, index$j_EpochMarker as EpochMarker, index$j_Extrinsic as Extrinsic, index$j_Header as Header, index$j_HeaderViewWithHash as HeaderViewWithHash, index$j_MAX_NUMBER_OF_SEGMENTS as MAX_NUMBER_OF_SEGMENTS, index$j_TicketsMarker as TicketsMarker, index$j_ValidatorKeys as ValidatorKeys, index$j_W_E as W_E, index$j_W_S as W_S, index$j_assurances as assurances, index$j_codecPerEpochBlock as codecPerEpochBlock, index$j_codecPerValidator as codecPerValidator, codec as codecUtils, index$j_disputes as disputes, index$j_emptyBlock as emptyBlock, index$j_encodeUnsealedHeader as encodeUnsealedHeader, index$j_guarantees as guarantees, index$j_headerViewWithHashCodec as headerViewWithHashCodec, index$j_legacyDescriptor as legacyDescriptor, index$j_preimage as preimage, index$j_refineContext as refineContext, index$j_tickets as tickets, index$j_tryAsCoreIndex as tryAsCoreIndex, index$j_tryAsEpoch as tryAsEpoch, index$j_tryAsPerEpochBlock as tryAsPerEpochBlock, index$j_tryAsPerValidator as tryAsPerValidator, index$j_tryAsSegmentIndex as tryAsSegmentIndex, index$j_tryAsServiceGas as tryAsServiceGas, index$j_tryAsServiceId as tryAsServiceId, index$j_tryAsTimeSlot as tryAsTimeSlot, index$j_tryAsValidatorIndex as tryAsValidatorIndex, index$j_workItem as workItem, index$j_workPackage as workPackage, index$j_workReport as workReport, index$j_workResult as workResult };
   export type { index$j_BlockView as BlockView, index$j_CodeHash as CodeHash, index$j_CoreIndex as CoreIndex, index$j_EntropyHash as EntropyHash, index$j_Epoch as Epoch, index$j_EpochMarkerView as EpochMarkerView, index$j_ExtrinsicHash as ExtrinsicHash, index$j_ExtrinsicView as ExtrinsicView, index$j_HeaderHash as HeaderHash, index$j_HeaderView as HeaderView, index$j_PerEpochBlock as PerEpochBlock, index$j_PerValidator as PerValidator, index$j_SEGMENT_BYTES as SEGMENT_BYTES, index$j_Segment as Segment, index$j_SegmentIndex as SegmentIndex, index$j_ServiceGas as ServiceGas, index$j_ServiceId as ServiceId, index$j_StateRootHash as StateRootHash, index$j_TicketsMarkerView as TicketsMarkerView, index$j_TimeSlot as TimeSlot, index$j_ValidatorIndex as ValidatorIndex, index$j_WorkReportHash as WorkReportHash };
 }
 
@@ -7928,12 +7980,6 @@ declare class Logger {
     return new Logger(module.padStart(8, " "), GLOBAL_CONFIG);
   }
 
-  /**
-   * Return currently configured level for given module. */
-  static getLevel(moduleName: string): Level {
-    return findLevel(GLOBAL_CONFIG.options, moduleName);
-  }
-
   /**
    * Global configuration of all loggers.
    *
@@ -7968,39 +8014,55 @@ declare class Logger {
     Logger.configureAllFromOptions(options);
   }
 
+  private cachedLevelAndName?: readonly [Level, string];
+
   private constructor(
     private readonly moduleName: string,
     private readonly config: typeof GLOBAL_CONFIG,
   ) {}
 
+  /** Return currently configured level for given module. */
+  getLevel(): Level {
+    return this.getLevelAndName()[0];
+  }
+
+  private getLevelAndName(): readonly [Level, string] {
+    if (this.cachedLevelAndName === undefined) {
+      const level = findLevel(this.config.options, this.moduleName);
+      const shortName = this.moduleName.replace(this.config.options.workingDir, "");
+      this.cachedLevelAndName = [level, shortName];
+    }
+    return this.cachedLevelAndName;
+  }
+
   /** Log a message with `INSANE` level. */
-  insane(val: string) {
-    this.config.transport.insane(this.moduleName, val);
+  insane(strings: TemplateStringsArray, ...data: unknown[]) {
+    this.config.transport.insane(this.getLevelAndName(), strings, data);
   }
 
   /** Log a message with `TRACE` level. */
-  trace(val: string) {
-    this.config.transport.trace(this.moduleName, val);
+  trace(strings: TemplateStringsArray, ...data: unknown[]) {
+    this.config.transport.trace(this.getLevelAndName(), strings, data);
   }
 
   /** Log a message with `DEBUG`/`LOG` level. */
-  log(val: string) {
-    this.config.transport.log(this.moduleName, val);
+  log(strings: TemplateStringsArray, ...data: unknown[]) {
+    this.config.transport.log(this.getLevelAndName(), strings, data);
   }
 
   /** Log a message with `INFO` level. */
-  info(val: string) {
-    this.config.transport.info(this.moduleName, val);
+  info(strings: TemplateStringsArray, ...data: unknown[]) {
+    this.config.transport.info(this.getLevelAndName(), strings, data);
   }
 
   /** Log a message with `WARN` level. */
-  warn(val: string) {
-    this.config.transport.warn(this.moduleName, val);
+  warn(strings: TemplateStringsArray, ...data: unknown[]) {
+    this.config.transport.warn(this.getLevelAndName(), strings, data);
   }
 
   /** Log a message with `ERROR` level. */
-  error(val: string) {
-    this.config.transport.error(this.moduleName, val);
+  error(strings: TemplateStringsArray, ...data: unknown[]) {
+    this.config.transport.error(this.getLevelAndName(), strings, data);
   }
 }
 
@@ -8099,17 +8161,17 @@ declare class NodeConfiguration {
 
 declare function loadConfig(configPath: string): NodeConfiguration {
   if (configPath === DEFAULT_CONFIG) {
-    logger.log("🔧 Loading DEFAULT config");
+    logger.log`🔧 Loading DEFAULT config`;
     return parseFromJson(configs.default, NodeConfiguration.fromJson);
   }
 
   if (configPath === DEV_CONFIG) {
-    logger.log("🔧 Loading DEV config");
+    logger.log`🔧 Loading DEV config`;
     return parseFromJson(configs.dev, NodeConfiguration.fromJson);
   }
 
   try {
-    logger.log(`🔧 Loading config from ${configPath}`);
+    logger.log`🔧 Loading config from ${configPath}`;
     const configFile = fs.readFileSync(configPath, "utf8");
     const parsed = JSON.parse(configFile);
     return parseFromJson(parsed, NodeConfiguration.fromJson);
@@ -14446,8 +14508,6 @@ declare enum AccessType {
   WRITE = 1,
 }
 
-// const logger = Logger.new(import.meta.filename, "pvm:mem");
-
 declare class Memory {
   static fromInitialMemory(initialMemoryState: InitialMemoryState) {
     return new Memory(
@@ -14484,7 +14544,7 @@ declare class Memory {
       return Result.ok(OK);
     }
 
-    // logger.insane(`MEM[${address}] <- ${BytesBlob.blobFrom(bytes)}`);
+    logger.insane`MEM[${address}] <- ${BytesBlob.blobFrom(bytes)}`;
     const pagesResult = this.getPages(address, bytes.length, AccessType.WRITE);
 
     if (pagesResult.isError) {
@@ -14573,7 +14633,7 @@ declare class Memory {
       bytesLeft -= bytesToRead;
     }
 
-    // logger.insane(`MEM[${startAddress}] => ${BytesBlob.blobFrom(result)}`);
+    logger.insane`MEM[${startAddress}] => ${BytesBlob.blobFrom(result)}`;
     return Result.ok(OK);
   }
 
@@ -14740,11 +14800,12 @@ declare class MemoryBuilder {
     `;
     this.ensureNotFinalized();
 
-    const range = MemoryRange.fromStartAndLength(startHeapIndex, endHeapIndex - startHeapIndex);
-    const pages = PageRange.fromMemoryRange(range);
+    const heapRange = MemoryRange.fromStartAndLength(startHeapIndex, endHeapIndex - startHeapIndex);
+    const heapPagesRange = PageRange.fromMemoryRange(heapRange);
+    const initializedPageNumbers = Array.from(this.initialMemory.keys());
 
-    for (const pageNumber of pages) {
-      if (this.initialMemory.has(pageNumber)) {
+    for (const pageNumber of initializedPageNumbers) {
+      if (heapPagesRange.isInRange(pageNumber)) {
         throw new IncorrectSbrkIndex();
       }
     }
@@ -16536,7 +16597,7 @@ declare class ProgramDecoder {
     try {
       return Result.ok(new ProgramDecoder(program));
     } catch (e) {
-      logger.error(`Invalid program: ${e}`);
+      logger.error`Invalid program: ${e}`;
       return Result.error(ProgramDecoderError.InvalidProgramError);
     }
   }
@@ -16698,7 +16759,7 @@ declare class Interpreter {
     const argsResult = this.argsDecodingResults[argsType];
     this.argsDecoder.fillArgs(this.pc, argsResult);
 
-    logger.insane(`[PC: ${this.pc}] ${Instruction[currentInstruction]}`);
+    logger.insane`[PC: ${this.pc}] ${Instruction[currentInstruction]}`;
 
     if (!isValidInstruction) {
       this.instructionResult.status = Result.PANIC;
@@ -16775,7 +16836,7 @@ declare class Interpreter {
           this.status = Status.HOST;
           break;
       }
-      logger.insane(`[PC: ${this.pc}] Status: ${Result[this.instructionResult.status]}`);
+      logger.insane`[PC: ${this.pc}] Status: ${Result[this.instructionResult.status]}`;
       return this.status;
     }
 
@@ -17117,18 +17178,13 @@ declare class PartiallyUpdatedState<T extends StateSlice = StateSlice> {
    *
    * NOTE the info may be updated compared to what is in the state.
    *
-   * Takes into account newly created services as well.
+   * Takes into account ejected and newly created services as well.
    */
   getServiceInfo(destination: ServiceId | null): ServiceAccountInfo | null {
     if (destination === null) {
       return null;
     }
 
-    const isEjected = this.stateUpdate.services.servicesRemoved.some((x) => x === destination);
-    if (isEjected) {
-      return null;
-    }
-
     const maybeNewService = this.stateUpdate.services.servicesUpdates.find(
       (update) => update.serviceId === destination,
     );
@@ -17514,7 +17570,7 @@ declare class HostCallsManager {
         return `r${idx}=${value} (0x${value.toString(16)})`;
       })
       .join(", ");
-    logger.insane(`[${currentServiceId}] ${context} ${name}${requested}.  Gas: ${gas}. Regs: ${registerValues}.`);
+    logger.insane`[${currentServiceId}] ${context} ${name}${requested}.  Gas: ${gas}. Regs: ${registerValues}.`;
   }
 }