Ownership at a glance: what drt manages, what it reads, what it writes. Dashed edges are destination lookups.