السجل

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

الترتيب تحدّده البيانات لا نحن: تُرتَّب القيود بالختم الزمني، ثم باسم المرحلة، ثم بتجزئة الورقة. وهو ترتيب تامّ، فتُنتج المجموعة نفسها الرأسَ نفسه على أي جهاز.

والقيود المفردة معروضة في سجل التدقيق العام.

وسم النشأة

STEADYWRK-RECEIPTS-GENESIS-v1

قيمة النشأة

0d49369e97cfcf77c14fef3c6175663ad473d286cd423b131f83d0f5d3bf190b

قاعدة الورقة

تجزئة الورقة = SHA-256 على القيد مُسلسلًا بصيغة JSON قانونية — مفاتيح مرتّبة في كل عمق، بلا مسافات (يكافئ jq -cS).

قاعدة الوصل

قيمة السلسلة عند n = SHA-256 لـ (السلسلة عند n−1 | n | الختم الزمني | تجزئة الورقة)، والسلسلة عند 0 = SHA-256 لوسم النشأة، والختم الزمني سلسلة فارغة حين يكون معدومًا.

الترتيب

تُرتَّب القيود تصاعديًا بـ (الختم الزمني، ثم المرحلة، ثم تجزئة الورقة) — ترتيب تامّ ومستقل عن الجهاز، فتُنتج المجموعة نفسها الرأسَ نفسه في كل مرة.

التنفيذ

packages/ledger — دوال السلسلة نفسها التي يستعملها سجل الاستشراف.

الرأس دالّة محضة على القيود المنشورة في التغذية. تغييرُ حرفٍ واحد في أي قيد يغيّر الرأس، ويمكنك اشتقاق الرأس بنفسك من البيانات المنشورة دون أن تثق بهذا الخادم ولا بحكمه.

لا مفتاح توقيع مثبَّت، ولا يُصطنع واحد. التوقيع المنفصل هو الأداة التالية التي يحتاجها هذا السجل، وإلى أن توجد يقولها السجل على وجهه بدل أن يوحي بقوة لا يملكها.

أداة التحقق ملف واحد بلا اعتماديات. لا تطلب أي بيانات اعتماد، ولا تطلب منّا شيئًا وراء التغذية العامة. اقرأها قبل أن تشغّلها — هي قصيرة عمدًا، حتى تكون قراءتها أرخص من الثقة بها.

1. 01اقرأ التغذية المنشورة. تحمل وسم النشأة، وكل قيد، وتجزئة ورقته، وقيمة السلسلة عند كل خطوة.
2. 02أعد حساب كل ورقة: SHA-256 على القيد مُسلسلًا بصيغة JSON قانونية — مفاتيح مرتّبة في كل عمق، وبلا مسافات.
3. 03أعد حساب السلسلة: ابدأ من SHA-256 لوسم النشأة، ثم اطوِ كل قيد بترتيب موضعه في القيمة الجارية.
4. 04قارن قيمتك النهائية بالرأس المنشور. إن تطابقتا، فالرأس دالّة محضة على البيانات التي عُرضت عليك.
5. 05سجّل الرأس وعدد القيود الذي غطّاه. أعد التشغيل لاحقًا: إن بقي ذلك الرأس ظاهرًا في السلسلة، فتلك القيود لم تتغيّر حرفًا.

node scripts/verify-sijill.mjs

الحالات الثلاث مفصولة عمدًا. «تعذّر الوصول إلى التغذية» يجب ألا يُبلَّغ عنه أبدًا بوصفه «السلسلة مكسورة»، وإلا صنع السجل إنذارًا من اتصال منقطع.

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