PASS: budget and income identities, zero and adoption endpoints, eligibility scaling, invalid inputs, administration, income reallocation, tax symmetry, sensitivity grid