صيغ مختلفة للنصوص (نقاط إثبات) على الأصول الثابتة للتصاريح