下列说法中，属于细部工程验收时应检查的文件是（）。