When was the last time you were at a Federal Office Building. Near as I can tell, they have all required IDs since the Oklahoma City bombing.
She was not on a public street. If the bus were stopped and held at the gate while all IDs were checked, I don't think we would be having this conversation, because all these people would not be able to pretend she was on a public street. It was not a public street.