yes, 0 pool shares would work.
I was trying to avoid burdening callers with getting access to the PoolShares brand when they are OK relying on the contract to figure it out... but that's really ...
OK... I see `rest` in [splitRecord](https://endojs.github.io/endo/interfaces/_endo_patterns.PatternMatchers.html#splitRecord) docs.
I wonder how many other places I have missed this.
> Shouldn't gov1's purse be notified after execution fee is deducted from gov1's IST balance?
No.
See https://docs.agoric.com/guides/getting-started/contract-rpc.html#vbank-assets-and-cosmos-...
The a3p test establishes that a priceFeed governor vat was terminated, and I don't see any correctness problems, so I'm approving this, though I have some reservations.
The change to launch-chai...
My `Pipfile` says any version of frozen-flask etc. will do:
https://github.com/dckc/madmode-blog/blob/745638ff2498acbec8f15bd597f94e60a396ec13/Pipfile#L14-L20
But when checking out **uv** (#2...