stl: update to the deterministic API fix

Author: dr-orlovsky

Cargo.lock

@@ -15,9 +15,9 @@ edition = "2021"
 rust-version = "1.82.0" # Due to precise capturing with `use`
 
 [workspace.dependencies]
-amplify = "~4.8.0"
-strict_encoding = "~2.8.1"
-strict_types = "~2.8.2"
+amplify = "~4.8.1"
+strict_encoding = "~2.8.2"
+strict_types = "~2.8.3"
 commit_verify = "=0.12.0-beta.5"
 aluvm = "=0.12.0-beta.5"
 ultrasonic = "=0.12.0-beta.5"
@@ -99,6 +99,7 @@ wasm-bindgen-test = "0.3"
 features = ["all"]
 
 [patch.crates-io]
+commit_verify = { git = "https://github.com/LNP-BP/client_side_validation", branch = "v0.12" }
 aluvm = { git = "https://github.com/AluVM/aluvm", branch = "master" }
 zk-aluvm = { git = "https://github.com/AluVM/zk-aluvm", branch = "master" }
 ultrasonic = { git = "https://github.com/AluVM/ultrasonic", branch = "master" }

Cargo.toml

@@ -163,7 +163,7 @@ fn main() {
         fs::remove_dir_all(contract_path).expect("Unable to remove a contract file");
     }
     fs::create_dir_all(contract_path).expect("Unable to create a contract folder");
-    let mut ledger = LedgerDir::issue(articles, contract_path.to_path_buf()).expect("Can't issue contract");
+    let mut ledger = LedgerDir::new(articles, contract_path.to_path_buf()).expect("Can't issue contract");
 
     // Proposing vote
     let votings = ledger
@@ -323,14 +323,12 @@ mod stl {
     }
 
     pub fn stl() -> TypeLib {
-        LibBuilder::new(libname!(LIB_NAME_DAO), tiny_bset! {
-            std_stl().to_dependency(),
-        })
-        .transpile::<Party>()
-        .transpile::<Voting>()
-        .transpile::<CastVote>()
-        .compile()
-        .expect("invalid DAO type library")
+        LibBuilder::with(libname!(LIB_NAME_DAO), [std_stl().to_dependency_types()])
+            .transpile::<Party>()
+            .transpile::<Voting>()
+            .transpile::<CastVote>()
+            .compile()
+            .expect("invalid DAO type library")
     }
 
     impl DaoTypes {

examples/dao/main.rs

@@ -33,17 +33,17 @@ use ultrasonic::stl::{finite_field_stl, usonic_stl};
 use crate::Transition;
 
 /// Strict types id for the library providing data types for RGB consensus.
-pub const LIB_ID_SONIC: &str = "stl:_HTaEW0d-gtFS43T-unkHkQ6-846Y1~H-nBqRg0T-000TrbI#parent-hawaii-iron";
+pub const LIB_ID_SONIC: &str = "stl:ZZXTNLne-OlEhPFg-CJ~5vJp-GWvAFvO-wesM6i8-p0VDc0w#wolf-byte-zero";
 
 fn _sonic_stl() -> Result<TypeLib, CompileError> {
-    LibBuilder::new(libname!(LIB_NAME_SONIC), tiny_bset! {
-        std_stl().to_dependency(),
-        strict_types_stl().to_dependency(),
-        commit_verify_stl().to_dependency(),
-        aluvm_stl().to_dependency(),
-        finite_field_stl().to_dependency(),
-        usonic_stl().to_dependency(),
-    })
+    LibBuilder::with(libname!(LIB_NAME_SONIC), [
+        std_stl().to_dependency_types(),
+        strict_types_stl().to_dependency_types(),
+        commit_verify_stl().to_dependency_types(),
+        aluvm_stl().to_dependency_types(),
+        finite_field_stl().to_dependency_types(),
+        usonic_stl().to_dependency_types(),
+    ])
     .transpile::<Articles>()
     .transpile::<Transition>()
     .compile()

src/stl.rs

@@ -34,6 +34,7 @@ rec Articles
         rec value, LibSite
           bytes libId, len 32, aka LibId
           is offset, U16
+      bytes reserved, len 8, aka ReservedBytes8
     union defaultApi, Api
       rec embedded, ApiInnerEmbeddedProc, wrapped, tag 0
         bytes version, len 2, aka ReservedBytes2
@@ -45,6 +46,7 @@ rec Articles
           rec some, CallState, option, wrapped, tag 1
             ascii method, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
               ascii some, option, wrapped, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100, tag 1
+        bytes reserved, len 8, aka ReservedBytes8
         map appendOnly, len 0..MAX8
           ascii key, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
           rec value, AppendApiEmbeddedProc
@@ -82,6 +84,7 @@ rec Articles
           rec some, CallState, option, wrapped, tag 1
             ascii method, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
               ascii some, option, wrapped, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100, tag 1
+        bytes reserved, len 8, aka ReservedBytes8
         map appendOnly, len 0..MAX8
           ascii key, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
           rec value, AppendApiVm
@@ -142,6 +145,7 @@ rec Articles
             rec some, CallState, option, wrapped, tag 1
               ascii method, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
                 ascii some, option, wrapped, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100, tag 1
+          bytes reserved, len 8, aka ReservedBytes8
           map appendOnly, len 0..MAX8
             ascii key, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
             rec value, AppendApiEmbeddedProc
@@ -179,6 +183,7 @@ rec Articles
             rec some, CallState, option, wrapped, tag 1
               ascii method, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
                 ascii some, option, wrapped, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100, tag 1
+          bytes reserved, len 8, aka ReservedBytes8
           map appendOnly, len 0..MAX8
             ascii key, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
             rec value, AppendApiVm
@@ -284,6 +289,7 @@ rec Articles
       map value, len 0..10, aka ContentSigs
         ascii key, aka Identity, first AsciiPrintable, rest AsciiPrintable, len 1..4096
         bytes value, len 1..4096, aka SigBlob
+    bytes reserved, len 8, aka ReservedBytes8
   map contractSigs, len 0..10, aka ContentSigs
     ascii key, aka Identity, first AsciiPrintable, rest AsciiPrintable, len 1..4096
     bytes value, len 1..4096, aka SigBlob
@@ -292,6 +298,7 @@ rec Articles
     rec meta, ContractMeta
       enum testnet, Bool, false 0, true 1
       enum consensus, Consensus, none 0, bitcoin 16, liquid 17, prime 32
+      bytes reserved, len 14, aka ReservedBytes14
       is timestamp, I64
       union name, ContractName
         is unnamed, Unit, tag 0
@@ -314,6 +321,7 @@ rec Articles
         rec value, LibSite
           bytes libId, len 32, aka LibId
           is offset, U16
+      bytes reserved, len 8, aka ReservedBytes8
     rec genesis, Genesis
       bytes codexId, len 32, aka CodexId
       is callId, U16
@@ -361,4 +369,5 @@ rec Articles
               is third, U256, aka Fe256
               is fourth, U256, aka Fe256
             bytes some, len 0..MAX16, option, wrapped, aka RawData, tag 1
+      bytes reserved, len 8, aka ReservedBytes8
 

stl/SONIC.vesper

@@ -1,20 +1,20 @@
 -----BEGIN STRICT TYPE LIB-----
-Id: stl:_HTaEW0d-gtFS43T-unkHkQ6-846Y1~H-nBqRg0T-000TrbI#parent-hawaii-iron
+Id: stl:ZZXTNLne-OlEhPFg-CJ~5vJp-GWvAFvO-wesM6i8-p0VDc0w#wolf-byte-zero
 Name: SONIC
 Dependencies:
-	UltraSONIC#nurse-decimal-legal,
 	FiniteField#report-canal-convert,
+	UltraSONIC#viva-armor-diagram,
 	Std#delete-roman-hair,
 	AluVM#reward-accent-swim,
-	StrictTypes#henry-heart-survive,
-	CommitVerify#uranium-alien-extend
-Check-SHA256: 54540ccd487d787731b8b237f033d5bbbe6bde84545f77041bc8aa1f3111b692
+	CommitVerify#biology-news-adam,
+	StrictTypes#henry-heart-survive
+Check-SHA256: d2b9496ce67f7f7786d66b3c93afacdf4b546eafc1e2c28850412dec809ec170
 
-1yfH>Nkaw?U0s<fi3?+kXs%&^DoL+<rG@c?OngtwJbWp$4}Yc#Rcv%}VN*{|NkcYmGKAh0u07FCu`OJL
-wc+Ab)ZtUdGtGq-ROf^i(%1_|X>MtBWkzXbY-ECo>rD>}a8$2!O9kk`*PSB+rd(so&!uOW`TABoF=_)-
-bY!<#DYTERN5LY|W}eb+cSx&f8ZJNz$h;V?MKQD~=g$Q}Y;{&m>7J73J3yCzk$#1)IEB9}O*pr-e%zuW
-2Pj0<ZYw-c3sZD*X=8L$d2nTO{#(;mQ!wWlp{2syrjnjhHcKcJQ)S9nWc+D5OlRfU3`1{iZE18?WpZg|
-c?JbRY;{&m1pq@~o!sA0+CHx-vZbVj7D6D}#pW3Uk<R*S37O{$X6yq@X<}uq;gyUOsXQDi9O;Ao6@F%@
+1yfH>NkaxUZ8C)36|OzePO&Xqgtg(~Rn*~A$1}}^7F6ei7Sh-YMrm$obY(_qWo%?leVcohzPRKgU*d=%
+{^NK1{Z9$3p61b)_1?=trei+}Rcv%}VN*{|Nkf8(>rD>}a8$2!O9kk`*PSB+rd(so&!uOW`TABoF=_)-
+bY!<#DYTERN5LY|W}eb+cSx&f8ZJNz$h;V?MKQD~=g$Q}Y;{&mz<qF-Y_`(yO<NMoEB~HBurjhs|9XLD
+4!p=a;uiS*3`1{iZE18?WpZg|dFh^#=Q}``f02HLt~iCiD@{1Jw0_*8A_pi$)ov?1PzzIZa%p39RC#b^
+a|Q)LY;{&m1pq@~o!sA0+CHx-vZbVj7D6D}#pW3Uk<R*S37O{$X6yq@X<}uq;gyUOsXQDi9O;Ao6@F%@
 `W`7rvYdZcm!FdM#hC?3b74tjr!Z9lE%{u?@QI^EqCb}2Q7OO^w+`_q*ddTXmHSf)1x#sTNo2gis)#bg
 S4jef$f$kz(qARV!%Xxk)bI-z0hA`0C@%^_Z*pZrZ*FF3XV&xGL0WTQe=J%=+ZU(+nrU27YYX=l){_<>
 0|-HmqX$fBVpC~!Weh`aZEb0ER%LQ&W_beuU!B1weDkLNbk2UF;ml9|6~X2wq5iUE#(+lb-yk;Q4^m}w
@@ -59,15 +59,15 @@ S3+uh`0YNLave-Im;eX@f{E)*4-0TquXIZV=)u>WBLk*fW6RH_XPEi=Ry;9kcxiZMvTM3tQ2*(p5s~Z{
 6V3QiK&W#-F~+s6raGiL0000000000{r~^~000003qfvfZ**aFX>V?G1pxpG0WnM89|TAhYfrNblQVQ`
 LpZXKteHopy#|_NJkG`K5da7P06+i$000000096000000000000000000930000000009)aA^br0SIMn
 Vr67xWn=&a0Reir=tQiaf<Rn+t9kl1e~TpeRUx{6uWk=%e@B@->;eJ<VQh5(1pxtVw4Kzi0QP<(Y76`W
-j&&6@1K*^bRDU~X1ss?;A_-L#L2zkFZf<3AMQvhbWMpMzP;zf$1`P*xWpZ<AZ*BtqThmulFy|SerNZ2%
-lAcpGODGgmWy)A&{AoH&XXV+;xGg*8X!CPrawgw_sqk4BX8}k^^xj-FXm+)yumJ%FV{c?-cu8ae4_#fE
-Dv1kYi)gN4fGSC^d!>c(giL%-%shN4vk!l!wXEwu(4(eXD|DxJ;;J@Cth|EksiOt-HPJ-=lHfc*33O>~
+j&&6@1K*^bRDU~X1ss?;A_-L#L2zkFZf<3AMQvhbWMpMzP;zf$1`P*xWpZ<AZ*Bs>eQ=m;w$kuTTN2DG
+|DHjxGO|nmdVyvRyvRG^7Wn<kxGg*8X!CPrawgw_sqk4BX8}k^^xj-FXm+)yumJ%FV{c?-cu8aePJNqu
+mcF>;BVXc(A^zic`~6P|te)o4m-XJuL8fCrwXEwu(4(eXD|DxJ;;J@Cth|EksiOt-HPJ-=lHfc*33O>~
 Wpi|4ZEyepNCa+SZDjxi0ssVVZ*FA(00035b8l^B00jX8>7J73J3yCzk$#1)IEB9}O*pr-e%zuW2Pj0<
-ZYw-cQx*t>6v={gsJ=SZlTl1iF5eQ8IAl(q%E@>So406W31nq<Wo&P7WpV-!U0s<fi3?+kXs%&^DoL+<
-rG@c?OngtwJbWp$4}Ye%=zxYCD0L!x4tB5Hm3vFbl?lapNXe%XU~*fKJ0+Y5V{dL|Z*pyO00aU61a5C`
+ZYw-cQx*t>6v={gsJ=SZlTl1iF5eQ8IAl(q%E@>So406W31nq<Wo&P7WpV;eeVcohzPRKgU*d=%{^NK1
+{Z9$3p61b)_1?=trei<0=zxYCD0L!x4tB5Hm3vFbl?lapNXe%XU~*fKJ0+Y5V{dL|Z*pyO00aU61a5C`
 WdHyG0R(ezZDjxj0RrislIJ@>mw%Cdg|0Y-zbj2Rx3qrTq9O+<MAdF9JWx{>2!s^Lf^?|9I@Xg>Oi(W0
 5|TJ%PM*ricn_PmXk-gyWoBV@Y;;3mY-|7o0ssVVZ*FA(00035b8l^B00jX7JZJg(430*$qs#&Z38Zy}
-Cg`!1O5VRBJHs`Z>k@cW2y$g}WpZ|9WCH$M(^pe4=NX};!rZ2ko>MkUC=^p=%2;IlX*x`2<=Os%7D?ZD
+Cg`!1O5VRBJHs`Z>k@cW2y$g}WpZ|9WCFl_aF}ei((p}N63i?Ao<XoOvP=JZfo2Z8$UEW|`2GHZ7D?ZD
 zCQez5c=X9w<(f6`q$DH-G17V_XV{1(H;t6aByXAWKV8vc>oFm>7J73J3yCzk$#1)IEB9}O*pr-e%zuW
 2Pj0<ZYw-c35LOoBKkGaY9#cS7Qj{WgyAGcS>>g~&^g7<u8t6o0VdoB82uzx=1`?^6~}JIaH8)^-L;eV
 2TlP}M9gfneE<Le000000RI300000001RYhb98cbV{~a^Y-Ion0_mQT=Q}``f02HLt~iCiD@{1Jw0_*8
@@ -76,16 +76,16 @@ ZMi%qMWiR>WmNzG000000093000000000MaWnpAxa&rI*0_mQT=Q}``f02HLt~iCiD@{1Jw0_*8A_pi$
 )ov?1Pzi>?iz50p(P||0m=?fQ^Mv6fMp@;h#Lzj#&aRFSj{#5kfjmldR?wreAEm~aM|~7d!X-;!2WmEX
 <x2b7qHq8J000000093000000000SgWpZg|X=QSA015)>o|5M~K$m}!eub_$g}*CJIJdNZ+@c}}C`8q6
 D?CsMhQW&>`ZdvNB=ndTz*X~v;Uq>`<)y^XImOPdju4Lk00IC2000000093000000000JMa&m8Sa{vke
-03ZMe0096100000009300000000000000000093000000000U>aA`?yZe?;-Z3Yboc4cyNX>V=<{#(;m
-Q!wWlp{2syrjnjhHcKcJQ)S9nWc+D5OlRfU%eXB&=4kVCWpXCpfvNCW7iR%TNc7%ZG-!6Ur?3G52V-w!
-Wq3(s0uNnXnJS43V~c36VSp-0uY0A1@q|o#Ps}`gDYFlMrnRi=KhUG5TPt*@cH*iwNUXeq?5U##^fl2$
+03ZMe0096100000009300000000000000000093000000000U>aA`?yZe?;-Z3Yboc4cyNX>V=<z<qF-
+Y_`(yO<NMoEB~HBurjhs|9XLD4!p=a;uiS*%eXB&=4kVCWpXCpfvNCW7iR%TNc7%ZG-!6Ur?3G52V-w!
+Wq3(s0#1FKdzQYq<Rf3=h#~&tcl-TM39O#x(U<k!%R#1NKeepuKhUG5TPt*@cH*iwNUXeq?5U##^fl2$
 {*vH4KnZkdZDn(GVQp{#07wLGVQpmq1OfmAZf|a7000011aog~WdH>M0_mQT=Q}``f02HLt~iCiD@{1J
-w0_*8A_pi$)ov?1P*WBNgcQkwbf~^M){{|8P%hsRk~m~ep32F151Y4WWC>(tc4cgDaAk4=4_#fEDv1kY
-i)gN4fGSC^d!>c(giL%-%shN4vk!l!w&;L{94K`ndk%K5+?9Jv$dw7jc}U5p5@2#$kUJ%u2xD(<W^ZzB
+w0_*8A_pi$)ov?1P*WBNgcQkwbf~^M){{|8P%hsRk~m~ep32F151Y4WWC>(tc4cgDaAk4=PJNqumcF>;
+BVXc(A^zic`~6P|te)o4m-XJuL8fCrw&;L{94K`ndk%K5+?9Jv$dw7jc}U5p5@2#$kUJ%u2xD(<W^ZzB
 a{vSa00eGtZe;)f009JZZ*64&1pxx-o|5M~K$m}!eub_$g}*CJIJdNZ+@c}}C`8q6D?CtB76^nC$%1sK
 zB<;EQA|)S-x88IWKN#S$#@T&w`gPwWMyVyb!>D)VQg#w1OfmAZf|a7000011aog~WdH>M0X%2<`V5Xn
-w4=-d1_`8fg(m2+l}g^fB0Ix1nd=gGR0wiqb7gXNWn=>WThmulFy|SerNZ2%lAcpGODGgmWy)A&{AoH&
-XXV-cf)+{Nc)mXTm=OBn8@DNvJ^I(u7Ttc@lJ^C)`OzK<VQ_F|Ze&kxY<U0*0_mQT=Q}``f02HLt~iCi
+w4=-d1_`8fg(m2+l}g^fB0Ix1nd=gGR0wiqb7gXNWn==teQ=m;w$kuTTN2DG|DHjxGO|nmdVyvRyvRG^
+7Wn=Cf)+{Nc)mXTm=OBn8@DNvJ^I(u7Ttc@lJ^C)`OzK<VQ_F|Ze&kxY<U0*0_mQT=Q}``f02HLt~iCi
 D@{1Jw0_*8A_pi$)ov?1Pzi>?iz50p(P||0m=?fQ^Mv6fMp@;h#Lzj#&aRFSj{%H$QaSx1Afy=~=jnD*
 oi4z6%}B?1#Pwjpjy#>H%nbkl000000093000000000bRWpi|Lbz^jCVr*pq3Ige#lIJ@>mw%Cdg|0Y-
 zbj2Rx3qrTq9O+<MAdF9JWvUS!HXjLHPLD$^q3aFRr7@5Bt}`~rNq!V#m=sd5RU<JbdnC<#4fzAag%Fz
@@ -104,11 +104,11 @@ P-_IE6rQG)02XJT?*g=|B=zREie$*y(7k2+*P~cYjR<mKcT;6;Nn`@)o|5M~K$m}!eub_$g}*CJIJdNZ
 O9kk`*PSB+rd(so&!uOW`TABoF=}CkBGG%U@MZ$v=XJ?|;InIPy66cFfOYp#JM2r7_Du(2WMOc0Z*l?E
 Th|@Celd(u;!+*&?9QTH$a>P%CM6`!bfSSR`<u52L2`6yV{Bz}1_K6jV`yb<VF6fFeHKojVgF@1>;afQ
 &29fKlV+sO+?PMlcq&K;c&Q9yZ*FvQVPkYtX=if*=<=8Xf*^0>Su?^}2mtdHU`1-D0I!4a_EshD$~8V^
-1!;40b!7q%U0s<fi3?+kXs%&^DoL+<rG@c?OngtwJbWp$4}YfAt<@6!RgZFo81?#7Z0eP2*P?P6I26}#
+1!;40b!7rheVcohzPRKgU*d=%{^NK1{Z9$3p61b)_1?=trei<Ut<@6!RgZFo81?#7Z0eP2*P?P6I26}#
 n7*&C#!{sTLt$)eQ*>c;Wd;HUZDn+5Z)5`Lo|5M~K$m}!eub_$g}*CJIJdNZ+@c}}C`8q6D?CsMhQW&>
 `ZdvNB=ndTz*X~v;Uq>`<)y^XImOPdju4LwWMy-7a&=>LX<}?;00aU61a5C`WdHyG0R(ezZDjxj0Rris
 lIJ@>mw%Cdg|0Y-zbj2Rx3qrTq9O+<MAdF9JWvUS!HXjLHPLD$^q3aFRr7@5Bt}`~rNq!V#m=sd5RVH(
-Z*FvDZgf*=XLAJs015&RU0s<fi3?+kXs%&^DoL+<rG@c?OngtwJbWp$4}Ye%=zxYCD0L!x4tB5Hm3vFb
+Z*FvDZgf*=XLAJs015(5eVcohzPRKgU*d=%{^NK1{Z9$3p61b)_1?=trei<0=zxYCD0L!x4tB5Hm3vFb
 l?lapNXe%XU~*fKJ0+X}A;%YO&?-P3O<t$VhdA-AkgpJ&uVfeiZjYjCMpAbR00000000003IG5A00000
 8$@MubaHiLbZKI2WkGOhMQvhbWMpMzP;zf$1_K3iWo=1h0_mQT=Q}``f02HLt~iCiD@{1Jw0_*8A_pi$
 )ov?1P-_IE6rQG)02XJT?*g=|B=zREie$*y(7k2+*P~cYjSFFNX>@39Wprs{a{)=@)exVLQ^qYMH6w(d
@@ -123,20 +123,20 @@ Rr7@5Bt}`~rNq!V#m=sd5RV`QY-w|JRsaP70_mQT=Q}``f02HLt~iCiD@{1Jw0_*8A_pi$)ov?1Pzi>?
 iz50p(P||0m=?fQ^Mv6fMp@;h#Lzj#&aRFSk0JzfWpq{m1pxx-o|5M~K$m}!eub_$g}*CJIJdNZ+@c}}
 C`8q6D?CsMhQW&>`ZdvNB=ndTz*X~v;Uq>`<)y^XImOPdju4M925n(*Rx)(}1pxx-o|5M~K$m}!eub_$
 g}*CJIJdNZ+@c}}C`8q6D?CsMhQW&>`ZdvNB=ndTz*X~v;Uq>`<)y^XImOPdju4LqQ)6glZD9rp1!Hey
-Wq1M)U0s<fi3?+kXs%&^DoL+<rG@c?OngtwJbWp$4}YdNKrr#tN!Zhn1Ste-5pEAnwMSQ{9No4Rr)Umv
+Wq1NkeVcohzPRKgU*d=%{^NK1{Z9$3p61b)_1?=trei-hKrr#tN!Zhn1Ste-5pEAnwMSQ{9No4Rr)Umv
 oAf9OWMyVyb!>D&aA^Ur#_mT*A0%1a@$X3R&H4Wn6f(--+u}BgY6Ba$X*d}UWMyVyb!>D&aA{L%XLAAQ
 @|XgGAaCPYGs0O20P_`KMQW!2uY>URRweJsH9lnuV|8<MZ*4(vX>$My0k6jHM@SzeS={mONbt@1{}dE5
 %HZ4LHi~Kk8@FjV83E|>m;!<zZ{t}r!dVCa^A%u4YNr6NgYfoNCGW~LK4ky^000000096000000000DR
 X<~B#2?DoSDYTERN5LY|W}eb+cSx&f8ZJNz$h;V?MKQD~=g&i7o!sA0+CHx-vZbVj7D6D}#pW3Uk<R*S
 37O{$X6yg}000000096000000000Gad2nTO0_mQT=Q}``f02HLt~iCiD@{1Jw0_*8A_pi$)ov?1Q2l|f
 gMJGKo2X9f$R<paB7jjJXW=!G<ehb#<LpI(sR?6mWMz0$X=if*=<=8Xf*^0>Su?^}2mtdHU`1-D0I!4a
 _EshD$~8V^3t?_<Z**aFX>V?G015#<w@A-6`Vp=cnK>{7wQSPJQFX$PK`>V6xnyyv_mEWq=<=8Xf*^0>
-Su?^}2mtdHU`1-D0I!4a_EshD$~8V^0000000000{{R30000002y$g}WpZ|9WCH$M(^pe4=NX};!rZ2k
-o>MkUC=^p=%2;IlX*x`2<=Os%7D?ZDzCQez5c=X9w<(f6`q$DH-G17V_XV{1(H;j=X=g%gZ(;=j00;m8
-Kmh;%00000000mG00000018xcVQzD2bZKvH1_A_caA{-$4_#fEDv1kYi)gN4fGSC^d!>c(giL%-%shN4
-vk!l!nFReFD$_mcY)Av^h}c0>*xI4ag+tfP`W3(#!7O@f31nq+baHQbWn=&f0uNnXnJS43V~c36VSp-0
-uY0A1@q|o#Ps}`gDYFlMru(JGa$v6rX_fBJi~iN-tVcdiDm&03^NQ+Jc&xL55CRWfU70G03uB9Du3>;G
-Nw0gQh4F+;d{4|gd?~XJf2Qyis|BgSxEIos{hI&xt_4d7GNuf}UnexK&?5Fcx}5+3000000096000000
+Su?^}2mtdHU`1-D0I!4a_EshD$~8V^0000000000{{R30000002y$g}WpZ|9WCFl_aF}ei((p}N63i?A
+o<XoOvP=JZfo2Z8$UEW|`2GHZ7D?ZDzCQez5c=X9w<(f6`q$DH-G17V_XV{1(H;j=X=g%gZ(;=j00;m8
+Kmh;%00000000mG00000018xcVQzD2bZKvH1_A_caA{-$PJNqumcF>;BVXc(A^zic`~6P|te)o4m-XJu
+L8fCrnFReFD$_mcY)Av^h}c0>*xI4ag+tfP`W3(#!7O@f31nq+baHQbWn=&f0#1FKdzQYq<Rf3=h#~&t
+cl-TM39O#x(U<k!%R#1NKl`P}a$v6rX_fBJi~iN-tVcdiDm&03^NQ+Jc&xL55CTqpn|qeNxa1>W;)o&s
+<9GZ0PYJA^=Fyk+-pfIzV?Xc}s|BgSxEIos{hI&xt_4d7GNuf}UnexK&?5Fcx}5+3000000096000000
 000
 
 -----END STRICT TYPE LIB-----

stl/[email protected]

@@ -1,5 +1,5 @@
 {-
-  Id: stl:_HTaEW0d-gtFS43T-unkHkQ6-846Y1~H-nBqRg0T-000TrbI#parent-hawaii-iron
+  Id: stl:ZZXTNLne-OlEhPFg-CJ~5vJp-GWvAFvO-wesM6i8-p0VDc0w#wolf-byte-zero
   Name: SONIC
   Version: 0.12.0
   Description: Standard library for formally-verifiable distributed contracts
@@ -13,7 +13,10 @@
 @context
 typelib SONIC
 
-import UltraSONIC#nurse-decimal-legal
+import FiniteField#report-canal-convert
+  use Fe256#palace-mixer-visual
+
+import UltraSONIC#viva-armor-diagram
   use ContractMeta#elegant-canvas-bazaar
   use Consensus#nissan-congo-clark
   use Codex#condor-airport-morph
@@ -30,9 +33,6 @@ import UltraSONIC#nurse-decimal-legal
   use CellAddr#lecture-vincent-carbon
   use RawData#lima-anvil-karate
 
-import FiniteField#report-canal-convert
-  use Fe256#palace-mixer-visual
-
 import Std#delete-roman-hair
   use AlphaCaps#picnic-soprano-aurora
   use AsciiPrintable#ultra-sunset-format
@@ -50,6 +50,11 @@ import AluVM#reward-accent-swim
   use CoreConfig#ventura-ibiza-special
   use LibSite#polo-macro-elite
 
+import CommitVerify#biology-news-adam
+  use ReservedBytes14#prize-edison-classic
+  use ReservedBytes2#florida-libra-circus
+  use ReservedBytes8#rudolf-tape-adrian
+
 import StrictTypes#henry-heart-survive
   use VariantName#theory-austin-before
   use FieldName#present-flute-herman
@@ -67,11 +72,6 @@ import StrictTypes#henry-heart-survive
   use UnionVariantsSemId#santana-address-pepper
   use TypeSystem#adrian-boris-sponsor
 
-import CommitVerify#uranium-alien-extend
-  use ReservedBytes14#prize-edison-classic
-  use ReservedBytes2#florida-libra-circus
-  use ReservedBytes8#rudolf-tape-adrian
-
 
 @mnemonic(blast-limbo-normal)
 data AluAdaptor        : converter AluVM.LibSite, builder AluVM.LibSite