Backlog issue #4749: W3: the student program — four-baseline sweep on verified traces, evaluated by first divergence behind replay