If it's not deterministic you can never fully trust it. In a deterministic abstraction I don't need to audit the lower levels.
Who said you need to trust it? Reviewing code is still way faster than writing code.
Who said you need to trust it? Reviewing code is still way faster than writing code.