场算符和外态的缩并，以及正规乘积内部场算符的缩并我是知道的

其实就是你二楼写的第一种。
因为编时乘积转化为算符收缩那里，并不是所有算符都收缩，而是所有可能的收缩情况，有收缩一对、两对、…，各种情况都有。收缩的场算符就只是一个数，先别管，剩下的没收缩的场算符，作用于左右两个态上，就相当于你二楼写的第一种情况了，此时已经没有“正规乘积”了。
至于为什么编时乘积写成收缩后没有正规乘积，参考那条我忘了叫什么定理的第二条（这里很多书都写得很潦草），T[N(ABC)N(DEF)]其实相当于T(ABCDEF)去掉原先同一个N内的场算符收缩的情况。