Analitik qanday shaklda sanktsiya ro'yxatlari uchun noaniq tekshiruv talablarini taqdim etdi: tayyor spetsifikatsiya bormi, kim algoritm va taqqoslash chegarasini tanladi?