Function force_stack_contains 

pub fn force_stack_contains(thunk_id: usize) -> bool

Diagnostic: is thunk_id present anywhere on the current force stack? A true means the SAME thunk pointer is being re-entered (a genuine self-cycle); a false means the blackholed thunk is NOT on the stack (a re-created / distinct thunk — a sharing gap).