P13-L04 · P13 · P13-M01
حدّد تغييرات الامتياز المرصودة وما يبقى غير يقيني
المتطلبات السابقة: P13-L03
أهداف التعلم
- حدّد تغييرات الامتياز المرصودة وما يبقى غير يقيني
- حدّد تغيير حالة بامتياز وقيّد استنتاجات التحويل الانتقائي بالسيناريو المختبر.
أهمية الموضوع
قد يغير سك أو قيد قدرات المستخدم جوهريًا، لكن وجود الشيفرة أو تحويل فاشل واحد لا يثبت مستقلًا استعمالًا خبيثًا عبر كل محفظة.
الشرح
افصل القدرة الممكنة والاستدعاء المرصود وأثر الحالة والنية المنسوبة. لا تكفي دالة اسمها mint: افحص تنفيذها وتفويضها وأي مسار بديل. يحتاج سك ذو امتياز مرصود هوية رمز دقيقة ومطابقة أحداث/حالة وكتلة ومبلغًا. قد تحد الترقيات أو الأدوار البديلة من معنى شعار السقف. قد تكون لدالة قيد أغراض معلنة مشروعة، لكن يجب اختبار آثارها الفعلية عند حالة محددة.
للتحويلات الانتقائية، سمّ فئة المرسل والمستلم والمسار والمبلغ والكتلة وطريقة التنفيذ. لا يثبت نجاح مرسل ذي امتياز قدرة المستخدمين العاديين على الخروج؛ ولا يثبت إخفاق سيناريو عادي إخفاقًا شاملًا. قد ينتج التراجع عن رصيد أو سماح أو مسار أو مهلة أو حالة أو سياسة. تختلف خسارة الناتج الاقتصادية أيضًا عن الرسوم الاسمية. أبقِ التفسيرات المتنافسة والاعتمادات غير المحسومة ظاهرة.
تستخدم البيانات صفوف تنفيذ ورقية، لا محاكاة أو معاملات مباشرة. يسمي المنهج سياق Radar لكنه لا ينتج ناتجًا حقيقيًا هنا. أبلغ عن كل تغيير تقني ضمن النطاق المفترض وامتنع عن إسناد بشر/نية دون دليل مستقل.
المصطلحات الأساسية
القدرة: سلوك ذو امتياز ممكن الوصول إليه.
الاستدعاء: استعمال مسجل لهذا السلوك.
قيد انتقائي: نتائج مختلفة تحت شروط مرسل/مسار معلنة.
نطاق الاختبار: الحالة والمعلمات الدقيقة لرصد تنفيذ.
مثال تاريخي
ILLUSTRATIVE عند الكتلة B: يضيف سك مفترض للدور M مقدار 200 إلى عرض 1000، منتجًا 1200. عند B+1، يفشل المرسل العادي W في تحويل 10 وحدات على المسار R بالسبب POLICY؛ ينجح المرسل ذو الامتياز P بالمبلغ/المسار المذكورين نفسيهما. يُفترض كفاية الأرصدة والسماحات. يغيب التنفيذ وتغطية المسارات الأوسع.
مواصفات العناصر البصرية
مصفوفة أذونات عقد بصف سك M وصفوف تحويل W/P ومعلمات ورقية ونتائج دقيقة. أضف فجوات مسار/مبلغ غير مختبرين بدل شارة مصيدة شاملة.
تسمية توضيحية: تغيير امتياز ونتائج انتقائية خيالية؛ لا استنتاج خروج شامل أو نية.
SPECIFICATION_ONLY — لم تُنتج الصورة المعروضة أو تُراجع مستقلًا.
ما تثبته الأدلة
داخل الخيال، يزيد حساب العرض بمقدار 20%، ولسيناريوهَي المرسلين نتيجتا سياسة مختلفتان. هذه أرصاد ورقية محدودة.
ما لا تثبته الأدلة
لا سك فعلي أو نشر شيفرة أو إخفاق تحويل شامل أو نية ضارة أو هوية متحكم أو نتيجة Radar مستقلة مثبتة. لا يغطي مسار ومبلغ واحدان كل مسار خروج.
الأخطاء الشائعة
تسمية وجود الشيفرة استدعاءً مرصودًا؛ افتراض أن نجاح صاحب الامتياز يثبت الخروج العام؛ تعميم مسار واحد على كل التحويلات؛ اعتبار قيد احتيالًا تلقائيًا.
تمرين عملي
احسب تغير العرض، واكتب جدول سيناريوهات وصنّف «يستطيع الجميع الخروج» و«لا يستطيع أحد التحويل» و«تختلف السياسة بحسب المرسل». سمّ اختبارين مفقودين.
عرض التصحيح المشروح
العرض=1000+200=1200؛ الزيادة النسبية 200/1000=20%. الصفوف:W/10/R/B+1/فشل POLICY؛P/10/R/B+1/نجاح. يُسند الفرق المفترض لهذه الصفوف. لا تُثبت العبارتان الشاملتان. تشمل الاختبارات المفقودة مبلغًا آخر ومسارًا/حالة أخرى بمرسلين عاديين؛ افحص التنفيذ والتفويض قبل إسناد آلية تتجاوز السبب المقدم. تبقى أدلة النية والهوية غير كافية.
قائمة التحقق
- افصل القدرة والاستدعاء والأثر.
- طابق العرض باستخدام وحدات خام متوافقة.
- قيّد المرسل/المبلغ/المسار/الحالة.
- احفظ التفسيرات البديلة والنية المجهولة.
الملخص
تحتاج آثار الامتياز المرصودة وفروق التنفيذ المحدودة سجلات محددة ويجب ألا تصير ادعاءات شاملة أو إجرامية.
الملخص
- ليست دالة ممكنة الوصول دليل استعمالها.
- لا يثبت نجاح صاحب الامتياز خروج المستخدم العادي.
- لا يحسم سيناريو مختبر واحد كل مسارات التنفيذ.
الدرس التالي
P13-L05
الأدوات
استخدم أداة BlockAssay المسماة فقط كسياق لقراءة الأدلة. لا ينشئ الدرس ناتج أداة أو جلسة حساب أو استحقاق خدمة. تمرين دون اتصال؛ لا توقّع أو تنشر أو تمنح موافقة أو تمول شيئًا.
المصادر وحدود الادعاءات
- ERC20: معيار ERC-20 — واجهة الرمز ودلالات السماح؛ لا يثبت المعيار هوية المُصدر أو أذونات آمنة. حد الدليل: وثائق آلية فقط؛ القيم التوضيحية الأصلية مفترضة، لا أرصاد. للسجلات التاريخية مصدر وسياق مجمدان منفصلان وفجوات جمع صريحة.
- PROXY: خانات تخزين الوكيل ERC-1967 — خانات التنفيذ/المسؤول المعيارية؛ لا يثبت التنازل عن دور واحد تعطيل كل مسارات الترقية. حد الدليل: وثائق آلية فقط؛ القيم التوضيحية الأصلية مفترضة، لا أرصاد. للسجلات التاريخية مصدر وسياق مجمدان منفصلان وفجوات جمع صريحة.
تصنيفات الأدلة
ILLUSTRATIVE — مدخلات خيالية بالكامل دون اتصال؛ لا رصد حالي.
تاريخ الرصد
null — لا رصد حقيقي
إصدار المحتوى
1
تاريخ المراجعة
null
حالة المراجعة
needs_review
مواصفات العناصر البصرية
P13-L04-V01
حدّد تغييرات الامتياز المرصودة وما يبقى غير يقيني
تغيير امتياز ونتائج انتقائية خيالية؛ لا استنتاج خروج شامل أو نية.
مصفوفة أذونات عقد بصف سك M وصفوف تحويل W/P ومعلمات ورقية ونتائج دقيقة. أضف فجوات مسار/مبلغ غير مختبرين بدل شارة مصيدة شاملة.
مصفوفة أذونات عقد بصف سك M وصفوف تحويل W/P ومعلمات ورقية ونتائج دقيقة. أضف فجوات مسار/مبلغ غير مختبرين بدل شارة مصيدة شاملة.
رتّب الأرصاد والافتراضات والفجوات والاستنتاج رأسيًا عند 390 px؛ احفظ المعرّفات كاملة ومكافئًا نصيًا كاملًا. يتمرر أي جدول عريض محليًا.
قد يتبع النثر RTL؛ تبقى المعرّفات والكميات ومحاور الزمن LTR. احفظ اتجاه الاعتماد.
P13-L04-ILLUSTRATIVE-v1
المصادر وحدود الادعاءات
ERC20 · PRIMARY_DOCUMENTATION
معيار ERC-20
- الادعاء المدعوم
- واجهة الرمز ودلالات السماح؛ لا يثبت المعيار هوية المُصدر أو أذونات آمنة.
- حدود التحقق
- وثائق آلية فقط؛ القيم التوضيحية الأصلية مفترضة، لا أرصاد. للسجلات التاريخية مصدر وسياق مجمدان منفصلان وفجوات جمع صريحة.
- تاريخ التحقق
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-20
PROXY · PRIMARY_DOCUMENTATION
خانات تخزين الوكيل ERC-1967
- الادعاء المدعوم
- خانات التنفيذ/المسؤول المعيارية؛ لا يثبت التنازل عن دور واحد تعطيل كل مسارات الترقية.
- حدود التحقق
- وثائق آلية فقط؛ القيم التوضيحية الأصلية مفترضة، لا أرصاد. للسجلات التاريخية مصدر وسياق مجمدان منفصلان وفجوات جمع صريحة.
- تاريخ التحقق
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-1967
منشأ مجموعة البيانات
id: P13-L04-ILLUSTRATIVE-v1
dataStatus: ILLUSTRATIVE
observedAt: null
source: Original offline scenario in realOrHistoricalExample
scope: Fictional stipulated labels and values. No wallet, deployment, transaction, token launch or production observation.