proof_status_serializer.rb revision 13fc9a105393bc799a26cdba6f7e759435e3ec23