Function spot_check_bindings 

pub fn spot_check_bindings(
    store: &AnnotationStore,
    code_cache: &CodeCache,
    scope: &Scope,
    n: usize,
) -> SpotCheckResult

Spot-check annotation bindings against parsed code elements.

Collects all annotations in scope, sorts deterministically by (file, binding), takes the first n, and verifies each binding matches a code element name in the same file.