chore: update vesper files

stl/Anchor.MerkleBlock.Tapret.vesper

@@ -1,31 +1,29 @@
 AnchorMerkleBlockTapretProof rec
   txid bytes len=32 aka=Txid
-  mpcProof rec MerkleBlock
+  mpcProof rec -- MerkleBlock
     depth enum {
-      U5 _0=0 _1=1 _2=2 _3=3 _4=4 _5=5 _6=6 _7=7
-      _8=8 _9=9 _10=10 _11=11 _12=12 _13=13 _14=14 _15=15
-      _16=16 _17=17 _18=18 _19=19 _20=20 _21=21 _22=22 _23=23
-      _24=24 _25=25 _26=26 _27=27 _28=28 _29=29 _30=30 _31=31
-
-    }
+      _0=0 _1=1 _2=2 _3=3 _4=4 _5=5 _6=6 _7=7 _8=8
+      _9=9 _10=10 _11=11 _12=12 _13=13 _14=14 _15=15 _16=16
+      _17=17 _18=18 _19=19 _20=20 _21=21 _22=22 _23=23 _24=24
+      _25=25 _26=26 _27=27 _28=28 _29=29 _30=30 _31=31
+    } -- U5
     cofactor is U16
     crossSection list len=0..MAX32
       TreeNode union
         concealedNode rec tag=0
           depth enum {
-            U5 _0=0 _1=1 _2=2 _3=3 _4=4 _5=5 _6=6 _7=7
-            _8=8 _9=9 _10=10 _11=11 _12=12 _13=13 _14=14 _15=15
-            _16=16 _17=17 _18=18 _19=19 _20=20 _21=21 _22=22 _23=23
-            _24=24 _25=25 _26=26 _27=27 _28=28 _29=29 _30=30 _31=31
-
-          }
+            _0=0 _1=1 _2=2 _3=3 _4=4 _5=5 _6=6 _7=7 _8=8
+            _9=9 _10=10 _11=11 _12=12 _13=13 _14=14 _15=15 _16=16
+            _17=17 _18=18 _19=19 _20=20 _21=21 _22=22 _23=23 _24=24
+            _25=25 _26=26 _27=27 _28=28 _29=29 _30=30 _31=31
+          } -- U5
           hash bytes len=32 aka=MerkleHash
         commitmentLeaf rec tag=1
           protocolId bytes len=32 aka=ProtocolId
           message bytes len=32 aka=Message
       some is U64 option wrapped tag=1
-  dbcProof rec TapretProof
-    pathProof rec TapretPathProof
-      some union TapretNodePartner option wrapped tag=1
-        rightBranch rec TapretRightBranch wrapped tag=2
+  dbcProof rec -- TapretProof
+    pathProof rec -- TapretPathProof
+      some union option wrapped tag=1 -- TapretNodePartner
+        rightBranch rec wrapped tag=2 -- TapretRightBranch
       nonce is U8

stl/Anchor.MerkleProof.Tapret.vesper

@@ -1,12 +1,12 @@
 AnchorMerkleProofTapretProof rec
   txid bytes len=32 aka=Txid
-  mpcProof rec MerkleProof
+  mpcProof rec -- MerkleProof
     pos is U32
     cofactor is U16
     path list len=0..32
       element bytes len=32 aka=MerkleHash
-  dbcProof rec TapretProof
-    pathProof rec TapretPathProof
-      some union TapretNodePartner option wrapped tag=1
-        rightBranch rec TapretRightBranch wrapped tag=2
+  dbcProof rec -- TapretProof
+    pathProof rec -- TapretPathProof
+      some union option wrapped tag=1 -- TapretNodePartner
+        rightBranch rec wrapped tag=2 -- TapretRightBranch
       nonce is U8

stl/Anchor.MerkleTree.Opret.vesper

@@ -1,13 +1,12 @@
 AnchorMerkleTreeOpretProof rec
   txid bytes len=32 aka=Txid
-  mpcProof rec MerkleTree
+  mpcProof rec -- MerkleTree
     depth enum {
-      U5 _0=0 _1=1 _2=2 _3=3 _4=4 _5=5 _6=6 _7=7
-      _8=8 _9=9 _10=10 _11=11 _12=12 _13=13 _14=14 _15=15
-      _16=16 _17=17 _18=18 _19=19 _20=20 _21=21 _22=22 _23=23
-      _24=24 _25=25 _26=26 _27=27 _28=28 _29=29 _30=30 _31=31
-
-    }
+      _0=0 _1=1 _2=2 _3=3 _4=4 _5=5 _6=6 _7=7 _8=8
+      _9=9 _10=10 _11=11 _12=12 _13=13 _14=14 _15=15 _16=16
+      _17=17 _18=18 _19=19 _20=20 _21=21 _22=22 _23=23 _24=24
+      _25=25 _26=26 _27=27 _28=28 _29=29 _30=30 _31=31
+    } -- U5
     entropy is U64
     cofactor is U16
     messages map len=0..MAX24

stl/Anchor.MerkleTree.Tapret.vesper

@@ -1,13 +1,12 @@
 AnchorMerkleTreeTapretProof rec
   txid bytes len=32 aka=Txid
-  mpcProof rec MerkleTree
+  mpcProof rec -- MerkleTree
     depth enum {
-      U5 _0=0 _1=1 _2=2 _3=3 _4=4 _5=5 _6=6 _7=7
-      _8=8 _9=9 _10=10 _11=11 _12=12 _13=13 _14=14 _15=15
-      _16=16 _17=17 _18=18 _19=19 _20=20 _21=21 _22=22 _23=23
-      _24=24 _25=25 _26=26 _27=27 _28=28 _29=29 _30=30 _31=31
-
-    }
+      _0=0 _1=1 _2=2 _3=3 _4=4 _5=5 _6=6 _7=7 _8=8
+      _9=9 _10=10 _11=11 _12=12 _13=13 _14=14 _15=15 _16=16
+      _17=17 _18=18 _19=19 _20=20 _21=21 _22=22 _23=23 _24=24
+      _25=25 _26=26 _27=27 _28=28 _29=29 _30=30 _31=31
+    } -- U5
     entropy is U64
     cofactor is U16
     messages map len=0..MAX24
@@ -18,8 +17,8 @@ AnchorMerkleTreeTapretProof rec
       value tuple
         _ bytes len=32 aka=ProtocolId
         _ bytes len=32 aka=Message
-  dbcProof rec TapretProof
-    pathProof rec TapretPathProof
-      some union TapretNodePartner option wrapped tag=1
-        rightBranch rec TapretRightBranch wrapped tag=2
+  dbcProof rec -- TapretProof
+    pathProof rec -- TapretPathProof
+      some union option wrapped tag=1 -- TapretNodePartner
+        rightBranch rec wrapped tag=2 -- TapretRightBranch
       nonce is U8

stl/Seals.vesper

@@ -14,14 +14,14 @@ SecretSeal commitment hasher=SHA256 tagged=urn:lnp-bp:seals:secret#2024-02-03
   BlindSealTxPtr serialized
 
 BlindSealTxid rec
-  method enum Method opretFirst=0 tapretFirst=1
+  method enum opretFirst=0 tapretFirst=1 -- Method
   txid bytes len=32 aka=Txid
   vout is U32 aka=Vout
   blinding is U64
 
 BlindSealTxPtr rec
-  method enum Method opretFirst=0 tapretFirst=1
-  txid union TxPtr
+  method enum opretFirst=0 tapretFirst=1 -- Method
+  txid union -- TxPtr
     witnessTx is Unit tag=0
     txid bytes len=32 wrapped aka=Txid tag=1
   vout is U32 aka=Vout