خسرت Apple وGoldman آلاف النزاعات داخل حالة لم يعرف أحد بوجودها. وكلّف ذلك 89 مليون دولار.

في يونيو 2020، أضافت Apple نموذجًا إلى مسار نزاعات Apple Card. أمرٌ صغير. قبل التغيير، كنت تنقر على "الإبلاغ عن مشكلة"، فتصل إلى محادثة رسائل مع Goldman Sachs، ويُعالَج نزاعك. بعد التغيير، صار عليك ملء نموذج ثانٍ بمجرد إرسال النموذج الأول.

وإليك ما فعله ذلك الأمر الصغير. إذا أبلغت عن مشكلتك في الرسائل لكنك لم تُكمل النموذج الثاني قط، قرر النظام أن نزاعك غير مكتمل. لم يُرسَل إلى Goldman أبدًا. لم يحقق فيه أحد. ولم تُرسَل أي رسالة إقرار على الإطلاق. وبموجب اللائحة Z، القسم 1026.13، كان كثير من تلك الرسائل الأولى إشعارات خطأ فوترة صحيحة — من النوع الذي يُلزَم الدائن قانونًا بالإقرار به خلال 30 يومًا وحله خلال دورتَي فوترة.

بقيت الآلاف منها معلّقة بلا حراك. مُرسَلة، لكن غير موجَّهة إلى أي جهة. في أكتوبر 2024، أمر مكتب الحماية المالية للمستهلك (CFPB) شركتَي Apple وGoldman Sachs بدفع 89 مليون دولار بسبب ذلك، ومنع Goldman من إطلاق بطاقة ائتمان جديدة دون خطة امتثال ذات مصداقية. لقد أمضيت جزءًا كبيرًا من مسيرتي المهنية داخل عمليات النزاعات لدى جهة مُصدِرة للبطاقات، وحين قرأت ذلك الأمر لم أرَ إهمالًا. رأيت آلة حالات فيها ثغرة، ثغرة أعلم أن كل بنك أعرفه لديه مثلها في مكان ما من سير عمله الآن.

وهذا ما أريد أن أقنعك به في هذا المقال: نظام النزاعات لديك يحوي حالات ميتة لم تكتشفها بعد، والسبب في أنك لم تكتشفها هو أنك كنت تختبر بحثًا عنها بدلًا من أن تُثبت استحالة وجودها. والحل تقنية لم تُعرَض على معظم المصرفيين قط — التحقق الصوري — وهو سبب بنائنا ممارسة Veriprajna للتحقق من الامتثال المالي حولها.

الخلل الذي كلّف 89 مليون دولار كان حالة، لا خطأً

دعني أكون دقيقًا بشأن ما حدث من خطأ، لأن الدقة هي بيت القصيد.

كان سير عمل Apple-Goldman يحوي حالة قابلة للوصول يمكنك وصفها في سطر واحد: كان النزاع في FormA_Submitted AND FormB_Pending. من تلك الحالة، لم يكن هناك أي انتقال إلى Investigation_Initiated. لا شيء. المستهلك الذي توقف بعد الرسالة الأولى بقي هناك إلى الأبد — يستحق إقرارًا بحكم القانون، ولا يستحق شيئًا بحكم منطق النظام نفسه.

لم تُفقَد النزاعات. كانت في المكان الذي وضعها فيه النظام بالضبط. لكن النظام لم يُخبَر قط بأن "هنا" مكان يمكن أن يموت فيه نزاع.

حين استعرض فريقي هذا أول مرة على لوح أبيض، قال أحد المهندسين الأمر البديهي — أنه مجرد خلل، من النوع الذي كنا سنلتقطه في الاختبار. سألته: كيف؟ كان مسار Apple-Goldman واحدةً نقطةَ تكامل بين نظامين. معظم كبار المُصدِرين الذين عملت معهم لديهم من 10 إلى 15 نظامًا تلامس نزاعًا واحدًا — بوابة Visa VROL، ونظام GCMS من Mastercard، ومنصة إدارة الحالات، ودفتر الأستاذ المصرفي الأساسي، ونظام توليد الرسائل، وتغذية مكتب الائتمان، ومحرك الائتمان المؤقت، وحفنة من طوابير التوجيه الداخلية. كل تغيير في واجهة برمجة التطبيقات (API)، وكل تكامل مع شريك، وكل ميزة منتج جديدة يفتح مسارات جديدة عبر تلك المتاهة.

يفحص الاختبار المسارات التي فكرت في تدوينها. وهو، بحكم تعريفه، قائمة بالإخفاقات التي تخيلتها بالفعل. أما الحالة الميتة في Apple-Goldman فكانت إخفاقًا لم يتخيله أحد، ولهذا بالضبط لم يغطّها أي اختبار. لا يمكنك أن تختبر طريقك للخروج من مشكلة لا تستطيع تصوّرها. هذا ليس إخفاقًا في العملية. إنه سقف رياضي.

لماذا لم نكتفِ بكتابة مزيد من الاختبارات؟

أضعت فترة بعد ظهر كاملة في هذا الجدال، فدعني أوفّر عليك تلك الفترة.

كان ردّ المهندس معقولًا: اكتب مزيدًا من حالات الاختبار. غطِّ مزيدًا من المسارات. ارفع نسبة التغطية. فرسمت الأمر. سير عمل النزاع ليس خطًا، بل رسمًا بيانيًا — تفرّعات حسب نوع النزاع، وحسب الشبكة، وحسب ما إذا كان قد صدر ائتمان مؤقت، وأي نظام مواعيد نهائية ينطبق، وما إذا كان نظام شريك قد أقرّ بالتسليم. كل تفرّع يضاعف سابقه. سير عمل فيه بضع عشرات من نقاط القرار يحوي حالات قابلة للوصول أكثر مما ستكتب له اختبارات على الإطلاق، والخطيرة منها هي التوليفات التي لا يجلس أحد ليعدّها لأنها تبدو سخيفة إلى أن تقع.

استمر بعض الوقت. ثم رسمت الانفجار التوافيقي — عدد الحالات يتضاعف، ثم يتضاعف مجددًا — فتوقف. لا يمكنك التغلب على فضاء الحالات بالاختبار. ستنفد منك النقود قبل أن تنفد الحالات.

هذه هي اللحظة التي بدأت فيها أقرأ عن الطرق الصورية بجدية، والتقنية المهمة هنا لها وصف بسيط. مُدقّق النماذج يأخذ نموذجًا لسير عملك وثابتًا منطقيًا — خاصية يجب أن تصحّ دائمًا — ثم يستكشف كل حالة قابلة للوصول، على نحو شامل، بحثًا عن واحدة تنكسر عندها الخاصية. اكتب الثابت المنطقي على هيئة "كل نزاع مُرسَل يبلغ الإقرار خلال 30 يومًا"، ووجّه المُدقّق نحو مسار Apple-Goldman، فيعيد لك الحالة الميتة في ثوانٍ، مع المسار الدقيق خطوةً بخطوة الذي يوصلك إليها. تفعل أدوات مثل TLA+ ذلك للأنظمة الموزّعة؛ والمنطق نفسه ينطبق بسلاسة على سير عمل خاضع للتنظيم بمواعيد نهائية صارمة.

الاختبار يأخذ عينات من المسارات التي تخيلتها. أما مُدقّق النماذج فيزور تلك التي لم تتخيلها.

تصادم المواعيد الذي لا يتولّى مسؤوليته أحد

الجزء الذي يُبقي مديري النزاعات مستيقظين ليلًا أسوأ من حالة ميتة واحدة.

نزاع واحد على بطاقة ثنائية الشبكة يمكن أن يُطلق ثلاث أو أربع ساعات تنظيمية وشبكية في الوقت نفسه. Reg Z يتطلب إقرارًا كتابيًا خلال 30 يومًا وحلًّا خلال دورتَي فوترة، بحد أقصى 90. Reg E، الذي يحكم أخطاء الخصم والتحويل الإلكتروني، يسير على جدول مختلف تمامًا — ائتمان مؤقت وحلّ خلال 10 أيام عمل، مع تمديد قدره 45 يومًا تقويميًا. Visa Claims Resolution يعالج حالات التخصيص (Allocation) حتى 70 يومًا وحالات التعاون (Collaboration) حتى 100. إطار النزاعات من Mastercard يتراوح من 45 إلى 120 يومًا حسب الدورة، ووصفت الصناعة طرحه بأنه أصعب استيعابًا حتى من طرح Visa.

حين تتصادم تلك الأنظمة على نزاع واحد، يتوقف الامتثال على مَن في مكتب النزاعات يتذكّر أيّ موعد نهائي يحكم ذلك الصباح. رأيت محللًا كبيرًا يطبّق توقيت Reg E على خطأ فوترة يخضع لـ Reg Z لأن الاثنين يختلطان تحت ضغط الحجم — وهذا الالتباس بالذات أحد المخالفات التي يبحث عنها مفتشو CFPB. صدر بحق Citizens Bank استشهاد، جزئيًا، لرفضه إشعارات أخطاء الفوترة بسبب إفادة خطية مفقودة. المواعيد النهائية ليست مرنة. إنها ثنائية. إما أنك أقررت خلال 30 يومًا أو لم تفعل.

وهذا هو السبب الخفي الذي يجعل التحقق الصوري يناسب الامتثال المالي أفضل من أي مجال آخر يخطر لي تقريبًا: القواعد رياضياتٌ أصلًا. ثلاثون يومًا ليست مسألة اجتهاد. و"ائتمان مؤقت خلال 10 أيام عمل" ليست انطباعًا مزاجيًا. هذه قيود زمنية على آلة حالات، وقد بُني المنطق الزمني ليُثبت هذا النوع من الخصائص بالضبط — أنه عبر كل مسار ممكن قد يسلكه نزاع، لا تُتجاوَز أي ساعة أبدًا.

بنيت الشيء الخطأ أولًا

أريد أن أحدّثك عن النسخة التي أطلقناها ولم تنجح، لأنها النسخة التي لا يزال معظم السوق يبيعها.

كانت غريزتنا الأولى المراقبة. بناء نظام يتتبّع كل نزاع، ويراقب المواعيد النهائية، ويضيء باللون الأحمر حين يوشك أحدها على التجاوز. لوحات معلومات. تنبيهات. طابور ائتمان مؤقت يعدّ تنازليًا — 9 أيام، 23 ساعة، انطلق. كان عرضه التوضيحي رائعًا. كنت فخورًا به.

ثم عرضته على مسؤولة امتثال في بنك تجريبي، فهزّت كتفيها بأدب. استغرقني الأمر بضعة أيام لأفهم تلك الهزّة. المراقب يخبرك بأن النزاع يحتضر بينما هو يموت. إنه جهاز إنذار دخان. يفترض أن النزاع دخل النظام أصلًا ليُتتبَّع — وهو الافتراض الوحيد الذي حطّمته حالة Apple-Goldman، لأن تلك النزاعات لم تُتتبَّع قط؛ كانت في حالة لم يعرف المتتبِّع أن يراقبها. المراقبة اعتراف بعد وقوع الفعل. إنها البنك يكتشف إخفاقه بنفسه قبل أن يكتشفه المفتش بقليل. لذلك قيمة، لكنه ليس ما احتاجت أن تضعه أمام مجلس إدارتها.

المراقبة تشتري لك الإخفاق قبل المفتش ببضعة أيام. لكنها لا تشتري لك أبدًا الإخفاق الذي لا يمكن أن يقع.

كلّفتنا تلك الهزّة إعادة بناء، وكانت أفضل ما حدث للمنتج. السوق مزدحم بالشيء الذي بنيته أولًا. FINBOA يتتبّع مواعيد Reg E النهائية ويؤتمت الائتمان المؤقت؛ وهو بارع في ذلك. Quavo يؤتمت معالجة النزاعات ويسجّل أرقامًا حقيقية — بلغ أحد اتحادات الائتمان معدل أتمتة قدره 87% خلال شهر واحد. FIS يعالج ردود المبالغ المدفوعة (chargebacks) عبر بوابات الشبكات. كل واحدة منها تؤتمت أو تراقب النزاعات التي تدخل النظام. ولا واحدة منها تُثبت أن نزاعًا لا يمكن أن يُفقَد قبل أن يدخل.

مَن غيرنا يُثبت شيئًا فعلًا؟

بعد إعادة البناء، بحثت عمّن غيرنا يُثبت الأشياء، لا يراقبها، والجواب هو: لا أحد تقريبًا.

الاسم الجادّ الوحيد هو Imandra. تُجري تحققًا صوريًا حقيقيًا في الخدمات المالية — براهين رياضية على الصحة — ويضم عملاؤها Goldman Sachs نفسها. لكن عالمها هو أسواق رأس المال: منطق مطابقة البورصات، وبروتوكولات التداول. أما امتثال المستهلك وReg Z وسير عمل النزاعات — فليست وجهتها، وبتمويل إجمالي يبلغ نحو 5 ملايين دولار لم توجّه اهتمامها إلى هناك.

في هذه الأثناء، تتدفق رؤوس الأموال إلى الركن الآخر من الامتثال. Bretton AI، المعروفة سابقًا باسم Greenlite، جمعت جولة تمويل من الفئة B بقيمة 75 مليون دولار في فبراير 2026 وتخدم البنوك الخاضعة لتنظيم OCC — في مجالات اعرف عميلك (KYC)، ومكافحة غسل الأموال، وإلحاق العملاء. SymphonyAI، منصة Sensa التابعة لها خفّضت الإيجابيات الكاذبة في فحص العقوبات لدى بنك إسباني بنسبة 91.8%. Alloy تنسّق الهوية عبر أكثر من 800 مؤسسة. أموال حقيقية، وهندسة حقيقية — كلها موجّهة نحو الجرائم المالية وإلحاق العملاء، ولا شيء منها موجّه نحو ما إذا كان حلّ نزاعاتك يمكن أن يخالف لائحة تنظيمية.

تلك هي الفجوة، وهي ليست ضيقة. أقرب اللاعبين إلى عمل النزاعات (FINBOA وQuavo) يؤتمتونه دون التحقق منه. والمُحقِّق الوحيد (Imandra) يعمل في سوق مختلفة. اجمع الاثنين فتحصل على ركن من الميدان لا يقف فيه أحد، على حدّ علمي: تحقق صوري موجَّه نحو امتثال نزاعات المستهلك. ذلك هو الركن الذي دخلناه.

الجملة التي أعادت بناء عرضنا

الشيء الذي جعل القيمة تترسّخ في ذهني أخيرًا لم يأتِ من مهندس. أتى من مفتِّشة سابقة جلست معها.

سألتها عمّا تريده فعلًا في الغرفة أثناء مراجعة خطأ فوترة. لم تقل "لوحات معلومات جيدة". قالت، بما يقارب المعنى، إنها تريد أن تعرف أن البنك يستطيع أن يُظهر أن عمليته لا يمكن أن تخلّ بالموعد النهائي — لا أنها عادةً لا تخلّ به. الموقف كله ينقلب على تلك الكلمة الواحدة. شريحة الإقرار المقدَّمة لمجلس الإدارة التي تقول "اختبرناه فنجح" هي اعتراف بأنك لم تفحص سوى المسارات التي فكرت فيها. أما البرهان فيقول شيئًا أقوى قطعيًا: عبر كل مسار يسمح به سير العمل، يصحّ الثابت المنطقي.

والجهات التنظيمية تسير نحو هذا بهدوء من تلقاء نفسها. نشرة OCC رقم 2025-26 أوضحت أن أي طريقة كمّية تقود جوهريًا قرار مخاطر أو امتثال تُعدّ "نموذجًا" — والنشرة صريحة في أن تطوّر الذكاء الاصطناعي أو التعلّم الآلي لا يعفيه من التحقق. اقرأ ذلك بعناية: مُوجِّه النزاعات المؤتمَت صار الآن قابلًا للفحص بوصفه نموذجًا، لا مجرد أداة تشغيلية. والتحقق الصوري هو أقوى تحقق من النماذج موجود. إنه لا يأخذ عينات من السلوك. بل يُثبت الخاصية.

وعلى الجانب الآخر من الأطلسي، قانون الذكاء الاصطناعي في الاتحاد الأوروبي (EU AI Act) يصنّف الذكاء الاصطناعي الخاص بالائتمان والجدارة الائتمانية على أنه عالي المخاطر، بموعد امتثال نهائي صارم هو 2 أغسطس 2026، ونطاق تطبيق يتجاوز الحدود الإقليمية يشمل مزوّدين أمريكيين يخدمون سوق الاتحاد الأوروبي. تصنيف عالي المخاطر يعني أنه يجب عليك أن تُظهر خصائص نظام قابلة للإثبات — الدقة، والمتانة، والإشراف. وهذا، مجددًا، هو بالضبط ما يقدّمه البرهان ولا يستطيع الاختبار تقديمه.

أليس هذا مبالغةً لطابور نزاعات؟

يسألني الناس صيغةً ما من هذا باستمرار، فدعني أواجه الاعتراضات الصادقة الثلاثة مباشرة.

الأول هو التكلفة. يبدو التحقق كأنه مشروع علمي، والبديل الاستشاري — شركة من الأربع الكبار تعيد تصميم عمليتك — يكلّف من 500 ألف دولار إلى عدة ملايين ويسلّمك عمليةً معاد تصميمها لم يتحقق منها أحد رياضيًا. قابِل ذلك بالجانب السلبي. كلّفت قضية Apple-Goldman 89 مليون دولار. أما أمر الموافقة الخاص بـ Wells Fargo، عبر إخفاقات متعددة منها التعامل مع النزاعات، فبلغ 3.7 مليار دولار. أنت لا تشتري التحقق في مقابل تكلفة ترخيص برمجيات كخدمة (SaaS)؛ بل تشتريه في مقابل الاحتمال المتطرّف.

الثاني هو "حجمنا لا بأس به". يُتوقَّع أن تبلغ ردود المبالغ المدفوعة عالميًا 337 مليونًا سنويًا بحلول 2026 وأن ترتفع بنسبة 24% حتى 2028، مع وصول أنواع نزاعات جديدة تمامًا — بما في ذلك نزاعات من وكلاء ذكاء اصطناعي مستقلين يشترون أشياء لم يوافق عليها العملاء قط. المكتب اليدوي الذي "يتولّى الأمر" اليوم هو المكتب نفسه الذي لا تزال فيه 42% من المؤسسات تدير الامتثال بعمليات يدوية، بحسب تقرير Wolters Kluwer للربع الأول من 2026. الحجم المتصاعد مع الذاكرة اليدوية هو كيف تمرّ حالة ميتة دون أن يُلحَظ لها أثر أربع سنوات.

الثالث هو "لقد اجتزنا فحصنا الأخير". وكذلك فعلت Apple وGoldman، على الأرجح، حتى اللحظة التي لم تفعلا فيها. اجتياز الفحص يعني أن مفتّشًا أخذ عينة من مساراتك ولم يصادف المكسور منها. إنها مشكلة أخذ العينات نفسها التي في الاختبار، تلبس شارةً مختلفة.

ما أؤمن به الآن

دخلت عمليات النزاعات وأنا أظن أن الامتثال انضباط قائم على الحرص — أشخاص حريصون، وقوائم تحقق جيدة، ومواعيد نهائية تُحترَم. وخرجت منها مقتنعًا بأن الحرص أداة خاطئة لمشكلة بهذا الشكل. لا يمكنك أن تكون حريصًا بما يكفي لتغطية فضاء حالات يتضاعف في كل مرة يُطلق فيها أحدهم ميزة. لم يفقد الأشخاص الحريصون في Apple وGoldman تلك النزاعات بسبب الإهمال. فقدوها بسبب حالة لم يرسمها أحد.

لذا فإن السؤال الذي أطرحه على أي مَن يدير مكتب نزاعات ليس "هل موظفوك حريصون". إنه أضيق وأبرد من ذلك: هل تستطيع أن ترسم الحالة التي سيموت فيها نزاعك المُسقَط التالي؟ إن لم تستطع رسمها، فلن تستطيع الاختبار بحثًا عنها، وإن لم تستطع الاختبار بحثًا عنها، فالشيء الصادق الوحيد المتبقّي هو أن تُثبت استحالة وجودها. تلك هي المهمة — إثبات أن سير عمل نزاعاتك لا يمكن أن يخالف Reg Z وReg E ومواعيد الشبكات، على كل مسار، قبل أن يعثر مفتّش على المسار الذي فاتك. إن كان ذلك هو الضمان الذي تحتاجه فعلًا، فذلك ما نبنيه.

كانت لدى Apple آلاف المهندسين ومع ذلك كانت لديها حالة ميتة. لم يكن المهندسون قط هم المتغيّر المفقود. البرهان كان هو المفقود.