سيناريو تركيبي واحد · سجلا قرارين
تتبع الإصدار. ثم اختبر دفتر الأستاذ.
يُظهر الإطاران الأولان القرار التركيبي المحلي decision #7 ودرج الأدلة الخاص به. ويختبر الإطار الثالث سجلاً مزروعاً منفصلاً record #3 لطلب التقاعد المبرمج نفسه. ولا يُعدل ذلك decision #7.
01 / الإصدار
المشورة المحددة لا تغادر النظام
تُرجع حزمة السياسات المالية TRANSFORM. تستبدل الشيفرة معلومات عامة وإخلاء مسؤولية قبل إصدار الاستجابة.
يجعل مسار التتبع التصنيف، والسياسة، والتفويض، والالتزام مرئية بوضوح.
02 / الأدلة
التفويض قابل للفحص
يربط درج القرارات الطلب المبرمج بإجرائه المحول والضابط الرقابي المطبق. ويقدم حقائق فنية للمراجعة، وليس استنتاجاً قانونياً.
يمكن لمراجع لاحق فحص المسار الذي أنتج النص المصدر.
03 / فحص التعديل
تم تغيير الإجراء القديم
تعديل محاكى يقلب السجل المزروع record #3 من TRANSFORM إلى ALLOW دون إعادة حساب التجزئة الخاصة به. وتشير أداة التحقق المحلية إلى ذلك الرابط المكسور الأول.
يكتشف هذا الإجراء التعديل المحلي المعروض؛ وتظل الحيازة المستقلة عملاً منفصلاً.
