- Record coverage, check-phase1.sh result, and measured hello rebuild - Document race-buffer and pact-test deviations