Проверка политик OpenShell от Nvidia пропускает адрес метаданных облака

Разработчик собрал из исходников CLI openshell-prover — SMT-проверщик политик рантайма OpenShell для ИИ-агентов от Nvidia — и прогнал 29 пар «кандидат/граница». Проверка ловит почти все эскалации, но пропускает доступ к 169.254.169.254 и другим адресам link-local и loopback, исключённым из модели в ip.rs.

• 29 проверок: эскалации прав и смену протокола ловит, адрес метаданных — нет
• 169.254.169.254 проходит даже против пустой границы без сетевого доступа
• Loopback, link-local и 0.0.0.0 исключены из модели в ip.rs
• Прокси рантайма блокирует эти диапазоны отдельно, но CLI об этом не сообщает