docs/src/adr/022adr-apalache-configuration.drawio.svg

<?xml version="1.0" encoding="UTF-8"?>
<!-- Do not edit this file with editors other than diagrams.net -->
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" style="background-color: rgb(255, 255, 255);" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="833px" height="991px" viewBox="-0.5 -0.5 833 991" content="&lt;mxfile host=&quot;app.diagrams.net&quot; modified=&quot;2022-08-15T18:26:49.015Z&quot; agent=&quot;5.0 (X11)&quot; etag=&quot;u_ngunTYnBEI7DvqMX0W&quot; version=&quot;20.2.4&quot; type=&quot;google&quot;&gt;&lt;diagram id=&quot;LhcvMZZ5495umP68r1CT&quot; name=&quot;Page-1&quot;&gt;7V1bk5s2FP41fqwHxNWP69006Uw63Wk6bfOUkUEYshhRIXvt/vpKIGFA2MvaxmA3O5NdIySBzuXTd44kZ2I8rrYfCUzDX7GP4gnQ/O3EeJoAAHRbY394ya4o0U1ZsiSRL8r2BV+if5EolNXWkY+yWkWKcUyjtF7o4SRBHq2VQULwa71agOP6U1O4RErBFw/GaulfkU/DotS1tH35JxQtQ/lkXRN3VlBWFgVZCH38WikyPkyMR4IxLT6tto8o5tKTcina/XzgbvliBCW0S4NPQbp8/Prk/IPRJv2Yhl9S6/tPhnw5upMjRj4TgLjEhIZ4iRMYf9iXzgleJz7i3Wrsal/nM8YpK9RZ4XdE6U5oE64pZkUhXcXiLtpG9G/efGqJq6+VO09b0XN+sRMX6nCFBDK8Jh46MkZpNpAsET1SD7hFRS6AyhOEND8ivEKU7FgFgmJIo03dQqAwtGVZb68L9kGo4x2qEf1uYLwWT3r8/Iuirb0uuPhew4iiLynM5fHKXLIu9yCK40ccY5K3NXyI3MBj5Rkl+AVV7tieixbBMalvEKFoe1RM8q5rFk0kBACruH6t+JMww7DiSrLs8oJ1hrD50+0XdLRfXR+V/QLFfifAjtkA5n60YR+X/ONnzKCW1XrESRAtZQX2vEqdG7R5QxubzVv3j/NGVz/RRuUnRhc/+RjjRYujLMjeSe7EdUwwNtcxb8V1mNDJrtKIX36t3ts3y69q7Z4RiZjAEDnbD82OfjguumV2cUPpfdoTCuA6ptkdO6Jljs0RjZtxRHbR9KfSOfUBXdMdbIrMmz4QAneVCimOEu5DZc/PvKBigo3QwRAmuLeiose9TZWvdrqZuV2A4CGFMfRCdJy3Ks1OhovC02UGAtRNNAthyuuttkuehZkGMX71QkjodIWYor9h8i2jmOSZjlaoaeKLhVzfbMMXFywM274QvmizmnKBqeKLbrUAjNkbwNg/AObcXIvWFWEuHqyehDCmXUcYU7sCwkgh/YCYniHGcOsQY7RQmCtDjDsIxIwCGrrmYXUwCmgwGvzXdK8BDWrW9wc09AENwK5DgwT+4aDBvo/wZtjcg8SOtxd7xpUElO/9w+979nvdbPi9O7TfG4MsR53srxfCC29NNmX663R/B13jDWCMglQAyUCF+dlOY9G+Ud/Rj1Xvh4OY+i0ZZM2QLmWd1zBI+yYN0phpA1gkGMIie7GsU838Ghbp3KRFWtYQFjnIouA1jMAciRHUg2+nnpd7b/1+jMAaZKI8wwi67pAwLz43nbeTqNMWCSaRDLFaOKURTrKuIY6IYgjyKEyW8aFgpaKABfRelrkaf1vTOErQpH2V9jrxTJ0gOm0ZTtASzth9hTPWIHP1GU7RD+CpCGXUNeXK5S7ZReGVotVeCe9GzgPP6RUJQafdE3SXIi9E3ovqpe9PTdy63zqjc9xh8o+X5sN9+7ExayjObfhxgTiKH1+MdNwa87S7ko7ZuEiHrUDadDq9OxwyjHr0NAIcGmSr8hkG7nQ0cGtcSw7yvY/P2Qfm6zufnc3Z2LzCGCTWHMmqHui8bxGMy8Va9xL+s+ZH/ubPXDqTyo5+Ua7omYR4tVhnb7vQKI53GS0L6VfdJmwMzGNrfrJ3mwuup/kwCy+wdmaAjl51+YOR7dRat+vUGhjdqPV7Q2S9kTQxrhEiS2lXsOD350fV2fs9F9DNdLp7fyOKHfyMgKmydpEXPMBQUoI9lHUA10P8pCbRhkKCIABeq0J8e2Fb/aQA3bZ91FflKqbKLCupnztWhDM6TcwUTRwLYu9AB814dngdyLCvU5z1rujqDtTVDLSGV5etztOKArgs0+6jL7+dBC5kD9pRqehOXSqWpU9NVS7abGrZqmhm7tTWKj+gJ0mBToZ9eob/BVEvFJQXZmnx7S5BtOUWO885HiIfNohTvXJHYvENKzWSrNV9QTHnme0YkJtzDBcofsZZxDMd7J6Hkjx4nXOFRh4LBhoVFphSvKpUeIijJb9BedAwh+Kq7KfhYUj3LeRM1J2Uq8yDaJq3SkmUoSlryHtQDO64Ab/thB2NqS9PU/e6/ywGyizLhqtciPlvVvInE6cPqcrk2CDpMRUnmONdTfiiSFFQU4+ryPcP5q7qIePllSPX8xrhdcO3ZRavokq7BS6N3uCyLcVxbbis066Z3KpbkYk1Y+atisXpTSxqHHJwGvfWJN7NCZujeRT+1lxeDxCDOEo/lXcoFMg009qQbm45xuzpHcbqHtDQYWN1tWlj+9ZP1bKKRoyZqo6Kli6vkcPp7oWcg54FoQIa2iJvnQvz2PS1ODh5nQ9KMQroeZAU4IRWcwD5T6/alzotz9SonMVsUXt/4KSGP1cHJ1ue6zl2zLktRwKs3lyhjbj1DE4N7mMZ7gPTziVAanZAU0fpThv69CjwTttjFDj6lZ+jKSwuiJZZK/AYD52PAdGQdxZDWlCs/JSOX3bP1Y941lTDTJQk8pF8YV4WcMXyYSYcHCGJo7yPWtNpDweSlKZ/5INYwTSNEv7ggDAGXn2RPEWc5a9KcUkjk0UmeGTzDJUWFZW/M5/mqWvAVKwRlBKUcVrIB73gxoOYVHalDoUklM4WqHgtHLBfPOnF/vyWL51OrPkfE+tpWpDb00Kie5hVurvrtu6qMsWsg2kLgspDKzU64fTGJpwOENr3zOLUIwPQwnrNFs7L6Fg1gtD6Wvy02ghXH7PMgZlFocPF0l2x0Hb2tFMaQHd2ZJkqN9a1qdPCje22YMVq7hi9nKraeFJjMiogbk0KmVaA9ips+BIh+pnIdYLGWwjwVYNzR82wDM5/y+M6b/FfE/QmFvC2WG6G/zrdc+6D8V+n0wEOBXKOZAM3ZTawZWfaSey47EZjEufEMn94zv8Exyz4s0L5IG+TIOQXdTF/Ycj+LRmb5EApV2lyYglzFs162pUPkkPJb2DONJNsnd+BuWTLrvdvGMINEk/JRTok867LI5OD2L9szq/ZiGoEe7mGBDJIF3SZhpC2cOyGVHGKyukn7xVuYBTnQCSeCqvyZmSctcu5Ou/8JfJe8vAmCKZniOH/TN7fgTVnk3dwCnlnl/sv1C927uz/XwLjw38=&lt;/diagram&gt;&lt;/mxfile&gt;"><defs/><g><path d="M 213 185 L 213 278.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 213 283.88 L 209.5 276.88 L 213 278.63 L 216.5 276.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="173" y="105" width="80" height="80" rx="12" ry="12" fill="#dae8fc" stroke="#6c8ebf" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 145px; margin-left: 174px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">CLI</div></div></div></foreignObject><text x="213" y="149" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">CLI</text></switch></g><path d="M 333 185 L 333 378.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 333 383.88 L 329.5 376.88 L 333 378.63 L 336.5 376.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="293" y="105" width="80" height="80" rx="12" ry="12" fill="#dae8fc" stroke="#6c8ebf" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 145px; margin-left: 294px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Local Config</div></div></div></div></foreignObject><text x="333" y="149" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Local Config</text></switch></g><path d="M 453 185 L 453 298.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 453 303.88 L 449.5 296.88 L 453 298.63 L 456.5 296.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="413" y="105" width="80" height="80" rx="12" ry="12" fill="#dae8fc" stroke="#6c8ebf" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 145px; margin-left: 414px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Global Config<br /></div></div></div></div></foreignObject><text x="453" y="149" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Global Config&#xa;</text></switch></g><path d="M 573 185 L 573 218.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 573 223.88 L 569.5 216.88 L 573 218.63 L 576.5 216.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="533" y="105" width="80" height="80" rx="12" ry="12" fill="#dae8fc" stroke="#6c8ebf" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 145px; margin-left: 534px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Config Defaults<br /></div></div></div></div></foreignObject><text x="573" y="149" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Config Defaul...</text></switch></g><path d="M 573 265 L 573 305 L 534.37 305" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 529.12 305 L 536.12 301.5 L 534.37 305 L 536.12 308.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 503.53 225 L 642.46 225 C 644.31 225.04 645.99 225.45 646.94 226.11 C 647.9 226.78 647.99 227.59 647.19 228.29 L 576.15 264.45 C 574.25 265 571.73 265 569.83 264.45 L 498.79 228.29 C 497.99 227.59 498.09 226.78 499.04 226.11 C 499.99 225.45 501.68 225.04 503.53 225 Z" fill="#d5e8d4" stroke="#82b366" stroke-width="2" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 148px; height: 1px; padding-top: 245px; margin-left: 499px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>ApalacheConfig</div><div><br /></div></div></div></div></foreignObject><text x="573" y="249" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">ApalacheConfig&#xa;</text></switch></g><path d="M 453 345 L 453 385 L 414.37 385" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 409.12 385 L 416.12 381.5 L 414.37 385 L 416.12 388.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 383.53 305 L 522.46 305 C 524.31 305.04 525.99 305.45 526.94 306.11 C 527.9 306.78 527.99 307.59 527.19 308.29 L 456.15 344.45 C 454.25 345 451.73 345 449.83 344.45 L 378.79 308.29 C 377.99 307.59 378.09 306.78 379.04 306.11 C 379.99 305.45 381.68 305.04 383.53 305 Z" fill="#d5e8d4" stroke="#82b366" stroke-width="2" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 148px; height: 1px; padding-top: 325px; margin-left: 379px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>ApalacheConfig</div><div><br /></div></div></div></div></foreignObject><text x="453" y="329" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">ApalacheConfig&#xa;</text></switch></g><path d="M 333 425 L 333 465 L 294.37 465" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 289.12 465 L 296.12 461.5 L 294.37 465 L 296.12 468.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 263.53 385 L 402.46 385 C 404.31 385.04 405.99 385.45 406.94 386.11 C 407.9 386.78 407.99 387.59 407.19 388.29 L 336.15 424.45 C 334.25 425 331.73 425 329.83 424.45 L 258.79 388.29 C 257.99 387.59 258.09 386.78 259.04 386.11 C 259.99 385.45 261.68 385.04 263.53 385 Z" fill="#d5e8d4" stroke="#82b366" stroke-width="2" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 148px; height: 1px; padding-top: 405px; margin-left: 259px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>ApalacheConfig</div><div><br /></div></div></div></div></foreignObject><text x="333" y="409" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">ApalacheConfig&#xa;</text></switch></g><path d="M 213 505 L 213.59 525.03" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 213.75 530.28 L 210.04 523.39 L 213.59 525.03 L 217.04 523.18 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 143.53 465 L 282.46 465 C 284.31 465.04 285.99 465.45 286.94 466.11 C 287.9 466.78 287.99 467.59 287.19 468.29 L 216.15 504.45 C 214.25 505 211.73 505 209.83 504.45 L 138.79 468.29 C 137.99 467.59 138.09 466.78 139.04 466.11 C 139.99 465.45 141.68 465.04 143.53 465 Z" fill="#d5e8d4" stroke="#82b366" stroke-width="2" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 148px; height: 1px; padding-top: 485px; margin-left: 139px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>ApalacheConfig</div><div><br /></div></div></div></div></foreignObject><text x="213" y="489" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">ApalacheConfig&#xa;</text></switch></g><path d="M 213.78 630 Q 213.8 650 136.9 650 Q 60 650 60 698.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 60 703.88 L 56.5 696.88 L 60 698.63 L 63.5 696.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 213.78 630 Q 213.8 650 296.4 650 Q 379 650 379 698.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 379 703.88 L 375.5 696.88 L 379 698.63 L 382.5 696.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 213.78 630 Q 213.8 650 376.4 650 Q 539 650 539 698.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 539 703.88 L 535.5 696.88 L 539 698.63 L 542.5 696.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 213.8 630 L 213.8 685 L 213.8 698.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 213.8 703.88 L 210.3 696.88 L 213.8 698.63 L 217.3 696.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 60 765 L 60 818.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 60 823.88 L 56.5 816.88 L 60 818.63 L 63.5 816.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="0" y="705" width="120" height="60" fill="#d5e8d4" stroke="#82b366" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 735px; margin-left: 1px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>parse options</div></div></div></div></foreignObject><text x="60" y="739" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">parse options</text></switch></g><path d="M 220 765 L 220 818.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 220 823.88 L 216.5 816.88 L 220 818.63 L 223.5 816.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="160" y="705" width="120" height="60" fill="#d5e8d4" stroke="#82b366" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 735px; margin-left: 161px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>typecheck options<br /></div></div></div></div></foreignObject><text x="220" y="739" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">typecheck options&#xa;</text></switch></g><path d="M 379 765 L 379 818.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 379 823.88 L 375.5 816.88 L 379 818.63 L 382.5 816.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="319" y="705" width="120" height="60" fill="#d5e8d4" stroke="#82b366" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 735px; margin-left: 320px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">...</div></div></div></foreignObject><text x="379" y="739" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">...</text></switch></g><path d="M 539 765 L 539 818.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 539 823.88 L 535.5 816.88 L 539 818.63 L 542.5 816.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="479" y="705" width="120" height="60" fill="#d5e8d4" stroke="#82b366" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 735px; margin-left: 480px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>check options</div></div></div></div></foreignObject><text x="539" y="739" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">check options</text></switch></g><path d="M 213 365 L 213 458.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 213 463.88 L 209.5 456.88 L 213 458.63 L 216.5 456.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 213 285 L 253 325 L 213 365 L 173 325 Z" fill="#dae8fc" stroke="#6c8ebf" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 325px; margin-left: 174px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">"Prime Config"</div></div></div></foreignObject><text x="213" y="329" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">"Prime Config"</text></switch></g><path d="M 100 185 L 100 325 L 166.63 325" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" stroke-dasharray="3 3" pointer-events="stroke"/><path d="M 171.88 325 L 164.88 328.5 L 166.63 325 L 164.88 321.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="60" y="105" width="80" height="80" rx="12" ry="12" fill="#dae8fc" stroke="#6c8ebf" stroke-dasharray="3 3" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 145px; margin-left: 61px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">RPC</div></div></div></foreignObject><text x="100" y="149" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">RPC</text></switch></g><rect x="0" y="825" width="120" height="60" fill="#fff2cc" stroke="#d6b656" stroke-dasharray="3 3" pointer-events="all"/><path d="M 12 825 L 12 885 M 108 825 L 108 885" fill="none" stroke="#d6b656" stroke-miterlimit="10" stroke-dasharray="3 3" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 94px; height: 1px; padding-top: 855px; margin-left: 13px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">parse</div></div></div></foreignObject><text x="60" y="859" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">parse</text></switch></g><rect x="160" y="825" width="120" height="60" fill="#fff2cc" stroke="#d6b656" stroke-dasharray="3 3" pointer-events="all"/><path d="M 172 825 L 172 885 M 268 825 L 268 885" fill="none" stroke="#d6b656" stroke-miterlimit="10" stroke-dasharray="3 3" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 94px; height: 1px; padding-top: 855px; margin-left: 173px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">typecheck</div></div></div></foreignObject><text x="220" y="859" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">typecheck</text></switch></g><rect x="319" y="825" width="120" height="60" fill="#fff2cc" stroke="#d6b656" stroke-dasharray="3 3" pointer-events="all"/><path d="M 331 825 L 331 885 M 427 825 L 427 885" fill="none" stroke="#d6b656" stroke-miterlimit="10" stroke-dasharray="3 3" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 94px; height: 1px; padding-top: 855px; margin-left: 332px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">...</div></div></div></foreignObject><text x="379" y="859" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">...</text></switch></g><rect x="479" y="825" width="120" height="60" fill="#fff2cc" stroke="#d6b656" stroke-dasharray="3 3" pointer-events="all"/><path d="M 491 825 L 491 885 M 587 825 L 587 885" fill="none" stroke="#d6b656" stroke-miterlimit="10" stroke-dasharray="3 3" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 94px; height: 1px; padding-top: 855px; margin-left: 492px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>check</div></div></div></div></foreignObject><text x="539" y="859" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">check</text></switch></g><path d="M 208.28 630 L 202.89 580.7 L 159 536.9 L 159 531.4 L 268.56 531.4 L 268.56 536.9 L 224.67 580.7 L 219.28 630 Z" fill="#e1d5e7" stroke="#9673a6" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe flex-start; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 637px; margin-left: 214px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: none; white-space: nowrap;"><div><br /></div></div></div></div></foreignObject><text x="214" y="649" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">&#xa;</text></switch></g><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 58px; height: 1px; padding-top: 550px; margin-left: 184px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: none; white-space: normal; overflow-wrap: normal;">Filter &amp; Validate</div></div></div></foreignObject><text x="213" y="554" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Filter &amp; V...</text></switch></g><path d="M 319.25 639.75 L 309.5 639.75 Q 299.75 639.75 299.75 649.75 L 299.75 929.5 Q 299.75 939.5 290 939.5 L 285.13 939.5 Q 280.25 939.5 290 939.5 L 294.88 939.5 Q 299.75 939.5 299.75 949.5 L 299.75 1229.25 Q 299.75 1239.25 309.5 1239.25 L 319.25 1239.25" fill="none" stroke="#b5739d" stroke-miterlimit="10" transform="translate(299.75,0)scale(-1,1)translate(-299.75,0)rotate(-90,299.75,939.5)" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe flex-start; width: 147px; height: 1px; padding-top: 975px; margin-left: 241px;"><div style="box-sizing: border-box; font-size: 0px; text-align: left;" data-drawio-colors="color: #666666; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(102, 102, 102); line-height: 1.2; pointer-events: none; white-space: normal; overflow-wrap: normal;"><b>Process execution<br /></b></div></div></div></foreignObject><text x="241" y="979" fill="#666666" font-family="Helvetica" font-size="12px">Process execution&#xa;</text></switch></g><path d="M 691 225 L 681.25 225 Q 671.5 225 671.5 235 L 671.5 342.5 Q 671.5 352.5 661.75 352.5 L 656.88 352.5 Q 652 352.5 661.75 352.5 L 666.63 352.5 Q 671.5 352.5 671.5 362.5 L 671.5 470 Q 671.5 480 681.25 480 L 691 480" fill="none" stroke="#b5739d" stroke-miterlimit="10" transform="translate(671.5,0)scale(-1,1)translate(-671.5,0)" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe flex-start; width: 139px; height: 1px; padding-top: 366px; margin-left: 693px;"><div style="box-sizing: border-box; font-size: 0px; text-align: left;" data-drawio-colors="color: #666666; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(102, 102, 102); line-height: 1.2; pointer-events: none; white-space: normal; overflow-wrap: normal;"><div><b>Merge configs</b>:</div><div>the latter merged config sets override values found in earlier config sets.</div><div><br /></div><div>The mapping from config sources into  ApalacheConfig is injective, represented by every value in ApalacheConfig being of type Option[T]. <br /></div></div></div></div></foreignObject><text x="693" y="370" fill="#666666" font-family="Helvetica" font-size="12px">Merge configs:...</text></switch></g><path d="M 353.75 -210.75 L 344.63 -210.75 Q 335.5 -210.75 335.5 -200.75 L 335.5 51.75 Q 335.5 61.75 326.38 61.75 L 321.81 61.75 Q 317.25 61.75 326.38 61.75 L 330.94 61.75 Q 335.5 61.75 335.5 71.75 L 335.5 324.25 Q 335.5 334.25 344.63 334.25 L 353.75 334.25" fill="none" stroke="#b5739d" stroke-miterlimit="10" transform="rotate(90,335.5,61.75)" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 58px; height: 1px; padding-top: 15px; margin-left: 304px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: #666666; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(102, 102, 102); line-height: 1.2; pointer-events: none; white-space: normal; overflow-wrap: normal;"><b>Configuration sources</b></div></div></div></foreignObject><text x="333" y="19" fill="#666666" font-family="Helvetica" font-size="12px" text-anchor="middle">Configurat...</text></switch></g><path d="M 691 530 L 681.25 530 Q 671.5 530 671.5 540 L 671.5 647.5 Q 671.5 657.5 661.75 657.5 L 656.88 657.5 Q 652 657.5 661.75 657.5 L 666.63 657.5 Q 671.5 657.5 671.5 667.5 L 671.5 775 Q 671.5 785 681.25 785 L 691 785" fill="none" stroke="#b5739d" stroke-miterlimit="10" transform="translate(671.5,0)scale(-1,1)translate(-671.5,0)" pointer-events="none"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe flex-start; width: 139px; height: 1px; padding-top: 656px; margin-left: 693px;"><div style="box-sizing: border-box; font-size: 0px; text-align: left;" data-drawio-colors="color: #666666; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(102, 102, 102); line-height: 1.2; pointer-events: none; white-space: normal; overflow-wrap: normal;"><div><b>Filter &amp; validate options</b>:</div><div>options are filtered from the ApalacheConfig as needed for a given process, and they are validated to ensure all needed options have a value.</div><div><br /></div><div>The mapping from ApalacheConfigs to options is surjective, guaranteeing that every value needed for operation is available to a process before it kicks off.<br /></div><div><br /></div></div></div></div></foreignObject><text x="693" y="660" fill="#666666" font-family="Helvetica" font-size="12px">Filter &amp; validate optio...</text></switch></g></g><switch><g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/><a transform="translate(0,-5)" xlink:href="https://www.diagrams.net/doc/faq/svg-export-text-problems" target="_blank"><text text-anchor="middle" font-size="10px" x="50%" y="100%">Text is not SVG - cannot display</text></a></switch></svg>