@typeberry/jam 0.1.3-8258907 → 0.1.3-a6eda68

package/bootstrap-generator.mjs

@@ -4349,7 +4349,7 @@ class Skipper {
  *
  * Descriptors can be composed to form more complex typings.
  */
-class descriptor_Descriptor {
+class Descriptor {
     name;
     sizeHint;
     encode;
@@ -4359,11 +4359,11 @@ class descriptor_Descriptor {
     View;
     /** New descriptor with specialized `View`. */
     static withView(name, sizeHint, encode, decode, skip, view) {
-        return new descriptor_Descriptor(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_Descriptor(name, sizeHint, encode, decode, skip, null);
+        return new Descriptor(name, sizeHint, encode, decode, skip, null);
     }
     constructor(
     /** Descriptive name of the coded data. */
@@ -4400,7 +4400,7 @@ class descriptor_Descriptor {
     }
     /** Return a new descriptor that converts data into some other type. */
     convert(input, output) {
-        return new descriptor_Descriptor(this.name, this.sizeHint, (e, elem) => this.encode(e, input(elem)), (d) => output(this.decode(d)), this.skip, this.View);
+        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() {
@@ -5098,51 +5098,51 @@ var descriptors_codec;
         return (len) => {
             let ret = cache.get(len);
             if (ret === undefined) {
-                ret = descriptor_Descriptor.new(`Bytes<${len}>`, exactHint(len), (e, v) => e.bytes(v), (d) => d.bytes(len), (s) => s.bytes(len));
+                ret = Descriptor.new(`Bytes<${len}>`, exactHint(len), (e, v) => e.bytes(v), (d) => d.bytes(len), (s) => s.bytes(len));
                 cache.set(len, ret);
             }
             return ret;
         };
     })();
     /** Variable-length U32. */
-    codec.varU32 = descriptor_Descriptor.new("var_u32", { bytes: 4, isExact: false }, (e, v) => e.varU32(v), (d) => d.varU32(), (d) => d.varU32());
+    codec.varU32 = Descriptor.new("var_u32", { bytes: 4, isExact: false }, (e, v) => e.varU32(v), (d) => d.varU32(), (d) => d.varU32());
     /** Variable-length U64. */
-    codec.varU64 = descriptor_Descriptor.new("var_u64", { bytes: 8, isExact: false }, (e, v) => e.varU64(v), (d) => d.varU64(), (d) => d.varU64());
+    codec.varU64 = Descriptor.new("var_u64", { bytes: 8, isExact: false }, (e, v) => e.varU64(v), (d) => d.varU64(), (d) => d.varU64());
     /** Unsigned 64-bit number. */
-    codec.u64 = descriptor_Descriptor.withView("u64", exactHint(8), (e, v) => e.i64(v), (d) => d.u64(), (d) => d.u64(), codec.bytes(8));
+    codec.u64 = Descriptor.withView("u64", exactHint(8), (e, v) => e.i64(v), (d) => d.u64(), (d) => d.u64(), codec.bytes(8));
     /** Unsigned 32-bit number. */
-    codec.u32 = descriptor_Descriptor.withView("u32", exactHint(4), (e, v) => e.i32(v), (d) => d.u32(), (d) => d.u32(), codec.bytes(4));
+    codec.u32 = Descriptor.withView("u32", exactHint(4), (e, v) => e.i32(v), (d) => d.u32(), (d) => d.u32(), codec.bytes(4));
     /** Unsigned 24-bit number. */
-    codec.u24 = descriptor_Descriptor.withView("u24", exactHint(3), (e, v) => e.i24(v), (d) => d.u24(), (d) => d.u24(), codec.bytes(3));
+    codec.u24 = Descriptor.withView("u24", exactHint(3), (e, v) => e.i24(v), (d) => d.u24(), (d) => d.u24(), codec.bytes(3));
     /** Unsigned 16-bit number. */
-    codec.u16 = descriptor_Descriptor.withView("u16", exactHint(2), (e, v) => e.i16(v), (d) => d.u16(), (d) => d.u16(), codec.bytes(2));
+    codec.u16 = Descriptor.withView("u16", exactHint(2), (e, v) => e.i16(v), (d) => d.u16(), (d) => d.u16(), codec.bytes(2));
     /** Unsigned 8-bit number. */
-    codec.u8 = descriptor_Descriptor.new("u8", exactHint(1), (e, v) => e.i8(v), (d) => d.u8(), (d) => d.u8());
+    codec.u8 = Descriptor.new("u8", exactHint(1), (e, v) => e.i8(v), (d) => d.u8(), (d) => d.u8());
     /** Signed 64-bit number. */
-    codec.i64 = descriptor_Descriptor.withView("u64", exactHint(8), (e, v) => e.i64(v), (d) => d.i64(), (s) => s.u64(), codec.bytes(8));
+    codec.i64 = Descriptor.withView("u64", exactHint(8), (e, v) => e.i64(v), (d) => d.i64(), (s) => s.u64(), codec.bytes(8));
     /** Signed 32-bit number. */
-    codec.i32 = descriptor_Descriptor.withView("i32", exactHint(4), (e, v) => e.i32(v), (d) => d.i32(), (s) => s.u32(), codec.bytes(4));
+    codec.i32 = Descriptor.withView("i32", exactHint(4), (e, v) => e.i32(v), (d) => d.i32(), (s) => s.u32(), codec.bytes(4));
     /** Signed 24-bit number. */
-    codec.i24 = descriptor_Descriptor.withView("i24", exactHint(3), (e, v) => e.i24(v), (d) => d.i24(), (s) => s.u24(), codec.bytes(3));
+    codec.i24 = Descriptor.withView("i24", exactHint(3), (e, v) => e.i24(v), (d) => d.i24(), (s) => s.u24(), codec.bytes(3));
     /** Signed 16-bit number. */
-    codec.i16 = descriptor_Descriptor.withView("i16", exactHint(2), (e, v) => e.i16(v), (d) => d.i16(), (s) => s.u16(), codec.bytes(2));
+    codec.i16 = Descriptor.withView("i16", exactHint(2), (e, v) => e.i16(v), (d) => d.i16(), (s) => s.u16(), codec.bytes(2));
     /** Signed 8-bit number. */
-    codec.i8 = descriptor_Descriptor.new("i8", exactHint(1), (e, v) => e.i8(v), (d) => d.i8(), (s) => s.u8());
+    codec.i8 = Descriptor.new("i8", exactHint(1), (e, v) => e.i8(v), (d) => d.i8(), (s) => s.u8());
     /** 1-byte boolean value. */
-    codec.bool = descriptor_Descriptor.new("bool", exactHint(1), (e, v) => e.bool(v), (d) => d.bool(), (s) => s.bool());
+    codec.bool = Descriptor.new("bool", exactHint(1), (e, v) => e.bool(v), (d) => d.bool(), (s) => s.bool());
     /** Variable-length bytes blob. */
-    codec.blob = descriptor_Descriptor.new("BytesBlob", { bytes: TYPICAL_SEQUENCE_LENGTH, isExact: false }, (e, v) => e.bytesBlob(v), (d) => d.bytesBlob(), (s) => s.bytesBlob());
+    codec.blob = Descriptor.new("BytesBlob", { bytes: TYPICAL_SEQUENCE_LENGTH, isExact: false }, (e, v) => e.bytesBlob(v), (d) => d.bytesBlob(), (s) => s.bytesBlob());
     /** String encoded as variable-length bytes blob. */
-    codec.string = descriptor_Descriptor.withView("string", { bytes: TYPICAL_SEQUENCE_LENGTH, isExact: false }, (e, v) => e.bytesBlob(bytes_BytesBlob.blobFrom(new TextEncoder().encode(v))), (d) => new TextDecoder("utf8", { fatal: true }).decode(d.bytesBlob().raw), (s) => s.bytesBlob(), codec.blob);
+    codec.string = Descriptor.withView("string", { bytes: TYPICAL_SEQUENCE_LENGTH, isExact: false }, (e, v) => e.bytesBlob(bytes_BytesBlob.blobFrom(new TextEncoder().encode(v))), (d) => new TextDecoder("utf8", { fatal: true }).decode(d.bytesBlob().raw), (s) => s.bytesBlob(), codec.blob);
     /** Variable-length bit vector. */
-    codec.bitVecVarLen = descriptor_Descriptor.new("BitVec[?]", { bytes: TYPICAL_SEQUENCE_LENGTH >>> 3, isExact: false }, (e, v) => e.bitVecVarLen(v), (d) => d.bitVecVarLen(), (s) => s.bitVecVarLen());
+    codec.bitVecVarLen = Descriptor.new("BitVec[?]", { bytes: TYPICAL_SEQUENCE_LENGTH >>> 3, isExact: false }, (e, v) => e.bitVecVarLen(v), (d) => d.bitVecVarLen(), (s) => s.bitVecVarLen());
     /** Fixed-length bit vector. */
-    codec.bitVecFixLen = (bitLen) => descriptor_Descriptor.new(`BitVec[${bitLen}]`, exactHint(bitLen >>> 3), (e, v) => e.bitVecFixLen(v), (d) => d.bitVecFixLen(bitLen), (s) => s.bitVecFixLen(bitLen));
+    codec.bitVecFixLen = (bitLen) => Descriptor.new(`BitVec[${bitLen}]`, exactHint(bitLen >>> 3), (e, v) => e.bitVecFixLen(v), (d) => d.bitVecFixLen(bitLen), (s) => s.bitVecFixLen(bitLen));
     /** Optionality wrapper for given type. */
     codec.optional = (type) => {
-        const self = descriptor_Descriptor.new(`Optional<${type.name}>`, addSizeHints({ bytes: 1, isExact: false }, type.sizeHint), (e, v) => e.optional(type, v), (d) => d.optional(type), (s) => s.optional(type));
+        const self = Descriptor.new(`Optional<${type.name}>`, addSizeHints({ bytes: 1, isExact: false }, type.sizeHint), (e, v) => e.optional(type, v), (d) => d.optional(type), (s) => s.optional(type));
         if (hasUniqueView(type)) {
-            return descriptor_Descriptor.withView(self.name, self.sizeHint, self.encode, self.decode, self.skip, codec.optional(type.View));
+            return Descriptor.withView(self.name, self.sizeHint, self.encode, self.decode, self.skip, codec.optional(type.View));
         }
         return self;
     };
@@ -5153,7 +5153,7 @@ var descriptors_codec;
     }) => {
         const name = `Sequence<${type.name}>[?]`;
         const typicalLength = options.typicalLength ?? TYPICAL_SEQUENCE_LENGTH;
-        return descriptor_Descriptor.withView(name, { bytes: typicalLength * type.sizeHint.bytes, isExact: false }, (e, v) => {
+        return Descriptor.withView(name, { bytes: typicalLength * type.sizeHint.bytes, isExact: false }, (e, v) => {
             validateLength(options, v.length, name);
             e.sequenceVarLen(type, v);
         }, (d) => {
@@ -5167,10 +5167,10 @@ var descriptors_codec;
         }, sequenceViewVarLen(type, options));
     };
     /** Fixed-length sequence of given type. */
-    codec.sequenceFixLen = (type, len) => descriptor_Descriptor.withView(`Sequence<${type.name}>[${len}]`, { bytes: len * type.sizeHint.bytes, isExact: type.sizeHint.isExact }, (e, v) => e.sequenceFixLen(type, v), (d) => d.sequenceFixLen(type, len), (s) => s.sequenceFixLen(type, len), sequenceViewFixLen(type, { fixedLength: len }));
+    codec.sequenceFixLen = (type, len) => Descriptor.withView(`Sequence<${type.name}>[${len}]`, { bytes: len * type.sizeHint.bytes, isExact: type.sizeHint.isExact }, (e, v) => e.sequenceFixLen(type, v), (d) => d.sequenceFixLen(type, len), (s) => s.sequenceFixLen(type, len), sequenceViewFixLen(type, { fixedLength: len }));
     /** Small dictionary codec. */
     codec.dictionary = (key, value, { sortKeys, fixedLength, }) => {
-        const self = descriptor_Descriptor.new(`Dictionary<${key.name}, ${value.name}>[${fixedLength ?? "?"}]`, {
+        const self = Descriptor.new(`Dictionary<${key.name}, ${value.name}>[${fixedLength ?? "?"}]`, {
             bytes: fixedLength !== undefined
                 ? fixedLength * addSizeHints(key.sizeHint, value.sizeHint).bytes
                 : TYPICAL_DICTIONARY_LENGTH * (addSizeHints(key.sizeHint, value.sizeHint).bytes ?? 0),
@@ -5209,13 +5209,13 @@ var descriptors_codec;
             s.sequenceFixLen(value, len);
         });
         if (hasUniqueView(value)) {
-            return descriptor_Descriptor.withView(self.name, self.sizeHint, self.encode, self.decode, self.skip, codec.dictionary(key, value.View, { sortKeys, fixedLength }));
+            return Descriptor.withView(self.name, self.sizeHint, self.encode, self.decode, self.skip, codec.dictionary(key, value.View, { sortKeys, fixedLength }));
         }
         return self;
     };
     /** Encoding of pair of two values. */
     codec.pair = (a, b) => {
-        const self = descriptor_Descriptor.new(`Pair<${a.name}, ${b.name}>`, addSizeHints(a.sizeHint, b.sizeHint), (e, elem) => {
+        const self = Descriptor.new(`Pair<${a.name}, ${b.name}>`, addSizeHints(a.sizeHint, b.sizeHint), (e, elem) => {
             a.encode(e, elem[0]);
             b.encode(e, elem[1]);
         }, (d) => {
@@ -5227,14 +5227,14 @@ var descriptors_codec;
             b.skip(s);
         });
         if (hasUniqueView(a) && hasUniqueView(b)) {
-            return descriptor_Descriptor.withView(self.name, self.sizeHint, self.encode, self.decode, self.skip, codec.pair(a.View, b.View));
+            return Descriptor.withView(self.name, self.sizeHint, self.encode, self.decode, self.skip, codec.pair(a.View, b.View));
         }
         return self;
     };
     /** Custom encoding / decoding logic. */
-    codec.custom = ({ name, sizeHint = { bytes: 0, isExact: false }, }, encode, decode, skip) => descriptor_Descriptor.new(name, sizeHint, encode, decode, skip);
+    codec.custom = ({ name, sizeHint = { bytes: 0, isExact: false }, }, encode, decode, skip) => Descriptor.new(name, sizeHint, encode, decode, skip);
     /** Choose a descriptor depending on the encoding/decoding context. */
-    codec.select = ({ name, sizeHint, }, chooser) => descriptor_Descriptor.withView(name, sizeHint, (e, x) => chooser(e.getContext()).encode(e, x), (d) => chooser(d.getContext()).decode(d), (s) => chooser(s.decoder.getContext()).skip(s), chooser(null).View);
+    codec.select = ({ name, sizeHint, }, chooser) => Descriptor.withView(name, sizeHint, (e, x) => chooser(e.getContext()).encode(e, x), (d) => chooser(d.getContext()).decode(d), (s) => chooser(s.decoder.getContext()).skip(s), chooser(null).View);
     /**
      * A descriptor for a more complex POJO.
      *
@@ -5271,7 +5271,7 @@ var descriptors_codec;
         };
         const view = objectView(Class, descriptors, sizeHint, skipper);
         // and create the descriptor for the entire class.
-        return descriptor_Descriptor.withView(Class.name, sizeHint, (e, t) => {
+        return Descriptor.withView(Class.name, sizeHint, (e, t) => {
             forEachDescriptor(descriptors, (key, descriptor) => {
                 const value = t[key];
                 descriptor.encode(e, value);
@@ -5322,7 +5322,7 @@ function objectView(Class, descriptors, sizeHint, skipper) {
             });
         }
     });
-    return descriptor_Descriptor.new(`View<${Class.name}>`, sizeHint, (e, t) => {
+    return Descriptor.new(`View<${Class.name}>`, sizeHint, (e, t) => {
         const encoded = t.encoded();
         e.bytes(bytes_Bytes.fromBlob(encoded.raw, encoded.length));
     }, (d) => {
@@ -5341,7 +5341,7 @@ function sequenceViewVarLen(type, options) {
         validateLength(options, length, name);
         return s.sequenceFixLen(type, length);
     };
-    return descriptor_Descriptor.new(name, sizeHint, (e, t) => {
+    return Descriptor.new(name, sizeHint, (e, t) => {
         validateLength(options, t.length, name);
         const encoded = t.encoded();
         e.bytes(bytes_Bytes.fromBlob(encoded.raw, encoded.length));
@@ -5357,7 +5357,7 @@ function sequenceViewFixLen(type, { fixedLength }) {
     const skipper = (s) => s.sequenceFixLen(type, fixedLength);
     const view = type.name !== type.View.name ? `, ${type.View.name}` : "";
     const name = `SeqView<${type.name}${view}>[${fixedLength}]`;
-    return descriptor_Descriptor.new(name, sizeHint, (e, t) => {
+    return Descriptor.new(name, sizeHint, (e, t) => {
         const encoded = t.encoded();
         e.bytes(bytes_Bytes.fromBlob(encoded.raw, encoded.length));
     }, (d) => {
@@ -7205,7 +7205,7 @@ const codecFixedSizeArray = (val, len) => {
 };
 /** Codec for a hash-dictionary. */
 const codecHashDictionary = (value, extractKey, { typicalLength = TYPICAL_DICTIONARY_LENGTH, compare = (a, b) => extractKey(a).compare(extractKey(b)), } = {}) => {
-    return descriptor_Descriptor.new(`HashDictionary<${value.name}>[?]`, {
+    return Descriptor.new(`HashDictionary<${value.name}>[?]`, {
         bytes: typicalLength * value.sizeHint.bytes,
         isExact: false,
     }, (e, v) => {
@@ -9172,6 +9172,13 @@ const W_T = 128;
 /** `W_M`: The maximum number of exports in a work-package. */
 const W_X = 3_072;
 // TODO [ToDr] Not sure where these should live yet :(
+/**
+ * `S`: The minimum public service index.
+ * Services of indices below these may only be created by the Registrar.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/447a00447a00?v=0.7.2
+ */
+const MIN_PUBLIC_SERVICE_INDEX = (/* unused pure expression or super */ null && (2 ** 16));
 /**
  * `J`: The maximum sum of dependency items in a work-report.
  *
@@ -9183,9 +9190,209 @@ const AUTHORIZATION_QUEUE_SIZE = Q;
 /** `O`: Maximal authorization pool size. */
 const MAX_AUTH_POOL_SIZE = O;
 
+;// CONCATENATED MODULE: ./packages/core/pvm-interpreter/ops/math-consts.ts
+const MAX_VALUE = 4294967295;
+const math_consts_MAX_VALUE_U64 = (/* unused pure expression or super */ null && (2n ** 63n));
+const MIN_VALUE = (/* unused pure expression or super */ null && (-(2 ** 31)));
+const MAX_SHIFT_U32 = 32;
+const MAX_SHIFT_U64 = 64n;
+
+;// CONCATENATED MODULE: ./packages/jam/state/service.ts
+
+
+
+
+
+
+/**
+ * `B_S`: The basic minimum balance which all services require.
+ *
+ * https://graypaper.fluffylabs.dev/#/7e6ff6a/445800445800?v=0.6.7
+ */
+const BASE_SERVICE_BALANCE = 100n;
+/**
+ * `B_I`: The additional minimum balance required per item of elective service state.
+ *
+ * https://graypaper.fluffylabs.dev/#/7e6ff6a/445000445000?v=0.6.7
+ */
+const ELECTIVE_ITEM_BALANCE = 10n;
+/**
+ * `B_L`: The additional minimum balance required per octet of elective service state.
+ *
+ * https://graypaper.fluffylabs.dev/#/7e6ff6a/445400445400?v=0.6.7
+ */
+const ELECTIVE_BYTE_BALANCE = 1n;
+const zeroSizeHint = {
+    bytes: 0,
+    isExact: true,
+};
+/** 0-byte read, return given default value */
+const ignoreValueWithDefault = (defaultValue) => Descriptor.new("ignoreValue", zeroSizeHint, (_e, _v) => { }, (_d) => defaultValue, (_s) => { });
+/** Encode and decode object with leading version number. */
+const codecWithVersion = (val) => Descriptor.new("withVersion", {
+    bytes: val.sizeHint.bytes + 8,
+    isExact: false,
+}, (e, v) => {
+    e.varU64(0n);
+    val.encode(e, v);
+}, (d) => {
+    const version = d.varU64();
+    if (version !== 0n) {
+        throw new Error("Non-zero version is not supported!");
+    }
+    return val.decode(d);
+}, (s) => {
+    s.varU64();
+    val.skip(s);
+});
+/**
+ * Service account details.
+ *
+ * https://graypaper.fluffylabs.dev/#/7e6ff6a/108301108301?v=0.6.7
+ */
+class ServiceAccountInfo extends WithDebug {
+    codeHash;
+    balance;
+    accumulateMinGas;
+    onTransferMinGas;
+    storageUtilisationBytes;
+    gratisStorage;
+    storageUtilisationCount;
+    created;
+    lastAccumulation;
+    parentService;
+    static Codec = descriptors_codec.Class(ServiceAccountInfo, {
+        codeHash: descriptors_codec.bytes(hash_HASH_SIZE).asOpaque(),
+        balance: descriptors_codec.u64,
+        accumulateMinGas: descriptors_codec.u64.convert((x) => x, tryAsServiceGas),
+        onTransferMinGas: descriptors_codec.u64.convert((x) => x, tryAsServiceGas),
+        storageUtilisationBytes: descriptors_codec.u64,
+        gratisStorage: descriptors_codec.u64,
+        storageUtilisationCount: descriptors_codec.u32,
+        created: descriptors_codec.u32.convert((x) => x, common_tryAsTimeSlot),
+        lastAccumulation: descriptors_codec.u32.convert((x) => x, common_tryAsTimeSlot),
+        parentService: descriptors_codec.u32.convert((x) => x, tryAsServiceId),
+    });
+    static create(a) {
+        return new ServiceAccountInfo(a.codeHash, a.balance, a.accumulateMinGas, a.onTransferMinGas, a.storageUtilisationBytes, a.gratisStorage, a.storageUtilisationCount, a.created, a.lastAccumulation, a.parentService);
+    }
+    /**
+     * `a_t = max(0, BS + BI * a_i + BL * a_o - a_f)`
+     * https://graypaper.fluffylabs.dev/#/7e6ff6a/119e01119e01?v=0.6.7
+     */
+    static calculateThresholdBalance(items, bytes, gratisStorage) {
+        const storageCost = BASE_SERVICE_BALANCE + ELECTIVE_ITEM_BALANCE * BigInt(items) + ELECTIVE_BYTE_BALANCE * bytes - gratisStorage;
+        if (storageCost < 0n) {
+            return tryAsU64(0);
+        }
+        if (storageCost >= 2n ** 64n) {
+            return tryAsU64(2n ** 64n - 1n);
+        }
+        return tryAsU64(storageCost);
+    }
+    constructor(
+    /** `a_c`: Hash of the service code. */
+    codeHash, 
+    /** `a_b`: Current account balance. */
+    balance, 
+    /** `a_g`: Minimal gas required to execute Accumulate entrypoint. */
+    accumulateMinGas, 
+    /** `a_m`: Minimal gas required to execute On Transfer entrypoint. */
+    onTransferMinGas, 
+    /** `a_o`: Total number of octets in storage. */
+    storageUtilisationBytes, 
+    /** `a_f`: Cost-free storage. Decreases both storage item count and total byte size. */
+    gratisStorage, 
+    /** `a_i`: Number of items in storage. */
+    storageUtilisationCount, 
+    /** `a_r`: Creation account time slot. */
+    created, 
+    /** `a_a`: Most recent accumulation time slot. */
+    lastAccumulation, 
+    /** `a_p`: Parent service ID. */
+    parentService) {
+        super();
+        this.codeHash = codeHash;
+        this.balance = balance;
+        this.accumulateMinGas = accumulateMinGas;
+        this.onTransferMinGas = onTransferMinGas;
+        this.storageUtilisationBytes = storageUtilisationBytes;
+        this.gratisStorage = gratisStorage;
+        this.storageUtilisationCount = storageUtilisationCount;
+        this.created = created;
+        this.lastAccumulation = lastAccumulation;
+        this.parentService = parentService;
+    }
+}
+class service_PreimageItem extends WithDebug {
+    hash;
+    blob;
+    static Codec = descriptors_codec.Class(service_PreimageItem, {
+        hash: descriptors_codec.bytes(hash_HASH_SIZE).asOpaque(),
+        blob: descriptors_codec.blob,
+    });
+    static create({ hash, blob }) {
+        return new service_PreimageItem(hash, blob);
+    }
+    constructor(hash, blob) {
+        super();
+        this.hash = hash;
+        this.blob = blob;
+    }
+}
+class StorageItem extends WithDebug {
+    key;
+    value;
+    static Codec = descriptors_codec.Class(StorageItem, {
+        key: descriptors_codec.blob.convert((i) => i, (o) => opaque_asOpaqueType(o)),
+        value: descriptors_codec.blob,
+    });
+    static create({ key, value }) {
+        return new StorageItem(key, value);
+    }
+    constructor(key, value) {
+        super();
+        this.key = key;
+        this.value = value;
+    }
+}
+const MAX_LOOKUP_HISTORY_SLOTS = 3;
+function tryAsLookupHistorySlots(items) {
+    const knownSize = sized_array_asKnownSize(items);
+    if (knownSize.length > MAX_LOOKUP_HISTORY_SLOTS) {
+        throw new Error(`Lookup history items must contain 0-${MAX_LOOKUP_HISTORY_SLOTS} timeslots.`);
+    }
+    return knownSize;
+}
+/** https://graypaper.fluffylabs.dev/#/5f542d7/115400115800 */
+class service_LookupHistoryItem {
+    hash;
+    length;
+    slots;
+    constructor(hash, length, 
+    /**
+     * Preimage availability history as a sequence of time slots.
+     * See PreimageStatus and the following GP fragment for more details.
+     * https://graypaper.fluffylabs.dev/#/5f542d7/11780011a500 */
+    slots) {
+        this.hash = hash;
+        this.length = length;
+        this.slots = slots;
+    }
+    static isRequested(item) {
+        if ("slots" in item) {
+            return item.slots.length === 0;
+        }
+        return item.length === 0;
+    }
+}
+
 ;// CONCATENATED MODULE: ./packages/jam/state/privileged-services.ts
 
 
+
+
+
 /** Dictionary entry of services that auto-accumulate every block. */
 class AutoAccumulate {
     service;
@@ -9207,39 +9414,50 @@ class AutoAccumulate {
     }
 }
 /**
- * https://graypaper.fluffylabs.dev/#/7e6ff6a/11da0111da01?v=0.6.7
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/114402114402?v=0.7.2
  */
 class PrivilegedServices {
     manager;
-    authManager;
-    validatorsManager;
+    delegator;
+    registrar;
+    assigners;
     autoAccumulateServices;
+    /** https://graypaper.fluffylabs.dev/#/ab2cdbd/3bbd023bcb02?v=0.7.2 */
     static Codec = descriptors_codec.Class(PrivilegedServices, {
         manager: descriptors_codec.u32.asOpaque(),
-        authManager: codecPerCore(descriptors_codec.u32.asOpaque()),
-        validatorsManager: descriptors_codec.u32.asOpaque(),
+        assigners: codecPerCore(descriptors_codec.u32.asOpaque()),
+        delegator: descriptors_codec.u32.asOpaque(),
+        registrar: Compatibility.isGreaterOrEqual(GpVersion.V0_7_1)
+            ? descriptors_codec.u32.asOpaque()
+            : ignoreValueWithDefault(tryAsServiceId(2 ** 32 - 1)),
         autoAccumulateServices: readonlyArray(descriptors_codec.sequenceVarLen(AutoAccumulate.Codec)),
     });
-    static create({ manager, authManager, validatorsManager, autoAccumulateServices }) {
-        return new PrivilegedServices(manager, authManager, validatorsManager, autoAccumulateServices);
+    static create(a) {
+        return new PrivilegedServices(a.manager, a.delegator, a.registrar, a.assigners, a.autoAccumulateServices);
     }
     constructor(
     /**
-     * `chi_m`: The first, χm, is the index of the manager service which is
-     * the service able to effect an alteration of χ from block to block,
+     * `χ_M`: Manages alteration of χ from block to block,
      * as well as bestow services with storage deposit credits.
-     * https://graypaper.fluffylabs.dev/#/7e6ff6a/11a40111a801?v=0.6.7
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/111502111902?v=0.7.2
      */
     manager, 
-    /** `chi_a`: Manages authorization queue one for each core. */
-    authManager, 
-    /** `chi_v`: Managers validator keys. */
-    validatorsManager, 
-    /** `chi_g`: Dictionary of services that auto-accumulate every block with their gas limit. */
+    /** `χ_V`: Managers validator keys. */
+    delegator, 
+    /**
+     * `χ_R`: Manages the creation of services in protected range.
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/111b02111d02?v=0.7.2
+     */
+    registrar, 
+    /** `χ_A`: Manages authorization queue one for each core. */
+    assigners, 
+    /** `χ_Z`: Dictionary of services that auto-accumulate every block with their gas limit. */
     autoAccumulateServices) {
         this.manager = manager;
-        this.authManager = authManager;
-        this.validatorsManager = validatorsManager;
+        this.delegator = delegator;
+        this.registrar = registrar;
+        this.assigners = assigners;
         this.autoAccumulateServices = autoAccumulateServices;
     }
 }
@@ -9327,7 +9545,7 @@ class RecentBlocks extends WithDebug {
  */
 class RecentBlocksHistory extends WithDebug {
     current;
-    static Codec = descriptor_Descriptor.new("RecentBlocksHistory", RecentBlocks.Codec.sizeHint, (encoder, value) => RecentBlocks.Codec.encode(encoder, value.asCurrent()), (decoder) => {
+    static Codec = Descriptor.new("RecentBlocksHistory", RecentBlocks.Codec.sizeHint, (encoder, value) => RecentBlocks.Codec.encode(encoder, value.asCurrent()), (decoder) => {
         const recentBlocks = RecentBlocks.Codec.decode(decoder);
         return RecentBlocksHistory.create(recentBlocks);
     }, (skip) => {
@@ -9524,196 +9742,6 @@ class SafroleData {
     }
 }
 
-;// CONCATENATED MODULE: ./packages/jam/state/service.ts
-
-
-
-
-
-
-/**
- * `B_S`: The basic minimum balance which all services require.
- *
- * https://graypaper.fluffylabs.dev/#/7e6ff6a/445800445800?v=0.6.7
- */
-const BASE_SERVICE_BALANCE = 100n;
-/**
- * `B_I`: The additional minimum balance required per item of elective service state.
- *
- * https://graypaper.fluffylabs.dev/#/7e6ff6a/445000445000?v=0.6.7
- */
-const ELECTIVE_ITEM_BALANCE = 10n;
-/**
- * `B_L`: The additional minimum balance required per octet of elective service state.
- *
- * https://graypaper.fluffylabs.dev/#/7e6ff6a/445400445400?v=0.6.7
- */
-const ELECTIVE_BYTE_BALANCE = 1n;
-const zeroSizeHint = {
-    bytes: 0,
-    isExact: true,
-};
-/** 0-byte read, return given default value */
-const ignoreValueWithDefault = (defaultValue) => Descriptor.new("ignoreValue", zeroSizeHint, (_e, _v) => { }, (_d) => defaultValue, (_s) => { });
-/** Encode and decode object with leading version number. */
-const codecWithVersion = (val) => descriptor_Descriptor.new("withVersion", {
-    bytes: val.sizeHint.bytes + 8,
-    isExact: false,
-}, (e, v) => {
-    e.varU64(0n);
-    val.encode(e, v);
-}, (d) => {
-    const version = d.varU64();
-    if (version !== 0n) {
-        throw new Error("Non-zero version is not supported!");
-    }
-    return val.decode(d);
-}, (s) => {
-    s.varU64();
-    val.skip(s);
-});
-/**
- * Service account details.
- *
- * https://graypaper.fluffylabs.dev/#/7e6ff6a/108301108301?v=0.6.7
- */
-class ServiceAccountInfo extends WithDebug {
-    codeHash;
-    balance;
-    accumulateMinGas;
-    onTransferMinGas;
-    storageUtilisationBytes;
-    gratisStorage;
-    storageUtilisationCount;
-    created;
-    lastAccumulation;
-    parentService;
-    static Codec = descriptors_codec.Class(ServiceAccountInfo, {
-        codeHash: descriptors_codec.bytes(hash_HASH_SIZE).asOpaque(),
-        balance: descriptors_codec.u64,
-        accumulateMinGas: descriptors_codec.u64.convert((x) => x, tryAsServiceGas),
-        onTransferMinGas: descriptors_codec.u64.convert((x) => x, tryAsServiceGas),
-        storageUtilisationBytes: descriptors_codec.u64,
-        gratisStorage: descriptors_codec.u64,
-        storageUtilisationCount: descriptors_codec.u32,
-        created: descriptors_codec.u32.convert((x) => x, common_tryAsTimeSlot),
-        lastAccumulation: descriptors_codec.u32.convert((x) => x, common_tryAsTimeSlot),
-        parentService: descriptors_codec.u32.convert((x) => x, tryAsServiceId),
-    });
-    static create(a) {
-        return new ServiceAccountInfo(a.codeHash, a.balance, a.accumulateMinGas, a.onTransferMinGas, a.storageUtilisationBytes, a.gratisStorage, a.storageUtilisationCount, a.created, a.lastAccumulation, a.parentService);
-    }
-    /**
-     * `a_t = max(0, BS + BI * a_i + BL * a_o - a_f)`
-     * https://graypaper.fluffylabs.dev/#/7e6ff6a/119e01119e01?v=0.6.7
-     */
-    static calculateThresholdBalance(items, bytes, gratisStorage) {
-        const storageCost = BASE_SERVICE_BALANCE + ELECTIVE_ITEM_BALANCE * BigInt(items) + ELECTIVE_BYTE_BALANCE * bytes - gratisStorage;
-        if (storageCost < 0n) {
-            return tryAsU64(0);
-        }
-        if (storageCost >= 2n ** 64n) {
-            return tryAsU64(2n ** 64n - 1n);
-        }
-        return tryAsU64(storageCost);
-    }
-    constructor(
-    /** `a_c`: Hash of the service code. */
-    codeHash, 
-    /** `a_b`: Current account balance. */
-    balance, 
-    /** `a_g`: Minimal gas required to execute Accumulate entrypoint. */
-    accumulateMinGas, 
-    /** `a_m`: Minimal gas required to execute On Transfer entrypoint. */
-    onTransferMinGas, 
-    /** `a_o`: Total number of octets in storage. */
-    storageUtilisationBytes, 
-    /** `a_f`: Cost-free storage. Decreases both storage item count and total byte size. */
-    gratisStorage, 
-    /** `a_i`: Number of items in storage. */
-    storageUtilisationCount, 
-    /** `a_r`: Creation account time slot. */
-    created, 
-    /** `a_a`: Most recent accumulation time slot. */
-    lastAccumulation, 
-    /** `a_p`: Parent service ID. */
-    parentService) {
-        super();
-        this.codeHash = codeHash;
-        this.balance = balance;
-        this.accumulateMinGas = accumulateMinGas;
-        this.onTransferMinGas = onTransferMinGas;
-        this.storageUtilisationBytes = storageUtilisationBytes;
-        this.gratisStorage = gratisStorage;
-        this.storageUtilisationCount = storageUtilisationCount;
-        this.created = created;
-        this.lastAccumulation = lastAccumulation;
-        this.parentService = parentService;
-    }
-}
-class service_PreimageItem extends WithDebug {
-    hash;
-    blob;
-    static Codec = descriptors_codec.Class(service_PreimageItem, {
-        hash: descriptors_codec.bytes(hash_HASH_SIZE).asOpaque(),
-        blob: descriptors_codec.blob,
-    });
-    static create({ hash, blob }) {
-        return new service_PreimageItem(hash, blob);
-    }
-    constructor(hash, blob) {
-        super();
-        this.hash = hash;
-        this.blob = blob;
-    }
-}
-class StorageItem extends WithDebug {
-    key;
-    value;
-    static Codec = descriptors_codec.Class(StorageItem, {
-        key: descriptors_codec.blob.convert((i) => i, (o) => opaque_asOpaqueType(o)),
-        value: descriptors_codec.blob,
-    });
-    static create({ key, value }) {
-        return new StorageItem(key, value);
-    }
-    constructor(key, value) {
-        super();
-        this.key = key;
-        this.value = value;
-    }
-}
-const MAX_LOOKUP_HISTORY_SLOTS = 3;
-function tryAsLookupHistorySlots(items) {
-    const knownSize = sized_array_asKnownSize(items);
-    if (knownSize.length > MAX_LOOKUP_HISTORY_SLOTS) {
-        throw new Error(`Lookup history items must contain 0-${MAX_LOOKUP_HISTORY_SLOTS} timeslots.`);
-    }
-    return knownSize;
-}
-/** https://graypaper.fluffylabs.dev/#/5f542d7/115400115800 */
-class service_LookupHistoryItem {
-    hash;
-    length;
-    slots;
-    constructor(hash, length, 
-    /**
-     * Preimage availability history as a sequence of time slots.
-     * See PreimageStatus and the following GP fragment for more details.
-     * https://graypaper.fluffylabs.dev/#/5f542d7/11780011a500 */
-    slots) {
-        this.hash = hash;
-        this.length = length;
-        this.slots = slots;
-    }
-    static isRequested(item) {
-        if ("slots" in item) {
-            return item.slots.length === 0;
-        }
-        return item.length === 0;
-    }
-}
-
 ;// CONCATENATED MODULE: ./packages/jam/state/state.ts
 /**
  * In addition to the entropy accumulator η_0, we retain
@@ -10150,6 +10178,7 @@ class StatisticsData {
 
 
 
+
 
 
 var in_memory_state_UpdateError;
@@ -10553,8 +10582,9 @@ class InMemoryState extends WithDebug {
             epochRoot: bytes_Bytes.zero(BANDERSNATCH_RING_ROOT_BYTES).asOpaque(),
             privilegedServices: PrivilegedServices.create({
                 manager: tryAsServiceId(0),
-                authManager: tryAsPerCore(new Array(spec.coresCount).fill(tryAsServiceId(0)), spec),
-                validatorsManager: tryAsServiceId(0),
+                assigners: tryAsPerCore(new Array(spec.coresCount).fill(tryAsServiceId(0)), spec),
+                delegator: tryAsServiceId(0),
+                registrar: tryAsServiceId(MAX_VALUE),
                 autoAccumulateServices: [],
             }),
             accumulationOutputLog: SortedArray.fromArray(accumulationOutputComparator, []),
@@ -10790,7 +10820,7 @@ var serialize;
  * determine the boundary of the bytes, so it can only be used
  * as the last element of the codec and can't be used in sequences!
  */
-const dumpCodec = descriptor_Descriptor.new("Dump", { bytes: 64, isExact: false }, (e, v) => e.bytes(bytes_Bytes.fromBlob(v.raw, v.raw.length)), (d) => bytes_BytesBlob.blobFrom(d.bytes(d.source.length - d.bytesRead()).raw), (s) => s.bytes(s.decoder.source.length - s.decoder.bytesRead()));
+const dumpCodec = Descriptor.new("Dump", { bytes: 64, isExact: false }, (e, v) => e.bytes(bytes_Bytes.fromBlob(v.raw, v.raw.length)), (d) => bytes_BytesBlob.blobFrom(d.bytes(d.source.length - d.bytesRead()).raw), (s) => s.bytes(s.decoder.source.length - s.decoder.bytesRead()));
 
 ;// CONCATENATED MODULE: ./packages/jam/state-merkleization/serialized-state.ts
 
@@ -12101,7 +12131,7 @@ const codecMap = (value, extractKey, { typicalLength = TYPICAL_DICTIONARY_LENGTH
     }
     return Ordering.Equal;
 }, } = {}) => {
-    return descriptor_Descriptor.new(`Map<${value.name}>[?]`, {
+    return Descriptor.new(`Map<${value.name}>[?]`, {
         bytes: typicalLength * value.sizeHint.bytes,
         isExact: false,
     }, (e, v) => {