@startuml
skinparam backgroundColor transparent
skinparam shadowing false
skinparam defaultFontName Monospace
skinparam defaultFontSize 12
skinparam stateBorderColor #2c7794
skinparam stateBackgroundColor #edf6fa
title A6 STATE — owner, waiter and effective priority
[*] --> Free : 01 mutex created
Free --> OwnedP1 : 02 Low takes
OwnedP1 --> ContendedP3 : 03 High blocks
ContendedP3 : owner Low
ContendedP3 : base 1 / effective 3
ContendedP3 : Medium Ready / not run
ContendedP3 --> Transferred : 06 Low gives
Transferred : 07 High owns
Transferred --> Free : High gives
Free --> Verified : 09 Low restored to 1
Verified --> [*] : 10 PASS
@enduml