Regardless of the source of the transaction (externally owned address / smart contract) and the data included within the transaction, if the destination is an EOA and the transaction was included in a block, can I be sure that the funds were actually transferred without verifying the transaction receipt?
If I understand right, the criteria for intrinsic validity of a transaction (yellow paper, section 6 "Transaction Execution") enforce that enough gas for the transaction is provided if no smart contract is invoked, but I may have misinterpreted the meaning of g0 and v0.
I include the excerpt from the yellow paper I'm concerned about:
The execution of a transaction is the most complex part of the Ethereum protocol: it defines the state transition function Υ. It is assumed that any transactions executed first pass the initial tests of intrinsic validity. These include:
(1) The transaction is well-formed RLP, with no additional trailing bytes;
(2) the transaction signature is valid;
(3) the transaction nonce is valid (equivalent to the sender account’s current nonce);
(4) the gas limit is no smaller than the intrinsic gas, g0, used by the transaction; and
(5) the sender account balance contains at least thecost, v0, required in up-front payment.