From 2f24a0b96cfc6adaede8e69e9a34809e459d01c7 Mon Sep 17 00:00:00 2001 From: mrwulf Date: Fri, 17 Jul 2026 09:57:57 +0200 Subject: [PATCH] paper v0.3: anonymize the external-consumer study (operator review) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Naming a specific third-party system on the strength of a family-level dependency observation, with no engagement and no receipt code, reads as arbitrary and could imply a relationship that does not exist. The sentence's actual content — attestations are version-exact; a family-level match confers nothing — needs no name and keeps it. Co-Authored-By: Claude Fable 5 --- paper/ltl.pdf | Bin 393003 -> 392965 bytes paper/ltl.tex | 8 ++++---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/paper/ltl.pdf b/paper/ltl.pdf index 60cdeae6b28116410572e1650818607de707361d..61d3c5e0898045772cddbbf6ffd82c3e93d1ee70 100644 GIT binary patch delta 6736 zcmai&MN}LNtf+zFR(x=G*FlH2xVytZf#Oo!%i!)hxVyW1(H0ootrXYd&i&tgo40%C zjN*4H(fmoi5ZfkKc2KZg4=Vidx!PaLgyjwrs`(;)y>=-n8?-}^=cC>T85l+7q zQeeVN=s<~`#eSFkExF>iYLwG;{g&Sy@2Ac4L2ixB=T@rLE+Nfa@r%bIzVzB*t3$}y zXroW{vF&o9^TylNWx6L-qZdB1KQ2rsT=@_McM1zgLxKO3#9!kR*X*QZuxsxC&_+sh z(TB`pd8lCd1=P`S&Ac$7%7Z_Yza#>2ZPA?hbzEROz24^pFgP{x`#mLHR2OFjQu5f&FN!~s+Rz@V zs8Bes?~KPHN%<|^n?*3L6ICpIEE~yeMnOfmsS0_s1XQGuc6d6TVfzl5TdWz43`}e# zXFBhIvcD;%Gf+eo*@2pKAcipTNbY^5&v_M&0DuV7>%*35fpWw4E)91OV=lmtx79AFj7qv+9u{7t?BQEVV$f?iC@;|R?20wGJ zvTFB(Ziy^-2lO^m+z0102aS>!g0LpT#yK;Ky5&tAqYlI3?&J~hg|B16XbWPw3qVQV zZcwcG#i+w+#H(x?@9hzCy$^IZlgrTO7WOU)l+g7OYN`^8Y-h)Ohl=yy|tK z{~XFPtj0G+pDSk#@%o!j_O_n zk}~+)7J2@geHk!IuOuOfyKwWx?Os)dnV9Q^HdZ70(Xom9dX9Z3=E^i{r~(JoV>+1j z-zFVvffg}R;C&6Eu_u2&`_gmpP>Z6~1F3KZX!qVzybDMAc(N9VfioLy6?DH6D8!P zVSJ4b#ui^8Nb+#9Blq5!<2#+T8kIuGAsvY71d;+`zK$s8uorWEY=-R*Z5wru2wiGYhnWD{njJmJR&OgHE}&l>DnwvqQNgjZ2*KBLZe+Uoqv_ImZ|pblEEofQ^xHqU>> zeOOVYVIn|Ym#6cjc6lKr?s-lK=Q4t_mFfOHaPC#d71<3Td~ViGv?9eq@Cvr~mx3OwP1&&BlY)bD zf%Y_~oB&oUySw{!jtZK-4AKNIlulrZ_OkZ+v(zj`6<(4gZeLsw+;0%TeCBp&qi7)m zqs9NQ(q)@dXwGNUt%t-5DkvO5+S*kMi@y2Qjrwn zvGBZ~0IvHNTg^DePqrINBz0{krh@3))~wCBho>@G+?D7vI!FWi;rLgTkN4QZ8HFJl z>YPhHdY70H3mL(1DCb{SqWD6)Z`=+nE%}vL=Qc|p?;<)PilWA_HGGzjNBOjvP<^R=pHJQb_Y%V@uuPb@xnQSbJ8PSZ>9SK2o zrTj-Lr>>JX!+h+o|MtgzN!tgxK#y1L4=qZ^S_;44tQ9k7q9Iyw6iWX~Kr;rrV)5H0 z$;6_7cq6DBOfXX0t6KW>hRH--4w1c$<4A@Jb?p7Spe9>uyN~zjUd4hXJOZMTrj?+7 zB$hFEUALdNHPT9!1xCA9U^n&-5bJ+5a3-oz$ij+7{c3YBx7RJabNN@8kr}>2F|AsR z_yCET-VZ~7uTsP$MHVs7jV)~)aWvb(CcMrnisyL`y?>oBpo1Ww83cYEaCji?R-3aW zL+x|HZS^#x8PD{66u;QgV1q~wWGT`NSkg)iAS1jOf#;V|51EXtyL#xD&x%Uee`4AX zxO1Ue5i!U$c0XmKr0UvrWVmxJ-%m$iTk8wYb~if+^a>rapR68es!0LZ_RuL?ydy``mj z>O)aGFRXF;=04f^>+bTMR8$K6 z0pR(wB*3XD6`#bqNoP!0c)ET9(Z`$_0^aT-4=cI&{r%;vA-!nweIeYmI>&x`qtmju z(FSXB%|Qk*qv2RbFvRuO0Is}llj~1xis!pGB*}$njf2iA2DK82407O^EA`(d^ZH#h zoa;|Bd@hF-h#*KxxZ1BQUf+&CsNZm6pn1}CY<&8)Qrq`0${(TMcN`LGtBLj|rs>Ah zKTR}2wf`cLDv|uIB%%?^l&Nzd@zt`ng;hNrFF!8h>jH{Ec@WmoHRnf><<7yN#nRpl zQy<=#e$Gw>ZXV-VU>g>ph+v&9A|91R64%7=wZWGMdCqUCQA%PFAM3yD=8DaT*^QJ+ zpqh^`g=<-ql!vk3vXfhI%o?ts4yBL@6S|QeGtp3o4SfnZn>cEZKKF^X8%8%+5){(t z$dkT87VObGkAvLG@zN*$h^VMpMk~LFB!T~^em3@+mRxWkb?@_S5dJ1nolJw6!{+9v z-(NX5RcHwBG`k(3;L zrBd~i;0s}RKc)QTT!w364N0)Wk9H+_jMmdJod&a=MwR8^Oo5M?thq%b9zdAUta-s+ z!{s;fQ|-x6%bD05x#2(gkB!|ji_E`Ysq+qhaTlU@b#_I~nSEVHSj79JqJd(^W028r zz?pwHKJNl~4bYyxSyB;QSUXy~!AT0KyfkO9zOCm_<3Dm$Rjo|ni~f22J^f6Y((6K5 zP$-;KUTsax=hf@_cZMACCz%yvoUXS!BvfbktIv-8 zfi}v=sdh9Kc8{ux$3N0gf&(b27D`1OOD|Nnwv^)_l0Dm_(%s?=Mj#-&GtOV-Nr^#eWC9*DzrL=?oVilj^z!7S{g zlkl8A`G^L@!4`xR*JYdWy5CG-0iv}&{7Zocnce0sSp6YTzA zKS9pF(l%tA+plwe*fw}lOBG#{>`v60LSyN2E<74)x-_vB6x*-9WU|~ zMf_^~Ky{sI;>g9R`AzgLbWiV%frC*#&7q&S8ycn`*epNXooFksN?2#16?OtpLc#X;2~oOeUGRK$$U8e425W zM3h%JA23)xwF_^GcvVk-BctCnd`WIaIn+dt|8?7R3LENoQ;#?%=L4^KB&uE>q`#f6 z^sR7;1v&Vg#az5!c{n}e(2e)wwR3gy@jE>ChoE>fDVW&=8Xa=XBxW;B70C;ZFW(CR zK1oiQ8WhsNWF+-6=#|7RjqJr)4EAnUpa`(>cIQCmp?u##$i;l+hBgaPggN2<6B)VH z7-S#lLYspBmZvdu`A{9$&(}_oFTpcFcoSBEV%Zb$t2-axjR3(?BO6WK3Slc0x~p_R zCUrna$H{LG^^%JMG@;5HQ5`4XD#sDi6wL*tyFh3@7=#3^^s}_fK@+|3GbS*_xo4V0 zB%NrSdS_{^x5;xuA`+$Y2&h%Li9$n(M-k6?5Qw8ibfa*YdbnZ(c=^KGhKEdJ{?XHy zp!-Kf5sN3GCLjVM+HALIPSnoAqhmh@t3;G+oft&QnC>`Hl8=iMs4c%f3-UjUb z=W0c-|Ac02G0%MSiXr1x@Zj1Acp>n_aZK^i8a!8#M&YM$yaWcG4Pkj9^c;VO`~G%a z3f=_fcq1uoZ9yM@?VDRsGCf|+JPEfV4nv zG+o;a{MP*W>&Pj8;&FU%!T#pz9Xmrr<^~T3ngZ!odO$oFs@R(FPYQ~{jj1xs7M6Jr zd))_2fSWVI5z1<5=$d2E3{xhInY(ZreWv3TsBvbZUxXs#hV*MOnL3W0&a?2+zOz?C z&Gxi}WMA)i@K{?@NEP#vhc#+>AbU6tV@K~q59+8~?7N^KG11N==1zh<{EbJ!6ZdFJ zlUw0<2@&Fs_aDH%*Gt)@t@n0=zO2bU2SLxtQmTQT+;^+Dtw+!HKssZ#Qj0Q-X?>g_ zKx-jcnR@Q*4XOzbJ4@IG^*ruyY?M=Vart;s zjO)kAP3`0*WP_*_h(~QXW0kmEkCwIS$Ay>#O2?FH6jcpGPDgNsF*NpA4ga1(b+O>) z3G%ILk5iMH4BY)l;^Oom-a1mU&wDg%)3f&-)i-+)sp6pURNvVXlv9HVEQj?L-V*u~ z9ep)RJl^lK$5SgYVi6JzoLAoRj_2pC(LdCCv1R&$qJ=*V_Upt8+|ox)=KVSqQw^u1 zty)q@N1d1P!DBHbFqhLsU8S6&)8{|2Y{`@TR#KqW1-?A2i968~*Ry z|DS2}iw^d^VqTSi<2Mmh-9@a<2?C3@1-@YPIUH)4hLI%UH6xp2;$79u>DZ9JgZ{#s z$g;cwc%?HcJ_&f|C$qhlAYEvoC|+qo9YHDgZ-sdOQUcoQZbZ0ojP}w|U6Pn-#y~aZ zznm;HThWsnA&S#Y5EQOQKD=h1h+F!k^NWR6yL0SxW99`#E^-P!M6_19T3!o!1Qw8K zrSXCk+^>1{9FAu0ya^rE6_FBEaG!Wlu4qf8>I$R1X2%o(VF_icj#ms#W1>VXi@b=- za%yK|9yS%4;_Td(=3tOdWaFm{^bt2+0mx@)gQ(jh?`BX^3>f zwjxM(Y}f?oFQh96%u#TUSN_reM#czYBt`O63R0iy1T-Inu~00juo!iajKP6b=fXV# z%B_wh6*V34LhKg++=jdPTQ2-m$EseSMgMlUpwIaGmYFdY{!#@8#IJ(YW$H@MN<3bQ zSKiOL)f%Y~qXsmW)iRhLjjWO5>KRoY{_^t=>y0ukuZ{)pyb{t}gvMvSBo1=3v<3&MtY|=Zh2X;)SP`d2RD)W;ohPqu%}W zL#}-|tIES+_e0D(JQG&%$KLRdz3~5m@E;%k1F`L6FVds{qJW?PfBN<{64n1&+lL#Z zLnIA;Az^M_K?y-VN$&r$pai#&l+YI;K?xuaP>PrLi-b6}*#EZ#jLxNG;b`S%P0hn2 z#QlFCt`uqV_SzN%qkY#;#(`7UMu(UL))o)wB^Hhu24UEkp=lEO#Q2__-2WIk=amJ| zF%zxnX%a&*c5%QF1H{)9%KS8mQl4Qorsm{>3KtiBk9*ngUH88CIoF>KdT}Hk>TuXM z;i|SRX+kvWxo_BUz`tAUGsZr{ugi3)Xdy=lL&WmIbR2;${E~*W8*sqF)FLp$1|lmA zm=C6@LDaS;o8e5>2_|ipX;v(5$;Ylib4YBag$Gr>ybWd|^<%VtXDJcIvh zgQ+B(BR#|RXX27&xWif_JYw8F2?cndoiQH?2}O92oS_~eLVsE^G!GSr_nY$HYE*EF zN0pK)B^^gU=&K9B)P2TSnj=QqQXw}VR0}zZj(D`lwUzg@au(p+WjL~$aBMBS-ER@@ z9Z^L4xtEb;;8k&K%%!4@01JX0DnzMF-vhicwBL`vJwBqNl(Ue2m<&gj#V@fc4K5)p z#8sh0XdV^dt0EHdbw=5Lu4i+K8fHB6L7UCl3whi?=l|8tR+Nqe(t2NosJX z&uHuU?GZ0qd}aOHSR+o{die)M1n#1f(o=Bjixn*>>WWjvO&C}685+9eKj*OPhvNEI zXtW_^S70vJT6@w5R%HFa>=yHx>g)c%9kyMLO6CNSmSbJ0@~m)@mBhs5n}Ybt}4VWpoNZW)9|*3@SodgeK~lMoo5H<+&7$2tqsZHS8;7K zfFH;>ZK;$#I0R}22mn^>{;@;ho3_b?K0+VHPB^FFiHwclsyoJvquCqF_rXYt+obJN zbN6@~2$?e4x^)UsIS?eaSA&|iV&iCj)*?cZjfoqP0*efyqRk{9j$@GARwKF^8h`x) z(VNktw}7SHJ;6fetBav}&dR4emdZAXqwmsKI_;WT^VXpUboyiMv%FUHx8}M~k*x{is}CVClPM73A@exnq!w>L5kl z8o9U5Z!hlSjtHa)74Y-odu^|`tZfVvxy-(Wer$3YY(1L8j%wi42re`fP@v zgomF14fy$sjR!f>S-uADn(23*NcGL>?TdbHAHf^S=M7;1x`pF6S2q_6Q-}X!-_2~% cUENGw+`L>YEYbOdc?5Wc(HR(|Rb|ls2iw)(eEy?5`-erEP! zZ+B)l;sdYh1FxPp3zmzWJsA^?9>_76^xhx&w0+Lh4mbOW1By^J;4n_4HQ9|bV_rZ% zuG=nz1&c#`&R1^mTcER-_CAHW0CwHdiEa1mN=<3#v^ln8P#5ySwds}fPFL)mGXAS{ zl2jHrQn~bfwLb_cvu`6$0+&x}Jd}gJ8(9gS)Fm)H4$>pBDRqD1QVA29VLl7!mL;!y zZ0;Ux1ypxFF5xo`yG~MN{(C13|7(76vCzk~S?h4!CRF`Zh@J|(wMdKStU9XYecta0 z-Z()#J%3ZrQ^=Ul^U}{jfB&oZupB5-m&1#_JYZL2p!Tev*kphF7wD;drHaM&^$NIY z1M{PI|0v~N_S?OZO&ayYt#&=e8J0CAQSnc|=#!9*Kb6|n9&D&k zxT^2`fku!rCEb&SGp-X;EPW>1KyN`phPzXi*Rv@tuRzw}V}FSrFlcGLnLXM+@jE%Q z^5!amvve{EeR#fw6xf(yIhnDX4bT>O(vHgHLizq#sHf*9dq!C2D7uqd2rf`nO(h}y zUau-qHpl?y4+frjx=Wy@yWt;#ni+C>|GOG4x+jz95t2f%#q4Fy33s2daM>lR@O^%j z0S@zds}GaGy2u2h#{C(>%spqV=bOrK5e8+Rp=L$qw9DpflT1()1h# zgqz>BI$TG5%Tz_YxpH!ahJm|Ve5}0lv>%=;!#9zWu0w@PD^XNp>9n^%vJ`Ij4QJxR-p9Q9)->4SVf##IAYF^1@}fio%)+bwIhaKvg%bzKM~LN3_+Qij znk5=+8vRZw5u3(IWd(Rq)lYK>9E@prOQGNq^HtFcOnO9QgmWA#+UJNcpQe4Ssj_Zq zEnNr{myvIz-#)tnN`OCR>8y$@IYCybTc0QI;3E6*5i#Z}dXQ-bq_*yZiZDe{U;x$D z>Wmi{?*sjTO3-Ta%N*b9tlgf@-Y0f#`wdNvrX_*_sTEoNwc7p5DuhgSI1d>Nze-N5 zS7wb#Eaow|rSB_)qvxwoz<ReaP*X^NEr=$TOzvuuK%i>~&S=yy%FR)=#aY;@qf&a6? zL;m@WjcJn)^mxDdHkHq1k3-8Y!lAXm2GUn?q@_-Koxj8Z5MNQM(5>190e&~!xeuuK zi?W~CAlR$oL?KLp4^Z4r*W{or>lAjG?!htRZ|YBi+EX!sTeOL`glI6n5spDJ2`XK{ zPl4Zc5?JqF(3vsQABd1=2Eg3e@70Q+b}7De!rLH+ucEy_ABX+;Pe?kl7j>?9IuS&i z*1oJ6vue$(T)1=?YDfn0@R0vS_jIDKs;_E)N-W0Hp`nhX3?hMtP7h!mDLjt^%T{sW z*+b^E5BrQ=OCJ(W{kd+~BYltHrn=C9&~*2U*9dw7m=)G=W2bUFxMlBdGl?UpfvaeI zB!>HjWy;t7rraXY>0Ff{bHXxLK?h>mby`-OKT=oENq+93al@#r(hBr!3wPD1fX~tI z(xG>kylGg&&6pPIy0FPKbmLP^@6W^qn=(XU4BjhB6_%8LrKS1q*Io3q8h*_&MO7bX8(zuDJ6e@Rkth3s?_=2%N$XneyG9%=d{CoJ zMskymKBCDK_n-h{U2M0^*Nmhu@S`#?9FXedFj! zf1zqJ+wUnUR?6OLK8~VYT(3+4CP3Ty>fj)=fQ@7ZyRt=$d_8c{{2S945gpQy(HRKN z#G>eNyi+)2lBvMis1(}999+A=g~Tu}-VjTC;H(gtLkm7!kr5h}xMuVkT39iG z+7;tF$;j_+!}%_3gHmtEFfd(6jhv=7r+}w!!t$%7b=i}6ZIukG!XZFkomJDsEF&!( zLmtF-?A zs^&3CBuuio!<^%_0n0HI7;B4~)oqj4R1r;#N<;IvsA!jM*JQXnyzHGN+M0kys(&p` zPNTkp3Nl#O+3pJdT(*RbJvfd1Ekh&4kl(uF(0n3-`frC9NRw^hXpTTcN&d^Egn|G4 zL3>LN$g7je$I=BLm07>ELg#`Yi*%mL(+{|vjQ8aDQJkWiupySUFg;kJh)MEoqy&N$ z+&D}7C|?D-HK%tRn3&B!xYW@J5GV?#t_3Y>4-8K z6?<>cILHo^nEcn6@2_rAv1j#7t)5B8IbN%V>C83)|LqVJ_x;%$53LS_=>z0p+KUAklkc9r zCH*wFY14R$o>c+)JDN4_MlbtKyZnJ+?~KKgK|_wlGrOkjchI)FI_C3No$6JYI#OKt z3bIPuB*-I+? zUP$1u*66a*b4{Z&tO=ymiySKOIOa4XRO^x)RquntkURzu5lLt;Gi}?kp##!Y%Yk&Fh`LbT-5F-oHd_oee$d$nIPtKU0g+u zZi9nZU6ch0j7(eBQ*?x@(Y?-fkkyV_@$RNnud?3J$qr3On(YTq&k>#l5a-Hl1~-?u5xNEglqE+osBsZ1NFH| zNr7~y4jxyhf1NT(I;$Atc0p+#A_p;(S!~t)csGT*qQg(QN$8wqEiKL)o;Yfk3St7S z;=c`UPXo{$;Vt(dYiFxuX*P@|_VPG1Xx{(bp>BiUKZtlRgJwM69cKG;k4`h{G%la2PeiOzfRFBpq5?``oltsec&J*7k0(wdn-j1{ySy>$2$%- zL5n8+)EYJ`WsteBJbPk+Fy2Ciuu%zmFraT@94j3+3bY5)N%o?~eJ-2CWTiA2?KDwH zr}5?M7f@R-)8ZBubs)b%b&k|1NZ$q7gq?=yv+Z)SrNd!IKqQB>007)J@rEbWln z>&CUu)%V~0)H2okl+-S|L_w8F-0)?j7@qC$3qm~-{7N4~yIj3oSG1Bf0$KWrK9EDv zj>&Io{)yWaUG>Y5LZK>%TNU%OHVQ`q@|q!mx^c^z;+vrf)L-)EIT_Ge5wNt%)r3c8Ns$F{ z`DNu$A)CqNnw)dlIVM)g3Tgy!!+^C>-=uzGbbZzZ)oiYC#&jDVdY@c9`nIB=S z8bdsX?j}^nV`=qt{N<^C&ryO|-{BYkhSZRi+wjv+X2d06A}Zshe&M?A7Pp%++|4731Tp z8g6^7HguRQF^6L}@$kTvpCMbM;&} zkZPZr9ezBmzrRBAjDdfP_7HDgV8z)vQ@J-Zfajn2$Nsy3^KO)G`C7_VvO=Y#yBCIa@}^t4{x!xi#K!zM(4vxl&&jR`c%t$0ovnsXif zIU6iSmxZgD^*F((FAc1>kd&>hEl0e!;%^y*(8zcmAH@i*{s&88296&FHphN~B9xW> zm!8p3PAPPWjnZ7--6Q%g_kxr^Pj~7&mT87_+Uw?X7M-#98)#JL*D?1W;a}_SUta!! ze151QzWOB!=z46)d6L&w6M3f6Z#Y-kBH$KM1jkv#Q+u>_Xe@E8p z;g}bTot_S_I9`YS^{$T{=O6WuPrEHv<+Qp*TxvoOELY$qBoKtc8B*&;bAm!rNHMkR z>?wk|y|n01Sf|P=mo*zz_B8qGW>1b)tREQG!<`scqYI0c23J5oIOKRW%0JP_%c6sS z>OM~HQCZ0QzXrtU&9SLJ(oLSfITUa-#0l8Kq;;GVJ?Y6j4-~#9xG^=_n5O)ML+)Af zh%kBw{Pw^e5mt*88c%vlh!?%)3zmiIuA}7m%hdrA0gmYlZr3RT5m_OqmFHhy+0hx# z^k3N*QnKI*3?8KKvE!F-ey&Jn<{0q03;TqMW3Sj4#94n7N90=G|E?!pu^7-uRXaWT z1+DRHe+IU|K1snZPMdMmoKyxw?)Jl5!1)m1T&x-`22Ra-PL&#i!Ts)aI((Bi-;M!> zh*j@Q>==%T6}3dTjO)X0wW@7%&{$}h3{?Co84{+?1zIZro_H1!fZ5tW=CeI`h7y^S z=21B#8bTC>qI+vWh}(AH%Zr`BP6^0V4v6;QZgW_w>j>X9>jejsxJYc`wVk~5?0u$lSpVWTeH7y1CYJW>WcBUhg2rPApD9%%_{R2-j|hSJf!>>KUg0x&7>+JMavmCFvT}e24?`L54zHH% zK0@L0d2$nZncmJx&2Ot>FXzY$_@)b;%&lZ}-l&5dCjY|4g)AXixF`9|)N|@RyYe`U z_98au!#2&@2KR7|&>V%^6UVK~eAB;UW7!oU)3zdA%VLknKk4F)o8kZW6 z9FMEs(7QcaJ@_`zjP(q7$2Q?aW8s!aiWH|$(QY+b0TActC*I&$Kusz1YqnlcHsdm2 z*w9{J$wzg<-oRaOR|{z+xa9mwQ~sq&){wFWfyWNbF1ENOAHC+2Q%Ex@cYaI3bTV%! zZL@c?z=F+O=t_upbTe*qfmfk1wG$$Vo#8y|Pw&tgyUqETWM^1oI}y94;%ze_1F{X& zuNZ3~-T>w$@u|vOtT)mn^H;L92yc9+Oi#WOS)ou~=}yE8X`yKE@1A7%;zAL;@`6Z@ zMao4vv?5UGg*nnf(*8)qGFh@h@`Qbu8NC;o;bu3;5c3hL4=V8{qNp! z_w@YVOHCM;hezkN!rU|hKZ!AwBM2&B_z|+?{{@^ff_4d-iR}DQab>kN1+;B>#B^76!hJ;ubPSZQn31^Es=xfLa7NmS-E)vP1sx_0~ zLuunF{B+W!(2Tg+fj>-xeYCKe6v<8x61_fc*XK}O4*pxP-w<<<@9D?D{PPD=N=}kH z-S1V-M2AA@RD%NFOHk_wXt_~s*H%pn)_(`^Tr6CBzJ*W^9o|01Sw4`vr= zMZaX&;y*Uxe4aWz*|J91qs&A49+9il`dE=GQDRqgpk^Ah#gpS{HwDdJ5Nf8auSr=O ze8T!#(csl!VuGEB^y)$a30s3%>(T1#2GHmBxARoJKsHFJ`5>(@TD7ZfU6IaW0AVRq zuuliwphHsXP5gG`>H7T7=U@pKBL27#=xbiydxk+A&rNp3@&c-0XZS}0Gt_~0pI(s# z64{W}VYs;jwaI3JHCKr@Gb}q4CFm6+v$_ZmGlZ$oyImNwKd^ORc0@g2bLjdbm;jdg zvCvE(T;?!`T|w2~%FPJe@s+hEKq`)qkLa6q?@p3G%R+g!&VeV>>UntDp+TI#;#o`i z6M5j|q`1IbpN{|26O&-w#M^@lj&{Jm#q${Zu7Ah2(k(q|8-?XFcvp`Ml}{0PE)4cJ zH2VO({XGrFhsM%DY>6qO{o`=zS80}>=l=Xc9n*JDJ@qU$QNP;qZQJb(pb$N8`^8AT zZ1!qLUhH*8Za_#CdnZT1_lACNPijEc0hz2f^JY8%IWI8hX80OeRROE#QvTVQb1!le zSq#f*4Cts1RdlbB`{+D)_ZoMBCj40iy(C(?ncF+_lmGw# diff --git a/paper/ltl.tex b/paper/ltl.tex index bf4d685..6b8a93f 100755 --- a/paper/ltl.tex +++ b/paper/ltl.tex @@ -766,10 +766,10 @@ mechanized in the present corpus. The deployed internal consumer is a quorum-custody signing service: its inbound boundary accepts a log-derived statement only when independently attested verifier backends agree, and its policy consumes recorded -observations, never operator labels. A prospective external case study -examined the Swiss Post e-voting system, whose vendored Ed25519 dependency -matches an attested subject at family level but not at the attested version. -The model treats that as a useful negative: attestations are version-exact by +observations, never operator labels. A prospective external study +examined a production codebase whose vendored Ed25519 dependency matches an +attested subject at family level but not at the attested version. The model +treats that as a useful negative: attestations are version-exact by construction, and a family-level match confers nothing. \subsection{Proof portability across forks}