execute.js: document error handling strategy