Module inactivity 

Continuous inactivity accounting (Ethereum Bellatrix parity).

Traces to: SPEC §9, catalogue rows DSL-087..093.

Role

Inactivity-leak regime detection + per-validator score accumulation. Activates when finality stalls beyond MIN_EPOCHS_TO_INACTIVITY_PENALTY and zero-resets scores on recovery.

Scope (incremental)

Module grows one DSL at a time. First commit lands DSL-087 (in_finality_stall threshold). Future DSLs add:

• DSL-088: InactivityScoreVec storage
• DSL-089: per-epoch accumulate
• DSL-090: recovery reset
• DSL-091: penalty formula
• DSL-092: leak-only gate
• DSL-093: post-stall zero penalties

Re-exports

pub use penalty::in_finality_stall;

pub use score::InactivityScoreTracker;

Modules

penalty

Inactivity-leak regime detection + penalty math.

score

Per-validator inactivity-score tracker (Ethereum Bellatrix parity).