<mxfile host="Electron" agent="tepp-omega-visual" version="29.3.0">
  <diagram name="Two questions: reading is not acting" id="03-two-questions">
    <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="1160" background="#ffffff" math="0" shadow="0">
      <root>
        <mxCell id="0" />
        <mxCell id="1" parent="0" />
        <mxCell id="03-2" value='&lt;font style="font-size:30px"&gt;&lt;b&gt;Two questions: reading is not acting&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="03-3" value='&lt;font style="font-size:17px" color="#52606d"&gt;The same construct answers both, but input is permissive behind the denies and output is strict — because a tag in a signed event is an act.&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="03-4" value="&lt;b&gt;INPUT — may this arriving event reach the subject?&lt;/b&gt;" style="rounded=1;arcSize=14;absoluteArcSize=1;whiteSpace=wrap;html=1;fillColor=none;strokeColor=#6c8ebf;strokeWidth=1.5;dashed=1;dashPattern=8 6;verticalAlign=top;align=left;fontSize=19;fontFamily=Helvetica;fontColor=#6c8ebf;spacingLeft=14;spacingTop=6;" vertex="1" parent="1"><mxGeometry x="40" y="120" width="870" height="740" as="geometry" /></mxCell>
        <mxCell id="03-5" value="&lt;b&gt;OUTPUT — may the subject sign this event?&lt;/b&gt;" style="rounded=1;arcSize=14;absoluteArcSize=1;whiteSpace=wrap;html=1;fillColor=none;strokeColor=#d79b00;strokeWidth=1.5;dashed=1;dashPattern=8 6;verticalAlign=top;align=left;fontSize=19;fontFamily=Helvetica;fontColor=#d79b00;spacingLeft=14;spacingTop=6;" vertex="1" parent="1"><mxGeometry x="950" y="120" width="870" height="740" as="geometry" /></mxCell>
        <mxCell id="03-6" value="&lt;i&gt;A curated feed has to be livable: real threads contain strangers. One permitted person, place or thing is enough — denies still come first.&lt;/i&gt;" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=top;fontSize=15;fontFamily=Helvetica;fontColor=#52606d;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="64" y="160" width="822" height="50" as="geometry" /></mxCell>
        <mxCell id="03-7" value="&lt;i&gt;The subject answers for everything under its signature. Everyone and everything the event names must be covered, and nothing denied is amplified.&lt;/i&gt;" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=top;fontSize=15;fontFamily=Helvetica;fontColor=#52606d;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="974" y="160" width="822" height="50" as="geometry" /></mxCell>
        <mxCell id="03-8" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;Is it genuine?&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Its id is recomputed and its signature verified.' 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="84" y="232" width="520" height="88" as="geometry" /></mxCell>
        <mxCell id="03-9" 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="70" y="218" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="03-10" 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="674" y="248.0" width="200" height="56" as="geometry" /></mxCell>
        <mxCell id="03-11" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-8" target="03-10"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-12" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;The subject-wide gate&lt;/b&gt;&lt;/font&gt;&lt;br&gt;The global set allows this kind, today, at this hour — e.g. bedtime.' 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="84" y="336" width="520" height="88" as="geometry" /></mxCell>
        <mxCell id="03-13" 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="70" y="322" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="03-14" 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="674" y="352.0" width="200" height="56" as="geometry" /></mxCell>
        <mxCell id="03-15" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-12" target="03-14"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-16" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;The deny gates&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Author, arrival relay, the event itself and everything it names — any 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="84" y="440" width="520" height="88" as="geometry" /></mxCell>
        <mxCell id="03-17" 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="70" y="426" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="03-18" 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="674" y="456.0" width="200" height="56" as="geometry" /></mxCell>
        <mxCell id="03-19" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-16" target="03-18"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-20" value="&lt;font style=&quot;font-size:16px&quot;&gt;&lt;b&gt;One hit admits&lt;/b&gt;&lt;/font&gt;&lt;br&gt;It arrived from a permitted place, its publisher is a permitted person, it is a permitted thing — or it is the subject's own. Encrypted: only an interact grant on the sender." 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="84" y="544" width="520" height="88" as="geometry" /></mxCell>
        <mxCell id="03-21" 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="70" y="530" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="03-22" value='&lt;b&gt;PERMIT&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px"&gt;shown to the subject&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="674" y="560.0" width="200" height="56" as="geometry" /></mxCell>
        <mxCell id="03-23" value="" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-20" target="03-22"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-24" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;Nothing hit&lt;/b&gt;&lt;/font&gt;&lt;br&gt;No grant admits it.' 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="84" y="648" width="520" height="88" as="geometry" /></mxCell>
        <mxCell id="03-25" 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="70" y="634" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="03-26" 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="674" y="664.0" width="200" height="56" as="geometry" /></mxCell>
        <mxCell id="03-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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-24" target="03-26"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-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.12;exitY=1;exitDx=0;exitDy=0;entryX=0.12;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-8" target="03-12"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-29" 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.12;exitY=1;exitDx=0;exitDy=0;entryX=0.12;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-12" target="03-16"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-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.12;exitY=1;exitDx=0;exitDy=0;entryX=0.12;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-16" target="03-20"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-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.12;exitY=1;exitDx=0;exitDy=0;entryX=0.12;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-20" target="03-24"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-32" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;The subject-wide gate&lt;/b&gt;&lt;/font&gt;&lt;br&gt;The same global set, now for signing.' 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="994" y="232" width="520" height="88" as="geometry" /></mxCell>
        <mxCell id="03-33" value="&lt;b&gt;1&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#d79b00;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="980" y="218" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="03-34" 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="1584" y="248.0" width="200" height="56" as="geometry" /></mxCell>
        <mxCell id="03-35" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-32" target="03-34"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-36" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;The deny gates&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Checked on the request itself, the relays it names included.' 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="994" y="336" width="520" height="88" as="geometry" /></mxCell>
        <mxCell id="03-37" value="&lt;b&gt;2&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#d79b00;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="980" y="322" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="03-38" 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="1584" y="352.0" width="200" height="56" as="geometry" /></mxCell>
        <mxCell id="03-39" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-36" target="03-38"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-40" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;The deny sweep&lt;/b&gt;&lt;/font&gt;&lt;br&gt;What it references is fetched and deny-checked down the chain, within bounds. What the subject names directly must resolve and verify.' 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="994" y="440" width="520" height="88" as="geometry" /></mxCell>
        <mxCell id="03-41" value="&lt;b&gt;3&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#d79b00;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="980" y="426" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="03-42" value='&lt;b&gt;DENY&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px"&gt;blocklist · global · unresolved&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="456.0" width="200" height="56" as="geometry" /></mxCell>
        <mxCell id="03-43" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-40" target="03-42"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-44" value="&lt;font style=&quot;font-size:16px&quot;&gt;&lt;b&gt;Full coverage&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Every person it names needs an interact grant of their own; every event it references is granted, or its author is, or it is the subject's own." 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="994" y="544" width="520" height="88" as="geometry" /></mxCell>
        <mxCell id="03-45" value="&lt;b&gt;4&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#d79b00;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="980" y="530" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="03-46" 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="560.0" width="200" height="56" as="geometry" /></mxCell>
        <mxCell id="03-47" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-44" target="03-46"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-48" value="&lt;font style=&quot;font-size:16px&quot;&gt;&lt;b&gt;The destinations&lt;/b&gt;&lt;/font&gt;&lt;br&gt;Never a denied relay. Once a guardian grants interact/relay: only those relays — or a covered recipient's own inbox." 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="994" y="648" width="520" height="88" as="geometry" /></mxCell>
        <mxCell id="03-49" value="&lt;b&gt;5&lt;/b&gt;" style="ellipse;whiteSpace=wrap;html=1;fillColor=#d79b00;strokeColor=none;fontColor=#ffffff;fontSize=16;fontFamily=Helvetica;" vertex="1" parent="1"><mxGeometry x="980" y="634" width="34" height="34" as="geometry" /></mxCell>
        <mxCell id="03-50" value='&lt;b&gt;DENY&lt;/b&gt;&lt;br&gt;&lt;font style="font-size:12px"&gt;destination&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="664.0" width="200" height="56" as="geometry" /></mxCell>
        <mxCell id="03-51" 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=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-48" target="03-50"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-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=0.12;exitY=1;exitDx=0;exitDy=0;entryX=0.12;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-32" target="03-36"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-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=0.12;exitY=1;exitDx=0;exitDy=0;entryX=0.12;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-36" target="03-40"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-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=0.12;exitY=1;exitDx=0;exitDy=0;entryX=0.12;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-40" target="03-44"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-55" 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.12;exitY=1;exitDx=0;exitDy=0;entryX=0.12;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-44" target="03-48"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-56" value='&lt;b&gt;Then rendering walks in: &lt;/b&gt;referenced events are fetched and deny-checked one by one. The walk stops at a wall and everything above the wall stays visible.&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;No network is needed for the verdict itself.&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="84" y="746" width="760" height="90" as="geometry" /></mxCell>
        <mxCell id="03-57" value="&lt;b&gt;PERMIT&lt;/b&gt;&lt;br&gt;&lt;font style=&quot;font-size:12px&quot;&gt;signed — with NIP-70's [&quot;-&quot;] tag where a restriction demands it&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="994" y="750" width="520" height="64" as="geometry" /></mxCell>
        <mxCell id="03-58" 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.12;exitY=1;exitDx=0;exitDy=0;entryX=0.12;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-48" target="03-57"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-59" value='&lt;font style="font-size:12px" color="#52606d"&gt;Encrypted? The engine first recovers who it involves — and then asks exactly the same.&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="1534" y="748" width="260" height="80" as="geometry" /></mxCell>
        <mxCell id="03-60" value="&lt;b&gt;One thread, two directions&lt;/b&gt;" style="rounded=1;arcSize=14;absoluteArcSize=1;whiteSpace=wrap;html=1;fillColor=none;strokeColor=#4d4d4d;strokeWidth=1.5;verticalAlign=top;align=left;fontSize=19;fontFamily=Helvetica;fontColor=#4d4d4d;spacingLeft=14;spacingTop=6;" vertex="1" parent="1"><mxGeometry x="40" y="890" width="1780" height="210" as="geometry" /></mxCell>
        <mxCell id="03-61" value="&lt;b&gt;A stranger's note&lt;/b&gt;&lt;br&gt;&lt;font style=&quot;font-size:12px&quot; color=&quot;#52606d&quot;&gt;published by X — nobody granted X&lt;/font&gt;" style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#9aa5b1;strokeWidth=1.5;fontSize=15;align=center;verticalAlign=middle;fontFamily=Helvetica;fontColor=#1f2933;spacing=8;arcSize=8;absoluteArcSize=1;" vertex="1" parent="1"><mxGeometry x="70" y="950" width="260" height="90" as="geometry" /></mxCell>
        <mxCell id="03-62" value="&lt;b&gt;A friend's reply to it&lt;/b&gt;&lt;br&gt;&lt;font style=&quot;font-size:12px&quot; color=&quot;#52606d&quot;&gt;published by F — F has interact/npub&lt;/font&gt;" style="rounded=1;whiteSpace=wrap;html=1;fillColor=#dae8fc;strokeColor=#6c8ebf;strokeWidth=1.5;fontSize=15;align=center;verticalAlign=middle;fontFamily=Helvetica;fontColor=#1f2933;spacing=8;arcSize=8;absoluteArcSize=1;" vertex="1" parent="1"><mxGeometry x="400" y="950" width="300" height="90" as="geometry" /></mxCell>
        <mxCell id="03-63" value="replies to" 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;dashed=1;dashPattern=6 4;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=1;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="03-62" target="03-61"><mxGeometry relative="1" as="geometry"></mxGeometry></mxCell>
        <mxCell id="03-64" value="&lt;b&gt;Input: the friend's reply arrives&lt;/b&gt;&lt;br&gt;F is the publisher → an npub hit → &lt;b&gt;permit&lt;/b&gt;.&lt;br&gt;X's note renders beneath it: below the event itself nothing needs a grant, only the deny check. X's profile is legible too, so the subject can see who X is." style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#6c8ebf;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=12;arcSize=8;absoluteArcSize=1;" vertex="1" parent="1"><mxGeometry x="760" y="934" width="480" height="146" as="geometry" /></mxCell>
        <mxCell id="03-65" value="&lt;b&gt;Output: the subject replies to both&lt;/b&gt;&lt;br&gt;The reply tags F and X. F is covered; X is not → &lt;b&gt;deny, unmatched&lt;/b&gt;, and the trace names the first uncovered element.&lt;br&gt;The subject can ask a guardian for a grant: every guardian is covered by being one — bedtime still applies." style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffffff;strokeColor=#d79b00;strokeWidth=1.5;fontSize=14;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=12;arcSize=8;absoluteArcSize=1;" vertex="1" parent="1"><mxGeometry x="1260" y="934" width="530" height="146" as="geometry" /></mxCell>
        <mxCell id="03-66" value="&lt;i&gt;A stranger seen inside a trusted context is not a stranger reached: output strictness guarantees that.&lt;/i&gt;" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=top;fontSize=15;fontFamily=Helvetica;fontColor=#52606d;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="70" y="1050" width="640" height="44" as="geometry" /></mxCell>
        <mxCell id="03-67" value="" style="endArrow=none;html=1;strokeColor=#d9dee4;strokeWidth=1;" edge="1" parent="1"><mxGeometry relative="1" as="geometry"><mxPoint x="40" y="1112" as="sourcePoint" /><mxPoint x="1820" y="1112" as="targetPoint" /></mxGeometry></mxCell>
        <mxCell id="03-68" value='&lt;font color="#52606d"&gt;TEPP Zeta · diagram 03 · high-level · statements: IN-001–IN-007, IN-013–IN-016, IN-036, IN-044, OUT-001–OUT-007, OUT-012, OUT-018, OUT-030, OUT-031, OUT-035, OUT-040, OUT-050, OUT-053, TERM-009&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="1120" width="1780" height="26" as="geometry" /></mxCell>
      </root>
    </mxGraphModel>
  </diagram>
</mxfile>
