# DF-2710 control run (wedge mode, non-INVARIANTS kernel #1, unfixed) # single DELETE per state (NO duplicates => DF-2707 chain cannot trigger) # input: ./df2707_trigger wedge PEER_SOCK sndbuf=2048 AUTO_CONN cmd=80001106 msgid=0xfffff8008bb84170 <== kernel heap ptr (DF-2708) WEDGE_PROBE1_WRITTEN=863/1024 <== reader stalled (rcvbuf full) WEDGE_PROBE2_WRITTEN=1024/1024 (reader recovered after drain) UNMOUNT_OK WEDGE_MODE_DONE