Attached screenshot is the 3d view of a smart via with positive value soldermask expansion rule. That via suppose to be untended/exposed, but it's not. It's still covered with solder mask.
The exported gerber (2nd screenshot) looks good.