stl: update

src/stl.rs

@@ -37,10 +37,10 @@ use crate::{
 
 /// Strict types id for the library providing data types for RGB consensus.
 pub const LIB_ID_RGB_COMMIT: &str =
-    "stl:tjFc6jD7-fe78CxG-WdJlH!l-uXlFfW0-XwG1!qV-MNdtNGE#orbit-airport-voice";
+    "stl:4WY0kCd1-qKjYuh5-4GgHKme-XIsmv98-W5Z9$8D-vMjFt!Y#miranda-blue-promise";
 /// Strict types id for the library providing data types for RGB consensus.
 pub const LIB_ID_RGB_LOGIC: &str =
-    "stl:pxDxFGo9-MbacU6J-Qug1G$1-6LsuROd-Um1H$hU-T6o2Lgk#lobster-dilemma-famous";
+    "stl:Yd7koRpf-hs7nsKX-TOLAnZl-hIfJ9wQ-M8J58hj-n60RcaA#pioneer-gong-smoke";
 
 fn _rgb_commit_stl() -> Result<TypeLib, CompileError> {
     LibBuilder::new(libname!(LIB_NAME_RGB_COMMIT), tiny_bset! {

stl/AnchoredBundle.vesper

@@ -29,6 +29,7 @@ TransitionBundle rec
     value rec Transition
       ffv is U16 aka=Ffv
       contractId bytes len=32 aka=ContractId
+      nonce is U8
       transitionType is U16 aka=TransitionType
       metadata map len=0..MAX8 aka=Metadata
         key is U16 aka=MetaType

stl/RGBCommit@0.1.0.sty

@@ -1,5 +1,5 @@
 {-
-  Id: stl:tjFc6jD7-fe78CxG-WdJlH!l-uXlFfW0-XwG1!qV-MNdtNGE#orbit-airport-voice
+  Id: stl:4WY0kCd1-qKjYuh5-4GgHKme-XIsmv98-W5Z9$8D-vMjFt!Y#miranda-blue-promise
   Name: RGBCommit
   Version: 0.1.0
   Description: Consensus commitment layer for RGB smart contracts
@@ -211,9 +211,10 @@ data ContractId        : [Byte ^ 32]
 @mnemonic(short-noise-postal)
 data DataState         : [Byte]
 
-@mnemonic(marco-taboo-trade)
+@mnemonic(felix-random-mineral)
 data Extension         : ffv Ffv
                        , contractId ContractId
+                       , nonce U8
                        , extensionType ExtensionType
                        , metadata Metadata
                        , globals GlobalState
@@ -308,8 +309,9 @@ data Metadata          : {MetaType -> ^ ..0xff MetaValue}
 @mnemonic(source-olga-mirage)
 data Occurrences       : min U16, max U16
 
-@mnemonic(film-sting-tourist)
+@mnemonic(chamber-provide-veteran)
 data OpCommitment      : ffv Ffv
+                       , nonce U8
                        , opType TypeCommitment
                        , metadata CommitVerify.StrictHash
                        , globals CommitVerify.MerkleHash
@@ -369,9 +371,10 @@ data Schema            : ffv Ffv
 @mnemonic(ramirez-patron-simon)
 data SchemaId          : [Byte ^ 32]
 
-@mnemonic(rainbow-program-george)
+@mnemonic(abraham-think-brother)
 data Transition        : ffv Ffv
                        , contractId ContractId
+                       , nonce U8
                        , transitionType TransitionType
                        , metadata Metadata
                        , globals GlobalState

stl/RGBLogic@0.1.0.sta

@@ -1,33 +1,33 @@
 -----BEGIN STRICT TYPE LIB-----
-Id: stl:pxDxFGo9-MbacU6J-Qug1G$1-6LsuROd-Um1H$hU-T6o2Lgk#lobster-dilemma-famous
+Id: stl:Yd7koRpf-hs7nsKX-TOLAnZl-hIfJ9wQ-M8J58hj-n60RcaA#pioneer-gong-smoke
 Name: RGBLogic
 Dependencies:
 	BPCore#garbo-radius-peru,
-	RGBCommit#orbit-airport-voice,
+	RGBCommit#miranda-blue-promise,
 	Bitcoin#signal-color-cipher
-Check-SHA256: 38e2bb37b8957ba19378fef2e5a4ed01a3c40426fb19d763a30ef216e679caae
+Check-SHA256: 6fb771ff6ce021d9af5e52a9614976e810066cc05e2177d98c99947c78139aa5
 
-2vSEvOmAmtV*_s<midRhTh1hu7-!n@1Cr{swqbZoGSd8tmgp<3rE>;CP(yEWWwtR~>M;9#?)(c8mUNj%
-`dgQjSJu&d2G{D9FxPD~VF^-4LPKwDZE1A%Y!hN5_Bp3Y36tDMM#=e#tGI($UA5U3KNx<*C>ja}LTPkk
+2vSEvOmAmtV*_s<midRhTh1hu7-!n@1Cr{swqbZoGSd8tmgp<3rE>;CP(yEWW#MKtkSBGhsMxw5cp3r9
+ndQi`YyI(VS@-_~yvW73<_S_qLPKwDZE1A%Y!hN5_Bp3Y36tDMM#=e#tGI($UA5U3KNx<*C>ja}LTPkk
 Z)t7=20~CnZ*pY?00DdlT>wB!7L}MA7sFvK#<=RP4S#T1Vv-hhTICs&5fM~jaB^jIPH$voP+@X(Ze?;0
 wjY>38tto&d&=e<t?OC7vzr3sh4VL=aEO-K69^0oRAF#(Wpq$-Z*OK3#8XmcC%Z%?j5}xa%));D{NyLM
 &t4DxfsZeKd)RyrRAF#(Wpq$sbZAg=Z*OKeKVmL%Q_{#Gkvz+H9iKg9-*)mSRaq_gMnjYqO>G4cRAF#(
 Wpq+$XJ~Xna$#;`Xh%-ZT+rxDK6vW;JU&?LxLM72H?wDC1Zo}=N}D)4mkLjCa%FT-a&K>D2SRCdV{d70
-2LL6j^|=xh7rLW4)L(lQb*FJl;d*r#UC=Q#deq4+>4pnaV{&P5bV7M_WpgpRuIPk`cg3&=F>*1@lJ+pR
+1^^|i^|=xh7rLW4)L(lQb*FJl;d*r#UC=Q#deq4+>4pnaV{&P5bV7M_WpgpRuIPk`cg3&=F>*1@lJ+pR
 DJ{*3f84s>#k$1lf7uIEVQ@}wWMxQUb7)_z*=^-NPQ?`2v5jYd+6t@dEhY>7H!Y*UdZb-BpG^u(WnpGh
-V{&P5bfbbo^UK%K(4i9Ajp1M~R@C@!4#dQE#lUD;OiKi1Rs>XdX=JH|gm+V(X#23g?#G%T#8*SXRQUS6
-KbYXtkv-?PH+Tw3ZggdGZeeUtYqm29sTjYuk_~RiSfnI}BSu<jKXO9{zyBTAI&*<e$p=hjVP;lka{QvF
-D!!5a&4Q@0n2=*4!cKOosx|T?(Q^f3pcpQQSqE58Zfto_YY9?ELPKwDZE17@0Euf@CC$c=UszhlV5m?R
-u@{iVU*wrVdeH+Q@FPbX@d{W&Xklq?RCsA*mB{9L9(7`0)Rt93YLV-HLXe?vTA1;^Q1`ZqBog<<1W#~D
-WCZ{SL}Fu5a&K>D1OfpDbYXCEWpn@q0RnFxmidRhTh1hu7-!n@1Cr{swqbZoGSd8tmgp<3rE?FqADBNH
-?W>M^%H|xc>sh|Dn*!v8^Ea7rh?dzC2n+%RZ*X#DbN~eb0&gCc`G>t*&Lor=XWH@ulIpd#VR%e3()@~+
-=qs(Ib4O0kT+rxDK6vW;JU&?LxLM72H?wDC1Zo}=N}D)4mkCE~Z(?C=PjX}i0}6L(bZ%vHb5C+)00aU6
-1a5C`WdHyG0R(ezZDjxj0RbS#6~TkBW;)?;_iNzlVjb`6LkuT|LD`7wVC;Z8*z*K$aA{-$wlQ4lF#CP(
-{0kA5beTu`TbGnq*3o<h*Xorp*KIUmmB{9L9(7`0)Rt93YLV-HLXe?vTA1;^Q1`ZqBog<<18HP<00067
-RCrHvWCQ~M2w`$#XlZt3WB>pF0S9kxLug@XZU6-V0fsUI!xLW{GR%jCD1BroNw?EK<*_GIjHR2Pc=tCz
-wgL!mW@bZZVQFpv1_20ga%pdJX>@r200ae8cu;S11_B0XWoc(<bN~PZ33O>~Wpi|4ZEyepND5bJbZ%vH
-b5C+)1_B0fbz)C)WC7fFvAaSw-)KgQ7fAeMNYpypNfHyE8AFfUoC2TNw^j*vX>@L7b8|^#0=6++>M;9#
-?)(c8mUNj%`dgQjSJu&d2G{D9FxPD~VTo&4CC$c=UszhlV5m?Ru@{iVU*wrVdeH+Q@FPbX@c
+V{&P5bg6}ecT=8d`>?<6$C@F;S3|*6`1-v+nBdcqJ?FPKcnV2wbY*gGVQf%qwlfK-7{9iX4Q|L-q$GzU
+Mp|h<azh8d{~gylbAe9D2TWyQW>#f#{Gz8SzLEaTf~c{WkYggkPIjuQHS#3Ua|L6d7%qre2Ut&TY<W;?
+2~tNwLvL+uX><VqmB{9L9(7`0)Rt93YLV-HLXe?vTA1;^Q1`ZqBog<<1W#~DWCZ{SL}Fu5a&K>D1OfpD
+bYXCEWpn@q0RnFxmidRhTh1hu7-!n@1Cr{swqbZoGSd8tmgp<3rE?FqADBNH?W>M^%H|xc>sh|Dn*!v8
+^Ea7rh?dzC2n+%RZ*X#DbN~eb0&gCc`G>t*&Lor=XWH@ulIpd#VR%e3()@~+=qs(Ib4O0kT+rxDK6vW;
+JU&?LxLM72H?wDC1Zo}=N}D)4mkCE~Z(?C=PjX}i0tIhyPjX}d5^!ZWmqRVqY#fz=E*t7rNLnhuswFP-
+RvR}GCb>Ok18HP<00067PjF9iWCQ~M2WMq&WpinB0000131xV6Wo~n6Z*Bkv0|$3$bZ%vHa{=}XBbpbB
+LK#dEwxUFHJ){RjtgLvL_X>0rou@Knb#Vo5Z*F5{00035Z*Xa30^w#fkSBGhsMxw5cp3r9ndQi`YyI(V
+S@-_~yvW73=9S3idLDIRU(}XWLTZugenOC;Z(5k~zEJnJiX;;E#s3O)a$#<BX>@6CZU6=Y2X|?7Ze??G
+0rm?cniq>g8B7tjqC|5&qz6Q-tazCB3Um~mr!r)9aRqK~ZewKt009JVaA{-$;bt_DCv~W(*t#Bg8Uf0g
+<;b#Y{qb&D_x}UD$i=tjmB{9L9(7`0)Rt93YLV-HLXe?vTA1;^Q1`ZqBog<<3Rh`#Ze??GPjX}g0{{qN
+a${&|c4cG$00036ZE0?0WB>&L0S>>o?Kom?q=ULN^A!11b?H{wM>P}NCm0qyW47Umu>uKnWo~p~bZK^F
+0000AS7~%^Wpi^-Z*v9$254nzXJ~W)00aqiX>Db5bYX39002k
 
 -----END STRICT TYPE LIB-----
 

stl/RGBLogic@0.1.0.sty

@@ -1,5 +1,5 @@
 {-
-  Id: stl:pxDxFGo9-MbacU6J-Qug1G$1-6LsuROd-Um1H$hU-T6o2Lgk#lobster-dilemma-famous
+  Id: stl:Yd7koRpf-hs7nsKX-TOLAnZl-hIfJ9wQ-M8J58hj-n60RcaA#pioneer-gong-smoke
   Name: RGBLogic
   Version: 0.1.0
   Description: Consensus logic layer for RGB smart contracts
@@ -18,15 +18,13 @@ import BPCore#garbo-radius-peru
   use TapretRightBranch#miracle-patriot-touch
   use OpretProof#good-village-flex
 
-import RGBCommit#orbit-airport-voice
-  use XChainTxid#liquid-river-absorb
+import RGBCommit#miranda-blue-promise
   use OpId#picnic-single-gloria
 
 import Bitcoin#signal-color-cipher
   use ScriptBytes#equator-cockpit-gong
   use TapNodeHash#paprika-amanda-hunter
   use LeafScript#bison-doctor-oscar
-  use Txid#shallow-light-reverse
   use InternalPk#habitat-paprika-oliver
   use LeafVer#benefit-carbon-africa
   use XOnlyPk#clever-swim-carpet
@@ -36,20 +34,24 @@ import Bitcoin#signal-color-cipher
 data DbcProof          : tapret#1 BPCore.TapretProof
                        | opret BPCore.OpretProof
 
-@mnemonic(fiber-lucas-harmony)
-data GlobalOrd         : witnessOrd WitnessOrd?
-                       , opid RGBCommit.OpId
-                       , idx U16
-
-@mnemonic(degree-journal-mayor)
-data TxOrd             : archived ()
-                       | onChain TxPos
-                       | offChain priority U32
-
-@mnemonic(john-invest-weekend)
-data TxPos             : height U32, timestamp I64
-
-@mnemonic(fish-yoyo-logic)
-data WitnessOrd        : pubOrd TxOrd, witnessId RGBCommit.XChainTxid
+@mnemonic(east-sunset-extra)
+data GlobalOrd         : opOrd OpOrd, idx U16
+
+@mnemonic(heroic-right-pepper)
+data OpOrd             : genesis ()
+                       | extension (witness WitnessOrd
+                       , nonce U8
+                       , opid RGBCommit.OpId)
+                       | transition#255 (witness WitnessOrd
+                       , nonce U8
+                       , opid RGBCommit.OpId)
+
+@mnemonic(orange-john-cyclone)
+data WitnessOrd        : archived ()
+                       | mined WitnessPos
+                       | tentative ()
+
+@mnemonic(snow-local-tonight)
+data WitnessPos        : height U32, timestamp I64
 
 

stl/Transition.vesper

@@ -12,6 +12,7 @@ OpId commitment hasher=SHA256 tagged=urn:lnp-bp:rgb:operation#2024-02-03
 
 OpCommitment rec
   ffv is U16 aka=Ffv
+  nonce is U8
   opType union TypeCommitment
     genesis rec BaseCommitment wrapped tag=0
       flags bytes len=1 aka=ReservedBytes1
@@ -39,6 +40,7 @@ OpCommitment rec
 Transition rec
   ffv is U16 aka=Ffv
   contractId bytes len=32 aka=ContractId
+  nonce is U8
   transitionType is U16 aka=TransitionType
   metadata map len=0..MAX8 aka=Metadata
     key is U16 aka=MetaType