Proposed by the 2026-07-07 jab multi-agent review; confirmed by both skeptic verifiers. The mmap right above is checked; the tiny length-box malloc is not — a NULL write on allocation failure.
size_t* len = (size_t*)malloc(sizeof(size_t)); *len = n; with no NULL check (jab io.cpp:568); the n-byte mmap above IS checked against MAP_FAILED.if (!len) { munmap(map, n); JABC_THROW(...); } before the write.