¡Excelente desglose de cómo funciona Facet! ¡La idea de permitir que las pruebas de validez invaliden múltiples propuestas optimistas incorrectas simultáneamente surgió de un vector de agotamiento de recursos que @l2beat identificó en su revisión!