What Fixed-Rollout pass@k Evaluations Can Identify
This work gives an exact, conservative one-coordinate finite-task confidence certificate and a reporting standard separating direct estimates, identified sets, and model-conditioned forecasts, and gives exact count-law-preserving constructions with incompatible extrapolations with incompatible extrapolations.