What changed in each phase, the verification evidence and its commands, the findings that were reported rather than fixed, and the limits of what could be checked on this machine. The graft graph was rebuilt after the source moves.
