تأیید کد منبع

خروجی کامپایلر باید بایت‌کد مستقرشده را بازتولید کند — immutables پوشانده، هیچ چیز دیگری بخشیده نمی‌شود

ایمپورت‌ها دریافت نمی‌شوند. قراردادهای چندفایلی به‌صورت standard-json با همهٔ منابع درون‌خطی وارد می‌شوند.