== guest: DragonFly dfbsd 6.5-DEVELOPMENT x86_64, cc 8.3 [DragonFly] ==
== build: cc -O2 -Wall -o /tmp/ledger_model /tmp/lm.c ==
BUILD_OK

== /tmp/ledger_model bug-leak ==
[leak-scenario] live dc_sink objects after 8 emulated detects: 9
[leak-scenario] BUG: LEAK REPRODUCED (stranded dc_sink per cycle)

== /tmp/ledger_model bug-uaf ==
[uaf-scenario] stale sink freed before the :993 release: YES (dc_link.c:902 freed it)
[uaf-scenario] retain/release on freed objects (kref UAF writes): 1
[uaf-scenario] double-free attempts (dc_sink_free on freed): 1
[uaf-scenario] BUG: UAF REPRODUCED (dc_sink_release on freed dc_sink)

== /tmp/ledger_model fixed ==
[leak-scenario] live dc_sink objects after 8 emulated detects: 1
[leak-scenario] FIXED: exactly 1 live sink (correct)