Direct conversion from staking contract to delegation pool

[alexfilip2]

Description

This implements AIP: aptos-foundation/AIPs#311
The staker of a staking contract would be able to atomically convert it to a delegation pool of same operator and commission fee without incurring any validator downtime. The staker becomes the owner of the newly created delegation pool.

Test Plan

Module UTs validating core functionality and invariants.

[trunk-io]

⏱️ 21s total CI duration on this PR

Job	Cumulative Duration	Recent Runs
permission-check	6s	🟥 🟥
permission-check	6s	🟥 🟥
permission-check	5s	🟥 🟥
permission-check	4s	🟥 🟥

_{settings ⋅ feedback ⋅ docs ⋅ learn more about trunk.io}

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 64.1%. Comparing base (b703936) to head (aed470f).
Report is 828 commits behind head on main.

❗ Current head aed470f differs from pull request most recent head 354b18f

Please upload reports for the commit 354b18f to get more accurate results.

Additional details and impacted files

@@            Coverage Diff             @@
##             main   #12256      +/-   ##
==========================================
- Coverage    71.1%    64.1%    -7.1%     
==========================================
  Files         795      792       -3     
  Lines      183022   176059    -6963     
==========================================
- Hits       130291   113005   -17286     
- Misses      52731    63054   +10323     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[github-actions]

This issue is stale because it has been open 45 days with no activity. Remove the stale label, comment or push a commit - otherwise this will be closed in 15 days.

[github-actions]

This issue is stale because it has been open 45 days with no activity. Remove the stale label, comment or push a commit - otherwise this will be closed in 15 days.

[movekevin]

Thank you for adding this conversion! I left a couple of comments and questions

[movekevin]

I wonder if we should just do an assert that inactive == 0 just to be absolutely certain

[alexfilip2]

should we use the error::internal code as this is an invariant that's not expected to fail? we may also formally prove it

[junkil-park]

After completing the localnet test, we just need to add the forge test here, and I think we’re good to go.

[github-actions]

This issue is stale because it has been open 45 days with no activity. Remove the stale label, comment or push a commit - otherwise this will be closed in 15 days.