parsimagma: where the certificates' three axioms actually come from

The certificates README in parsimagma had the origin of its three permitted axioms wrong — they enter through the finOpTable encoding, not through what decide invokes — and the correction credits Wenlin Zhang, who settled it by re-emitting 44 affine models as plain arithmetic operations: same goal, same tactic, no axioms, 44/44 at carriers 2–9. The same README now also records that the judge’s default policy admits no axioms at all, so the false column of the table fails under it while the true column does not — which is the difference between a certificate that is checked and one that is merely re-runnable.