Map
Every expectation, placed after the ones that get the system into a state where it applies, starting from each section's setup. Dashed arrows are exceptions, red ones are conflicts nobody has settled, and dashed outlines are invariants. Colours show each expectation's verdict.
verified failed not supported yet untested