Module thread_safety 

Thread Safety Primitives

Based on “Formal methods for the unsafe side of the Force” (Antithesis, 2026). Provides rigorously defined primitives for bridging FFI and multi-threaded boundaries.

Structs

MainThreadToken

A witness of execution that exists solely on a designated “Main Thread”.

SendWrapper

A wrapper that allows sending non-Send types across thread boundaries.