Auditable::Taint: Pattern platforms need not always correspond to payload ones