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).

Scope (incremental)

This module grows one DSL at a time. The shipped surface right now covers only DSL-022 — the base-slash formula applied per slashable validator in submit_evidence. Subsequent DSLs add:

• bond escrow (DSL-023),
• PendingSlash book + status (DSL-024, DSL-146..150),
• reward routing + correlation penalty (DSL-025, DSL-030),
• finalisation + duplicate-rejection / capacity checks (DSL-029..033, DSL-026..028),
• reorg rewind (DSL-129, DSL-130).

Each addition lands as a method on SlashingManager or a new field in SlashingResult; the DSL-022 surface remains byte-stable across commits.

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.