<mxfile host="Electron" agent="tepp-omega-visual" version="29.3.0">
  <diagram name="Assembling the construct" id="10-assembly">
    <mxGraphModel dx="1600" dy="900" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="1860" pageHeight="1110" background="#ffffff" math="0" shadow="0">
      <root>
        <mxCell id="0" />
        <mxCell id="1" parent="0" />
        <mxCell id="10-2" value='&lt;font style="font-size:30px"&gt;&lt;b&gt;Assembling the construct&lt;/b&gt;&lt;/font&gt;' style="text;html=1;align=left;verticalAlign=middle;fontColor=#1f2933;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="40" y="24" width="1780" height="44" as="geometry" /></mxCell>
        <mxCell id="10-3" value='&lt;font style="font-size:17px" color="#52606d"&gt;Ten steps turn what a locus has stored — its known world — into one construct. What cannot be loaded is left out and reported; only a contradiction refuses.&lt;/font&gt;' style="text;html=1;align=left;verticalAlign=middle;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="40" y="68" width="1780" height="30" as="geometry" /></mxCell>
        <mxCell id="10-4" value="&lt;font style=&quot;font-size:18px&quot;&gt;&lt;b&gt;The known world&lt;/b&gt;&lt;/font&gt;&lt;br&gt;&lt;font style=&quot;font-size:12px&quot; color=&quot;#52606d&quot;&gt;the locus's durable store&lt;/font&gt;&lt;br&gt;&lt;br&gt;associations&lt;br&gt;binding carriers&lt;br&gt;referenced lists&lt;br&gt;resolved profiles&lt;br&gt;harvested material&lt;br&gt;NIP-11 operators" style="shape=cylinder3;whiteSpace=wrap;html=1;boundedLbl=1;backgroundOutline=1;size=18;fillColor=#f5f5f5;strokeColor=#666666;strokeWidth=1.5;fontSize=15;fontFamily=Helvetica;fontColor=#1f2933;verticalAlign=top;spacingTop=24;" vertex="1" parent="1"><mxGeometry x="40" y="150" width="250" height="380" as="geometry" /></mxCell>
        <mxCell id="10-5" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;The association&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Resolve and verify it; the newest valid one applies. None valid → unbound.' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=10;arcSize=8;absoluteArcSize=1;spacingLeft=30;" vertex="1" parent="1"><mxGeometry x="356" y="150" width="544" height="92" as="geometry" /></mxCell>
        <mxCell id="10-6" value="&lt;b&gt;1&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#0e8088;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="342" y="136" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="10-7" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;The guardians&lt;/b&gt;&lt;/font&gt;&lt;br&gt;One implied guardian entry per guardian — interact, npub, the guardian — written by no one.' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=10;arcSize=8;absoluteArcSize=1;spacingLeft=30;" vertex="1" parent="1"><mxGeometry x="356" y="262" width="544" height="92" as="geometry" /></mxCell>
        <mxCell id="10-8" value="&lt;b&gt;2&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#0e8088;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="342" y="248" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="10-9" value="&lt;font style=&quot;font-size:16px&quot;&gt;&lt;b&gt;The binding carriers&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Each guardian's open and sealed coordinate: verify, decrypt, size-check, parse strictly, check the anti-rollback mark." style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=10;arcSize=8;absoluteArcSize=1;spacingLeft=30;" vertex="1" parent="1"><mxGeometry x="356" y="374" width="544" height="92" as="geometry" /></mxCell>
        <mxCell id="10-10" value="&lt;b&gt;3&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#0e8088;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="342" y="360" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="10-11" value="&lt;font style=&quot;font-size:16px&quot;&gt;&lt;b&gt;Gates and global set&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Union every carrier's deny gates and global entries; read deny lists; resolve restriction-driving profiles; no deny may name a guardian." style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=10;arcSize=8;absoluteArcSize=1;spacingLeft=30;" vertex="1" parent="1"><mxGeometry x="356" y="486" width="544" height="92" as="geometry" /></mxCell>
        <mxCell id="10-12" value="&lt;b&gt;4&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#0e8088;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="342" y="472" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="10-13" value="&lt;font style=&quot;font-size:16px&quot;&gt;&lt;b&gt;Admission&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Merge every carrier's permissions 1-of-N. Fix who is ineligible as a source: deny beats harvest." style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=10;arcSize=8;absoluteArcSize=1;spacingLeft=30;" vertex="1" parent="1"><mxGeometry x="356" y="598" width="544" height="92" as="geometry" /></mxCell>
        <mxCell id="10-14" value="&lt;b&gt;5&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#0e8088;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="342" y="584" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="10-15" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;Members&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Resolve direct members and list references, one level deep.' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=10;arcSize=8;absoluteArcSize=1;spacingLeft=30;" vertex="1" parent="1"><mxGeometry x="946" y="150" width="544" height="92" as="geometry" /></mxCell>
        <mxCell id="10-16" value="&lt;b&gt;6&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#0e8088;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="932" y="136" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="10-17" value="&lt;font style=&quot;font-size:16px&quot;&gt;&lt;b&gt;Grant-scoping profiles&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Resolve each directly-written permission's profile." style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=10;arcSize=8;absoluteArcSize=1;spacingLeft=30;" vertex="1" parent="1"><mxGeometry x="946" y="262" width="544" height="92" as="geometry" /></mxCell>
        <mxCell id="10-18" value="&lt;b&gt;7&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#0e8088;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="932" y="248" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="10-19" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;Extension&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Harvest from every source by its route, through its map, within its budget — one hop.' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=10;arcSize=8;absoluteArcSize=1;spacingLeft=30;" vertex="1" parent="1"><mxGeometry x="946" y="374" width="544" height="92" as="geometry" /></mxCell>
        <mxCell id="10-20" value="&lt;b&gt;8&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#0e8088;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="932" y="360" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="10-21" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;Audit&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Report inert permissions, dead demands and a severed household channel. Advisory: it changes nothing.' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=10;arcSize=8;absoluteArcSize=1;spacingLeft=30;" vertex="1" parent="1"><mxGeometry x="946" y="486" width="544" height="92" as="geometry" /></mxCell>
        <mxCell id="10-22" value="&lt;b&gt;9&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#0e8088;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="932" y="472" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="10-23" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;The remaining caps&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Total construct size, then total deny entries.' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=10;arcSize=8;absoluteArcSize=1;spacingLeft=30;" vertex="1" parent="1"><mxGeometry x="946" y="598" width="544" height="92" as="geometry" /></mxCell>
        <mxCell id="10-24" value="&lt;b&gt;10&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#0e8088;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="932" y="584" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="10-25" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#4d4d4d;strokeWidth=2;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;labelBackgroundColor=#ffffff;endArrow=block;endFill=1;endSize=7;startArrow=none;exitX=0.1;exitY=1;exitDx=0;exitDy=0;entryX=0.1;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="10-5" target="10-7"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="10-26" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#4d4d4d;strokeWidth=2;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;labelBackgroundColor=#ffffff;endArrow=block;endFill=1;endSize=7;startArrow=none;exitX=0.1;exitY=1;exitDx=0;exitDy=0;entryX=0.1;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="10-7" target="10-9"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="10-27" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#4d4d4d;strokeWidth=2;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;labelBackgroundColor=#ffffff;endArrow=block;endFill=1;endSize=7;startArrow=none;exitX=0.1;exitY=1;exitDx=0;exitDy=0;entryX=0.1;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="10-9" target="10-11"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="10-28" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#4d4d4d;strokeWidth=2;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;labelBackgroundColor=#ffffff;endArrow=block;endFill=1;endSize=7;startArrow=none;exitX=0.1;exitY=1;exitDx=0;exitDy=0;entryX=0.1;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="10-11" target="10-13"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="10-29" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#0e8088;strokeWidth=2;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;labelBackgroundColor=#ffffff;endArrow=block;endFill=1;endSize=7;startArrow=none;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="10-13" target="10-15"><mxGeometry relative="1" as="geometry"><Array as="points"><mxPoint x="628.0" y="700" /><mxPoint x="910" y="700" /><mxPoint x="910" y="130" /><mxPoint x="1218.0" y="130" /></Array></mxGeometry></mxCell>
        <mxCell id="10-30" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#4d4d4d;strokeWidth=2;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;labelBackgroundColor=#ffffff;endArrow=block;endFill=1;endSize=7;startArrow=none;exitX=0.1;exitY=1;exitDx=0;exitDy=0;entryX=0.1;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="10-15" target="10-17"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="10-31" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#4d4d4d;strokeWidth=2;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;labelBackgroundColor=#ffffff;endArrow=block;endFill=1;endSize=7;startArrow=none;exitX=0.1;exitY=1;exitDx=0;exitDy=0;entryX=0.1;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="10-17" target="10-19"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="10-32" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#4d4d4d;strokeWidth=2;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;labelBackgroundColor=#ffffff;endArrow=block;endFill=1;endSize=7;startArrow=none;exitX=0.1;exitY=1;exitDx=0;exitDy=0;entryX=0.1;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="10-19" target="10-21"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="10-33" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#4d4d4d;strokeWidth=2;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;labelBackgroundColor=#ffffff;endArrow=block;endFill=1;endSize=7;startArrow=none;exitX=0.1;exitY=1;exitDx=0;exitDy=0;entryX=0.1;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="10-21" target="10-23"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="10-34" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#666666;strokeWidth=2;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;labelBackgroundColor=#ffffff;endArrow=block;endFill=1;endSize=7;startArrow=none;exitX=1;exitY=0.2;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="10-4" target="10-5"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="10-35" value='&lt;font style="font-size:20px"&gt;&lt;b&gt;The construct&lt;/b&gt;&lt;/font&gt;&lt;br&gt;&lt;br&gt;&lt;b&gt;entries&lt;/b&gt;&lt;br&gt;implied guardian entries first; then guardian by guardian, open carrier before sealed, in a fixed canonical order&lt;br&gt;&lt;br&gt;&lt;b&gt;deny gates&lt;/b&gt;&lt;br&gt;every deny value with the carrier that lists it&lt;br&gt;&lt;br&gt;&lt;b&gt;the global set&lt;/b&gt;&lt;br&gt;one restriction set&lt;br&gt;&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;Swapped in atomically as an immutable snapshot after every change to the store. The construct in use always equals a full assembly.&lt;/font&gt;' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#b0e3e6;strokeColor=#0e8088;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=16;arcSize=8;absoluteArcSize=1;" vertex="1" parent="1"><mxGeometry x="1530" y="150" width="290" height="540" as="geometry" /></mxCell>
        <mxCell id="10-36" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#0e8088;strokeWidth=2;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;labelBackgroundColor=#ffffff;endArrow=block;endFill=1;endSize=7;startArrow=none;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.87;entryDx=0;entryDy=0;" edge="1" parent="1" source="10-23" target="10-35"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="10-37" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;The loading rule — what cannot be loaded is absent, and said so&lt;/b&gt;&lt;/font&gt;' style="swimlane;html=1;startSize=34;fillColor=#b0e3e6;strokeColor=#0e8088;strokeWidth=1.5;swimlaneFillColor=#ffffff;rounded=1;arcSize=8;absoluteArcSize=1;fontFamily=Helvetica;fontColor=#1f2933;align=center;verticalAlign=middle;collapsible=0;" vertex="1" parent="1"><mxGeometry x="40" y="740" width="880" height="300" as="geometry" /></mxCell>
        <mxCell id="10-38" value='A carrier, list or profile that cannot be fetched or verified is simply not in this construct. It carries an &lt;b&gt;unloaded&lt;/b&gt; finding:&lt;br&gt;• surfaced to the subject at once;&lt;br&gt;• retried at every refresh tick;&lt;br&gt;• delivered to every guardian once it has stood 24 hours (the default), and again each further period, over the household channel.&lt;br&gt;&lt;br&gt;On the grant side a failed load only narrows: an unloadable list or profile leaves its permission inert. On the deny side it is an accepted, reported risk: a deny list that has not loaded is absent until it loads — a denied party still needs a grant to get in.&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;A silent gap — a drop that emits no finding where one is due — is a conformance failure.&lt;/font&gt;' style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=top;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="10-37"><mxGeometry x="10" y="40" width="860" height="254" as="geometry" /></mxCell>
        <mxCell id="10-39" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;Refusal — for five contradictions and nothing else&lt;/b&gt;&lt;/font&gt;' style="swimlane;html=1;startSize=34;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;swimlaneFillColor=#ffffff;rounded=1;arcSize=8;absoluteArcSize=1;fontFamily=Helvetica;fontColor=#1f2933;align=center;verticalAlign=middle;collapsible=0;" vertex="1" parent="1"><mxGeometry x="940" y="740" width="880" height="300" as="geometry" /></mxCell>
        <mxCell id="10-40" value="" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=top;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="10-39"><mxGeometry x="10" y="40" width="860" height="254" as="geometry" /></mxCell>
        <mxCell id="10-41" value="&lt;b&gt;1&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#b85450;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="962" y="792" width="30" height="30" as="geometry" /></mxCell>
        <mxCell id="10-42" value="no valid association" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=15;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="1004" y="794" width="520" height="30" as="geometry" /></mxCell>
        <mxCell id="10-43" value='&lt;font face="Courier New"&gt;unbound · absent | invalid&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="1530" y="792" width="270" height="30" as="geometry" /></mxCell>
        <mxCell id="10-44" value="&lt;b&gt;2&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#b85450;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="962" y="832" width="30" height="30" as="geometry" /></mxCell>
        <mxCell id="10-45" value="a regression below an anti-rollback mark" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=15;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="1004" y="834" width="520" height="30" as="geometry" /></mxCell>
        <mxCell id="10-46" value='&lt;font face="Courier New"&gt;refusal · regression&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="1530" y="832" width="270" height="30" as="geometry" /></mxCell>
        <mxCell id="10-47" value="&lt;b&gt;3&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#b85450;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="962" y="872" width="30" height="30" as="geometry" /></mxCell>
        <mxCell id="10-48" value="a deny gate naming a current guardian" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=15;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="1004" y="874" width="520" height="30" as="geometry" /></mxCell>
        <mxCell id="10-49" value='&lt;font face="Courier New"&gt;refusal · guardian-denied&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="1530" y="872" width="270" height="30" as="geometry" /></mxCell>
        <mxCell id="10-50" value="&lt;b&gt;4&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#b85450;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="962" y="912" width="30" height="30" as="geometry" /></mxCell>
        <mxCell id="10-51" value="malformed content in a binding carrier" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=15;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="1004" y="914" width="520" height="30" as="geometry" /></mxCell>
        <mxCell id="10-52" value='&lt;font face="Courier New"&gt;refusal · malformed&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="1530" y="912" width="270" height="30" as="geometry" /></mxCell>
        <mxCell id="10-53" value="&lt;b&gt;5&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#b85450;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="962" y="952" width="30" height="30" as="geometry" /></mxCell>
        <mxCell id="10-54" value="an integrity cap breached — deny or binding side" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=15;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="1004" y="954" width="520" height="30" as="geometry" /></mxCell>
        <mxCell id="10-55" value='&lt;font face="Courier New"&gt;refusal · cap&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="1530" y="952" width="270" height="30" as="geometry" /></mxCell>
        <mxCell id="10-56" value='&lt;b&gt;Under unbound or a refusal the signer signs nothing, and every evaluation, in both directions, is deny.&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;Staleness is never a refusal: an offline household keeps enforcing what it holds, visibly aged. The engine may still authenticate to relays to load policy.&lt;/font&gt;' style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=top;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="962" y="990" width="840" height="46" as="geometry" /></mxCell>
        <mxCell id="10-57" value="" style="endArrow=none;html=1;strokeColor=#d9dee4;strokeWidth=1;" edge="1" parent="1"><mxGeometry relative="1" as="geometry"><mxPoint x="40" y="1062" as="sourcePoint" /><mxPoint x="1820" y="1062" as="targetPoint" /></mxGeometry></mxCell>
        <mxCell id="10-58" value='&lt;font color="#52606d"&gt;TEPP Zeta · diagram 10 · statements: CONS-058–CONS-118, CONS-170–CONS-176, ORD-005–ORD-012, ORD-027, TERM-009, CAPS-006, CAPS-029, TRACE-017, TRACE-053&lt;/font&gt;' style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=12;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="40" y="1070" width="1780" height="26" as="geometry" /></mxCell>
      </root>
    </mxGraphModel>
  </diagram>
</mxfile>
