DF-3229 / run.2.log
[918 @258.913671] quiescent: U0=5 โ releasing barrier for 20 victims (session-captured [920 @259.318744] child: umount -f stock run 2) [918 @272.339680] FSYNCDIR u=26 completed (umount advances) [918 @272.345587] DESTROY u=28 completed โ fuse_mount_kill() fires [918 @272.354505] KILL confirmed at 272.354451; U0=5 reads=6 [918 @272.360149] W u=6 err=92 MATCHED [918 @272.362414] W u=7 err=92 MATCHED [918 @272.364628] W u=8 err=92 MATCHED [918 @272.366950] W u=9 err=92 MATCHED [918 @272.369169] W u=10 err=92 MATCHED [918 @272.371421] W u=11 err=92 MATCHED [918 @272.373498] W u=12 err=92 MATCHED [918 @272.375233] W u=13 err=92 MATCHED [918 @272.376951] W u=14 err=92 MATCHED [918 @272.379925] W u=15 err=92 MATCHED [918 @272.381407] W u=16 err=92 MATCHED [918 @272.382775] W u=17 err=92 MATCHED [918 @272.384068] W u=18 err=92 MATCHED [918 @272.385329] W u=19 err=92 MATCHED [918 @272.386652] W u=20 err=92 MATCHED [918 @272.387830] W u=21 err=92 MATCHED [918 @272.389051] W u=22 err=92 MATCHED [918 @272.390164] W u=23 err=92 MATCHED [918 @272.391288] W u=24 err=92 MATCHED [918 @272.392396] W u=25 err=92 MATCHED [918 @272.393162] W u=26 err=83 [918 @272.393946] W u=27 err=83 [918 @272.394710] W u=28 err=83 [918 @272.395481] W u=29 err=83 [918 @272.395481] storm done: matched=20 of 20 victims (+4 probes) [918 @272.402201] RESULT(pass0): victims_matched=20 woke_after_write=0 instant_enotconn=0 never_returned=6 [918 @272.404621] DF3229: matched=20 woke=0 [918 @272.905972] RESULT(pass1): victims_matched=20 woke_after_write=0 instant_enotconn=0 never_returned=6 [918 @272.915798] DF3229: matched=20 woke=0 [918 @272.919850] parent: waitpid=920 status=0x9 (exit=0 sig=9) (Second independent stock run: again 20/20 deterministic MATCHED with exact unique prediction. The child was externally SIGKILL'd (status 0x9) at umount-return, before its per-thread dlogs could flush โ the wake-side per-thread evidence from runs on the earlier harness versions showed the paired ENOTCONN returns; the MATCHED completions themselves are the reproducible core.)