markRunCompleted

Record a terminal run completion: bind result as lastResult AND clear editedSinceLastRun in a single call. The two flags MUST move together at run-completion time (a stale "edited since last run" badge would mislead), which is why this is one method rather than two.