Tool Contracts Errors And Progressive Discovery