Boolean expressions of objective prerequisites

[kostmo]

Closes #795

Tasks

• Vendor a subset of the boolexpr package
• New display logic for parallel goals
• Add a check for whether winning is impossible (due to a "not" prerequisite being achieved)
• Add a "Lose" dialog analogous to the "Win" dialog
• Validate no dependency cycles in prerequisites specs
• Add tests for negative validation result from scenario parsing
• Web API to inspect status of incomplete, completed, optional, and prerequisite objectives
• Update all of the multi-goal scenarios to use prerequisites

For follow-up PRs:

• Upload new GHC8-compatible version of boolexpr to Hackage (perhaps take over the package?) (introduce boolexpr package to replace vendored module #1188)
• Add prerequisites and its logical operators to JSON schema
• Reverse topological sort of goals before evaluation, with a test that demonstrates necessity
• Automatically skip over the header rows when navigating the Goals list (related: insert spacer between goal categories #1094, use brick-list-skip package #1211)
• Add indicators for optional and hidden goals (related: indicate whether a goal is optional #1613)
• New Challenge for strategizing optional and mutually-exclusive goals

[xsebek]

@kostmo do you plan to merge this as one commit or squash some of them?

I will try to find some time to test this during the week. 🙂

[kostmo]

@kostmo do you plan to merge this as one commit or squash some of them?

There are a few worth preserving as distinct commits, but I'll squash the WIP commits.

[byorgey]

There are a few worth preserving as distinct commits, but I'll squash the WIP commits.

Note, the way we have Mergify set up, it always squashes merged PRs into a single commit. If you want to preserve things as distinct commits they have to be split out into multiple PRs.

[xsebek]

@kostmo thanks for testing my GitHub Action 😄

I am really happy it works and sorry it is bothering you. 😅

But at least you don't have to scroll through the comments to find it. 😉

[kostmo]

@kostmo thanks for testing my GitHub Action smile

I am really happy it works and sorry it is bothering you. sweat_smile

But at least you don't have to scroll through the comments to find it. wink

Seems to work well!

[kostmo]

@byorgey I think this is ready now.

[byorgey]

🎉 🚀 Looks great!

I noticed a small issue where scenarios with a condition but no goal description etc. (e.g. the Speedrun scenarios) pop up a tiny, empty box at the beginning. We can split that out into a separate issue. (Also, I should add goal descriptions to those Speedrun scenarios.)