abstract:PPA is a complexity class, standing for "Polynomial Parity Argument" (on a graph). Introduced by Christos Papadimitriou in 1994 (page 528), PPA is a subclass of TFNP.
Even if the lawyers insisted the sequester must apply to "PPAs" per se, the budgeteers could formally construe PPAs in ways that preserve a work-around.