############ FIXED (fix.diff applied to /usr/src) ############
== minimal_panic ==
DIVERGENCE[minimal_panic]: counter corrupted at node 255: tree=1 truth=0 (delta 1)
  idr: count=511 last=289 free=0 maxwant=0
  node[  0] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  1] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  2] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  3] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  4] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  5] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  6] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  7] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  8] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  9] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 10] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 11] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 12] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 13] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 14] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 15] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 16] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 17] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 18] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 19] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 20] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 21] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 22] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 23] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 24] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 25] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 26] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 27] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 28] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 29] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 30] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 31] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 32] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 33] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 34] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 35] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 36] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 37] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 38] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 39] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 40] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 41] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 42] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 43] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 44] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 45] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 46] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 47] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 48] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 49] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 50] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 51] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 52] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 53] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 54] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 55] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 56] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 57] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 58] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 59] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 60] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 61] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 62] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 63] data=0x0 alloc=  0 (model used=0 val=0x0)
DIVERGENCE[sweep]: idr_find(289)=0x515000290000 for FREE id
  idr: count=511 last=289 free=0 maxwant=0
  node[  0] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  1] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  2] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  3] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  4] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  5] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  6] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  7] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  8] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[  9] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 10] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 11] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 12] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 13] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 14] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 15] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 16] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 17] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 18] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 19] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 20] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 21] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 22] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 23] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 24] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 25] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 26] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 27] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 28] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 29] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 30] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 31] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 32] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 33] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 34] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 35] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 36] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 37] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 38] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 39] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 40] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 41] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 42] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 43] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 44] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 45] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 46] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 47] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 48] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 49] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 50] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 51] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 52] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 53] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 54] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 55] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 56] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 57] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 58] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 59] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 60] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 61] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 62] data=0x0 alloc=  0 (model used=0 val=0x0)
  node[ 63] data=0x0 alloc=  0 (model used=0 val=0x0)
alloc(289,290) -> 289
remove(287) [never allocated] -> 0x0
alloc(290,0) -> 290
remove(287) [never allocated] -> 0x0
remove(290) [live] -> 0x5150002a0000
if you read this, the counters stayed >= 0; the KKASSERT fires on the next reserve through a negative node
ops=0 dup=0 phantom=1 stale=1 badremove=0 badreplace=0 chunks_live=0 -> DIVERGED
rc=2

== minimal_dup ==
alloc(526,0) -> 526
remove(525) [never allocated] -> 0x0
alloc(525,532) -> 525
alloc(525,0) -> 527
ops=0 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
rc=0

== minimal (soft) ==
alloc(142,194) -> 142
remove(139) [never allocated] -> 0x0
remove(139) [never allocated] -> 0x0
alloc(135,192) -> 135
remove(136) [never allocated] -> 0x0
remove(142) [live] -> 0x515000000220
get_new(187) -> 187
alloc(187,245) -> 188
alloc(526,0) -> 526
remove(525) [never allocated] -> 0x0
alloc(525,532) -> 525
alloc(525,0) -> 527
ops=0 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
rc=0

== fuzz fixed (hard) seeds 1-10 x60k ==
ops=59999 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=60000 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59997 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59995 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=60000 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59998 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59998 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59997 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59999 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59997 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
== fuzz fixed (soft lenient) seeds 1-10 x60k ==
ops=59999 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=60000 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59997 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59995 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=60000 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59998 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59998 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59997 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59999 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
ops=59997 dup=0 phantom=0 stale=0 badremove=0 badreplace=0 chunks_live=0 -> clean
FUZZ-CLEAN