docs: drop "wire format" jargon for the plain fact

"the wire format K cannot read" swapped one undefined term for another.
"binary XDR transaction format, which K cannot parse" says the same
thing without the jargon.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Author: RaoulSchaffranek

docs/architecture.md

@@ -45,7 +45,7 @@ The server implements six RPC methods — `getHealth`, `getNetwork`, `getLatestL
 
 ### `transaction.py` — `TransactionEncoder`
 
-`TransactionEncoder` decodes Stellar's binary XDR, the wire format K cannot read. It turns a `stellar_sdk` transaction envelope into a JSON request envelope containing the RPC method, the transaction hash, the envelope XDR, and the decoded operations as JSON "steps". For the one case K cannot consume as JSON — a wasm upload, whose `ModuleDecl` has no JSON form — it produces the kasmer steps in K-AST form for direct injection into the `<program>` cell.
+`TransactionEncoder` decodes Stellar's binary XDR transaction format, which K cannot parse. It turns a `stellar_sdk` transaction envelope into a JSON request envelope containing the RPC method, the transaction hash, the envelope XDR, and the decoded operations as JSON "steps". For the one case K cannot consume as JSON — a wasm upload, whose `ModuleDecl` has no JSON form — it produces the kasmer steps in K-AST form for direct injection into the `<program>` cell.
 
 → **[Detailed documentation](transaction.md)**
 

docs/transaction.md

@@ -1,6 +1,6 @@
 # `transaction.py` — `TransactionEncoder`
 
-`TransactionEncoder` decodes Stellar's binary XDR, the wire format the K semantics cannot read. It turns a transaction envelope into the JSON *request envelope* consumed by [`node.md`](node-semantics.md), computes the transaction hash and contract ids, and (for wasm uploads only) parses the bytecode into a `ModuleDecl`.
+`TransactionEncoder` decodes Stellar's binary XDR transaction format, which the K semantics cannot parse. It turns a transaction envelope into the JSON *request envelope* consumed by [`node.md`](node-semantics.md), computes the transaction hash and contract ids, and (for wasm uploads only) parses the bytecode into a `ModuleDecl`.
 
 ---