Module status 

Block and checkpoint lifecycle enums (BlockStatus, CheckpointStatus).

ATT-003 — BlockStatus: ATT-003 / NORMATIVE § ATT-003 / SPEC §2.5.

CKP-003 — CheckpointStatus: CKP-003 / NORMATIVE § CKP-003 / SPEC §2.8.

Usage

Consensus / chain layers assign and transition status; this crate only defines the labels and (for BlockStatus) read-only predicates (is_finalized, is_canonical). State-machine enforcement lives outside dig-block (SPEC design note — transitions are not a type-level FSM here). CheckpointStatus carries winner identity in CheckpointStatus::WinnerSelected / CheckpointStatus::Finalized.

Rationale

• Bincode: Both enums derive Serialize / Deserialize (SER-001) for AttestedBlock / checkpoint payloads.
• Copy + Eq: BlockStatus and CheckpointStatus use Copy where all payloads are Copy (crate::primitives::Bytes32).
• Checkpoint ladder (informal): Typical progression Pending → Collecting → WinnerSelected → Finalized, or terminal Failed (CKP-003 implementation notes).

Enums

BlockStatus

Lifecycle status of an attested block (SPEC §2.5).

CheckpointStatus

L2 checkpoint epoch lifecycle (SPEC §2.8, CKP-003).