From c66c3c82fda2f68e5aac62d16657d8a77e6d91ee Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 11 Oct 2026 01:30:27 -0300
Subject: update docs

---
 images/denial-admission.svg | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 images/denial-admission.svg

(limited to 'images/denial-admission.svg')

diff --git a/images/denial-admission.svg b/images/denial-admission.svg
new file mode 100644
index 0000000..80aa002
--- /dev/null
+++ b/images/denial-admission.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentStyleType="text/css" data-diagram-type="SEQUENCE" height="617px" preserveAspectRatio="none" style="width:878px;height:617px;background:#FFFFFF;" version="1.1" viewBox="0 0 878 617" width="878px" zoomAndPan="magnify"><?plantuml 1.2026.3?><defs/><g><rect fill="none" height="270.75" style="stroke:#000000;stroke-width:1.5;" width="655.8955" x="206.4834" y="128.5977"/><rect fill="none" height="180.8184" style="stroke:#000000;stroke-width:1.5;" width="635.8955" x="216.4834" y="182.2188"/><rect fill="none" height="120.1973" style="stroke:#000000;stroke-width:1.5;" width="615.8955" x="226.4834" y="235.8398"/><rect fill="none" height="103.8867" style="stroke:#000000;stroke-width:1.5;" width="397.9121" x="10" y="442.6582"/><g class="participant-lifeline" data-entity-uid="part1" data-qualified-name="Publish" data-source-line="1" id="part1-lifeline"><g><title>Scope.publish</title><rect fill="#000000" fill-opacity="0.00000" height="510.5684" width="8" x="70.291" y="52.9766"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="74" x2="74" y1="52.9766" y2="563.5449"/></g></g><g class="participant-lifeline" data-entity-uid="part2" data-qualified-name="BranchManager" data-source-line="2" id="part2-lifeline"><g><title>BranchManager</title><rect fill="#000000" fill-opacity="0.00000" height="510.5684" width="8" x="291.7476" y="52.9766"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="295.4834" x2="295.4834" y1="52.9766" y2="563.5449"/></g></g><g class="participant-lifeline" data-entity-uid="part3" data-qualified-name="Branch" data-source-line="3" id="part3-lifeline"><g><title>proposed</title><rect fill="#000000" fill-opacity="0.00000" height="510.5684" width="8" x="478.9839" y="52.9766"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="482.7891" x2="482.7891" y1="52.9766" y2="563.5449"/></g></g><g class="participant-lifeline" data-entity-uid="part4" data-qualified-name="Multigroup" data-source-line="4" id="part4-lifeline"><g><title>Multigroup</title><rect fill="#000000" fill-opacity="0.00000" height="510.5684" width="8" x="582.4961" y="52.9766"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="586.1787" x2="586.1787" y1="52.9766" y2="563.5449"/></g></g><g class="participant-lifeline" data-entity-uid="part5" data-qualified-name="Denial" data-source-line="5" id="part5-lifeline"><g><title>Denial</title><rect fill="#000000" fill-opacity="0.00000" height="510.5684" width="8" x="799.979" y="52.9766"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="803.5791" x2="803.5791" y1="52.9766" y2="563.5449"/></g></g><g class="participant participant-head" data-entity-uid="part1" data-qualified-name="Publish" data-source-line="1" id="part1-head"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="108.582" x="20" y="21.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="94.582" x="27" y="42.0234">Scope.publish</text></g><g class="participant participant-tail" data-entity-uid="part1" data-qualified-name="Publish" data-source-line="1" id="part1-tail"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="108.582" x="20" y="562.5449"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="94.582" x="27" y="583.0801">Scope.publish</text></g><g class="participant participant-head" data-entity-uid="part2" data-qualified-name="BranchManager" data-source-line="2" id="part2-head"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="118.5283" x="236.4834" y="21.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="104.5283" x="243.4834" y="42.0234">BranchManager</text></g><g class="participant participant-tail" data-entity-uid="part2" data-qualified-name="BranchManager" data-source-line="2" id="part2-tail"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="118.5283" x="236.4834" y="562.5449"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="104.5283" x="243.4834" y="583.0801">BranchManager</text></g><g class="participant participant-head" data-entity-uid="part3" data-qualified-name="Branch" data-source-line="3" id="part3-head"><rect fill="#E2E2F0" height="46.9766" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="98.3896" x="433.7891" y="5"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="64.2988" x="450.8345" y="25.5352">proposed</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="84.3896" x="440.7891" y="42.0234">branch state</text></g><g class="participant participant-tail" data-entity-uid="part3" data-qualified-name="Branch" data-source-line="3" id="part3-tail"><rect fill="#E2E2F0" height="46.9766" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="98.3896" x="433.7891" y="562.5449"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="64.2988" x="450.8345" y="583.0801">proposed</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="84.3896" x="440.7891" y="599.5684">branch state</text></g><g class="participant participant-head" data-entity-uid="part4" data-qualified-name="Multigroup" data-source-line="4" id="part4-head"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="88.6348" x="542.1787" y="21.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="74.6348" x="549.1787" y="42.0234">Multigroup</text></g><g class="participant participant-tail" data-entity-uid="part4" data-qualified-name="Multigroup" data-source-line="4" id="part4-tail"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="88.6348" x="542.1787" y="562.5449"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="74.6348" x="549.1787" y="583.0801">Multigroup</text></g><g class="participant participant-head" data-entity-uid="part5" data-qualified-name="Denial" data-source-line="5" id="part5-head"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="56.7998" x="775.5791" y="21.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="42.7998" x="782.5791" y="42.0234">Denial</text></g><g class="participant participant-tail" data-entity-uid="part5" data-qualified-name="Denial" data-source-line="5" id="part5-tail"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="56.7998" x="775.5791" y="562.5449"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="42.7998" x="782.5791" y="583.0801">Denial</text></g><g class="message" data-entity-1="part1" data-entity-2="part2" data-source-line="7" id="msg1"><polygon fill="#181818" points="283.7476,80.2871,293.7476,84.2871,283.7476,88.2871,287.7476,84.2871" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="74.291" x2="289.7476" y1="84.2871" y2="84.2871"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="93.1646" x="81.291" y="79.5449">move the head</text></g><g class="message" data-entity-1="part2" data-entity-2="part3" data-source-line="8" id="msg2"><polygon fill="#181818" points="470.9839,109.5977,480.9839,113.5977,470.9839,117.5977,474.9839,113.5977" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="295.7476" x2="476.9839" y1="113.5977" y2="113.5977"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="36.2261" x="302.7476" y="108.8555">check</text></g><path d="M206.4834,128.5977 L280.9302,128.5977 L280.9302,135.9082 L270.9302,145.9082 L206.4834,145.9082 L206.4834,128.5977" fill="#EEEEEE" style="stroke:#000000;stroke-width:1.5;"/><rect fill="none" height="270.75" style="stroke:#000000;stroke-width:1.5;" width="655.8955" x="206.4834" y="128.5977"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="700" lengthAdjust="spacing" textLength="29.4468" x="221.4834" y="142.166">loop</text><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="700" lengthAdjust="spacing" textLength="101.0679" x="295.9302" y="141.2324">[each multigroup]</text><g class="message" data-entity-1="part3" data-entity-2="part4" data-source-line="10" id="msg3"><polygon fill="#181818" points="574.4961,163.2188,584.4961,167.2188,574.4961,171.2188,578.4961,167.2188" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="482.9839" x2="580.4961" y1="167.2188" y2="167.2188"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="36.2261" x="489.9839" y="162.4766">check</text></g><path d="M216.4834,182.2188 L290.9302,182.2188 L290.9302,189.5293 L280.9302,199.5293 L216.4834,199.5293 L216.4834,182.2188" fill="#EEEEEE" style="stroke:#000000;stroke-width:1.5;"/><rect fill="none" height="180.8184" style="stroke:#000000;stroke-width:1.5;" width="635.8955" x="216.4834" y="182.2188"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="700" lengthAdjust="spacing" textLength="29.4468" x="231.4834" y="195.7871">loop</text><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="700" lengthAdjust="spacing" textLength="72.3486" x="305.9302" y="194.8535">[each denial]</text><g class="message" data-entity-1="part4" data-entity-2="part5" data-source-line="12" id="msg4"><polygon fill="#181818" points="791.979,216.8398,801.979,220.8398,791.979,224.8398,795.979,220.8398" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="586.4961" x2="797.979" y1="220.8398" y2="220.8398"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="42.1738" x="593.4961" y="216.0977">modes</text></g><path d="M226.4834,235.8398 L288.6221,235.8398 L288.6221,243.1504 L278.6221,253.1504 L226.4834,253.1504 L226.4834,235.8398" fill="#EEEEEE" style="stroke:#000000;stroke-width:1.5;"/><rect fill="none" height="120.1973" style="stroke:#000000;stroke-width:1.5;" width="615.8955" x="226.4834" y="235.8398"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="700" lengthAdjust="spacing" textLength="17.1387" x="241.4834" y="249.4082">alt</text><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="700" lengthAdjust="spacing" textLength="211.5781" x="303.6221" y="248.4746">[not exhaustible with nothing bound]</text><g class="message" data-entity-1="part4" data-entity-2="part2" data-source-line="14" id="msg5"><polygon fill="#181818" points="306.7476,270.4609,296.7476,274.4609,306.7476,278.4609,302.7476,274.4609" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="300.7476" x2="585.4961" y1="274.4609" y2="274.4609"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="123.7603" x="312.7476" y="269.7188">unjudgeable-denial</text></g><line style="stroke:#000000;stroke-width:1;stroke-dasharray:2,2;" x1="226.4834" x2="842.3789" y1="283.4609" y2="283.4609"/><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="700" lengthAdjust="spacing" textLength="73.5786" x="231.4834" y="294.0957">[exhaustible]</text><g class="message" data-entity-1="part4" data-entity-2="part5" data-source-line="16" id="msg6"><polygon fill="#181818" points="791.979,314.7266,801.979,318.7266,791.979,322.7266,795.979,318.7266" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="586.4961" x2="797.979" y1="318.7266" y2="318.7266"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="193.4829" x="593.4961" y="313.9844">enumerate, read the first tuple</text></g><g class="message" data-entity-1="part5" data-entity-2="part4" data-source-line="17" id="msg7"><polygon fill="#181818" points="597.4961,344.0371,587.4961,348.0371,597.4961,352.0371,593.4961,348.0371" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="591.4961" x2="802.979" y1="348.0371" y2="348.0371"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="133.0532" x="603.4961" y="343.2949">a witness, or nothing</text></g><g class="message" data-entity-1="part4" data-entity-2="part3" data-source-line="20" id="msg8"><polygon fill="#181818" points="493.9839,387.3477,483.9839,391.3477,493.9839,395.3477,489.9839,391.3477" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="487.9839" x2="585.4961" y1="391.3477" y2="391.3477"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="60.709" x="499.9839" y="386.6055">violations</text></g><g class="message" data-entity-1="part3" data-entity-2="part2" data-source-line="22" id="msg9"><polygon fill="#181818" points="306.7476,423.6582,296.7476,427.6582,306.7476,431.6582,302.7476,427.6582" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="300.7476" x2="481.9839" y1="427.6582" y2="427.6582"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="163.2363" x="312.7476" y="422.916">violations, named by path</text></g><path d="M10,442.6582 L72.1387,442.6582 L72.1387,449.9688 L62.1387,459.9688 L10,459.9688 L10,442.6582" fill="#EEEEEE" style="stroke:#000000;stroke-width:1.5;"/><rect fill="none" height="103.8867" style="stroke:#000000;stroke-width:1.5;" width="397.9121" x="10" y="442.6582"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="700" lengthAdjust="spacing" textLength="17.1387" x="25" y="456.2266">alt</text><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="700" lengthAdjust="spacing" textLength="36.0723" x="87.1387" y="455.293">[none]</text><g class="message" data-entity-1="part2" data-entity-2="part2" data-source-line="24" id="msg10"><line style="stroke:#181818;stroke-width:1;" x1="295.7476" x2="337.7476" y1="481.2793" y2="481.2793"/><line style="stroke:#181818;stroke-width:1;" x1="337.7476" x2="337.7476" y1="481.2793" y2="494.2793"/><line style="stroke:#181818;stroke-width:1;" x1="296.7476" x2="337.7476" y1="494.2793" y2="494.2793"/><polygon fill="#181818" points="306.7476,490.2793,296.7476,494.2793,306.7476,498.2793,302.7476,494.2793" style="stroke:#181818;stroke-width:1;"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="93.1646" x="302.7476" y="476.5371">move the head</text></g><line style="stroke:#000000;stroke-width:1;stroke-dasharray:2,2;" x1="10" x2="407.9121" y1="503.2793" y2="503.2793"/><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="700" lengthAdjust="spacing" textLength="38.5107" x="15" y="513.9141">[some]</text><g class="message" data-entity-1="part2" data-entity-2="part1" data-source-line="26" id="msg11"><polygon fill="#181818" points="85.291,534.5449,75.291,538.5449,85.291,542.5449,81.291,538.5449" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="79.291" x2="294.7476" y1="538.5449" y2="538.5449"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="197.4565" x="91.291" y="533.8027">refused, one witness per denial</text></g><?plantuml-src TPAzJiGm48JxFCNgwXmFS0K5eZq9YPPc4-_51cTj-UU0jsVFlln1I155pZVhcR4zXcHwuv4J75vxv-d1vywQg0-04LxgT-DNs5D0xlKP6GSAcpy77vntaTGRTmM2c31HcLHL6_oSRJ93SDblbf-93TgckUyDnyVjbd22qLq9aYRGXAhP_frnuNfD_KTZdVD0A2lZiYDCbF2BaLa3iAXKDGJoh4ZHLQV5Zw9O0BG9s2MWBuqv9jDPWa-Jz6rH6nwWSvbLGRVJTb9cVizg89GPnvK7if7MytU6hQmHvv62d48BGSeghLrCY0bIzhFuZXz_bu4tyqmnjk32bA6wA2dgUpU7gA_6MKp6SMnku5JuJjI5R85n90NTDtXCkgc5Ciq7zkUS_xiMfQVenXsfQAVRTP9QBbdkh2HackA25-pUkLZ_0G00?></g></svg>
\ No newline at end of file
-- 
cgit v1.2.3