pub fn required_u64(input: &Value, field: &str) -> Result<u64, ToolError>
Helper to extract a required u64 field from JSON input.