[Bug][spec][prover] broken specs in framework

[rahxephon89]

🐛 Bug

This issue tracks broken or missing specs in framework.

big_orderedmap
orderedmap
account_abstraction
account
aptos_account
coin
managed_coin
object
resource_account
stake
staking_contract
transaction_fee
transaction_validation
aptos_governance
code
delegation_pool
dispatchable_fungible_asset
fungible_asset
genesis
keyless_account
object_code_deployment
primary_fungible_store
staking_proxy
vesting
jwks
jwk_consensus_config
randomness_api_v0_config
randomness_config_seqnum
randomness_config
permissioned_delegation
permissioned_signer
rate_limiter

[github-actions]

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