Beans per unit nondeterminism

[michaelfig]

closes: #4134

Description

Add some tools for finding nondeterminism in Cosmos KVStore traces.

We found (again) that map[][] really isn't deterministically serialised to JSON by Go, so we converted beans_per_unit to an array of objects instead of an object-as-map.

Running the determinism test

$ unzip ../deployment-test-results.zip 
Archive:  ../deployment-test-results.zip
  inflating: validator0-kvstore.trace  
  inflating: validator0.slog         
  inflating: validator1-kvstore.trace  
  inflating: validator1.slog         
soil:foundit michael$ ~/agoric/agoric-sdk/packages/deployment/scripts/find-nondeterminism.sh 
162c163
< swingset/beans_per_unit       {"message":{"whole":"1000000"},"messageByte":{"whole":"20000"},"minFeeDebit":{"whole":"250000000000"},"vatCreation":{"whole":"30000000"},"xsnapComputron":{"whole":"100"},"blockComputeLimit":{"whole":"800000000"},"feeUnit":{"whole":"1000000000000"},"inboundTx":{"whole":"10000000"}}     null
---
> swingset/beans_per_unit       {"xsnapComputron":{"whole":"100"},"blockComputeLimit":{"whole":"800000000"},"feeUnit":{"whole":"1000000000000"},"inboundTx":{"whole":"10000000"},"message":{"whole":"1000000"},"messageByte":{"whole":"20000"},"minFeeDebit":{"whole":"250000000000"},"vatCreation":{"whole":"30000000"}}     null

Note the different order of serialised beans_per_unit entries.

Security Considerations

Documentation Considerations

Testing Considerations