DF-5450 fix_run.log — PATCHED kernel (fix.combined.diff applied in guest /usr/src,
nativekernel X86_64_GENERIC #1 Mon Oct 5 17:59:42 UTC 2026), same PoC binary path:
kldload /root/poc/nxmap/nxmap.ko

nxmap0: <nexus activate idempotence PoC> on motherboard
DF-5450: err2ndact=0 vaddr1=0xffffffff82601000 vaddr2=0xffffffff82601000 same_phys=YES
DF-5450: err2ndact=0 vaddr1=0xffffffff82601000 vaddr2=0xffffffff82601000 same_phys=YES
DF-5450: kernel_map size before=3667910656 after2nd=3667910656 afterrelease=3667910656 (leaked pages: 0)
DF-5450: orphan vaddr1 read after full release: 0 (stale RW PTE still present: N/A (v1 == v2, single mapping))

Baseline vs patched:
- vaddr2 == vaddr1 on every cycle (was: fresh second mapping each cycle)
- kernel_map->size unchanged after 16 alloc/activate/release cycles
  (was: +65536 bytes = 16 pages stranded)
- no orphan mapping exists after release (was: first vaddr still readable)