OTA diagrams
PlantUML sources accompany chapters 03–05. The diagrams describe the illustrative A/B design, not a required platform or partition table.
| View | Source | Preview |
|---|---|---|
| Roles and the server/device boundary | PlantUML | PNG |
| Trial boot, confirmation and recovery | PlantUML | PNG |
| Storage areas and access responsibilities | PlantUML | PNG |
From the repository root, regenerate previews with a local PlantUML installation and Graphviz:
JAVA_TOOL_OPTIONS=-Djava.awt.headless=true plantuml -tpng -o ../rendered diagrams/plantuml/*.puml
Keep sources and previews together when changing a diagram. No external rendering service is needed. State transitions assume valid durable records; these pictures do not establish power-loss safety. The A/B simulation explores the same logical transitions.