Module traits 

External-state traits.

Traces to: SPEC.md §15.2, catalogue rows DSL-131..145.

Role

The crate does NOT own validator state — it is consumed by external runtimes (node, validator, fork-choice) that do. This module exposes the narrow trait surface the crate reads through.

Each trait is defined in the single DSL-NNN that introduces its first consumer, with the blanket / concrete impl landing later under the DSL-131..145 Phase 9 tasks.

Enums

CollateralError

Failure modes for CollateralSlasher::slash.

ExecutionOutcome

Block re-execution result used by InvalidBlockOracle.

Traits

CollateralSlasher

Collateral-slash reversal surface.

EffectiveBalanceView

Per-validator effective-balance read surface.

InvalidBlockOracle

Full-node block re-execution hook.

ProposerView

Block-proposer lookup surface.

PublicKeyLookup

Validator-index → BLS public-key lookup.

RewardClawback

Reward clawback surface — reverses a previous RewardPayout::pay.

RewardPayout

Reward-payout routing surface.

ValidatorEntry

Per-validator state accessor.

ValidatorView

Validator-set read+write surface consumed by the verifiers and slashing manager.