I get a call tonight telling me my computer is ready for pickup. I made sure to ask whether they’d tried to trigger the problem. They said they had.
I asked them what they’d replaced. He replied, “everything but the battery”.
So my computer is not yet the computer of Theseus, but when the battery goes, it will be.