I am convinced that the existence of the Diamond marked Path on the public roadway is the only thing in the scenario that is illegal.
It is not a HOV lane, nor is it a bicycle lane.
Diamond lane - Wikipedia
If you want to declare it to be "multimodal", then a whole new can of worms gets opened.
Village Community Development Districts