SVA implication timeline

Sketch a |-> b (overlap) and a |=> b (next-cycle) on a short wave — pass, fail, or vacuous success. Not a full SVA engine. Starter: overlapping pass at cycle 2.