Hier ein konkretes Beispiel für den WebEditor wo das Fehlen des rekursiven Verhaltens mMn keine Violation anzeigt, obwohl der zweite Knoten eigentlich eine haben sollte:
diagram.json
mit dem Constraint: - Test: vertex Sensitivity.Personal,Location.EU neverFlows vertex Location.nonEU

In general, most selectors should not act recursively.
Vertex Characteristic Selectors are almost always used to check whether a specific node (and not any one of its previous vertices) matches the selector.

Therefore, if you desire the behavior, you should create the selectors manually and add them to the constraint you are building.

So it is intended that these two constraints have the same semantics?

new ConstraintDSL().fromNode().withCharacteristic("DummyType", List.of("A", "B")).neverFlows().toVertex().create();
new ConstraintDSL().fromNode().neverFlows().toVertex().withCharacteristic("DummyType", List.of("A", "B")).create();

If so, can I alter the pull request to include the getters at least?

So it is intended that these two constraints have the same semantics?

new ConstraintDSL().fromNode().withCharacteristic("DummyType", List.of("A", "B")).neverFlows().toVertex().create();
new ConstraintDSL().fromNode().neverFlows().toVertex().withCharacteristic("DummyType", List.of("A", "B")).create();

If so, can I alter the pull request to include the getters at least?

Yes, the Semantics are the same.

The getters should have been there in the first place, so that is fine

Are you really sure though?
I think it is quite unintuitive that VertexCharacteristicsListSelectors should be the only ones that are never recursive, irrespective of the fact that they are Source or Destination Selectors.

Because normal VertexCharacteristicsSelectors and VertexTypeSelectors are recursive when used as Source Selectors, while they are not when used as Destination Selectors .

I think it would be intuitive that the recursion behavior is the same, irrespective of the concrete Entities they match on. If all Source Selectors are never meant to be recursive, the question of why recursion does even exist arises. Therefore I think these flags where just forgotten when writing the two methods I included in my pull request. If you are really sure I can stash those changes though.

@niki21r Entenwilli created the DSL. If he says it is not intended you can take his word.
You can keep the getter but stash the other changes

Alright, I reverted the respective commit so this pull request now only contains the Getters