对法。
不是人工比对，是把四套数据全部抄成同一张格式纸上的同一套格式然后用尺子量每一栏的偏差值。
结果显示：从贞观十九年到贞观二十二年，凉州转运站共有四万二千石军粮的封条编号在调拨记录中标注的是“已发安西”，但对应的安西军粮入库记录中缺了四万二千石的接收回执。
这四万二千石军粮在账面上发了安西，实际上从未抵达安西。
它们在凉州被盖上了第十九号铜符的核验印戳——印戳是真的，墨是标准军器监墨——然后被转装到了另一批调拨单上。
调拨单上写的发粮地是凉州，收粮地是“陇右叠州屯田所”。
陇右叠州没有屯田所。
叠州在松州以北三日路程关中道最西端，屯田所的地籍档案上那块地是荒地。
但有一批私仓。
私仓的仓储记录在度支系统的官方账册上不存在。
段的格式比对法从私仓逃掉的商税缝隙中反推出了私仓的吞吐量——每年收储的粮食约在一万石上下，与凉州失踪的四万二千石军粮的三年均值一万四千石接近但不完全吻合。
差的那两千石去了哪里——他比对了同一时期长安西市的玉石交易契税和太府寺的西域良马进口登记，发现在贞观十九年至二十二年之间长安西市新增了三家经营西域良马的商号。