<div class="mermaid"> graph LR A["Logic VM"] --> B["SWI-Prolog"] B --> C["Sovereign Control"] </div>```
