A computable hypervisor can’t run an uncountable number of different VMs. You seem to be talking about a countable number of segments of the real line, with identical VMs in each segment. That gives you a countable number of different. VMs, but it’s not really a bijection, because it’s not general. And it’s only an abstraction that a segment consists of uncountable identical VMs, not just one with a rational measure
A computable hypervisor can’t run an uncountable number of different VMs. You seem to be talking about a countable number of segments of the real line, with identical VMs in each segment. That gives you a countable number of different. VMs, but it’s not really a bijection, because it’s not general. And it’s only an abstraction that a segment consists of uncountable identical VMs, not just one with a rational measure
You’re correct that this is what happens at one of the abstraction layers. But the choice of that layer is pretty arbitrary. By abstraction layers:
L1: hypervisor interface: uncountably many VMs
L2: hypervisor implementation: countably many VMs
L3: semiconductors: no VMs, only high and low signals
L4: electrons: no high and low signals, only electromagnetic fields
So yes, on L2 the number of VMs is finite. But why morality should count what happens on L2 and not on L1 or L3, L4? This is too arbitrary.