Modules / ade_mem_diag

ade_mem_diag

RED

RED crate RED — the workspace's SOLE unsafe-FFI surface

Purpose: A quarantined RED DIAGNOSTIC crate wrapping the one unsafe FFI call the workspace needs — mimalloc mi_collect(force=true). It is the QUARANTINE: it deliberately does NOT carry #![deny(unsafe_code)], so the ade_node binary keeps #![deny(unsafe_code)] with ZERO local allows. Used by ade_node ONLY behind the ADE_MEM_PHASE_DIAGNOSTIC env toggle, off the authoritative loop. (Unchanged across the span.)
Interprets: Nothing semantic — a single libmimalloc_sys::mi_collect(true) FFI call (a no-op on a non-mimalloc build).
MUST NOT: (1) Carry authoritative semantics. (2) Have its return value influence the ledger/consensus/storage/replay/protocol. (3) Be depended on by any BLUE crate. (4) Become a hidden BA-08 / memory-win dependency. (5) Be invoked outside ADE_MEM_PHASE_DIAGNOSTIC on a production path. Enforced by ci_check_mem_diag_quarantine.sh.
Inbound deps: ade_node ONLY (behind the toggle).
Outbound deps: libmimalloc-sys (["extended"]). No workspace crate.
Entry points: ade_mem_diag::force_allocator_collect_for_diagnostic_only.
Creates (RED-only): No public type. One public fn: force_allocator_collect_for_diagnostic_only(). NOT canonical-counted.

—

—