Proposed Canon
A Gaol is a type of city zone. It is distinct from a dungeon, but how the two are different has yet to be described. It is possible that not all cities have a Gaol.
It is possible that cities either have a Gaol or a Dungeon, but not both. It is possible that a city's level influences if a Gaol or Dungeon is present.