Module types 

Block, checkpoint, and supporting type definitions (SPEC §2).

Module	SPEC section	Primary type
header	§2.2	L2BlockHeader — 33-field independently hashable header
block	§2.3	L2Block — header + spend bundles + slash payloads + proposer sig
attested	§2.4	AttestedBlock — block + signer bitmap + aggregate sig
checkpoint	§2.6–§2.7	Checkpoint, CheckpointSubmission
receipt	§2.9	Receipt, ReceiptList, ReceiptStatus
signer_bitmap	§2.10	SignerBitmap — compact bit vector (up to 65536 validators)
status	§2.5, §2.8	BlockStatus, CheckpointStatus

Modules

attested

AttestedBlock — L2 block plus attestation metadata (signers, aggregate sig, receipts, status).

block

L2Block — full L2 block: header, transaction body (SpendBundles), slash proposal payloads, proposer signature.

checkpoint

Checkpoint domain types: Checkpoint (CKP-001), CheckpointSubmission (CKP-002).

header

L2BlockHeader — independently hashable L2 block metadata and commitments.

receipt

Receipt domain types: ReceiptStatus, Receipt, ReceiptList.

signer_bitmap

Compact validator participation bitmap (SPEC §2.10).

status

Block and checkpoint lifecycle enums (BlockStatus, CheckpointStatus).