With Protocol 20 enabling Soroban smart contracts on Stellar Mainnet, how does the runtime architecture handle deterministic metering across nested contract calls while ensuring resource isolation and execution finality within the SCP consensus flow?