staking: specify MUST on evidence processing

crates/core/component/stake/src/component/epoch_handler.rs

@@ -165,8 +165,8 @@ pub trait EpochHandler: StateWriteExt + ConsensusIndexRead {
         // record them for the funding component to process.
         self.queue_staking_rewards(funding_queue);
 
-        // Now that all the voting power has been calculated, we can select the
-        // top `limit` validators to be active for the next epoch.
+        // Now that the consensus set voting power has been calculated, we can select the
+        // top N validators to be active for the next epoch.
         self.set_active_and_inactive_validators().await?;
         Ok(())
     }

crates/core/component/stake/src/component/validator_handler/validator_manager.rs

@@ -680,6 +680,10 @@ pub trait ValidatorManager: StateWrite {
 
     /// Process evidence of byzantine behavior from CometBFT.
     ///
+    /// Evidence *MUST* be processed before `end_block` is called, because
+    /// the evidence may trigger a validator state transition requiring
+    /// an early epoch change.
+    ///
     /// # Errors
     /// Returns an error if the validator is not found in the JMT.
     async fn process_evidence(&mut self, evidence: &Misbehavior) -> Result<()> {