Evidence → the program's written rule → a decision with its reason → payment, if the rule allows it → a receipt → a report in aggregate
Verification establishes that a qualifying event happened under a stated rule. It does not establish that a program caused the event (that question needs its own evidence and its own method). Thus Arcus reports what it can stand behind and labels the rest.