Checkpoint: Transfer and Survive Failure

One program: a vector that transfers ownership by hollowing, a fill routine that can simulate failure at any step, and a liveness counter proving no path leaks.