From 8b63a6f6c2c1087dc6068bb4f3c87c7794a312dd Mon Sep 17 00:00:00 2001 From: Joseph Doherty Date: Thu, 26 Feb 2026 18:53:54 -0500 Subject: [PATCH] feat(p7-01): verify 11 small modules (114 tests), mark thw benchmarks n/a --- porting.db | Bin 3395584 -> 3395584 bytes reports/current.md | 18 ++++++++++-------- reports/report_0862038.md | 39 ++++++++++++++++++++++++++++++++++++++ 3 files changed, 49 insertions(+), 8 deletions(-) create mode 100644 reports/report_0862038.md diff --git a/porting.db b/porting.db index 94a0a10f0aa0b2a55ab3b5403f3ac434d0c5cf19..c6654d19ad7e20674c09250304d2f813584d387d 100644 GIT binary patch delta 25924 zcmc(n349dA*662ZU%F=!2!!;cGnpZig%GlIAcQsSOW3!tha~~Rz8Q9g86XI<2U0{r zSVWLbKqP~x5L~#5BA|$Xis;oVC|o zY=V$m-rdnEL_jp5MNos#^2B3D$}+8WgDvqylU@1Nra)y<1^;WzYIybd8PjG?EuLEp z($KFx$zRxn^4%|v(b`6++~vBX3D$2I4G#j%R$P>JBIoFbGaGts4{cxCuGr4mj@x$I zHrZy`#@hPZ;PHF*4*vKn=6@Q*fB&U#W79Myb2B7Zii<2Hn~RIgB*P`?pwT2;u%Wof zK&I-E*(B?Vi*zJwL((jGR#v6s654=E#AHm@siM_{Gij+RKI zbeN>Gd|OWcF!6TXKx0K?NjI=CL?Vb-(6+0H?gN!}f8(g4D5+fj2DP=)lkWQ)y1jx0% zz=hk*|D-P{Qd2U^1^~h(H3L8!GFfT@ZXih1NlgH|3yD;VT1yLows_K+q{v zCPPV{KM1s-l92^0ygmq|C^DwOUPX_rRD)UbuMg+|GUxPeGMfurUcmGKgR(9Tayb@#)C1W405auo*Yj$;TPjWno#Uq zJ&ORIaFJsc7lGR$S}bryG0}wZNO6c3(RU3efTj!{HH_y~o8Yn{&lJ;Z7nt60@& zm30L;tQyT0G8yLQOm~fIbe9Yt8Qj|YniDWH1GIsoXVT3fR@x3rXDLHSuK(~XV5YiM zKUcDMwm1QthM=aTcc?r)hi6-V*ub`)*Mhp+6p($0}=3pO+XL-oCAh5 z3|K5=ct^EDGl7F0$U4MqljeeUb!3|h3WKf^GT^1B=uR3?-K$h?RV1^l6#OexPisZR zNAtj-(Bue+RG8qX`M|9Ru9*-1q6C-aTeR@N0?-l<#qiDoFg#pj{6a;J^mF-fwhjpE_gt*gkYTHvg)}ivudkK z_pJ6W)mHr_twv+E_{@WBG3*n6>@x5Zt)O-%8tB^jK(k=O3mK*tR26W(4{Wx1OFKvn zuPI?)~*5dVT5R{)n1CNXVM zm^5Gu*al(_+cSV#S_eX4`ZK^K7vjrmg9=IVW)9>Vh>^Ab833t5q=1~T77UkL+kdGH zETKDlAZq8LxVSmP;;=~LypX}%Rvm_iSA!R9zSK^rluYl40ya}L>>umFX{r>dD(`Io zX^LSZI-)F%eZ>WAV=;?=HFy}BC0BN|3Uv+k8~b$zrxw%pW@xuH4BG}Bnr2Hj9?iMB)>RqnzDo4{Ji4BY1vf`NzPrWYEYfZLl| zz`E5wFceiI2*@bYW_q3v70h+%8`q5#9=Qy_&WD;fcCCe~Y)K$is3bKsMJ}8G={Yw=g)t9X507-}C<)a*O^@ms1RsCy~ z2*S&1^+-g6vyTaB2CMw(=^oP zc%_O=E8hVk=&p|jz2*%Ft5~o~6{-471^(tY?*d75J^JhhnR1_H9;@=CdDiM}H4GV& zicFWr#+$oA?{FUt*dwo$(9E@B56GruBEA68@ZKJf7@Tng81o$XkP^vz9<5}#y&y#v z>A4r&2o-59r}~};wN$E9M(IBJ!cc&__JQN!BIgfrak7?!`@vXBL^7k*3m`!jDSm;z zyo8bne*oa^3jy{z5Hb}@B9{&j_5JfeNYF|miw^>~T+j;#>FXVc8pH-84iPnKbtq(M zA&KlgBwv{!=U+Yqx=>Y;WI7y{FC&o5tivI5k0f*TFmPIwXaUgKFFpn4Wq{kz^kT@w zF7>CMUL?W~x{rp8$5It990kpA75z_+f(T>~4!Me;rYNwSvdpMb(}kv~5n z8Yl63$nsYz=*)G{RMztFI+z@;Wz7vDQ2aN*f^d<-n?#^Ia}&%B7isn>VeZIJ!y}T1 zZ5FuA@TX6S(wv`#OjpR}pxhsy0i{vmKL^9Yi$rzP!xuj%(N7;}VmD;hD**d#D&-Q<(~l!wu28U$qN>&05PIWL9d{t7llI z!1&wXzSWoGL9?@?Q>VbnyjM?mYZ!GOM3Y5Vxa=qKu$N`-sY-;szXC3s&+gTty!@!v zEHAFTu6zT!!JS`$dLelmz*}E|C3t0&<(=r&pll7;)~vK-OSy|KN>DZ3|ZW9Bs zrHcxVf}XozVQjEcS-!mzf0rnZv3In7hOZDIeOZWr`?4W0=pn1}7Z0gLf`k>!hB zBAMG(HkVq_qryTg_2n%_g*Em@wq+ZO6}~XtqRbAqH|y{<^yN{Ww(aXcnz5|QoR`EH#YOGAG>-6vGp;n9mMYx_9NM`pAn7#fU$O=&( z1@GMhRZ5OFUX`f6N4G$nEz5VegX_NsM)=JSATlKHNxW9is(AoFhQYj81=X!o{@d~D zbl_=c{QvqlNkozhRh<;2wr~2)@8jir_;GPa$|4!(0TXFw8-42*Ydy z)fi?W*c1d$@k~Ur2WB9chvlXtn2cc>f>9WzBIt)<3W81;CL?Hpp#(t+hDiuwF-$~Y z6Tu_i!J|!Qw-w}e1Ksrf^!(gAb1%=A%guFMk9C@!zcvn z#(RRdQAQ$KhLc7hn1f+Bf(aM~AQ*$LeK<5Gy)z&Lj;}(ObrleFhr?Tsz(^a%eA{0>LK_H zLnMMr7$Ok7fx(90BnB&j7cj60wqsz>_@`Qr$%4R(!Hi%o2JznGL<~j*@N?S zH}&!`=nx1P#M^m^7&HiC0$`Y1tVYDF`ZZmRJ{te8=~~kmE%QM2(68I5JqjWWM*Z*1 zRpvZ%iaE$sG3(K0r#1<0iioiL^_#UnY2i=#))Zj$CqV6F9YnWE$LJXpx~jLt)p%`1 zrGbI5U92AXN_XpESekEbvFbv#7JYQ+qemYD`WVs2gg$2fg=)(@A2B=f@PUhI2p2k; z+~8$Mrr>QK375GT9)9X%GQwp$yBNGbohiU2E{44IA?fQDoNiHa`^MqP4dFYDNfjW0 z84zB~+5`sgaw0wF6Bu&+9W?tN2~0Fx<7V(pA0&9j&5#>4LBZ~cq%vP3L*8!T;l^a7 z$CAY0+f+zTrzD2lhY9NWB#FsUD%UWXA$NBqJ^4!V-;E8riO}G;Gd~XEWFr+Vd2&+C%)>*gcDMkNp%VjRO~Bg%8-{} zQWb*=Gt!t=is0-tW)!7te>#d8V>2dCk?GfrAura@#;GWCry0{hk;zPF28QbCFDI8} zFl8BRO@>wM6Ngp5s;vfpUY@lGcue(8W)m>}sw>fr(G}?W=(_0I=mcF8U7Yd0@gK&| zjaQBD8Q(CzVmxNCSk&g<%n!`pn!V<^=84Q9rkdHrtYGFblbKOWKV76wt@G+;n}?fw zoAb1b7JlF3{4Yyx$MpD}9ctEU%^wQNRn0G#-TwRX(SS^fBB4GB^+<>$A%X<@VGHs}3rndg5jC52DEiWe z7rzytZ&BixA?S-m{4&^5N-9ewp$Q2oBqYPTzgyE_RK9hbIA2_Z3-hge#TiOow6R|y zT8kT;{SwhqiAXg~NuVE5AyZ5wP_afmsAAWXa#RFs{ik|adpzec3{-umcBl+p4Y`J< z=(cq|gHHde{(Jo`{T2ONdcXdleusXee!0F>U!otW@2l^qZ>~?)+x1pG(EX(QR(Df( zQCF)wq1&gc)UDNdbhCBEx}my!T{~T-EmZ7Tl)BK#B%X)Sse$K??Za+Lub~Ls4&vdQp^5k@T!EZUt)(Dy=(3 z-7rb>kF_gCaV)TQp{O%Ooha%^Q3s0hC~8kpJDJ4s&)QZ-k=jtynxa+|r4f{3yx%A_cRqI8OyQItkeQ;Jdv@)TK{5LjeQp(vT6B#II#a#NH*QDcf+ zBzde(60PwRIVg&wh^Hu)B0EJKMKKh48c`TcQA3IvP!vT`eTwQ)6iHD8MK%wGR*G1P z7>Xd$6hBlHjhG(U)V(f`Kf2p@<j7F7(e=9F!@6b`k^!V!%6gmK>qMD`oTs1a02}h>9^mExU17{ zM31J!+a0*3F#C2ygva`h^;PSO*4@@E)>YPp)@jx;)`8Zp)?8~-tHWB)s$+j;zh`f; zSJ<~$KYNhf!ER)iv!!eaJCg0oc4V8g$*i5VvVi%C`IfoKTx4pQ6U;uQl3B|vWo9zt zm_bZerX|yaiDj&e%JQS-Ys)puJC@Uy!);V`!vg(U~XtOntnIkGu<*>Hoakb*|g8J4Q-w- zHcdB;F%2+vHnlJ%n>Z6={LA>j_!ZiyJ@1daVy-rzmeR_@4)Y4xftXVi9jE9RMMo)m zk)k6M9j54zM0nU?4pNB+D0+dS{S@t^=y{6vQuG`}djb?(b~C%F#9b8aq^O#r9TZhj zw4I`7DXI)oVA;)VqY@!S6%YDD56$Z%u*!{ExVZ|3L;ue(ISc# zQnY}g`4r8gsFb3o2=Wv$a|tYB=1?@7qFEHpq=?!B`}eQciES@>o1DCKuJeNZKXbkA zk#2F|OU3`n1v}33-@9HHdVZCQ=RNuOrp%Uq_pTMDX(!$X&VX>5!5XJinf7oh$3>YQg3kNSU!4Xs?U)Y8kxs zE@ahgQ)-pEu3?zHcNyt$TRZG=P-A4Egg~C4Z zQJp6I$5(UsNf~5! zVKqlSyMhL4vH5m~RBz@8l*@Hc7%)cM|bjv5TV)G$OY%@QYm>K68(X zthbvkQfirlyE*)<5E8kyo9^tA$htks%Q~{)n|ruR%+GkotLsq5iE?u9U2=MIq}cJC0kK1^iK z8*#z&>d3Vp9Of2wx%Apm zqM({%9Ef)rZ>y}T9F@VVU!?s?%c+N|Zm4ps=h?2zFv~vkEK{)&_BUvvV9sT(dsvbC zFLU@%I%>unmpOO1Cuy0XA952Z8F9d6;A zN9mI4*!>zA?TfB)2gB6#{)CKn?Z^c^*Yy{)B=}HLBq?-*OgHgJx;4y z3BQ}lr$XBeZivlitZIuM!;fLxveNnO``5W<;Tp!w;J4vm72vF!9CgS{GGz9rq#^r0 z<;W++q9qaMXB>V&4>@kwXWS~XBuT{hIVZnjCd=RT^STrEjVeNQOJ%C3x@Bw6-e%)0KU*@*1Hs#VF5b@4%_E-s80NGqbEoN?sx@5i zwCC7-+1>`yv4tGs*up1H`~UvLg8#A0K1NTODC*ykVkbiKT#DTkY6B0osdi$4mYHfF z8=@u(zL`p>fj_6(&xVP7)6`C^N8-}#L&HS&r;#GJ)9l}dh%|t|HIv_9gc`4Xx}AJ- zGFmz+^G>>5Y2UI8ds#+oO$NWEF{MjfE!Ga?iG}&Yfjm9+NYm5mK|HZA_YdOf`6q8M zPfV+e2J`f)Pg2oz2v4lZhYsPxXM#V5@Pvnx3;5Y##-1v zY#Yk=2-Ct2-_=hV$Vol)b}w#nte$;e6;wY=hM! zc>Hz%)LP8azXcV7HPJL%YyHCTn zM%N)L6!OY^3MUov)S_QfccqX|!iUkb#D~G_p%)g|CaGTpyRA2@ZPB)VHFMqajirtG zY10SB9}QOxak{^0|I$dsmWTsd=a2y{K5F5NIn5@{=v_Q*#_R?4wB+T1G(d{O8$OsM z_)Jyen+;;v_VS1r4`ZkEHqw28ftAk3REe)Qh+(@B`4VRE_3F-7FSu9`d~K@wp?qn+ z-f+WwJ{rC~hJTmJQahe!;i<7oEDP}Ku{`-SHCm2|GQM%VeC;T}Bjfl-p?caVgSfVc zr$*?23U3iFj}-zuUBtf`s)B|4igqNoj^mutm$Y3LRZop(E$_2P$GTq0; z#%AD;lgVl~p2E{R1xQ9-FAMPO6rSE}kW?g0Quh53x|dn{U(s6 zv0i6Kn5qpQ=_9qt>h&Pa675G_tUj>$MpcQgQfOP4&$boM$Y(4H83$+1<*o3>BEG6o zP-ph?hE)aV3}cRWY(ASK=81iZr{6y!=BX&39rvx0bjaNT154%IMHp6yF`sO0HZH3;R&^cCc@nPQ%vOZgwe z^NjQG6>=WmQ&j^|o+NMod^SnU^ZEk*`S3hXFXT7j;LrBw&*DD}t3Wy|nZwI#@@%+a z4*yoDqAjuxxN<&EUwKK9v~&S4Z*B;!GW}0H{O)fkE$ICMQSeG}oIJZ__@5NVUDSpO zMZ(`F$H}Xh41e~NICID~zNl%&v^aTy&hYP^7Wag%SfIEWaq{ewQ8qKKW~O6f5?P=$ z^1cQg#Nhl8I>P76E!!N#yz~Ax2Q@28T8b(ivej9zy3#@Q6G_DUtb>{{&WSU|>+r8< z9n|%;BwM-NK}_^lw>!copiWf|Vuqeq<)ALHB`tTW9QZA1Xfkx{a8Os+lE}6l%Igoa z;FTS9*xk0;L9AP*S39W7TuBSq=^$p^mOCAxOLiN)xYMCr=9cYpl8vSTHs*_rL?cqn-2wx|!9tFMA>uAk7#h}mY z=3Yv*r?|xYzMI>F<24J;?(WVF5s8AIb$7e)D>$-RWumits_T&L;l66~HTPQ3(BkNk zODuGU^l($t8GQ!0xz{Y_=+r)t1DzbF*Avu%;g(*s6i4cV!sz%fH64X&Hil?!4S($A zZV*x*;yiM;*C6ExoC=51DfYxZ?x@flvVUs&x%Wp?slokEW$V}fWTN|hx_3$I%->4f z#Fkgo_L1V|XEba#+3hA3!ex`)L@2*H*-h;cOX1_5;+CiIEZA=f?G#u$#ZC0kpQpG( zSBAkI+lRAtNrBhBq067Hv4epBU(?*z$cqqkc73jUV6gV+xYWd)#^ltB&VuJOCX%B| z-E{KWQZo0qrEWRSot2Ss(00n50B!T!7HH+=>%vUI|H(XeJ=uebWZohqiQcq8oLO4B z!0o}_3lZ$M(2b{BWch}Lb(M`Y5;C4eZh1FDQPxP!5eJ~wEOxI8FR*ZlyNBYXV@v9i z@x1ER!&^&GlYh{#F&>GKW!ILvH->9`veX?1(_#q0nq_W-e0WSTukUd;erGIFw)MDs zak#SAkGmVd=`Xp7Qun;13hxs+6pr^(yU-u~*Kdo^yu&tjIoaJ{f4AoeqG|Hk= z?wNG*D{lPSIOMp}SKRViSt(}cX=G2kgIPq7%sX9|;gaB^Ls^6?3SM=wo@@5{$ZWISEo^g*+lAE7( z55cCOR~`pXIlgt)oh{3h)w;`S6U%Co%4(C#YE#N;o0Qe2men>bt4%AbZB|yBURIk? zR-0KXv;(Hm$BWWKv<&c!>gp}Fg>JOYO{Q3hYVaVuhvti^< zu4uIS6!OEhp1tJ63xA|_#9K~sD^fDi4y|uHi9VK5DvS-+bE#BNya}t%ar9YA$-3M( zFCK7d>pC#)yDFpK;+A5F+1n zt&D;*&!FBFu~}#xT3jToJ?kR+?Agu2$WWOG*r!~;I}RvNt51d$DjDY3A}E0hM{W`1 z$wTs*B=fk&gfMAqx1ha`j>1WoMWvc6h5oz#AJ#MKl!1_ge)!#IskN zF_8U`bamo3VOD6p?6B81)GPca>M6a#JF$`p42ok;xL7##BPTr`A`_G0gO5nnNmrfZ zb!u?Tw0-O(s@inBKyJYBQ0fcKstC9GtFAd4%1bI7O3*g=J4b$Hy^;lgUc z3@=rag2D~w{Los*!++jzD(kbFUBXCBs7wUh@SM;|iSLP(38GV?;gdgH{lkS9>=p1E zcTt_p19=M8TZf# zc>0M8zc3aVRp_rv=APfxTB+sG$~dtXN5hQcu5RHqKrS)EDaTzVSa^V(Mi*D|;@A@n zZ7;bBscb0bM=0@}e##{;ZX6V;k%@oBMGu8ix8V;9L{-Kd4w*|NnH{HH?Ukw& zRmN1DcG=fBLW^hD)dMXY*A$jtf5%NYR{_l%XGW7XKfkQ@oWY2y5&Rjd+3mVv@yppO>;yiI!W{vxcj6)Zbb&8WA)E2;z}U$cNaZrNKtn9cUQ-F zY$Cc&7OzOvXq3zn|DVgEKQ(&ct?fImFMR0;T8Z7hASA;>-^q7oGqPdHgOFw#^9VV6 z%_%f_yniW)m;-w}42koNuL!;67fHnY=%Sa5lA1F=x|Hq--#abHmkUzVNHVYg%hg3` zysJOEiDuXdw#WLtUC%w&sO_Pk-tlv4)^Z^hfpuZkwzax05UUcvtmkpVB zi7tm4Eg9N>;1VLdC6zg-*;L)qa@lTTv-Nvdm=bKZcZJ@;&Bcry@7&53l3XW6j)R34 zgpqO^%fcX;a9taS6htMIk5JWnJT_8wDLUM=% z2#9n9DH$FW3Hre6BT5NKkzzyen`@QNqbLO0T?rHbjcCxJUGFgVd zV|$~Z@EPGsW^qkRzK?2Z@%pk-eOc-0C9w@YQ!ue5Z5n2o1x#v|w`57f(F&q|i6hot z(ui##H1lOIvzZDuw&XmUE;IC`mgu8{nEEBtquYVwd)7=cOOE6B2PqGSy=BJWfua7a}=bj~DM-$*mCW$zab@cMA z`ad~7b6jl)=!+Erwp7`;mCjxWG)=vOT|L_9AblIory~bKJ<$h4s<4~A$77|YB#(KaYx9gmVs_e zq>iKn@}RIgX$S|pkn7O@b)(3|3a@n~@k$q&aHT6Lf(K5y`+41nJ6vXy>F-2EAe&(# zmy)fS{oujpObm<}iE_5@PFxC;49M?J7OHxnvO_(jLq;|#p>%J9kF$wWX_*dxXOjGV~;3KW(SkzO2Z83GnkZ#T*VlphXg&4n!%?J zAx#LlR$8S%S~*k-TtUTjI5m{K1e-5okPRo1Fnt(_RhXth$uQDa?r{P}#N*+_2ob|c zT!^C8a18C5S48JVz|A5qM#1@j9YJzo+-V&GU2 ziGf$g;XvJUh>A6f`8>@FN#n^F&~HF(vWWvujSpJi=YvnjqxEa*HIl-(=L8~7A813L z2Nq8twJ`e#7Xy8};2>TxG1#py6^=~AhQZ-ie-dd49g~v2JqV?k_YD} zk(X6$mQGf)**BTI7xLleDM9CB{}-l^B@m$W9E`~)T?9Mg{FIi;AI>Kpy%0{K#vDXV zm!uZ3Y0zUj*#}RuC37@_rZY&2(liam&LI7zVRU5%>8X78fomqom%d|H(eU0((o8|7 z!ml&QX$Ulmk>cz|0dX~zRrN7p={iO?T4!HD4(moUd9=s&s`YEjny|~}Yi74`xFH_S zW#V8PJqt~V0VPVz!rVe>I0_PH@P`YDjlh#-R#~5)W|O9ZF$HXTAgy&IB)&k_L1Hnf zW9s|jxas-hq4pZX!lrpR;xD~SOz`p?9ADuHk*4spO#jd@}A(7pGQOK9@We;w}a%*J0#T&LhnP zgaxk6BLgAw0(wSiVTDoiiCe<1nNR)}Jb#%O-5Rgm@KXCgd$4RVx4WUK(X#8TlDAZV%M4dMA#kb^+2t zRL|%y>=+6217tIfi8o#|%7(qPoFt2QhyR5RIEh93GlwwIdh|f#3bGkGwPt0)t1DzX z8R+-*yt4zhpFs7$%oq5}#bk+I(oi(_g4HBZ>M=05QzRT-P4+{Jb!hldr$^V3B$34K zuiF;AUXK~V)D!xoSCUMa?QGlt#;hc%l3ao0HYiu3-#dV-Cq%}9l>}70W)!1mgvcYxU&e)aL zkJMg)di)ylri!}fTH+C9YR;Hv=^Uh<#b&ei!pC^ixv-~U$;L@c34NbVGVG`P`aj6i zu%X6$V?Oj76#Wg-RENDn8ff;kks=p9*TXs{mq6jZlTZmn{nz0NqBoRX)2ql z`4H5^jiwUm8kUgmD!TP0LAut1kS+!3QUrb7vk19xx zN?Wv}m~AXbH$Y7{x?Dqdqgfx^jf1-vX!t6rk+NKe*Kmo!?!lp`Y;Bc9YrMpPr4v^3`3wj;E zobke8Tsn#^FCS2A@z()#Z>Z(sgP5FxZ1*3;scZLToM&@)VYG)IBJs)=60!~n^9nA% z1tU9f!67YI1xvSrD~Cu|6|&>u;GV+M5(*DvZVI)$ewa8Z*+(sPIt;14aY^9WWT^$~ z>zMMzSyN1iKff+#J8&Px>=TmugQJ+66{-2>N6AJP1WwsRBR7H^$`NbwWu@UB627Y; zd!*11ZE^M*@rn&C!UhwwUM2X=<_g$)om5EEiAXm7V_e%R{Gsw=vO)?!5jo(7+Sq{` zWFwpyrx?4#O-zZwmNReS*kd zWC|;ML3j?Dm|_wWB~N-88`07F9y)8ZCE9c^>^)--`$c9GT}0&>#_N07dO}<+`H{yk z$|A-yy72zjxM38C>kGtzc}wfyS}R~}D=xM&)0@GPZ*gEA{Q@T`aqhuJ z9L#x07K@D{#YRy}umf&XTZR*+;iV5SQTP55-;@Ub6e-YpG4>Mgk7&!p3oRNyLK(y< zKosffBjOKn_b*u_a8HuCPx%V%sW7e!x4$AwRkY(5imJAiRGslPPJJQTpsE%@Y8)Ir z!24L=%@E-aHm@gCtr^LlXL|SHm@e{F|-cmRJ`W~k& zg{m$z`T@t9up)nh_DV==QB^jSK`&yGiqPaGdPsvRdBdmZJDb&ev(Y{x{$P)ClV zox|%$a6~z5_Gk9T_RsA%?EkU9Z9i(?Z7;RIWM5>TX&-AJXzy;%vM1Z)>~-uW<`3pO z=2NDIInSIfwS;$V^%M04b(8vlIzt_!UZu*Y)zo6DfEq^)qOz&hR13;U)uqg~r?&5G z_ia~f@7hk<_S&}E*4P&FmNOSVfHW`nSNctdML2ocy=gf#-ZZ)Ox9x#p$(<3f!R#KX9R2c)cVQ&4r*=y#;xOU>($?Bfn#Ug^GNuc|KYbZ{2q9n+_F04zS#hswQA`>no&~sqdHIExaerotl~ z>NlZ>NRx7iVs8^#JTDg{O@q&y(1ZR-QJ6%h$yUYLrlT3oxzVa0CDC4$#G*WzP3ctm z)HDrdHKnIZ8)v06EBw`rZUi4Sr5PwqbtdB)N9YwMHKV5l%_9;GP-ISpAe zB-2?61qzW&j}lLdATA-^3I|i@I$&u*cMvFqGsjfu+k(!6cTc9q!@d-{K77@J?x-NW z;7y?iNGdDM`zT0Hv4<}9FjXEq2{&8qx<`7u4n`AOeY;g>d1Cp(a>Mez%pTUUF80aAAu$Keq;>C59L zrxz(JH`7JTV-5X}8t4ZN^t}f9P6K_bfxgi|Uu&SRG*Gig8t_XEq`h|d0_x`2#~B3* zSeRqqqe=eE15L}%G*GPu`cwnm*Fg6)&|M95M+1GrM5}H|nA;lUE&g;bdyiK~Sa0hN znb+&A7p-TkN3FZ8CDxVJdDeXE2y1U^d#l$PZ>?uFTmGEA;zxHGP^sM(?L9>8&{s!?pi|e`ow(bQ0`Cm@P(yiG#)-t#-Ga)j$n3 zPy-DVrGe^epn4jpt_G^3fr=tEV1xz=*FX*pq{$6-MuVd@5T$`^8px^{d3K8iY1Tj{ z4HTw<#F4DrwAl?BoL&PF4Wwg=)Fbb?8p-^vfu3ogzckRF8tAD8`a=W#u7Q4I4B4UU zQRY_-@)r&Cvj+OF26}>9hALq{eHf+sMz>@-s{A zUi&Z&)L#u1+54$MdtVKdtAYAxpxzp&mj=qwKs_~34-Hh5tpU4hpl%wds|M<YvK!`?)LOw>S)HIQ2aC1@Z`!G_(X!8tWh975^A+75fH1{tG)I1SWj zg=3rzQ`SSn2mc>W2~JtU3kiRXgg>PC(`OvL^oIJzu3!!iPpWUcYJAUl%DB&1Zd_|z zVk|I@H4ZR##Z}OYyf-{NpENQ}HVrX#H)WaZleF~)vf2elp9=8#q!9xf~tj25BTWt|CL z?826Fp-a<==;(&s9BfxePukj^B%yKqKYSDK&+Zy_PXpe)(ewGG)Ionu5e7T%$FCxl{ z*$5cCf{mBH2UcKJQ{+)92Ev!Kc6hjgO^^_gE7`WvPEZtT(MmQ^LL6GjrbDOwc=#wH z=wgLc%VLx^)Hf6>(!N`aebkiU)>UlbUZwQWe-+zGC<_ofcfjc&;^8WGm{be1fu-Q` zWITVJ^%Cop1bF2oRQ~wySmCk(tz}-#y2bB?y4yy>#(Z~u=(8HN76my5u?*~5jS}Ly ztVK_kfWMw81)i-&-DV%an-Ec;Noy3{%GPMi_iT+~zUFJ$0Jz@Avs$smCu@}!wsjh% z^Vgx$*cSzbkC_4pThDfv6x=j|v%~!LO0)gzm5!<_&`*vHimkFX$bJG5@!AH(Ry7;Y zh#~8yZ&VQDHljH~h|3!>76fgpHnB!52M~7Z)tk}hshi~>F*MvZzid0pf`2piDwY6= z(p^>vfRwP);nlZNB@36Au;R6eMQ<627e!Pu{9eL#g7F6h`w5(}lmG}^WZ3SMEO z;K&xXnIsgd!9ZB4;-tpg7J_3NQuHomQ>Fd1$m2*Unnn;C?v}FOst~`FDLzO5w3*;F z(eG4RW-@r$Ge0jqN4LCbBBtCJSv0bgs}tZ7CjyU){!DR*_t)P{e;$fu0Rnd&+i2 zj90d^`KlmE*@5O3hyR!z>@<~pzwMCaGYs3d6p99M4WRu_cCu7MB5F{x6FU=(SXRka z!GC|C1yj-RX(c*Cg?q2E+u%5B5qhGaau1s<;`xvFuxTV1mKFgM1{r%L`6zNyaLqAju#deU zX^7d!28{&&+xJWNdlpFB&%Ud|#vG6wYvFSbussQ!*vd)0{(0VMgNp~TnW*HGgX}(` z9!tzBHaK@kNl@P(V%Lk;SE8)D4=e7ze3)GbyH_a<3Xdp}RdIwZg%^HyN!<*4U1?DK zI$C8*6xPm(V!MtiJ@h%sjuG$h#2#)OMMmOKJjRkZm-Ug(uFKS!{ia362S!#uRCimK zX}`d9qlZy@ZH1Ov3*g$dE@WO|vmvknYqSKD?z_S^l}vj33hNfj=j3ifn4vZ7WFnm} zVtS(C?Gr8<_5|<}TQo@Yb@oNc700eC%pP24+hOs?T1DyX8yE`W_*-;?J*aYA@0&Qe ziEIKl*(pIbR;Y7J37+n^*mhEoRNuw{cJdaR5G9?8rKbiA6>afCq9N0kX((LM92?8U zf#Wti7=FBsRu?Wf@Gb&kE<~(>!cW-SA?wY)qjbFQ4%=TGQldeecUg}l(D1u#u@wEH z8!Y!&@jBANce|&xRLOlsxeNE%TdF1(KE)&?dZ?Bq9UAJ-=)!gPb=FATeMftymWiQ$ zp}e*MWDU>8MKeUc@Dnb_hB>2?gxXwlSXv;(Uk^4oqch7~(eW^)hkF6kvfN0c^_;GQ zSmne&b48Ca$=8%Z=IvqgXs?9IfSBayp+R1CU|(_wRhu0BNGci=FZcdv5#3H|l@9Gw zqVc>|s9F+H@25n2WK^*yy4cgG%EN7m4<-RSR1e_f)y9(noH}!@8pz3+>-0cQow;%c zaq_BS@gOdsN?1(?b5g>Bp@X@3QbnVXfc_lJNs~Gx4dDuvm~g;_A)FkHe-7cgNQI07 z{j{M9efdx>TMANf{$z%6^0KAvFs`>)mw-X!fU04rgW!0h-K6U-xT!O=7|!)n!VGWj zhjVh6-5bu8hQ99@!KFyycVh&%GL$n{jZ}K#M{>C#kyA%;O(pt?qqt703EqE?$jX940vfOH&)D! zl0bE)aZZ_C2DF*R^_PUro56*{Thlm~j7x`y)3~kDeZ1J!zUdeMk{D@lYdSYI*e)~p zdB+T{t2AHC-E8xT; zZvh9B3%K?n6t+!LGNlhQWtV?uO8dfs7g|g%=sj^p!R!T*M&Y`*Az+d{5WE>SR&*2_ zwGXD(l>ddwTp`rnHDtO5sp8p941kihF)L5y#|5*;FUObyi@Q2 z{^x5I7+N7z%eBqRVcH7vwJGG5LuxOqR}WneA=`aoBp2-3ueSf1%CXl88OeX04!J|DDf?bk*X<+ zXT?;_irthL%3NN^AiL^)+I<@@=s`solrhVmpN1s#uZmOiz{8lmGM=T38b>F!=W>qJqELfxl8Y-3T(7Q(Sb9Q3d;ElZ`u|3IdR0nD{Cy|gGo?RL2#SCCq}vYD zPHA}UJmnrOP4z*tyd`LloGJ}jQI#9(4K=>IQ{|?iEw3Rf}h>QD>nRdR3a&Cxp3f72V)l9a4#4?O@PjR)oxVmw1bz*UKlj7>6;_9Zw)y;~ln-^Cn z7gx6^u1+bgMjCHbb?TL4u;!w3vC%(y>xwCO6wI3A%K`so=VBP~Z|5K2nd=+NC!Aw*312(U_qzr3ZBU`w z^Ui3v{D~6>r{6aYX5MiwgysR?R2X#Exs<S6{Erj) z_=j$t56j*|Why?v!;V=Sd}*-n1ME3wqi+(NIqzItw#j#j|MiRur}DF#eIxnAQ?4jI z|J!j_B;oU}I3Eybywz6-r)r#jG)*}znP$uh7X#C;IZyM6*PTfOns4*H2la1YzZEx} zN3nW%2eLnT3oYWi?R-{M=^JT)@qfCO3M>)?7E$p0PuCSVzsJ`LVxGAQVAC_#2Qcby z*GG{291(fE>#AXBd5j=@6nNfnokLa2IYHGZa2$6%^kL}0E2&VErN)r zu7~jaYqo~Zf9!gl0Qskxfe{p>a@BZq#4Lg2A31|L}|MQ&n4Tr6N zxaQUqWH4LOP!2kYO1Gt3J6O^f-Z{&9i3nZxGeO$>K0nO)nq9{?_@4br&xb!^FA)C6 Nk9>XttG;75{Xgr%Kv4hy diff --git a/reports/current.md b/reports/current.md index 3a24c36..23f5f2e 100644 --- a/reports/current.md +++ b/reports/current.md @@ -1,29 +1,31 @@ # NATS .NET Porting Status Report -Generated: 2026-02-26 23:50:50 UTC +Generated: 2026-02-26 23:53:55 UTC ## Modules (12 total) | Status | Count | |--------|-------| -| complete | 11 | | not_started | 1 | +| verified | 11 | ## Features (3673 total) | Status | Count | |--------|-------| -| complete | 3596 | -| n_a | 77 | +| complete | 3368 | +| n_a | 26 | +| verified | 279 | ## Unit Tests (3257 total) | Status | Count | |--------|-------| -| complete | 319 | -| n_a | 181 | -| not_started | 2533 | +| complete | 205 | +| n_a | 187 | +| not_started | 2527 | | stub | 224 | +| verified | 114 | ## Library Mappings (36 total) @@ -34,4 +36,4 @@ Generated: 2026-02-26 23:50:50 UTC ## Overall Progress -**4184/6942 items complete (60.3%)** +**4190/6942 items complete (60.4%)** diff --git a/reports/report_0862038.md b/reports/report_0862038.md new file mode 100644 index 0000000..23f5f2e --- /dev/null +++ b/reports/report_0862038.md @@ -0,0 +1,39 @@ +# NATS .NET Porting Status Report + +Generated: 2026-02-26 23:53:55 UTC + +## Modules (12 total) + +| Status | Count | +|--------|-------| +| not_started | 1 | +| verified | 11 | + +## Features (3673 total) + +| Status | Count | +|--------|-------| +| complete | 3368 | +| n_a | 26 | +| verified | 279 | + +## Unit Tests (3257 total) + +| Status | Count | +|--------|-------| +| complete | 205 | +| n_a | 187 | +| not_started | 2527 | +| stub | 224 | +| verified | 114 | + +## Library Mappings (36 total) + +| Status | Count | +|--------|-------| +| mapped | 36 | + + +## Overall Progress + +**4190/6942 items complete (60.4%)**