Cancelación perdida en asyncio
gateway/dispatch.py
Una cancelación se pierde en un except demasiado amplio.
Concurrencia, ejecutada y verificada desde el navegador.
Un proyecto, un escenario, varios perfiles. La misma evidencia para Python, Rust y CUDA.
Los tres modos
| Modo | Ejecuta | Entrega |
|---|---|---|
| Observar | Runtime real, instrumentado. | Traza y comportamiento observado. |
| Explorar | Scheduling controlado. | Fallos reproducibles y cobertura. |
| Verificar | Motor formal o estático. | Propiedad bajo contrato o contraejemplo. |
Ejemplos curados
Orden de locks entre dos tareas Tokio
crates/ledger/src/apply.rs
Dos mutex tomados en orden opuesto. El runtime nativo casi nunca lo muestra.
Escritura sin sincronizar en un kernel CUDA
src/reduce.cu
Dos hilos escriben la misma posición compartida sin barrera.