@startuml
skinparam backgroundColor transparent
skinparam shadowing false
skinparam defaultFontName Monospace
skinparam defaultFontSize 12
skinparam rectangleBorderColor #2c7794
skinparam rectangleBackgroundColor #edf6fa
title A3 DISPATCH — handle selects exactly one notification slot
rectangle "01 sender code" as sender
rectangle "02 receiver_handle" as handle
rectangle "03 xTaskGenericNotify\nindex 0\naction" as api
rectangle "04 target TCB\nulNotifiedValue[0]\nucNotifyState[0]" as tcb
rectangle "05 receiver Ready\nonly if waiting" as ready
sender --> handle
handle --> api
api --> tcb
tcb --> ready
@enduml