In our current implementation, when an invalid lookahead is slashed, the invalid lookahead is kept as is. This is fine as long as the slashed amount (which can be full amount as invalid lookahead is fully attributable) exceeds the potential revenue of pushing invalid lookahead and sequencing for a whole epoch.
To be more robust, we can fallback to a fallback preconfer when an invalid lookahead is slashed.
In our current implementation, when an invalid lookahead is slashed, the invalid lookahead is kept as is. This is fine as long as the slashed amount (which can be full amount as invalid lookahead is fully attributable) exceeds the potential revenue of pushing invalid lookahead and sequencing for a whole epoch.
To be more robust, we can fallback to a fallback preconfer when an invalid lookahead is slashed.