pub fn record(kernel: Kernel, left: Form, right: Form)Expand description
Records that a kernel took the row at a time path on this pair of forms.
Relaxed because nothing reads this to make a decision while a query is running. It is a
diagnostic that is read once, after, by a harness, and paying for ordering on it would be
paying for a guarantee nobody uses.