@layerzerolabs/layerzero-v2-ton 3.0.59 → 3.0.60

package/src/funC++/dataStructures/DeterministicInsertionCircularQueue.fc

@@ -10,7 +10,7 @@ const int DeterministicInsertionCircularQueue::invalidKey = -1;
 const int DeterministicInsertionCircularQueue::invalidStatus = -1;
 const int DeterministicInsertionCircularQueue::ERROR::invalidObject = 1185;
 
-cell DeterministicInsertionCircularQueue::_buildLevel(int level, cell initialContents) inline {
+cell DeterministicInsertionCircularQueue::_buildLevel(int level, cell initialContents) impure inline {
     if (level == 0) {
         return begin_cell()
             .store_ref(initialContents)
@@ -32,7 +32,7 @@ cell DeterministicInsertionCircularQueue::_buildLevel(int level, cell initialCon
 ;; Given a well-formed commit_verification_queue
 ;; get the content of the queue at a given relative nonce
 ;; (actual key, entry, status, exists)
-(int, cell, int, int) DeterministicInsertionCircularQueue::get(cell self, int key) inline {
+(int, cell, int, int) DeterministicInsertionCircularQueue::get(cell self, int key) impure inline {
     int position = key % MAX_CELL_BITS;
 
     slice commitSlice = self
@@ -67,7 +67,7 @@ cell DeterministicInsertionCircularQueue::_buildLevel(int level, cell initialCon
     );
 }
 
-cell DeterministicInsertionCircularQueue::_setRaw(cell self, int key, cell newLeaf) inline {
+cell DeterministicInsertionCircularQueue::_setRaw(cell self, int key, cell newLeaf) impure inline {
     int slot = key % MAX_CELL_BITS;
     slice queueSlice = self.begin_parse();
     int l0_idx = slot / 256;
@@ -115,7 +115,7 @@ cell DeterministicInsertionCircularQueue::_setRaw(cell self, int key, cell newLe
 }
 
 ;; self
-cell DeterministicInsertionCircularQueue::set(cell self, int key, cell $obj, int newState) inline {
+cell DeterministicInsertionCircularQueue::set(cell self, int key, cell $obj, int newState) impure inline {
     return DeterministicInsertionCircularQueue::_setRaw(
         self,
         key,
@@ -128,7 +128,7 @@ cell DeterministicInsertionCircularQueue::set(cell self, int key, cell $obj, int
     );
 }
 
-cell DeterministicInsertionCircularQueue::delete(cell self, int key) inline {
+cell DeterministicInsertionCircularQueue::delete(cell self, int key) impure inline {
     return DeterministicInsertionCircularQueue::_setRaw(
         self,
         key,
@@ -141,7 +141,7 @@ cell DeterministicInsertionCircularQueue::delete(cell self, int key) inline {
     );
 }
 
-cell DeterministicInsertionCircularQueue::create() method_id {
+cell DeterministicInsertionCircularQueue::create() impure method_id {
     ;; ceil(log4(MAX_CELL_BITS)) == 4
     ;; build the initial contents of each leaf in the outer scope to save gas
     cell initialContents = begin_cell()

package/src/funC++/stringlib.fc

@@ -7,26 +7,26 @@ const int ASCII_ZERO = 48;
 const int ASCII_MASK = 0x1313131313131313131313131313131313131313131313131313131313131313;
 const int ASCII_A = 65;
 
-slice str::asciiUint256ToStr(int asciiUint256) {
+slice str::asciiUint256ToStr(int asciiUint256) impure {
     int leading_zeroes = _SDCNTLEAD0(begin_cell().store_uint256(asciiUint256).end_cell().begin_parse());
     int trailing_bits = 256 - leading_zeroes;
     int mask = POW2(trailing_bits) - 1;
     return begin_cell().store_uint256(asciiUint256 | (ASCII_MASK & (~ mask))).end_cell().begin_parse();
 }
 
-(slice, ()) ~str::concat(slice self, slice other) {
+(slice, ()) ~str::concat(slice self, slice other) impure {
     if(self.slice_bits() + other.slice_bits() > 127 * MAX_U8) {
         throwError("Cannot concatenate: string too long");
     }
     return (begin_cell().store_slice(self).store_slice(other).end_cell().begin_parse(), ());
 }
 
-slice str::concat(slice self, slice other) {
+slice str::concat(slice self, slice other) impure {
     self~str::concat(other);
     return self;
 }
 
-(slice, ()) ~str::concatInt(slice self, int val) {
+(slice, ()) ~str::concatInt(slice self, int val) impure {
     slice intSlice = empty_slice();
     if (val < 0) {
         self~str::concat("-");
@@ -42,12 +42,12 @@ slice str::concat(slice self, slice other) {
     return (self.str::concat(intSlice), ());
 }
 
-slice str::concatInt(slice self, int val) {
+slice str::concatInt(slice self, int val) impure {
     self~str::concatInt(val);
     return self;
 }
 
-(slice, ()) ~str::concatHex(slice self, int val) {
+(slice, ()) ~str::concatHex(slice self, int val) impure {
     slice hexSlice = empty_slice();
     if (val == 0) {
         hexSlice~str::concat(begin_cell().store_uint8(ASCII_ZERO).end_cell().begin_parse());
@@ -63,7 +63,7 @@ slice str::concatInt(slice self, int val) {
     return (self.str::concat(hexSlice), ());
 }
 
-slice str::concatHex(slice self, int val) {
+slice str::concatHex(slice self, int val) impure {
     self~str::concatHex(val);
     return self;
 }

package/src/funC++/txnContext.fc

@@ -15,39 +15,39 @@ const int _ORIGIN = 9;
 const int _DONATION_NANOS = 10;
 const int _MD = 11;
 
-int getMsgValue() inline {
+int getMsgValue() impure inline {
     return txnContext.int_at(_MSG_VALUE);
 }
 
-int getOpcode() inline {
+int getOpcode() impure inline {
     return txnContext.int_at(_OPCODE);
 }
 
-int txnIsBounced() inline {
+int txnIsBounced() impure inline {
     return txnContext.int_at(_IS_BOUNCED);
 }
 
-int getContractBalance() inline {
+int getContractBalance() impure inline {
     return txnContext.int_at(_BALANCE);
 }
 
-int getInitialContractBalance() inline {
+int getInitialContractBalance() impure inline {
     return getContractBalance() - getMsgValue();
 }
 
-int getCaller() inline {
+int getCaller() impure inline {
     return txnContext.int_at(_CALLER);
 }
 
-int getOrigin() inline {
+int getOrigin() impure inline {
     return txnContext.int_at(_ORIGIN);
 }
 
-slice getOriginStd() inline {
+slice getOriginStd() impure inline {
     return hashpartToBasechainAddressStd(getOrigin());
 }
 
-int getDonationNanos() inline {
+int getDonationNanos() impure inline {
     return txnContext.int_at(_DONATION_NANOS);
 }
 
@@ -55,7 +55,7 @@ int getDonationNanos() inline {
     txnContext~tset(_DONATION_NANOS, nanos);
 }
 
-cell getMsgData() inline {
+cell getMsgData() impure inline {
     return txnContext.cell_at(_MD);
 }
 

package/src/funC++/utils.fc

@@ -47,7 +47,7 @@ forall X -> (tuple, X) tpop(tuple t) asm "TPOP";
 int tlen(tuple t) asm "TLEN";
 int keccak256Builder(builder b) asm "1 PUSHINT HASHEXT_KECCAK256";
 
-int cell_is_empty(cell c) inline {
+int cell_is_empty(cell c) impure inline {
     return c.cell_hash() == 68134197439415885698044414435951397869210496020759160419881882418413283430343;
 }
 
@@ -92,7 +92,7 @@ int POW2(int y) asm "POW2";
     return (cellsCount, bitsCount);
 }
 
-int calculateStorageFees(int cellsCount, int bitsCount, int timeDelta) inline {
+int calculateStorageFees(int cellsCount, int bitsCount, int timeDelta) impure inline {
     return get_storage_fee(BASECHAIN, timeDelta, bitsCount, cellsCount);
 }
 
@@ -124,7 +124,7 @@ int treeShapeEqual(cell lhs, cell rhs) inline {
 
 int _globvarIsNull(int idx) impure asm "GETGLOBVAR ISNULL";
 
-int _gasToNanoton(int gas) inline {
+int _gasToNanoton(int gas) impure inline {
     return get_compute_fee(false, gas);
 }
 
@@ -188,13 +188,13 @@ int _gasToNanoton(int gas) inline {
 }
 
 ;;; ====================== Address functions ======================
-int basechainAddressStdToHashpart(slice full_address) inline {
+int basechainAddressStdToHashpart(slice full_address) impure inline {
     (int wc, int hp) = parseStdAddress(full_address);
     throw_if(ERROR::WrongWorkchain, wc != BASECHAIN);
     return hp;
 }
 
-slice hashpartToBasechainAddressStd(int hashpart) inline {
+slice hashpartToBasechainAddressStd(int hashpart) impure inline {
     return begin_cell()
         .store_uint(4, 3) ;; 0b100
         .store_int(BASECHAIN, 8)

package/src/protocol/channel/handler.fc

@@ -51,11 +51,11 @@ int _getEventSink() inline {
 ;; that stores a mapping from requestId => hash of LzSend object.
 ;; {_build, _read}SendRequestQueueEntry functions are helper functions that
 ;; serialize and deserialize the 256-bit hash that is stored in the DICQueue
-cell _buildSendRequestQueueEntry(cell $lzSend) inline method_id {
+cell _buildSendRequestQueueEntry(cell $lzSend) impure inline method_id {
     return begin_cell().store_uint256($lzSend.cl::hash()).end_cell();
 }
 
-int _readSendRequestQueueEntry(cell contents) inline method_id {
+int _readSendRequestQueueEntry(cell contents) impure inline method_id {
     if (contents.is_null()) {
         return 0;
     } elseif (contents.cell_is_empty()) {
@@ -857,7 +857,7 @@ tuple lzReceiveExecuteCallback(cell $lzReceiveStatus) impure inline method_id {
             $mockPacket,
             $mockEpConfigDefaults, ;; this is completely ignored if useDefaults is false
             $epConfigOApp.cl::get<bool>(lz::EpConfig::isNull)
-                ? $mockEpConfigDefaults.cl::get<address>(lz::EpConfig::receiveMsglibConnection)
+                ? $mockEpConfigDefaults.cl::get<address>(lz::ReceiveEpConfig::receiveMsglibConnection)
                 : $epConfigOApp.cl::get<address>(lz::EpConfig::receiveMsglibConnection)
         )
     );

package/src/protocol/channel/storage.fc

@@ -35,7 +35,7 @@ const int Channel::executionQueue = 9;
 const int Channel::zroBalance = 10;
 
 ;; @owner manager
-cell Channel::New(int owner, cell $path, int endpointAddress) inline method_id {
+cell Channel::New(int owner, cell $path, int endpointAddress) impure inline method_id {
     return cl::declare(
         Channel::NAME,
         unsafeTuple([

package/src/protocol/controller/handler.fc

@@ -234,6 +234,8 @@ tuple deployChannel(cell $deploy) impure inline method_id {
 tuple setEpConfigDefaults(cell $mdEid) impure inline method_id {
     (_, tuple actions) = preamble();
 
+    $mdEid = $mdEid.md::MdEid::sanitize();
+
     int dstEid = $mdEid.cl::get<uint32>(md::MdEid::eid);
     cell $sanitizedSetEpConfig = $mdEid.cl::get<objRef>(md::MdEid::md).md::SetEpConfig::sanitize();
 

package/src/protocol/controller/storage.fc

@@ -16,7 +16,7 @@ const int Controller::zroWallet = 4;
 const int Controller::tentativeOwner = 5;
 
 ;; @owner Protocol admin EOA
-cell Controller::New(int owner, int eid, cell endpointCode, cell channelCode) method_id {
+cell Controller::New(int owner, int eid, cell endpointCode, cell channelCode) impure method_id {
     return cl::declare(
         Controller::NAME,
         unsafeTuple([

package/src/protocol/core/baseStorage.fc

@@ -20,7 +20,7 @@ const int BaseStorage::initialStorage = 3;
 ;; a context-free way to refer to the two ends of the channel.
 ;; The direction is inferred by the context of the contract (send vs receive).
 ;; The srcOApp is the 256-bit hashpart of a standard address.
-cell BaseStorage::New(int owner) inline method_id {
+cell BaseStorage::New(int owner) impure inline method_id {
     return cl::declare(
         BaseStorage::NAME,
         unsafeTuple([

package/src/protocol/endpoint/handler.fc

@@ -56,7 +56,7 @@
 }
 
 ;; Derive the channel address for a given path
-int _getChannelAddress(cell $storage, cell $path) inline method_id {
+int _getChannelAddress(cell $storage, cell $path) impure inline method_id {
     return computeContractAddress(
         $storage
             .Endpoint::getChannelStorageInit()
@@ -74,7 +74,7 @@ int _getChannelAddressUnpacked(cell $channelStorage, cell channelCode, cell $pat
 
 ;; resolve manager addresses into msglib addresses
 ;; throws if the msglib manager is not registered or resolved
-cell _getEpConfigFromManagerAddresses(cell $setEpConfigMd, cell $path) inline method_id {
+cell _getEpConfigFromManagerAddresses(cell $setEpConfigMd, cell $path) impure inline method_id {
     int sendMsglibManager = $setEpConfigMd.cl::get<address>(md::SetEpConfig::sendMsglibManager);
     (int sendMsglib, int sendMsglibConnection) = _msglibManagerToShards(
         sendMsglibManager,
@@ -122,7 +122,7 @@ cell _getEpConfigFromManagerAddresses(cell $setEpConfigMd, cell $path) inline me
     );
 }
 
-(int, int) getSendMsglibAndConnectionDefaults(cell $storage, cell $path) inline method_id {
+(int, int) getSendMsglibAndConnectionDefaults(cell $storage, cell $path) impure inline method_id {
     return _getMsglibAndConnectionDefaults(
         $storage.Endpoint::getDefaultSendLibInfo(), 
         $path
@@ -136,7 +136,7 @@ cell _getEpConfigFromManagerAddresses(cell $setEpConfigMd, cell $path) inline me
     );
 }
 
-(int, int) getTimeoutReceiveMsglibAndConnectionDefaults(cell $storage, cell $path) inline method_id {
+(int, int) getTimeoutReceiveMsglibAndConnectionDefaults(cell $storage, cell $path) impure inline method_id {
     return _getMsglibAndConnectionDefaults(
         $storage.Endpoint::getDefaultTimeoutReceiveLibInfo(), 
         $path

package/src/protocol/msglibs/BytesDecoder.fc

@@ -5,7 +5,7 @@ const int BytesDecoder::ERROR::malformedOptions = 1122;
 const int BytesDecoder::ERROR::malformedArray = 1123;
 
 ;; n_bytes should be <= 32
-(slice, int) BytesDecoder::loadBytes(slice decoder, int nBytes) inline method_id {
+(slice, int) BytesDecoder::loadBytes(slice decoder, int nBytes) impure inline method_id {
     int sliceBits = decoder.slice_bits();
     if ((decoder.slice_refs() > 1) | (sliceBits % 8 != 0)) {
         throw(BytesDecoder::ERROR::malformedOptions);
@@ -79,7 +79,7 @@ cell BytesDecoder::compactRemainder(slice data) impure inline {
 }
 
 ;; returns (optionType, option, optionsTail)
-(int, cell, cell) BytesDecoder::nextOption(cell options) inline {
+(int, cell, cell) BytesDecoder::nextOption(cell options) impure inline {
     slice parsingOptions = options.begin_parse();
     (parsingOptions, int executorId) = BytesDecoder::loadBytes(parsingOptions, 1);
     (parsingOptions, int optionSizeInBytes) = BytesDecoder::loadBytes(parsingOptions, 2);
@@ -93,7 +93,7 @@ cell BytesDecoder::compactRemainder(slice data) impure inline {
 }
 
 ;; (gas, value)
-(int, int) BytesDecoder::decode<LzReceiveOption>(cell option) inline {
+(int, int) BytesDecoder::decode<LzReceiveOption>(cell option) impure inline {
     slice optionSlice = option.begin_parse();
     int optionSizeInBytes = optionSlice.slice_bits() / 8;
     if ((optionSizeInBytes != 16) & (optionSizeInBytes != 32)) {
@@ -106,7 +106,7 @@ cell BytesDecoder::compactRemainder(slice data) impure inline {
 }
 
 ;; (amount, receiver)
-(int, int) BytesDecoder::decode<NativeDropOption>(cell option) inline {
+(int, int) BytesDecoder::decode<NativeDropOption>(cell option) impure inline {
     slice parsingOption = option.begin_parse();
     int optionBytes = parsingOption.slice_bits() * 8;
     throw_unless(BytesDecoder::ERROR::invalidOptionSize, optionBytes == (32 + 16));
@@ -117,7 +117,7 @@ cell BytesDecoder::compactRemainder(slice data) impure inline {
 }
 
 ;; returns lz::Packet
-cell BytesDecoder::decode<PacketV1>(cell encodedPacket) inline method_id {
+cell BytesDecoder::decode<PacketV1>(cell encodedPacket) impure inline method_id {
     slice parsingPacket = encodedPacket.begin_parse();
     (parsingPacket, int packetVersion) = BytesDecoder::loadBytes(parsingPacket, 1);
     (parsingPacket, int nonce) = BytesDecoder::loadBytes(parsingPacket, 8);

package/src/protocol/msglibs/BytesEncoder.fc

@@ -105,31 +105,31 @@ cell BytesEncoder::serialize(tuple self) impure inline {
     return secondLast.store_ref(last.end_cell()).end_cell();
 }
 
-tuple BytesEncoder::feed<uint8>(tuple self, int data) inline {
+tuple BytesEncoder::feed<uint8>(tuple self, int data) impure inline {
     return self.BytesEncoder::feed(begin_cell().store_uint8(data).as_slice());
 }
 
-tuple BytesEncoder::feed<uint16>(tuple self, int data) inline {
+tuple BytesEncoder::feed<uint16>(tuple self, int data) impure inline {
     return self.BytesEncoder::feed(begin_cell().store_uint16(data).as_slice());
 }
 
-tuple BytesEncoder::feed<uint32>(tuple self, int data) inline {
+tuple BytesEncoder::feed<uint32>(tuple self, int data) impure inline {
     return self.BytesEncoder::feed(begin_cell().store_uint32(data).as_slice());
 }
 
-tuple BytesEncoder::feed<uint64>(tuple self, int data) inline {
+tuple BytesEncoder::feed<uint64>(tuple self, int data) impure inline {
     return self.BytesEncoder::feed(begin_cell().store_uint64(data).as_slice());
 }
 
-tuple BytesEncoder::feed<coins>(tuple self, int data) inline {
+tuple BytesEncoder::feed<coins>(tuple self, int data) impure inline {
     return self.BytesEncoder::feed(begin_cell().store_uint128(data).as_slice());
 }
 
-tuple BytesEncoder::feed<uint256>(tuple self, int data) inline {
+tuple BytesEncoder::feed<uint256>(tuple self, int data) impure inline {
     return self.BytesEncoder::feed(begin_cell().store_uint256(data).as_slice());
 }
 
-tuple BytesEncoder::feed<cellRef>(tuple self, cell data) inline {
+tuple BytesEncoder::feed<cellRef>(tuple self, cell data) impure inline {
     return self.BytesEncoder::feed(data.begin_parse());
 }
 

package/src/protocol/msglibs/ultralightnode/msgdata/Attestation.fc

@@ -13,7 +13,7 @@ const int ULN_ATTESTATION_REFS = 0;
 ;; the attestation is parseable by classlib
 const int lz::Attestation::leading16Bytes = 0x417474657374815ED897BFFF;
 
-cell lz::Attestation::New(int hash, int confirmations) inline method_id {
+cell lz::Attestation::New(int hash, int confirmations) impure inline method_id {
     return cl::declare(
         lz::Attestation::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/DvnFeesPaidEvent.fc

@@ -14,7 +14,7 @@ cell DvnFeesPaidEvent::New(
     cell requiredDVNs,
     cell optionalDVNs,
     cell serializedPayees
-) inline method_id {
+) impure inline method_id {
     return cl::declare(
         DvnFeesPaidEvent::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/ExecutorFeePaidEvent.fc

@@ -12,7 +12,7 @@ const int ExecutorFeePaidEvent::feePaid = 1;
 cell ExecutorFeePaidEvent::New(
     int executorAddress,
     int feePaid
-) inline method_id {
+) impure inline method_id {
     return cl::declare(
         ExecutorFeePaidEvent::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/InitUln.fc

@@ -7,7 +7,7 @@ const int md::InitUln::NAME = "initUln"u;
 const int md::InitUln::connectionCode = 0;
 const int md::InitUln::treasuryFeeBps = 1;
 
-cell md::InitUln::New(cell connectionCode, int treasuryFeeBps) inline method_id {
+cell md::InitUln::New(cell connectionCode, int treasuryFeeBps) impure inline method_id {
     return cl::declare(
         md::InitUln::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/InitUlnConnection.fc

@@ -17,7 +17,7 @@ cell md::InitUlnConnection::New(
     cell $ulnReceiveConfigOApp,
     int endpointAddress,
     int channelAddress
-) inline method_id {
+) impure inline method_id {
     return cl::declare(
         md::InitUlnConnection::NAME,
         unsafeTuple([
@@ -32,7 +32,7 @@ cell md::InitUlnConnection::New(
 cell md::InitUlnConnection::NewOnlyConfig(
     cell $ulnSendConfigOApp,
     cell $ulnReceiveConfigOApp
-) inline method_id {
+) impure inline method_id {
     return md::InitUlnConnection::New(
         $ulnSendConfigOApp,
         $ulnReceiveConfigOApp,

package/src/protocol/msglibs/ultralightnode/msgdata/InitUlnManager.fc

@@ -7,7 +7,7 @@ const int md::InitUlnManager::NAME = "InitUlnMgr"u;
 const int md::InitUlnManager::endpointCode = 0;
 const int md::InitUlnManager::channelCode = 1;
 
-cell md::InitUlnManager::New(cell endpointCode, cell channelCode) inline method_id {
+cell md::InitUlnManager::New(cell endpointCode, cell channelCode) impure inline method_id {
     return cl::declare(
         md::InitUlnManager::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/RentRefill.fc

@@ -7,7 +7,7 @@ const int md::RentRefill::NAME = "RentRefill"u;
 const int md::RentRefill::address = 0;
 const int md::RentRefill::amount = 1;
 
-cell md::RentRefill::New(int address, int amount) inline method_id {
+cell md::RentRefill::New(int address, int amount) impure inline method_id {
     return cl::declare(
         md::RentRefill::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/SetAdminWorkerAddresses.fc

@@ -8,7 +8,7 @@ const int md::SetAdminWorkerAddresses::NAME = "adminwork"u;
 ;; AddressList
 const int md::SetAdminWorkerAddresses::adminWorkers = 0;
 
-cell md::SetAdminWorkerAddresses::New(cell adminWorkers) inline method_id {
+cell md::SetAdminWorkerAddresses::New(cell adminWorkers) impure inline method_id {
     return cl::declare(
         md::SetAdminWorkerAddresses::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/TreasuryFeeBps.fc

@@ -6,7 +6,7 @@ const int md::TreasuryFeeBps::NAME = "tfeebps"u;
 ;; field names
 const int md::TreasuryFeeBps::treasuryFeeBps = 0;
 
-cell md::TreasuryFeeBps::New(int treasuryFeeBps) inline method_id {
+cell md::TreasuryFeeBps::New(int treasuryFeeBps) impure inline method_id {
     return cl::declare(
         md::TreasuryFeeBps::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/UlnEvents.fc

@@ -14,7 +14,7 @@ cell UlnEvents::New(
     cell workerEvents,
     cell dvnFeesPaidEvent,
     cell executorFeePaidEvent
-) inline method_id {
+) impure inline method_id {
     return cl::declare(
         UlnEvents::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/UlnReceiveConfig.fc

@@ -81,7 +81,7 @@ cell UlnReceiveConfig::New(
 
 ;; Important assumption: the gas consumption of the endpoint will not increase past
 ;; 1 million gas per handler in any future update of the TVM.
-int UlnReceiveConfig::MaxCommitPacketValueAssertion() method_id {
+int UlnReceiveConfig::MaxCommitPacketValueAssertion() impure method_id {
     (_, _, _, _, int gasLimit, _, _, _, _) = parseGasLimitsPrices(BASECHAIN);
     gasLimit = max(gasLimit, 1000000);
 

package/src/protocol/msglibs/ultralightnode/msgdata/UlnSend.fc

@@ -14,7 +14,7 @@ cell md::UlnSend::New(
     cell $customUlnSendConfig,
     cell $connectionInitialStorage,
     int forwardingAddress
-) inline method_id {
+) impure inline method_id {
     return cl::declare(
         md::UlnSend::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/UlnVerification.fc

@@ -7,7 +7,7 @@ const int md::UlnVerification::NAME = "UlnVerify"u;
 const int md::UlnVerification::nonce = 0; ;; hash
 const int md::UlnVerification::attestation = 1; ;; uint64
 
-cell md::UlnVerification::New(int nonce, int hash, int confirmations) inline method_id {
+cell md::UlnVerification::New(int nonce, int hash, int confirmations) impure inline method_id {
     return cl::declare(
         md::UlnVerification::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/UlnWorkerFeelibBytecode.fc

@@ -6,7 +6,7 @@ const int md::UlnWorkerFeelibBytecode::NAME = "Ulnbytecod"u;
 ;; field names
 const int md::UlnWorkerFeelibBytecode::bytecode = 0; ;; cellRef
 
-cell md::UlnWorkerFeelibBytecode::New(cell bytecode) inline method_id {
+cell md::UlnWorkerFeelibBytecode::New(cell bytecode) impure inline method_id {
     return cl::declare(
         md::UlnWorkerFeelibBytecode::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/UlnWorkerFeelibInfo.fc

@@ -24,7 +24,7 @@ cell UlnWorkerFeelibInfo::New(
     int dstEid,
     int rentBalance,
     int isAdmin
-) inline method_id {
+) impure inline method_id {
     return cl::declare(
         UlnWorkerFeelibInfo::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/msgdata/VerificationStatus.fc

@@ -7,7 +7,7 @@ const int md::VerificationStatus::NAME = "veristatus"u;
 const int md::VerificationStatus::nonce = 0; ;; hash
 const int md::VerificationStatus::status = 1; ;; uint32
 
-cell md::VerificationStatus::New(int nonce, int status) inline method_id {
+cell md::VerificationStatus::New(int nonce, int status) impure inline method_id {
     return cl::declare(
         md::VerificationStatus::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/uln/handler.fc

@@ -353,7 +353,7 @@ cell _quoteWorkers(tuple args) impure inline method_id(23432) {
         unsafeTuple([owner, treasuryFee])
     );
 
-    cell ret = md::MsglibSendCallback::build(
+    return md::MsglibSendCallback::build(
         totalNativeFee + treasuryFee,
         0,
         $lzSend,
@@ -370,7 +370,6 @@ cell _quoteWorkers(tuple args) impure inline method_id(23432) {
         ),
         Channel::NO_ERROR
     );
-    return ret;
 }
 
 ;;; ================PERMISSION FUNCTIONS=====================
@@ -621,7 +620,7 @@ tuple setWorkerFeelibStorage(cell $newStorage) impure inline method_id {
     return actions;
 }
 
-tuple refillWorkerRent(cell $rentRefill) {
+tuple refillWorkerRent(cell $rentRefill) impure inline method_id {
     (cell $storage, tuple actions) = preamble();
 
     cell $workerFeelibInfos = $storage.Uln::getWorkerFeelibInfos();

package/src/protocol/msglibs/ultralightnode/uln/storage.fc

@@ -24,7 +24,7 @@ const int Uln::remainingAdminWorkerSlots = 9;
 ;; Note that the default receive and send config can be initialized in the constructor unlike
 ;; ulnConnection which must be done in initialize due to opt-in semantics
 ;; @owner ulnManager
-cell Uln::New(int owner, int eid, int dstEid) method_id {
+cell Uln::New(int owner, int eid, int dstEid) impure method_id {
     return cl::declare(
         Uln::NAME,
         unsafeTuple([

package/src/protocol/msglibs/ultralightnode/ulnConnection/handler.fc

@@ -254,7 +254,7 @@ int _isDvnConfigured(int dvnAddress, cell $customUlnReceiveConfigOApp, cell $def
         (op == MsglibConnection::OP::MSGLIB_CONNECTION_QUOTE)
     ) {
         return ();
-    } elseif (op == UlnConnection::OP::GARBAGE_COLLECT_INVALID_ATTESTATIONS){
+    } elseif (op == UlnConnection::OP::GARBAGE_COLLECT_INVALID_ATTESTATIONS) {
         return assertUln();
     } elseif (op == MsglibConnection::OP::MSGLIB_CONNECTION_SYNC_CHANNEL_STATE) {
         return assertChannel();
@@ -538,21 +538,30 @@ tuple msglibConnectionCommitPacketCallback(cell $channelNonceInfo) impure inline
     setContractStorage(
         $storage.UlnConnection::updateCommittmentInfo(committedNonce, firstUnexecutedNonce, $commitPOOO)
     );
+
+    ;; note that if msglibConnectionCommitPacketCallback is called before msglibConnectionSyncChannelState
+    ;; is called, and the nonce is greater than the max settable bit, the msglibConnection will be in
+    ;; a semi-blocked state until msglibConnectionSyncChannelState is called.
+    ;; best practice is to call msglibConnectionSyncChannelState *before* switching to this msglib
     
     return actions;
 }
 
 ;; only channel
-tuple msglibConnectionSyncChannelState(cell $channelNonceInfo) impure inline method_id {
+tuple msglibConnectionSyncChannelState(cell $mdObj) impure inline method_id {
     (cell $storage, tuple actions) = preamble();
 
-    cell $sanitizedChannelNonceInfo = md::ChannelNonceInfo::sanitize($channelNonceInfo);
+    $mdObj = $mdObj.md::MdObj::sanitize();
+
+    cell $channelNonceInfo = $mdObj
+            .cl::get<objRef>(md::MdObj::md)
+            .md::ChannelNonceInfo::sanitize();
     
     ;; invariant:
     ;; firstUnexecutedNonce >= $storage.cl::get<uint64>(UlnConnection::firstUnexecutedNonce)
-    int firstUnexecutedNonce = $sanitizedChannelNonceInfo
+    int firstUnexecutedNonce = $channelNonceInfo
         .cl::get<uint64>(md::ChannelNonceInfo::firstUnexecutedNonce);
-    int firstUncommittedNonce = $sanitizedChannelNonceInfo
+    int firstUncommittedNonce = $channelNonceInfo
         .cl::get<uint64>(md::ChannelNonceInfo::nonce);
     
     cell $commitPOOO = $storage.cl::get<objRef>(UlnConnection::commitPOOO);