<mxfile host="Electron" agent="tepp-omega-visual" version="29.3.0">
  <diagram name="Every verdict explains itself" id="16-trace">
    <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="990" background="#ffffff" math="0" shadow="0">
      <root>
        <mxCell id="0" />
        <mxCell id="1" parent="0" />
        <mxCell id="16-2" value='&lt;font style="font-size:30px"&gt;&lt;b&gt;Every verdict explains itself&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="16-3" value='&lt;font style="font-size:17px" color="#52606d"&gt;A verdict is permit or deny, with a trace: the layer that decided, a reason where the layer has one, what it is attributed to, and typed findings. Identical inputs give identical verdicts and traces.&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="16-4" value='&lt;font style="font-size:18px"&gt;&lt;b&gt;Two traces, sketched&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="118" width="660" height="30" as="geometry" /></mxCell>
        <mxCell id="16-5" value="&lt;font style=&quot;font-size:16px&quot;&gt;&lt;b&gt;Input · a friend's note reaches the feed&lt;/b&gt;&lt;/font&gt;" style="swimlane;html=1;startSize=34;fillColor=#d5e8d4;strokeColor=#82b366;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="160" width="660" height="270" as="geometry" /></mxCell>
        <mxCell id="16-6" value='&lt;font face="Courier New"&gt;verdict      permit&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt;layer        permission&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt;attribution  carrier  &amp;lt;parent A, sealed&amp;gt;&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt;             label    "school friends"&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt;             list     30000:&amp;lt;guardian&amp;gt;:classmates&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt;qualifying   1 permission  "school friends"&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt;hits         2 extension   via curator &amp;lt;school&amp;gt;&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt;walls        &amp;lt;note id&amp;gt;: deny — author denied&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt;findings     age — construct 26 h old&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="16-5"><mxGeometry x="10" y="40" width="640" height="224" as="geometry" /></mxCell>
        <mxCell id="16-7" value="&lt;font style=&quot;font-size:16px&quot;&gt;&lt;b&gt;Output · the subject's reply is refused&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="40" y="450" width="660" height="176" as="geometry" /></mxCell>
        <mxCell id="16-8" value='&lt;font face="Courier New"&gt;verdict      deny&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt;layer        unmatched&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt;element      ["p", "&amp;lt;X&amp;gt;"] — first uncovered&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt;findings     sweep-incomplete: unresolved&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt;             (a branch beyond layer 0)&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="16-7"><mxGeometry x="10" y="40" width="640" height="130" as="geometry" /></mxCell>
        <mxCell id="16-9" value='&lt;font style="font-size:12px" color="#52606d"&gt;Illustrative, not the wire format: the field shapes belong to the conformance documents. What is fixed is the vocabulary — and the obligation to name what decided.&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="40" y="640" width="660" height="80" as="geometry" /></mxCell>
        <mxCell id="16-10" value='&lt;font style="font-size:18px"&gt;&lt;b&gt;Fifteen layers — the closed set&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="740" y="118" width="540" height="30" as="geometry" /></mxCell>
        <mxCell id="16-11" value='&lt;font face="Courier New"&gt;guardian&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#d5e8d4;strokeColor=#82b366;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="164" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-12" value="an implied guardian entry admitted it" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="167" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-13" value='&lt;font face="Courier New"&gt;permission&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#d5e8d4;strokeColor=#82b366;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="202" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-14" value="a guardian's own grant admitted it" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="205" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-15" value='&lt;font face="Courier New"&gt;extension&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#d5e8d4;strokeColor=#82b366;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="240" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-16" value="a harvested grant admitted it — with provenance" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="243" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-17" value='&lt;font face="Courier New"&gt;self&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#d5e8d4;strokeColor=#82b366;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="278" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-18" value="the subject's own event" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="281" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-19" value='&lt;font face="Courier New"&gt;kind0&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#d5e8d4;strokeColor=#82b366;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="316" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-20" value="a profile event, legible by rule" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="319" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-21" value='&lt;font face="Courier New"&gt;covered&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#d5e8d4;strokeColor=#82b366;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="354" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-22" value="output: everything it names is covered" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="357" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-23" value='&lt;font face="Courier New"&gt;global&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="402" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-24" value="the global set said no" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="405" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-25" value='&lt;font face="Courier New"&gt;blocklist&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="440" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-26" value="a deny gate matched" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="443" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-27" value='&lt;font face="Courier New"&gt;unmatched&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="478" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-28" value="nothing admitted it · something is uncovered" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="481" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-29" value='&lt;font face="Courier New"&gt;unverifiable&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="516" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-30" value="it failed verification" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="519" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-31" value='&lt;font face="Courier New"&gt;unresolved&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="554" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-32" value="output: something named did not resolve" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="557" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-33" value='&lt;font face="Courier New"&gt;opaque&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="592" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-34" value="output: encrypted and not reducible" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="595" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-35" value='&lt;font face="Courier New"&gt;destination&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="630" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-36" value="output: a destination was refused" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="633" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-37" value='&lt;font face="Courier New"&gt;unbound&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="668" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-38" value="no valid association" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="671" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-39" value='&lt;font face="Courier New"&gt;refusal&lt;/font&gt;' style="rounded=1;arcSize=50;whiteSpace=wrap;html=1;fillColor=#f8cecc;strokeColor=#b85450;strokeWidth=1.5;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;" vertex="1" parent="1"><mxGeometry x="740" y="706" width="150" height="30" as="geometry" /></mxCell>
        <mxCell id="16-40" value="the assembly refused" style="text;html=1;whiteSpace=wrap;align=left;verticalAlign=middle;fontSize=14;fontFamily=Helvetica;fontColor=#1f2933;spacing=0;strokeColor=none;fillColor=none;" vertex="1" parent="1"><mxGeometry x="900" y="709" width="380" height="26" as="geometry" /></mxCell>
        <mxCell id="16-41" value='&lt;font style="font-size:12px" color="#52606d"&gt;Reasons ride with three layers — unbound (absent, invalid), refusal (regression, malformed, cap, guardian-denied) and unmatched (opaque, no-offer).&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="740" y="748" width="540" height="50" as="geometry" /></mxCell>
        <mxCell id="16-42" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;Determinism&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="1310" y="160" width="510" height="236" as="geometry" /></mxCell>
        <mxCell id="16-43" value='Identical&lt;br&gt;&lt;font face="Courier New"&gt;(construct, event, direction,&lt;/font&gt;&lt;br&gt;&lt;font face="Courier New"&gt; instant, world, inputs)&lt;/font&gt;&lt;br&gt;give identical verdicts, traces and orderings — across runs and across implementations.&lt;br&gt;&lt;br&gt;The engine reads no ambient clock: the instant is supplied. No randomness, map order or wall clock shows in any output — ciphertext alone excepted.' 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="16-42"><mxGeometry x="10" y="40" width="490" height="190" as="geometry" /></mxCell>
        <mxCell id="16-44" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;Findings&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="1310" y="416" width="510" height="150" as="geometry" /></mxCell>
        <mxCell id="16-45" value='Every drop, skip, truncation or failed load emits a typed finding, bar a few stated exceptions — &lt;br&gt;&lt;font face="Courier New"&gt;unloaded · age · unenforced · sweep-incomplete · mutation · harvest-denied&lt;/font&gt; …&lt;br&gt;&lt;font style="font-size:12px" color="#52606d"&gt;A missing 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="16-44"><mxGeometry x="10" y="40" width="490" height="104" as="geometry" /></mxCell>
        <mxCell id="16-46" value='&lt;font style="font-size:16px"&gt;&lt;b&gt;What never leaves the locus&lt;/b&gt;&lt;/font&gt;' style="swimlane;html=1;startSize=34;fillColor=#e3e7ee;strokeColor=#56657a;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="1310" y="586" width="510" height="140" as="geometry" /></mxCell>
        <mxCell id="16-47" value="Recovered plaintext is never stored, logged or published. Findings derived from reduction and the reduction record stay at the locus; a trace naming a correspondent never reaches a monitor relay." 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="16-46"><mxGeometry x="10" y="40" width="490" height="94" as="geometry" /></mxCell>
        <mxCell id="16-48" value='&lt;font style="font-size:17px"&gt;&lt;b&gt;Why it matters&lt;/b&gt;&lt;/font&gt;&lt;br&gt;So the subject can ask well — see who an unknown person is, which permission decided, and exactly what a refusal lacks — and so that when something reaches the feed that should not have, a guardian knows every permission it stood on, and where to act.' style="rounded=1;whiteSpace=wrap;html=1;fillColor=#ffe6cc;strokeColor=#d79b00;strokeWidth=1.5;fontSize=15;align=left;verticalAlign=top;fontFamily=Helvetica;fontColor=#1f2933;spacing=14;arcSize=8;absoluteArcSize=1;" vertex="1" parent="1"><mxGeometry x="40" y="830" width="1780" height="100" as="geometry" /></mxCell>
        <mxCell id="16-49" value="" style="endArrow=none;html=1;strokeColor=#d9dee4;strokeWidth=1;" edge="1" parent="1"><mxGeometry relative="1" as="geometry"><mxPoint x="40" y="942" as="sourcePoint" /><mxPoint x="1820" y="942" as="targetPoint" /></mxGeometry></mxCell>
        <mxCell id="16-50" value='&lt;font color="#52606d"&gt;TEPP Zeta · diagram 16 · statements: TRACE-001–TRACE-073, INTRO-002–INTRO-005, IN-031, OUT-039, OPQ-052–OPQ-056, CONS-117, CONS-118&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="950" width="1780" height="26" as="geometry" /></mxCell>
      </root>
    </mxGraphModel>
  </diagram>
</mxfile>
