Язык Ada допускает определённые зависимости от целевой машины контролируемым способом. Каждая реализация Ada должна документировать многие характеристики и свойства целевой системы. Этот Справочник содержит конкретные требования к документации. Кроме того, многие характеристики, требующие документации, определены в этом Справочнике как зависящие от реализации. Наконец, этот Справочник требует документации о том, соблюдаются ли рекомендации по реализации. Следующие подпункты содержат сводки этих требований к документации.