Function check_program 

pub fn check_program(
    stmts: &[Stmt<'_>],
    interner: &Interner,
    registry: &TypeRegistry,
) -> Result<TypeEnv, TypeError>

genuine type contradictions (e.g., Let x: Int be "hello"). Ambiguous types fall back to LogosType::Unknown silently.