a derivation you can re-run
Several points in this history are marked by a small object landing in the record: something computed from a handful of instances, together with the rule that produced it. Before that, the corresponding argument existed as reasoning in…