RUNaDIVA evaluates proposed economic decisions and returns EXECUTE, SWITCH, VERIFY, or BLOCK before value is committed.