- Difficulty
- Intermediate
- Time
- 45–60 min
Split the work
Describe how the draft pass and the verification pass divide one edit, and where the accept-or-rollback decision is made. Name the unit of comparison that makes partial acceptance possible.
What to demonstrate: Can you define a span-level contract between the two passes?
Keep correctness
State what must hold for an accepted span to be indistinguishable from the output of the slower path, and give the checks that would catch a wrong acceptance that still compiles.
What to demonstrate: Do you define correctness before measuring speed?
Roll back cleanly
A verifier rejects a span after dependent edits were already produced. Explain the rollback and what happens to the work that depended on it.
What to demonstrate: Can you restore state without corrupting the file?
Measure honestly
Design the experiment that compares this path against a non-speculative baseline: the workload, the metric, and the conditions under which the extra pass loses. State what result would make you drop the idea.
What to demonstrate: Is the speedup measured on a baseline a reviewer would accept?