Master equation through O(κ 2) by antifield number

The master certificate has no unconditional pass field. execution_pass (it ran), claim_status (verified only if there are no residuals, the hashes match and the quartic prerequisite is verified) and scope are separate.