@typeberry/lib 0.5.0 → 0.5.1-52ed6dc

package/index.d.ts

@@ -142,14 +142,12 @@ declare namespace index$A {
 }
 
 declare enum GpVersion {
-    V0_6_7 = "0.6.7",
     V0_7_0 = "0.7.0",
     V0_7_1 = "0.7.1",
     V0_7_2 = "0.7.2"
 }
 declare enum TestSuite {
-    W3F_DAVXY = "w3f-davxy",
-    JAMDUNA = "jamduna"
+    W3F_DAVXY = "w3f-davxy"
 }
 declare const DEFAULT_SUITE = TestSuite.W3F_DAVXY;
 declare const DEFAULT_VERSION = GpVersion.V0_7_2;
@@ -161,7 +159,6 @@ declare class Compatibility {
     static is(...version: GpVersion[]): boolean;
     static isSuite(suite: TestSuite, version?: GpVersion): boolean;
     static isGreaterOrEqual(version: GpVersion): boolean;
-    static isLessThan(version: GpVersion): boolean;
     /**
      * Allows selecting different values for different Gray Paper versions from one record.
      *
@@ -957,7 +954,7 @@ declare class Skipper {
 }
 
 /** Infer the type that is described by given descriptor `T` */
-type DescribedBy<T> = T extends Descriptor<infer V> ? V : never;
+type DescribedBy<T> = T extends Descriptor<infer V, infer _> ? V : never;
 /**
  * Converts a class `T` into an object with the same fields as the class.
  */
@@ -1209,6 +1206,21 @@ declare const custom: <T>({ name, sizeHint, }: {
     name: string;
     sizeHint: SizeHint;
 }, encode: (e: Encoder, x: T) => void, decode: (d: Decoder) => T, skip: (s: Skipper) => void) => Descriptor<T>;
+/**
+ * Descriptor record for union variants.
+ * Each variant can have its own view type, but the union itself won't expose views.
+ */
+type UnionDescriptorRecord<TKind extends number, T extends {
+    kind: TKind;
+}> = {
+    [K in TKind]: Descriptor<Omit<Extract<T, {
+        kind: K;
+    }>, "kind">, unknown>;
+};
+/** Tagged union type encoding. */
+declare const union: <TKind extends number, T extends {
+    kind: TKind;
+}, TVariants extends UnionDescriptorRecord<TKind, T> = UnionDescriptorRecord<TKind, T>>(name: string, variants: TVariants) => Descriptor<T>;
 /** Choose a descriptor depending on the encoding/decoding context. */
 declare const select: <T, V = T>({ name, sizeHint, }: {
     name: string;
@@ -1265,13 +1277,17 @@ declare const descriptors_u24: typeof u24;
 declare const descriptors_u32: typeof u32;
 declare const descriptors_u64: typeof u64;
 declare const descriptors_u8: typeof u8;
+declare const descriptors_union: typeof union;
 declare const descriptors_varU32: typeof varU32;
 declare const descriptors_varU64: typeof varU64;
 declare namespace descriptors {
-  export { descriptors_Class as Class, descriptors_TYPICAL_DICTIONARY_LENGTH as TYPICAL_DICTIONARY_LENGTH, descriptors_bitVecFixLen as bitVecFixLen, descriptors_bitVecVarLen as bitVecVarLen, descriptors_blob as blob, descriptors_bool as bool, descriptors_bytes as bytes, descriptors_custom as custom, descriptors_dictionary as dictionary, descriptors_forEachDescriptor as forEachDescriptor, descriptors_i16 as i16, descriptors_i24 as i24, descriptors_i32 as i32, descriptors_i64 as i64, descriptors_i8 as i8, descriptors_nothing as nothing, descriptors_object as object, descriptors_optional as optional, descriptors_pair as pair, descriptors_readonlyArray as readonlyArray, descriptors_select as select, descriptors_sequenceFixLen as sequenceFixLen, descriptors_sequenceVarLen as sequenceVarLen, descriptors_string as string, descriptors_u16 as u16, descriptors_u24 as u24, descriptors_u32 as u32, descriptors_u64 as u64, descriptors_u8 as u8, descriptors_varU32 as varU32, descriptors_varU64 as varU64 };
+  export { descriptors_Class as Class, descriptors_TYPICAL_DICTIONARY_LENGTH as TYPICAL_DICTIONARY_LENGTH, descriptors_bitVecFixLen as bitVecFixLen, descriptors_bitVecVarLen as bitVecVarLen, descriptors_blob as blob, descriptors_bool as bool, descriptors_bytes as bytes, descriptors_custom as custom, descriptors_dictionary as dictionary, descriptors_forEachDescriptor as forEachDescriptor, descriptors_i16 as i16, descriptors_i24 as i24, descriptors_i32 as i32, descriptors_i64 as i64, descriptors_i8 as i8, descriptors_nothing as nothing, descriptors_object as object, descriptors_optional as optional, descriptors_pair as pair, descriptors_readonlyArray as readonlyArray, descriptors_select as select, descriptors_sequenceFixLen as sequenceFixLen, descriptors_sequenceVarLen as sequenceVarLen, descriptors_string as string, descriptors_u16 as u16, descriptors_u24 as u24, descriptors_u32 as u32, descriptors_u64 as u64, descriptors_u8 as u8, descriptors_union as union, descriptors_varU32 as varU32, descriptors_varU64 as varU64 };
   export type { descriptors_SequenceVarLenOptions as SequenceVarLenOptions };
 }
 
+declare const codec: typeof descriptors;
+
+declare const index$x_Class: typeof Class;
 type index$x_ClassConstructor<T> = ClassConstructor<T>;
 type index$x_Codec<T> = Codec<T>;
 type index$x_CodecRecord<T> = CodecRecord<T>;
@@ -1293,20 +1309,53 @@ type index$x_ObjectView<T> = ObjectView<T>;
 declare const index$x_ObjectView: typeof ObjectView;
 type index$x_OptionalRecord<T> = OptionalRecord<T>;
 type index$x_PropertyKeys<T> = PropertyKeys<T>;
+type index$x_SequenceVarLenOptions = SequenceVarLenOptions;
 type index$x_SequenceView<T, V = T> = SequenceView<T, V>;
 declare const index$x_SequenceView: typeof SequenceView;
 type index$x_SimpleDescriptorRecord<T> = SimpleDescriptorRecord<T>;
 type index$x_SizeHint = SizeHint;
+declare const index$x_TYPICAL_DICTIONARY_LENGTH: typeof TYPICAL_DICTIONARY_LENGTH;
 type index$x_ViewField<T, V> = ViewField<T, V>;
 declare const index$x_ViewField: typeof ViewField;
 type index$x_ViewOf<T, D extends DescriptorRecord<T>> = ViewOf<T, D>;
 declare const index$x_addSizeHints: typeof addSizeHints;
+declare const index$x_bitVecFixLen: typeof bitVecFixLen;
+declare const index$x_bitVecVarLen: typeof bitVecVarLen;
+declare const index$x_blob: typeof blob;
+declare const index$x_bool: typeof bool;
+declare const index$x_bytes: typeof bytes;
+declare const index$x_codec: typeof codec;
+declare const index$x_custom: typeof custom;
 declare const index$x_decodeVariableLengthExtraBytes: typeof decodeVariableLengthExtraBytes;
+declare const index$x_dictionary: typeof dictionary;
+declare const index$x_forEachDescriptor: typeof forEachDescriptor;
+declare const index$x_i16: typeof i16;
+declare const index$x_i24: typeof i24;
+declare const index$x_i32: typeof i32;
+declare const index$x_i64: typeof i64;
+declare const index$x_i8: typeof i8;
+declare const index$x_nothing: typeof nothing;
+declare const index$x_object: typeof object;
+declare const index$x_optional: typeof optional;
+declare const index$x_pair: typeof pair;
+declare const index$x_readonlyArray: typeof readonlyArray;
+declare const index$x_select: typeof select;
+declare const index$x_sequenceFixLen: typeof sequenceFixLen;
+declare const index$x_sequenceVarLen: typeof sequenceVarLen;
+declare const index$x_string: typeof string;
 declare const index$x_tryAsExactBytes: typeof tryAsExactBytes;
+declare const index$x_u16: typeof u16;
+declare const index$x_u24: typeof u24;
+declare const index$x_u32: typeof u32;
+declare const index$x_u64: typeof u64;
+declare const index$x_u8: typeof u8;
+declare const index$x_union: typeof union;
 declare const index$x_validateLength: typeof validateLength;
+declare const index$x_varU32: typeof varU32;
+declare const index$x_varU64: typeof varU64;
 declare namespace index$x {
-  export { index$x_Decoder as Decoder, index$x_Descriptor as Descriptor, index$x_Encoder as Encoder, index$x_EndOfDataError as EndOfDataError, index$x_ObjectView as ObjectView, index$x_SequenceView as SequenceView, index$x_ViewField as ViewField, index$x_addSizeHints as addSizeHints, descriptors as codec, index$x_decodeVariableLengthExtraBytes as decodeVariableLengthExtraBytes, index$x_tryAsExactBytes as tryAsExactBytes, index$x_validateLength as validateLength };
-  export type { index$x_ClassConstructor as ClassConstructor, index$x_Codec as Codec, index$x_CodecRecord as CodecRecord, index$x_CodecWithView as CodecWithView, index$x_Decode as Decode, index$x_DescribedBy as DescribedBy, index$x_DescriptorRecord as DescriptorRecord, index$x_Encode as Encode, index$x_LengthRange as LengthRange, index$x_OptionalRecord as OptionalRecord, Options$1 as Options, index$x_PropertyKeys as PropertyKeys, index$x_SimpleDescriptorRecord as SimpleDescriptorRecord, index$x_SizeHint as SizeHint, index$x_ViewOf as ViewOf };
+  export { index$x_Class as Class, index$x_Decoder as Decoder, index$x_Descriptor as Descriptor, index$x_Encoder as Encoder, index$x_EndOfDataError as EndOfDataError, index$x_ObjectView as ObjectView, index$x_SequenceView as SequenceView, index$x_TYPICAL_DICTIONARY_LENGTH as TYPICAL_DICTIONARY_LENGTH, index$x_ViewField as ViewField, index$x_addSizeHints as addSizeHints, index$x_bitVecFixLen as bitVecFixLen, index$x_bitVecVarLen as bitVecVarLen, index$x_blob as blob, index$x_bool as bool, index$x_bytes as bytes, index$x_codec as codec, index$x_custom as custom, index$x_decodeVariableLengthExtraBytes as decodeVariableLengthExtraBytes, index$x_dictionary as dictionary, index$x_forEachDescriptor as forEachDescriptor, index$x_i16 as i16, index$x_i24 as i24, index$x_i32 as i32, index$x_i64 as i64, index$x_i8 as i8, index$x_nothing as nothing, index$x_object as object, index$x_optional as optional, index$x_pair as pair, index$x_readonlyArray as readonlyArray, index$x_select as select, index$x_sequenceFixLen as sequenceFixLen, index$x_sequenceVarLen as sequenceVarLen, index$x_string as string, index$x_tryAsExactBytes as tryAsExactBytes, index$x_u16 as u16, index$x_u24 as u24, index$x_u32 as u32, index$x_u64 as u64, index$x_u8 as u8, index$x_union as union, index$x_validateLength as validateLength, index$x_varU32 as varU32, index$x_varU64 as varU64 };
+  export type { index$x_ClassConstructor as ClassConstructor, index$x_Codec as Codec, index$x_CodecRecord as CodecRecord, index$x_CodecWithView as CodecWithView, index$x_Decode as Decode, index$x_DescribedBy as DescribedBy, index$x_DescriptorRecord as DescriptorRecord, index$x_Encode as Encode, index$x_LengthRange as LengthRange, index$x_OptionalRecord as OptionalRecord, Options$1 as Options, index$x_PropertyKeys as PropertyKeys, index$x_SequenceVarLenOptions as SequenceVarLenOptions, index$x_SimpleDescriptorRecord as SimpleDescriptorRecord, index$x_SizeHint as SizeHint, index$x_ViewOf as ViewOf };
 }
 
 /**
@@ -1963,6 +2012,8 @@ declare class TruncatedHashDictionary<T extends OpaqueHash, V> {
     set(key: T | TruncatedHash, value: V): void;
     /** Remove a value that matches the key on `TRUNCATED_HASH_SIZE`. */
     delete(key: T | TruncatedHash): void;
+    /** Iterator over keys of the dictionary. */
+    keys(): Iterator<TruncatedHash, any, any> & Iterable<TruncatedHash>;
     /** Iterator over values of the dictionary. */
     values(): Iterator<V, any, any> & Iterable<V>;
     /** Iterator over entries of the dictionary (with truncated keys) */
@@ -2008,21 +2059,43 @@ declare namespace index$v {
 }
 
 declare namespace bandersnatch_d_exports {
-  export { batch_verify_tickets, __wbg_init$2 as default, derive_public_key, initSync$2 as initSync, ring_commitment, verify_seal };
+  export { batch_verify_tickets, __wbg_init$2 as default, derive_public_key, generate_seal, initSync$2 as initSync, ring_commitment, verify_seal, vrf_output_hash };
   export type { InitInput$2 as InitInput, InitOutput$2 as InitOutput, SyncInitInput$2 as SyncInitInput };
 }
 /* tslint:disable */
 /* eslint-disable */
 /**
- * Generate ring commitment given concatenation of ring keys.
+ * Compute VRF output hash from a secret seed and input data.
+ *
+ * This function derives a deterministic VRF output hash without generating a proof.
+ * Unlike `generate_seal`, this produces only the output hash, not a verifiable signature.
+ *
+ * # Arguments
+ * * `secret_seed` - Seed used to derive the secret key
+ * * `input` - VRF input data to be hashed
+ *
+ * # Returns
+ * A byte vector with the following format:
+ * - On success (33 bytes):
+ *   - Byte 0: Status code `0` (RESULT_OK)
+ *   - Bytes 1-32: VRF output hash (32 bytes)
+ * - On error (1 byte):
+ *   - Byte 0: Status code `1` (RESULT_ERR)
+ *
+ * Returns an error if the input cannot be converted to a valid VRF input point.
  */
-declare function ring_commitment(keys: Uint8Array): Uint8Array;
+declare function vrf_output_hash(secret_seed: Uint8Array, input: Uint8Array): Uint8Array;
 /**
- * Derive Private and Public Key from Seed
+ * Verify multiple tickets at once as defined in:
+ * https://graypaper.fluffylabs.dev/#/68eaa1f/0f3e000f3e00?v=0.6.4
  *
- * returns: `Vec<u8>` containing the exit (1 byte) status followed by the (32 bytes) public key
+ * NOTE: the aux_data of VRF function is empty!
  */
-declare function derive_public_key(seed: Uint8Array): Uint8Array;
+declare function batch_verify_tickets(ring_size: number, commitment: Uint8Array, tickets_data: Uint8Array, vrf_input_data_len: number): Uint8Array;
+/**
+ * Generate ring commitment given concatenation of ring keys.
+ */
+declare function ring_commitment(keys: Uint8Array): Uint8Array;
 /**
  * Seal verification as defined in:
  * https://graypaper.fluffylabs.dev/#/68eaa1f/0eff000eff00?v=0.6.4
@@ -2031,19 +2104,41 @@ declare function derive_public_key(seed: Uint8Array): Uint8Array;
  */
 declare function verify_seal(signer_key: Uint8Array, seal_data: Uint8Array, payload: Uint8Array, aux_data: Uint8Array): Uint8Array;
 /**
- * Verify multiple tickets at once as defined in:
- * https://graypaper.fluffylabs.dev/#/68eaa1f/0f3e000f3e00?v=0.6.4
+ * Generate seal that is verifiable using `verify_seal` function.
  *
- * NOTE: the aux_data of VRF function is empty!
+ * # Arguments
+ * * `secret_seed` - Seed used to derive the secret key
+ * * `input` - VRF input data
+ * * `aux_data` - Auxiliary data for the VRF proof
+ *
+ * # Returns
+ * A byte vector with the following format:
+ * - On success (97 bytes):
+ *   - Byte 0: Status code `0` (RESULT_OK)
+ *   - Bytes 1-32: Serialized VRF output (32 bytes, compressed) NOTE: not output hash!
+ *   - Bytes 33-96: Serialized IETF VRF proof (64 bytes, compressed)
+ * - On error (1 byte):
+ *   - Byte 0: Status code `1` (RESULT_ERR)
+ *
+ * Returns an error if the input cannot be converted to a valid VRF input point
+ * or if serialization of the output or proof fails.
  */
-declare function batch_verify_tickets(ring_size: number, commitment: Uint8Array, tickets_data: Uint8Array, vrf_input_data_len: number): Uint8Array;
+declare function generate_seal(secret_seed: Uint8Array, input: Uint8Array, aux_data: Uint8Array): Uint8Array;
+/**
+ * Derive Private and Public Key from Seed
+ *
+ * returns: `Vec<u8>` containing the exit (1 byte) status followed by the (32 bytes) public key
+ */
+declare function derive_public_key(seed: Uint8Array): Uint8Array;
 type InitInput$2 = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
 interface InitOutput$2 {
   readonly memory: WebAssembly.Memory;
-  readonly ring_commitment: (a: number, b: number) => [number, number];
+  readonly batch_verify_tickets: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number];
   readonly derive_public_key: (a: number, b: number) => [number, number];
+  readonly generate_seal: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number];
+  readonly ring_commitment: (a: number, b: number) => [number, number];
   readonly verify_seal: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => [number, number];
-  readonly batch_verify_tickets: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number];
+  readonly vrf_output_hash: (a: number, b: number, c: number, d: number) => [number, number];
   readonly __wbindgen_export_0: WebAssembly.Table;
   readonly __wbindgen_malloc: (a: number, b: number) => number;
   readonly __wbindgen_free: (a: number, b: number, c: number) => void;
@@ -2693,7 +2788,7 @@ declare const encodeUnsealedHeader: (view: HeaderView) => BytesBlob;
 /**
  * The header of the JAM block.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/0c66000c7200
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/0c66000c7200?v=0.7.2
  */
 declare class Header extends WithDebug {
     static Codec: Descriptor<Header & CodecRecord<Header>, ViewOf<Header & CodecRecord<Header>, {
@@ -2715,9 +2810,9 @@ declare class Header extends WithDebug {
                 attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
             }>>>;
         }> | null>;
-        offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
         bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
         entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+        offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
         seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
     }>>;
     static create(h: CodecRecord<Header>): Header & CodecRecord<Header>;
@@ -2726,35 +2821,35 @@ declare class Header extends WithDebug {
      *
      * In case of the genesis block, the hash will be zero.
      */
-    parentHeaderHash: HeaderHash;
+    readonly parentHeaderHash: HeaderHash;
     /** `H_r`: The state trie root hash before executing that block. */
-    priorStateRoot: StateRootHash;
+    readonly priorStateRoot: StateRootHash;
     /** `H_x`: The hash of block extrinsic. */
-    extrinsicHash: ExtrinsicHash;
+    readonly extrinsicHash: ExtrinsicHash;
     /** `H_t`: JAM time-slot index. */
-    timeSlotIndex: TimeSlot;
+    readonly timeSlotIndex: TimeSlot;
     /**
      * `H_e`: Key and entropy relevant to the following epoch in case the ticket
      *        contest does not complete adequately.
      */
-    epochMarker: EpochMarker | null;
+    readonly epochMarker: EpochMarker | null;
     /**
      * `H_w`: Winning tickets provides the series of 600 slot sealing "tickets"
      *        for the next epoch.
      */
-    ticketsMarker: TicketsMarker | null;
+    readonly ticketsMarker: TicketsMarker | null;
     /** `H_i`: Block author's index in the current validator set. */
-    bandersnatchBlockAuthorIndex: ValidatorIndex;
+    readonly bandersnatchBlockAuthorIndex: ValidatorIndex;
     /** `H_v`: Entropy-yielding VRF signature. */
-    entropySource: BandersnatchVrfSignature;
+    readonly entropySource: BandersnatchVrfSignature;
     /** `H_o`: Sequence of keys of newly misbehaving validators. */
-    offendersMarker: Ed25519Key[];
+    readonly offendersMarker: Ed25519Key[];
     /**
      * `H_s`: Block seal.
      *
      * https://graypaper.fluffylabs.dev/#/579bd12/0d0c010d1101
      */
-    seal: BandersnatchVrfSignature;
+    readonly seal: BandersnatchVrfSignature;
     private constructor();
     /** Create an empty header with some dummy values. */
     static empty(): Header;
@@ -2781,9 +2876,9 @@ declare const headerViewWithHashCodec: Descriptor<WithHash<OpaqueHash & WithOpaq
             attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
         }>>>;
     }> | null>;
-    offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
     bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
     entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+    offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
     seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
 }>>, ViewOf<WithHash<OpaqueHash & WithOpaque<"HeaderHash">, ViewOf<Header & CodecRecord<Header>, {
     parentHeaderHash: Descriptor<Bytes<32> & WithOpaque<"HeaderHash">, Bytes<32>>;
@@ -2804,9 +2899,9 @@ declare const headerViewWithHashCodec: Descriptor<WithHash<OpaqueHash & WithOpaq
             attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
         }>>>;
     }> | null>;
-    offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
     bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
     entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+    offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
     seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
 }>>, {
     hash: Descriptor<Bytes<32> & WithOpaque<"HeaderHash">, Bytes<32>>;
@@ -2829,9 +2924,9 @@ declare const headerViewWithHashCodec: Descriptor<WithHash<OpaqueHash & WithOpaq
                 attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
             }>>>;
         }> | null>;
-        offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
         bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
         entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+        offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
         seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
     }>, ViewOf<Header & CodecRecord<Header>, {
         parentHeaderHash: Descriptor<Bytes<32> & WithOpaque<"HeaderHash">, Bytes<32>>;
@@ -2852,9 +2947,9 @@ declare const headerViewWithHashCodec: Descriptor<WithHash<OpaqueHash & WithOpaq
                 attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
             }>>>;
         }> | null>;
-        offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
         bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
         entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+        offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
         seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
     }>>;
 }>>;
@@ -3045,13 +3140,29 @@ declare enum WorkExecResultKind {
     /** `BIG`: the code was too big (beyond the maximum allowed size `W_C`) */
     codeOversize = 6
 }
+type WorkExecResultUnion = {
+    kind: WorkExecResultKind.ok;
+    okBlob: BytesBlob;
+} | {
+    kind: WorkExecResultKind.outOfGas;
+} | {
+    kind: WorkExecResultKind.panic;
+} | {
+    kind: WorkExecResultKind.incorrectNumberOfExports;
+} | {
+    kind: WorkExecResultKind.digestTooBig;
+} | {
+    kind: WorkExecResultKind.badCode;
+} | {
+    kind: WorkExecResultKind.codeOversize;
+};
 /** The execution result of some work-package. */
 declare class WorkExecResult extends WithDebug {
     /** The execution result tag. */
     readonly kind: WorkExecResultKind;
     /** Optional octet sequence - available only if `kind === ok` */
     readonly okBlob: BytesBlob | null;
-    static Codec: Descriptor<WorkExecResult, WorkExecResult>;
+    static Codec: Descriptor<WorkExecResult, WorkExecResultUnion>;
     constructor(
     /** The execution result tag. */
     kind: WorkExecResultKind, 
@@ -3126,7 +3237,7 @@ declare class WorkResult {
         codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
         payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
         gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
-        result: Descriptor<WorkExecResult, WorkExecResult>;
+        result: Descriptor<WorkExecResult, WorkExecResultUnion>;
         load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
             gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
             importedSegments: Descriptor<U32, U32>;
@@ -3290,7 +3401,7 @@ declare function workItemExtrinsicsCodec(workItems: WorkItem[]): Descriptor<read
 /**
  * Work Item which is a part of some work package.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/198b00199600
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/1a86001a9100?v=0.7.2
  */
 declare class WorkItem extends WithDebug {
     /** `s`: related service */
@@ -3457,16 +3568,16 @@ declare class WorkPackageSpec extends WithDebug {
 /**
  * A report of execution of some work package.
  *
- * https://graypaper.fluffylabs.dev/#/cc517d7/131c01132401?v=0.6.5
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/13bb0113c301?v=0.7.2
  */
-declare class WorkReportNoCodec extends WithDebug {
+declare class WorkReport extends WithDebug {
     /** `s`: Work package specification. */
     readonly workPackageSpec: WorkPackageSpec;
-    /** `x`: Refinement context. */
+    /** `c`: Refinement context. */
     readonly context: RefineContext;
-    /** `c`: Core index on which the work is done. */
+    /** *`c`*: Core index on which the work is done. */
     readonly coreIndex: CoreIndex;
-    /** `a`: Hash of the authorizer. */
+    /** *`a`*: Hash of the authorizer. */
     readonly authorizerHash: AuthorizerHash;
     /** `o`: Authorization output. */
     readonly authorizationOutput: BytesBlob;
@@ -3477,17 +3588,71 @@ declare class WorkReportNoCodec extends WithDebug {
     readonly segmentRootLookup: readonly WorkPackageInfo[];
     /** `r`: The results of evaluation of each of the items in the work package. */
     readonly results: FixedSizeArray<WorkResult, WorkItemsCount>;
-    /** `g`: Gas used during authorization. */
+    /** *`g`*: Gas used during authorization. */
     readonly authorizationGasUsed: ServiceGas;
-    static create({ workPackageSpec, context, coreIndex, authorizerHash, authorizationOutput, segmentRootLookup, results, authorizationGasUsed, }: CodecRecord<WorkReportNoCodec>): WorkReportNoCodec;
+    static Codec: Descriptor<WorkReport, ViewOf<WorkReport, {
+        workPackageSpec: Descriptor<WorkPackageSpec, ViewOf<WorkPackageSpec, {
+            hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
+            length: Descriptor<U32, Bytes<4>>;
+            erasureRoot: Descriptor<Bytes<32>, Bytes<32>>;
+            exportsRoot: Descriptor<Bytes<32> & WithOpaque<"ExportsRootHash">, Bytes<32>>;
+            exportsCount: Descriptor<U16, Bytes<2>>;
+        }>>;
+        context: Descriptor<RefineContext, ViewOf<RefineContext, {
+            anchor: Descriptor<Bytes<32> & WithOpaque<"HeaderHash">, Bytes<32>>;
+            stateRoot: Descriptor<Bytes<32> & WithOpaque<"StateRootHash">, Bytes<32>>;
+            beefyRoot: Descriptor<Bytes<32> & WithOpaque<"BeefyHash">, Bytes<32>>;
+            lookupAnchor: Descriptor<Bytes<32> & WithOpaque<"HeaderHash">, Bytes<32>>;
+            lookupAnchorSlot: Descriptor<number & WithBytesRepresentation<4> & WithOpaque<"TimeSlot[u32]">, Bytes<4>>;
+            prerequisites: Descriptor<(Bytes<32> & WithOpaque<"WorkPackageHash">)[], SequenceView<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>>;
+        }>>;
+        coreIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"CoreIndex[u16]">, U32>;
+        authorizerHash: Descriptor<Bytes<32> & WithOpaque<"AuthorizerHash">, Bytes<32>>;
+        authorizationGasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
+        authorizationOutput: Descriptor<BytesBlob, BytesBlob>;
+        segmentRootLookup: Descriptor<readonly WorkPackageInfo[], SequenceView<WorkPackageInfo, ViewOf<WorkPackageInfo, {
+            workPackageHash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
+            segmentTreeRoot: Descriptor<Bytes<32> & WithOpaque<"ExportsRootHash">, Bytes<32>>;
+        }>>>;
+        results: Descriptor<FixedSizeArray<WorkResult, U8>, SequenceView<WorkResult, ViewOf<WorkResult, {
+            serviceId: Descriptor<number & WithBytesRepresentation<4> & WithOpaque<"ServiceId[u32]">, Bytes<4>>;
+            codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
+            payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
+            gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
+            result: Descriptor<WorkExecResult, {
+                kind: WorkExecResultKind.ok;
+                okBlob: BytesBlob;
+            } | {
+                kind: WorkExecResultKind.outOfGas;
+            } | {
+                kind: WorkExecResultKind.panic;
+            } | {
+                kind: WorkExecResultKind.incorrectNumberOfExports;
+            } | {
+                kind: WorkExecResultKind.digestTooBig;
+            } | {
+                kind: WorkExecResultKind.badCode;
+            } | {
+                kind: WorkExecResultKind.codeOversize;
+            }>;
+            load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
+                gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
+                importedSegments: Descriptor<U32, U32>;
+                extrinsicCount: Descriptor<U32, U32>;
+                extrinsicSize: Descriptor<U32, U32>;
+                exportedSegments: Descriptor<U32, U32>;
+            }>>;
+        }>>>;
+    }>>;
+    static create({ workPackageSpec, context, coreIndex, authorizerHash, authorizationOutput, segmentRootLookup, results, authorizationGasUsed, }: CodecRecord<WorkReport>): WorkReport;
     protected constructor(
     /** `s`: Work package specification. */
     workPackageSpec: WorkPackageSpec, 
-    /** `x`: Refinement context. */
+    /** `c`: Refinement context. */
     context: RefineContext, 
-    /** `c`: Core index on which the work is done. */
+    /** *`c`*: Core index on which the work is done. */
     coreIndex: CoreIndex, 
-    /** `a`: Hash of the authorizer. */
+    /** *`a`*: Hash of the authorizer. */
     authorizerHash: AuthorizerHash, 
     /** `o`: Authorization output. */
     authorizationOutput: BytesBlob, 
@@ -3498,63 +3663,18 @@ declare class WorkReportNoCodec extends WithDebug {
     segmentRootLookup: readonly WorkPackageInfo[], 
     /** `r`: The results of evaluation of each of the items in the work package. */
     results: FixedSizeArray<WorkResult, WorkItemsCount>, 
-    /** `g`: Gas used during authorization. */
+    /** *`g`*: Gas used during authorization. */
     authorizationGasUsed: ServiceGas);
 }
-declare const WorkReportCodec: Descriptor<WorkReportNoCodec, ViewOf<WorkReportNoCodec, {
-    workPackageSpec: Descriptor<WorkPackageSpec, ViewOf<WorkPackageSpec, {
-        hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
-        length: Descriptor<U32, Bytes<4>>;
-        erasureRoot: Descriptor<Bytes<32>, Bytes<32>>;
-        exportsRoot: Descriptor<Bytes<32> & WithOpaque<"ExportsRootHash">, Bytes<32>>;
-        exportsCount: Descriptor<U16, Bytes<2>>;
-    }>>;
-    context: Descriptor<RefineContext, ViewOf<RefineContext, {
-        anchor: Descriptor<Bytes<32> & WithOpaque<"HeaderHash">, Bytes<32>>;
-        stateRoot: Descriptor<Bytes<32> & WithOpaque<"StateRootHash">, Bytes<32>>;
-        beefyRoot: Descriptor<Bytes<32> & WithOpaque<"BeefyHash">, Bytes<32>>;
-        lookupAnchor: Descriptor<Bytes<32> & WithOpaque<"HeaderHash">, Bytes<32>>;
-        lookupAnchorSlot: Descriptor<number & WithBytesRepresentation<4> & WithOpaque<"TimeSlot[u32]">, Bytes<4>>;
-        prerequisites: Descriptor<(Bytes<32> & WithOpaque<"WorkPackageHash">)[], SequenceView<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>>;
-    }>>;
-    coreIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"CoreIndex[u16]">, U32>;
-    authorizerHash: Descriptor<Bytes<32> & WithOpaque<"AuthorizerHash">, Bytes<32>>;
-    authorizationGasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
-    authorizationOutput: Descriptor<BytesBlob, BytesBlob>;
-    segmentRootLookup: Descriptor<readonly WorkPackageInfo[], SequenceView<WorkPackageInfo, ViewOf<WorkPackageInfo, {
-        workPackageHash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
-        segmentTreeRoot: Descriptor<Bytes<32> & WithOpaque<"ExportsRootHash">, Bytes<32>>;
-    }>>>;
-    results: Descriptor<FixedSizeArray<WorkResult, U8>, SequenceView<WorkResult, ViewOf<WorkResult, {
-        serviceId: Descriptor<number & WithBytesRepresentation<4> & WithOpaque<"ServiceId[u32]">, Bytes<4>>;
-        codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
-        payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
-        gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
-        result: Descriptor<WorkExecResult, WorkExecResult>;
-        load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
-            gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
-            importedSegments: Descriptor<U32, U32>;
-            extrinsicCount: Descriptor<U32, U32>;
-            extrinsicSize: Descriptor<U32, U32>;
-            exportedSegments: Descriptor<U32, U32>;
-        }>>;
-    }>>>;
-}>>;
-declare class WorkReport extends WorkReportNoCodec {
-    static Codec: typeof WorkReportCodec;
-}
 
 type workReport_WorkPackageSpec = WorkPackageSpec;
 declare const workReport_WorkPackageSpec: typeof WorkPackageSpec;
 type workReport_WorkReport = WorkReport;
 declare const workReport_WorkReport: typeof WorkReport;
-type workReport_WorkReportNoCodec = WorkReportNoCodec;
-declare const workReport_WorkReportNoCodec: typeof WorkReportNoCodec;
 declare namespace workReport {
   export {
     workReport_WorkPackageSpec as WorkPackageSpec,
     workReport_WorkReport as WorkReport,
-    workReport_WorkReportNoCodec as WorkReportNoCodec,
   };
 }
 
@@ -3566,7 +3686,7 @@ declare namespace workReport {
  * Since GP defines that value explicitly as "two or three",
  * we do that as well.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/14b90214bb02
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
  */
 type REQUIRED_CREDENTIALS = 2 | 3;
 declare const REQUIRED_CREDENTIALS_RANGE: number[];
@@ -3586,7 +3706,7 @@ declare class Credential extends WithDebug {
 /**
  * Tuple of work-report, a credential and it's corresponding timeslot.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/147102149102
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15df00150301?v=0.7.2
  */
 declare class ReportGuarantee extends WithDebug {
     /** The work-report being guaranteed. */
@@ -3598,11 +3718,11 @@ declare class ReportGuarantee extends WithDebug {
      * validator index and a signature.
      * Credentials must be ordered by their validator index.
      *
-     * https://graypaper.fluffylabs.dev/#/579bd12/14b90214bb02
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
      */
     readonly credentials: KnownSizeArray<Credential, `${REQUIRED_CREDENTIALS}`>;
     static Codec: Descriptor<ReportGuarantee, ViewOf<ReportGuarantee, {
-        report: Descriptor<WorkReportNoCodec, ViewOf<WorkReportNoCodec, {
+        report: Descriptor<WorkReport, ViewOf<WorkReport, {
             workPackageSpec: Descriptor<WorkPackageSpec, ViewOf<WorkPackageSpec, {
                 hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
                 length: Descriptor<U32, Bytes<4>>;
@@ -3631,7 +3751,22 @@ declare class ReportGuarantee extends WithDebug {
                 codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
                 payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
                 gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
-                result: Descriptor<WorkExecResult, WorkExecResult>;
+                result: Descriptor<WorkExecResult, {
+                    kind: WorkExecResultKind.ok;
+                    okBlob: BytesBlob;
+                } | {
+                    kind: WorkExecResultKind.outOfGas;
+                } | {
+                    kind: WorkExecResultKind.panic;
+                } | {
+                    kind: WorkExecResultKind.incorrectNumberOfExports;
+                } | {
+                    kind: WorkExecResultKind.digestTooBig;
+                } | {
+                    kind: WorkExecResultKind.badCode;
+                } | {
+                    kind: WorkExecResultKind.codeOversize;
+                }>;
                 load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                     gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                     importedSegments: Descriptor<U32, U32>;
@@ -3657,11 +3792,11 @@ declare const GuaranteesExtrinsicBounds = "[0..CoresCount)";
  * Each core index (within work-report) must be unique and guarantees
  * must be in ascending order of this.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/146402146702
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15d10015d400?v=0.7.2
  */
 type GuaranteesExtrinsic = KnownSizeArray<ReportGuarantee, typeof GuaranteesExtrinsicBounds>;
 declare const guaranteesExtrinsicCodec: Descriptor<readonly ReportGuarantee[] & WithOpaque<"[0..CoresCount)">, SequenceView<ReportGuarantee, ViewOf<ReportGuarantee, {
-    report: Descriptor<WorkReportNoCodec, ViewOf<WorkReportNoCodec, {
+    report: Descriptor<WorkReport, ViewOf<WorkReport, {
         workPackageSpec: Descriptor<WorkPackageSpec, ViewOf<WorkPackageSpec, {
             hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
             length: Descriptor<U32, Bytes<4>>;
@@ -3690,7 +3825,22 @@ declare const guaranteesExtrinsicCodec: Descriptor<readonly ReportGuarantee[] &
             codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
             payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
             gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
-            result: Descriptor<WorkExecResult, WorkExecResult>;
+            result: Descriptor<WorkExecResult, {
+                kind: WorkExecResultKind.ok;
+                okBlob: BytesBlob;
+            } | {
+                kind: WorkExecResultKind.outOfGas;
+            } | {
+                kind: WorkExecResultKind.panic;
+            } | {
+                kind: WorkExecResultKind.incorrectNumberOfExports;
+            } | {
+                kind: WorkExecResultKind.digestTooBig;
+            } | {
+                kind: WorkExecResultKind.badCode;
+            } | {
+                kind: WorkExecResultKind.codeOversize;
+            }>;
             load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                 gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                 importedSegments: Descriptor<U32, U32>;
@@ -3806,7 +3956,7 @@ declare class Extrinsic extends WithDebug {
             blob: Descriptor<BytesBlob, BytesBlob>;
         }>>>;
         guarantees: Descriptor<readonly ReportGuarantee[] & WithOpaque<"[0..CoresCount)">, SequenceView<ReportGuarantee, ViewOf<ReportGuarantee, {
-            report: Descriptor<WorkReportNoCodec, ViewOf<WorkReportNoCodec, {
+            report: Descriptor<WorkReport, ViewOf<WorkReport, {
                 workPackageSpec: Descriptor<WorkPackageSpec, ViewOf<WorkPackageSpec, {
                     hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
                     length: Descriptor<U32, Bytes<4>>;
@@ -3835,7 +3985,22 @@ declare class Extrinsic extends WithDebug {
                     codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
                     payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
                     gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
-                    result: Descriptor<WorkExecResult, WorkExecResult>;
+                    result: Descriptor<WorkExecResult, {
+                        kind: WorkExecResultKind.ok;
+                        okBlob: BytesBlob;
+                    } | {
+                        kind: WorkExecResultKind.outOfGas;
+                    } | {
+                        kind: WorkExecResultKind.panic;
+                    } | {
+                        kind: WorkExecResultKind.incorrectNumberOfExports;
+                    } | {
+                        kind: WorkExecResultKind.digestTooBig;
+                    } | {
+                        kind: WorkExecResultKind.badCode;
+                    } | {
+                        kind: WorkExecResultKind.codeOversize;
+                    }>;
                     load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                         gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                         importedSegments: Descriptor<U32, U32>;
@@ -3916,9 +4081,9 @@ declare class Block extends WithDebug {
                     attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
                 }>>>;
             }> | null>;
-            offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
             bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
             entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+            offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
             seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
         }>>;
         extrinsic: Descriptor<Extrinsic, ViewOf<Extrinsic, {
@@ -3931,7 +4096,7 @@ declare class Block extends WithDebug {
                 blob: Descriptor<BytesBlob, BytesBlob>;
             }>>>;
             guarantees: Descriptor<readonly ReportGuarantee[] & WithOpaque<"[0..CoresCount)">, SequenceView<ReportGuarantee, ViewOf<ReportGuarantee, {
-                report: Descriptor<WorkReportNoCodec, ViewOf<WorkReportNoCodec, {
+                report: Descriptor<WorkReport, ViewOf<WorkReport, {
                     workPackageSpec: Descriptor<WorkPackageSpec, ViewOf<WorkPackageSpec, {
                         hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
                         length: Descriptor<U32, Bytes<4>>;
@@ -3960,7 +4125,22 @@ declare class Block extends WithDebug {
                         codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
                         payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
                         gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
-                        result: Descriptor<WorkExecResult, WorkExecResult>;
+                        result: Descriptor<WorkExecResult, {
+                            kind: WorkExecResultKind.ok;
+                            okBlob: BytesBlob;
+                        } | {
+                            kind: WorkExecResultKind.outOfGas;
+                        } | {
+                            kind: WorkExecResultKind.panic;
+                        } | {
+                            kind: WorkExecResultKind.incorrectNumberOfExports;
+                        } | {
+                            kind: WorkExecResultKind.digestTooBig;
+                        } | {
+                            kind: WorkExecResultKind.badCode;
+                        } | {
+                            kind: WorkExecResultKind.codeOversize;
+                        }>;
                         load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                             gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                             importedSegments: Descriptor<U32, U32>;
@@ -4273,10 +4453,8 @@ declare class JipChainSpec extends WithDebug {
 
 /** Block authorship options. */
 declare class AuthorshipOptions {
-    /** Use fake seal verification instead of running bandersnatch. */
-    readonly omitSealVerification: boolean;
     static fromJson: FromJsonWithParser<unknown, AuthorshipOptions>;
-    static new({ omit_seal_verification }: JsonObject<AuthorshipOptions>): AuthorshipOptions;
+    static new(): AuthorshipOptions;
     private constructor();
 }
 
@@ -4658,7 +4836,7 @@ declare class NotYetAccumulatedReport extends WithDebug {
      */
     readonly dependencies: KnownSizeArray<WorkPackageHash, `[0..${MAX_REPORT_DEPENDENCIES})`>;
     static Codec: Descriptor<NotYetAccumulatedReport, ViewOf<NotYetAccumulatedReport, {
-        report: Descriptor<WorkReportNoCodec, ViewOf<WorkReportNoCodec, {
+        report: Descriptor<WorkReport, ViewOf<WorkReport, {
             workPackageSpec: Descriptor<WorkPackageSpec, ViewOf<WorkPackageSpec, {
                 hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
                 length: Descriptor<U32, Bytes<4>>;
@@ -4687,7 +4865,22 @@ declare class NotYetAccumulatedReport extends WithDebug {
                 codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
                 payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
                 gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
-                result: Descriptor<WorkExecResult, WorkExecResult>;
+                result: Descriptor<WorkExecResult, {
+                    kind: WorkExecResultKind.ok;
+                    okBlob: BytesBlob;
+                } | {
+                    kind: WorkExecResultKind.outOfGas;
+                } | {
+                    kind: WorkExecResultKind.panic;
+                } | {
+                    kind: WorkExecResultKind.incorrectNumberOfExports;
+                } | {
+                    kind: WorkExecResultKind.digestTooBig;
+                } | {
+                    kind: WorkExecResultKind.badCode;
+                } | {
+                    kind: WorkExecResultKind.codeOversize;
+                }>;
                 load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                     gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                     importedSegments: Descriptor<U32, U32>;
@@ -4707,7 +4900,7 @@ declare class NotYetAccumulatedReport extends WithDebug {
  */
 type AccumulationQueue = PerEpochBlock<readonly NotYetAccumulatedReport[]>;
 declare const accumulationQueueCodec: Descriptor<readonly (readonly NotYetAccumulatedReport[])[] & WithOpaque<"EpochLength">, SequenceView<readonly NotYetAccumulatedReport[], SequenceView<NotYetAccumulatedReport, ViewOf<NotYetAccumulatedReport, {
-    report: Descriptor<WorkReportNoCodec, ViewOf<WorkReportNoCodec, {
+    report: Descriptor<WorkReport, ViewOf<WorkReport, {
         workPackageSpec: Descriptor<WorkPackageSpec, ViewOf<WorkPackageSpec, {
             hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
             length: Descriptor<U32, Bytes<4>>;
@@ -4736,7 +4929,22 @@ declare const accumulationQueueCodec: Descriptor<readonly (readonly NotYetAccumu
             codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
             payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
             gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
-            result: Descriptor<WorkExecResult, WorkExecResult>;
+            result: Descriptor<WorkExecResult, {
+                kind: WorkExecResultKind.ok;
+                okBlob: BytesBlob;
+            } | {
+                kind: WorkExecResultKind.outOfGas;
+            } | {
+                kind: WorkExecResultKind.panic;
+            } | {
+                kind: WorkExecResultKind.incorrectNumberOfExports;
+            } | {
+                kind: WorkExecResultKind.digestTooBig;
+            } | {
+                kind: WorkExecResultKind.badCode;
+            } | {
+                kind: WorkExecResultKind.codeOversize;
+            }>;
             load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                 gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                 importedSegments: Descriptor<U32, U32>;
@@ -4764,7 +4972,7 @@ declare class AvailabilityAssignment extends WithDebug {
     /** Time slot at which the report becomes obsolete. */
     readonly timeout: TimeSlot;
     static Codec: Descriptor<AvailabilityAssignment, ViewOf<AvailabilityAssignment, {
-        workReport: Descriptor<WorkReportNoCodec, ViewOf<WorkReportNoCodec, {
+        workReport: Descriptor<WorkReport, ViewOf<WorkReport, {
             workPackageSpec: Descriptor<WorkPackageSpec, ViewOf<WorkPackageSpec, {
                 hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
                 length: Descriptor<U32, Bytes<4>>;
@@ -4793,7 +5001,22 @@ declare class AvailabilityAssignment extends WithDebug {
                 codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
                 payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
                 gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
-                result: Descriptor<WorkExecResult, WorkExecResult>;
+                result: Descriptor<WorkExecResult, {
+                    kind: WorkExecResultKind.ok;
+                    okBlob: BytesBlob;
+                } | {
+                    kind: WorkExecResultKind.outOfGas;
+                } | {
+                    kind: WorkExecResultKind.panic;
+                } | {
+                    kind: WorkExecResultKind.incorrectNumberOfExports;
+                } | {
+                    kind: WorkExecResultKind.digestTooBig;
+                } | {
+                    kind: WorkExecResultKind.badCode;
+                } | {
+                    kind: WorkExecResultKind.codeOversize;
+                }>;
                 load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                     gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                     importedSegments: Descriptor<U32, U32>;
@@ -4809,7 +5032,7 @@ declare class AvailabilityAssignment extends WithDebug {
     private constructor();
 }
 declare const availabilityAssignmentsCodec: Descriptor<readonly (AvailabilityAssignment | null)[] & WithOpaque<"number of cores">, SequenceView<AvailabilityAssignment | null, ViewOf<AvailabilityAssignment, {
-    workReport: Descriptor<WorkReportNoCodec, ViewOf<WorkReportNoCodec, {
+    workReport: Descriptor<WorkReport, ViewOf<WorkReport, {
         workPackageSpec: Descriptor<WorkPackageSpec, ViewOf<WorkPackageSpec, {
             hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
             length: Descriptor<U32, Bytes<4>>;
@@ -4838,7 +5061,22 @@ declare const availabilityAssignmentsCodec: Descriptor<readonly (AvailabilityAss
             codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
             payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
             gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
-            result: Descriptor<WorkExecResult, WorkExecResult>;
+            result: Descriptor<WorkExecResult, {
+                kind: WorkExecResultKind.ok;
+                okBlob: BytesBlob;
+            } | {
+                kind: WorkExecResultKind.outOfGas;
+            } | {
+                kind: WorkExecResultKind.panic;
+            } | {
+                kind: WorkExecResultKind.incorrectNumberOfExports;
+            } | {
+                kind: WorkExecResultKind.digestTooBig;
+            } | {
+                kind: WorkExecResultKind.badCode;
+            } | {
+                kind: WorkExecResultKind.codeOversize;
+            }>;
             load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                 gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                 importedSegments: Descriptor<U32, U32>;
@@ -5305,7 +5543,7 @@ declare class ValidatorStatistics {
  * Single core statistics.
  * Updated per block, based on incoming work reports (`w`).
  *
- * https://graypaper.fluffylabs.dev/#/68eaa1f/18f10318f103?v=0.6.4
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/197902197902?v=0.7.2
  * https://github.com/gavofyork/graypaper/blob/9bffb08f3ea7b67832019176754df4fb36b9557d/text/statistics.tex#L65
  */
 declare class CoreStatistics {
@@ -5343,7 +5581,7 @@ declare class CoreStatistics {
  * Service statistics.
  * Updated per block, based on available work reports (`W`).
  *
- * https://graypaper.fluffylabs.dev/#/1c979cb/199802199802?v=0.7.1
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/19e20219e202?v=0.7.2
  */
 declare class ServiceStatistics {
     /** `p.0` */
@@ -6204,7 +6442,7 @@ declare function serializeStateUpdate(spec: ChainSpec, blake2b: Blake2b, update:
  * State entries may be wrapped into `SerializedState` to access the contained values.
  */
 declare class StateEntries {
-    private readonly entries;
+    private readonly dictionary;
     static Codec: Descriptor<StateEntries, StateEntries>;
     /** Turn in-memory state into it's serialized form. */
     static serializeInMemory(spec: ChainSpec, blake2b: Blake2b, state: InMemoryState): StateEntries;
@@ -6225,6 +6463,12 @@ declare class StateEntries {
     private constructor();
     /** When comparing, we can safely ignore `trieCache` and just use entries. */
     [TEST_COMPARE_USING](): any;
+    /** Iterator over entries */
+    entries(): Generator<[TruncatedHash, BytesBlob]>;
+    /** Iterator over entries keys */
+    keys(): Generator<TruncatedHash>;
+    /** Iterator over entries values */
+    values(): Generator<BytesBlob>;
     /** Dump state entries to JSON string (format compatible with stf vectors). */
     toString(): string;
     [Symbol.iterator](): Generator<[TruncatedHash, BytesBlob], any, any>;
@@ -6922,9 +7166,9 @@ declare class Initialize extends WithDebug {
                     attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
                 }>>>;
             }> | null>;
-            offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
             bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
             entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+            offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
             seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
         }>>;
         keyvals: Descriptor<KeyValue[], SequenceView<KeyValue, ViewOf<KeyValue, {
@@ -7229,12 +7473,12 @@ declare class DirectWorkerConfig<TParams = void, TBlocks = BlocksDb, TStates = S
     readonly workerParams: TParams;
     private readonly blocksDb;
     private readonly statesDb;
-    static new<T, B, S>({ nodeName, chainSpec, blocksDb, statesDb, params, }: {
+    static new<T, B, S>({ nodeName, chainSpec, blocksDb, statesDb, workerParams: params, }: {
         nodeName: string;
         chainSpec: ChainSpec;
         blocksDb: B;
         statesDb: S;
-        params: T;
+        workerParams: T;
     }): DirectWorkerConfig<T, B, S>;
     private constructor();
     openDatabase(_options?: {
@@ -9174,6 +9418,8 @@ type Input = {
      * https://graypaper.fluffylabs.dev/#/cc517d7/18dd0018dd00?v=0.6.5
      */
     transferStatistics: Map<ServiceId, CountAndGasUsed>;
+    reporters: readonly Ed25519Key[];
+    currentValidatorData: State["currentValidatorData"];
 };
 type CountAndGasUsed = {
     count: U32;
@@ -9240,14 +9486,19 @@ type AccumulateResult = {
     accumulationOutputLog: SortedArray<AccumulationOutput>;
 };
 
+type AccumulateOptions = {
+    pvm: PvmBackend;
+    accumulateSequentially: boolean;
+};
+
 declare const ACCUMULATION_ERROR = "duplicate service created";
 type ACCUMULATION_ERROR = typeof ACCUMULATION_ERROR;
 declare class Accumulate {
     readonly chainSpec: ChainSpec;
     readonly blake2b: Blake2b;
     readonly state: AccumulateState;
-    readonly pvm: PvmBackend;
-    constructor(chainSpec: ChainSpec, blake2b: Blake2b, state: AccumulateState, pvm: PvmBackend);
+    readonly options: AccumulateOptions;
+    constructor(chainSpec: ChainSpec, blake2b: Blake2b, state: AccumulateState, options: AccumulateOptions);
     /**
      * Returns an index that determines how many WorkReports can be processed before exceeding a given gasLimit.
      *
@@ -9686,40 +9937,53 @@ interface HeaderChain {
  * by validators).
  *
  * After enough assurances the work-report is considered available,
- * and the work outputs transform the state of their associated
+ * and the work-digests transform the state of their associated
  * service by virtue of accumulation, covered in section 12.
  * The report may also be timed-out, implying it may be replaced
  * by another report without accumulation.
  *
- * https://graypaper.fluffylabs.dev/#/5f542d7/133d00134200
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/138801138d01?v=0.7.2
  */
 type ReportsInput = {
     /**
      * A work-package, is transformed by validators acting as
      * guarantors into its corresponding work-report, which
-     * similarly comprises several work outputs and then
+     * similarly comprises several work-digests and then
      * presented on-chain within the guarantees extrinsic.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/133500133900
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/138001138401?v=0.7.2
      */
     guarantees: GuaranteesExtrinsicView;
     /** Current time slot, excerpted from block header. */
     slot: TimeSlot;
     /** `eta_prime`: New entropy, after potential epoch transition. */
     newEntropy: SafroleStateUpdate["entropy"];
-    /** Partial update of recent blocks. (β†, https://graypaper.fluffylabs.dev/#/9a08063/0fd8010fdb01?v=0.6.6) */
+    /**
+     * β† - Partial update of recent blocks.
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/0f56020f6b02?v=0.7.2
+     */
     recentBlocksPartialUpdate: RecentHistoryStateUpdate["recentBlocks"];
     /**
      * ρ‡ - Availability assignment resulting from assurances transition
-     * https://graypaper.fluffylabs.dev/#/1c979cb/141302144402?v=0.7.1
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/141302144402?v=0.7.2
      */
     assurancesAvailAssignment: AssurancesStateUpdate["availabilityAssignment"];
     /**
      * ψ′O - Ed25519 keys of validators that were proven to judge incorrectly.
      *
-     * https://graypaper.fluffylabs.dev/#/1c979cb/134201134201?v=0.7.1
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/134201134201?v=0.7.2
      */
     offenders: HashSet<Ed25519Key>;
+    /**
+     * `κ' kappa prime` - Current validator data.
+     */
+    currentValidatorData: SafroleStateUpdate["currentValidatorData"];
+    /**
+     * `λ' lambda prime` - Previous validator data.
+     */
+    previousValidatorData: SafroleStateUpdate["previousValidatorData"];
 };
 
 type GuarantorAssignment = {
@@ -9727,7 +9991,7 @@ type GuarantorAssignment = {
     ed25519: Ed25519Key;
 };
 
-type ReportsState = Pick<State, "availabilityAssignment" | "currentValidatorData" | "previousValidatorData" | "entropy" | "getService" | "recentBlocks" | "accumulationQueue" | "recentlyAccumulated"> & WithStateView<Pick<StateView, "authPoolsView">>;
+type ReportsState = Pick<State, "availabilityAssignment" | "entropy" | "getService" | "recentBlocks" | "accumulationQueue" | "recentlyAccumulated"> & WithStateView<Pick<StateView, "authPoolsView">>;
 /** Reports state update. */
 type ReportsStateUpdate = Pick<ReportsState, "availabilityAssignment">;
 type ReportsOutput = {
@@ -9739,7 +10003,7 @@ type ReportsOutput = {
      * This dictionary has the same number of items as in the input guarantees extrinsic.
      */
     reported: HashDictionary<WorkPackageHash, WorkPackageInfo>;
-    /** A set `R` of work package reporters. */
+    /** A set `M` of work package reporters. */
     reporters: KnownSizeArray<Ed25519Key, "Guarantees * Credentials (at most `cores*3`)">;
 };
 declare class Reports {
@@ -9758,9 +10022,9 @@ declare class Reports {
      * Get the guarantor assignment (both core and validator data)
      * depending on the rotation.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/158200158200
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/15df0115df01?v=0.7.2
      */
-    getGuarantorAssignment(headerTimeSlot: TimeSlot, guaranteeTimeSlot: TimeSlot, newEntropy: SafroleStateUpdate["entropy"]): Result<PerValidator<GuarantorAssignment>, ReportsError>;
+    getGuarantorAssignment(headerTimeSlot: TimeSlot, guaranteeTimeSlot: TimeSlot, newEntropy: SafroleStateUpdate["entropy"], currentValidatorData: SafroleStateUpdate["currentValidatorData"], previousValidatorData: SafroleStateUpdate["previousValidatorData"]): Result<PerValidator<GuarantorAssignment>, ReportsError>;
 }
 
 declare class DbHeaderChain implements HeaderChain {
@@ -9809,11 +10073,11 @@ declare class OnChain {
     private readonly authorization;
     private readonly statistics;
     private isReadyForNextEpoch;
-    constructor(chainSpec: ChainSpec, state: State & WithStateView, hasher: TransitionHasher, pvm: PvmBackend, headerChain: HeaderChain);
+    constructor(chainSpec: ChainSpec, state: State & WithStateView, hasher: TransitionHasher, options: AccumulateOptions, headerChain: HeaderChain);
     /** Pre-populate things worth caching for the next epoch. */
     prepareForNextEpoch(): Promise<void>;
     private verifySeal;
-    transition(block: BlockView, headerHash: HeaderHash, omitSealVerification?: boolean): Promise<Result<Ok, StfError>>;
+    transition(block: BlockView, headerHash: HeaderHash): Promise<Result<Ok, StfError>>;
     private getUsedAuthorizerHashes;
 }
 
@@ -9885,20 +10149,35 @@ declare class AccumulateExternalities implements PartialState, AccountsWrite, Ac
 /**
  * The set of wrangled operand tuples, used as an operand to the PVM Accumulation function.
  *
- * https://graypaper.fluffylabs.dev/#/7e6ff6a/173d03173d03?v=0.6.7
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/176b00176b00?v=0.7.2
  */
 declare class Operand extends WithDebug {
     static Codec: Descriptor<Operand, ViewOf<Operand, {
         hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
         exportsRoot: Descriptor<Bytes<32> & WithOpaque<"ExportsRootHash">, Bytes<32>>;
         authorizerHash: Descriptor<Bytes<32> & WithOpaque<"AuthorizerHash">, Bytes<32>>;
-        authorizationOutput: Descriptor<BytesBlob, BytesBlob>;
         payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
         gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
-        result: Descriptor<WorkExecResult, WorkExecResult>;
+        result: Descriptor<WorkExecResult, {
+            kind: WorkExecResultKind.ok;
+            okBlob: BytesBlob;
+        } | {
+            kind: WorkExecResultKind.outOfGas;
+        } | {
+            kind: WorkExecResultKind.panic;
+        } | {
+            kind: WorkExecResultKind.incorrectNumberOfExports;
+        } | {
+            kind: WorkExecResultKind.digestTooBig;
+        } | {
+            kind: WorkExecResultKind.badCode;
+        } | {
+            kind: WorkExecResultKind.codeOversize;
+        }>;
+        authorizationOutput: Descriptor<BytesBlob, BytesBlob>;
     }>>;
     /**
-     * https://graypaper.fluffylabs.dev/#/7e6ff6a/181801189d01?v=0.6.7
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/18680118eb01?v=0.7.2
      */
     hash: WorkPackageHash;
     exportsRoot: ExportsRootHash;
@@ -9997,6 +10276,7 @@ type index$7_ACCUMULATION_ERROR = ACCUMULATION_ERROR;
 type index$7_Accumulate = Accumulate;
 declare const index$7_Accumulate: typeof Accumulate;
 type index$7_AccumulateInput = AccumulateInput;
+type index$7_AccumulateOptions = AccumulateOptions;
 type index$7_AccumulateResult = AccumulateResult;
 type index$7_AccumulateRoot = AccumulateRoot;
 type index$7_AccumulateState = AccumulateState;
@@ -10071,7 +10351,7 @@ declare const index$7_copyAndUpdateState: typeof copyAndUpdateState;
 declare const index$7_stfError: typeof stfError;
 declare namespace index$7 {
   export { index$7_Accumulate as Accumulate, index$7_Assurances as Assurances, index$7_AssurancesError as AssurancesError, index$7_Authorization as Authorization, index$7_BlockVerifier as BlockVerifier, index$7_BlockVerifierError as BlockVerifierError, index$7_DbHeaderChain as DbHeaderChain, index$7_DeferredTransfers as DeferredTransfers, index$7_DeferredTransfersErrorCode as DeferredTransfersErrorCode, index$7_Disputes as Disputes, index$7_GAS_TO_INVOKE_WORK_REPORT as GAS_TO_INVOKE_WORK_REPORT, index$7_OnChain as OnChain, index$7_Preimages as Preimages, index$7_PreimagesErrorCode as PreimagesErrorCode, index$7_REPORT_TIMEOUT_GRACE_PERIOD as REPORT_TIMEOUT_GRACE_PERIOD, index$7_RecentHistory as RecentHistory, index$7_Reports as Reports, index$7_ReportsError as ReportsError, index$7_Statistics as Statistics, index$7_StfErrorKind as StfErrorKind, index$7_TransitionHasher as TransitionHasher, index$7_copyAndUpdateState as copyAndUpdateState, index$8 as externalities, index$7_stfError as stfError };
-  export type { index$7_ACCUMULATION_ERROR as ACCUMULATION_ERROR, index$7_AccumulateInput as AccumulateInput, index$7_AccumulateResult as AccumulateResult, index$7_AccumulateRoot as AccumulateRoot, index$7_AccumulateState as AccumulateState, index$7_AccumulateStateUpdate as AccumulateStateUpdate, index$7_AssurancesInput as AssurancesInput, index$7_AssurancesState as AssurancesState, index$7_AssurancesStateUpdate as AssurancesStateUpdate, index$7_AuthorizationInput as AuthorizationInput, index$7_AuthorizationState as AuthorizationState, index$7_AuthorizationStateUpdate as AuthorizationStateUpdate, index$7_CountAndGasUsed as CountAndGasUsed, index$7_DeferredTransfersResult as DeferredTransfersResult, index$7_DeferredTransfersState as DeferredTransfersState, index$7_DisputesState as DisputesState, index$7_DisputesStateUpdate as DisputesStateUpdate, index$7_HeaderChain as HeaderChain, index$7_Input as Input, index$7_Ok as Ok, index$7_PreimagesInput as PreimagesInput, index$7_PreimagesState as PreimagesState, index$7_PreimagesStateUpdate as PreimagesStateUpdate, index$7_RecentHistoryInput as RecentHistoryInput, index$7_RecentHistoryPartialInput as RecentHistoryPartialInput, index$7_RecentHistoryState as RecentHistoryState, index$7_RecentHistoryStateUpdate as RecentHistoryStateUpdate, index$7_ReportsInput as ReportsInput, index$7_ReportsOutput as ReportsOutput, index$7_ReportsState as ReportsState, index$7_ReportsStateUpdate as ReportsStateUpdate, index$7_StatisticsState as StatisticsState, index$7_StatisticsStateUpdate as StatisticsStateUpdate, index$7_StfError as StfError };
+  export type { index$7_ACCUMULATION_ERROR as ACCUMULATION_ERROR, index$7_AccumulateInput as AccumulateInput, index$7_AccumulateOptions as AccumulateOptions, index$7_AccumulateResult as AccumulateResult, index$7_AccumulateRoot as AccumulateRoot, index$7_AccumulateState as AccumulateState, index$7_AccumulateStateUpdate as AccumulateStateUpdate, index$7_AssurancesInput as AssurancesInput, index$7_AssurancesState as AssurancesState, index$7_AssurancesStateUpdate as AssurancesStateUpdate, index$7_AuthorizationInput as AuthorizationInput, index$7_AuthorizationState as AuthorizationState, index$7_AuthorizationStateUpdate as AuthorizationStateUpdate, index$7_CountAndGasUsed as CountAndGasUsed, index$7_DeferredTransfersResult as DeferredTransfersResult, index$7_DeferredTransfersState as DeferredTransfersState, index$7_DisputesState as DisputesState, index$7_DisputesStateUpdate as DisputesStateUpdate, index$7_HeaderChain as HeaderChain, index$7_Input as Input, index$7_Ok as Ok, index$7_PreimagesInput as PreimagesInput, index$7_PreimagesState as PreimagesState, index$7_PreimagesStateUpdate as PreimagesStateUpdate, index$7_RecentHistoryInput as RecentHistoryInput, index$7_RecentHistoryPartialInput as RecentHistoryPartialInput, index$7_RecentHistoryState as RecentHistoryState, index$7_RecentHistoryStateUpdate as RecentHistoryStateUpdate, index$7_ReportsInput as ReportsInput, index$7_ReportsOutput as ReportsOutput, index$7_ReportsState as ReportsState, index$7_ReportsStateUpdate as ReportsStateUpdate, index$7_StatisticsState as StatisticsState, index$7_StatisticsStateUpdate as StatisticsStateUpdate, index$7_StfError as StfError };
 }
 
 declare enum ImporterErrorKind {
@@ -10093,8 +10373,8 @@ declare class Importer {
     constructor(spec: ChainSpec, pvm: PvmBackend, hasher: TransitionHasher, logger: Logger, blocks: BlocksDb, states: StatesDb<SerializedState<LeafDb>>);
     /** Do some extra work for preparation for the next epoch. */
     prepareForNextEpoch(): Promise<void>;
-    importBlockWithStateRoot(block: BlockView, omitSealVerification: boolean): Promise<Result<StateRootHash, ImporterError>>;
-    importBlock(block: BlockView, omitSealVerification: boolean): Promise<Result<WithHash<HeaderHash, HeaderView>, ImporterError>>;
+    importBlockWithStateRoot(block: BlockView): Promise<Result<StateRootHash, ImporterError>>;
+    importBlock(block: BlockView): Promise<Result<WithHash<HeaderHash, HeaderView>, ImporterError>>;
     private importBlockInternal;
     getBestStateRootHash(): (OpaqueHash & WithOpaque<"StateRootHash">) | null;
     getBestBlockHash(): OpaqueHash & WithOpaque<"HeaderHash">;
@@ -10132,9 +10412,9 @@ declare const protocol: LousyProtocol<{
                         attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
                     }>>>;
                 }> | null>;
-                offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
                 bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
                 entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+                offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
                 seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
             }>>;
             extrinsic: Descriptor<Extrinsic, ViewOf<Extrinsic, {
@@ -10147,7 +10427,7 @@ declare const protocol: LousyProtocol<{
                     blob: Descriptor<BytesBlob, BytesBlob>;
                 }>>>;
                 guarantees: Descriptor<readonly ReportGuarantee[] & WithOpaque<"[0..CoresCount)">, SequenceView<ReportGuarantee, ViewOf<ReportGuarantee, {
-                    report: Descriptor<WorkReportNoCodec, ViewOf<WorkReportNoCodec, {
+                    report: Descriptor<WorkReport, ViewOf<WorkReport, {
                         workPackageSpec: Descriptor<WorkPackageSpec, ViewOf<WorkPackageSpec, {
                             hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
                             length: Descriptor<U32, Bytes<4>>;
@@ -10176,7 +10456,22 @@ declare const protocol: LousyProtocol<{
                             codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
                             payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
                             gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
-                            result: Descriptor<WorkExecResult, WorkExecResult>;
+                            result: Descriptor<WorkExecResult, {
+                                kind: WorkExecResultKind.ok;
+                                okBlob: BytesBlob;
+                            } | {
+                                kind: WorkExecResultKind.outOfGas;
+                            } | {
+                                kind: WorkExecResultKind.panic;
+                            } | {
+                                kind: WorkExecResultKind.incorrectNumberOfExports;
+                            } | {
+                                kind: WorkExecResultKind.digestTooBig;
+                            } | {
+                                kind: WorkExecResultKind.badCode;
+                            } | {
+                                kind: WorkExecResultKind.codeOversize;
+                            }>;
                             load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                                 gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                                 importedSegments: Descriptor<U32, U32>;
@@ -10241,9 +10536,9 @@ declare const protocol: LousyProtocol<{
                         attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
                     }>>>;
                 }> | null>;
-                offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
                 bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
                 entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+                offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
                 seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
             }>>;
             extrinsic: Descriptor<Extrinsic, ViewOf<Extrinsic, {
@@ -10256,7 +10551,7 @@ declare const protocol: LousyProtocol<{
                     blob: Descriptor<BytesBlob, BytesBlob>;
                 }>>>;
                 guarantees: Descriptor<readonly ReportGuarantee[] & WithOpaque<"[0..CoresCount)">, SequenceView<ReportGuarantee, ViewOf<ReportGuarantee, {
-                    report: Descriptor<WorkReportNoCodec, ViewOf<WorkReportNoCodec, {
+                    report: Descriptor<WorkReport, ViewOf<WorkReport, {
                         workPackageSpec: Descriptor<WorkPackageSpec, ViewOf<WorkPackageSpec, {
                             hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
                             length: Descriptor<U32, Bytes<4>>;
@@ -10285,7 +10580,22 @@ declare const protocol: LousyProtocol<{
                             codeHash: Descriptor<Bytes<32> & WithOpaque<"CodeHash">, Bytes<32>>;
                             payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
                             gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, Bytes<8>>;
-                            result: Descriptor<WorkExecResult, WorkExecResult>;
+                            result: Descriptor<WorkExecResult, {
+                                kind: WorkExecResultKind.ok;
+                                okBlob: BytesBlob;
+                            } | {
+                                kind: WorkExecResultKind.outOfGas;
+                            } | {
+                                kind: WorkExecResultKind.panic;
+                            } | {
+                                kind: WorkExecResultKind.incorrectNumberOfExports;
+                            } | {
+                                kind: WorkExecResultKind.digestTooBig;
+                            } | {
+                                kind: WorkExecResultKind.badCode;
+                            } | {
+                                kind: WorkExecResultKind.codeOversize;
+                            }>;
                             load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                                 gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                                 importedSegments: Descriptor<U32, U32>;
@@ -10358,9 +10668,9 @@ declare const protocol: LousyProtocol<{
                     attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
                 }>>>;
             }> | null>;
-            offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
             bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
             entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+            offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
             seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
         }>>, ViewOf<WithHash<OpaqueHash & WithOpaque<"HeaderHash">, ViewOf<Header & CodecRecord<Header>, {
             parentHeaderHash: Descriptor<Bytes<32> & WithOpaque<"HeaderHash">, Bytes<32>>;
@@ -10381,9 +10691,9 @@ declare const protocol: LousyProtocol<{
                     attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
                 }>>>;
             }> | null>;
-            offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
             bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
             entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+            offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
             seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
         }>>, {
             hash: Descriptor<Bytes<32> & WithOpaque<"HeaderHash">, Bytes<32>>;
@@ -10406,9 +10716,9 @@ declare const protocol: LousyProtocol<{
                         attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
                     }>>>;
                 }> | null>;
-                offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
                 bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
                 entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+                offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
                 seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
             }>, ViewOf<Header & CodecRecord<Header>, {
                 parentHeaderHash: Descriptor<Bytes<32> & WithOpaque<"HeaderHash">, Bytes<32>>;
@@ -10429,9 +10739,9 @@ declare const protocol: LousyProtocol<{
                         attempt: Descriptor<number & WithBytesRepresentation<1> & WithOpaque<"TicketAttempt[0|1|2]">, U8>;
                     }>>>;
                 }> | null>;
-                offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
                 bandersnatchBlockAuthorIndex: Descriptor<number & WithBytesRepresentation<2> & WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
                 entropySource: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+                offendersMarker: Descriptor<(Bytes<32> & WithOpaque<"Ed25519Key">)[], SequenceView<Bytes<32> & WithOpaque<"Ed25519Key">, Bytes<32>>>;
                 seal: Descriptor<Bytes<96> & WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
             }>>;
         }>>;
@@ -10441,13 +10751,11 @@ declare const protocol: LousyProtocol<{
 type ImporterInternal = Internal<typeof protocol>;
 type ImporterApi = Api<typeof protocol>;
 declare class ImporterConfig {
-    readonly omitSealVerification: boolean;
     readonly pvm: PvmBackend;
     static Codec: Descriptor<ImporterConfig, ViewOf<ImporterConfig, {
-        omitSealVerification: Descriptor<boolean, boolean>;
         pvm: Descriptor<PvmBackend, U8>;
     }>>;
-    static create({ omitSealVerification, pvm }: CodecRecord<ImporterConfig>): ImporterConfig;
+    static create({ pvm }: CodecRecord<ImporterConfig>): ImporterConfig;
     private constructor();
 }
 
@@ -11267,4 +11575,5 @@ declare namespace index {
   };
 }
 
-export { index$s as block, index$q as block_json, index$y as bytes, index$x as codec, index$v as collections, index$t as config, index$p as config_node, index$u as crypto, index$k as database, index$j as erasure_coding, index$h as fuzz_proto, index$w as hash, index$9 as jam_host_calls, index$r as json_parser, index$f as logger, index$n as mmr, index$B as numbers, index$A as ordering, index$e as pvm, index$d as pvm_host_calls, index$3 as pvm_interpreter, index$2 as shuffling, index$m as state, index$1 as state_json, index$l as state_merkleization, index as state_vectors, index$7 as transition, index$o as trie, index$6 as typeberry, index$z as utils, index$g as workers };
+export { TEST_COMPARE_USING, __OPAQUE_TYPE__, __REPRESENTATION_BYTES__, index$s as block, index$q as block_json, index$y as bytes, index$x as codec, index$v as collections, index$t as config, index$p as config_node, index$u as crypto, index$k as database, index$j as erasure_coding, index$h as fuzz_proto, index$w as hash, index$9 as jam_host_calls, index$r as json_parser, index$f as logger, index$n as mmr, index$B as numbers, index$A as ordering, index$e as pvm, index$d as pvm_host_calls, index$3 as pvm_interpreter, index$2 as shuffling, index$m as state, index$1 as state_json, index$l as state_merkleization, index as state_vectors, index$7 as transition, index$o as trie, index$6 as typeberry, index$z as utils, index$g as workers };
+export type { WithBytesRepresentation, WithOpaque };