Function scan_program 

pub fn scan_program<'arena, 'ctx>(
    arena: &'arena Bump,
    file: &'ctx File,
    program: &'arena Program<'arena>,
    resolved_names: &'ctx ResolvedNames<'arena>,
    php_version: PHPVersion,
) -> CodebaseMetadata

Scans a parsed PHP program into a CodebaseMetadata snapshot, gating each Mago\AvailableSince / Mago\AvailableUntil symbol against the configured PHP version on the way in.

Items whose claims exclude version are simply not inserted, so the resulting metadata is already version-correct and downstream consumers don’t need a separate filter pass.