BP-WG · dr-orlovsky · Jul 12, 2023 · Jul 12, 2023
diff --git a/primitives/src/lib.rs b/primitives/src/lib.rs
@@ -65,13 +65,13 @@ pub const LIB_NAME_BITCOIN: &str = "Bitcoin";
 mod types {
  use std::fmt::{Formatter, LowerHex, UpperHex};
 
- use amplify::confinement::Confined;
+ use amplify::confinement::{Confined, U32};
  use amplify::hex::ToHex;
 
  use super::LIB_NAME_BITCOIN;
  use crate::opcodes::*;
 
- pub type VarIntArray<T> = Confined<Vec<T>, 0, { u64::MAX as usize }>;
+ pub type VarIntArray<T> = Confined<Vec<T>, 0, U32>;
 
  #[derive(
  Wrapper, WrapperMut, Clone, Ord, PartialOrd, Eq, PartialEq, Hash, Default, Debug, From

diff --git a/primitives/src/stl.rs b/primitives/src/stl.rs
@@ -24,7 +24,7 @@ use strict_types::{CompileError, LibBuilder, TypeLib};
 
 use crate::{Tx, LIB_NAME_BITCOIN};
 
-pub const LIB_ID_BITCOIN: &str = "extra_rapid_armada_EXDzvefCHMLgk4KXNvsXsDr2QzgPkxFFUCSEkL3S1ZJL";
+pub const LIB_ID_BITCOIN: &str = "race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi";
 
 fn _bitcoin_stl() -> Result<TypeLib, CompileError> {
  LibBuilder::new(libname!(LIB_NAME_BITCOIN), None)

diff --git a/src/stl.rs b/src/stl.rs
@@ -29,7 +29,7 @@ use strict_types::{CompileError, LibBuilder, TypeLib};
 
 /// Strict types id for the library providing data types from [`dbc`] and
 /// [`seals`] crates.
-pub const LIB_ID_BPCORE: &str = "caramel_shoe_cover_6gYqGfYk3ibDWHBTUkLxiRQQbvqSdshGD9QrdFG7zvx8";
+pub const LIB_ID_BPCORE: &str = "cave_gemini_diana_4y3ZcuioPk3mJdudgWiyLUPxCSC5QxVuV89TyKiF5Eqk";
 
 fn _bp_core_stl() -> Result<TypeLib, CompileError> {
  LibBuilder::new(libname!(LIB_NAME_BPCORE), tiny_bset! {

diff --git a/stl/[email protected] b/stl/[email protected]
@@ -1,20 +1,20 @@
 -----BEGIN STRICT TYPE LIB-----
-Id: caramel_shoe_cover_6gYqGfYk3ibDWHBTUkLxiRQQbvqSdshGD9QrdFG7zvx8
+Id: cave_gemini_diana_4y3ZcuioPk3mJdudgWiyLUPxCSC5QxVuV89TyKiF5Eqk
 Name: BPCore
 Dependencies: 
+ Bitcoin@race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi,
  CommitVerify@boris_flipper_plasma_84rW5A3J1fohf4NgkEDAWaf59mReY6GuJvycURm1aPV6,
- Std@lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ,
- Bitcoin@extra_rapid_armada_EXDzvefCHMLgk4KXNvsXsDr2QzgPkxFFUCSEkL3S1ZJL
+ Std@lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ
 
-BkJQQ29yZQNo/oWqxQPRAN7X8Qvv7+k5aDjgtqM0zSL/+wAU+eTenQxDb21taXRW
-ZXJpZnl7hIA8nvriESWnfCw5vHDS/ej5Q64N/Zz05oLtx2bKcANTdGTI5g1P1Bp6
-dFkQK9mzxQaDO9KOKO0p7suh+eiQDVqvfQdCaXRjb2luAwdCaXRjb2luBwAh4z5D
-xapc8iknU6M4wWftO2OcTdnOvamPNGkXuslDdQRWb3V0Mbuu6ISJd8WwBzFyMc2S
-9jC2KS3NiX/cut7FusTpf9kLVGFwTm9kZUhhc2hb5pqruCeuehagxl9y7oZ+Mn5j
-A5qo1RsXaloUELLiaQtTY3JpcHRCeXRlc6OCQvPL19HQoRLajeFgL1bU+G8OxMR2
-xcBoWUxLBGVWBFR4aWS2MwmpGL+2kg1uyFikJIcjRlppP3JDB7//Hdc6c4FOyQdM
-ZWFmVmVy2J0s+yNGJVx2h8TEbmc2mirrtn7CFL5zuLdndCSFNJAKTGVhZlNjcmlw
-dN/4ADyB/kf8VCOx0sbiDw3fqma9zPN9dBPJH2XaADyICkludGVybmFsUGsMQ29t
+BkJQQ29yZQNOToT0cBbJ5dJifL/D9Day3WzU0bmwRFv/Xu+CdnJ3VwdCaXRjb2lu
+aP6FqsUD0QDe1/EL7+/pOWg44LajNM0i//sAFPnk3p0MQ29tbWl0VmVyaWZ5e4SA
+PJ764hElp3wsObxw0v3o+UOuDf2c9OaC7cdmynADU3RkAwdCaXRjb2luBwAh4z5D
+xapc8iknU6M4wWftO2OcTdnOvamPNGkXuslDdQRWb3V0Jav1uRIUF7qjOdRfexV1
+p3FL4Xp1GF3QMTV61Mkt6YYLU2NyaXB0Qnl0ZXMxu67ohIl3xbAHMXIxzZL2MLYp
+Lc2Jf9y63sW6xOl/2QtUYXBOb2RlSGFzaF+s2W3lP07FFNmxjWeA2gqr6y0mC/03
+LaPAeqRdOZ9NCkxlYWZTY3JpcHSjgkLzy9fR0KES2o3hYC9W1PhvDsTEdsXAaFlM
+SwRlVgRUeGlktjMJqRi/tpINbshYpCSHI0ZaaT9yQwe//x3XOnOBTskHTGVhZlZl
+ct/4ADyB/kf8VCOx0sbiDw3fqma9zPN9dBPJH2XaADyICkludGVybmFsUGsMQ29t
 bWl0VmVyaWZ5BwAwlX7mHWE0WbsFCOThrz1qIb/W+/sdMYKneeVFdOBWsQpQcm90
 b2NvbElkNTepURXI6oXcUvergfJxZVEFJlOUQleviRPoe9SbsdMHTWVzc2FnZULF
 GsLNiIkRwDTnS2SnO9m9AucbTUghk+HZQVVfxTdrC01lcmtsZUJsb2NrS9qXoPsY
@@ -23,52 +23,52 @@ QVUk6KSZYFHTlIJD8ZT38ZFXI+nmCk1lcmtsZU5vZGWA/T104s1Rr+RbtC60yXg0
 bEQpt7maI6swqRsWaZRxhAtNZXJrbGVQcm9vZsu7H9dn+A6jR9rXfd7AM9xvuZ0B
 U4Va/+b/4miWdDClCFRyZWVOb2RlA1N0ZAEAoTHP5XeUUAFo4NmpHwcEk7tGqCfe
 /NiHyNf6fEN3efECVTQQAAhBbmNob3JJZAUBAAcAAEAgABFBbmNob3JNZXJrbGVC
-bG9jawYDBHR4aWQCyOYNT9QaenRZECvZs8UGgzvSjijtKe7LofnokA1ar32jgkLz
+bG9jawYDBHR4aWQCTk6E9HAWyeXSYny/w/Q2st1s1NG5sERb/17vgnZyd1ejgkLz
 y9fR0KES2o3hYC9W1PhvDsTEdsXAaFlMSwRlVghtcGNQcm9vZgJo/oWqxQPRAN7X
 8Qvv7+k5aDjgtqM0zSL/+wAU+eTenULFGsLNiIkRwDTnS2SnO9m9AucbTUghk+HZ
-QVVfxTdrCGRiY1Byb29mAdBJnvg60YXlq2aF9S3+k0tLnIiYhJjY2U4n3zmXsMiv
-EUFuY2hvck1lcmtsZVByb29mBgMEdHhpZALI5g1P1Bp6dFkQK9mzxQaDO9KOKO0p
-7suh+eiQDVqvfaOCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxLBGVWCG1wY1By
+QVVfxTdrCGRiY1Byb29mAapKxGjifpS21gMqlp26VvtdZYFcCXpQBHAl7YizA5S/
+EUFuY2hvck1lcmtsZVByb29mBgMEdHhpZAJOToT0cBbJ5dJifL/D9Day3WzU0bmw
+RFv/Xu+CdnJ3V6OCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxLBGVWCG1wY1By
 b29mAmj+harFA9EA3tfxC+/v6TloOOC2ozTNIv/7ABT55N6dgP09dOLNUa/kW7Qu
-tMl4NGxEKbe5miOrMKkbFmmUcYQIZGJjUHJvb2YB0Eme+DrRheWrZoX1Lf6TS0uc
-iJiEmNjZTiffOZewyK8QQW5jaG9yTWVya2xlVHJlZQYDBHR4aWQCyOYNT9QaenRZ
-ECvZs8UGgzvSjijtKe7LofnokA1ar32jgkLzy9fR0KES2o3hYC9W1PhvDsTEdsXA
+tMl4NGxEKbe5miOrMKkbFmmUcYQIZGJjUHJvb2YBqkrEaOJ+lLbWAyqWnbpW+11l
+gVwJelAEcCXtiLMDlL8QQW5jaG9yTWVya2xlVHJlZQYDBHR4aWQCTk6E9HAWyeXS
+Yny/w/Q2st1s1NG5sERb/17vgnZyd1ejgkLzy9fR0KES2o3hYC9W1PhvDsTEdsXA
 aFlMSwRlVghtcGNQcm9vZgJo/oWqxQPRAN7X8Qvv7+k5aDjgtqM0zSL/+wAU+eTe
-nUval6D7GLbTTvqXBz5kLOO4o7SP5Q0TTPJf1UrDJmDnCGRiY1Byb29mAdBJnvg6
-0YXlq2aF9S3+k0tLnIiYhJjY2U4n3zmXsMivDkJsaW5kU2VhbFR4UHRyBgQGbWV0
+nUval6D7GLbTTvqXBz5kLOO4o7SP5Q0TTPJf1UrDJmDnCGRiY1Byb29mAapKxGji
+fpS21gMqlp26VvtdZYFcCXpQBHAl7YizA5S/DkJsaW5kU2VhbFR4UHRyBgQGbWV0
 aG9kAdJSMHx9cZA19zB+6Cgl7BuBK6GH3Z2YSYtKjRb6btVDBHR4aWQBseU4ORQK
-OL7wbxrPvhxgpW/h4fR9eAgoeb/R+tMQId0Edm91dALI5g1P1Bp6dFkQK9mzxQaD
-O9KOKO0p7suh+eiQDVqvfSHjPkPFqlzyKSdTozjBZ+07Y5xN2c69qY80aRe6yUN1
+OL7wbxrPvhxgpW/h4fR9eAgoeb/R+tMQId0Edm91dAJOToT0cBbJ5dJifL/D9Day
+3WzU0bmwRFv/Xu+CdnJ3VyHjPkPFqlzyKSdTozjBZ+07Y5xN2c69qY80aRe6yUN1
 CGJsaW5kaW5nAAAIDUJsaW5kU2VhbFR4aWQGBAZtZXRob2QB0lIwfH1xkDX3MH7o
-KCXsG4EroYfdnZhJi0qNFvpu1UMEdHhpZALI5g1P1Bp6dFkQK9mzxQaDO9KOKO0p
-7suh+eiQDVqvfaOCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxLBGVWBHZvdXQC
-yOYNT9QaenRZECvZs8UGgzvSjijtKe7LofnokA1ar30h4z5Dxapc8iknU6M4wWft
+KCXsG4EroYfdnZhJi0qNFvpu1UMEdHhpZAJOToT0cBbJ5dJifL/D9Day3WzU0bmw
+RFv/Xu+CdnJ3V6OCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxLBGVWBHZvdXQC
+Tk6E9HAWyeXSYny/w/Q2st1s1NG5sERb/17vgnZyd1ch4z5Dxapc8iknU6M4wWft
 O2OcTdnOvamPNGkXuslDdQhibGluZGluZwAACAtDbG9zZU1ldGhvZAMCCm9wcmV0
 Rmlyc3QAC3RhcHJldEZpcnN0ARFFeHBsaWNpdFNlYWxUeFB0cgYDBm1ldGhvZAHS
 UjB8fXGQNfcwfugoJewbgSuhh92dmEmLSo0W+m7VQwR0eGlkAbHlODkUCji+8G8a
-z74cYKVv4eH0fXgIKHm/0frTECHdBHZvdXQCyOYNT9QaenRZECvZs8UGgzvSjijt
-Ke7LofnokA1ar30h4z5Dxapc8iknU6M4wWftO2OcTdnOvamPNGkXuslDdRBFeHBs
+z74cYKVv4eH0fXgIKHm/0frTECHdBHZvdXQCTk6E9HAWyeXSYny/w/Q2st1s1NG5
+sERb/17vgnZyd1ch4z5Dxapc8iknU6M4wWftO2OcTdnOvamPNGkXuslDdRBFeHBs
 aWNpdFNlYWxUeGlkBgMGbWV0aG9kAdJSMHx9cZA19zB+6Cgl7BuBK6GH3Z2YSYtK
-jRb6btVDBHR4aWQCyOYNT9QaenRZECvZs8UGgzvSjijtKe7LofnokA1ar32jgkLz
-y9fR0KES2o3hYC9W1PhvDsTEdsXAaFlMSwRlVgR2b3V0AsjmDU/UGnp0WRAr2bPF
-BoM70o4o7Snuy6H56JANWq99IeM+Q8WqXPIpJ1OjOMFn7TtjnE3Zzr2pjzRpF7rJ
-Q3UFUHJvb2YEAgAKb3ByZXRGaXJzdAAAAAELdGFwcmV0Rmlyc3QABQEByyejed/5
-9/qLbQK4/myCiCunPBRbw3DkSKqmlcWYhBcKU2VjcmV0U2VhbAUBAAcAAEAgABFU
-YXByZXROb2RlUGFydG5lcgQDAAhsZWZ0Tm9kZQAFAQLI5g1P1Bp6dFkQK9mzxQaD
-O9KOKO0p7suh+eiQDVqvfTG7ruiEiXfFsAcxcjHNkvYwtiktzYl/3LrexbrE6X/Z
-AQlyaWdodExlYWYABQECyOYNT9QaenRZECvZs8UGgzvSjijtKe7LofnokA1ar33Y
-nSz7I0YlXHaHxMRuZzaaKuu2fsIUvnO4t2d0JIU0kAILcmlnaHRCcmFuY2gABQEB
+jRb6btVDBHR4aWQCTk6E9HAWyeXSYny/w/Q2st1s1NG5sERb/17vgnZyd1ejgkLz
+y9fR0KES2o3hYC9W1PhvDsTEdsXAaFlMSwRlVgR2b3V0Ak5OhPRwFsnl0mJ8v8P0
+NrLdbNTRubBEW/9e74J2cndXIeM+Q8WqXPIpJ1OjOMFn7TtjnE3Zzr2pjzRpF7rJ
+Q3UFUHJvb2YEAgAKb3ByZXRGaXJzdAAAAAELdGFwcmV0Rmlyc3QABQEBGyc5NK5H
+VuHrx50i/fbG0qXZSO79Qa2pcwuGhQ73eTAKU2VjcmV0U2VhbAUBAAcAAEAgABFU
+YXByZXROb2RlUGFydG5lcgQDAAhsZWZ0Tm9kZQAFAQJOToT0cBbJ5dJifL/D9Day
+3WzU0bmwRFv/Xu+CdnJ3VzG7ruiEiXfFsAcxcjHNkvYwtiktzYl/3LrexbrE6X/Z
+AQlyaWdodExlYWYABQECTk6E9HAWyeXSYny/w/Q2st1s1NG5sERb/17vgnZyd1df
+rNlt5T9OxRTZsY1ngNoKq+stJgv9Ny2jwHqkXTmfTQILcmlnaHRCcmFuY2gABQEB
 OD9iLnFT0sghkTzLdx2fPWTfdvIoVVkt+EZDlBZNbQUPVGFwcmV0UGF0aFByb29m
-BgILcGFydG5lck5vZGUABAIABG5vbmUAAAABBHNvbWUABQEBwDIKWb85YAZhnKXv
-gXqEIgj3FbZYEAClVu1no0QekucFbm9uY2UAAAELVGFwcmV0UHJvb2YGAglwYXRo
-UHJvb2YB8JiaY36R0lc8VLTv21cM1UBlbNgoT0Ph7kIeMO/lpW8KaW50ZXJuYWxQ
-awLI5g1P1Bp6dFkQK9mzxQaDO9KOKO0p7suh+eiQDVqvfd/4ADyB/kf8VCOx0sbi
+BgILcGFydG5lck5vZGUABAIABG5vbmUAAAABBHNvbWUABQEBAXwHXQBASxaVmBsX
+w2Etxrjqrg1/cFlikhZ1WuUZkxEFbm9uY2UAAAELVGFwcmV0UHJvb2YGAglwYXRo
+UHJvb2YBE8RTUmYnu0QljDtn9MzCfv785Ce3z14P/YGPL3572HwKaW50ZXJuYWxQ
+awJOToT0cBbJ5dJifL/D9Day3WzU0bmwRFv/Xu+CdnJ3V9/4ADyB/kf8VCOx0sbi
 Dw3fqma9zPN9dBPJH2XaADyIEVRhcHJldFJpZ2h0QnJhbmNoBgIMbGVmdE5vZGVI
-YXNoAsjmDU/UGnp0WRAr2bPFBoM70o4o7Snuy6H56JANWq99Mbuu6ISJd8WwBzFy
-Mc2S9jC2KS3NiX/cut7FusTpf9kNcmlnaHROb2RlSGFzaALI5g1P1Bp6dFkQK9mz
-xQaDO9KOKO0p7suh+eiQDVqvfTG7ruiEiXfFsAcxcjHNkvYwtiktzYl/3LrexbrE
-6X/ZBVR4UHRyBAIACXdpdG5lc3NUeAAAAAEEdHhpZAAFAQLI5g1P1Bp6dFkQK9mz
-xQaDO9KOKO0p7suh+eiQDVqvfaOCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxL
+YXNoAk5OhPRwFsnl0mJ8v8P0NrLdbNTRubBEW/9e74J2cndXMbuu6ISJd8WwBzFy
+Mc2S9jC2KS3NiX/cut7FusTpf9kNcmlnaHROb2RlSGFzaAJOToT0cBbJ5dJifL/D
+9Day3WzU0bmwRFv/Xu+CdnJ3VzG7ruiEiXfFsAcxcjHNkvYwtiktzYl/3LrexbrE
+6X/ZBVR4UHRyBAIACXdpdG5lc3NUeAAAAAEEdHhpZAAFAQJOToT0cBbJ5dJifL/D
+9Day3WzU0bmwRFv/Xu+CdnJ3V6OCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxL
 BGVW
 
 -----END STRICT TYPE LIB-----

diff --git a/stl/[email protected] b/stl/[email protected]
diff --git a/stl/[email protected] b/stl/[email protected]
@@ -1,5 +1,5 @@
 {-
- Id: caramel_shoe_cover_6gYqGfYk3ibDWHBTUkLxiRQQbvqSdshGD9QrdFG7zvx8
+ Id: cave_gemini_diana_4y3ZcuioPk3mJdudgWiyLUPxCSC5QxVuV89TyKiF5Eqk
  Name: BPCore
  Version: 0.1.0
  Description: Bitcoin client-side-validation library
@@ -10,6 +10,16 @@
 
 typelib BPCore
 
+import race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi as Bitcoin
+-- Imports:
+-- Vout := OpusDecadeExample03HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk
+-- ScriptBytes := PeacePrinceTarget03Y4AgjkFbDusgo3YqRDWv9BznDeAJEUDEPeEq1mpSkAR
+-- TapNodeHash := LicenseSnowCorrect04M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC
+-- LeafScript := DilemmaLegendCitizen07SUbonQ62tSaBTPpbZPACQo2NogXodi2mW5WEEDfBvp4
+-- Txid := TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs
+-- LeafVer := ChessDisputeStock0DGELfUvcU62GNQRo7HaMbKDzYQwdYRMW3b91JHd4d3WY
+-- InternalPk := TeacherPearlHello0G5HFVaWwWNYSzqk548JgGZ8WKy6dQ2ftVgkJvHjgRudZ
+
 import boris_flipper_plasma_84rW5A3J1fohf4NgkEDAWaf59mReY6GuJvycURm1aPV6 as CommitVerify
 -- Imports:
 -- ProtocolId := IndigoBuenosFriday04GenVCt5Xq6xtnJDjT98FehgCS8rTmwEzbjwGkaUVjHz
@@ -24,16 +34,6 @@ import lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ as Std
 -- Imports:
 -- U4 := CaesarLolaToyota0BrEhDdRPrktqBgsNbgsmUagRz9b5n5csfbmif8Y7Bcc8
 
-import extra_rapid_armada_EXDzvefCHMLgk4KXNvsXsDr2QzgPkxFFUCSEkL3S1ZJL as Bitcoin
--- Imports:
--- Vout := OpusDecadeExample03HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk
--- TapNodeHash := LicenseSnowCorrect04M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC
--- ScriptBytes := BaronMaltaHarvest07Bk3nVFjGbpESsetWgLCcJ4Qh7cr4cMwucYYn6f6QUUQ
--- Txid := TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs
--- LeafVer := ChessDisputeStock0DGELfUvcU62GNQRo7HaMbKDzYQwdYRMW3b91JHd4d3WY
--- LeafScript := LuckyBonanzaYoga0Faa53VyN79gC1P6j5ud5gLSSyJjpzqNsHfbTwobRrLJb
--- InternalPk := TeacherPearlHello0G5HFVaWwWNYSzqk548JgGZ8WKy6dQ2ftVgkJvHjgRudZ
-
 
 
 -- AlmondFantasySelect0HXreMRXsXhE6goE2JsF8g9jy4rZ7p7AEeYmxYgfPF2tN
@@ -76,9 +76,9 @@ data Proof :: opretFirst ()
  | tapretFirst TapretProof
 -- VocalWinterMango081NKrdc9pBoBjsKaGBVN9wXLG4tKjkK4f8DLj7TNMZxh
 data SecretSeal :: [Byte ^ 32]
--- AlbertNurseSource0AXGtCWh9hJz7yZ9zX7Vfu6MawpshVPcqJMuaS23SuJKq
+-- DemandCheeseTwist03PZAAzvizihvnS1LB4QY3Ly3S2Va7Y4bt361mGcJ4qbp
 data TapretNodePartner :: leftNode Bitcoin.TapNodeHash {- LicenseSnowCorrect04M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC -}
- | rightLeaf Bitcoin.LeafScript {- LuckyBonanzaYoga0Faa53VyN79gC1P6j5ud5gLSSyJjpzqNsHfbTwobRrLJb -}
+ | rightLeaf Bitcoin.LeafScript {- DilemmaLegendCitizen07SUbonQ62tSaBTPpbZPACQo2NogXodi2mW5WEEDfBvp4 -}
  | rightBranch TapretRightBranch
 -- NylonUraniumRebel0BPYcTtbxvzWp8h7SMapT14FzLCnrnGzSShHTWGHCSD4C
 data TapretPathProof :: partnerNode TapretNodePartner?, nonce U8

diff --git a/stl/[email protected] b/stl/[email protected]
@@ -1,26 +1,26 @@
 -----BEGIN STRICT TYPE LIB-----
-Id: extra_rapid_armada_EXDzvefCHMLgk4KXNvsXsDr2QzgPkxFFUCSEkL3S1ZJL
+Id: race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi
 Name: Bitcoin
 Dependencies: ~
 
 B0JpdGNvaW4AAA4ACExvY2tUaW1lBQEAAAQIT3V0cG9pbnQGAgR0eGlkAaOCQvPL
 19HQoRLajeFgL1bU+G8OxMR2xcBoWUxLBGVWBHZvdXQBIeM+Q8WqXPIpJ1OjOMFn
 7TtjnE3Zzr2pjzRpF7rJQ3UEU2F0cwUBAAAIC1NjcmlwdEJ5dGVzBQEACAAAQAAA
-AAAAAAAA//////////8MU2NyaXB0UHVia2V5BQEBW+aaq7gnrnoWoMZfcu6GfjJ+
-YwOaqNUbF2paFBCy4mkFU2VxTm8FAQAABAlTaWdTY3JpcHQFAQFb5pqruCeuehag
-xl9y7oZ+Mn5jA5qo1RsXaloUELLiaQJUeAYEB3ZlcnNpb24BqHzGeWRn5VfXROXJ
-YjrgDMuV2RoNLwPfdMB1Ek++x54GaW5wdXRzAAgBenuPSQJcr60TcPkKSwu3gCjE
-F1IThMA5tAk4Z2jtkRQAAAAAAAAAAP//////////B291dHB1dHMACAFl65E8F+fg
-PZuxxhUpOwha3hURp7ocazAWCjNyIjGhCgAAAAAAAAAA//////////8IbG9ja1Rp
+AAAAAAAA/////wAAAAAMU2NyaXB0UHVia2V5BQEBJav1uRIUF7qjOdRfexV1p3FL
+4Xp1GF3QMTV61Mkt6YYFU2VxTm8FAQAABAlTaWdTY3JpcHQFAQElq/W5EhQXuqM5
+1F97FXWncUvhenUYXdAxNXrUyS3phgJUeAYEB3ZlcnNpb24BqHzGeWRn5VfXROXJ
+YjrgDMuV2RoNLwPfdMB1Ek++x54GaW5wdXRzAAgBGUctF9hiB6cPITGpWKFopW4q
+1lM/nGZMGXfaXPn+YoYAAAAAAAAAAP////8AAAAAB291dHB1dHMACAGQO2RweYSP
+GyZTKuTOxqaJRKBTWLjwgcsms7v4LZ478wAAAAAAAAAA/////wAAAAAIbG9ja1Rp
 bWUBNdodFTkgbrvd3KTDPYcx6vKbp9p03z3IgiAcTha1uRwEVHhJbgYECnByZXZP
 dXRwdXQB6GpAzVwl+b3ihP9ppREyp0ErIVW9DlYSwb/jhJVgxQYJc2lnU2NyaXB0
-AcuyYcCQeb6l94gA10f+tfjAJOLAT3P5RbRoBo3xQ+yUCHNlcXVlbmNlAQEZbYUp
-yPbaRE0VTo2cjL2eD42JAlo7sJEhxj1SsB6HB3dpdG5lc3MB75t1lox9jWkF8Xxp
-IGHW6ToqvoJI5qcLCGei3/6E+yUFVHhPdXQGAgV2YWx1ZQGX9dcGQq4qM5IlO6hO
-Hc7Ek+O/PtNxsYdzhjVOzIiCawxzY3JpcHRQdWJrZXkByulWRaya6PsYkkINHItG
-wiCqxkzm3IJYhm+jZa6kkEMFVHhWZXIFAQAARARUeGlkBQEABwAAQCAABFZvdXQF
-AQAABAdXaXRuZXNzBQEACAAIAABAAAAAAAAAAAD//////////wAAAAAAAAAA////
-//////8=
+ATh1BLFLfA5GbUeeF0d9JHQkf/gDZOw9S6r3OiD3QXRrCHNlcXVlbmNlAQEZbYUp
+yPbaRE0VTo2cjL2eD42JAlo7sJEhxj1SsB6HB3dpdG5lc3MBc3dDcDaTIEnNKJUI
+qnF844KdskUuVehO1PwuPM0uAJ0FVHhPdXQGAgV2YWx1ZQGX9dcGQq4qM5IlO6hO
+Hc7Ek+O/PtNxsYdzhjVOzIiCawxzY3JpcHRQdWJrZXkBvvwe/GalGf1kUmo6E4dA
+5/EQLQu+/zrBRk7z90B2dFwFVHhWZXIFAQAARARUeGlkBQEABwAAQCAABFZvdXQF
+AQAABAdXaXRuZXNzBQEACAAIAABAAAAAAAAAAAD/////AAAAAAAAAAAAAAAA////
+/wAAAAA=
 
 -----END STRICT TYPE LIB-----
 
diff --git a/stl/[email protected] b/stl/[email protected]
diff --git a/stl/[email protected] b/stl/[email protected]
@@ -1,5 +1,5 @@
 {-
- Id: extra_rapid_armada_EXDzvefCHMLgk4KXNvsXsDr2QzgPkxFFUCSEkL3S1ZJL
+ Id: race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi
  Name: Bitcoin
  Version: 0.1.0
  Description: Consensus layer for bitcoin protocol
@@ -18,18 +18,18 @@ data LockTime :: U32
 data Outpoint :: txid Txid, vout Vout
 -- TomatoMixerAnita0BEBz6h7AGjYSDRCxVHnjYkkkxzBsjN3EvyNiD4ZrzmRL
 data Sats :: U64
--- BaronMaltaHarvest07Bk3nVFjGbpESsetWgLCcJ4Qh7cr4cMwucYYn6f6QUUQ
-data ScriptBytes :: [Byte ^ ..0xffffffffffffffff]
+-- PeacePrinceTarget03Y4AgjkFbDusgo3YqRDWv9BznDeAJEUDEPeEq1mpSkAR
+data ScriptBytes :: [Byte ^ ..0xffffffff]
 -- GolfAgathaTonight02ZAYpWKB2BQxeXXjpQDpYGZ7eXFM9qQxN9TcdTiQqeB8
 data ScriptPubkey :: ScriptBytes
 -- MeaningAladdinSaturn05HtymNhYBhjqPkLLw9QVWZ62cLm57cZxgQTDUBBXtmL
 data SeqNo :: U32
 -- OscarHopeCeltic02gTMqAC393rBSGtBhDn8sJq3F3HtDosbqKDQTw9bHFyT
 data SigScript :: ScriptBytes
--- BeyondDanielDispute04WmoLn9K9HwxJ2zuYHe9mmxT3SkRHUFGvh7baBjSEsUy
+-- MadonnaFlagCake0DynChojW1sfr8VjSoZbmReHhZoU8u9KCiuwijgEGdToe
 data Tx :: version TxVer
- , inputs [TxIn ^ ..0xffffffffffffffff]
- , outputs [TxOut ^ ..0xffffffffffffffff]
+ , inputs [TxIn ^ ..0xffffffff]
+ , outputs [TxOut ^ ..0xffffffff]
  , lockTime LockTime
 -- TrinityClientInside09Nf4Vvt3im8tFQSGzPWKfjfhsrkB8bf2XsLWfzywiFSv
 data TxIn :: prevOutput Outpoint
@@ -44,6 +44,6 @@ data TxVer :: I32
 data Txid :: [Byte ^ 32]
 -- OpusDecadeExample03HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk
 data Vout :: U32
--- DemoRetroSoda0H8KvsRjBS4XbQoA1bRYmJR4S6bX6mBjKGw3Nfj7dMS5S
-data Witness :: [[Byte ^ ..0xffffffffffffffff] ^ ..0xffffffffffffffff]
+-- MoralKoreaCastro08mjN2CZj3Nhn2HjnKqTmEcN5vmyb3UJK8HSFW1uE3W2p
+data Witness :: [[Byte ^ ..0xffffffff] ^ ..0xffffffff]