Build It
Design it. Implement it. Prove it. 5 problems
Same problem, escalating constraints. Stage 1: naive solution. Stage 2: scaled. Stage 3: prove correctness with a conservation invariant — the senior filter. Each stage unlocks after you submit the previous.