Who proves what, to whom, in what order — for a machine producer publishing events and a human analyst running a query.