Grundnorm · ما هو حقيقي وما هو سقالة
الحدود، مكتوبة قبل أن تكتشفوها.
في منتج تحقّق، الحدود هي الحجّة، لا الحواشي الصغيرة. كل ما يلي يمكن التحقق منه بتشغيل حزمة SDK المنشورة، باستثناء بند واحد مُعلَّم بأنه مأخوذ على كلمتنا، لأنكم لا تستطيعون التحقق منه، ونحن نفضّل قوله على تركه يمرّ.
كل ما هنا يشير إلى النموذج التوضيحي كما تُرجعه النسخة المثبّتة: grundnorm==0.5.0. الإصدارات اللاحقة تضيف حقولاً وتعيد تسمية أخرى.
المتن العام نموذج توضيحي، وليس نشراً مؤسسياً.
هو يختم 5 مواد من لائحة واحدة. والنظام يعلن ذلك بنفسه، داخل الاستجابة الموقّعة لا في حاشية: النطاق يقرأ corpus demo، وdemoRecordsOnly true، وsealedRecordCount 5. لا شيء فيه نشرٌ لمؤسسة، ولا مؤسسة تقف خلفه.
الموقّعون الثلاثة ليسوا مستقلين بعضهم عن بعض.
يحمل السجل المختوم في النموذج التوضيحي ثلاثة توقيعات صالحة: البرلمان الأوروبي ومجلس الاتحاد الأوروبي بوصفهما موقّعَين سياديين، ومراجعاً قانونياً بوصفه خبيراً. كل واحد منها يحمل اسم DEMO، وكل واحد مفتاح مثبّت، والنصاب مكتمل. ما يقيسه النصاب هو وجود ثلاثة توقيعات صالحة، وهي موجودة. وما لا يقيسه هو ما إذا كانت ثلاثة أطراف قد أنتجتها.
مأخوذ على كلمتنا، لأنكم لا تستطيعون التحقق منه: المفاتيح الثلاثة مشتقة من بذرة واحدة. من الناحية التعمّية، السجل المختوم في النموذج التوضيحي هو طرف واحد يوقّع ثلاث مرات، لا ثلاث مؤسسات تتفق. ما يمكنكم التحقق منه هو النتيجة: الإشهاد يذكر independence بقيمة attested_multi لا verified_multi، وkey_provenance بقيمة pinned_demo، وdemo_keys true، والحكم يرفض أن يصف نفسه بأنه ذو حُجّية.
الإشهاد يعلن حالة الـ custody الخاصة به، وهي ليست جيدة.
custody unverified. ledger unanchored. classification not_present. هذه الحقول الثلاثة تسافر في كل استجابة. طبقة تحقّق مهمتها الأولى أن تخبركم إلى أي حدّ يمكن الوثوق بها عليها أن تكون مستعدة لقول هذا، وأن تقوله داخل الحمولة لا في صفحة لا يقرأها أحد.
برهان الغياب حقيقي، ونطاقه محدود.
اطلبوا معرِّفاً لا يحتفظ به النموذج التوضيحي، فتحمل الإجابة برهان عدم إدراج تعمّياً: absence proven. هذا لا يثبت أن المادة غير موجودة في قانون الاتحاد الأوروبي. بل يثبت أنها ليست موجودة داخل نطاق معلَن وموقَّع، ولهذا يُسمّى الحقل proves بقيمة attributable_scope_statement.
هذان محوران منفصلان عن قصد. يمكن أن يكون البرهان صالحاً بينما يبقى البيان غير ذي حُجّية، ولا تدمجهما حزمة SDK أبداً في حقل واحد. النظام الذي يبلّغ بقيمة ok واحدة سيكون عليه أن يختار أيّ الحقيقتين يخفي.
خاصية واحدة لا يمكن إعادة إنتاجها هنا، ولن نزيّفها.
يحتوي النموذج التوضيحي على 5 مواد و6 ذرات إلزامية، وكل واحدة منها في الحالة fixed. ولا واحدة منها في needs_review أو for_the_court. وعليه فإن الخاصية التي نعدّها الأهم، وهي أن التباين الحقيقي بين قراءات مختصة يُسجَّل ويُحال إلى محكمة بدل أن تحسمه الآلة، ليست شيئاً يمكنكم إعادة إنتاجه بما هو منشور.
ختم سجل متباين عن قصد يعني اختلاق خلاف لم يعثر عليه المحرك، وهو بعينه الخلل الذي وُجد هذا المنتج لمنعه. 5 مواد اختيرت لعرض خط المعالجة لا تنتج تبايناً حقيقياً، ونحن نفضّل ترك الحجّة بلا برهان على أن نبرهن عليها بكذبة.
ما تغلقه الحقبة، والأمور الثلاثة التي لا تغلقها.
برهان عدم الإدراج يبيّن أن هوية ما غائبة عن المجموعة المُلتزَم بها. هذا كل ما يبيّنه. وهو لا يثبت الحداثة: قد يكون السجل قد صار مُستبدَلاً ولن تخبركم الحقبة بذلك. وهو لا يكشف توقيعاً محذوفاً. وهو لا يغلق الالتباس، حيث يلتزم موقّع واحد بمجموعتين مختلفتين أمام قارئين مختلفين. إغلاق ذلك يحتاج شهوداً مستقلين يشاركون في توقيع الرأس، وهو ما لا تفعله هذه النسخة. والحدود تسافر داخل الاستجابة.
رقمان يبدوان الرقم نفسه.
يعدّ sealedRecordCount السجلات المختومة داخل النطاق الذي سألتم عنه. ويعدّ epoch.treeSize الهويات المُلتزَم بها في الحقبة. اليوم يقرأ كلاهما 5، وهذه مصادفة في هذا المتن لا قاعدة. اختموا سجلاً سادساً دون إعادة نشر الحقبة، فيتباعد الرقمان. استشهدوا بأيّهما شئتم، لكن لا تقدّموهما رقماً واحداً.
لا يوجد رقم للدقّة، ولن يوجد.
هذا موقف، لا مهمة لم يصل إليها أحد بعد. رقم يُقاس على متن واحد من القواعد، بلغة واحدة، ضمن تقليد قانوني واحد، لا يقول شيئاً عن سواه، ومتوسّط هذه الأرقام ينتج رقماً بلا مرجع. الصحّة تُثبَت في كل تكليف على حدة، مقابل متن المؤسسة نفسها وعلى يد الحقوقيين التابعين لها. تعاملوا مع أي رقم دقّة مفرد بريبة، بما في ذلك رقم لنا إن عُرض عليكم يوماً.
لماذا توجد هذه الصفحة أصلاً
صفحة عن الصدق لا يمكن أن تخطئ حتى في اتجاه التواضع. قالت مسودة سابقة من هذه الصفحة إن النموذج التوضيحي موقَّع بمفتاح ننشره. وهو ليس كذلك، وقد صحّحنا ذلك قبل النشر، لأن الاعتراف بأمر غير صحيح لا يقلّ عدم دقّة عن إخفاء أمر صحيح، وهو هنا أسوأ: القارئ الذي يتحقق سيجد أننا بالغنا في وصف ضعفنا، ولن يبقى لديه بعدها سبب لتصديق البقية.
العودة إلى Grundnorm