recordExecution
Record that peer executed taskId. Called by trackedEchoRegistry ops; call it from custom ops to keep executedBy / executedTaskIds (and dumpState) accurate.
Record that peer executed taskId. Called by trackedEchoRegistry ops; call it from custom ops to keep executedBy / executedTaskIds (and dumpState) accurate.