@typeberry/lib 0.5.1-1dda9d6 → 0.5.1

package/index.d.ts

@@ -954,7 +954,7 @@ declare class Skipper {
 }
 
 /** Infer the type that is described by given descriptor `T` */
-type DescribedBy<T> = T extends Descriptor<infer V, infer _> ? V : never;
+type DescribedBy<T> = T extends Descriptor<infer V> ? V : never;
 /**
  * Converts a class `T` into an object with the same fields as the class.
  */
@@ -1206,21 +1206,6 @@ 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;
@@ -1277,17 +1262,13 @@ 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_union as union, 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_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>;
@@ -1309,53 +1290,20 @@ 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_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 };
+  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 };
 }
 
 /**
@@ -3140,29 +3088,13 @@ 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, WorkExecResultUnion>;
+    static Codec: Descriptor<WorkExecResult, WorkExecResult>;
     constructor(
     /** The execution result tag. */
     kind: WorkExecResultKind, 
@@ -3237,7 +3169,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, WorkExecResultUnion>;
+        result: Descriptor<WorkExecResult, WorkExecResult>;
         load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
             gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
             importedSegments: Descriptor<U32, U32>;
@@ -3619,22 +3551,7 @@ declare class WorkReport 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, {
-                kind: WorkExecResultKind.ok;
-                okBlob: BytesBlob;
-            } | {
-                kind: WorkExecResultKind.outOfGas;
-            } | {
-                kind: WorkExecResultKind.panic;
-            } | {
-                kind: WorkExecResultKind.incorrectNumberOfExports;
-            } | {
-                kind: WorkExecResultKind.digestTooBig;
-            } | {
-                kind: WorkExecResultKind.badCode;
-            } | {
-                kind: WorkExecResultKind.codeOversize;
-            }>;
+            result: Descriptor<WorkExecResult, WorkExecResult>;
             load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                 gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                 importedSegments: Descriptor<U32, U32>;
@@ -3751,22 +3668,7 @@ 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, {
-                    kind: WorkExecResultKind.ok;
-                    okBlob: BytesBlob;
-                } | {
-                    kind: WorkExecResultKind.outOfGas;
-                } | {
-                    kind: WorkExecResultKind.panic;
-                } | {
-                    kind: WorkExecResultKind.incorrectNumberOfExports;
-                } | {
-                    kind: WorkExecResultKind.digestTooBig;
-                } | {
-                    kind: WorkExecResultKind.badCode;
-                } | {
-                    kind: WorkExecResultKind.codeOversize;
-                }>;
+                result: Descriptor<WorkExecResult, WorkExecResult>;
                 load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                     gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                     importedSegments: Descriptor<U32, U32>;
@@ -3825,22 +3727,7 @@ 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, {
-                kind: WorkExecResultKind.ok;
-                okBlob: BytesBlob;
-            } | {
-                kind: WorkExecResultKind.outOfGas;
-            } | {
-                kind: WorkExecResultKind.panic;
-            } | {
-                kind: WorkExecResultKind.incorrectNumberOfExports;
-            } | {
-                kind: WorkExecResultKind.digestTooBig;
-            } | {
-                kind: WorkExecResultKind.badCode;
-            } | {
-                kind: WorkExecResultKind.codeOversize;
-            }>;
+            result: Descriptor<WorkExecResult, WorkExecResult>;
             load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                 gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                 importedSegments: Descriptor<U32, U32>;
@@ -3985,22 +3872,7 @@ 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, {
-                        kind: WorkExecResultKind.ok;
-                        okBlob: BytesBlob;
-                    } | {
-                        kind: WorkExecResultKind.outOfGas;
-                    } | {
-                        kind: WorkExecResultKind.panic;
-                    } | {
-                        kind: WorkExecResultKind.incorrectNumberOfExports;
-                    } | {
-                        kind: WorkExecResultKind.digestTooBig;
-                    } | {
-                        kind: WorkExecResultKind.badCode;
-                    } | {
-                        kind: WorkExecResultKind.codeOversize;
-                    }>;
+                    result: Descriptor<WorkExecResult, WorkExecResult>;
                     load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                         gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                         importedSegments: Descriptor<U32, U32>;
@@ -4125,22 +3997,7 @@ 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, {
-                            kind: WorkExecResultKind.ok;
-                            okBlob: BytesBlob;
-                        } | {
-                            kind: WorkExecResultKind.outOfGas;
-                        } | {
-                            kind: WorkExecResultKind.panic;
-                        } | {
-                            kind: WorkExecResultKind.incorrectNumberOfExports;
-                        } | {
-                            kind: WorkExecResultKind.digestTooBig;
-                        } | {
-                            kind: WorkExecResultKind.badCode;
-                        } | {
-                            kind: WorkExecResultKind.codeOversize;
-                        }>;
+                        result: Descriptor<WorkExecResult, WorkExecResult>;
                         load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                             gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                             importedSegments: Descriptor<U32, U32>;
@@ -4865,22 +4722,7 @@ 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, {
-                    kind: WorkExecResultKind.ok;
-                    okBlob: BytesBlob;
-                } | {
-                    kind: WorkExecResultKind.outOfGas;
-                } | {
-                    kind: WorkExecResultKind.panic;
-                } | {
-                    kind: WorkExecResultKind.incorrectNumberOfExports;
-                } | {
-                    kind: WorkExecResultKind.digestTooBig;
-                } | {
-                    kind: WorkExecResultKind.badCode;
-                } | {
-                    kind: WorkExecResultKind.codeOversize;
-                }>;
+                result: Descriptor<WorkExecResult, WorkExecResult>;
                 load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                     gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                     importedSegments: Descriptor<U32, U32>;
@@ -4929,22 +4771,7 @@ 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, {
-                kind: WorkExecResultKind.ok;
-                okBlob: BytesBlob;
-            } | {
-                kind: WorkExecResultKind.outOfGas;
-            } | {
-                kind: WorkExecResultKind.panic;
-            } | {
-                kind: WorkExecResultKind.incorrectNumberOfExports;
-            } | {
-                kind: WorkExecResultKind.digestTooBig;
-            } | {
-                kind: WorkExecResultKind.badCode;
-            } | {
-                kind: WorkExecResultKind.codeOversize;
-            }>;
+            result: Descriptor<WorkExecResult, WorkExecResult>;
             load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                 gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                 importedSegments: Descriptor<U32, U32>;
@@ -5001,22 +4828,7 @@ 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, {
-                    kind: WorkExecResultKind.ok;
-                    okBlob: BytesBlob;
-                } | {
-                    kind: WorkExecResultKind.outOfGas;
-                } | {
-                    kind: WorkExecResultKind.panic;
-                } | {
-                    kind: WorkExecResultKind.incorrectNumberOfExports;
-                } | {
-                    kind: WorkExecResultKind.digestTooBig;
-                } | {
-                    kind: WorkExecResultKind.badCode;
-                } | {
-                    kind: WorkExecResultKind.codeOversize;
-                }>;
+                result: Descriptor<WorkExecResult, WorkExecResult>;
                 load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                     gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                     importedSegments: Descriptor<U32, U32>;
@@ -5061,22 +4873,7 @@ 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, {
-                kind: WorkExecResultKind.ok;
-                okBlob: BytesBlob;
-            } | {
-                kind: WorkExecResultKind.outOfGas;
-            } | {
-                kind: WorkExecResultKind.panic;
-            } | {
-                kind: WorkExecResultKind.incorrectNumberOfExports;
-            } | {
-                kind: WorkExecResultKind.digestTooBig;
-            } | {
-                kind: WorkExecResultKind.badCode;
-            } | {
-                kind: WorkExecResultKind.codeOversize;
-            }>;
+            result: Descriptor<WorkExecResult, WorkExecResult>;
             load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                 gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                 importedSegments: Descriptor<U32, U32>;
@@ -10158,22 +9955,7 @@ declare class Operand extends WithDebug {
         authorizerHash: Descriptor<Bytes<32> & WithOpaque<"AuthorizerHash">, Bytes<32>>;
         payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
         gas: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
-        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;
-        }>;
+        result: Descriptor<WorkExecResult, WorkExecResult>;
         authorizationOutput: Descriptor<BytesBlob, BytesBlob>;
     }>>;
     /**
@@ -10456,22 +10238,7 @@ 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, {
-                                kind: WorkExecResultKind.ok;
-                                okBlob: BytesBlob;
-                            } | {
-                                kind: WorkExecResultKind.outOfGas;
-                            } | {
-                                kind: WorkExecResultKind.panic;
-                            } | {
-                                kind: WorkExecResultKind.incorrectNumberOfExports;
-                            } | {
-                                kind: WorkExecResultKind.digestTooBig;
-                            } | {
-                                kind: WorkExecResultKind.badCode;
-                            } | {
-                                kind: WorkExecResultKind.codeOversize;
-                            }>;
+                            result: Descriptor<WorkExecResult, WorkExecResult>;
                             load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                                 gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                                 importedSegments: Descriptor<U32, U32>;
@@ -10580,22 +10347,7 @@ 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, {
-                                kind: WorkExecResultKind.ok;
-                                okBlob: BytesBlob;
-                            } | {
-                                kind: WorkExecResultKind.outOfGas;
-                            } | {
-                                kind: WorkExecResultKind.panic;
-                            } | {
-                                kind: WorkExecResultKind.incorrectNumberOfExports;
-                            } | {
-                                kind: WorkExecResultKind.digestTooBig;
-                            } | {
-                                kind: WorkExecResultKind.badCode;
-                            } | {
-                                kind: WorkExecResultKind.codeOversize;
-                            }>;
+                            result: Descriptor<WorkExecResult, WorkExecResult>;
                             load: Descriptor<WorkRefineLoad, ViewOf<WorkRefineLoad, {
                                 gasUsed: Descriptor<bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">, U64>;
                                 importedSegments: Descriptor<U32, U32>;
@@ -11575,5 +11327,4 @@ declare namespace index {
   };
 }
 
-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 };
+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 };