Debugging And Verification Of AI-Edited Workbooks