Function is_checked_call 

pub fn is_checked_call(mangled: &MangledName) -> bool

Whether mangled is one of this package’s checked reads. Matching the package-export mangled name rather than a receiver name is what makes the typechecker’s rewrite independent of how the symbol was imported — llm.call, models.call under an aliased namespace import, and a named-import call all carry this name, while a user’s own llm binding never can.