<mxfile host="Electron" agent="tepp-omega-visual" version="29.3.0">
  <diagram name="Input evaluation: may this event reach the subject?" id="11-input">
    <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="1080" background="#ffffff" math="0" shadow="0">
      <root>
        <mxCell id="0" />
        <mxCell id="1" parent="0" />
        <mxCell id="11-2" value='&lt;font style="font-size:30px"&gt;&lt;b&gt;Input evaluation: may this event reach the subject?&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="11-3" value="&lt;font style=&quot;font-size:17px&quot; color=&quot;#52606d&quot;&gt;Seven steps in a fixed order, at the subject's client. The verdict needs no network — fetching only decides how deep rendering goes.&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="11-4" value='&lt;font style="font-size:12px" color="#52606d"&gt;Inputs: the construct snapshot · the event · the arrival relay (where the client can vouch for it) · the instant, with its local weekday and minute&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="40" y="118" width="1780" height="26" as="geometry" /></mxCell>
        <mxCell id="11-5" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;Authenticity&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Recompute the id, verify the signature. Nothing is read from bytes nobody can be held to.' 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="54" y="160" width="242" height="150" as="geometry" /></mxCell>
        <mxCell id="11-6" value="&lt;b&gt;1&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#6c8ebf;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="40" y="146" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="11-7" value="&lt;font style=&quot;font-size:16px&quot;&gt;&lt;b&gt;Reduction&lt;/b&gt;&lt;/font&gt;&lt;br&gt;If it is encrypted, peel it — at the key or through the signer's decrypt oracle — and recover who it is from and what it names." 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="354" y="160" width="242" height="150" as="geometry" /></mxCell>
        <mxCell id="11-8" value="&lt;b&gt;2&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#6c8ebf;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="340" y="146" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="11-9" value="&lt;font style=&quot;font-size:16px&quot;&gt;&lt;b&gt;The global gate&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Resolve the global set for input, at the event's kind — and every recovered layer's kind." 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="654" y="160" width="242" height="150" as="geometry" /></mxCell>
        <mxCell id="11-10" value="&lt;b&gt;3&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#6c8ebf;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="640" y="146" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="11-11" value="&lt;font style=&quot;font-size:16px&quot;&gt;&lt;b&gt;Layer-0 deny check&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Publisher, arrival relay, the event's own id and address, everything its surface names: any deny-gate match blocks." 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="954" y="160" width="242" height="150" as="geometry" /></mxCell>
        <mxCell id="11-12" value="&lt;b&gt;4&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#6c8ebf;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="940" y="146" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="11-13" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;The hit&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Does one of the four hits hold (below)? One is enough.' 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="1254" y="160" width="242" height="150" as="geometry" /></mxCell>
        <mxCell id="11-14" value="&lt;b&gt;5&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#6c8ebf;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="1240" y="146" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="11-15" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;Fall-through&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Nothing hit: not admitted.' 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="1554" y="160" width="242" height="150" as="geometry" /></mxCell>
        <mxCell id="11-16" value="&lt;b&gt;6&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#6c8ebf;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="1540" y="146" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="11-17" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="11-5" target="11-7"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-18" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="11-7" target="11-9"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-19" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="11-9" target="11-11"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-20" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="11-11" target="11-13"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-21" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="11-13" target="11-15"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-22" value='&lt;b&gt;DENY&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px"&gt;unverifiable&lt;/font&gt;' style="rounded=1;arcSize=30;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=2;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="84" y="360" width="190" height="54" as="geometry" /></mxCell>
        <mxCell id="11-23" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#b85450;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="11-5" target="11-22"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-24" value='&lt;b&gt;DENY&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px"&gt;unverifiable&lt;/font&gt;' style="rounded=1;arcSize=30;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=2;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="384" y="360" width="190" height="54" as="geometry" /></mxCell>
        <mxCell id="11-25" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#b85450;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="11-7" target="11-24"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-26" value='&lt;b&gt;DENY&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px"&gt;global&lt;/font&gt;' style="rounded=1;arcSize=30;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=2;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="684" y="360" width="190" height="54" as="geometry" /></mxCell>
        <mxCell id="11-27" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#b85450;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="11-9" target="11-26"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-28" value='&lt;b&gt;DENY&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px"&gt;blocklist&lt;/font&gt;' style="rounded=1;arcSize=30;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=2;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="984" y="360" width="190" height="54" as="geometry" /></mxCell>
        <mxCell id="11-29" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#b85450;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="11-11" target="11-28"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-30" value='&lt;b&gt;DENY&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px"&gt;unmatched&lt;/font&gt;' style="rounded=1;arcSize=30;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=2;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="1584" y="360" width="190" height="54" as="geometry" /></mxCell>
        <mxCell id="11-31" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#b85450;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="11-15" target="11-30"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-32" value='&lt;b&gt;PERMIT&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px"&gt;layer guardian · permission · extension · self&lt;/font&gt;' style="rounded=1;arcSize=30;whiteSpace=wrap;html=1;fillColor=#d5e8d4;strokeColor=#82b366;strokeWidth=2;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="1264" y="360" width="230" height="64" as="geometry" /></mxCell>
        <mxCell id="11-33" value="a hit" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#82b366;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="11-13" target="11-32"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-34" value='&lt;font style="font-size:12px" color="#52606d"&gt;A verification failure inside the layers is decided here. Material that cannot be reduced goes on, and can find no hit.&lt;/font&gt;' style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=top;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="364" y="422" width="250" height="60" as="geometry" /></mxCell>
        <mxCell id="11-35" value="&lt;font style=&quot;font-size:19px&quot;&gt;&lt;b&gt;The four hits — a trusted place, person or thing, or the subject's own&lt;/b&gt;&lt;/font&gt;" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=top;fontSize=15;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="40" y="500" width="1780" height="30" as="geometry" /></mxCell>
        <mxCell id="11-36" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;relay hit&lt;/b&gt;&lt;/font&gt;' style="swimlane;html=1;startSize=34;fillColor=#dae8fc;strokeColor=#6c8ebf;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="544" width="430" height="128" as="geometry" /></mxCell>
        <mxCell id="11-37" value='an entry of scope relay whose member is the arrival relay&lt;br&gt;&lt;b&gt;→ &lt;/b&gt;admits the whole event — strangers it names included&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;never for encrypted material&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="11-36"><mxGeometry x="10" y="40" width="410" height="82" as="geometry" /></mxCell>
        <mxCell id="11-38" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;npub hit&lt;/b&gt;&lt;/font&gt;' style="swimlane;html=1;startSize=34;fillColor=#dae8fc;strokeColor=#6c8ebf;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="490" y="544" width="430" height="128" as="geometry" /></mxCell>
        <mxCell id="11-39" value='an entry of scope npub whose member is the publisher&lt;br&gt;&lt;b&gt;→ &lt;/b&gt;admits the whole event, wherever it arrived&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;a mention never hits; for encrypted material only an interact entry, on the recovered author&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="11-38"><mxGeometry x="10" y="40" width="410" height="82" as="geometry" /></mxCell>
        <mxCell id="11-40" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;event hit&lt;/b&gt;&lt;/font&gt;' style="swimlane;html=1;startSize=34;fillColor=#dae8fc;strokeColor=#6c8ebf;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="544" width="430" height="128" as="geometry" /></mxCell>
        <mxCell id="11-41" value="an entry of scope event whose member is this event's id&lt;br&gt;&lt;b&gt;→ &lt;/b&gt;admits this event&lt;br&gt;&lt;font style=&quot;font-size:12px&quot; color=&quot;#52606d&quot;&gt;a coordinate member never hits; never for encrypted material&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="11-40"><mxGeometry x="10" y="40" width="410" height="82" as="geometry" /></mxCell>
        <mxCell id="11-42" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;self hit&lt;/b&gt;&lt;/font&gt;' style="swimlane;html=1;startSize=34;fillColor=#dae8fc;strokeColor=#6c8ebf;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="1390" y="544" width="430" height="128" as="geometry" /></mxCell>
        <mxCell id="11-43" value="the publisher is the subject&lt;br&gt;&lt;b&gt;→ &lt;/b&gt;admits the subject's own event — the gates still apply&lt;br&gt;&lt;font style=&quot;font-size:12px&quot; color=&quot;#52606d&quot;&gt;also the subject's own copy of a private message&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="11-42"><mxGeometry x="10" y="40" width="410" height="82" as="geometry" /></mxCell>
        <mxCell id="11-44" value="The deciding hit is the first in a fixed order: the self hit, then entries in canonical order, implied guardian entries first. The trace carries every qualifying hit, so when something reaches the feed that should not have, a guardian knows every grant it stood on." 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="40" y="682" width="1780" height="50" as="geometry" /></mxCell>
        <mxCell id="11-45" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;7 · The render walk — how deep a permitted event renders&lt;/b&gt;&lt;/font&gt;' style="swimlane;html=1;startSize=34;fillColor=#dae8fc;strokeColor=#6c8ebf;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="750" width="1080" height="260" as="geometry" /></mxCell>
        <mxCell id="11-46" 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="11-45"><mxGeometry x="10" y="40" width="1060" height="214" as="geometry" /></mxCell>
        <mxCell id="11-47" value='&lt;b&gt;the permitted event&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;layer 0&lt;/font&gt;' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#d5e8d4;strokeColor=#82b366;strokeWidth=1.5;fontSize=14;align=center;verticalAlign=middle;fontFamily=Helvetica;fontColor=#1f2933;spacing=8;arcSize=8;absoluteArcSize=1;" vertex="1" parent="1"><mxGeometry x="64" y="810" width="230" height="62" as="geometry" /></mxCell>
        <mxCell id="11-48" value='&lt;b&gt;a note it quotes&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;deny-checked → renders&lt;/font&gt;' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=13;align=center;verticalAlign=middle;fontFamily=Helvetica;fontColor=#1f2933;spacing=8;arcSize=8;absoluteArcSize=1;" vertex="1" parent="1"><mxGeometry x="350" y="800" width="250" height="52" as="geometry" /></mxCell>
        <mxCell id="11-49" value='&lt;b&gt;a note it replies to&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;its author is denied → WALL&lt;/font&gt;' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=13;align=center;verticalAlign=middle;fontFamily=Helvetica;fontColor=#1f2933;spacing=8;arcSize=8;absoluteArcSize=1;" vertex="1" parent="1"><mxGeometry x="350" y="880" width="250" height="52" as="geometry" /></mxCell>
        <mxCell id="11-50" value='&lt;b&gt;what that one names&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;depth 2 → renders&lt;/font&gt;' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=13;align=center;verticalAlign=middle;fontFamily=Helvetica;fontColor=#1f2933;spacing=8;arcSize=8;absoluteArcSize=1;" vertex="1" parent="1"><mxGeometry x="650" y="800" width="250" height="52" as="geometry" /></mxCell>
        <mxCell id="11-51" value='&lt;b&gt;anything beyond the wall&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;never rendered&lt;/font&gt;' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#4d4d4d;strokeWidth=1.5;fontSize=13;align=center;verticalAlign=middle;fontFamily=Helvetica;fontColor=#52606d;spacing=8;arcSize=8;absoluteArcSize=1;dashed=1;dashPattern=6 4;" vertex="1" parent="1"><mxGeometry x="650" y="880" width="250" height="52" as="geometry" /></mxCell>
        <mxCell id="11-52" 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=1;exitY=0.3;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="11-47" target="11-48"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-53" 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=1;exitY=0.7;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="11-47" target="11-49"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-54" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="11-48" target="11-50"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-55" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;strokeColor=#b3b3b3;strokeWidth=2;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;labelBackgroundColor=#ffffff;endArrow=block;endFill=1;endSize=7;startArrow=none;dashed=1;dashPattern=6 4;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="11-49" target="11-51"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="11-56" value='&lt;font style="font-size:12px" color="#52606d"&gt;Walls: deny · unverifiable · unresolved · depth · fanout · opaque&lt;/font&gt;' style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=top;fontSize=13;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="930" y="800" width="180" height="130" as="geometry" /></mxCell>
        <mxCell id="11-57" value='Below layer 0 no grant is sought: nested events are fetched lazily and deny-checked only. A wall stops its branch and records why; everything above it stays visible.&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;Bounded, by default: depth 4 and 10 000 fetch attempts per evaluation; a cycle simply stops.&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="64" y="946" width="1040" height="60" as="geometry" /></mxCell>
        <mxCell id="11-58" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;The kind 0 clause — strangers stay legible&lt;/b&gt;&lt;/font&gt;' style="swimlane;html=1;startSize=34;fillColor=#ffffff;strokeColor=#4d4d4d;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="1140" y="750" width="680" height="260" as="geometry" /></mxCell>
        <mxCell id="11-59" value="An arriving profile event (kind 0) that is not encrypted renders without any hit: only the deny gates and a global deny tied to weekdays or hours apply to it.&lt;br&gt;&lt;br&gt;So when a trusted person references someone unknown, the subject can see who that is — and ask a guardian for a grant, or an extension through the person who made the reference.&lt;br&gt;&lt;font style=&quot;font-size:12px&quot; color=&quot;#52606d&quot;&gt;Input only: signing the subject's own kind 0 is gated like any other kind.&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="11-58"><mxGeometry x="10" y="40" width="660" height="214" as="geometry" /></mxCell>
        <mxCell id="11-60" value="" style="endArrow=none;html=1;strokeColor=#d9dee4;strokeWidth=1;" edge="1" parent="1"><mxGeometry relative="1" as="geometry"><mxPoint x="40" y="1032" as="sourcePoint" /><mxPoint x="1820" y="1032" as="targetPoint" /></mxGeometry></mxCell>
        <mxCell id="11-61" value='&lt;font color="#52606d"&gt;TEPP Zeta · diagram 11 · statements: IN-001–IN-048, SURF-001–SURF-051, RESTR-037–RESTR-040, OPQ-048, OPQ-049, ORD-028, ORD-029, TRACE-021, CAPS-012, CAPS-014&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="1040" width="1780" height="26" as="geometry" /></mxCell>
      </root>
    </mxGraphModel>
  </diagram>
</mxfile>
