pub fn init_assertions() -> Result<(), Error>Expand description
Initialize assertion table and each-bucket shared memory only.
This allocates the shared memory regions needed for assertion tracking without requiring a full exploration context. Idempotent (no-op if already initialized).
ยงErrors
Returns an error if shared memory allocation fails.