From c8813b34ff01afe61adb6d16e8e38befc7441d2a Mon Sep 17 00:00:00 2001
From: Benjamin Lipp <blipp@rosenpass.eu>
Date: Tue, 7 Jul 2026 16:23:41 +0200
Subject: [PATCH] fix: add missing directory

---
 marzipan/src/proverif/__init__.py             |   0
 .../__pycache__/__init__.cpython-312.pyc      | Bin 0 -> 170 bytes
 marzipan/src/proverif/ast/__init__.py         |   0
 .../ast/__pycache__/AttrMap.cpython-312.pyc   | Bin 0 -> 2142 bytes
 .../ast/__pycache__/__init__.cpython-312.pyc  | Bin 0 -> 174 bytes
 .../__pycache__/attributemap.cpython-312.pyc  | Bin 0 -> 2147 bytes
 .../ast/__pycache__/attrmap.cpython-312.pyc   | Bin 0 -> 2142 bytes
 marzipan/src/proverif/ast/attributemap.py     |  33 ++++++++++++++++++
 marzipan/src/proverif/parser/__init__.py      |   0
 9 files changed, 33 insertions(+)
 create mode 100644 marzipan/src/proverif/__init__.py
 create mode 100644 marzipan/src/proverif/__pycache__/__init__.cpython-312.pyc
 create mode 100644 marzipan/src/proverif/ast/__init__.py
 create mode 100644 marzipan/src/proverif/ast/__pycache__/AttrMap.cpython-312.pyc
 create mode 100644 marzipan/src/proverif/ast/__pycache__/__init__.cpython-312.pyc
 create mode 100644 marzipan/src/proverif/ast/__pycache__/attributemap.cpython-312.pyc
 create mode 100644 marzipan/src/proverif/ast/__pycache__/attrmap.cpython-312.pyc
 create mode 100644 marzipan/src/proverif/ast/attributemap.py
 create mode 100644 marzipan/src/proverif/parser/__init__.py

diff --git a/marzipan/src/proverif/__init__.py b/marzipan/src/proverif/__init__.py
new file mode 100644
index 00000000..e69de29b
diff --git a/marzipan/src/proverif/__pycache__/__init__.cpython-312.pyc b/marzipan/src/proverif/__pycache__/__init__.cpython-312.pyc
new file mode 100644
index 0000000000000000000000000000000000000000..f362b08c1f565d25cd17b778af3c53f0a7d952e3
GIT binary patch
literal 170
zcmX@j%ge<81h$;MSs?l`h(HIQS%4zb87dhx8U0o=6fpsLpFwJVdFp56=cei><zyBV
z=ojS|r{)zT78mR1CT8a87Nr*C>*r?XW#%U407Z(bG7A#(^oxs<^$Uvf%TkLn)AZxx
pfzl=M@p=W7w>WHa^HWN5QtgUZfhIEoaWRPTk(rT^v4|PS0sz-xD)ImT

literal 0
HcmV?d00001

diff --git a/marzipan/src/proverif/ast/__init__.py b/marzipan/src/proverif/ast/__init__.py
new file mode 100644
index 00000000..e69de29b
diff --git a/marzipan/src/proverif/ast/__pycache__/AttrMap.cpython-312.pyc b/marzipan/src/proverif/ast/__pycache__/AttrMap.cpython-312.pyc
new file mode 100644
index 0000000000000000000000000000000000000000..c6f4947dbc4dd73080cc545845598ecf98e1c96a
GIT binary patch
literal 2142
zcmbtV&2Jk;6rbI-*K5blCQfJo6*{rgB$jAQpyEW4DuED!_L5$3g;ty0ak^nY+}U+f
zheV319*Pj6IXT>Xbd*1Zi=!N<RzVy%^=5F9P*1$KyLOrnabXT`-q+0j-tRq+e<>7l
z1lIlBo%M$jA%CDTT<Js^d<06Hn8Xxp;s`ZCKwY#&N2*Cqs+JOnNIoZ~^n{oxCLF>&
zxN7NEx+1?owIYO>J9?vGxoZ_Mly1ANQ28QYTn{{MV8U>v5@oOpN}DiJ6HHPQO`#^4
zB1^F}lk4JJ5UY#uxl}C!A55F*O_?&-%4>E8?5wG<9K^>Uo&`G(dK%8=Kretk&gA5_
zG4QD1nSf{>^vPDCG9G4b2LT7<TR-F|tQAMMZMw;!6vnCV(cpm|P}4F3x}n=m=2Js=
z=_;eTVKCokCe?lVoe?}*s(ao}bcN;m0n<(D)v4#&ttfiG1mV&*I~0PJ$*9-l)M)yF
z=g_*x9r%PFaNy2gimnJVPRyktCUoJ3Ix;^ff@qU%VVh{6#j8aQgu4eqsA$PiXhX_p
zcAYDb;Nw|JUwu`5;5n?iYFmv)m3uyO8@lgT9o=$oaMtjuj^$cF0eJY9)zICl&y8w>
zdmD^f^{Va%)r7C526R}{AU)8ut%;#`=o!P0W<l(d=Wkwnn)<OY0E2`nS9e$_a~3qY
zd!{-ZjHtSMptMPrY?F07a&B!4*v=JFCc%iCIl>D935L@Q%p3~wF_SzNH_0REYqBYD
z{2f#zo`)?|zGSV>IQMusj?k^uX22r*K;#8T;FBN{*7!J{7}K;h7U+-+^-i7EJ91){
z{{e_y(if%d^7E;g_N~2Jo#~^g`CfkhpA&WFFCt`@Pl~iNeO#RHe%i~w-<QDi%Eul(
z9-kz8R~Do*tc-e2Ap?5;pPWP$a-^PL0dWa@D`3tA__1>uPhi#1F?H&vo$q({?;WY7
zo>Jly;0>j3S?h9W??N~p$IBYF0nIuER!Qi68^0D0WlV2g(+tlIU=V!(IDN|Rsdom?
z3=tNenQdp!>8a(OQjQQBNzWlGo}_4+-UFjef>8_@9L-IX8HwS%BvA1QgCArxDhEO|
z5I){OW2_lXgDAjMPhmz5tZEP=JW-3!ZestB)!CjhdlBKNv+>(|d1u$LhI8vMu}4^w
ziH4sZJh+<1uR+3VaCsT*Gr!O%?H$Z|1H`D`zpB@d)a%FULQh$^h!>IkKSpilMo`ZK
z41rIGo#iufQ1~XFMS&xDw^GC>2VW3P3v-(0cxKZ^9fs#&Q@4`{TxWU)5P@(xPAA95
zg{vrVh&VnWq3o@$Gb0F7tDa}`tLUdF@EM6X3nj}9_&k^gF@UK1JcDr*nCS0-ctZXZ
zrL@w|32EBNbfxY}S2?1~0|ItmPNkPSQlG%ql?J%=^Fq3eF4)ioTVEE^a~&C7bKRTh
znnPD<e+u;y>Wlk}oezJ$f%ak&dx^1#nh4L`iX5tjXWLMf<+=WnzG_4qgmTcrf99Bm
xsJ^I(C9DLQjmKK~I41NHz6?H`cOTh;CrS{0Bjw)-eJNiRN>A7RCa^^Z{{_Wh%?1Df

literal 0
HcmV?d00001

diff --git a/marzipan/src/proverif/ast/__pycache__/__init__.cpython-312.pyc b/marzipan/src/proverif/ast/__pycache__/__init__.cpython-312.pyc
new file mode 100644
index 0000000000000000000000000000000000000000..0d60ad24f14c07abd8b456b4ab9ff0e3eb5d01f5
GIT binary patch
literal 174
zcmX@j%ge<81gV_9Ss?l`h(HIQS%4zb87dhx8U0o=6fpsLpFwJV`RZrn=cei><zyBV
z=ojS|r{)zT78mR1CT8a87Nr*C>*r?XW#%U407Z(bG7A#(^oxs<^$Uvf%TkLn)ASRI
tOZ4O8fl5l^<Mj$EZ*kb<=BJeAq}mm+0!?QG;$jfvBQql-V-Yiu1pvCUER_HN

literal 0
HcmV?d00001

diff --git a/marzipan/src/proverif/ast/__pycache__/attributemap.cpython-312.pyc b/marzipan/src/proverif/ast/__pycache__/attributemap.cpython-312.pyc
new file mode 100644
index 0000000000000000000000000000000000000000..412f1bcd6197c56be04b56e8e96bf72ccd6a1a31
GIT binary patch
literal 2147
zcmbtVOK%%h6uvX#$HcKSdC>qW^u|e(SfVk3iWNnw1VRY45=u9?LZk7_bvj`l?wxT`
zheV31E{YJMSvl;ybd;aM#!(hjqaYTnx-+;)s4LF7Gj^JX*l-u;p2vNB=R0Ta{8A|7
z2#ou=JL?Y>LjFKwFw%+A{|J;8v4|x(#FZ+Ngu3j=u2NClR3#-5nS4$x<q5G;Oge;f
za8%OGbSd)!)shrt?-=#E?X8vMNV)AbBlU}raU=A(i3<iJl_>pPP+EkMie!<BY)KWx
zl39wSS*9kx1+kh8*QF|1xG-&@H)UnOR$sHTV2@ZT%Rzh;;v-<^K~KZp9Ownm$5<vg
zZ4^8jc*Y@`2YsShD2+wg+hNE7`PL6P3S-qZ9EWalNQH44_%wWAgw(RlkZu@Gg9X$y
zJX&ScFijQ&%%Vm>zca%}%QfHM5l7fw5HiD}evSH`(-hJBMF<za*`W}$Ek^wYr)DDv
zeV5jJ?!py8$bq|HSsW2%-Iz;LPUyl3b!5Ij38F=|rEQ{v7LO)5knSExk*X(Kp$w^j
zIW?}rf&lkY`s%Cl1K(xks$<vdW$p*es~bU3b`9IR!CBoeyS8To1>oUZcHQvG0XNHa
z?r$(|*UCl^mJQ&`t~Npj_bk_;%(@PHLS5e)PpDiTct-K&5fHoN`J30CrhY8+!5~q}
zGh7yBI13xxJCh=Ihe+`rC@nHVw#hnfIXAW?tm!J5BjJ#sdBO`42?s3=^c+g@Hj6x#
zH_0RAYqBYE{1{3K&%+d{U$W+BoclZ)L+BzaVIRo601Nm8h=e*mhC4=eeT{`k0pvS%
zn(xqwtAY<e?2?|WjI2DLnrYqIyVagPnp)`Q7ydcXX8t15$jZqiZBHLhE_6Qa=HKrr
z;CU5bp&pM-ki9F5${ALMg{QCr3jd#+hzvPW&#!>E1ilTmy8u6SPU8;D8Y-qu{j~G_
z&i=h4t=LtId>p)y@-1s#4((kC$31yj!8V{+r@%@Hy>H`fac9Q#=5^ily%4%F0D#k{
z{GNJeaL)kY<TI<~?zvrUuB*-ogl1B6SQU4Y=%)9;XpwLj0|tkEBUTDA=$8a4zGLuJ
zidH$0L_-940*$d|bseGrQ#*wz9GF!<MtGu4KD&waKh|cu>g+{?!^*}F@a2_V#~jX$
z!^9q9O*$GrJ$Q9>onM0mufgSWV4wLy#j<yB)f*s&_5M}6exzML))u?!;zhiO<o_}1
zFi$`|4=@5gA$FEe;h=CQpGAQ!c(*i(PY%8yx*p|p-Sw@8gE}<N!-nA`5jf8BO&|i{
za_mlyj|<mOU=wkCLZXacU1w$(rK-N~@T=&jDDW8(oJET5g?s_bgBXCQKF?wt1uhJB
zKs+IT%1T=8<)k!iXFEz~wWA)<l|BKxmr12p+DebW)KU64_3~1B4qY&z3#ML1O3$}5
z=$h}`MAtmJiu+Tj7g1l@Uuu8&^9{6@lGsa(32FqMyQNH|nZDydR<`d2%SP1{97LJ0
ziNEKV29cjgVi_|*X5+S2KaL6ggs*@P`#nIm;E9r?-^kqWgucvNm5NW-{w6SqjsF4&
C@y}!c

literal 0
HcmV?d00001

diff --git a/marzipan/src/proverif/ast/__pycache__/attrmap.cpython-312.pyc b/marzipan/src/proverif/ast/__pycache__/attrmap.cpython-312.pyc
new file mode 100644
index 0000000000000000000000000000000000000000..110c9389912aef43cc6fa4904584f4c5a329c365
GIT binary patch
literal 2142
zcmbtV&2Jk;6rbJo$J(*8i4z(?g-+}=i6v?is5nuiN+5)wy`&dhq1AeKoNm|;cXplB
zA(5i0ha!Y%P7XI89pz8q;wT5IRS*YGy%}62)D!RRuASyXT$sa~_cc4e_j}LdU-J1Z
zfptH7XZ@i>$RB8oRx(zGAA!;#1~CMS*g{PZP!}!HmTHons3im<lFx}DJt0Pd35W0<
zT(x97Sx&t`wJZebJ6f}8I%{PykZwEeK>osKT=QM7W5Q@9Vr94sN{28~6AV%l4WT9(
zB1^C&OEtu|Al4A!x<oAv7bXq#CX5u=@@sY)?2I9^EW{@uo&h@tdJ@iNLC=Fe$x`vx
zCcvYBX9}V@(5Kt^@??;{?fV>%Z~c&^uvTr&vgjs<QW&S6OZ^9$PYqM|>4s*tm`8QZ
zp>;+zU1y%h461qbJKcX&X}IoA_zBbTe5M)HZBW;-+F|s55yHi9b|?f*gHgA|sowH@
z*QO1Z+i->FbKuUagr5k~cEqJF#&qF^Ix;^jfas8IVVkI+MXOB?gu4eqAgl3FXhXtd
zR)fos;Ne+HUwu`5;M%NOx6Ed<%3Y5+P0jPFwq`mvIBU99+jLBz06culY-&!`<9fBp
z-3`XgMpg6tss?<)6_qA*SXCk2SJkbln8nJ-Gl7?8K<tv|Z(e(v_%S~Og9HgjvssYh
z%x`h$Om#RIVRiRF>5vTBChK_Q+}akfovWlo{4qBRgy#j~kER)zITWH}26-%Ql1I|l
zWK-byJ19#$2U{S2$=aWB?($#~p_}!V&qDh^<atQo(;#Bj_#~c~P}Mc&WA#w)%xS%2
zCuVscfY>DiQOc}5pPB32+Pl@AJ(^kU=NA7tQRe<4LT2TpK)bWYg~i^d{oMNl2|TYn
z?9t=NX|i`^Njk&IxaSlypy&U|NmwCA>iHEAm%ulDW?z6GIcM<%Rt+6fW`5fFerNyQ
zky7l-MLq@IK>C)oFNgLngrjl1tYI6_tW#j+nBKSXwrD6LdUL9(yN(Zo=mEglQ+`jq
zb9iQiu<*?2*n4(gDfQ)2h)|Dv4q4G8h12vN7#-q|W5D2eZo<q^jOHbVicc8)Aj45P
z5W<1*@C!7;npRba0!-x;X6V4Gh7rOOrSR+~_WxL!@5}QS5so_>y}g%rb{%Utw+>@_
zj5VHU`02retE&7OB)kTfm%u*r3k}oW!K^nxjQjnoa{WlTeyl9@<)w>w5y}5!)M8Eu
z^*q1;_=MP5K0^nEJNY~c9KpNg0zNtTf~abcRaM(HS{CXsJP%u%6-VH6hN}Y+2$$n@
za(rC4f&zz#;}a63-1<7x{UA|yU5j5uKShDhNXS_rnU2pF!90ingx%+9jHAFrZwJH^
z@~0>z<v~_R(r&sZ^;UcG5nUM)um`C`a-}N`2y8uRh}$41BunUm4PCGeQbKZ}n?lz@
z?<Tqy&{f=@LA{9j^8Rx7!=G=Uy&T70Vl1R4#B;Zt3KZS7EU3zK9j~I*^^k)g<+t&l
zIiew~FD#;hl_0axSj!(rgnq(Tz=!khAzSc73Bqrr^gE$1Q&)xJ)3v_|Y~jIw0Z2a0
AMgRZ+

literal 0
HcmV?d00001

diff --git a/marzipan/src/proverif/ast/attributemap.py b/marzipan/src/proverif/ast/attributemap.py
new file mode 100644
index 00000000..113046c0
--- /dev/null
+++ b/marzipan/src/proverif/ast/attributemap.py
@@ -0,0 +1,33 @@
+from collections.abc import Mapping
+from typing import Any, Iterator
+
+
+class AttrMap(Mapping):
+    """
+    Small wrapper so that dict values can be accessed as {ctx.foo}
+    instead of only {ctx["foo"]} inside our custom format strings.
+    """
+
+    def __init__(self, mapping: Mapping[str, Any]):
+        self._mapping = mapping
+
+    def __getattr__(self, name: str) -> Any:
+        try:
+            return self._mapping[name]
+        except KeyError:
+            raise AttributeError(name) from None
+
+    def __getitem__(self, name: str) -> Any:
+        return self._mapping[name]
+
+    def __contains__(self, key: object) -> bool:
+        return key in self._mapping
+
+    def __str__(self) -> str:
+        return str(self._mapping)
+
+    def __iter__(self) -> Iterator[Any]:
+        return self._mapping.__iter__()
+
+    def __len__(self) -> int:
+        return len(self._mapping)
diff --git a/marzipan/src/proverif/parser/__init__.py b/marzipan/src/proverif/parser/__init__.py
new file mode 100644
index 00000000..e69de29b