feat(provisionPool): allow overriding PerAccountInitialAmount during contract upgrade

[Jorge-Lopes]

closes: #10562

Description

Note: this PR is currently defined as "DRAFT" because it should land after #10419

This PR updates the provisionPool contract to allow overriding the PerAccountInitialAmount parameter, which is governed by the Economic Committee during contract upgrades.

To achieve the above functionality, this PR introduces the following changes:

• The PerAccountInitialAmount is now injected to the contract through privateArgs instead of terms.
• Use the makeParamManagerFromTerms method from the governance package to manage the PerAccountInitialAmount values during upgrades.
• Updated the public and creator facets to handle the replace handleParamGovernance with makeParamManagerFromTerms.

The core-eval proposal used to upgrade provisionPool was also updated to fetch the current value of PerAccountInitialAmount set on Vstorage and include it on the new privateArgs

Security Considerations

Scaling Considerations

Documentation Considerations

Testing Considerations

I have confirmed that the existing unit tests built for provisionPool continue to pass.

Along with the existing tests, these changes were also tested against the governance acceptance test, at a3p-integration, where one of the test cases is to ensure that the governed parameter values are intact after a contract upgrade.
That test is not included here to limit the scope of this PR.

Upgrade Considerations

[cloudflare-workers-and-pages]

Deploying agoric-sdk with    Cloudflare Pages

Latest commit:	d818720
Status:	🚫  Build failed.

View logs