A hole in Los Altos

Looking at the Census page for Los Altos, something funny caught my eye: there’s a hole in the map for Los Altos: https://data.census.gov/profile/Los_Altos_city,_California?g=160XX00US0643280

Returning to the data from https://lab.data.ca.gov/dataset/california-city-boundaries-and-identifiers, we see the same thing:

> library(ggplot2)
> library(sf)
> cities <- read_sf("~/Downloads/California_Cities_and_Identifiers_Blue_Version_view_-6943741225906831761.gpkg")
> losAltos <- subset(cities, CDTFA_CITY == "Los Altos")
> ggplot(losAltos) + geom_sf()

What’s in that hole?

> losAltosExterior <- st_exterior_ring(losAltos)
> losAltosHole <- st_difference(losAltosExterior, losAltos) 
> ggplot(losAltosHole) + geom_sf()

> losAltosHoleCentroid <- st_centroid(losAltosHole)
> holeIn <- sapply(st_contains(cities, losAltosHoleCentroid), length) > 0
> sum(holeIn)
[1] 1
> cities$CDTFA_CITY[holeIn]
[1] "Mountain View"

So, what’s in the hole in Los Altos? A piece of Mountain View!

Getting the lat-lng for the centroid of it:

> st_transform(st_centroid(losAltosHole), 4326)
Geometry set for 1 feature 
Geometry type: POINT
Dimension:     XY
Bounding box:  xmin: -122.0882 ymin: 37.36295 xmax: -122.0882 ymax: 37.36295
Geodetic CRS:  WGS 84
POINT (-122.0882 37.36295)

From OpenStreetMap, it looks like this corresponds to 1130 Miramonte:

Google Maps confirms this with the aerial view showing a couple big flat buildings or empty spaces:

I wonder what it is and why it’s part of Mountain View, not Los Altos.