Se requiere una secuenciación verificable para que las aplicaciones sensibles a la microestructura estén completamente en la cadena.