@typeberry/lib 0.5.1-aff8b4f → 0.5.1-eb84786

package/packages/jam/block/guarantees.d.ts

@@ -0,0 +1,186 @@
+import { type CodecRecord, type DescribedBy } from "#@typeberry/codec";
+import type { KnownSizeArray } from "#@typeberry/collections";
+import { type Ed25519Signature } from "#@typeberry/crypto";
+import { WithDebug } from "#@typeberry/utils";
+import type { TimeSlot, ValidatorIndex } from "./common.js";
+import { WorkReport } from "./work-report.js";
+/**
+ * Required number of credentials for each work report.
+ * The maximal value is `NoOfValidators / NoOfCores`
+ * (i.e. signatures from ALL validators assigned to the core)
+ * however 2/3rds is sufficent.
+ * Since GP defines that value explicitly as "two or three",
+ * we do that as well.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
+ */
+export type REQUIRED_CREDENTIALS = 2 | 3;
+export declare const REQUIRED_CREDENTIALS_RANGE: number[];
+/** Unique validator index & signature. */
+export declare class Credential extends WithDebug {
+    /** Validator index signing the guarantee. */
+    readonly validatorIndex: ValidatorIndex;
+    /** Signature over hash of the work-report. */
+    readonly signature: Ed25519Signature;
+    static Codec: import("@typeberry/codec").Descriptor<Credential, import("@typeberry/codec").ViewOf<Credential, {
+        validatorIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"ValidatorIndex[u16]">, import("@typeberry/bytes").Bytes<2>>;
+        signature: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<64> & import("@typeberry/utils").WithOpaque<"Ed25519Signature">, import("@typeberry/bytes").Bytes<64>>;
+    }>>;
+    static create({ validatorIndex, signature }: CodecRecord<Credential>): Credential;
+    private constructor();
+}
+/**
+ * Tuple of work-report, a credential and it's corresponding timeslot.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15df00150301?v=0.7.2
+ */
+export declare class ReportGuarantee extends WithDebug {
+    /** The work-report being guaranteed. */
+    readonly report: WorkReport;
+    /** Timeslot of the report. */
+    readonly slot: TimeSlot;
+    /**
+     * The credential is a sequence of two or three tuples of a unique
+     * validator index and a signature.
+     * Credentials must be ordered by their validator index.
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
+     */
+    readonly credentials: KnownSizeArray<Credential, `${REQUIRED_CREDENTIALS}`>;
+    static Codec: import("@typeberry/codec").Descriptor<ReportGuarantee, import("@typeberry/codec").ViewOf<ReportGuarantee, {
+        report: import("@typeberry/codec").Descriptor<WorkReport, import("@typeberry/codec").ViewOf<WorkReport, {
+            workPackageSpec: import("@typeberry/codec").Descriptor<import("./work-report.js").WorkPackageSpec, import("@typeberry/codec").ViewOf<import("./work-report.js").WorkPackageSpec, {
+                hash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkPackageHash">, import("@typeberry/bytes").Bytes<32>>;
+                length: import("@typeberry/codec").Descriptor<import("@typeberry/numbers").U32, import("@typeberry/bytes").Bytes<4>>;
+                erasureRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32>, import("@typeberry/bytes").Bytes<32>>;
+                exportsRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"ExportsRootHash">, import("@typeberry/bytes").Bytes<32>>;
+                exportsCount: import("@typeberry/codec").Descriptor<import("@typeberry/numbers").U16, import("@typeberry/bytes").Bytes<2>>;
+            }>>;
+            context: import("@typeberry/codec").Descriptor<import("./refine-context.js").RefineContext, import("@typeberry/codec").ViewOf<import("./refine-context.js").RefineContext, {
+                anchor: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"HeaderHash">, import("@typeberry/bytes").Bytes<32>>;
+                stateRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"StateRootHash">, import("@typeberry/bytes").Bytes<32>>;
+                beefyRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"BeefyHash">, import("@typeberry/bytes").Bytes<32>>;
+                lookupAnchor: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"HeaderHash">, import("@typeberry/bytes").Bytes<32>>;
+                lookupAnchorSlot: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"TimeSlot[u32]">, import("@typeberry/bytes").Bytes<4>>;
+                prerequisites: import("@typeberry/codec").Descriptor<(import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkPackageHash">)[], import("@typeberry/codec").SequenceView<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkPackageHash">, import("@typeberry/bytes").Bytes<32>>>;
+            }>>;
+            coreIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"CoreIndex[u16]">, import("@typeberry/numbers").U32>;
+            authorizerHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"AuthorizerHash">, import("@typeberry/bytes").Bytes<32>>;
+            authorizationGasUsed: import("@typeberry/codec").Descriptor<bigint & import("@typeberry/numbers").WithBytesRepresentation<8> & import("@typeberry/utils").WithOpaque<"ServiceGas[u64]">, import("@typeberry/numbers").U64>;
+            authorizationOutput: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").BytesBlob, import("@typeberry/bytes").BytesBlob>;
+            segmentRootLookup: import("@typeberry/codec").Descriptor<readonly import("./refine-context.js").WorkPackageInfo[], import("@typeberry/codec").SequenceView<import("./refine-context.js").WorkPackageInfo, import("@typeberry/codec").ViewOf<import("./refine-context.js").WorkPackageInfo, {
+                workPackageHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkPackageHash">, import("@typeberry/bytes").Bytes<32>>;
+                segmentTreeRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"ExportsRootHash">, import("@typeberry/bytes").Bytes<32>>;
+            }>>>;
+            results: import("@typeberry/codec").Descriptor<import("@typeberry/collections").FixedSizeArray<import("./work-result.js").WorkResult, import("@typeberry/numbers").U8>, import("@typeberry/codec").SequenceView<import("./work-result.js").WorkResult, import("@typeberry/codec").ViewOf<import("./work-result.js").WorkResult, {
+                serviceId: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"ServiceId[u32]">, import("@typeberry/bytes").Bytes<4>>;
+                codeHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"CodeHash">, import("@typeberry/bytes").Bytes<32>>;
+                payloadHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32>, import("@typeberry/bytes").Bytes<32>>;
+                gas: import("@typeberry/codec").Descriptor<bigint & import("@typeberry/numbers").WithBytesRepresentation<8> & import("@typeberry/utils").WithOpaque<"ServiceGas[u64]">, import("@typeberry/bytes").Bytes<8>>;
+                result: import("@typeberry/codec").Descriptor<import("./work-result.js").WorkExecResult, {
+                    kind: import("./work-result.js").WorkExecResultKind.ok;
+                    okBlob: import("@typeberry/bytes").BytesBlob;
+                } | {
+                    kind: import("./work-result.js").WorkExecResultKind.outOfGas;
+                } | {
+                    kind: import("./work-result.js").WorkExecResultKind.panic;
+                } | {
+                    kind: import("./work-result.js").WorkExecResultKind.incorrectNumberOfExports;
+                } | {
+                    kind: import("./work-result.js").WorkExecResultKind.digestTooBig;
+                } | {
+                    kind: import("./work-result.js").WorkExecResultKind.badCode;
+                } | {
+                    kind: import("./work-result.js").WorkExecResultKind.codeOversize;
+                }>;
+                load: import("@typeberry/codec").Descriptor<import("./work-result.js").WorkRefineLoad, import("@typeberry/codec").ViewOf<import("./work-result.js").WorkRefineLoad, {
+                    gasUsed: import("@typeberry/codec").Descriptor<bigint & import("@typeberry/numbers").WithBytesRepresentation<8> & import("@typeberry/utils").WithOpaque<"ServiceGas[u64]">, import("@typeberry/numbers").U64>;
+                    importedSegments: import("@typeberry/codec").Descriptor<import("@typeberry/numbers").U32, import("@typeberry/numbers").U32>;
+                    extrinsicCount: import("@typeberry/codec").Descriptor<import("@typeberry/numbers").U32, import("@typeberry/numbers").U32>;
+                    extrinsicSize: import("@typeberry/codec").Descriptor<import("@typeberry/numbers").U32, import("@typeberry/numbers").U32>;
+                    exportedSegments: import("@typeberry/codec").Descriptor<import("@typeberry/numbers").U32, import("@typeberry/numbers").U32>;
+                }>>;
+            }>>>;
+        }>>;
+        slot: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"TimeSlot[u32]">, import("@typeberry/bytes").Bytes<4>>;
+        credentials: import("@typeberry/codec").Descriptor<(readonly Credential[] & import("@typeberry/utils").WithOpaque<"2">) | (readonly Credential[] & import("@typeberry/utils").WithOpaque<"3">), import("@typeberry/codec").SequenceView<Credential, import("@typeberry/codec").ViewOf<Credential, {
+            validatorIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"ValidatorIndex[u16]">, import("@typeberry/bytes").Bytes<2>>;
+            signature: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<64> & import("@typeberry/utils").WithOpaque<"Ed25519Signature">, import("@typeberry/bytes").Bytes<64>>;
+        }>>>;
+    }>>;
+    static create({ report, slot, credentials }: CodecRecord<ReportGuarantee>): ReportGuarantee;
+    private constructor();
+}
+export declare const GuaranteesExtrinsicBounds = "[0..CoresCount)";
+/**
+ * `E_G`: Series of guarantees, at most one for each core.
+ *
+ * Each core index (within work-report) must be unique and guarantees
+ * must be in ascending order of this.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15d10015d400?v=0.7.2
+ */
+export type GuaranteesExtrinsic = KnownSizeArray<ReportGuarantee, typeof GuaranteesExtrinsicBounds>;
+export declare const guaranteesExtrinsicCodec: import("@typeberry/codec").Descriptor<readonly ReportGuarantee[] & import("@typeberry/utils").WithOpaque<"[0..CoresCount)">, import("@typeberry/codec").SequenceView<ReportGuarantee, import("@typeberry/codec").ViewOf<ReportGuarantee, {
+    report: import("@typeberry/codec").Descriptor<WorkReport, import("@typeberry/codec").ViewOf<WorkReport, {
+        workPackageSpec: import("@typeberry/codec").Descriptor<import("./work-report.js").WorkPackageSpec, import("@typeberry/codec").ViewOf<import("./work-report.js").WorkPackageSpec, {
+            hash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkPackageHash">, import("@typeberry/bytes").Bytes<32>>;
+            length: import("@typeberry/codec").Descriptor<import("@typeberry/numbers").U32, import("@typeberry/bytes").Bytes<4>>;
+            erasureRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32>, import("@typeberry/bytes").Bytes<32>>;
+            exportsRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"ExportsRootHash">, import("@typeberry/bytes").Bytes<32>>;
+            exportsCount: import("@typeberry/codec").Descriptor<import("@typeberry/numbers").U16, import("@typeberry/bytes").Bytes<2>>;
+        }>>;
+        context: import("@typeberry/codec").Descriptor<import("./refine-context.js").RefineContext, import("@typeberry/codec").ViewOf<import("./refine-context.js").RefineContext, {
+            anchor: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"HeaderHash">, import("@typeberry/bytes").Bytes<32>>;
+            stateRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"StateRootHash">, import("@typeberry/bytes").Bytes<32>>;
+            beefyRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"BeefyHash">, import("@typeberry/bytes").Bytes<32>>;
+            lookupAnchor: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"HeaderHash">, import("@typeberry/bytes").Bytes<32>>;
+            lookupAnchorSlot: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"TimeSlot[u32]">, import("@typeberry/bytes").Bytes<4>>;
+            prerequisites: import("@typeberry/codec").Descriptor<(import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkPackageHash">)[], import("@typeberry/codec").SequenceView<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkPackageHash">, import("@typeberry/bytes").Bytes<32>>>;
+        }>>;
+        coreIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"CoreIndex[u16]">, import("@typeberry/numbers").U32>;
+        authorizerHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"AuthorizerHash">, import("@typeberry/bytes").Bytes<32>>;
+        authorizationGasUsed: import("@typeberry/codec").Descriptor<bigint & import("@typeberry/numbers").WithBytesRepresentation<8> & import("@typeberry/utils").WithOpaque<"ServiceGas[u64]">, import("@typeberry/numbers").U64>;
+        authorizationOutput: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").BytesBlob, import("@typeberry/bytes").BytesBlob>;
+        segmentRootLookup: import("@typeberry/codec").Descriptor<readonly import("./refine-context.js").WorkPackageInfo[], import("@typeberry/codec").SequenceView<import("./refine-context.js").WorkPackageInfo, import("@typeberry/codec").ViewOf<import("./refine-context.js").WorkPackageInfo, {
+            workPackageHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkPackageHash">, import("@typeberry/bytes").Bytes<32>>;
+            segmentTreeRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"ExportsRootHash">, import("@typeberry/bytes").Bytes<32>>;
+        }>>>;
+        results: import("@typeberry/codec").Descriptor<import("@typeberry/collections").FixedSizeArray<import("./work-result.js").WorkResult, import("@typeberry/numbers").U8>, import("@typeberry/codec").SequenceView<import("./work-result.js").WorkResult, import("@typeberry/codec").ViewOf<import("./work-result.js").WorkResult, {
+            serviceId: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"ServiceId[u32]">, import("@typeberry/bytes").Bytes<4>>;
+            codeHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"CodeHash">, import("@typeberry/bytes").Bytes<32>>;
+            payloadHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32>, import("@typeberry/bytes").Bytes<32>>;
+            gas: import("@typeberry/codec").Descriptor<bigint & import("@typeberry/numbers").WithBytesRepresentation<8> & import("@typeberry/utils").WithOpaque<"ServiceGas[u64]">, import("@typeberry/bytes").Bytes<8>>;
+            result: import("@typeberry/codec").Descriptor<import("./work-result.js").WorkExecResult, {
+                kind: import("./work-result.js").WorkExecResultKind.ok;
+                okBlob: import("@typeberry/bytes").BytesBlob;
+            } | {
+                kind: import("./work-result.js").WorkExecResultKind.outOfGas;
+            } | {
+                kind: import("./work-result.js").WorkExecResultKind.panic;
+            } | {
+                kind: import("./work-result.js").WorkExecResultKind.incorrectNumberOfExports;
+            } | {
+                kind: import("./work-result.js").WorkExecResultKind.digestTooBig;
+            } | {
+                kind: import("./work-result.js").WorkExecResultKind.badCode;
+            } | {
+                kind: import("./work-result.js").WorkExecResultKind.codeOversize;
+            }>;
+            load: import("@typeberry/codec").Descriptor<import("./work-result.js").WorkRefineLoad, import("@typeberry/codec").ViewOf<import("./work-result.js").WorkRefineLoad, {
+                gasUsed: import("@typeberry/codec").Descriptor<bigint & import("@typeberry/numbers").WithBytesRepresentation<8> & import("@typeberry/utils").WithOpaque<"ServiceGas[u64]">, import("@typeberry/numbers").U64>;
+                importedSegments: import("@typeberry/codec").Descriptor<import("@typeberry/numbers").U32, import("@typeberry/numbers").U32>;
+                extrinsicCount: import("@typeberry/codec").Descriptor<import("@typeberry/numbers").U32, import("@typeberry/numbers").U32>;
+                extrinsicSize: import("@typeberry/codec").Descriptor<import("@typeberry/numbers").U32, import("@typeberry/numbers").U32>;
+                exportedSegments: import("@typeberry/codec").Descriptor<import("@typeberry/numbers").U32, import("@typeberry/numbers").U32>;
+            }>>;
+        }>>>;
+    }>>;
+    slot: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"TimeSlot[u32]">, import("@typeberry/bytes").Bytes<4>>;
+    credentials: import("@typeberry/codec").Descriptor<(readonly Credential[] & import("@typeberry/utils").WithOpaque<"2">) | (readonly Credential[] & import("@typeberry/utils").WithOpaque<"3">), import("@typeberry/codec").SequenceView<Credential, import("@typeberry/codec").ViewOf<Credential, {
+        validatorIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"ValidatorIndex[u16]">, import("@typeberry/bytes").Bytes<2>>;
+        signature: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<64> & import("@typeberry/utils").WithOpaque<"Ed25519Signature">, import("@typeberry/bytes").Bytes<64>>;
+    }>>>;
+}>>>;
+export type GuaranteesExtrinsicView = DescribedBy<typeof guaranteesExtrinsicCodec.View>;
+//# sourceMappingURL=guarantees.d.ts.map

package/packages/jam/block/guarantees.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guarantees.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/block/guarantees.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,WAAW,EAAS,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAA2B,KAAK,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACnF,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C;;;;;;;;;GASG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,GAAG,CAAC,CAAC;AACzC,eAAO,MAAM,0BAA0B,UAAS,CAAC;AAEjD,0CAA0C;AAC1C,qBAAa,UAAW,SAAQ,SAAS;IAWrC,6CAA6C;aAC7B,cAAc,EAAE,cAAc;IAC9C,8CAA8C;aAC9B,SAAS,EAAE,gBAAgB;IAb7C,MAAM,CAAC,KAAK;;;QAGT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,SAAS,EAAE,EAAE,WAAW,CAAC,UAAU,CAAC;IAIpE,OAAO;CAQR;AAED;;;;GAIG;AACH,qBAAa,eAAgB,SAAQ,SAAS;IAgB1C,wCAAwC;aACxB,MAAM,EAAE,UAAU;IAClC,8BAA8B;aACd,IAAI,EAAE,QAAQ;IAC9B;;;;;;OAMG;aACa,WAAW,EAAE,cAAc,CAAC,UAAU,EAAE,GAAG,oBAAoB,EAAE,CAAC;IA1BpF,MAAM,CAAC,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAQT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,WAAW,CAAC,eAAe,CAAC;IAIzE,OAAO;CAgBR;AAED,eAAO,MAAM,yBAAyB,oBAAoB,CAAC;AAC3D;;;;;;;GAOG;AACH,MAAM,MAAM,mBAAmB,GAAG,cAAc,CAAC,eAAe,EAAE,OAAO,yBAAyB,CAAC,CAAC;AAEpG,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAUpC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,WAAW,CAAC,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC"}

package/packages/jam/block/guarantees.js

@@ -0,0 +1,73 @@
+import { codec } from "#@typeberry/codec";
+import { ED25519_SIGNATURE_BYTES } from "#@typeberry/crypto";
+import { WithDebug } from "#@typeberry/utils";
+import { codecKnownSizeArray, codecWithContext } from "./codec-utils.js";
+import { WorkReport } from "./work-report.js";
+export const REQUIRED_CREDENTIALS_RANGE = [2, 3];
+/** Unique validator index & signature. */
+export class Credential extends WithDebug {
+    validatorIndex;
+    signature;
+    static Codec = codec.Class(Credential, {
+        validatorIndex: codec.u16.asOpaque(),
+        signature: codec.bytes(ED25519_SIGNATURE_BYTES).asOpaque(),
+    });
+    static create({ validatorIndex, signature }) {
+        return new Credential(validatorIndex, signature);
+    }
+    constructor(
+    /** Validator index signing the guarantee. */
+    validatorIndex, 
+    /** Signature over hash of the work-report. */
+    signature) {
+        super();
+        this.validatorIndex = validatorIndex;
+        this.signature = signature;
+    }
+}
+/**
+ * Tuple of work-report, a credential and it's corresponding timeslot.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15df00150301?v=0.7.2
+ */
+export class ReportGuarantee extends WithDebug {
+    report;
+    slot;
+    credentials;
+    static Codec = codec.Class(ReportGuarantee, {
+        report: WorkReport.Codec,
+        slot: codec.u32.asOpaque(),
+        credentials: codecKnownSizeArray(Credential.Codec, {
+            minLength: REQUIRED_CREDENTIALS_RANGE[0],
+            maxLength: REQUIRED_CREDENTIALS_RANGE[1],
+            typicalLength: REQUIRED_CREDENTIALS_RANGE[1],
+        }),
+    });
+    static create({ report, slot, credentials }) {
+        return new ReportGuarantee(report, slot, credentials);
+    }
+    constructor(
+    /** The work-report being guaranteed. */
+    report, 
+    /** Timeslot of the report. */
+    slot, 
+    /**
+     * The credential is a sequence of two or three tuples of a unique
+     * validator index and a signature.
+     * Credentials must be ordered by their validator index.
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
+     */
+    credentials) {
+        super();
+        this.report = report;
+        this.slot = slot;
+        this.credentials = credentials;
+    }
+}
+export const GuaranteesExtrinsicBounds = "[0..CoresCount)";
+export const guaranteesExtrinsicCodec = codecWithContext((context) => codecKnownSizeArray(ReportGuarantee.Codec, {
+    minLength: 0,
+    maxLength: context.coresCount,
+    typicalLength: context.coresCount,
+}, GuaranteesExtrinsicBounds));

package/packages/jam/block/hash.d.ts

@@ -0,0 +1,19 @@
+import type { OpaqueHash } from "#@typeberry/hash";
+import type { Opaque } from "#@typeberry/utils";
+/**
+ * Blake2B hash of JAM-encoding of some header.
+ *
+ * https://graypaper.fluffylabs.dev/#/579bd12/0c7b000c7e00
+ */
+export type HeaderHash = Opaque<OpaqueHash, "HeaderHash">;
+/** Blake2B hash of JAM-encoding of some work report. */
+export type WorkReportHash = Opaque<OpaqueHash, "WorkReportHash">;
+/**
+ * Blake2B merkle commitment to the block's extrinsic data.
+ *
+ * https://graypaper.fluffylabs.dev/#/579bd12/0ca1000ca400
+ */
+export type ExtrinsicHash = Opaque<OpaqueHash, "ExtrinsicHash">;
+/** Blake2B hash of some service / authorization code. */
+export type CodeHash = Opaque<OpaqueHash, "CodeHash">;
+//# sourceMappingURL=hash.d.ts.map

package/packages/jam/block/hash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/block/hash.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;AAE1D,wDAAwD;AACxD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;AAElE;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;AAEhE,yDAAyD;AACzD,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC"}

package/packages/jam/block/hash.js

@@ -0,0 +1 @@
+export {};

package/packages/jam/block/header.d.ts

@@ -0,0 +1,238 @@
+import { Bytes, BytesBlob } from "#@typeberry/bytes";
+import { type CodecRecord, type DescribedBy } from "#@typeberry/codec";
+import { type BandersnatchKey, type Ed25519Key } from "#@typeberry/crypto";
+import { type BandersnatchVrfSignature } from "#@typeberry/crypto/bandersnatch.js";
+import { WithHash } from "#@typeberry/hash";
+import { WithDebug } from "#@typeberry/utils";
+import { type EntropyHash, type PerEpochBlock, type PerValidator, type StateRootHash, type TimeSlot, type ValidatorIndex } from "./common.js";
+import type { ExtrinsicHash, HeaderHash } from "./hash.js";
+import { Ticket } from "./tickets.js";
+/**
+ * Encoded validator keys.
+ * https://graypaper.fluffylabs.dev/#/68eaa1f/0e34030e3603?v=0.6.4
+ */
+export declare class ValidatorKeys extends WithDebug {
+    /** `kappa_b`: Bandersnatch validator keys for the NEXT epoch. */
+    readonly bandersnatch: BandersnatchKey;
+    /** `kappa_e`: Ed25519 validator keys for the NEXT epoch. */
+    readonly ed25519: Ed25519Key;
+    static Codec: import("@typeberry/codec").Descriptor<ValidatorKeys, import("@typeberry/codec").ViewOf<ValidatorKeys, {
+        bandersnatch: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"BandersnatchKey">, Bytes<32>>;
+        ed25519: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, Bytes<32>>;
+    }>>;
+    static create({ bandersnatch, ed25519 }: CodecRecord<ValidatorKeys>): ValidatorKeys;
+    private constructor();
+}
+export declare class TicketsMarker extends WithDebug {
+    readonly tickets: PerEpochBlock<Ticket>;
+    static Codec: import("@typeberry/codec").Descriptor<TicketsMarker, import("@typeberry/codec").ViewOf<TicketsMarker, {
+        tickets: import("@typeberry/codec").Descriptor<readonly Ticket[] & import("@typeberry/utils").WithOpaque<"EpochLength">, import("@typeberry/codec").SequenceView<Ticket, import("@typeberry/codec").ViewOf<Ticket, {
+            id: import("@typeberry/codec").Descriptor<Bytes<32>, Bytes<32>>;
+            attempt: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<1> & import("@typeberry/utils").WithOpaque<"TicketAttempt[0|1|2]">, import("@typeberry/numbers").U8>;
+        }>>>;
+    }>>;
+    static create({ tickets }: CodecRecord<TicketsMarker>): TicketsMarker;
+    private constructor();
+}
+export type TicketsMarkerView = DescribedBy<typeof TicketsMarker.Codec.View>;
+/**
+ * For the first block in a new epoch, the epoch marker is set
+ * and contains the epoch randomness and validator keys
+ * for the NEXT epoch.
+ *
+ * https://graypaper.fluffylabs.dev/#/579bd12/0e30030e6603
+ */
+export declare class EpochMarker extends WithDebug {
+    /** `eta_1'`: Randomness for the NEXT epoch. */
+    readonly entropy: EntropyHash;
+    /** `eta_2'`: Randomness for the CURRENT epoch. */
+    readonly ticketsEntropy: EntropyHash;
+    /** `kappa_b`: Bandersnatch validator keys for the NEXT epoch. */
+    readonly validators: PerValidator<ValidatorKeys>;
+    static Codec: import("@typeberry/codec").Descriptor<EpochMarker, import("@typeberry/codec").ViewOf<EpochMarker, {
+        entropy: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"EntropyHash">, Bytes<32>>;
+        ticketsEntropy: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"EntropyHash">, Bytes<32>>;
+        validators: import("@typeberry/codec").Descriptor<readonly ValidatorKeys[] & import("@typeberry/utils").WithOpaque<"ValidatorsCount">, import("@typeberry/codec").SequenceView<ValidatorKeys, import("@typeberry/codec").ViewOf<ValidatorKeys, {
+            bandersnatch: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"BandersnatchKey">, Bytes<32>>;
+            ed25519: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, Bytes<32>>;
+        }>>>;
+    }>>;
+    static create({ entropy, ticketsEntropy, validators }: CodecRecord<EpochMarker>): EpochMarker;
+    private constructor();
+}
+export type EpochMarkerView = DescribedBy<typeof EpochMarker.Codec.View>;
+/**
+ * Return an encoded header without the seal components.
+ *
+ * https://graypaper.fluffylabs.dev/#/68eaa1f/370202370302?v=0.6.4
+ */
+export declare const encodeUnsealedHeader: (view: HeaderView) => BytesBlob;
+/**
+ * The header of the JAM block.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/0c66000c7200?v=0.7.2
+ */
+export declare class Header extends WithDebug {
+    static Codec: import("@typeberry/codec").Descriptor<Header & CodecRecord<Header>, import("@typeberry/codec").ViewOf<Header & CodecRecord<Header>, {
+        parentHeaderHash: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"HeaderHash">, Bytes<32>>;
+        priorStateRoot: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"StateRootHash">, Bytes<32>>;
+        extrinsicHash: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"ExtrinsicHash">, Bytes<32>>;
+        timeSlotIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"TimeSlot[u32]">, Bytes<4>>;
+        epochMarker: import("@typeberry/codec").Descriptor<EpochMarker | null, import("@typeberry/codec").ViewOf<EpochMarker, {
+            entropy: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"EntropyHash">, Bytes<32>>;
+            ticketsEntropy: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"EntropyHash">, Bytes<32>>;
+            validators: import("@typeberry/codec").Descriptor<readonly ValidatorKeys[] & import("@typeberry/utils").WithOpaque<"ValidatorsCount">, import("@typeberry/codec").SequenceView<ValidatorKeys, import("@typeberry/codec").ViewOf<ValidatorKeys, {
+                bandersnatch: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"BandersnatchKey">, Bytes<32>>;
+                ed25519: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, Bytes<32>>;
+            }>>>;
+        }> | null>;
+        ticketsMarker: import("@typeberry/codec").Descriptor<TicketsMarker | null, import("@typeberry/codec").ViewOf<TicketsMarker, {
+            tickets: import("@typeberry/codec").Descriptor<readonly Ticket[] & import("@typeberry/utils").WithOpaque<"EpochLength">, import("@typeberry/codec").SequenceView<Ticket, import("@typeberry/codec").ViewOf<Ticket, {
+                id: import("@typeberry/codec").Descriptor<Bytes<32>, Bytes<32>>;
+                attempt: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<1> & import("@typeberry/utils").WithOpaque<"TicketAttempt[0|1|2]">, import("@typeberry/numbers").U8>;
+            }>>>;
+        }> | null>;
+        bandersnatchBlockAuthorIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
+        entropySource: import("@typeberry/codec").Descriptor<Bytes<96> & import("@typeberry/utils").WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+        offendersMarker: import("@typeberry/codec").Descriptor<(Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">)[], import("@typeberry/codec").SequenceView<Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, Bytes<32>>>;
+        seal: import("@typeberry/codec").Descriptor<Bytes<96> & import("@typeberry/utils").WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+    }>>;
+    static create(h: CodecRecord<Header>): Header & CodecRecord<Header>;
+    /**
+     * `H_p`: Hash of the parent header.
+     *
+     * In case of the genesis block, the hash will be zero.
+     */
+    readonly parentHeaderHash: HeaderHash;
+    /** `H_r`: The state trie root hash before executing that block. */
+    readonly priorStateRoot: StateRootHash;
+    /** `H_x`: The hash of block extrinsic. */
+    readonly extrinsicHash: ExtrinsicHash;
+    /** `H_t`: JAM time-slot index. */
+    readonly timeSlotIndex: TimeSlot;
+    /**
+     * `H_e`: Key and entropy relevant to the following epoch in case the ticket
+     *        contest does not complete adequately.
+     */
+    readonly epochMarker: EpochMarker | null;
+    /**
+     * `H_w`: Winning tickets provides the series of 600 slot sealing "tickets"
+     *        for the next epoch.
+     */
+    readonly ticketsMarker: TicketsMarker | null;
+    /** `H_i`: Block author's index in the current validator set. */
+    readonly bandersnatchBlockAuthorIndex: ValidatorIndex;
+    /** `H_v`: Entropy-yielding VRF signature. */
+    readonly entropySource: BandersnatchVrfSignature;
+    /** `H_o`: Sequence of keys of newly misbehaving validators. */
+    readonly offendersMarker: Ed25519Key[];
+    /**
+     * `H_s`: Block seal.
+     *
+     * https://graypaper.fluffylabs.dev/#/579bd12/0d0c010d1101
+     */
+    readonly seal: BandersnatchVrfSignature;
+    private constructor();
+    /** Create an empty header with some dummy values. */
+    static empty(): Header;
+}
+/** Undecoded View of the [`Header`]. */
+export type HeaderView = DescribedBy<typeof Header.Codec.View>;
+/** Encoding of header + hash. */
+export declare const headerViewWithHashCodec: import("@typeberry/codec").Descriptor<WithHash<import("@typeberry/hash").OpaqueHash & import("@typeberry/utils").WithOpaque<"HeaderHash">, import("@typeberry/codec").ViewOf<Header & CodecRecord<Header>, {
+    parentHeaderHash: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"HeaderHash">, Bytes<32>>;
+    priorStateRoot: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"StateRootHash">, Bytes<32>>;
+    extrinsicHash: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"ExtrinsicHash">, Bytes<32>>;
+    timeSlotIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"TimeSlot[u32]">, Bytes<4>>;
+    epochMarker: import("@typeberry/codec").Descriptor<EpochMarker | null, import("@typeberry/codec").ViewOf<EpochMarker, {
+        entropy: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"EntropyHash">, Bytes<32>>;
+        ticketsEntropy: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"EntropyHash">, Bytes<32>>;
+        validators: import("@typeberry/codec").Descriptor<readonly ValidatorKeys[] & import("@typeberry/utils").WithOpaque<"ValidatorsCount">, import("@typeberry/codec").SequenceView<ValidatorKeys, import("@typeberry/codec").ViewOf<ValidatorKeys, {
+            bandersnatch: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"BandersnatchKey">, Bytes<32>>;
+            ed25519: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, Bytes<32>>;
+        }>>>;
+    }> | null>;
+    ticketsMarker: import("@typeberry/codec").Descriptor<TicketsMarker | null, import("@typeberry/codec").ViewOf<TicketsMarker, {
+        tickets: import("@typeberry/codec").Descriptor<readonly Ticket[] & import("@typeberry/utils").WithOpaque<"EpochLength">, import("@typeberry/codec").SequenceView<Ticket, import("@typeberry/codec").ViewOf<Ticket, {
+            id: import("@typeberry/codec").Descriptor<Bytes<32>, Bytes<32>>;
+            attempt: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<1> & import("@typeberry/utils").WithOpaque<"TicketAttempt[0|1|2]">, import("@typeberry/numbers").U8>;
+        }>>>;
+    }> | null>;
+    bandersnatchBlockAuthorIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
+    entropySource: import("@typeberry/codec").Descriptor<Bytes<96> & import("@typeberry/utils").WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+    offendersMarker: import("@typeberry/codec").Descriptor<(Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">)[], import("@typeberry/codec").SequenceView<Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, Bytes<32>>>;
+    seal: import("@typeberry/codec").Descriptor<Bytes<96> & import("@typeberry/utils").WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+}>>, import("@typeberry/codec").ViewOf<WithHash<import("@typeberry/hash").OpaqueHash & import("@typeberry/utils").WithOpaque<"HeaderHash">, import("@typeberry/codec").ViewOf<Header & CodecRecord<Header>, {
+    parentHeaderHash: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"HeaderHash">, Bytes<32>>;
+    priorStateRoot: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"StateRootHash">, Bytes<32>>;
+    extrinsicHash: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"ExtrinsicHash">, Bytes<32>>;
+    timeSlotIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"TimeSlot[u32]">, Bytes<4>>;
+    epochMarker: import("@typeberry/codec").Descriptor<EpochMarker | null, import("@typeberry/codec").ViewOf<EpochMarker, {
+        entropy: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"EntropyHash">, Bytes<32>>;
+        ticketsEntropy: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"EntropyHash">, Bytes<32>>;
+        validators: import("@typeberry/codec").Descriptor<readonly ValidatorKeys[] & import("@typeberry/utils").WithOpaque<"ValidatorsCount">, import("@typeberry/codec").SequenceView<ValidatorKeys, import("@typeberry/codec").ViewOf<ValidatorKeys, {
+            bandersnatch: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"BandersnatchKey">, Bytes<32>>;
+            ed25519: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, Bytes<32>>;
+        }>>>;
+    }> | null>;
+    ticketsMarker: import("@typeberry/codec").Descriptor<TicketsMarker | null, import("@typeberry/codec").ViewOf<TicketsMarker, {
+        tickets: import("@typeberry/codec").Descriptor<readonly Ticket[] & import("@typeberry/utils").WithOpaque<"EpochLength">, import("@typeberry/codec").SequenceView<Ticket, import("@typeberry/codec").ViewOf<Ticket, {
+            id: import("@typeberry/codec").Descriptor<Bytes<32>, Bytes<32>>;
+            attempt: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<1> & import("@typeberry/utils").WithOpaque<"TicketAttempt[0|1|2]">, import("@typeberry/numbers").U8>;
+        }>>>;
+    }> | null>;
+    bandersnatchBlockAuthorIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
+    entropySource: import("@typeberry/codec").Descriptor<Bytes<96> & import("@typeberry/utils").WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+    offendersMarker: import("@typeberry/codec").Descriptor<(Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">)[], import("@typeberry/codec").SequenceView<Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, Bytes<32>>>;
+    seal: import("@typeberry/codec").Descriptor<Bytes<96> & import("@typeberry/utils").WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+}>>, {
+    hash: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"HeaderHash">, Bytes<32>>;
+    data: import("@typeberry/codec").Descriptor<import("@typeberry/codec").ViewOf<Header & CodecRecord<Header>, {
+        parentHeaderHash: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"HeaderHash">, Bytes<32>>;
+        priorStateRoot: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"StateRootHash">, Bytes<32>>;
+        extrinsicHash: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"ExtrinsicHash">, Bytes<32>>;
+        timeSlotIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"TimeSlot[u32]">, Bytes<4>>;
+        epochMarker: import("@typeberry/codec").Descriptor<EpochMarker | null, import("@typeberry/codec").ViewOf<EpochMarker, {
+            entropy: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"EntropyHash">, Bytes<32>>;
+            ticketsEntropy: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"EntropyHash">, Bytes<32>>;
+            validators: import("@typeberry/codec").Descriptor<readonly ValidatorKeys[] & import("@typeberry/utils").WithOpaque<"ValidatorsCount">, import("@typeberry/codec").SequenceView<ValidatorKeys, import("@typeberry/codec").ViewOf<ValidatorKeys, {
+                bandersnatch: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"BandersnatchKey">, Bytes<32>>;
+                ed25519: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, Bytes<32>>;
+            }>>>;
+        }> | null>;
+        ticketsMarker: import("@typeberry/codec").Descriptor<TicketsMarker | null, import("@typeberry/codec").ViewOf<TicketsMarker, {
+            tickets: import("@typeberry/codec").Descriptor<readonly Ticket[] & import("@typeberry/utils").WithOpaque<"EpochLength">, import("@typeberry/codec").SequenceView<Ticket, import("@typeberry/codec").ViewOf<Ticket, {
+                id: import("@typeberry/codec").Descriptor<Bytes<32>, Bytes<32>>;
+                attempt: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<1> & import("@typeberry/utils").WithOpaque<"TicketAttempt[0|1|2]">, import("@typeberry/numbers").U8>;
+            }>>>;
+        }> | null>;
+        bandersnatchBlockAuthorIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
+        entropySource: import("@typeberry/codec").Descriptor<Bytes<96> & import("@typeberry/utils").WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+        offendersMarker: import("@typeberry/codec").Descriptor<(Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">)[], import("@typeberry/codec").SequenceView<Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, Bytes<32>>>;
+        seal: import("@typeberry/codec").Descriptor<Bytes<96> & import("@typeberry/utils").WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+    }>, import("@typeberry/codec").ViewOf<Header & CodecRecord<Header>, {
+        parentHeaderHash: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"HeaderHash">, Bytes<32>>;
+        priorStateRoot: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"StateRootHash">, Bytes<32>>;
+        extrinsicHash: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"ExtrinsicHash">, Bytes<32>>;
+        timeSlotIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"TimeSlot[u32]">, Bytes<4>>;
+        epochMarker: import("@typeberry/codec").Descriptor<EpochMarker | null, import("@typeberry/codec").ViewOf<EpochMarker, {
+            entropy: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"EntropyHash">, Bytes<32>>;
+            ticketsEntropy: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"EntropyHash">, Bytes<32>>;
+            validators: import("@typeberry/codec").Descriptor<readonly ValidatorKeys[] & import("@typeberry/utils").WithOpaque<"ValidatorsCount">, import("@typeberry/codec").SequenceView<ValidatorKeys, import("@typeberry/codec").ViewOf<ValidatorKeys, {
+                bandersnatch: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"BandersnatchKey">, Bytes<32>>;
+                ed25519: import("@typeberry/codec").Descriptor<Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, Bytes<32>>;
+            }>>>;
+        }> | null>;
+        ticketsMarker: import("@typeberry/codec").Descriptor<TicketsMarker | null, import("@typeberry/codec").ViewOf<TicketsMarker, {
+            tickets: import("@typeberry/codec").Descriptor<readonly Ticket[] & import("@typeberry/utils").WithOpaque<"EpochLength">, import("@typeberry/codec").SequenceView<Ticket, import("@typeberry/codec").ViewOf<Ticket, {
+                id: import("@typeberry/codec").Descriptor<Bytes<32>, Bytes<32>>;
+                attempt: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<1> & import("@typeberry/utils").WithOpaque<"TicketAttempt[0|1|2]">, import("@typeberry/numbers").U8>;
+            }>>>;
+        }> | null>;
+        bandersnatchBlockAuthorIndex: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"ValidatorIndex[u16]">, Bytes<2>>;
+        entropySource: import("@typeberry/codec").Descriptor<Bytes<96> & import("@typeberry/utils").WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+        offendersMarker: import("@typeberry/codec").Descriptor<(Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">)[], import("@typeberry/codec").SequenceView<Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, Bytes<32>>>;
+        seal: import("@typeberry/codec").Descriptor<Bytes<96> & import("@typeberry/utils").WithOpaque<"BandersnatchVrfSignature">, Bytes<96>>;
+    }>>;
+}>>;
+//# sourceMappingURL=header.d.ts.map

package/packages/jam/block/header.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"header.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/block/header.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,KAAK,WAAW,EAAS,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAA0B,KAAK,eAAe,EAAqB,KAAK,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACrH,OAAO,EAAoC,KAAK,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AACpH,OAAO,EAAa,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,QAAQ,EAGb,KAAK,cAAc,EACpB,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC;;;GAGG;AACH,qBAAa,aAAc,SAAQ,SAAS;IAWxC,iEAAiE;aACjD,YAAY,EAAE,eAAe;IAC7C,4DAA4D;aAC5C,OAAO,EAAE,UAAU;IAbrC,MAAM,CAAC,KAAK;;;QAGT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC;IAInE,OAAO;CAQR;AAED,qBAAa,aAAc,SAAQ,SAAS;aASN,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC;IARlE,MAAM,CAAC,KAAK;;;;;QAET;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC;IAIrD,OAAO;CAGR;AAED,MAAM,MAAM,iBAAiB,GAAG,WAAW,CAAC,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAE7E;;;;;;GAMG;AACH,qBAAa,WAAY,SAAQ,SAAS;IAYtC,+CAA+C;aAC/B,OAAO,EAAE,WAAW;IACpC,kDAAkD;aAClC,cAAc,EAAE,WAAW;IAC3C,iEAAiE;aACjD,UAAU,EAAE,YAAY,CAAC,aAAa,CAAC;IAhBzD,MAAM,CAAC,KAAK;;;;;;;QAIT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,EAAE,WAAW,CAAC,WAAW,CAAC;IAI/E,OAAO;CAUR;AAED,MAAM,MAAM,eAAe,GAAG,WAAW,CAAC,OAAO,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAEzE;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAAI,MAAM,UAAU,KAAG,SAMvD,CAAC;AAEF;;;;GAIG;AACH,qBAAa,MAAO,SAAQ,SAAS;IACnC,MAAM,CAAC,KAAK;;;;;;;;;;;;;;;;;;;;;;;QAWT;IAEH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC;IAIpC;;;;OAIG;IACH,SAAgB,gBAAgB,EAAE,UAAU,CAAoC;IAChF,mEAAmE;IACnE,SAAgB,cAAc,EAAE,aAAa,CAAoC;IACjF,0CAA0C;IAC1C,SAAgB,aAAa,EAAE,aAAa,CAAoC;IAChF,kCAAkC;IAClC,SAAgB,aAAa,EAAE,QAAQ,CAAoB;IAC3D;;;OAGG;IACH,SAAgB,WAAW,EAAE,WAAW,GAAG,IAAI,CAAQ;IACvD;;;OAGG;IACH,SAAgB,aAAa,EAAE,aAAa,GAAG,IAAI,CAAQ;IAC3D,gEAAgE;IAChE,SAAgB,4BAA4B,EAAE,cAAc,CAA0B;IACtF,6CAA6C;IAC7C,SAAgB,aAAa,EAAE,wBAAwB,CAA2D;IAClH,+DAA+D;IAC/D,SAAgB,eAAe,EAAE,UAAU,EAAE,CAAM;IACnD;;;;OAIG;IACH,SAAgB,IAAI,EAAE,wBAAwB,CAA2D;IAEzG,OAAO;IAIP,qDAAqD;WACvC,KAAK;CAGpB;AAED,wCAAwC;AACxC,MAAM,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAmB/D,iCAAiC;AACjC,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAA2B,CAAC"}