From 406d0bc6f1debe5d9de43a60ab0931d937845194 Mon Sep 17 00:00:00 2001 From: Gabriel Schneider Date: Thu, 1 Oct 2026 12:41:52 -0300 Subject: The docs call pardes's scripting interface a virtual filesystem, served over 9P, and the guide opens on look and execute as the core idea Co-Authored-By: Claude Opus 5.5 --- .agents/skills/pardes-9p/SKILL.md | 2 +- docs/typ/building.typ | 2 +- docs/typ/cheatsheet-a4.pdf | 1029 +++++++++++++++++++------------------ docs/typ/cheatsheet.typ | 2 +- docs/typ/guide.typ | 13 +- docs/typ/reference.typ | 6 +- docs/typ/scripting.typ | 5 +- docs/typ/setup.typ | 4 +- src/fs-help.txt | 2 +- src/tutor.txt | 2 +- 10 files changed, 536 insertions(+), 531 deletions(-) diff --git a/.agents/skills/pardes-9p/SKILL.md b/.agents/skills/pardes-9p/SKILL.md index ea2114ce..06edbdf2 100644 --- a/.agents/skills/pardes-9p/SKILL.md +++ b/.agents/skills/pardes-9p/SKILL.md @@ -1,6 +1,6 @@ --- name: pardes-9p -description: Inspect and drive a running Pardes editor through its 9P control filesystem, or exercise its panes, builtins, terminal input and rendered output in an isolated session. Use for Pardes interaction, plugin development and end-to-end debugging. +description: Inspect and drive a running Pardes editor through its virtual filesystem (served over 9P), or exercise its panes, builtins, terminal input and rendered output in an isolated session. Use for Pardes interaction, plugin development and end-to-end debugging. --- # Pardes over 9P diff --git a/docs/typ/building.typ b/docs/typ/building.typ index ab26e44c..cca3161e 100644 --- a/docs/typ/building.typ +++ b/docs/typ/building.typ @@ -128,7 +128,7 @@ with `-Dplatform=gui`, `core-test`, `fs-test`, `snap`, the GUI goldens = The core and its shells One core, five shells (tty, gui, web, macos, esp32p4). The core owns -editing, layout, rendering and the control filesystem; a shell turns native +editing, layout, rendering and the virtual filesystem it serves over 9P; a shell turns native input into `pardes.Event`, presents `pardes.Surface`, and performs host effects such as spawning processes. diff --git a/docs/typ/cheatsheet-a4.pdf b/docs/typ/cheatsheet-a4.pdf index 4f8839f6..9f9f50fa 100644 --- a/docs/typ/cheatsheet-a4.pdf +++ b/docs/typ/cheatsheet-a4.pdf @@ -44,7 +44,7 @@ endobj <> endobj 15 0 obj -<> +<> endobj 16 0 obj <> @@ -950,7 +950,7 @@ endobj <> endobj 317 0 obj -<> +<> endobj 318 0 obj <> @@ -1121,13 +1121,13 @@ endobj <>/ExtGState<>/Font<>>> endobj 374 0 obj -<> +<> endobj 375 0 obj -<>/FontDescriptor 376 0 R/DW 0/W[0 0 500 1 1 581 2 2 505.99997 3 3 428 4 4 561 5 5 489 6 6 427 7 7 652 8 8 619 9 9 250 10 10 905 11 11 551 12 12 598 13 13 561 14 14 456 15 15 358 16 16 325 17 17 613 18 18 706 19 19 256 20 20 641 21 21 244 22 22 322 23 23 616 24 24 521 25 25 577 26 26 736 27 27 558 28 28 716 29 29 529 30 30 777 31 31 716 32 32 545 33 33 504 34 34 514 35 35 614]>> +<>/FontDescriptor 376 0 R/DW 0/W[0 0 500 1 1 581 2 2 505.99997 3 3 428 4 4 561 5 5 489 6 6 427 7 7 652 8 8 619 9 9 250 10 10 905 11 11 551 12 12 598 13 13 561 14 14 456 15 15 358 16 16 325 17 17 613 18 18 706 19 19 256 20 20 641 21 21 244 22 22 322 23 23 616 24 24 521 25 25 577 26 26 736 27 27 558 28 28 716 29 29 529 30 30 777 31 31 716 32 32 545 33 33 504 34 34 315 35 35 514 36 36 614 37 37 315]>> endobj 376 0 obj -<> +<> endobj 377 0 obj <> @@ -1180,36 +1180,37 @@ endobj 393 0 obj <> stream -x +x? endstream endobj 394 0 obj -<> +<> stream -xmM0C$@|"HC˪=x%΁_ůîBx3~o><){=t|ae^%)گtճ?xTmV(m +xmM@spi@`4DQq{FtI4poq&=yiV3㟂>Ӄx{] Y݊Z{ʏ{ ZCϺfX ;%$<ŦZQA\7p]Kq<ˆd]wՔ|w=7Gu#K$" +>ZwD/ɦVWM~ 8$ J`- ?V%_K]ҒؔZ!6.،/՟pCk!2YJCPXZ %"3egRmۃv*d~b D@[`_x r~+p\%8N18s@p\}[':Մ GL`3iE=#x&"縴݋qSV}ZwVxgn]cGz+- endstream endobj 395 0 obj -<> +<> stream -xW{xUO(MZft*CY"TnbRiKhComfrk6Jh]DTeequv]E]u7~o{]Ed;;;|<>/~%=Y4']Ћ D>p zɦ^ `PPo"oG'S鞴_#i^`n35D5Sn/&eűefEecwyQ$DKH߁f,\6њCu6_"B#0 f|+[5Gɉ?7WNLW3|}my0oq}- Mv8(춸*Y} hNWeZE~~0j1rr -5ޢNFZS0 DŽU=)UytUtylodvI37즍sa%\LL,^¬%,@." |Ъê"/@~ؒk)`Ri!S5S.3;xv!~\2JVRd*Je[;K(!~֡εgHQ8>vDJ+z'sGki1qr{~)#ef;:VoٔD#FXΖqeH?/ׂX/9^+%k 4ٽ5=JB т}#S|0J{ : -U|1caMZUd?{-1igoA ;ŶD׽]8I~uּfZѵyxډƺnfTŹ+^c_YU#qo#Pt^VqȬέSRi؀*5 $@IZ˙B#&t"b0[GK5> UuEa3qf CStfXE5iJi$v.2$>o 9"e+pYa{F13M/3u v!|Q -f#EB8DNGAthorKeen.㝷vu}–ZrGG¥eɷEuq'd-t}FФ - Dk9A "1Yhq{Ɂ_G$g,63>;R}h+h׀]MdtlD:R$iBh|ajd /pYBܬ ~|0?H.7|AĐI[| =lcVR -%Sy (O].vYZ4;TגbX#RDxUzaTZ1:CK QcuI0kHI=V8RhޛzR->%Ǣu9AAw~~ I0BX_?fZy:Sau|[iw#2GG~/dVEEuVwZoMHIT7{MN*+~u``IE+{=> mgm!C6"­F֨4h37S>:r6 w4tb't/C%Â+W봔L":D@Xĸ`JȮΡ7|)Kq2Z?\>yj*0GkQxB8hocEFm %4pzG`Ϡ9;4WzR75ojMJrBVG]csѝBbhd5P2mE!]P(*ʌV"S\0~v.D!>#:e`A7XnFx =4\'V@Ii*tӍm^QXˊlβCI#"ŖoB<m4;mщh_]==9ϙϼd9 n_8|]e(֒["EaO,~6UX ̞4f(-Gсhڧ[oRpr`~ةSbiW@wW_C"IPpbDSF*( -D~Q)Pr '6&\Vjqr#wjw Q$KU9)|>˜nƐ?p %n= C^6#On/JѻP8QR*L -DU?6ي!k9V1>{. .ΖIrucj,'%RNWUwmnkZFz?e S"TX ƩsCm`53'vEOw f32Zz[:z%3)[W0u,;yİ[:0%J]"YG2;~Mk*?x05HUۥ{fdgи[${3) dz)|vmWjkŸ}zloBVUM??NLObuG$TK -zr 9`8䮱WӺzOtt-!bROoõnU[[, &ghhܐ4rmF\OC 3'ϝ8W̗5eseq):8_x6aA3D6bN؄͸p¸D]eAh WW3KG8tvԌU^}' Ua=^'T9n`@ļ(Y $;*I#ڗ]b&d|8?ߨz-ߙ݁P]+:JMc#o8^'GƤI8 Q|Coܿ#/xiB`Ïs"a2N򓔈GL;Y؄ -_J|`ouǧ?q^r HK%~e(L -ec9B-i8ñGh+oدO!c63uGΊW@FjhŹۢj$SclUХ.ot54TDT(QB_# %V!! -DGWE^ =ȁ1M*:Kk -(ht?_od21PtjjmzmkKKncɳHDr]n$ ů+ VeJS+m팭O_3y+fgZ­:|;>4]=gw y7ș|;p"Ȼ B‚JL>^z%4U[BhSlthXkq@趪e~ ǪKVWz]gwkd T֙Zؽw5fR/ĆCW{7ՅBcc!wnQ*7Gjtogib,'0r&=1}m7R5fʅ+NR ~Q ` D)6rj}3]M@mE_55z]'w(.z%HҎT뇯 /,q}xyy<~~bb=6lz}3| <>:<:He"s#r{%m+.3-j4cH@&\bgw&j.4cYJmٌ$Awf{?8LQ"M{h1AsYt:׍2 +txM?IY7lg6nG)FU(>Xdtg[S{eqfg/=2S{hW*`22-&Q?3)DPmo1ʾ)qW+v%O H}i;IқĊ˹2 +Q4z Iq2 +=_1NBSq +[hz,I-xncLNGJX@Z/|]EVbp@`_ '8e)_?)omaZz1lQlmLU3uӵlw,sZ`rsKȌzݕ6Y jRrH"P➑Tt-0b= CNu8A~!$&?эxzbp_ňax 4bXMGEo i2D=a)ޡsԨoeUMcwسʚoLJիE Dj/Z`0-al|<51~>\)Õ ʶY'!k2 ĭu`6A +ʒON' +Z) |{n'+7s/$9lu{7@IOHX,na&7]5@n(R2b}PڱJY/S0đ{=#fͦ s B| %,7!԰).\%31߶xxwd%z%(RV(`ſt .0$*ağXJIJ(7ao;e8RD[:Ntfc`#U6^9bn-#bO>>M[-P'ѯ!AZ+lvjwrG3Z˿Oe'w(N> s# Nj]Ad{O_u6T$^}-~,Ugƭ4 2HU_v+Hnfcw2=$mg jyBlž md/w;q_:0SR!RZ.MdRka29;2mnk8 $D3 zbsS̀Og$5{1xg@8HoBci1)6~Gd^9TWZ45So{jM늳Vc]ks1]bb+h pd5Ҋ&"S_QU"%HSn-}NX0~t.1~'Gr/ ?6Y'ÖLQe*p3MiI9VYb9-CSvD-ϔ10x!Pivc?{z?tޚ3}͒' yx,Sb{3(Lo>x:$𨎸zeʻː_]J=aeK~b0f=VV9 '&1{| MxFi`QUJʁg!gETHI\ +DP"`k5$.+1JH+^^buk1GW9hR>ӜfƐ=;դZ.Qr۟/&WoЇORAF1iݚ\GiYkՌS'j:{Vo09n:7LNBBח'L;S +ҵ`YFmJ=5Uy@ sʒ-O]k8M^MK9Z" k~bHUT ,_nMZik9l+" syn=6ij7.'R\i5ѷF9[hu11;q]e)1cW$'QrpUC@?j  EUiLBp7 F"YJKfM6OgYH Ցb䫫41>5s-rdl47ƃⱃ^;R 6}?'Rv=+?HĎ +yUIz("`@#;?QLڎ._jYej]yݦnCA|Tr<dzzBYyR;Py~k +9MI8ntVlFF[U/ʉaͥ>$B\C- No},zS XNfi1O=l|-=K{Zi,Fw7RNsƠ* ~T\W3Mbk NɡF0VZ x4$_5]NYI'_4= #ʳ )7ӪMK,o^{;U~:D}į!_/]_$Zs80s/D6=|wz,֤*HLwjsmK_N&j/gs(4&~oo=ǰ>~22)٭ CCp`wg~(#PM{2-ӎe`#ai[7FOEMGЈ,Rk;4>h:=r8J'{+ًICNSMutraơӴX!} ((U!1!3쥕=h. +֢ͤ$Y7``@xHX!w^ߵ}x\_f;PDњ~|}ztlpȑZjtM&KlYn?CrVr9{ 1 ,[yK~oEGQmm5ԟ>:Ȍ yޙJA`# Og(BS@H!@dF*ݞ +s!`-l&% endstream endobj 396 0 obj @@ -1422,95 +1423,95 @@ B endstream endobj 411 0 obj -<> +<> stream -x}]$q=Ő) -_"٢Ď$ۡ\hx,7zs|s?n4/~gzB>?|_o巿{qW# ywy7oͿ{8×ۛ~h6qy7 “ŏ}goF*~o/_N^DL EIou#RjEJPV3-ouGcz_W\7/blB,),j#%ojBzô~?^y+.R_6OB? !qWO4,YY[|T</xj?JD^M/2 W >?3}??D |yesfeO6\^p&qO/#h?8rώ$˔^Ή*:FWƎKdJk( -T~3:-/dݪ߬'0BsXñʈK|`ii|A@ӬXW -Pi`FO&;DweGM3j鬓bfNlװUT3xz_{qn \ ҁdNu`ޱ[BRбT*J ;4΂G *R -% rI~Xat#Rw}ù_IԪ C^4 Npil|5]\\dE@(nĔyH4Lg7GhIFW71.*gtO#@F#o磒 Qn"@ûKཱ8:/ycD̻6Fv#)$v/KmDPZU R6BÈRKg/lhp~@D7 <_ysFعBMߠ~gwopK#eh@$T',^Yr`q -a+׃1ޣg(|7>K)9L\NsjE P_/ăw["zaz+B^i0Zfg3圑ƩrD4]u:r @@e⯌7ko:H ]-=H ?q$nI7|OC?| -2}F}W8|y&U% H -\wݔW/35Prf n:3GBit)bՈs3g#a{TA@j&=xz%,v Hgrct];? 0]vPvzK;k'i.4ZVҌö?ctn#u2q`gqM!-jȭ4|ьzKM >O%Sz}–Y@yY@6Ո@.&9s| q -9.'>io1oaBP>~<R~'֭+e@x:IGv1 P>][w*NnթBi*ݞTFT8lɖծ%$ifEw!qO-b}|I\˙\ hKtz%BH\8UruEmqvN,32nqd`1:t1~3[FD8'IAŐNEt&:ifr $H^WǻErZ1Eہ47sYݿI߯!D(,0QGn|40ށv ]2g~-I!kl06x+m_ԕzeb[E5.9Ж"oISJjTws7~!/V P?|_o{qW# ywy7oͿ{8×ۛ~h6qy7 “ŏ}goF*~o/N^DL EIou#RjEJPV3-ouGcz_׿\7/blB,),j#%ojBzô~?]Oy+.R_6Ʂ,_?5/OoTxYy`&y/_P^d|7ݿ'|,~f~$U o'!( mc86Lxx^FTpR)I)Q Uu`]"Ȕ֔Qc[>f!u[^JUYO`ѧY|)*Mvʎt g(Y':͜خaz)]=:1.g839`Xӿ<}yɜxc'cTQwPi+ATj J<@ x/ Gsu:UkAj5h;zi01Vj(0;+'0\݋$Pl{W݈)in:=ђob]$!U5t>?PG4GG%ArEw9r{cqѳubQ?_:Ǧw5mF0RH^60ڮى2l`5^, utK9n@xT?6 3s d'd=A&#6ά0ທG%HNX&  +eVcGQQn}uSrDA_D1<Vн0`Z2θg9#Sit +Y_o #>t0uA +'73ѻ'["z~H}ݒn?.~~48dn?pRsJMFdK0 +s#; ڹ)3^-~!,8gj8ug~?0 +ԍϝ2S,$]g7_F.{&?Lz:ugII KXLA0rv~`2OI W>vNj]fi.z9Y?ZAm \3hG(e`1+ٛ8BZ9Ԑ[i }17K-U񹳀lm\M$s,dP!9>%0Nys]N|Ƨ,b!1 X; !|B x2 +)l 0^:b}·2:7B➚[0,3A8~і|K'(Jp$'j%13R WYfdܺ(btfaSbf:S!m/p,ON|!dMtҀHƑa7佮w?"c:/|+ٷ5in4/)A_!BPX ya׏ jh`&dT[B^a6?llWH?~RWꕉnYָ@[h'M)9RݹZX&@]&*b <[-Hfs[ Tc۰]REHHn}֜ ^J3{W,"ZO~4z׉a_IJ&Բ!ϭY ㌚F2P-5 ˹z2ϗ W'_E^&/#včJ_m=;ܛH0,.ȩd7}YfX;|uQh /OڦR%CȤVmA7י,/}-LO\.֚ q|̙>ܗ.Ă&eyv*[g{߅kW{ -$Oq4iCzt1U~aK3c8:_$@bo,8":Ua7}CI 8CB(QL _edz;#Kp,@rh@yѲsaT=P//7a4AӠHSS<'o4wTktm3R{VƺӚZ -5~r /5Hkqߟ]dz Rȫxni孛N+!h9}zͶ2JuԜw}ښM?mS?_> pizhp46Sq NV'dRm#4`E vZT4n-3m#N{jў'$;Ѡ"PZ>mDCTJѭuuڂOn jZѠOSp] ]̨3NQ;EkՂBlPBZI;Qmj¬`o +$Oq4iCzt1U~aK3c8:_$@bo,8":Ua7}CI 8CB(QL _edz;#Kp,@rh@yѲsaT=P//7a4AӠHSS<'o4wTktm3R{VƺӚZ +5~r /5Hkq_]dz Rȫxni孛N+!h9}zͶ2JuԜw}ښM?mS?_> pizhp46Sq NV'dRm#4`E vZT4n-3m#N{jў'$;Ѡ"PZ>mDCTJѭuuڂOn jZѠOSp] ]̨3NQ;EkՂBlPBZI;Qmj¬`o ȎKT?_/`M?*HR"+8p/ꬽ}7141WNļC41 er> NrXj@Mg޶>IޞTiN}BӞ5ySG)Y9 5)tn#9l8f?P*׽y -kgUF3V]I1/6p 8f\k1J++xFv"D*H +kgUF3V]I1/7p 8f\k1J++xFv"D*H Wn2y/qEǦٜKsA4o@Q]M.m H#n 2zs xk\_+ӫE?]O; JS3R~x+i='Q'7h[3Zgw-mei-y%$Xq=gRDmc=m9"iӲZN-+e|Xeg4xiX-VcILU޾2()4Kɧy1ex?(_^I;ˏwS~=1+;_W; -ֱz#eDއU'׳HVd ט:uE>2}%(U5n9t;[<!W+г,aep[>Yal -rX-hO^2`=FJ<9@z3pOxyeyyeBλqEfr|x$RIGo*iv awL8㬰h~FسaޱiD8ax#NlJgd ҹm[<(Ot)K˒V31MjO54s /P;{uAPMOârNVNQ(bJr(.%掩E+J8좟 - M)pA"۔/A鍣ېaM-&BqLh 8&js J :K}B5ZFgYM< m9,FV`4*^5RǍOxo  -#w -}mr> X) s i Km+Y(7ᛅ6JB%fqP5{ʋYy2ᆩl"Z,L@$v7w&uƗIj}:D#f]Rby/z -Qu"Ge*5K΍C9u=/=źsubnbn P`B=}wMeOn/[Eڥͤ=Κu!M?Fqnau V;ժuJ^˓˒TCƬs"8ۙե5gɲ 3[^Xvb!pS)B:oJ9߬$)$PRb?,mtvJ5-8=:>fxٞwpϏY6]W4#-c5í7vfb\2Kł"M9xsR -VgJYvm!SUu =U #/^xo=xAhxfY -{gR-`WIɎm-,X6"k^݅ m://m)ïN!+$0Ҳﴏx>2  ߚFM4KpˠڱM֛ Nwѯbz~3^bpsb{.=7w+JϏfs>mqE/)D]{r'ޱEMs~M Tt -hJ0^,t8P h=mHF{B> jCC ۂPGit\?Y=EZV&Z5ΧE&2iHD.O_Uyh+Q9 ISŌTӀ:`75I8 F xA&s}6?am5j_K/˅ۊ ]W$jC;B&T${iJ);͓@i0yqA&&vacpgnH#2Ӷe/)6[`%xLT'8FQc\vZɃ0H]CW\R҈`yR )J~]Xt[_UIwr9\HkPf(g;p4K[%+.$hYX]Hʴ<{I;z:6"ޥi|ʥ.CevG!?4)yDnnدٗ+^wV- %P?=vL@-隌'RiT#R,@yYfS^)j,Vg%s3&+L3I!) Upmɂ 8|ˀư.Tʼn*e ˈ3\]j-~rUY}$+DVKl2kgn +PZV-V[+ZLPyBdBDI0 `6W9,Ou`'o/Z#%}Ws 8F^'̼t^yN]@S"s3b>΋|<)֣7``y˰;&VqVX4?O#ٍ0 4q" ˌgw hKo%3뎍w2Ge|t-Z +S:kkeI+FRxT9ЁB aʎ T:u+O Aݭa M^HoY'.:^gk씵@`Y+^ZmhG悅ɛ} đ}L)I+^GmbIX-GL y953t9\T_ҀwӃy &"i.Y-KX2S*fÈ ҈X.BČ1?;jdoçq}^oTi\IJU;L Nw4"UJaHNnQFԞ9qw/gh=Ef\qxwʢZub왰y~VV&,)P"ڄ$*uI_o~Hg>>]c1\"Wfȁ+'.EFWpTe)uk"^4 J6}sͰS $QmoR O3Ljhi934i4o[~oAX~cBq4Rud5gŴT}3$VDžF,&5 +wgD/5OT\#0+Vd:y:gU9 TNwKeMʡPrBAқ\ + aQVXP9'+'(jew_1p%9 oxsTqQWkCPvOh[8 EYJmJhmȰ|la Ss!Xw8[&}5CrB9 %vJO -#3W&p|uɶ +@hj@{0[/)OiM +X'V7_69N4%Ȭap̛BJp% +!8=EH3n)X༗R=:~ץmơVNb]۹q:ZG^[YO1A 1ނY(h|RqK˻&²^ӭ"R pfҞegۺ̦#8wtf j:Czy%ufe e]cV۹QfҋdYY-M,;穔!z7oV()R6:;pZxd }6?am5j_K/˅ۊ ]W$jC;B&T${iJ);͓@i0yqA&&vacpgnH#2Ӷe/)6[`%xLT'8FQc\vZɃ0H]CW\R҈`yR )J~]Xt[_UIwr9\HkPf(g;p4K[%+.$hYX]Hʴ<{I;z:6"ޥi|ʥ.CevG!?4)yDnnدٗ+^wV- %P?=vL@-隌'RiT#R,@yYfS^)j,Vg%s3&+L3I!) Upmɂ 8|ˀư.Tʼn*e ˈ3\]j-~r=IaЗuwM(p]^a^3aJA7 Fm>ο uq5+G)Uxc^I]M}kax\xpBw(ƂB텧i=$jK蟞 Z1IUURAimk0bwezZ[k랼=`}ݓkN4]mצW` \2!|'0P)>=2ԑlW{.ܛ!mݗ&Dp|Ͷx6q8y34, i@Ym;@ٮ=9  ߚژF<=6w[.S;~ 30cߩ^LI+yf1!{Mihɢ^/+ί,$wέ=:<ؾ=͞uS8zn - /BosVێ mƧXhP;X:JRJJxqsBq.Ò:vSfPv?C91JFWv|Ýhv-S٘hҾ*rk}u;Pt#ucjcWR$ M gK?sfC7<%-#1=Yqkx܁fy}ܒsͯ^Ein{u'ٗkqJ}U%Ӣ/FrEcW"v 9$[N% < (Opj58'޺j1C2Y[2 *gW`VÖS;(5x宥b a|xJ|+U+-q.(hV%fy s2AΟi2@:RO:VŐc v3NomGZeI@@?mYxJ!nݧ̔o=I}äe$.mq2{OR(u'*7 ܷ].Z׻Oo9.ov"*r\k\Ui~|iмjlRhv&ɺ8yh>t=)OY_l\GuuaQSExTG~4.Amyru? - gΉwI.ױɥ$Zg* di|z:%֛g'8g("X/X_zs0?C~Nwu<2GW g٭&E!PɋuQBr:U6`bb@WtjP΂FBQ*וd@ߑ6*;(,. eցN3egUfi=n ˩V8p~{!ܹ2$sU -U'Y# ;h -W$~mPU+\u͊FG|C˚ -F`*uLBNoeLE9Qc"z^l/oMIѳdW_O~'pb!wA+-3 -Q&Iֺ!dKzVJ +{>w<f( -GLԠɦD -̹bvISi8%S8l`Od -6w6S٦Iyo}mw⺬r*Q -ئB-qJX9pV 3,sPiו^3Q6 q%J9^0nܾ3Y>*8a}s#+Df4n!RVtC7 ,C-$!vTIkmE'ٳdv6yѵ׌MZM`-G \h@ vY C,c>U-3x^oPt<~Jb ZV8gCN̋‹yog-7j%BpAVZa%+k0pfxbЦ[j`ln hvu 8bgU ])0\Fr;e +PY0NYl} oN2ڴ`bCFIQ6H Gϰ -@[su٤Uy2-}{<$ nwdC3Eڝ۴@6܋FZ}j(w5c3b%3ݝLxf3,!c-xn\8ղ4_ s\X8{Ek~ra:,0vԱ05ོ2o̬a<5w[wX_ *6UB9m2J0K`|ѡ\k'8l4uWE74nwQq$Hdt~"Ab;{F^7:l?>%2=r{ ܱRLN[s#'~V0Hey:7ۏ6]ǦwE<θq4N#oeNV R6BÈ_SKg/ utK[<9;G+onH@:H @ 7PhNÀ^rxP?)GW/A8sG9xݕ֯;Q -aYeΒ/xI=z6ş'y5P7+K-zK33W7]#o|>Qd;ɤ2θg9#Si -Y 8e_{3|b0Ӄp6v]-=H ?q$nI;|OC?| -2}F}WTP:- D14{YOju%7?mcmiz6(R;b2Ne`eĺ@Y6PqL%- RA0tf@=V -&нcA cmJUZv{ѕ76LboS]"R8%cv_Xq+iMe(;inUúRobE!ep@?CWΊR;Yrh$%N_W;֌R34feu&J@ʰ##]Ţ6(QV^ rP%t (W 'D\|-Ĉ/t)2΅j B7[!҃6c{Mx|VqZoIށrCM)Qw;$ߝKO~8F+t{Ni7}S%@~ =F_8+=ݙڜ%tӤ)[K+(~H6rf * H3wRđ%^?ҳ"Zkو۠k+ԷJٮ-ȁMM"7FB@PV$pA*K%$(^\62Kj A AsC>5? FWrfhס,y5OAe*0@j{5b\Pjob=$a;4e` 5^ -Wo=q4ŠBa@H聯E[f,hO隟0RK׌DG4ktJѪvZPBw^S7wZ:sMl SeVQix -6&c,xƬkM-~;Mk65u=N-|"'Z i-Z6w=$Uۚ5ozw~sUA5!Zn|Q݈@L+n(ݦa+6wn*Yp]VadUXV6 @y. Pn[M[SUfp5r{ܱIվNrRf^dȚaָk\EҶ p-}h٧0,VȢf@0s.黙Wt55/_`_( u2'v)Y+ eƖ}zէy k3SIՂ,E$6$$?23Tlhў%h"ҕ']EVвªf@@{F.7e鄓KQ;/ Mth|()Yj-xF)tu˄u_a`1Iim5m9+h4Mk3ږ!9pV*Mi B XjV#n<6Eup\ɐ 'E9?fgpqSNUIT\Ġ=5UUcj)i535j82fc -_u]ܫd4G}˺S?bdfG ig$Ms[EZ\Id(Jb!dhMfapnmd5yF4}i7/ # Ӿ^nrLR~V{pSLO 4~oio%It`6Q)%ǸRNqjS>Tqbb^1/U)v$d>ld$+7eEZ'VZ -)n}e=x -7HډnЂc}h=Fm݅փ}h=Bi݇Ct}H=Fe5HFCw쎳K\z6q٢K]zvwpJ)g٦i?#G=z1J -4zq -P I)@i{}8Kciݷ$HC:*hʂ^cLY^FI^Fذm&*- -V-:ߪ&lMMd>FMhV!"tsΗE4XA՞sEFU+ArIPg!չ}iM4XZ Ӂް׮Bd|G. ,= -w%f;w= ->I@-}1QKUW(tk -35ޚsv^ mQPfߦmMw67#\q+sWQB*)㕹)G$%DMue)skޜ]KC:WBy!-9Ct%*?\++*=1zT4z;Q趢7WS #h5ΗE, V@I=GeNG9ӵ@6R4zLCTĚJo:]N<稦ԛsNtQܪ֕NNJݨ֥ 2eDI;U J1*%UւAR%kAҘǨZZ|Z96vܘ kk5ױ6Wi!^2-1')Lqѷo[P厵iBcT-`ڐUk -m)%`S'6h=HK=c5R܌|Fڛx Ca|8Tl7>ƀv&mU~gM^hi 82Bh dɞ|65ZWCU楶2|NZxxUfO\5owjqmA*X#ľY4U2Jk;cPqj -V^IS$j{K}z#Tj)f\ jIyOZR^{exSTM)4keUy*~S*B#tkgЭJk[K3' QMkžaZjrV͎+n7΃rJM'{ľ o:ĩ ^4>ڼ 3hsDnp -Uj.9)ʇ(RI75U^jt83זiY[59 ҷ:cE1 -l1 J &]%m:`cGz"dϷ)pO5)b?בO5 O5 kUiyh}z׈֧yh}~׈'y(}v׈ԧyUBL U -Py,(qYI -]`WU۹9MN9~6Ejܔ<eiWMrt GEPME< «*TģqJUp"fY)isϖB=-ꕺ?VRzPbe"45DPGc>\wu/4 ྪBH?TGj9kMOj񌣚JH}=$Zki _Zž6}ޫOx]JԔêBH?7RQNJWWhm)roWO[hiOɓ&~Q]RBI?зkŔN3Ф26SQٶ׈߁{ХjRag'`S'R>jib ="pBϰH#4Uo2߇;=v/tEZ0bo[)z/ttV 6g6XHA=CShn#*jFocTh)igB{H?4 -"4ԩжkRg\-ڞqZ>Dj}ڮ2 I)+atZBH7FZ>LeiluNUBP`RX)Kco)[UWh-)`j{S -}"E7Y"-{opg͉лKzEJI zІ,BH7jBsI?mՈks}LQtm ӛuhO= -w}^*4"5gЉ,VBH?qոk{“iǁSU ,lSfbcv`*ot*ohZ񌫆X3Nɝ}rI5TƸQhӱq̰'TQi'BH?# -m"}#ow=ǤPaVZ*Tj +\ZGmER)?GR,+@OY&KQbR8T=Ej0uͻʎ.Iw2Ja%'LCiBzJZ\|-߾U_KeVV$P0j  ֙P -v T(7hFHVFIL2l1N+4#OzF3|Q)t\D7=%Mѻo0id念H-*\&&EYǓ{PQ ^T ? 6r.*xgĢ~ef/V1dw~W3sJ¹)*r푊X+M9yVIlN~\BV値L񑧊MAC U=JFC!F(=iii4dT Pwۻ ԙIԽ= Ge:~/a6)̥v[9^~edUqOQȶ爔xk$D f8E,s|?c[HHNk|VcWBV![d_y_tDH:ZW-V誅@ -參 =e Yaen7 fi -h<,C7ޢ[a)ťRͽ_KE]۔QTg3t$˪fZ`M;D-no}#em(0@9xO -XJ1`DYќɟ眮Zȵe7f \/v5OxT-,y(PKbހ#Vv$ViN`$B*X˴HbåBl -ZџL9u8?1;tBiXc -PCR8iO5Igcs{Cֻ8USg7U]6='1s*osAoӅ P+B# O)8#ׅ.xu?ψʅe +T1流ys Mր52Ϩ"ό:Zp }/KHݭZ{8Q/E_FY3 >+`wU N(K(UoTI)ݚWSz_4H r:DެRGڵ*J}W/&Z*U3 -axg{Oarhe=N&xq_*v&zJy o&~RbS}3+Ћ_w,gΟ1Ќk8$+ZL#H 8TtYӗIy}s[2 2'_lB=qYjuuf4S6B?gfD^ -BSАfeU]+e Q$vݗ>=g5nJD;nTy++`"ld)^X䶅z|Ҡmg @# !9Ww߮ERZk_0Rd~c0#4De:,J0@Ytn]$.b搨°(7OdY*jˤ18nM!K=!alpIh -Oi@acW.4 &okiaXP5f]46K/ELa@}N߲+odѭ.x`+.Vj'(T+Лħh;@$kNy`tSgQFT9"-ޚMG; l:<^4"߂ )38NQӜsyh[{j4l}) `:i+]~n_l }ʎy4P2I1hVYЌtԷl[$s9v3.tS;c)pTk]hxʁ)譣 <ѰL\CLZ'c,[k}y2CsՎx4x*D5'=U+GQ ir^ߐwnu^fT+.t[$kj&Wv"Z d݁b2l('-daMY$6ik>']*K/?)ei sFԬSZp^Z,&L3K49A|ZkUSq#uhh>|6ӽ``BJIB%υC&.li ,,xvESis{[LElV9w_< -3VϭJ\G^cg`F1~6%斟P|fRI2C\JJXӍeЪqCjyq@Oأyzoې:w l<.x$aAaVP2ev\[dXВ%y* <07 7-CK -vfJkl:&Rw6꧘_yUhI^R7VjsЮr֤NYjɰ5_֓5'1<ݸ -}6dyOXNYWpO:7Sb -4^h7oHڑޓB׶pVo--ﲮ1 -+ފu/;7݄x5fl$"v[΄ΐd,XcXHlr*VYKW cDN^c^tC0a: Qћ>",e>vqxp¬,-+sJ -pPd پ>^+(줪swwMY肻U3ƪn7+j`F~ Gqͬ~}2wfZ~5BkGҙ߾2럗$"5ʔ]5 -ѓzJU駦 M: zt>M}~ge?q0Ndd2c13x%4c.jbx }#UoWP;ƿuk3lؑ.Ҝ%m#MʹvWPP{y_YNPigx(wp6Xa=h{,¶D:+D#, hkk<с{sv,v.ą`4K J.IBBprB6C>M:߾)Q\ m& 0&HZҡ2Г}1CrОM 7zߏoܰ "~-Wi-w~d7}6z|s,ax_Kv/ 9 -?{gofpΉ Fҁ使g[<#OT(Rb 5TB ɮ~Br)&LQ+V"^5+:GloKu5K٠+T(YZ}\?VZ iy&A?E4,|8k' ϐN)6K yNmŰ"C8J% -1plY.Aւk˼%/AHbܞ'EO34Wabe᡹n[d*k`*"pw&"Uj",=YܱroG Y{7%2Noy[zV% 2#w*@3|Թ-:URhay a=Nh[( +9Ȼh1B0sFOoWFe [N kQԷK}$\ڄl\)-2sR;.Gc4Z% ȯ1xq4!s}us} Ʉjs+ڄ}xk!mݗ&Dp|Ͷx6q8y34, i@Ym;@ٮ=9  ߚژF<=6w[.S;~ 30cߩ^LI+yf1!{Mihɢ^/*ί,$wέ=:<ؾ=͞uS8zn + /BosVێ mƧXhP;X:JRJJxqsBq.Ò:vSfPv?C91JFWv|Ýhv-S٘hҾ*rk}u;Pt#ucjcWR$ M gK?sfC7<%-#1=Yqkx܁fy}ܒsͯ^Ein{u'ٗkqJ}U%ӢԿؗhq|i9͢]+k{{s-R +PEo txo]Yq!ڬTY[vymF{dq@3c+d0Pa)SrR10?KeRq=x+sS})bsط%M&)mbbl/uU)@ΘRyz:t +9_Δ;? RsiEڷB(省o<%QK[lϋܸY{yPWx~a{+xa9G s4r )קeKmRbHJIx;ܷ6r_n#[ֲ$Af6Z,vSfʁJR社aR2SH68RݧNoU\{OS[.O ]uȷ[/w"*r\k\Ui~|iмjlRhv&ɺ8yh>t=)OY_l\GuuaQSExTG~4.Amyru? + gΉwI.ױɥ$Zg* di|z:%֛g'8g("X/X_zs0?C~Nwu<2GW g٭&E!PɋuQBr:U6`b=Ԡ:e.T+=5^oɀN#mTvP,YH P]LE[ +)hgrFz +LS' +;qB1s#8eI檶lTQO3BF,Tw*In".OsJ_W=x#5߹h5; +T6븙lpٹ"&r[?lB0F@u{6%ArGGa_}=?.Y֟,f a6Kܹ?alp~̀f(De$ Z놐-Y)%pG)G@(1QR&+3ٹb +'MA +샗LIO?)ڈ{y|0Le& ^潙ٷq݊њ׃rGa+$}кUHY! 4 kGYRՎ& ):KfϒkF&_3r6i6jv`m'p=z<$f + h9BfTm#2Em +ڿA^c}%`VC@~۶(!8b,iFr9DKE.Sక\7 ^uw`6 MGǑ#5ZUML!Ǔ{PQk PBHn'8pJF2AN8m̩oҏk(QX Q|@Xobn?^t&b]88QaSo[=;z'[-hKj #~M-/E,o/n(?M#qp"Po7By; {Apm_=r.WwWjXhDY+eAǗ:K%aوR@w@ݬ.QG. P_/ăw["ziDx&:8)4N%'zS+dSL2p0BnGOROogwOD 1đ%ݷ?]B?ip(] +SC&l3lWOŸe=֕TQQy(oHa8mu)nR+?k~.RJ-]3>Ӭlҁ*EhmsB-j xO܁kmv55L5Z Fkj*4۬Ӛ56Ax4X8Ԯa6hp3̖jUlkV5nk֨mW'!hID~w#a2_·{MxwhzlبminduYmv$jr Z^8=(;Ąu 0:/ukj2ؚ ڝ ~6q㎕MUm/dv— 2"CDcnϭU_*zNo W?_H,kC>UfٴB4f+PtI̸ӤD}=,B&8aEK1Z^f2ӣ>kXkJd(ϔ`T%!!!JfCC }/\D<*2'XE|V54MS6pi,K'=^yiM` h]CCI5͂OտPm 4O Fm_&p ++܍NJ3nCi+)p]A@#ٴ6mgr)є`) ܐ{)a5_19ViST8;]'/ Ǖ pRcv~拡w* 9T5TMM Z ]S51Q5jڱV13i^Sf/s.n6YU՚ͽaKFqԷk+;#Fnv:Kn!}H4'uQED2,& R,NTZ:mϮVۖKVgt>iy mLӗ{C0^8&$5ǏM?n{kxL7D@&+XVZD 6Эo;Zr[ v9#M'v^=.RowJ@vöJFB|ZƑXDz%zb{i@΋N1`ݧA*9P!>Zу'៚Xy#Q-h=Fo݇c]h=Hk݇#}(=Dg݇cTVKZÑ(kd;dq8lg-ܥg.=}$.BpmV1Z;rѣ@G;* zܐGMQ!o9v6)};]J4Ԯ#2,85vM\˔uiaeaMO +~ݖjBhբjDLcԄv\ `iJp-bHz<| YDUT9ZdT!uR+YYwzFdJM0 {J,Dw"ۣpm\r_}7+td܁oUfI"n}|Z}B{]S眩)֜SJl2x6mnkڼĿB%)!jʼ+s%dM?sXS\"4ֹK,o7\p_)}Exq.zgiJ?j.+u:ʙyFc2$Tz;.Rt9G5ޜsb V$prWF.uMXx^) "tLک)nWV(*Y T>FMbxFB"ƤW4fXkwX 8x>`OJ m9QNa%`㎾}۪*wL2jӆ\ Z;ՔVضo{LOa-P=5vǝ:nާE#լMAZfLc4Rlk +fkAw&73i;kB+HXxřj@[ K更yѺ"~z2/]yDctRպlë5{RZ-1~Sk jT97 i%ѭZWb_c%ޱʏST*JR"V#>\i̇(RKH7bͯVK{Ւs.ƛj:$HAY+[VNժ<xRlҭƟA* z]n-uΜtkLc4D5=iqg[5;l`6:ʍ+5i4K&xUkjR3̠ !(T#*J']ތTyδjJ\[emoܢDJ aoR[2–-Cqqj^'@q+=>ZYj8i(j2p*5tT@]C ~?ߦ6? @@^Gb? @R?@'ʮUO5A^#ZuA^#Z5A^#RU 1Z'W+BYBe%-(tރQ^Uo7b8THqSj]5Btal'A5,"8R)UvhSeE=[ +H {bW[mJM*vA|l{(1C sݩOj,8Rς +͂#5hRUh港55_h<3jj)a_#%km6|i {y?aw)}SSς +͇#pBgH7G9*}_Qg\i3.]?%On.GwMJib &pB߮I7:@RF>6MļΨQnhd71{mUQx60Ղ݌a/h9Ԯ~nR?&r£a7I`$nx k.5NW7Ps; {Apm_H+E\԰IZ!@\`?p',. +wü%(^3A\|o1bxݵ-puf¸c9#Se +Y<*e_{3̯ߏ(OR` ?_я?уXݷ?]B?i0(]6)Eqqn48&I J]"0dL &CUAXŐ_bΰ) 禨ȕFG*jN`˯4mAX%;Ap5 ]X2G*6E %V(7 Fo`cUu6` Qɳ@qlv. Pg& KRZ.qTn)Fb)ǀ]fEs&sFja#D ߜy?/p1*;0\(?#+5dRsƼ*%4]d[x?ދ<3 xFFhgg½3.5"wjY/8,w`TQR' tk^MM}r e'Q{[JYVjת|*]|NjTδvڳ*Ek>E馣F8 }5Wۅ (`LU2[^JMyͬ@/~0ޟ9@3ᐬh1 %'7Pe!N_&+e l,4Ȝ|JZ2/ 5e9LA=xa#+8 MACf՗ SVuG SDOhHOu_̚ոi+)yPyYshp RʓeP{mGG`ThhLf! +WSO^A + j@wx%.N'_5f$@ wQ?7Û/xapx,*R"8le_lJ'{I='2,/4\WIkhiJ~Hɏo0+i8eEDodZivϺC +âcޤK$?eQ,K|mZ6 wL. +K͎&A*TN?I]M@3BRL+#9vvtx̽F[%$h:DmRf>q69g;VѶF8h*PSh5}tV +4.2vWQ;K)eJi[8d( bє8td]o7IJsKf]9vS:Г9S2[Gya(C-8ZjBOX ++4dgѭ[d B,1cTmJ-?-%ŭω?t>,ͨ(d tU㤗<,ue 'N〞Gޒ! 6t+y\H‚F!ѭ&S]'#d씹Ȱb%%K;ȃU5^yʙ5@O_and:nMZ~?lv؎uL.4$mO1*Ю o +`]'y !I=.Ԓa)kH'- xik]O8FMcx0q9lj0QVqu*so6hn‰#'mlUZ[xe]cL?#W^wn2+Q'l ` G;j,HFExO !Xư-T(8hٯB=AOǼB阇 +av<$];8 D◥lg#811d)|<|?!-+N +pqd?f+.(.sxM?V3n7+hK2)~Zub=ݧk/S: XCvf+SyI_/_#hLyѕ=NTkU3G}09Vr0q$' +Ė(˼ 3, ӌ˫}'@,sxT]~W`!Bs- w/׭ͰvjhHJs;̎4k]!B C}ei8Bukzcb l)|w|Rа4z0F鳜`d4)G; +4-((&# 5 K +1I% Tc}SY 4TI$FDBKZX "/>~(cn^ڳIaApvUVġ:FS[ӳv4lK7!is/NJђQXH:wzc$B > +ON 0?r4 F4VlIwd`/bDiڞ&=54^n]h.6[rn ܤS4."fܟi f\uVY`C\VS]ᩒ`4ch ;fGcϯV_}lEF(@z冇|6¬#],lt@UE:ޭ~On#gϻuJQ9;=U;]o%:ϼՆf:Bs͖5w(ܟ&du=m9'-ni iPFk^ֲ]4^ꇵvYi,.Y}֧x]JL!ƘJD;=RW.)*X}JT_ѫfY^M"xf)5s*e1kP++4JuRk[1d4৕(4feg4|dJ6f鷵W}aА"ϩVdhGSA +.kÅ>ZxUҐY#Pl9BejS'm5k6=t1+٨ҜCW<-yMlWB`ACb +k.^7:O_/d 'rJOl%kC^hr5i$EY0_sCݥ9aGg.t9~K.#-Ց_2v ekuJݫôPBAbb6"8^eIjCEE+h1pR/U12x#=2޼R6s!%#?5"][,.it~}- _ lAoٌfO$92oKRX9IL&?UXYxhǯ(+4?]tqz2-r? KOXw\ QC^V]z[ޖU-l8ȝk<ЅN匤`u!qKiT[0/o;>_*FwSjOlбO +6_}' <~1; endstream endobj 412 0 obj @@ -1522,12 +1523,12 @@ x endstream endobj 413 0 obj -<> +<> endobj 414 0 obj <> stream -Typst 0.15.1en2026-10-01T12:29:22-03:002026-10-01T12:29:22-03:001application/pdfpwP6dy/TnRzkslYNFVRKLA==pwP6dy/TnRzkslYNFVRKLA==proof1.7 +Typst 0.15.1en2026-10-01T12:39:50-03:002026-10-01T12:39:50-03:001application/pdffOK5WLGONesfRJIiwiITiQ==fOK5WLGONesfRJIiwiITiQ==proof1.7 endstream endobj 415 0 obj @@ -1551,408 +1552,408 @@ xref 0000001102 00000 n 0000001188 00000 n 0000001274 00000 n -0000001363 00000 n -0000001431 00000 n -0000001598 00000 n -0000006324 00000 n -0000006429 00000 n -0000006510 00000 n -0000006653 00000 n -0000006810 00000 n -0000006878 00000 n -0000006959 00000 n -0000007030 00000 n -0000007132 00000 n -0000007200 00000 n -0000007343 00000 n -0000007414 00000 n -0000007585 00000 n -0000007653 00000 n -0000007747 00000 n -0000007844 00000 n -0000007912 00000 n -0000008068 00000 n -0000008233 00000 n -0000008301 00000 n -0000008394 00000 n -0000008505 00000 n -0000008661 00000 n -0000008817 00000 n -0000008885 00000 n -0000008979 00000 n -0000009073 00000 n -0000009141 00000 n -0000009300 00000 n -0000009459 00000 n -0000009527 00000 n -0000009621 00000 n -0000009727 00000 n -0000009795 00000 n -0000009951 00000 n -0000010113 00000 n -0000010181 00000 n -0000010274 00000 n -0000010357 00000 n -0000010434 00000 n -0000010574 00000 n -0000010643 00000 n -0000010713 00000 n -0000010800 00000 n -0000010868 00000 n -0000010937 00000 n -0000011035 00000 n -0000011103 00000 n -0000011207 00000 n -0000011294 00000 n -0000011371 00000 n -0000011527 00000 n -0000011683 00000 n -0000011751 00000 n -0000011845 00000 n -0000011939 00000 n -0000012007 00000 n -0000012163 00000 n -0000012233 00000 n -0000012402 00000 n -0000012470 00000 n -0000012564 00000 n -0000012634 00000 n -0000012704 00000 n -0000012821 00000 n -0000012889 00000 n -0000013045 00000 n -0000013116 00000 n -0000013187 00000 n -0000013262 00000 n -0000013447 00000 n -0000013515 00000 n -0000013610 00000 n -0000013709 00000 n -0000013777 00000 n -0000013934 00000 n -0000014005 00000 n -0000014177 00000 n -0000014245 00000 n -0000014352 00000 n -0000014424 00000 n -0000014496 00000 n -0000014569 00000 n -0000014642 00000 n -0000014715 00000 n -0000014851 00000 n -0000014943 00000 n -0000015018 00000 n -0000015091 00000 n -0000015164 00000 n -0000015278 00000 n -0000015465 00000 n -0000015624 00000 n -0000015696 00000 n -0000015813 00000 n -0000015910 00000 n -0000015982 00000 n -0000016165 00000 n -0000016328 00000 n -0000016400 00000 n -0000016505 00000 n -0000016602 00000 n -0000016674 00000 n -0000016833 00000 n -0000016992 00000 n -0000017064 00000 n -0000017169 00000 n -0000017266 00000 n -0000017338 00000 n -0000017505 00000 n -0000017664 00000 n -0000017736 00000 n -0000017837 00000 n -0000017934 00000 n -0000018006 00000 n -0000018185 00000 n -0000018352 00000 n -0000018424 00000 n -0000018525 00000 n -0000018626 00000 n -0000018698 00000 n -0000018861 00000 n -0000019024 00000 n -0000019096 00000 n -0000019201 00000 n -0000019298 00000 n -0000019370 00000 n -0000019549 00000 n -0000019712 00000 n -0000019784 00000 n -0000019881 00000 n -0000019982 00000 n -0000020054 00000 n -0000020233 00000 n -0000020396 00000 n -0000020468 00000 n -0000020585 00000 n -0000020682 00000 n -0000020754 00000 n -0000020917 00000 n -0000021088 00000 n -0000021160 00000 n -0000021257 00000 n -0000021354 00000 n -0000021426 00000 n -0000021629 00000 n -0000021699 00000 n -0000021785 00000 n -0000021972 00000 n -0000022045 00000 n -0000022224 00000 n -0000022296 00000 n -0000022393 00000 n -0000022502 00000 n -0000022574 00000 n -0000022741 00000 n -0000022916 00000 n -0000022988 00000 n -0000023105 00000 n -0000023206 00000 n -0000023278 00000 n -0000023445 00000 n -0000023604 00000 n -0000023676 00000 n -0000023781 00000 n -0000023882 00000 n -0000023954 00000 n -0000024061 00000 n -0000024171 00000 n -0000024338 00000 n -0000024497 00000 n -0000024569 00000 n -0000024682 00000 n -0000024779 00000 n -0000024851 00000 n -0000025026 00000 n -0000025185 00000 n -0000025257 00000 n -0000025370 00000 n -0000025467 00000 n -0000025539 00000 n -0000025714 00000 n -0000025873 00000 n -0000025945 00000 n -0000026058 00000 n -0000026155 00000 n -0000026227 00000 n -0000026402 00000 n -0000026561 00000 n -0000026633 00000 n -0000026738 00000 n -0000026835 00000 n -0000026907 00000 n -0000027082 00000 n -0000027241 00000 n -0000027313 00000 n -0000027426 00000 n -0000027523 00000 n -0000027595 00000 n -0000027770 00000 n -0000027929 00000 n -0000028001 00000 n -0000028114 00000 n -0000028211 00000 n -0000028283 00000 n -0000028458 00000 n -0000028617 00000 n -0000028689 00000 n -0000028794 00000 n -0000028891 00000 n -0000028963 00000 n -0000029134 00000 n -0000029199 00000 n -0000029366 00000 n -0000029525 00000 n -0000029597 00000 n -0000029710 00000 n -0000029807 00000 n -0000029879 00000 n -0000030054 00000 n -0000030213 00000 n -0000030285 00000 n -0000030398 00000 n -0000030495 00000 n -0000030567 00000 n -0000030742 00000 n -0000030901 00000 n -0000030973 00000 n -0000031086 00000 n -0000031183 00000 n -0000031255 00000 n -0000031430 00000 n -0000031589 00000 n -0000031661 00000 n -0000031774 00000 n -0000031871 00000 n -0000031943 00000 n -0000032118 00000 n -0000032277 00000 n -0000032349 00000 n -0000032462 00000 n -0000032559 00000 n -0000032631 00000 n -0000032806 00000 n -0000032965 00000 n -0000033037 00000 n -0000033150 00000 n -0000033247 00000 n -0000033319 00000 n -0000033486 00000 n -0000033645 00000 n -0000033717 00000 n -0000033880 00000 n -0000033945 00000 n -0000034018 00000 n -0000034115 00000 n -0000034187 00000 n -0000034260 00000 n -0000034386 00000 n -0000034458 00000 n -0000034530 00000 n -0000034609 00000 n -0000034691 00000 n -0000034781 00000 n -0000034853 00000 n -0000034925 00000 n -0000034998 00000 n -0000035075 00000 n -0000035148 00000 n -0000035270 00000 n -0000035342 00000 n -0000035457 00000 n -0000035547 00000 n -0000035620 00000 n -0000035693 00000 n -0000035766 00000 n -0000035839 00000 n -0000035969 00000 n -0000036058 00000 n -0000036130 00000 n -0000036203 00000 n -0000036276 00000 n -0000036349 00000 n -0000036499 00000 n -0000036571 00000 n -0000036670 00000 n -0000036753 00000 n -0000036826 00000 n -0000036899 00000 n -0000036972 00000 n -0000037098 00000 n -0000037179 00000 n -0000037252 00000 n -0000037325 00000 n -0000037483 00000 n -0000037564 00000 n -0000037637 00000 n -0000037710 00000 n -0000037836 00000 n -0000037932 00000 n -0000038005 00000 n -0000038078 00000 n -0000038151 00000 n -0000038265 00000 n -0000038379 00000 n -0000038538 00000 n -0000038701 00000 n -0000038773 00000 n -0000038870 00000 n -0000038971 00000 n -0000039043 00000 n -0000039202 00000 n -0000039275 00000 n -0000039450 00000 n -0000039522 00000 n -0000039619 00000 n -0000039716 00000 n -0000039788 00000 n -0000039947 00000 n -0000040020 00000 n -0000040195 00000 n -0000040267 00000 n -0000040364 00000 n -0000040437 00000 n -0000040510 00000 n -0000040627 00000 n -0000040699 00000 n -0000040858 00000 n -0000040931 00000 n -0000041102 00000 n -0000041174 00000 n -0000041289 00000 n -0000041419 00000 n -0000041492 00000 n -0000041569 00000 n -0000041663 00000 n -0000042024 00000 n -0000042061 00000 n -0000042112 00000 n -0000042163 00000 n -0000042215 00000 n -0000042267 00000 n -0000042319 00000 n -0000042370 00000 n -0000042422 00000 n -0000042474 00000 n -0000042526 00000 n -0000042578 00000 n -0000042631 00000 n -0000042681 00000 n -0000042733 00000 n -0000042783 00000 n -0000042833 00000 n -0000042884 00000 n -0000042934 00000 n -0000043137 00000 n -0000043294 00000 n -0000043827 00000 n -0000044041 00000 n -0000044200 00000 n -0000044645 00000 n -0000044864 00000 n -0000045024 00000 n -0000045797 00000 n -0000046016 00000 n -0000046156 00000 n -0000046372 00000 n -0000046611 00000 n -0000046765 00000 n -0000046973 00000 n -0000047184 00000 n -0000047329 00000 n -0000047549 00000 n -0000047801 00000 n -0000047929 00000 n -0000048011 00000 n -0000048605 00000 n -0000053065 00000 n -0000053146 00000 n -0000053696 00000 n -0000057339 00000 n -0000057421 00000 n -0000058130 00000 n -0000065003 00000 n -0000065085 00000 n -0000065874 00000 n -0000078951 00000 n -0000079028 00000 n -0000079468 00000 n -0000080110 00000 n -0000080187 00000 n -0000080630 00000 n -0000084576 00000 n -0000104170 00000 n -0000104577 00000 n -0000104690 00000 n -0000105763 00000 n +0000001369 00000 n +0000001437 00000 n +0000001604 00000 n +0000006330 00000 n +0000006435 00000 n +0000006516 00000 n +0000006659 00000 n +0000006816 00000 n +0000006884 00000 n +0000006965 00000 n +0000007036 00000 n +0000007138 00000 n +0000007206 00000 n +0000007349 00000 n +0000007420 00000 n +0000007591 00000 n +0000007659 00000 n +0000007753 00000 n +0000007850 00000 n +0000007918 00000 n +0000008074 00000 n +0000008239 00000 n +0000008307 00000 n +0000008400 00000 n +0000008511 00000 n +0000008667 00000 n +0000008823 00000 n +0000008891 00000 n +0000008985 00000 n +0000009079 00000 n +0000009147 00000 n +0000009306 00000 n +0000009465 00000 n +0000009533 00000 n +0000009627 00000 n +0000009733 00000 n +0000009801 00000 n +0000009957 00000 n +0000010119 00000 n +0000010187 00000 n +0000010280 00000 n +0000010363 00000 n +0000010440 00000 n +0000010580 00000 n +0000010649 00000 n +0000010719 00000 n +0000010806 00000 n +0000010874 00000 n +0000010943 00000 n +0000011041 00000 n +0000011109 00000 n +0000011213 00000 n +0000011300 00000 n +0000011377 00000 n +0000011533 00000 n +0000011689 00000 n +0000011757 00000 n +0000011851 00000 n +0000011945 00000 n +0000012013 00000 n +0000012169 00000 n +0000012239 00000 n +0000012408 00000 n +0000012476 00000 n +0000012570 00000 n +0000012640 00000 n +0000012710 00000 n +0000012827 00000 n +0000012895 00000 n +0000013051 00000 n +0000013122 00000 n +0000013193 00000 n +0000013268 00000 n +0000013453 00000 n +0000013521 00000 n +0000013616 00000 n +0000013715 00000 n +0000013783 00000 n +0000013940 00000 n +0000014011 00000 n +0000014183 00000 n +0000014251 00000 n +0000014358 00000 n +0000014430 00000 n +0000014502 00000 n +0000014575 00000 n +0000014648 00000 n +0000014721 00000 n +0000014857 00000 n +0000014949 00000 n +0000015024 00000 n +0000015097 00000 n +0000015170 00000 n +0000015284 00000 n +0000015471 00000 n +0000015630 00000 n +0000015702 00000 n +0000015819 00000 n +0000015916 00000 n +0000015988 00000 n +0000016171 00000 n +0000016334 00000 n +0000016406 00000 n +0000016511 00000 n +0000016608 00000 n +0000016680 00000 n +0000016839 00000 n +0000016998 00000 n +0000017070 00000 n +0000017175 00000 n +0000017272 00000 n +0000017344 00000 n +0000017511 00000 n +0000017670 00000 n +0000017742 00000 n +0000017843 00000 n +0000017940 00000 n +0000018012 00000 n +0000018191 00000 n +0000018358 00000 n +0000018430 00000 n +0000018531 00000 n +0000018632 00000 n +0000018704 00000 n +0000018867 00000 n +0000019030 00000 n +0000019102 00000 n +0000019207 00000 n +0000019304 00000 n +0000019376 00000 n +0000019555 00000 n +0000019718 00000 n +0000019790 00000 n +0000019887 00000 n +0000019988 00000 n +0000020060 00000 n +0000020239 00000 n +0000020402 00000 n +0000020474 00000 n +0000020591 00000 n +0000020688 00000 n +0000020760 00000 n +0000020923 00000 n +0000021094 00000 n +0000021166 00000 n +0000021263 00000 n +0000021360 00000 n +0000021432 00000 n +0000021635 00000 n +0000021705 00000 n +0000021791 00000 n +0000021978 00000 n +0000022051 00000 n +0000022230 00000 n +0000022302 00000 n +0000022399 00000 n +0000022508 00000 n +0000022580 00000 n +0000022747 00000 n +0000022922 00000 n +0000022994 00000 n +0000023111 00000 n +0000023212 00000 n +0000023284 00000 n +0000023451 00000 n +0000023610 00000 n +0000023682 00000 n +0000023787 00000 n +0000023888 00000 n +0000023960 00000 n +0000024067 00000 n +0000024177 00000 n +0000024344 00000 n +0000024503 00000 n +0000024575 00000 n +0000024688 00000 n +0000024785 00000 n +0000024857 00000 n +0000025032 00000 n +0000025191 00000 n +0000025263 00000 n +0000025376 00000 n +0000025473 00000 n +0000025545 00000 n +0000025720 00000 n +0000025879 00000 n +0000025951 00000 n +0000026064 00000 n +0000026161 00000 n +0000026233 00000 n +0000026408 00000 n +0000026567 00000 n +0000026639 00000 n +0000026744 00000 n +0000026841 00000 n +0000026913 00000 n +0000027088 00000 n +0000027247 00000 n +0000027319 00000 n +0000027432 00000 n +0000027529 00000 n +0000027601 00000 n +0000027776 00000 n +0000027935 00000 n +0000028007 00000 n +0000028120 00000 n +0000028217 00000 n +0000028289 00000 n +0000028464 00000 n +0000028623 00000 n +0000028695 00000 n +0000028800 00000 n +0000028897 00000 n +0000028969 00000 n +0000029140 00000 n +0000029205 00000 n +0000029372 00000 n +0000029531 00000 n +0000029603 00000 n +0000029716 00000 n +0000029813 00000 n +0000029885 00000 n +0000030060 00000 n +0000030219 00000 n +0000030291 00000 n +0000030404 00000 n +0000030501 00000 n +0000030573 00000 n +0000030748 00000 n +0000030907 00000 n +0000030979 00000 n +0000031092 00000 n +0000031189 00000 n +0000031261 00000 n +0000031436 00000 n +0000031595 00000 n +0000031667 00000 n +0000031780 00000 n +0000031877 00000 n +0000031949 00000 n +0000032124 00000 n +0000032283 00000 n +0000032355 00000 n +0000032468 00000 n +0000032565 00000 n +0000032637 00000 n +0000032812 00000 n +0000032971 00000 n +0000033043 00000 n +0000033156 00000 n +0000033253 00000 n +0000033325 00000 n +0000033492 00000 n +0000033651 00000 n +0000033723 00000 n +0000033886 00000 n +0000033951 00000 n +0000034024 00000 n +0000034121 00000 n +0000034193 00000 n +0000034266 00000 n +0000034392 00000 n +0000034464 00000 n +0000034536 00000 n +0000034615 00000 n +0000034697 00000 n +0000034787 00000 n +0000034859 00000 n +0000034931 00000 n +0000035004 00000 n +0000035081 00000 n +0000035154 00000 n +0000035276 00000 n +0000035348 00000 n +0000035463 00000 n +0000035553 00000 n +0000035626 00000 n +0000035699 00000 n +0000035772 00000 n +0000035845 00000 n +0000035975 00000 n +0000036064 00000 n +0000036136 00000 n +0000036209 00000 n +0000036282 00000 n +0000036355 00000 n +0000036505 00000 n +0000036577 00000 n +0000036676 00000 n +0000036759 00000 n +0000036832 00000 n +0000036905 00000 n +0000036978 00000 n +0000037104 00000 n +0000037185 00000 n +0000037258 00000 n +0000037331 00000 n +0000037489 00000 n +0000037570 00000 n +0000037643 00000 n +0000037716 00000 n +0000037842 00000 n +0000037944 00000 n +0000038017 00000 n +0000038090 00000 n +0000038163 00000 n +0000038277 00000 n +0000038391 00000 n +0000038550 00000 n +0000038713 00000 n +0000038785 00000 n +0000038882 00000 n +0000038983 00000 n +0000039055 00000 n +0000039214 00000 n +0000039287 00000 n +0000039462 00000 n +0000039534 00000 n +0000039631 00000 n +0000039728 00000 n +0000039800 00000 n +0000039959 00000 n +0000040032 00000 n +0000040207 00000 n +0000040279 00000 n +0000040376 00000 n +0000040449 00000 n +0000040522 00000 n +0000040639 00000 n +0000040711 00000 n +0000040870 00000 n +0000040943 00000 n +0000041114 00000 n +0000041186 00000 n +0000041301 00000 n +0000041431 00000 n +0000041504 00000 n +0000041581 00000 n +0000041675 00000 n +0000042036 00000 n +0000042073 00000 n +0000042124 00000 n +0000042175 00000 n +0000042227 00000 n +0000042279 00000 n +0000042331 00000 n +0000042382 00000 n +0000042434 00000 n +0000042486 00000 n +0000042538 00000 n +0000042590 00000 n +0000042643 00000 n +0000042693 00000 n +0000042745 00000 n +0000042795 00000 n +0000042845 00000 n +0000042896 00000 n +0000042946 00000 n +0000043149 00000 n +0000043306 00000 n +0000043859 00000 n +0000044073 00000 n +0000044232 00000 n +0000044677 00000 n +0000044896 00000 n +0000045056 00000 n +0000045829 00000 n +0000046048 00000 n +0000046188 00000 n +0000046404 00000 n +0000046643 00000 n +0000046797 00000 n +0000047005 00000 n +0000047216 00000 n +0000047361 00000 n +0000047581 00000 n +0000047833 00000 n +0000047961 00000 n +0000048043 00000 n +0000048646 00000 n +0000053208 00000 n +0000053289 00000 n +0000053839 00000 n +0000057482 00000 n +0000057564 00000 n +0000058273 00000 n +0000065146 00000 n +0000065228 00000 n +0000066017 00000 n +0000079094 00000 n +0000079171 00000 n +0000079611 00000 n +0000080253 00000 n +0000080330 00000 n +0000080773 00000 n +0000084719 00000 n +0000104318 00000 n +0000104725 00000 n +0000104838 00000 n +0000105911 00000 n trailer -<> +<> startxref -105950 +106098 %%EOF \ No newline at end of file diff --git a/docs/typ/cheatsheet.typ b/docs/typ/cheatsheet.typ index 74d039c7..d7bf51ff 100644 --- a/docs/typ/cheatsheet.typ +++ b/docs/typ/cheatsheet.typ @@ -129,7 +129,7 @@ Helix-style: motions *select*, then an edit acts on the selection. Mode box: bla == Themes #word("Themes") lists them; #word("Theme") `name`; #word("NextColor"); #word("ThemeFile") `x.zon`. #doc("themes") -== 9P control filesystem +== The virtual filesystem (9P) Pane shells get `$PARDES_9P` (the socket) and `$PARDES_PANE` (their own pane); a command clicked in a pane also gets `$winid`, the pane it was clicked in. #cmd("9ns --mntgen # then m=$PARDES_MOUNT in every pane") #cmd("9p -a \"unix!$PARDES_9P\" read index") diff --git a/docs/typ/guide.typ b/docs/typ/guide.typ index f154bb1b..3a6e5bea 100644 --- a/docs/typ/guide.typ +++ b/docs/typ/guide.typ @@ -3,11 +3,14 @@ // keys on the cheatsheet. #import "style.typ": key, keys, btn, chord, word, tag, addr, file, cmd, doc, pairs, glossary -pardes is a screen of columns. Each column holds panes, and each pane is a -tag (a line of words) over a body: a file, a terminal, a PDF or an image. -Above the columns runs the workspace tag, and each column has a tag of its -own. Any text anywhere can be clicked: #btn("B2") runs it, #btn("B3") looks -at it. The keys are helix's, in modes. +pardes reads the text on its screen as things to do. Right-click (#btn("B3")) +any text to *look* at it: open the `file:line`, address or URL it names, or +else find the text. Middle-click (#btn("B2")) it to *execute* it: run the +builtin it names, or else run it as a shell line. Everything else is where +that happens: columns of panes, each a tag (a line of words) over a body +that is a file you edit, a terminal, a PDF or an image, with a tag for each +column and the workspace above. The keys are helix's, in modes, and every +session is also a virtual filesystem, served over 9P, for scripts. #glossary("Words you'll see", , [tag], [the line of words over a pane, a column or the screen; every word in it can be clicked], diff --git a/docs/typ/reference.typ b/docs/typ/reference.typ index 5ef871a3..afbbd899 100644 --- a/docs/typ/reference.typ +++ b/docs/typ/reference.typ @@ -1,11 +1,11 @@ -// The reference: every file the 9P control filesystem serves, what it +// The reference: every file the virtual filesystem serves over 9P, what it // does, how it fails, and the limits. How pardes behaves on screen is the // guide's; recipes and traps are scripting's; how a mount cuts writes and // the listeners are building's. #import "style.typ": key, keys, btn, chord, word, tag, addr, file, cmd, doc, pairs -Every native session serves 9P2000 (not .u, not .L) as a control -filesystem, in acme's manner: panes, columns, tags and the session are +Every native session is a virtual filesystem, served as 9P2000 (not .u, +not .L), in acme's manner: panes, columns, tags and the session are files. Paths here are the served ones (#file("/pane/2/body")); through a mount they sit under the session's directory (`$m`; #doc("scripting", section: "find-the-session") says how to find it). The served #file("/README") is a diff --git a/docs/typ/scripting.typ b/docs/typ/scripting.typ index b293bdb3..fe9146fc 100644 --- a/docs/typ/scripting.typ +++ b/docs/typ/scripting.typ @@ -3,8 +3,9 @@ // reference. #import "style.typ": key, keys, btn, chord, word, tag, addr, file, cmd, doc, pairs -Every session serves its panes, columns and tags as files, as acme does: -`cat`, `echo >` and `ls` are the whole interface, and a program that opens +Every session is a virtual filesystem, served over 9P, as acme's is: its +panes, columns and tags are files. `cat`, `echo >` and `ls` are the whole +interface, and a program that opens files is an extension. The reference (#doc("fs")) has every file. = Finding the session diff --git a/docs/typ/setup.typ b/docs/typ/setup.typ index 1ed6447b..7d2970f8 100644 --- a/docs/typ/setup.typ +++ b/docs/typ/setup.typ @@ -14,8 +14,8 @@ pardes runs as it is; a few lines elsewhere make it fit. on Linux; it needs `/dev/fuse`), mounts 9P trees through FUSE as a plain user. With `--mntgen` it mounts every posted session at `/mnt/9p` and exports `$NINE_MOUNT`; a pardes session is `$NINE_MOUNT/pardes/`. Run pardes inside one, and everything it starts sees the session -as files: +name>`. Run pardes inside one, and everything it starts sees the session's +virtual filesystem as files: #cmd("9ns --mntgen -- pardes-gui") diff --git a/src/fs-help.txt b/src/fs-help.txt index 1ffccc00..40dd05c5 100644 --- a/src/fs-help.txt +++ b/src/fs-help.txt @@ -1,4 +1,4 @@ -Pardes control filesystem +Pardes virtual filesystem ========================= README this summary; the pardes book's Scripting and Reference chapters have the rest index a line per pane: serial kind(text|term|cmd|pdf|image) dirty name column; names hold blanks: rsplit(maxsplit=1) diff --git a/src/tutor.txt b/src/tutor.txt index 76df0197..a6adcb35 100644 --- a/src/tutor.txt +++ b/src/tutor.txt @@ -295,7 +295,7 @@ typed = PART 10 — SCRIPTING = ================================================================= - Every session serves its panes as files over 9P: a program that + Every session is a virtual filesystem, served over 9P: a program that opens files IS an extension, with no plugin API. Pane shells get $PARDES_9P (the socket) and $PARDES_PANE (their pane's serial). -- cgit v1.3