pub fn agrees(golden: &Golden, reply: &Reply) -> bool
FABRIC == VM: a finished run whose shows are the VM’s lines (a Main program) or whose result is the VM’s answer (a function). An overflowed run never agrees.