manuallySelectedPropertyId

Pinned property id from an explicit user selection (list tap, deep link, programmatic select). -1 = no manual lock. While >0, GPS-driven MainMapFragment.updateToNewZone will skip any zone change whose propertyId differs — so a user in North America browsing a European venue is not yanked back to their physical-GPS property mid-interaction. Cleared by the "recenter on user" button (intent = "snap to GPS reality").