implement appending

[turadg]

Closes: Agoric/agoric-sdk#8605

This adds an append command that executes the proposals on top of an existing image. It takes an optional tag, defaulting to main.

I published an rc0 so this could be used in Agoric/agoric-sdk#8635. Then I realized the CLI names could be improved so I added a commit for that. I didn't fixup the previous because rc0 had been cut. I'll cut a release after this PR merges. I also need to set up a auto-publishing on merge.

[mhofman]

I am somewhat out of my depth here to be able to review this.

One thing that confuses me is whether the "rebuild" command is meant to be used outside of this repo? In which case, what does it "rebuild"?

[turadg]

One thing that confuses me is whether the "rebuild" command is meant to be used outside of this repo? In which case, what does it "rebuild"?

It currently only makes sense to use in this repo. It rebuilds all proposals starting from agzero. Another option is to eliminate this command and always "append" but appending to agZero is a special case. I figured it was better to separate the use case instead of detecting the tag name.

[mhofman]

I find "build" less confusing than "rebuild" which implies some existing information exists.

I'm also thinking that "build" command should also take a base image (not just tag)?

[turadg]

I find "build" less confusing than "rebuild" which implies some existing information exists.

I'm open to that. It was build first, but in adding append it's also building. I chose rebuild to mean "build from ag-zero". Any other ideas?

I'm also thinking that "build" command should also take a base image (not just tag)?

You mean the append command? We could take the whole image but it opens room for error since this tool only yet supports images built with agoric-3-proposals as the base.

[mhofman]

You mean the append command? We could take the whole image but it opens room for error since this tool only yet supports images built with agoric-3-proposals as the base.

I actually meant build, but it falls in the same category of assuming we're starting from a specific ag0 tag. We can figure that out later.

[dckc]

I'm a little fuzzy on the concept, but it looks like forward progress.