@startuml
skinparam backgroundColor transparent
skinparam shadowing false
skinparam defaultFontName Monospace
skinparam defaultFontSize 12
skinparam rectangleBorderColor #2c7794
skinparam rectangleBackgroundColor #edf6fa
title A7 RUNTIME — address provenance and heap invariants
rectangle "01 ucHeap arena\ndynamic TCB\ndynamic queue\ndynamic timer" as heap
rectangle "02 named persistent buffers\nstatic TCB + stack\nstatic queue object + storage\nstatic timer object" as bss
rectangle "03 kernel-service buffers\nIdle task\nTimer service task" as services
rectangle "04 heap relation\nH1 < H0\nH2 = H1\nH3 = H2" as relation
rectangle "05 evidence[8]\ncommit marker last\ndigest cdf44a0a" as log
heap --> relation
bss --> relation
services --> relation
relation --> log
@enduml