node — a stage; count = studies there   join — a demand of the study_id join   gate — engine-enforced verdict   · dashed = designed, not wired · convergence is an intersection (counts don't add across tracks) · no status is stored — row existence at snapshot time · hover for tests, conditions, and detail