Rust UB Risk Audit - make unsafe assumptions explicit

Use this skill to review Rust code for undefined behavior risk at the points where the compiler cannot enforce the full contract: unsafe code, FFI, raw pointers, aliasing, layout assumptions, lifetime extension, concurrency, and dependency boundaries. The goal is not to prove the program safe. The goal is to produce a precise inventory, identify broken or undocumented safety contracts, and leave the project with fixes and verification steps that match the actual risk.

Critical Constraints