Exact hard-budget allocations for zero-error cluster audits: Two capacities and two costs

This technical note studies one-shot audits without replacement of fixed prediction tables when labels are reviewed by whole article and every realized sample obeys a hard cost cap. For two known article capacities s L example requiring three count types. The error vector is fixed and arbitrary. Whole-article review is assumed reliable, and capacities and costs are known before sampling. The results are explicit structured calculations within the established capacity-cover audit framework.