However, Rosen acknowledged that files that should have already been made public as part of her decision in May — records dating to last December — have not been unsealed because of what she called technical difficulties in the circuit clerk’s office. The judge said she has reached out to the office about the problem.