Yes this should be corrected and it would be good to have the wiring and all the circuit connections inspected as well.
Running wire in attic with insulation.
The following links will assist you with your electrical question.
Attics with permanent access stairs ladder.
If you can run it across by stapling it to the rafters you can avoid the insulation thing.
If this meets code then i will be running attic wiring in this manner from now on.
Whenever i do attic wiring i remove the insulation and staple it to the ceiling joist.
When you must deal with an attic space because you can t run the cable by simply pushing up the ceiling tiles there a few things to consider.
Ultimately for type nm romex this is directly referenced in the 2011 nec 334 23 but only points you to comply with 320 23 type ac as does 330 23 type mc.
This video is.
The attic wiring should be protected and secured to ceiling joists or other wood structural supports.
When cutting through drywall from the interior of a room use a utility knife and cut carefully you don t want to drill through a hidden wire or the paper backing of the attic insulation.
If the sites that you want to run wire to are on the outside of the house you should not need to drill a new hole.
I was also under the impression that if wiring is in an attic space that it may need to be derated because it can get very hot up there.
Trying to do this kind of work around insulation would provide needless obstacles for the electricians to work around.
If the attic is inaccessible you have less a worry about protecting the wires than you would if it were a storage area.
You must protect cables located within 6 of the attic access hole.
It is important that wiring is done before insulation is put into place in new construction.
Keep the fish tape against the inner edge of the drywall and out of the insulation as you feed it toward the upper hole.
Do not drill them through the joists or rafters.
You must protect all cables running perpendicular and atop the joists.
How id do it if you put your cables to the edge where the apex of the roof meet the ceiling so you basically end up with your wireing loom at the edge of your attic then clip your cables along the ceiling joists 50mm from the plaster board then its clear of insulation and if you need to lay a floor you can but do try to avoide drilling hole through the joists as you will not meet the requirements as youll be less than 50mm from each each edge if the ceiling joists are 75mm.
Feed it up to the 3 by 5 inch hole at the top of the wall.
A pull down attic ladder does not count.