rename sink.file verifyOrWrite ro sink.file.write
deduce also produces redux files