radius

Total outer radius in screen points, stroke included (JS / Apple parity).

A companion StrokePaint.thickness is drawn inset from this radius, so the rendered diameter is always 2 * radius and the filled disc spans radius - thickness. This differs from Mapbox circle-stroke-width, which extends outside circle-radius.