Function current_execution_scope 

pub fn current_execution_scope() -> Option<ExecutionId>

Currently-active execution scope, or None when no owning program run is active on this task. Verdict issuance treats None as fail-closed.