The supplied v4 run and its execution coverage

Thus the supplied summary's claim that all other table checks “held” is too broad if read as execution coverage. The 13-of-14 count and derivative formulas are nevertheless proved directly from the printed coefficients in Section sec:gaugetables; they are not lost.

The reported 1397 evaluated predicates include expected rejections and internal checks. That count does not establish that every advertised predicate was reached.