Function within_kernel_depth 

pub fn within_kernel_depth(term: &Term) -> bool

Whether syntax is within the kernel’s existing term-depth limit.

This is a pure admission predicate, not a typing judgment or a kernel/TLS entry. It does not establish that recursive work already has a sized stack.