Cruzar capacidades con el informe del entorno aislado

Una corrida en un entorno aislado es una ejecución, con una duración, una imagen de sistema y unas condiciones. Si el programa solo lee el portapapeles cuando hay algo copiado, o solo envía datos cuando el servidor contesta, en una corrida sin usuario y con un servidor mudo eso no ocurre. La ausencia de un evento dice «esta vez no pasó», no «el programa no sabe hacerlo».

Y al revés: hay capacidades que no dejan evento por naturaleza, como transformar datos dentro de la memoria del proceso. Ninguna corrida las va a confirmar, y no por eso bajan de grado.

Abre el laboratorio y consulta las capacidades con el evento que las delataría, la corrida y sus condiciones. Entre las fuertes hay una que no deja evento nunca, una que se vio en parte y una que dejaría huella clara si hubiera ocurrido y no dejó ninguna. Esa última es la que hay que redactar con más cuidado, y las condiciones de la corrida explican por qué no apareció.

El cruce también funciona al revés. La corrida registra cosas que la salida de capacidades no anticipó, porque ningún juego de reglas cubre todo lo que un programa puede hacer. Que el programa se copie a sí mismo en otra carpeta antes de anotarse en el arranque es una acción importante para quien va a limpiar los equipos, y no aparece en la lista de ocho.

Una lista de capacidades no es un inventario completo del comportamiento. El informe dice de dónde sale cada hallazgo.

Una capacidad queda confirmada cuando la regla casó y la corrida mostró la acción completa: no un primer paso, sino lo que la capacidad describe. Fíjate en que la fuerza estática no decide aquí: una capacidad débil por los criterios puede quedar confirmada si la corrida la muestra entera.

La capacidad de enviar datos por HTTP tiene dos funciones propias detrás y la corrida muestra la consulta del dominio y tres intentos de conexión, pero ni un byte de aplicación enviado, porque el servidor simulado no contestó. Lo observado sostiene una parte de la frase y no la otra.