ContractDiffers

The event is injectable here, and the fabric deliberately answers it differently from what the obligation requires.

The suite makes the harness prove it: the injection hook must return true, and the obligation's own postcondition must then be observed not to hold. So this arm is a positive property, not a self-certification — and it reds if the fabric ever starts satisfying the obligation, which is what protects a deliberate design decision from being "fixed" by someone reading a gap list.

The in-tree instance is kuilt-nw: since #1513 an NwSeam that loses its last remote re-forms Woven→Weaving and keeps incoming open so NwLoom can redial. Torn there means an explicit close() or a weave timeout, never peer loss — so the both-ends-latch-Torn obligation is unprovable on that fabric by design.