Operational practice of upgrading validators and provers in waves while keeping lanes live, aided by manifests and telemetry.