掘进作业规程是操作规程的一部分。