Hi Stylo,
Yes, this is correct. task_read_t can be considered as a read-only alternative to task port task_t for use on interfaces that are considered non-modifying on target task (e.g. mach_vm_read as you mentioned). At this time, this type is only exported to Apple platform binaries.