التحقق من سير عمل النزاعات على البطاقات
في سير عمل تركيبي لما بعد النماذج، يصل إشعار صحيح بوجود خطأ في الفوترة إلى حالة مغلقة في اليوم 6 من النموذج دون إجراء تحقيق. يستكشف التحقق من سير عمل النزاعات (Dispute Workflow Verification) كل مسار يمكن الوصول إليه في هذا النموذج المقدَّم، ويفحص التزاماته المهيأة، ويعرض مسار الأحداث الكامن وراء الخاصية الفاشلة.
93
حالات يمكن الوصول إليها جرى استكشافها
نموذج ما بعد النماذج المُضمَّن
4 من 4
خصائص مهيأة تفشل
النموذج التركيبي ذاته
اليوم 6
يصل الإشعار إلى حالة ميّتة مغلقة
ساعة النموذج، وليست حالة عميل حقيقية
هذه نتائج لنماذج JSON مؤلَّفة وقواعد توضيحية مرمَّزة، وليست استنتاجاً بشأن عمليات النزاعات المباشرة في مصرف ما.
يمكن لأداة التتبع التقليدية تقديم تقارير عن النزاعات التي تتلقاها، لكنها لا تستطيع إظهار المسار الذي أُغلِق من خلاله إشعار صحيح قبل التحقيق إذا كان هذا المسار غائباً عن اختبار الحالة المتوقعة لديها.
يصف أمر الرضا الخاص بشركة Apple الصادر عن CFPB في أكتوبر 2024 استمارة إضافية بعد التقديم الأولي للنزاع وإشعارات مؤهلة لم يتم تحويلها عند عدم إكمال الاستمارة. وتُعد حالة ما بعد النماذج لدينا إعادة بناء توضيحية لنمط الفشل هذا، وليست آلة حالة خاصة بشركة Apple أو إعادة تشغيل لسجلات المستهلكين.
سؤال المراجعة دقيق ومحدد: بعد ورود إشعار صحيح، هل يمكن لأي مسار في النموذج أن يصل إلى حالة يصبح التحقيق بعدها مستحيلاً؟
ينتج مخطط الحالة ونتائج القواعد عن شيفرة Python حتمية تُطبَّق على سير عمل JSON المقدَّم.
01 / MODEL
تحدد المواقع والانتقالات والنطاقات الزمنية والإشارات وتسميات المنتجات أو الشبكات مسارات العمل التركيبية الأربعة.
02 / EXPLORE
يفحص البحث بالاتساع أولاً (Breadth-first search) ما إذا كانت أي حالة إشعار صحيح يمكن أن تقع في فخ بعيداً عن التحقيق، كما يتتبع المسارات في مقابل إشارات التوقيت المهيأة.
03 / REVIEW
تربط النتيجة حكم الخاصية بالرسم البياني، وبالمثال المضاد المرتَّب مع قيم ساعة النموذج، وبشهادة مراجعة قابلة للتصدير.
تكون الخاصية COUNTEREXAMPLE عندما تعثر أداة الفحص على مسار فاشل، وتكون PROVEN عندما تثبت صحتها عبر النموذج المنتهي المستكشف، أو BOUNDED عندما يحد سقف الـ 200 يوم تقويمي من الاستنتاج الزمني. أداة الفحص الحتمية وحدها هي التي تعيّن هذه الحالات. يمكن لوكيل توليف النماذج الاختياري صياغة مسودة نموذج، لكنه لا يتحقق منه.
داخل الجولة الإرشادية المسجلة
تأتي هذه الشاشات من مسارات العمل التركيبية المقدَّمة. ابدأ بالنتيجة الخضراء لخط الأساس، ثم اتبع الفرع الذي لم يفحصه أبداً. تُفتح كل صورة بالحجم الكامل.
01 / COMPARE THE CHECKS
يتتبع نظام التتبع القياسي مسار الاستمارة المكتملة ويُفيد بأنه COMPLIANT. بينما يتساءل استكشاف الحالة عما إذا كان هناك فرع آخر يمكن الوصول إليه قد يفشل. وعلى نموذج ما بعد النماذج المؤلَّف ذاته، يُفيد بأنه NON-COMPLIANT مع القواعد المهيأة.
تُجيب النتيجتان عن سؤالين مختلفين. إذ يقول خط الأساس إن مساره المختار قد اجتاز الفحص؛ لكنه لا يذكر شيئاً عن الإشعارات التي تغادر ذلك المسار قبل التحقيق.
02 / FIND THE BRANCH
في الرسم البياني، ينتقل إشعار من النموذج من Messages Submitted إلى Secondary Form Requested. ويؤدي إكمال الاستمارة إلى المتابعة نحو التوجيه والتحقيق. بينما يصل انتهاء المهلة بدلاً من ذلك إلى Closed Incomplete. تستكشف أداة الفحص 93 حالة يمكن الوصول إليها وتعثر على أربع خصائص مهيأة فاشلة في هذا النموذج المقدَّم.
03 / INSPECT THE WITNESS
تأتي الخاصية الفاشلة مصحوبة بمثال مضاد مرتَّب. هنا يسجل التسلسل في النموذج التقديم في اليوم 0، وطلب استمارة ثانوية في اليوم 1، والإغلاق بانتهاء المهلة في اليوم 6. ولا يصل الإشعار أبداً إلى التحقيق في ذلك المسار.
04 / CHECK THE CHANGE
يرسل النموذج المعالَج المنفصل إشعار الاستمارة غير المكتملة إلى التوجيه والتحقيق بدلاً من إغلاقه. ومع تغيير هذا المسار، تصبح جميع الخصائص الأربع المهيأة PROVEN عبر 153 حالة يمكن الوصول إليها. ويعود هذا الاستنتاج إلى النموذج المنتهي المقدَّم وخصائصه المرمَّزة.
A SECOND WORKFLOW / TIMING
يختبر مثال الدفعة الليلية فرضية ائتمان مؤقت مشروط مرمَّزة في نموذج تركيبي منفصل. يقيّد أحد المسارات الائتمان في النموذج لأول مرة في يوم العمل 14، متجاوزاً حد الـ 10 أيام عمل لذلك النموذج. وتُرجع أداة الفحص مثالاً مضاداً واحداً من بين سبع خصائص مهيأة عبر 79 حالة يمكن الوصول إليها. وتتطلب استثناءات Reg E الحقيقية والفترات المطبقة مراجعة منفصلة.
المقارنة هنا بين خط أساس للمسار المتوقع واستكشاف الحالة على سير العمل المؤلَّف ذاته. وليست معياراً مقارناً بنظام مصرفي قيد التشغيل.
| مسار المراجعة | ما يراه هنا | ما يتركه معلَّقاً دون حسم |
|---|---|---|
| خط أساس المسار المثالي | يُفيد المسار المتوقع بأنه COMPLIANT. | ولا يستكشف أبداً فرع انتهاء مهلة الاستمارة الثانوية. |
| استكشاف الحالة | 93 حالة يمكن الوصول إليها ومسار إلى ClosedIncomplete دون تحقيق في نموذج ما بعد النماذج المقدَّم. | ما إذا كان النموذج المقدَّم يطابق سير عمل حقيقي. |
| النموذج المعالَج | تثبت صحة جميع الخصائص الأربع المهيأة عبر 153 حالة يمكن الوصول إليها. | ما إذا كانت تلك الخصائص تغطي كل التزام أو استثناء واجب التطبيق. |
مسارات العمل الأربعة وتجهيزات الاختبار المعيارية العشرة هي نماذج تركيبية مؤلَّفة. ولا تحتوي الصفحة على موصل مباشر بمصرف أو شبكة بطاقات أو نظام أساسي أو نظام توليد خطابات أو بيانات مستهلكين، وتُعد الشهادة وثيقة مراجعة للنموذج وليست اعتماداً تنظيمياً. وتعمل ساعات Reg Z وReg E المرمَّزة على تبسيط قاعدة خطأ الفوترة في Reg Z و قاعدة تسوية الأخطاء في Reg E؛ وتتطلب شروط الإشعار والاستثناءات وقابلية التطبيق الفعلية لهذه القواعد تقييماً من قِبل خبراء. وتُعد فترات Visa وMastercard قِيماً مهيأة توضيحية، وليست قواعد شبكات حالية تم التحقق منها.
قد تفوت لوحة المعلومات التي تتتبع الحالات الموجودة بالفعل في قائمة الانتظار لديها إشعاراً صحيحاً لم يدخل تلك القائمة أبداً. في هذا النموذج التركيبي لما بعد النماذج، يُفيد خط أساس المسار المثالي بأنه COMPLIANT، بينما يعثر استكشاف الحالة على مسار من إشعار صحيح إلى ClosedIncomplete في اليوم 6 من النموذج دون إجراء تحقيق. ويعرض المثال المضاد كل حدث على ذلك المسار.
لا. يعني وضع PROVEN أن الخاصية المهيأة أثبتت صحتها عبر الحالات المستكشفة للنموذج المنتهي المقدَّم. ويعتمد الامتثال الفعلي على ما إذا كان النموذج يطابق سير العمل الفعلي المباشر، وما إذا كان الإشعار مؤهلاً، وأي القواعد والاستثناءات تنطبق. هذا العرض التوضيحي هو أداة مساعدة للمراجعة، وليس رأياً قانونياً.
يستخدم العرض التوضيحي المسجل أربعة نماذج تركيبية لسير عمل JSON. وليس له اتصال مباشر بقائمة انتظار مصرف، أو بنظام أساسي، أو بمولد إشعارات، أو بأنظمة Visa أو Mastercard، أو بسجلات المستهلكين. وسيتطلب التقييم الحقيقي أولاً نموذجاً تم التحقق من صحته للعملية الفعلية والالتزامات المطبقة.
بالنسبة للخاصية المهيأة الفاشلة، تُظهر أداة الفحص الرسم البياني للحالة، وأثر مثال مضاد مرتَّب مع أحداث وقيم ساعة النموذج، وشهادة مراجعة قابلة للتصدير. وفي مثال ما بعد النماذج، يصل الأثر إلى ClosedIncomplete بعد انتهاء مهلة الاستمارة الثانوية دون تحقيق. وتسجل الشهادة النموذج المفحوص والحدود المفروضة عليه؛ وهي ليست معتمدة من قِبل جهة تنظيمية.
يستخدم العرض التوضيحي ساعات مرمَّزة مبسطة. إذ يقلص فحص التسوية بموجب Reg Z شرط دورتي الفوترة الكاملتين إلى سقف يبلغ 90 يوماً تقويمياً، كما يستخدم فحص الـ 10 أيام عمل بموجب Reg E تحويلاً ثابتاً بنسبة 7/5 دون احتساب العطلات الرسمية. وتتطلب الاستثناءات والفترات الممتدة وقابلية تطبيق القواعد مراجعة منفصلة من قِبل خبراء.
تم وضع سقف للاستكشاف عند 200 يوم تقويمي. وإذا وصل البحث إلى هذا السقف دون العثور على مثال مضاد لخاصية جدول زمني واجبة التطبيق، تُفيد أداة الفحص بالحالة BOUNDED بدلاً من PROVEN. ويظل أي مثال مضاد يُعثر عليه ضمن المسار المستكشف مرئياً.
لا. يمكن لوكيل توليف النماذج الاختياري اقتراح نموذج لسير العمل عند تهيئته، ولكن شيفرة Python حتمية هي التي تستكشف حالاته وتعيّن الحالات PROVEN أو COUNTEREXAMPLE أو BOUNDED. وتعمل الحالات الأربع المُضمَّنة دون نموذج لغوي كبير (LLM) أو اتصال مباشر بالشبكة.
استكشف الأبحاث ذات الصلة للحصول على سياق أوسع حول هذا العرض التوضيحي.
تتمثل الخطوة الأولى المفيدة في رسم خريطة لمكان دخول الإشعار المؤهل وانتظاره وتوجيهه وإغلاقه.
يمكننا المساعدة في صياغة نموذج سير العمل، واختيار الالتزامات المراد اختبارها، ومراجعة المثال المضاد مع متخصصي عمليات النزاعات والهندسة والامتثال قبل أن يتعامل أي شخص مع النموذج كدليل على عملية حية فعلية.
