There’s an additional security assumption that users reject chains that refuse to include slashing messages for more than 2 months. Non-censorship is a fundamental expectation that people have of blockchains, so it’s reasonable to make it a kind of validity rule.