Added setLedgerSequence step and rule to node.md

Author: lisandrasilva

src/komet_node/interpreter.py

@@ -157,7 +157,7 @@ def contract_address_from_deployer_address(self, deployer_public_key: str, salt:
         )
         return StrKey.encode_contract(self.contract_id_from_preimage(preimage))
 
-    def run_transaction(self, input_file: Path, transaction: Transaction) -> InterpreterResponse:
+    def run_transaction(self, input_file: Path, transaction: Transaction, ledger_seq: int = 0) -> InterpreterResponse:
 
         def operation_to_steps(op: Operation) -> list[KInner]:
             match op:
@@ -210,7 +210,7 @@ def operation_to_steps(op: Operation) -> list[KInner]:
                 case _:
                     raise NotImplementedError(f'Unsupported operation type: {type(op)}')
 
-        request_str = self.encode_transaction_to_json(transaction)
+        request_str = self.encode_transaction_to_json(transaction, ledger_seq)
         if request_str is not None:
             return self.run_request_file(input_file, request_str)
 
@@ -252,7 +252,7 @@ def make_call_tx(self, caller: MuxedAccount, invoke: xdr.InvokeContractArgs) ->
         )
         return [step]
 
-    def encode_transaction_to_json(self, transaction: Transaction) -> str | None:
+    def encode_transaction_to_json(self, transaction: Transaction, ledger_seq: int = 0) -> str | None:
         """
         Encode a transaction as a JSON request string for the fast path.
 
@@ -262,7 +262,7 @@ def encode_transaction_to_json(self, transaction: Transaction) -> str | None:
         Key ordering in each step dict is significant: it must match the K JSON patterns
         in node.md exactly, because K's JSON sort is ordered.
         """
-        steps = []
+        steps = [{'op': 'setLedgerSequence', 'sequence': ledger_seq}]
         for op in transaction.operations:
             encoded = self._encode_operation_as_json(op, transaction.source)
             if encoded is None:

src/komet_node/kdist/node.md

@@ -30,6 +30,12 @@ module NODE
     syntax KItem ::= "#handleRequestFile"
                    | "#removeRequestFile"
                    | #handleRequest(String)
+
+    syntax Step ::= setLedgerSequence(Int)    [symbol(setLedgerSequence)]
+ // ----------------------------------------------------------------------
+    rule [setLedgerSequence]:
+        <k> setLedgerSequence(SEQ) => .K ... </k>
+        <ledgerSequenceNumber> _ => SEQ </ledgerSequenceNumber>
 ```
 
 HexBytes: decode a lowercase hex string to Bytes (big-endian, length = hex length / 2).
@@ -104,10 +110,11 @@ JSON request format (key order is significant — must match Python's json.dumps
 
 where each <step> is one of:
 
-  { "op": "setAccount",     "account": "<hex32>", "balance": <int> }
-  { "op": "deployContract", "from": "<hex32>", "address": "<hex32>", "wasmHash": "<hex32>" }
-  { "op": "callTx",         "from": "<hex32>", "fromIsContract": <bool>,
-                             "func": "<name>", "to": "<hex32>", "args": [ <scval>, ... ] }
+  { "op": "setLedgerSequence", "sequence": <int> }
+  { "op": "setAccount",        "account": "<hex32>", "balance": <int> }
+  { "op": "deployContract",    "from": "<hex32>", "address": "<hex32>", "wasmHash": "<hex32>" }
+  { "op": "callTx",            "from": "<hex32>", "fromIsContract": <bool>,
+                                "func": "<name>", "to": "<hex32>", "args": [ <scval>, ... ] }
 
 SCVal arg encoding (key order also significant):
 
@@ -131,6 +138,9 @@ SCVal arg encoding (key order also significant):
     rule #decodeSteps(.JSONs)                     => .Steps
     rule #decodeSteps(S:JSON, SS:JSONs)           => #decodeStep(S) #decodeSteps(SS)
 
+    rule #decodeStep({ "op" : "setLedgerSequence" , "sequence" : SEQ:Int })
+        => setLedgerSequence(SEQ)
+
     rule #decodeStep({ "op" : "setAccount" , "account" : ACCT:String , "balance" : BAL:Int })
         => setAccount(Account(HexBytes(ACCT)), BAL)
 

src/komet_node/server.py

@@ -73,7 +73,7 @@ def exec_send_transaction(self, transaction: str) -> dict[str, Any]:
         tx_hash = envelope.hash_hex()
 
         try:
-            result = self.interpreter.run_transaction(self.state_file, envelope.transaction)
+            result = self.interpreter.run_transaction(self.state_file, envelope.transaction, self.ledger_seq)
             self.state_file.write_text(result.final_kore)
             self.ledger_seq += 1
             self._transactions[tx_hash] = {