Would using library files that are stored on the laptop's hard drive be a violation of Rule 6.c? Do these library files need to be impounded?

No. A library is a file referenced by the students' program and not modified by the students. Only source code modified or viewed by the students must be impounded on the USB drive.