Function repair_records 

fn repair_records()

Records that cannot be trusted, as repair does the marks: the sharing first forgets holding them and reads them again from every device’s records; then they are kept aside and new ones start.