But, "the variable names you use for resource objects aren't used in any way for the ... physical resource naming" is confusing, then.

The "variable name" here refers to the name used in JS/Py/C# code - it can be anything you want and has no meaning to Pulumi itself.