NL-PAC: Specification Ambiguity and Certified Minimax Risk Floors in LLM-Mediated Supervision | Digital Library | PAMCET | PAMCET