⬢ DragonFlyBSD Kernel Audit
DF-0220 / kmem_window_decisive.log
← back to finding ↓ download raw 
##### DF-0220 manufactured pre-reseed window — consolidated decisive run #####
date: Mon Oct 12 06:19:53 UTC 2026, uptime: 4 mins

== [ctx-offset proof] sigma constants at offset 40..55 of healthy state[1] ==
state[1] ctx@40:
  00: 65 78 70 61 6e 64 20 33 32 2d 62 79 74 65 20 6b
  16: bf 6a e1 76 12 b6 8e 8e 3b 54 70 f2 42 35 e0 cd
  32: 01 f6 00 c4 fe 90 e8 a6 fb 6c 55 f5 fc ca 79 9c
  48: 02 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  sigma@40: expand 32-byte k

== [race context] force + poll WITHOUT reading (background burn rate) ==
state[2] @0xfffff800898e8400: reseed_cnt=0 pool0=0 key=ALL-ZERO ctx=ALL-ZERO last_reseed=0.000000
state[2] @0xfffff800898e8400: reseed_cnt=0 pool0=0 key=ALL-ZERO ctx=ALL-ZERO last_reseed=0.000000
state[2] @0xfffff800898e8400: reseed_cnt=0 pool0=0 key=ALL-ZERO ctx=ALL-ZERO last_reseed=0.000000
state[2] @0xfffff800898e8400: reseed_cnt=0 pool0=0 key=ALL-ZERO ctx=ALL-ZERO last_reseed=0.000000
state[2] @0xfffff800898e8400: reseed_cnt=0 pool0=0 key=ALL-ZERO ctx=ALL-ZERO last_reseed=0.000000
state[2] @0xfffff800898e8400: reseed_cnt=0 pool0=0 key=ALL-ZERO ctx=ALL-ZERO last_reseed=0.000000

== [decisive] in-process force->read, rand_mode=csprng, 5 trials ==
-- trial 1:
blk1: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
blk2: 28 95 8d 01 c7 09 6d d7 55 43 41 08 85 64 38 91 6e d1 76 e0 93 3b 02 e9 26 8d ba 09 c6 bd fb 66
blk3: 8f 57 ab 70 01 76 3a 04 04 a3 6d 4b a6 e5 e1 a1 a6 b1 a9 ae 76 80 e4 7a 05 c5 aa 36 5c dc fa c4
blk4: 75 aa 59 68 da 09 2c f6 27 26 7b 69 7a 27 c6 51 e3 68 8f a2 2d 36 62 43 b3 a7 78 33 b3 7b 27 b4
-- trial 2:
blk1: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
blk2: 28 95 8d 01 c7 09 6d d7 55 43 41 08 85 64 38 91 6e d1 76 e0 93 3b 02 e9 26 8d ba 09 c6 bd fb 66
blk3: 8f 57 ab 70 01 76 3a 04 04 a3 6d 4b a6 e5 e1 a1 a6 b1 a9 ae 76 80 e4 7a 05 c5 aa 36 5c dc fa c4
blk4: 75 aa 59 68 da 09 2c f6 27 26 7b 69 7a 27 c6 51 e3 68 8f a2 2d 36 62 43 b3 a7 78 33 b3 7b 27 b4
-- trial 3:
blk1: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
blk2: 28 95 8d 01 c7 09 6d d7 55 43 41 08 85 64 38 91 6e d1 76 e0 93 3b 02 e9 26 8d ba 09 c6 bd fb 66
blk3: 8f 57 ab 70 01 76 3a 04 04 a3 6d 4b a6 e5 e1 a1 a6 b1 a9 ae 76 80 e4 7a 05 c5 aa 36 5c dc fa c4
blk4: 75 aa 59 68 da 09 2c f6 27 26 7b 69 7a 27 c6 51 e3 68 8f a2 2d 36 62 43 b3 a7 78 33 b3 7b 27 b4
-- trial 4:
blk1: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
blk2: 28 95 8d 01 c7 09 6d d7 55 43 41 08 85 64 38 91 6e d1 76 e0 93 3b 02 e9 26 8d ba 09 c6 bd fb 66
blk3: 8f 57 ab 70 01 76 3a 04 04 a3 6d 4b a6 e5 e1 a1 a6 b1 a9 ae 76 80 e4 7a 05 c5 aa 36 5c dc fa c4
blk4: 75 aa 59 68 da 09 2c f6 27 26 7b 69 7a 27 c6 51 e3 68 8f a2 2d 36 62 43 b3 a7 78 33 b3 7b 27 b4
-- trial 5:
blk1: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
blk2: 28 95 8d 01 c7 09 6d d7 55 43 41 08 85 64 38 91 6e d1 76 e0 93 3b 02 e9 26 8d ba 09 c6 bd fb 66
blk3: 8f 57 ab 70 01 76 3a 04 04 a3 6d 4b a6 e5 e1 a1 a6 b1 a9 ae 76 80 e4 7a 05 c5 aa 36 5c dc fa c4
blk4: 75 aa 59 68 da 09 2c f6 27 26 7b 69 7a 27 c6 51 e3 68 8f a2 2d 36 62 43 b3 a7 78 33 b3 7b 27 b4

== [default mixed mode masks the window] force then read (still in csprng-emit but XORed with IBAA) ==
blk1: 0e d6 2a f9 1f 9d 80 63 66 f5 da 9d 84 03 f2 a4 e4 99 bc f5 0b b4 ca 5f 6d a9 97 fc c0 b5 24 40
blk2: 34 db d3 d5 08 50 6c e9 c2 1c fd 14 9c b6 7f b5 01 7a f3 76 fe 45 ab 5c c1 6d 79 fb 4c 44 7d 47
blk3: 42 4d ba dd eb ce e2 c6 45 bf 72 03 5e a8 ee 21 65 f3 80 3d 12 91 b6 22 cc e5 a9 66 6e a6 e3 55
blk4: b2 36 c7 16 46 b8 89 f1 85 d6 d1 e6 24 24 53 17 3b fe 19 72 27 86 57 30 a9 81 1d 24 ae 6e 0a 78

== [self-heal] pool0 refilled; next pinned read reseeds ==
state[2] @0xfffff800898e8400: reseed_cnt=0 pool0=0 key=NONZERO ctx=NONZERO last_reseed=261.375667
state[2] @0xfffff800898e8400: reseed_cnt=0 pool0=372 key=NONZERO ctx=NONZERO last_reseed=261.375667
00000000  b6 ab 6a 67 83 2b ad 64  ae cc b1 19 25 f1 d3 a4  |..jg.+.d....%...|
00000010  20 17 1e 0b ee b7 0a b2  5d fc 1b b6 fb b2 92 c9  | .......].......|
state[2] @0xfffff800898e8400: reseed_cnt=1 pool0=0 key=NONZERO ctx=NONZERO last_reseed=264.385698

== final all-state dump ==
state[0] @0xfffff800898e5000: reseed_cnt=1 pool0=23132 key=NONZERO ctx=NONZERO last_reseed=184467440735.652136
state[1] @0xfffff800898e6a00: reseed_cnt=18 pool0=0 key=NONZERO ctx=NONZERO last_reseed=264.384031
state[2] @0xfffff800898e8400: reseed_cnt=1 pool0=0 key=NONZERO ctx=NONZERO last_reseed=264.385698
state[3] @0xfffff800898e9e00: reseed_cnt=9 pool0=372 key=NONZERO ctx=NONZERO last_reseed=260.497325
state[4] @0xfffff800898eb800: reseed_cnt=8 pool0=372 key=NONZERO ctx=NONZERO last_reseed=261.118998
state[5] @0xfffff800898ed200: reseed_cnt=9 pool0=0 key=NONZERO ctx=NONZERO last_reseed=264.380698