runTag static method
The prefix every line of a run carries on the node log stream.
Public because it is a wire format in all but name: a client filtering the stream for one run has to build the same string.
Implementation
static String runTag(String formula, FormulaAction action) =>
'[$formula ${action.name}]';