By: ValentinHirschi <valentin.hirschi@gmail.com>
Record verified reduction diagnostics and arithmetic audit follow-up