Dark-Alex-17
8e42a59b98
Node B is the graph's `facts` node (script diff_facts.py), not a node named diff_facts. criterion_fault has no `next`; it reaches holistic through the map join, so draw it dashed like the other branch-terminal edges instead of as a solid successor edge.