Arca uses decision models within its harness to detect when an artificial intelligence agent is about to make an assertion requiring financial domain rigor