Shon Feder

On further thought, I'm pretty inclined to think that the transition explorer `TransExplorer` should be a distinct service from the high-level, subcommand executor RPCs (and defining a separate service does't...

> what would be the optimal place for doing the following: if --max-error=k is set and k > 1, set --no-deadlock to true. Really depends on the program logic. If...

Turned up on #1123, here's an example of unsoundness resulting from interactions between our inability to guard against duplicate indices and the indeterminacy of our implementation of `CHOOSE`: ``` -------------------...

There are definitely plenty of alternative options for cli parsing, many that are more widely used.

Definitely room for improvement here, i think the key question is around prioritization.

The most actively developed and attractive (IMO) CLI parsing libs I've found so far are - https://github.com/bkirwi/decline - https://github.com/alexarchambault/case-app Scallop also looks pretty good, and it has more stars, but...

`case-app` could be desirable as it could enable automating much of the bookkeeping required to integrate with the configuration system.

Related to #802

As points of reference for the state of the art, the most lauded error messaging I'm aware of are in: - Rust: https://rustfest.global/session/5-the-anatomy-of-error-messages-in-rust/ - and Elm: https://elm-lang.org/news/compiler-errors-for-humans

This should be a valuable resource in helping guide our design: https://web.eecs.umich.edu/~akamil/papers/iticse19.pdf