الأدوار الأربعة
المشتري
يكتشف فعالية، ويحجز تذكرة بمهلة عشر دقائق، ويدفع، فتصله تذكرة موقَّعة رقميًا — ويستطيع طلب استرداد بشروط معلنة.
ما يُثبته: الحجز الذرّي (عشرون مشتريًا على تذكرتين ← يفوز اثنان بالضبط) · الضريبة بالطرح لا بإعادة الضرب · دفتر قيد مزدوج يتوازن إلى الفلس · شراء يكتمل في ٢٫٨ ثانية مقيسة عند كل تشغيل.
ابدأ من الصفحة الرئيسيةالمنظِّم
ينشئ فعالية بلغتين وأنواع تذاكرها، ويتابع مبيعاته ومستحقاته، ويلغي فعالية فيُردّ لكل مشترٍ فورًا.
ما يُثبته: عزل تام بين المستأجرين: لا مسار واحد يقبل معرّف منظِّم من العميل — يأتي من الجلسة وحدها · والإلغاء يقيّد الفرق دَينًا على المنظِّم لا على الفعالية.
ادخل لوحة المنظِّم- البريد
- studio@hibr.example
- كلمة المرور
- sidr-sadu-5292
- الحساب يُعاد تصفيره يوميًا — فما تغيّره يُمحى، وما يراه التالي هو الحالة المقصودة.
موظف الإدارة
يراجع الفعاليات قبل نشرها، ويبحث في الطلبات بقيودها المحاسبية، ويعطّل منظِّمًا بسبب مكتوب، ويقرأ المطابقة المالية اليومية.
ما يُثبته: مصادقة ثنائية مبنيّة بـnode:crypto وحدها ومختبَرة بمتجهات RFC 6238 · سجلّ تدقيق يرفض التعديل والحذف بمُشغِّل في القاعدة · مطابقة تحرس كل ساق من سيقان القيد لا مجموعها فحسب.
شاهد شاشة الدخوللا تُفتَح للزائر: المصادقة الثنائية إلزامية بعمود NOT NULL في قاعدة البيانات، ونشرُ سرّها يعني نشر مفتاح لوحة تسترد أموالًا وتعطّل منظِّمين. أي أن القيد نفسه هو ما يمنع عرضها — وهذا في ذاته ما تُثبته.
ماسح البوابة
تطبيق Flutter يمسح رمز التذكرة على الباب ويحكم **دون اتصال بالإنترنت**: يدخل، أو مُسحت من قبل، أو لا يدخل.
ما يُثبته: التحقق بمفتاح Ed25519 عام — من يفكّ حزمة التطبيق يجد ما يتحقق به لا ما يوقّع به · والمسح المكرر عبر جهازين يُحسَم بالأسبق زمنيًا لا بالأسرع رفعًا · مُتحقَّق منه على تذكرة إنتاج حقيقية.
افتح الماسحتطبيق Flutter مستقلّ — التحميل الأول نحو ٨ م.ب. الصقْ رمز تذكرة ومفتاحًا عامًّا وشاهد الحكم يقع محليًا بلا اتصال بخادمنا.
ما لا تراه الشاشة
أكثر ما في هذا المشروع لا يظهر في واجهة. هذه أمثلة، وكلٌّ منها مُثبت بأمر لا بادّعاء:
- دفتر قيد مزدوج بمُشغِّل مؤجَّل يرفض أي مجموعة غير متوازنة عند COMMIT — والتصحيح بقيد عكسي لا بحذف.
- حساب المال كلّه في حزمة واحدة بتغطية ١٠٠٪ للفروع، ووحدات صحيحة صغرى لا عشري عائم.
- فحص تحوّر على الادعاءات الحرجة: يُكسَر السطر عمدًا، ويُتأكَّد أن اختبارًا يسقط، ثم يُعاد.
- مساعد اكتشاف يعمل بلا نموذج لغوي: الاسترجاع حتمي، والنموذج — إن وُجد مفتاحه — يصوغ جملة ولا يحسب رقمًا.
- ثمانون مثالًا لتقييم المساعد بسبع لهجات وسجلّات، تُشغَّل في CI بكلفة صفر.
- أرشفة WAL مستمرة وتمرين استرجاع مُنفَّذ على الإنتاج في الاتجاهين.
- ثمانية عشر قرارًا معماريًا مكتوبًا، فيها ما نُقض وما رُفض ولماذا.
الأرقام والبوابات والمصائد في صفحة الأدلةما لا يعمل — ويُقال هنا لا يُكتشَف
- بوابة الدفع محاكاة: لا مال حقيقي، ولا بيانات بطاقة تمرّ عبر أي خادم.
- البريد لا يخرج فعلًا: لا نطاق موثَّق ولا مزوّد بريد بعد — ولهذا لا يوجد «أرسل لي طلباتي».
- لا حساب للمشتري: الشراء ضيف، والطلبات تُتذكَّر على جهازك وحده لا عبر أجهزتك.
- لا تتبّع أخطاء ولا تنبيهات: بُنيت طبقة رصد ثم حُذفت لأنها كانت تسرّب بيانات — والقرار مكتوب في ADR-0018.
- بوابة الإطلاق شُغِّلت بصدق: ٢١ بندًا من ٥٧ خضراء. القوّة في الهندسة والضعف في المنتج والتشغيل.