From 8aa190eb521a9d5b0f0928eddf7efc94922971a9 Mon Sep 17 00:00:00 2001 From: Maxim Orlovsky Date: Mon, 24 Jul 2023 13:34:42 +0200 Subject: [PATCH] RGB*: update with new Baid58 v0.4 ids --- lnpbp-0020.md | 4 +- lnpbp-0021.md | 4 +- lnpbp-0022.md | 4 +- lnpbp-0023.md | 4 +- lnpbp-0024.md | 14 +- lnpbp-0025.md | 4 +- lnpbp-0030.md | 8 +- lnpbp-0031.md | 912 +++++++++++++++++++------------------------------- 8 files changed, 361 insertions(+), 593 deletions(-) diff --git a/lnpbp-0020.md b/lnpbp-0020.md index ba239b0..4dc0a21 100644 --- a/lnpbp-0020.md +++ b/lnpbp-0020.md @@ -16,7 +16,7 @@ Comments-URI: Status: Proposal Type: Standards Track Created: 2019-09-23 -Updated: 2023-05-10 +Updated: 2023-07-24 Finalized: ~ Copyright: (0) public domain License: CC0-1.0 @@ -69,7 +69,7 @@ Interface specification is the following Contractum code: ```haskell -- Defined by LNPBP-31 standard in `RGBContract.sty` file -import scoop_ocean_contour_DizxAzKBUaXCUkEZDGQegfJXQeK5Nk4pK142eEkC1EBM as RGBContract +import urn:ubideco:stl:6vbr9ZrtsD9aBjo5qRQ36QEZPVucqvRRjKCPqE8yPeJr#choice-little-boxer as RGBContract interface RGB20 -- Asset specification containing ticker, name, precision etc. diff --git a/lnpbp-0021.md b/lnpbp-0021.md index 21f2e8e..bb9a1f1 100644 --- a/lnpbp-0021.md +++ b/lnpbp-0021.md @@ -14,7 +14,7 @@ Comments-URI: Status: Proposal Type: Standards Track Created: 2020-09-10 -Updated: 2023-05-10 +Updated: 2023-07-24 License: CC0-1.0 ``` @@ -57,7 +57,7 @@ Interface specification is the following Contractum code: ```haskell -- Defined by LNPBP-31 standard in `RGBContract.sty` file -import scoop_ocean_contour_DizxAzKBUaXCUkEZDGQegfJXQeK5Nk4pK142eEkC1EBM as RGBContract +import urn:ubideco:stl:6vbr9ZrtsD9aBjo5qRQ36QEZPVucqvRRjKCPqE8yPeJr#choice-little-boxer as RGBContract -- # Defining main data structures diff --git a/lnpbp-0022.md b/lnpbp-0022.md index 0386254..9975f03 100644 --- a/lnpbp-0022.md +++ b/lnpbp-0022.md @@ -9,7 +9,7 @@ Comments-URI: Status: Draft Type: Standards Track Created: 2020-09-10 -Updated: 2023-05-10 +Updated: 2023-07-24 Finalized: ~ Copyright: (0) public domain License: CC0-1.0 @@ -54,7 +54,7 @@ Interface specification is the following Contractum code: ```haskell -- Defined by LNPBP-31 standard in `RGBContract.sty` file -import scoop_ocean_contour_DizxAzKBUaXCUkEZDGQegfJXQeK5Nk4pK142eEkC1EBM as RGBContract +import urn:ubideco:stl:6vbr9ZrtsD9aBjo5qRQ36QEZPVucqvRRjKCPqE8yPeJr#choice-little-boxer as RGBContract data XonlyPubkey :: [Byte ^ 32] data SchnorrSig :: [Byte ^ 64] diff --git a/lnpbp-0023.md b/lnpbp-0023.md index 90c44fc..d1855a7 100644 --- a/lnpbp-0023.md +++ b/lnpbp-0023.md @@ -8,7 +8,7 @@ Comments-URI: Status: Proposal Type: Standards Track Created: 2020-09-10 -Updated: 2023-05-10 +Updated: 2023-07-24 Finalized: ~ Copyright: (0) public domain License: CC0-1.0 @@ -45,7 +45,7 @@ Interface specification is the following Contractum code: ```haskell -- Defined by LNPBP-31 standard in `RGBContract.sty` file -import scoop_ocean_contour_DizxAzKBUaXCUkEZDGQegfJXQeK5Nk4pK142eEkC1EBM as RGBContract +import urn:ubideco:stl:6vbr9ZrtsD9aBjo5qRQ36QEZPVucqvRRjKCPqE8yPeJr#choice-little-boxer as RGBContract import RGB21 diff --git a/lnpbp-0024.md b/lnpbp-0024.md index 599f32f..6b131da 100644 --- a/lnpbp-0024.md +++ b/lnpbp-0024.md @@ -8,7 +8,7 @@ Comments-URI: Status: Draft Type: Standards Track Created: 2020-09-10 -Updated: 2023-05-10 +Updated: 2023-07-24 Finalized: ~ License: GPL-3.0 ``` @@ -44,13 +44,13 @@ Interface specification is the following Contractum code: ```haskell -- Defined by LNPBP-31 standard in `RGBContract.sty` file -import scoop_ocean_contour_DizxAzKBUaXCUkEZDGQegfJXQeK5Nk4pK142eEkC1EBM as RGBContract +import urn:ubideco:stl:6vbr9ZrtsD9aBjo5qRQ36QEZPVucqvRRjKCPqE8yPeJr#choice-little-boxer as RGBContract -import camel_product_float_9Y12p3rVHBiJh3TZUgup8kMtKggwNX5zPzWH9TgGRiwD as StdLib +import urn:ubideco:stl:9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ#justice-rocket-type as Std interface RGB24 - global root :: ContractId? - global name :: Ident + global root :: RGBContract.ContractId? + global name :: Std.Ident global {registry} :: Record global created :: RGBContract.Timestamp @@ -62,11 +62,11 @@ interface RGB24 invalidRoot | incompleteRegistry -data Hostname :: [StdLib.AlphaNumDash ^ 1..63] +data Hostname :: [Std.AlphaNumDash ^ 1..63] data DomainName :: [Hostname ^ 1..0xFF] data Record :: host Hostname, entry Entry -data Entry :: a IPv4 | aaaa IPv6 | cname DomainName | sub RGB24.ContractId +data Entry :: a IPv4 | aaaa IPv6 | cname DomainName | sub RGBContract.ContractId ``` ## Compatibility diff --git a/lnpbp-0025.md b/lnpbp-0025.md index fded971..4905836 100644 --- a/lnpbp-0025.md +++ b/lnpbp-0025.md @@ -11,7 +11,7 @@ Comments-URI: Status: Proposal Type: Standards Track Created: 2023-06-28 -Updated: 2023-06-28 +Updated: 2023-07-24 Finalized: ~ Copyright: (0) public domain License: CC0-1.0 @@ -48,7 +48,7 @@ Interface specification is the following Contractum code: ```haskell -- Defined by LNPBP-31 standard in `RGBContract.sty` file -import scoop_ocean_contour_DizxAzKBUaXCUkEZDGQegfJXQeK5Nk4pK142eEkC1EBM as RGBContract +import urn:ubideco:stl:6vbr9ZrtsD9aBjo5qRQ36QEZPVucqvRRjKCPqE8yPeJr#choice-little-boxer as RGBContract interface RGB25 global name :: RGBContract.Name diff --git a/lnpbp-0030.md b/lnpbp-0030.md index 08d4fa3..9372b7b 100644 --- a/lnpbp-0030.md +++ b/lnpbp-0030.md @@ -8,7 +8,7 @@ Comments-URI: Status: Proposal Type: Standards Track Created: 2021-06-23 -Updated: 2023-05-10 +Updated: 2023-07-24 Finalized: ~ Copyright: (0) public domain License: CC0-1.0 @@ -46,15 +46,13 @@ Interface specification is the following Contractum code: ```haskell -- Defined by LNPBP-31 standard in `RGBContract.sty` file -import scoop_ocean_contour_DizxAzKBUaXCUkEZDGQegfJXQeK5Nk4pK142eEkC1EBM as RGBContract +import urn:ubideco:stl:6vbr9ZrtsD9aBjo5qRQ36QEZPVucqvRRjKCPqE8yPeJr#choice-little-boxer as RGBContract interface RGB30 -- Asset specification containing ticker, name, precision etc. global spec :: RGBContract.DivisibleAssetSpec - -- Contract text and creation date is separated from the spec since it must - -- not be changeable by the issuer. - global terms :: RGBContract.RicardianContract + global data :: RGBContract.ContractData global created :: RGBContract.Timestamp -- Ownership right over assets diff --git a/lnpbp-0031.md b/lnpbp-0031.md index ec15d7b..362a465 100644 --- a/lnpbp-0031.md +++ b/lnpbp-0031.md @@ -46,624 +46,394 @@ License: CC0-1.0 The specification is the actual Standard Contractum Library code: -`StdLib.sty`, semantic lib id `camel_product_float_9Y12p3rVHBiJh3TZUgup8kMtKggwNX5zPzWH9TgGRiwD`: +`Std.sty`, semantic lib id `urn:ubideco:stl:9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ#justice-rocket-type`: ```haskell -typelib StdLib -- version v1.1.1-2024.05.13.A - -data Alpha :: A:65 - | B:66 - | C:67 - | D:68 - | E:69 - | F:70 - | G:71 - | H:72 - | I:73 - | J:74 - | K:75 - | L:76 - | M:77 - | N:78 - | O:79 - | P:80 - | Q:81 - | R:82 - | S:83 - | T:84 - | U:85 - | V:86 - | W:87 - | X:88 - | Y:89 - | Z:90 - | a:97 - | b:98 - | c:99 - | d:100 - | e:101 - | f:102 - | g:103 - | h:104 - | i:105 - | j:106 - | k:107 - | l:108 - | m:109 - | n:110 - | o:111 - | p:112 - | q:113 - | r:114 - | s:115 - | t:116 - | u:117 - | v:118 - | w:119 - | x:120 - | y:121 - | z:122 - -data AlphaCaps :: A:65 - | B:66 - | C:67 - | D:68 - | E:69 - | F:70 - | G:71 - | H:72 - | I:73 - | J:74 - | K:75 - | L:76 - | M:77 - | N:78 - | O:79 - | P:80 - | Q:81 - | R:82 - | S:83 - | T:84 - | U:85 - | V:86 - | W:87 - | X:88 - | Y:89 - | Z:90 - -data AlphaCapsNum :: zero:48 - | one:49 - | two:50 - | three:51 - | four:52 - | five:53 - | six:54 - | seven:55 - | eight:56 - | nine:57 - | A:65 - | B:66 - | C:67 - | D:68 - | E:69 - | F:70 - | G:71 - | H:72 - | I:73 - | J:74 - | K:75 - | L:76 - | M:77 - | N:78 - | O:79 - | P:80 - | Q:81 - | R:82 - | S:83 - | T:84 - | U:85 - | V:86 - | W:87 - | X:88 - | Y:89 - | Z:90 - -data AlphaNum :: zero:48 - | one:49 - | two:50 - | three:51 - | four:52 - | five:53 - | six:54 - | seven:55 - | eight:56 - | nine:57 - | A:65 - | B:66 - | C:67 - | D:68 - | E:69 - | F:70 - | G:71 - | H:72 - | I:73 - | J:74 - | K:75 - | L:76 - | M:77 - | N:78 - | O:79 - | P:80 - | Q:81 - | R:82 - | S:83 - | T:84 - | U:85 - | V:86 - | W:87 - | X:88 - | Y:89 - | Z:90 - | a:97 - | b:98 - | c:99 - | d:100 - | e:101 - | f:102 - | g:103 - | h:104 - | i:105 - | j:106 - | k:107 - | l:108 - | m:109 - | n:110 - | o:111 - | p:112 - | q:113 - | r:114 - | s:115 - | t:116 - | u:117 - | v:118 - | w:119 - | x:120 - | y:121 - | z:122 - -data AlphaNumDash :: dash:45 - | zero:48 - | one:49 - | two:50 - | three:51 - | four:52 - | five:53 - | six:54 - | seven:55 - | eight:56 - | nine:57 - | A:65 - | B:66 - | C:67 - | D:68 - | E:69 - | F:70 - | G:71 - | H:72 - | I:73 - | J:74 - | K:75 - | L:76 - | M:77 - | N:78 - | O:79 - | P:80 - | Q:81 - | R:82 - | S:83 - | T:84 - | U:85 - | V:86 - | W:87 - | X:88 - | Y:89 - | Z:90 - | a:97 - | b:98 - | c:99 - | d:100 - | e:101 - | f:102 - | g:103 - | h:104 - | i:105 - | j:106 - | k:107 - | l:108 - | m:109 - | n:110 - | o:111 - | p:112 - | q:113 - | r:114 - | s:115 - | t:116 - | u:117 - | v:118 - | w:119 - | x:120 - | y:121 - | z:122 - -data AlphaNumLodash :: zero:48 - | one:49 - | two:50 - | three:51 - | four:52 - | five:53 - | six:54 - | seven:55 - | eight:56 - | nine:57 - | A:65 - | B:66 - | C:67 - | D:68 - | E:69 - | F:70 - | G:71 - | H:72 - | I:73 - | J:74 - | K:75 - | L:76 - | M:77 - | N:78 - | O:79 - | P:80 - | Q:81 - | R:82 - | S:83 - | T:84 - | U:85 - | V:86 - | W:87 - | X:88 - | Y:89 - | Z:90 - | lodash:95 - | a:97 - | b:98 - | c:99 - | d:100 - | e:101 - | f:102 - | g:103 - | h:104 - | i:105 - | j:106 - | k:107 - | l:108 - | m:109 - | n:110 - | o:111 - | p:112 - | q:113 - | r:114 - | s:115 - | t:116 - | u:117 - | v:118 - | w:119 - | x:120 - | y:121 - | z:122 - -data AlphaSmall :: a:97 - | b:98 - | c:99 - | d:100 - | e:101 - | f:102 - | g:103 - | h:104 - | i:105 - | j:106 - | k:107 - | l:108 - | m:109 - | n:110 - | o:111 - | p:112 - | q:113 - | r:114 - | s:115 - | t:116 - | u:117 - | v:118 - | w:119 - | x:120 - | y:121 - | z:122 - -data AsciiPrintable :: space:32 - | excl:33 - | quotes:34 - | hash:35 - | dollar:36 - | percent:37 - | ampersand:38 - | apostrophe:39 - | bracketL:40 - | bracketR:41 - | asterisk:42 - | plus:43 - | comma:44 - | minus:45 - | dot:46 - | slash:47 - | zero:48 - | one:49 - | two:50 - | three:51 - | four:52 - | five:53 - | six:54 - | seven:55 - | eight:56 - | nine:57 - | colon:58 - | semiColon:59 - | less:60 - | equal:61 - | greater:62 - | question:63 - | at:64 - | A:65 - | B:66 - | C:67 - | D:68 - | E:69 - | F:70 - | G:71 - | H:72 - | I:73 - | J:74 - | K:75 - | L:76 - | M:77 - | N:78 - | O:79 - | P:80 - | Q:81 - | R:82 - | S:83 - | T:84 - | U:85 - | V:86 - | W:87 - | X:88 - | Y:89 - | Z:90 - | sqBracketL:91 - | backSlash:92 - | sqBracketR:93 - | caret:94 - | lodash:95 - | backtick:96 - | a:97 - | b:98 - | c:99 - | d:100 - | e:101 - | f:102 - | g:103 - | h:104 - | i:105 - | j:106 - | k:107 - | l:108 - | m:109 - | n:110 - | o:111 - | p:112 - | q:113 - | r:114 - | s:115 - | t:116 - | u:117 - | v:118 - | w:119 - | x:120 - | y:121 - | z:122 - | cBracketL:123 - | pipe:124 - | cBracketR:125 - | tilde:126 - -data Bool :: false:0 - | true:1 - -data Dec :: zero:48 - | one:49 - | two:50 - | three:51 - | four:52 - | five:53 - | six:54 - | seven:55 - | eight:56 - | nine:57 - -data HexDecCaps :: zero:48 - | one:49 - | two:50 - | three:51 - | four:52 - | five:53 - | six:54 - | seven:55 - | eight:56 - | nine:57 - | ten:65 - | eleven:66 - | twelve:67 - | thirteen:68 - | fourteen:69 - | fifteen:70 - -data HexDecSmall :: zero:48 - | one:49 - | two:50 - | three:51 - | four:52 - | five:53 - | six:54 - | seven:55 - | eight:56 - | nine:57 - | ten:97 - | eleven:98 - | twelve:99 - | thirteen:100 - | fourteen:101 - | fifteen:102 - -data U4 :: v0:0 - | v1:1 - | v2:2 - | v3:3 - | v4:4 - | v5:5 - | v6:6 - | v7:7 - | v8:8 - | v9:9 - | v10:10 - | v11:11 - | v12:12 - | v13:13 - | v14:14 - | v15:15 +typelib Std + +-- no dependencies + +-- urn:ubideco:semid:55LGxTk42rZVmuXepF2FJNfP52h3QG5pBnBaY1VnnvnP#quiet-opinion-saddle +data Alpha :: A:65 | B:66 | C:67 | D:68 + | E:69 | F:70 | G:71 | H:72 + | I:73 | J:74 | K:75 | L:76 + | M:77 | N:78 | O:79 | P:80 + | Q:81 | R:82 | S:83 | T:84 + | U:85 | V:86 | W:87 | X:88 + | Y:89 | Z:90 | a:97 | b:98 + | c:99 | d:100 | e:101 | f:102 + | g:103 | h:104 | i:105 | j:106 + | k:107 | l:108 | m:109 | n:110 + | o:111 | p:112 | q:113 | r:114 + | s:115 | t:116 | u:117 | v:118 + | w:119 | x:120 | y:121 | z:122 + +-- urn:ubideco:semid:43EA5YjDDUMdgMApG3xuUWGSzDXKr6U5b9gtgLwuqCc3#simon-pegasus-stop +data AlphaCaps :: A:65 | B:66 | C:67 | D:68 + | E:69 | F:70 | G:71 | H:72 + | I:73 | J:74 | K:75 | L:76 + | M:77 | N:78 | O:79 | P:80 + | Q:81 | R:82 | S:83 | T:84 + | U:85 | V:86 | W:87 | X:88 + | Y:89 | Z:90 + +-- urn:ubideco:semid:7U5NvJNf343ZzFXsqW2DBYtTSvrb3YdL6oxYd2BaMsVr#magnet-section-latin +data AlphaCapsNum :: zero:48 | one:49 | two:50 | three:51 + | four:52 | five:53 | six:54 | seven:55 + | eight:56 | nine:57 | A:65 | B:66 + | C:67 | D:68 | E:69 | F:70 + | G:71 | H:72 | I:73 | J:74 + | K:75 | L:76 | M:77 | N:78 + | O:79 | P:80 | Q:81 | R:82 + | S:83 | T:84 | U:85 | V:86 + | W:87 | X:88 | Y:89 | Z:90 + +-- urn:ubideco:semid:DZX8CtQMz2kGByNeWpSpWzor5EPoeQ1LRsSWcR13w9bH#disco-ibiza-mile +data AlphaNum :: zero:48 | one:49 | two:50 | three:51 + | four:52 | five:53 | six:54 | seven:55 + | eight:56 | nine:57 | A:65 | B:66 + | C:67 | D:68 | E:69 | F:70 + | G:71 | H:72 | I:73 | J:74 + | K:75 | L:76 | M:77 | N:78 + | O:79 | P:80 | Q:81 | R:82 + | S:83 | T:84 | U:85 | V:86 + | W:87 | X:88 | Y:89 | Z:90 + | a:97 | b:98 | c:99 | d:100 + | e:101 | f:102 | g:103 | h:104 + | i:105 | j:106 | k:107 | l:108 + | m:109 | n:110 | o:111 | p:112 + | q:113 | r:114 | s:115 | t:116 + | u:117 | v:118 | w:119 | x:120 + | y:121 | z:122 + +-- urn:ubideco:semid:4UQSpEBq39vFqEBYDaLEMaQ6qJYGDiEFsGFYzv7U7ipA#good-trumpet-today +data AlphaNumDash :: dash:45 | zero:48 | one:49 | two:50 + | three:51 | four:52 | five:53 | six:54 + | seven:55 | eight:56 | nine:57 | A:65 + | B:66 | C:67 | D:68 | E:69 + | F:70 | G:71 | H:72 | I:73 + | J:74 | K:75 | L:76 | M:77 + | N:78 | O:79 | P:80 | Q:81 + | R:82 | S:83 | T:84 | U:85 + | V:86 | W:87 | X:88 | Y:89 + | Z:90 | a:97 | b:98 | c:99 + | d:100 | e:101 | f:102 | g:103 + | h:104 | i:105 | j:106 | k:107 + | l:108 | m:109 | n:110 | o:111 + | p:112 | q:113 | r:114 | s:115 + | t:116 | u:117 | v:118 | w:119 + | x:120 | y:121 | z:122 + +-- urn:ubideco:semid:8iBe2dh8beD1KUairdqCacEcxAr4h55XfUQN2PspWXjz#north-sound-salsa +data AlphaNumLodash :: zero:48 | one:49 | two:50 | three:51 + | four:52 | five:53 | six:54 | seven:55 + | eight:56 | nine:57 | A:65 | B:66 + | C:67 | D:68 | E:69 | F:70 + | G:71 | H:72 | I:73 | J:74 + | K:75 | L:76 | M:77 | N:78 + | O:79 | P:80 | Q:81 | R:82 + | S:83 | T:84 | U:85 | V:86 + | W:87 | X:88 | Y:89 | Z:90 + | lodash:95 | a:97 | b:98 | c:99 + | d:100 | e:101 | f:102 | g:103 + | h:104 | i:105 | j:106 | k:107 + | l:108 | m:109 | n:110 | o:111 + | p:112 | q:113 | r:114 | s:115 + | t:116 | u:117 | v:118 | w:119 + | x:120 | y:121 | z:122 + +-- urn:ubideco:semid:HmLtNhtTNv8cdSDzKcU3p1i3jcJS6TWkrRCw1vYABFJG#song-accent-mammal +data AlphaSmall :: a:97 | b:98 | c:99 | d:100 + | e:101 | f:102 | g:103 | h:104 + | i:105 | j:106 | k:107 | l:108 + | m:109 | n:110 | o:111 | p:112 + | q:113 | r:114 | s:115 | t:116 + | u:117 | v:118 | w:119 | x:120 + | y:121 | z:122 + +-- urn:ubideco:semid:2NFrhqQqGNDA4HujyTW2pmcjtrN5sbtFfpPFXPPYcGER#aloha-lunar-felix +data Ascii :: nul:0 | soh:1 | stx:2 | etx:3 + | eot:4 | enq:5 | ack:6 | bel:7 + | bs:8 | ht:9 | lf:10 | vt:11 + | ff:12 | cr:13 | so:14 | si:15 + | dle:16 | dc1:17 | dc2:18 | dc3:19 + | dc4:20 | nack:21 | syn:22 | etb:23 + | can:24 | em:25 | sub:26 | esc:27 + | fs:28 | gs:29 | rs:30 | us:31 + | space:32 | excl:33 | quotes:34 | hash:35 + | dollar:36 | percent:37 | ampersand:38 | apostrophe:39 + | bracketL:40 | bracketR:41 | asterisk:42 | plus:43 + | comma:44 | minus:45 | dot:46 | slash:47 + | zero:48 | one:49 | two:50 | three:51 + | four:52 | five:53 | six:54 | seven:55 + | eight:56 | nine:57 | colon:58 | semiColon:59 + | less:60 | equal:61 | greater:62 | question:63 + | at:64 | A:65 | B:66 | C:67 + | D:68 | E:69 | F:70 | G:71 + | H:72 | I:73 | J:74 | K:75 + | L:76 | M:77 | N:78 | O:79 + | P:80 | Q:81 | R:82 | S:83 + | T:84 | U:85 | V:86 | W:87 + | X:88 | Y:89 | Z:90 | sqBracketL:91 + | backSlash:92 | sqBracketR:93 | caret:94 | lodash:95 + | backtick:96 | a:97 | b:98 | c:99 + | d:100 | e:101 | f:102 | g:103 + | h:104 | i:105 | j:106 | k:107 + | l:108 | m:109 | n:110 | o:111 + | p:112 | q:113 | r:114 | s:115 + | t:116 | u:117 | v:118 | w:119 + | x:120 | y:121 | z:122 | cBracketL:123 + | pipe:124 | cBracketR:125 | tilde:126 | del:127 + +-- urn:ubideco:semid:mbH4meZSjxky12xHm9pg3rw8VoGxEa6rXtt6dAMZLbt#diet-oxford-window +data AsciiPrintable :: space:32 | excl:33 | quotes:34 | hash:35 + | dollar:36 | percent:37 | ampersand:38 | apostrophe:39 + | bracketL:40 | bracketR:41 | asterisk:42 | plus:43 + | comma:44 | minus:45 | dot:46 | slash:47 + | zero:48 | one:49 | two:50 | three:51 + | four:52 | five:53 | six:54 | seven:55 + | eight:56 | nine:57 | colon:58 | semiColon:59 + | less:60 | equal:61 | greater:62 | question:63 + | at:64 | A:65 | B:66 | C:67 + | D:68 | E:69 | F:70 | G:71 + | H:72 | I:73 | J:74 | K:75 + | L:76 | M:77 | N:78 | O:79 + | P:80 | Q:81 | R:82 | S:83 + | T:84 | U:85 | V:86 | W:87 + | X:88 | Y:89 | Z:90 | sqBracketL:91 + | backSlash:92 | sqBracketR:93 | caret:94 | lodash:95 + | backtick:96 | a:97 | b:98 | c:99 + | d:100 | e:101 | f:102 | g:103 + | h:104 | i:105 | j:106 | k:107 + | l:108 | m:109 | n:110 | o:111 + | p:112 | q:113 | r:114 | s:115 + | t:116 | u:117 | v:118 | w:119 + | x:120 | y:121 | z:122 | cBracketL:123 + | pipe:124 | cBracketR:125 | tilde:126 + +-- urn:ubideco:semid:7ZhBHGSJm9ixmm8Z9vCX7i5Ga7j5xrW8t11nsb1Cgpnx#laser-madam-maxwell +data Bool :: false:0 | true:1 + +-- urn:ubideco:semid:DfVXYs8NyS6G5QLTQMUELHWGkSoenXDw3ZFrHzG3LjMW#amanda-spider-diamond +data Dec :: zero:48 | one:49 | two:50 | three:51 + | four:52 | five:53 | six:54 | seven:55 + | eight:56 | nine:57 + +-- urn:ubideco:semid:H5T3iaCVzmGH5BcotfpzcRNb5Z1ri27rwVrRhJ6UosU6#invest-moral-anvil +data HexDecCaps :: zero:48 | one:49 | two:50 | three:51 + | four:52 | five:53 | six:54 | seven:55 + | eight:56 | nine:57 | ten:65 | eleven:66 + | twelve:67 | thirteen:68 | fourteen:69 | fifteen:70 + +-- urn:ubideco:semid:CBhZBmVRHY5sgou91KEAQrxun6kQQdbCPRekEEoB5Lik#forum-sahara-email +data HexDecSmall :: zero:48 | one:49 | two:50 | three:51 + | four:52 | five:53 | six:54 | seven:55 + | eight:56 | nine:57 | ten:97 | eleven:98 + | twelve:99 | thirteen:100 | fourteen:101 | fifteen:102 + +-- urn:ubideco:semid:BrEhDdRPrktqBgsNbgsmUagRz9b5n5csfbmif8Y7Bcc8#east-invest-harvest +data U4 :: u4_0:0 | u4_1:1 | u4_2:2 | u4_3:3 + | u4_4:4 | u4_5:5 | u4_6:6 | u4_7:7 + | u4_8:8 | u4_9:9 | u4_10:10 | u4_11:11 + | u4_12:12 | u4_13:13 | u4_14:14 | u4_15:15 + +-- urn:ubideco:semid:3MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf#ground-volume-singer +data U5 :: u5_0:0 | u5_1:1 | u5_2:2 | u5_3:3 + | u5_4:4 | u5_5:5 | u5_6:6 | u5_7:7 + | u5_8:8 | u5_9:9 | u5_10:10 | u5_11:11 + | u5_12:12 | u5_13:13 | u5_14:14 | u5_15:15 + | u5_16:16 | u5_17:17 | u5_18:18 | u5_19:19 + | u5_20:20 | u5_21:21 | u5_22:22 | u5_23:23 + | u5_24:24 | u5_25:25 | u5_26:26 | u5_27:27 + | u5_28:28 | u5_29:29 | u5_30:30 | u5_31:31 ``` -`Bitcoin.sty`, semantic lib id `circus_report_jeep_2bj6eDer24ZBSVq6JgQW2BrARt6vx56vMWzF35J45gzY`: +`Bitcoin.sty`, semantic lib id `urn:ubideco:stl:6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi#money-pardon-parody`: ```haskell -typelib Bitcoin -- version v0.10.2-2023.05.13.A +typelib Bitcoin +-- no dependencies + +-- urn:ubideco:semid:4dDWWU4afiPN3q4AgCMuFRFhL4UDta2u5SrqrBzPvjby#tokyo-inch-program data LockTime :: U32 + +-- urn:ubideco:semid:FWt2MSo8A4nsYgYbuBqMRNLiKgtzvLBgUn774iKzTcuf#pocket-pegasus-frank data Outpoint :: txid Txid, vout Vout + +-- urn:ubideco:semid:BEBz6h7AGjYSDRCxVHnjYkkkxzBsjN3EvyNiD4ZrzmRL#pyramid-spray-star data Sats :: U64 -data ScriptBytes :: [U8 ^ ..0xffffffffffffffff] + +-- urn:ubideco:semid:3Y4AgjkFbDusgo3YqRDWv9BznDeAJEUDEPeEq1mpSkAR#maestro-source-jackson +data ScriptBytes :: [Byte ^ ..0xffffffff] + +-- urn:ubideco:semid:2ZAYpWKB2BQxeXXjpQDpYGZ7eXFM9qQxN9TcdTiQqeB8#bingo-maestro-silk data ScriptPubkey :: ScriptBytes + +-- urn:ubideco:semid:5HtymNhYBhjqPkLLw9QVWZ62cLm57cZxgQTDUBBXtmL#rhino-time-rodent data SeqNo :: U32 + +-- urn:ubideco:semid:2gTMqAC393rBSGtBhDn8sJq3F3HtDosbqKDQTw9bHFyT#prelude-analyze-think data SigScript :: ScriptBytes + +-- urn:ubideco:semid:DynChojW1sfr8VjSoZbmReHhZoU8u9KCiuwijgEGdToe#milk-gloria-prize data Tx :: version TxVer - , inputs [TxIn ^ ..0xffffffffffffffff] - , outputs [TxOut ^ ..0xffffffffffffffff] + , inputs [TxIn ^ ..0xffffffff] + , outputs [TxOut ^ ..0xffffffff] , lockTime LockTime + +-- urn:ubideco:semid:9Nf4Vvt3im8tFQSGzPWKfjfhsrkB8bf2XsLWfzywiFSv#antenna-crater-planet data TxIn :: prevOutput Outpoint , sigScript SigScript , sequence SeqNo , witness Witness + +-- urn:ubideco:semid:HutVbeKmYYrNun96Pi4T7YfYww7SeWxRFPZGDiZwoGZV#design-jacket-spirit data TxOut :: value Sats, scriptPubkey ScriptPubkey + +-- urn:ubideco:semid:CLhr1zatQBSkCz9SiVrNoKB5igCZfF3hqRizfrviM6NR#english-natasha-virus data TxVer :: I32 -data Txid :: [U8 ^ 32] + +-- urn:ubideco:semid:C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs#cowboy-diego-betty +data Txid :: [Byte ^ 32] + +-- urn:ubideco:semid:3HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk#chrome-robin-gallop data Vout :: U32 -data Witness :: [[U8 ^ ..0xffffffffffffffff] ^ ..0xffffffffffffffff] + +-- urn:ubideco:semid:8mjN2CZj3Nhn2HjnKqTmEcN5vmyb3UJK8HSFW1uE3W2p#warning-saddle-period +data Witness :: [[Byte ^ ..0xffffffff] ^ ..0xffffffff] ``` -`CommitVerify.sty`, semantic lib id `texas_year_ethnic_CPr8tcdPqWZ3KP8dXNPYavTEkbn8PG7CoJHtfwDFKRHJ` +`CommitVerify.sty`, semantic lib id `urn:ubideco:stl:ZtHaBzu9ojbDahaGKEXe5v9DfSDxLERbLkEB23R6Q6V#rhino-cover-frog` ```haskell -typelib CommitVerify -- version v0.10.0-2023.03.05.A +typelib CommitVerify -data Message :: [U8 ^ 32] -data ProtocolId :: [U8 ^ 32] -data MerkleNode :: [U8 ^ 32] +import urn:ubideco:stl:9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ#justice-rocket-type as Std +-- Imports: +-- U5 := urn:ubideco:semid:3MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf#ground-volume-singer -data TreeNode :: concealedNode (depth StdLib.U4, hash MerkleNode) - | commitmentLeaf (protocolId ProtocolId, message Message) -data MerkleTree :: depth StdLib.U4 - , entropy U64 - , messages {[Byte ^ 32] -> Message} - , map {U16 -> ProtocolId, Message} -data MerkleBlock :: depth StdLib.U4 - , crossSection [TreeNode] +-- urn:ubideco:semid:F8mU5NPc8Z5CMnkSFGdF5UxrPsdcBS6B5DCyP5kJPgWc#ventura-equal-think +data Commitment :: [Byte ^ 32] + +-- urn:ubideco:semid:qp6pMjMCcukxxZdkM2PtfNWfJjXKoVHXtXSBCsYjQwY#transit-bogart-nissan +data MerkleBlock :: depth Std.U5 {- urn:ubideco:semid:3MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf#ground-volume-singer -} + , cofactor U16 + , crossSection [TreeNode ^ ..0xffffffff] , entropy U64? -data MerkleProof :: pos U16, path [MerkleNode] +-- urn:ubideco:semid:6kxYeCatpncbA9UiTdsFbxbxJdU56x6MdmTRkEeGAv6R#iceberg-rocket-velvet +data MerkleNode :: [Byte ^ 32] + +-- urn:ubideco:semid:9FbrjZLnMDfbrN9gEbWij5HNkxqAVaZBkoW2UvKdYw4B#canyon-exhibit-ravioli +data MerkleProof :: pos U32 + , cofactor U16 + , path [MerkleNode ^ ..0x20] + +-- urn:ubideco:semid:57jCv2LWrdn89GzuSYaH17f21N3su76uM2tEaG1dwwoT#russian-wedding-florida +data MerkleTree :: depth Std.U5 {- urn:ubideco:semid:3MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf#ground-volume-singer -} + , entropy U64 + , cofactor U16 + , messages {ProtocolId -> ^ ..0xffffff Message} + , map {U32 -> ^ ..0xffffff ProtocolId, Message} + +-- urn:ubideco:semid:4ajqScXjJ6wQ5af2zgBFzzP7k1qzD6DXXU28taQidCcA#shampoo-bishop-morgan +data Message :: [Byte ^ 32] + +-- urn:ubideco:semid:4GenVCt5Xq6xtnJDjT98FehgCS8rTmwEzbjwGkaUVjHz#gamma-banjo-corona +data ProtocolId :: [Byte ^ 32] + +-- urn:ubideco:semid:D7Q2eTnYyjN6gMZnZYrMG6gmRwmtnxyGLeqBbki8DFLv#greek-decimal-quiz +data TreeNode :: concealedNode (depth Std.U5 {- urn:ubideco:semid:3MDHMYsJt8d1gUiyx5vGCWcNLQ7biek6UTjHg3ksW4Bf#ground-volume-singer -}, hash MerkleNode) + | commitmentLeaf (protocolId ProtocolId, message Message) + ``` -`RGBContract.sty`, semantic lib id `scoop_ocean_contour_DizxAzKBUaXCUkEZDGQegfJXQeK5Nk4pK142eEkC1EBM`: +`RGBContract.sty`, semantic lib id `urn:ubideco:stl:6vbr9ZrtsD9aBjo5qRQ36QEZPVucqvRRjKCPqE8yPeJr#choice-little-boxer`: ```haskell -typelib RGBContract -- version v0.10.3-2023.05.13.A - -import circus_report_jeep_2bj6eDer24ZBSVq6JgQW2BrARt6vx56vMWzF35J45gzY as Bitcoin -import camel_product_float_9Y12p3rVHBiJh3TZUgup8kMtKggwNX5zPzWH9TgGRiwD as StdLib - -data BurnMeta :: reserves [ProofOfReserves] - -data IssueMeta :: reserves [ProofOfReserves] - -data Amount :: U64 - --- number of decimal fractions (decimal numbers after floating point) -data Precision :: indivisible:0 - | deci:1 - | centi:2 - | milli:3 - | deciMilli:4 - | centiMilli:5 - | micro:6 - | deciMicro:7 - | centiMicro:8 - | nano:9 - | deciNano:10 - | centiNano:11 - | pico:12 - | deciPico:13 - | centiPico:14 - | femto:15 - | deciFemto:16 - | centiFemto:17 - | atto:18 - -data Ticker :: [StdLib.AlphaCapsNum ^ 1..0x8] -data Name :: [StdLib.AsciiPrintable ^ 1..0x28] -data Details :: [Unicode ^ 1..0xff] +typelib RGBContract + +import urn:ubideco:stl:6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi#money-pardon-parody as Bitcoin +-- Imports: +-- Vout := urn:ubideco:semid:3HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk#chrome-robin-gallop +-- Txid := urn:ubideco:semid:C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs#cowboy-diego-betty +-- Outpoint := urn:ubideco:semid:GeFZHi1RYCrrcH1LG4Fo2SWW5M6KLJ8yvoGkFjRWZaA9#dinner-yoga-danube + +import urn:ubideco:stl:9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ#justice-rocket-type as Std +-- Imports: +-- AsciiPrintable := urn:ubideco:semid:mbH4meZSjxky12xHm9pg3rw8VoGxEa6rXtt6dAMZLbt#diet-oxford-window +-- AlphaCapsNum := urn:ubideco:semid:7U5NvJNf343ZzFXsqW2DBYtTSvrb3YdL6oxYd2BaMsVr#magnet-section-latin + + + +-- urn:ubideco:semid:AC2a15L721Fw1YSudEvyX7vr8XjPVn4bPUrRhmZS4oJj#burma-picasso-granite +data Amount :: U64 +-- urn:ubideco:semid:Ep3efqbERhgbus3JbSaKn3Lm9gWtya9xoGYbAjoQhXaB#heavy-public-hostel data AssetNaming :: ticker Ticker , name Name , details Details? -data DivisibleAssetSpec :: naming AssetNaming - , precision Precision +-- urn:ubideco:semid:9t5kYLUwTpWjwh9eHB1NU3obZnj3qeTZzpZdcfYiqAV4#flame-unicorn-fruit +data Attachment :: type MediaType, digest [Byte ^ 32] -data RicardianContract :: [Unicode] +-- urn:ubideco:semid:HtN246bWqDBKMgUJf7cKxERW9B2ostpVYPnAG2LVCKCX#gabriel-fiber-oregano +data BurnMeta :: burnProofs {ProofOfReserves} --- UNIX timestamp value able to cover dates after 2038 year -data Timestamp :: I64 +-- urn:ubideco:semid:tZLspSCzoPWcsyhL3Q9Tks45bGupxp9VRtvLzQfsBYS#symbol-medical-marion +data ContractData :: terms RicardianContract, media Attachment? + +-- urn:ubideco:semid:5Fb7RNdm2jWi7wndRaaU8Lwx76exafTvgQqt9owU9JwM#network-kayak-adam +data Details :: [Unicode ^ 1..0xff] -data MimeChar :: excl:33 | hash:35 | dollar:36 | amp:38 | plus:43 | dash:45 | dot:46 | zero:48 | one:49 | two:50 | three:51 | four:52 | five:53 | six:54 | seven:55 | eight:56 | nine:57 | caret:94 | lodash:95 | a:97 | b:98 | c:99 | d:100 | e:101 | f:102 | g:103 | h:104 | i:105 | j:106 | k:107 | l:108 | m:109 | n:110 | o:111 | p:112 | q:113 | r:114 | s:115 | t:116 | u:117 | v:118 | w:119 | x:120 | y:121 | z:122 +-- urn:ubideco:semid:3p1E6oqjmmGPMHh6H4G3BrQU3iuwr7XRmmytiixPp1oh#elvis-alex-letter +data DivisibleAssetSpec :: naming AssetNaming, precision Precision + +-- urn:ubideco:semid:5r9sYFUJy7Kd9FEZ1pe5v4BUPiy1Bg344pNPsENbb7X#alcohol-moral-needle +data IssueMeta :: reserves {ProofOfReserves} + +-- urn:ubideco:semid:Bn87eabCqLDccdn1qvtnaxtDrofnw1mBexxR8tSjkN7z#memphis-bicycle-roof data MediaRegName :: [MimeChar ^ 1..0x40] + +-- urn:ubideco:semid:AUJnh2sR5dxk1TQRtXr7vYVTorbG4Tiy4LY14eQp9yV2#robert-decide-dispute data MediaType :: type MediaRegName - -- Absence of subtype corresponds to `type/*` , subtype MediaRegName? , charset MediaRegName? - -- We do not support other parameters -data Attachment :: - type MediaType, - digest: [U8 ^ 32] -- this can be any type of 32-byte hash, like SHA256(d), BLACKE3 etc +-- urn:ubideco:semid:56Qs8Zfm2GAgewu9s7ffVb9xX6QiJhoDskxMhBoz723U#golf-antonio-courage +data MimeChar :: excl:33 | hash:35 | dollar:36 | amp:38 + | plus:43 | dash:45 | dot:46 | zero:48 + | one:49 | two:50 | three:51 | four:52 + | five:53 | six:54 | seven:55 | eight:56 + | nine:57 | caret:94 | lodash:95 | a:97 + | b:98 | c:99 | d:100 | e:101 + | f:102 | g:103 | h:104 | i:105 + | j:106 | k:107 | l:108 | m:109 + | n:110 | o:111 | p:112 | q:113 + | r:114 | s:115 | t:116 | u:117 + | v:118 | w:119 | x:120 | y:121 + | z:122 + +-- urn:ubideco:semid:6PbMuf2YBk8Ff4J15AZ1MBW8XbcAUsprYiF7QjusVrz7#crystal-visitor-tribune +data Name :: [Std.AsciiPrintable {- urn:ubideco:semid:mbH4meZSjxky12xHm9pg3rw8VoGxEa6rXtt6dAMZLbt#diet-oxford-window -} ^ 1..0x28] -data ContractData :: terms RicardianContract - , media Attachment? +-- urn:ubideco:semid:7G6FJPNejRtmGZP4NPXXHTTozzH4cwdrwrdkB3gziMa1#union-drum-public +data Precision :: indivisible:0 | deci:1 | centi:2 | milli:3 + | deciMilli:4 | centiMilli:5 | micro:6 | deciMicro:7 + | centiMicro:8 | nano:9 | deciNano:10 | centiNano:11 + | pico:12 | deciPico:13 | centiPico:14 | femto:15 + | deciFemto:16 | centiFemto:17 | atto:18 --- proof of reserves -data ProofOfReserves :: utxo Bitcoin.Outpoint - , proof [U8] +-- urn:ubideco:semid:zrXMtzeLgFy1NQd46y3CNb549tnukiuMEGJvqxRkyDW#liquid-owner-london +data ProofOfReserves :: utxo Bitcoin.Outpoint {- urn:ubideco:semid:GeFZHi1RYCrrcH1LG4Fo2SWW5M6KLJ8yvoGkFjRWZaA9#dinner-yoga-danube -}, proof [Byte] + +-- urn:ubideco:semid:2fnqF5VfphtEoAWWEXwqyAZwny3YhkbB5TAh4VpA5JxQ#bundle-turbo-verona +data RicardianContract :: [Unicode] + +-- urn:ubideco:semid:9dzjKz1d9KyoGnEg6WFSAKnWMaCpg1Lh7p66cmFXbH9e#mike-atlas-store +data Ticker :: [Std.AlphaCapsNum {- urn:ubideco:semid:7U5NvJNf343ZzFXsqW2DBYtTSvrb3YdL6oxYd2BaMsVr#magnet-section-latin -} ^ 1..0x8] + +-- urn:ubideco:semid:7eMrzgjRCf7EFcBBf6evAE75NTerkJ7tBdJAKqNfVGVs#suzuki-castle-saint +data Timestamp :: I64 ``` ### Work in progress for the next version