Function current_fault_kind 

pub unsafe fn current_fault_kind(ctx: *mut RuntimeContext) -> FaultKind

Read the current fault kind from a context’s pending_fault slot (§9.2). Returns FaultKind::None if no fault is pending or the slot is null. Used by crate::crash_snapshot::praxis_snapshot_debug_chain to record which fault kind triggered the snapshot.

Safety

ctx must be live and wired (a null pending_fault yields None).