Updates documentation with proper ExecutionResult hygiene