When Infrastructure Writes the Spec | TinyFish