Checkpoint: The Named-Edge Protocol

Checkpoint: the visibility audit

Given the broken stop-flag class from the lesson, produce a correct, provably correct implementation: every cross-thread interaction must be connected by an hb edge you can name. Then answer the auditor: which channel carried which edge?