Proposition: What the failed table suite reached

In the supplied v4 script, the mutation-count, maximum-discrepancy, and common-bound checks precede the phase assertion. The 13-varying-structure and derivative checks follow it. Consequently, in the reported failing invocation:

1. the earlier mutation checks were reached;

2. the phase assertion rejected the data;

3. that invocation did not reach the subsequent variation-count and derivative predicates in the same test function.

The runner continued to the remaining suites.

Proof. The function executes sequentially and raises at (all(x == -y for x,y in zip(a0,f)), ...). There is no local handler resuming inside that function. The outer runner catches the exception and proceeds to the next listed test.