Expand description
Conflicts: two expectations that can both apply but promise things that can’t both be true.
- Outcome: the same action, Givens that overlap, Thens that contradict. In a state where both Givens hold, the system can’t do both.
- Invariant: an expectation leaves the system in a state where an invariant’s Given holds but its Then can’t.
An Overrides: between the two (directly or through a chain) settles a conflict: the
winner is an exception to the loser. Settled conflicts are kept, since docs show them.