Auth code review (#1250)

This is the first (and likely largest) set of suggestions I have from my
second pass through code review on auth.rs, which I think at this point
I've at least reviewed all the _logic_ of. There's still some naming,
corner-case panic-avoidance and comment-clarity stuff I'll come back to
address tomorrow, but the main thing I wanted to do was understand the
tracker-matching logic, and I think I did that (at least I documented it
here, made its state values and invariants a bit more explicit, and it
still passes all tests; comments welcome!)

I did notice one thing that I am quite uncertain about, logic-wise: it
seems to me that the snapshot and rollback functionality for
`InvokerContractAuthorizationTracker`s does .. nothing much? Or not what
I would expect anyways. In particular:
- It snapshots the `AuthorizedInvocation`s for each tracker, but not the
rest of the tracker's matching state.
- On rollback it restores even less, only comparing the length of the
trackers vector, and then throwing the snapshots away.
 
It seems to me that it should snapshot the full matching state of the
trackers, and restore them to that state on rollback, especially because
the set of trackers could actually change between snapshot and restore
(because a user could call `authorize_as_curr_contract` to extend them).
But that seems quite far from how it works now, and I worry that gap is
intentional and I'm completely misunderstanding; I would appreciate
clarification from @dmkozh about whether the current behaviour is
actually correct in this regard, and if so why.

soroban-env-host/observations/test__bytes__linear_memory_operations.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1851968, mem:1306112, objs:-/5@c401ef9d, auth:1@351f54c4/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1852654",
-  "  10 call get_ledger_network_id()": "cpu:1852912, auth:1@351f54c4/1@6904edb3",
+  "  10 call get_ledger_network_id()": "cpu:1852912, auth:1@351f54c4/1@bda4a8d6",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1855809, mem:1306224, objs:-/6@792a5a99",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1893674, mem:1307730, objs:-/7@d6d51cb7, store:-/2@4836ccd0, foot:2@b1f2e802, auth:-/1@c4bfd12a",
   "  13 call call(Address(obj#13), Symbol(bin_word), Vec(obj#15))": "cpu:1896460, mem:1307818, objs:-/8@f97a0e5c, auth:-/-",

soroban-env-host/observations/test__complex__run_complex_1.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1529195, mem:1282892, objs:-/5@323db3fb, auth:1@de3a0860/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1529881",
-  "  10 call get_ledger_network_id()": "cpu:1530139, auth:1@de3a0860/1@6d08ef88",
+  "  10 call get_ledger_network_id()": "cpu:1530139, auth:1@de3a0860/1@7251f3a4",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1533036, mem:1283004, objs:-/6@2108e60f",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1570901, mem:1284510, objs:-/7@41331041, store:-/2@a6c6cedb, foot:2@9f923800, auth:-/1@53e8b462",
   "  13 call call(Address(obj#13), Symbol(go), Vec(obj#15))": "cpu:1572042, mem:1284574, objs:-/8@8c37934a, auth:-/-",

soroban-env-host/observations/test__complex__run_complex_2.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1529416, mem:1283516, objs:-/5@323db3fb, auth:1@de3a0860/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1530102",
-  "  10 call get_ledger_network_id()": "cpu:1530360, auth:1@de3a0860/1@6d08ef88",
+  "  10 call get_ledger_network_id()": "cpu:1530360, auth:1@de3a0860/1@7251f3a4",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1533257, mem:1283628, objs:-/6@2108e60f",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1562786, mem:1284918, objs:-/7@41331041, store:-/3@4ac985d, auth:-/1@53e8b462",
   "  13 call call(Address(obj#13), Symbol(go), Vec(obj#15))": "cpu:1563927, mem:1284982, objs:-/8@8c37934a, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_call.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1077551, mem:203133, objs:-/5@3a6bffed, auth:1@8663364a/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1078237",
-  "  10 call get_ledger_network_id()": "cpu:1078495, auth:1@8663364a/1@410c6c66",
+  "  10 call get_ledger_network_id()": "cpu:1078495, auth:1@8663364a/1@b055b42a",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1081392, mem:203245, objs:-/6@2162e67",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1119257, mem:204751, objs:-/7@c23eec30, store:-/2@d686ae66, foot:2@a7dc2b7e, auth:-/1@eaa228d1",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1120398, mem:204815, objs:-/8@95baacb0, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_contract_event.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1075814, mem:203008, objs:-/5@999151e1, auth:1@ccf8ace5/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1076500",
-  "  10 call get_ledger_network_id()": "cpu:1076758, auth:1@ccf8ace5/1@67cea2db",
+  "  10 call get_ledger_network_id()": "cpu:1076758, auth:1@ccf8ace5/1@e5e5f16a",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1079655, mem:203120, objs:-/6@7854f085",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1117520, mem:204626, objs:-/7@58c25580, store:-/2@cfe70b31, foot:2@4c8c7e89, auth:-/1@62519865",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1118661, mem:204690, objs:-/8@1df7e37b, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_create_contract.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1077551, mem:203133, objs:-/5@bde9c37e, auth:1@4de362ff/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1078237",
-  "  10 call get_ledger_network_id()": "cpu:1078495, auth:1@4de362ff/1@6dbe1fbb",
+  "  10 call get_ledger_network_id()": "cpu:1078495, auth:1@4de362ff/1@c698f750",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1081392, mem:203245, objs:-/6@1aab4eed",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1119257, mem:204751, objs:-/7@3ba0dfd2, store:-/2@da059081, foot:2@f864dcae, auth:-/1@30581d6b",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1120398, mem:204815, objs:-/8@64150a93, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_duration_obj_to_u64.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@405d49cb, auth:1@e08bcd5c/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@e08bcd5c/1@121562d1",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@e08bcd5c/1@50052bb2",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@63388bf7",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@335c336e, store:-/2@b8aa1dff, foot:2@2eba8d2a, auth:-/1@22c85d02",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@98982401, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_fail_with_error.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@925b54de, auth:1@e499debf/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@e499debf/1@81577161",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@e499debf/1@d4d4a03c",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@e557324c",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@d961d582, store:-/2@892d2645, foot:2@4e58d6ef, auth:-/1@f9ac5c29",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@629791a9, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_i256_val_to_be_bytes.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@27a1cbe4, auth:1@92ce7ff3/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@92ce7ff3/1@267b777d",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@92ce7ff3/1@d1afa716",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@61e288f9",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@b84401e8, store:-/2@3f7ae286, foot:2@bbd43653, auth:-/1@6e905795",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@aab4378f, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_log_from_linear_memory.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1079294, mem:203259, objs:-/5@1d9e0436, auth:1@d8fcacb9/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1079980",
-  "  10 call get_ledger_network_id()": "cpu:1080238, auth:1@d8fcacb9/1@c071cecd",
+  "  10 call get_ledger_network_id()": "cpu:1080238, auth:1@d8fcacb9/1@55ce3077",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1083135, mem:203371, objs:-/6@f4c6cf9e",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1121000, mem:204877, objs:-/7@3938d66d, store:-/2@42e19808, foot:2@cb5493ab, auth:-/1@bfbdc66c",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1122141, mem:204941, objs:-/8@e2ed2e76, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_map_put.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1077551, mem:203133, objs:-/5@8f0edeec, auth:1@31e35348/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1078237",
-  "  10 call get_ledger_network_id()": "cpu:1078495, auth:1@31e35348/1@beb6ca95",
+  "  10 call get_ledger_network_id()": "cpu:1078495, auth:1@31e35348/1@994173f6",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1081392, mem:203245, objs:-/6@cd855fbb",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1119257, mem:204751, objs:-/7@7bfdf815, store:-/2@3bae16a3, foot:2@9380539e, auth:-/1@47f4a8f5",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1120398, mem:204815, objs:-/8@1a7ee862, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_obj_cmp.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1075814, mem:203008, objs:-/5@4221ced9, auth:1@aad8905a/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1076500",
-  "  10 call get_ledger_network_id()": "cpu:1076758, auth:1@aad8905a/1@7bd4226a",
+  "  10 call get_ledger_network_id()": "cpu:1076758, auth:1@aad8905a/1@9ae7c1ab",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1079655, mem:203120, objs:-/6@f90fad42",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1117520, mem:204626, objs:-/7@1d2d5977, store:-/2@60c309df, foot:2@e21556ee, auth:-/1@951d0e08",
   "  13 end": "cpu:1117520, mem:204626, prngs:-/9b4a753, objs:-/7@1d2d5977, vm:-/-, evt:-, store:-/2@60c309df, foot:2@e21556ee, stk:-, auth:-/-"

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_obj_to_i128_lo64.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@fda48ce5, auth:1@3893c7e8/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@3893c7e8/1@14256af9",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@3893c7e8/1@d43541b6",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@b6cfa146",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@a2b8050c, store:-/2@a1f2e3cb, foot:2@bb2ab4bc, auth:-/1@bacc53f0",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@ca22a729, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_obj_to_i256_hi_hi.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@342fce2c, auth:1@edb4be3c/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@edb4be3c/1@3300fa5b",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@edb4be3c/1@7dc57c90",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@a32e4c52",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@8a24e591, store:-/2@4c3b2e17, foot:2@d04307a9, auth:-/1@1240c449",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@c28b34b, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_obj_to_i64.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@7313bdf6, auth:1@1ee49106/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@1ee49106/1@ac3711cc",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@1ee49106/1@bf57b801",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@95d7490a",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@b970e202, store:-/2@616ad4d5, foot:2@1f0eecb2, auth:-/1@431a10fa",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@9aa2163e, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_obj_to_u128_lo64.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@f3483fb1, auth:1@70504b55/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@70504b55/1@7ea04015",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@70504b55/1@125323fc",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@767b9c50",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@31eceb19, store:-/2@7642de56, foot:2@3f4cce16, auth:-/1@b97cd449",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@a01bfe43, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_obj_to_u256_hi_hi.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@bdaec9c2, auth:1@21f58be/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@21f58be/1@15eb2fdc",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@21f58be/1@f7ecb65c",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@5e44cb11",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@f3be7f70, store:-/2@9a11f3fa, foot:2@c7f56519, auth:-/1@d8f5136e",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@247b5e41, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_obj_to_u64.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@9a750885, auth:1@70a4c4e9/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@70a4c4e9/1@d162ebed",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@70a4c4e9/1@e2b8e71f",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@560de9d",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@cf6c9e65, store:-/2@2ab5cc63, foot:2@9309acc8, auth:-/1@bdfcece9",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@789544d6, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_string_copy_to_linear_memory.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1079294, mem:203259, objs:-/5@ec7a3527, auth:1@32c16dbf/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1079980",
-  "  10 call get_ledger_network_id()": "cpu:1080238, auth:1@32c16dbf/1@1902f6a9",
+  "  10 call get_ledger_network_id()": "cpu:1080238, auth:1@32c16dbf/1@1e47e2d2",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1083135, mem:203371, objs:-/6@284f85f9",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1121000, mem:204877, objs:-/7@caa3118c, store:-/2@b7025245, foot:2@e4ea900, auth:-/1@dd2669cd",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1122141, mem:204941, objs:-/8@70f53497, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_symbol_copy_to_linear_memory.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1079294, mem:203259, objs:-/5@23378c1d, auth:1@623720ca/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1079980",
-  "  10 call get_ledger_network_id()": "cpu:1080238, auth:1@623720ca/1@854597d5",
+  "  10 call get_ledger_network_id()": "cpu:1080238, auth:1@623720ca/1@dfe3057f",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1083135, mem:203371, objs:-/6@9db91801",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1121000, mem:204877, objs:-/7@2f40ec90, store:-/2@fca74d91, foot:2@1001b375, auth:-/1@ce387574",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1122141, mem:204941, objs:-/8@2c1b82d7, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_timepoint_obj_to_u64.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@e339a15c, auth:1@15190a57/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@15190a57/1@8512828e",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@15190a57/1@b1c4088e",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@ff1dd7cf",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@207a6133, store:-/2@dd090242, foot:2@2d1b8526, auth:-/1@2f49d129",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@950d1815, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_u256_val_from_be_bytes.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@4350c5cb, auth:1@268c0647/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@268c0647/1@774f0972",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@268c0647/1@74347473",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@4c59c047",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@b8ede73d, store:-/2@aec12108, foot:2@f43b65ed, auth:-/1@d34a6e78",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@b49e6ae7, auth:-/-",

soroban-env-host/observations/test__dispatch__dispatch_with_wrong_arg_type_u256_val_to_be_bytes.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@2c1703b9, auth:1@26b4c6e4/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@26b4c6e4/1@64b47fc5",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@26b4c6e4/1@3cef5a5b",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@2dff2c98",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@e4e73abf, store:-/2@c9359d2a, foot:2@1a35f7ff, auth:-/1@51de19a8",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@b6775478, auth:-/-",

soroban-env-host/observations/test__dispatch__invalid_object_handle_address_to_strkey_arg_0.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@ad55f4da, auth:1@9a0fea68/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@9a0fea68/1@41bb3de6",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@9a0fea68/1@c7f277fe",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@edde46cd",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@31b903e5, store:-/2@15d2b21f, foot:2@c04b4659, auth:-/1@6e2299bc",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@93fd6215, auth:-/-",

soroban-env-host/observations/test__dispatch__invalid_object_handle_authorize_as_curr_contract_arg_0.json

@@ -9,7 +9,7 @@
   "   7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
   "   8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1074074, mem:202883, objs:-/5@e9b859db, auth:1@56a02493/-",
   "   9 ret obj_cmp -> Ok(0)": "cpu:1074760",
-  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@56a02493/1@5342fb87",
+  "  10 call get_ledger_network_id()": "cpu:1075018, auth:1@56a02493/1@2cc2c954",
   "  11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1077915, mem:202995, objs:-/6@d09fedbb",
   "  12 ret create_contract -> Ok(Address(obj#13))": "cpu:1115780, mem:204501, objs:-/7@16e8011f, store:-/2@a2c641d9, foot:2@4dad0164, auth:-/1@f8086560",
   "  13 call call(Address(obj#13), Symbol(test), Vec(obj#15))": "cpu:1116921, mem:204565, objs:-/8@2581bb07, auth:-/-",