Todd Nowacki

[move][adapter] Improve type argument errors

2

- A missing type in a module currently throws an invariant violation from the Move VM, this catches that error and produces a better error - No idea why TYPE_RESOLUTION_ERROR...

- Fix StructTag boxing - Fix move unit tests

[Move] Simplify resolve_and_type_check for Sui SDK

2

The Rust SDK is creating MoveObjects just to pass to resolve_and_type_check. I think we really just need the owner+version meta data for the SDK's purposes (possibly even less). We should...

[transaction input checker] Make batch rules more robust

5

Some checks were not performed in batch for certain transaction kinds. While this might not be a problem now, it feels like it might cause an issue later if these...

[RFC][Planned Feature] Programmable Transactions

9

I'll try to keep this rather brief. There are probably a ton of possible things here that I haven't explained very well so please ask questions! And there are a...

[programmable transactions] Added type declarations

7

- Added type/struct declarations - Added some basic checks/infrastructure Nothing here is final. I'm just trying to break things up a bit so they will be easier to land and...

[sui-json-rpc] Fix byte generation for dev inspect

2

- incorrect bytes generated for dev-inspect Move call, where the full transaction data was serialized Should fix #8119

[RFC][move][sui-verifier] Flip ID Leak rules

3

- Instead of checking leaks at unpack, we check them at pack. - The rule for this is that the `id` field of an object must come from a set...

[2/x][programmable transactions] Small changes to adapter and types

1

- Small changes needed for programmable transaction runtime

[3/x][programmable transaction] Start of execution runtime

1

- New module in sui-adapter for programmable_transactions - types contains runtime type information - context maintains the internal state and execution context - execution applies changes to the context as...