Module manager 

Slashing-lifecycle manager: optimistic admission, appeal windows, and finalisation.

Traces to: SPEC.md §7, catalogue rows DSL-022..033 plus the Phase-10 gap fills (DSL-146..152).

Surface

SlashingManager implements the full optimistic-slashing lifecycle:

• base-slash formula per slashable validator (DSL-022),
• reporter-bond escrow (DSL-023),
• the PendingSlash book + status transitions (DSL-024, DSL-146..150),
• reward routing + correlation penalty (DSL-025, DSL-030),
• duplicate-rejection + capacity checks (DSL-026..028),
• finalisation of expired pending slashes (DSL-029..033),
• appeal admission (submit_appeal, DSL-055..063),
• reorg rewind (DSL-129) + processed/window pruning.

Structs

FinalisationResult

Aggregate result of a finalise_expired_slashes pass — one record per pending slash that transitioned from Accepted/ChallengeOpen to Finalised during the call.

PerValidatorSlash

Per-validator record produced by submit_evidence.

SlashingManager

Top-level slashing lifecycle manager.

SlashingResult

Aggregate result of a submit_evidence call.