@matigo This is what gets me. Dragging the large file from a network volume via finder yielded "Nope". Copying from the command line went fine. Just dirt slow as the filesystem purged itself.
# sudo dd if=/dev/zero of=erase.me bs=65536; rm erase.me
…and the laptop ran like a top for the first time in ages.