Distinction of tool and end Via diameters.
The use of end diameters for plated holes is already quite the industry standard. There are certain projects or products though with critical tool sizes.
A boolean "tool_diameter" data tag (default value: false) unter the holes list could cover all cases. This also comes really handy when checking feasibility, as it affects aspect ratio and via filling parameters.
I agree with this. It is a requirement from several press fit pin suppliers to maintain liability. And, as you say, when we need to calculate aspect ratio to find the minimum hole for a given PCB thickness we check the minimum drilled hole and not after plating. But, we also see some supplier using the final hole diameter because many customers only relate to the final hole diameter. Still - I support to add this parameter.