إصدار عنوان بيتكوين ونوع المجموع الاختباري: لماذا يلزم تطابقهما؟

أ: Bech32 للصفر؛ ب: Bech32m للإصدارات من 1 إلى 16. مطابقة النوع بالإصدار لازمة؛ نجاح الفكّ وحده غير كاف. [1] النتيجة تخص الزوج وحده، ولا تعني صحة عنوان بكل شروطه أو هوية مالك.

• في قائمة مؤلفة، صفر مع أ وواحد مع ب واثنان مع ب توافق المطابقة؛ صفر مع ب وواحد مع أ لا توافقها. لا نستعمل النتيجة حكمًا على عنوان كامل.
• غياب أحد الطرفين يجعل الجواب معلقًا، لا نجاحًا: وجود أ وحده لا يعين الإصدار، ومعرفة واحد وحده لا تثبت النوع الذي استعمل.
• بدائل التصحيح في تمريننا مختلفة؛ تبديل ب إلى أ في صف الصفر يحفظ الإصدار، وتبديل الإصدار في صف مستقل يحفظ النوع. لا نطبق أيًا منها على عنوان فعلي.
• الفحصان الآخران «المعلومات مكتملة في المثال» و«الزوج يوافق» ليسا معنى واحدًا. يمكن لصف مكتمل أن يخفق، كما يمكن لقائمة ناقصة أن تحتاج استكمالًا قبل الحكم.
• في قائمتين مستقلتين، ثلاث موافقات وواحدة مخالفة، ثم اثنتان وواحدة، تعطي خمسًا ومخالفتين من سبعة: 5/7. المعدود نتائج الصفوف، لا عناوين صحيحة فريدة أو أحداث نقل.
• موافقة الزوج لا تستعيد طرفيه. [1] الصفان الأول والرابع في الرسم مثالان مختلفان؛ إضافة شرط يخص أحد الحقول تضيق الاختيارات.

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

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

والحالة الأولى لا تمنح إجابة عن صاحب عنوان، لأننا لم نقدم عنوانًا أصلًا. يمكن تكرار كلمة وافق في نتائج جدولنا، مع إبقاء هذا القيد ملازمًا لها. كلمة نعم تتعلق بسؤال معين عرفناه، لا بحزمة أسئلة عن كل ما قد يهم مستخدمًا حقيقيًا. معرفة ما طلبناه من الفحص تحمي القارئ من تحميل جوابه وظيفة لم نمنحها له.

إذا وصلت رسالة لا تحتوي إلا أ، لم نعرف أي صف كان موضوعها. وجود نوع صحيح الاسم لا يزودنا بالإصدار المفقود. وإذا وصلت رسالة لا تحتوي إلا صفرًا، لم نعرف نتيجة فحص النوع. يحتاج الربط طرفيه كما عرفته المسألة، فلا يكفي عنوان عمود واحد أو علامة صح اختصر صاحب التقرير تفسيرها. يصبح استكمال البيانات خطوة مستقلة عن الحكم الذي ينتظرها.

الصفان الثالث والرابع في الرسم مختلفان في خانة واحدة؛ يمكن وصف ب بأنه المحدث في هذه المادة، لكن صفة الحداثة لا تجعله الخيار الصحيح للإصدار صفر في صفنا الأول. السؤال عن التوافق مع الطرف الآخر، لا ترتيب تاريخي نأخذ فيه الاسم الأحدث ونستبدله بكل اسم يظهر أمامنا.

اختيار صفوف الرسم الموافقة الثلاثة، مرة لكل صف، يجمع ثلاث نتائج مع اختلاف حقولها. التشابه في آخر خانة لا يجعل بقية الخانات متماثلة؛ يحتفظ كل صف بالقيم التي صنعت حكمه. وعند حذف رأس أحد الأعمدة لا يعيد الملخص معطى العمود المحذوف. ما تخبرنا به النتيجة أضيق من البيانات التي أنتجتها.

في قائمة أخرى مستقلة نبدل نوع الصف الأول إلى ب مع إبقاء الباقي، فتوافق اثنان وتخفق واحدة. لم يتغير عدد الصفوف، ولم تتحول الثانية أو الثالثة إلى موضوع جديد. تغيرت خانة واحدة في فرض واحد، ولذلك نستطيع تحديد أي حكم تبدل بسببها. ولا نصلح الرقم الإجمالي بتغيير أحد الصفين الآخرين؛ الخلل المحدد يتعلق بالزوج الذي عدلناه.

لا تحتاج هذه المقارنة إلى سعر عملة أو حالة سوق أو توقيت إنشاء حساب. قدمنا إصدارات وأنواعًا فقط. إضافة مبلغ إلى قصة الصف لا تجعله موافقًا إن كان زوجه يخالف الربط، ولا تغير النوع المطلوب في تعريفنا. نترك أي سؤال مالي خارج هذه المعادلة؛ لا يصنع كبر رقم مالي بديلًا عن المعلومات التقنية التي اشترطها السؤال.

نمنح صفًا من الإصدار واحد دون نوع، وصفًا آخر من النوع أ دون إصدار. لا يصح وصفهما بالموافقة أو المخالفة في تمريننا قبل استكمال الطرف المفقود. أما صف واحد مع أ فمعلوم الطرفين ويخفق بالمقارنة. الفرق بين النقص والمخالفة أن الأول يسمح ببدائل لم نعرف أيها منحته الحالة، بينما الثاني أعطى بيانات تكفي لإجراء الربط المحدد.

في الصف الأول قد يكمل النوع ب المعطى فيوافق، وقد يكمله أ فيخفق. هذان فرعان مستقلان جديدان، لا إجابتان حدثتا للصف الناقص في وقت واحد. لا نختار ب لأنه يجعل التقرير أجمل أو يقلل عدد المخالفات؛ ذلك استكمال من عندنا لا معرفة بما كان في المصدر المجهول. نوضح الاحتمالين لكي نرى لماذا بقي الجواب معلقًا حين حذفنا مدخلًا.

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

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

نبدأ بمثال الصفر مع ب الذي لم يوافق، ونختار فرعًا أول لتعديل النوع وحده إلى أ. صار الزوج موافقًا في التمرين مع حفظ الإصدار. وفي فرع ثان مستقل نبقي ب ونغير الإصدار إلى واحد، فيوافق كذلك. [1] اتفاق النتيجتين لا يعني أن التعديلين متطابقان؛ حافظ كل منهما على طرف وبدل طرفًا آخر. لا نعرضهما تعليمات لإصلاح عنوان حقيقي لأن بياناته لم تقدم.

لو نسخ زميل التعديلين على أنهما تغيير متتابع واحد، فقد ينتهي إلى واحد مع أ، وهو غير موافق لخطوتنا. المثال يوضح سبب ضرورة التمييز بين البديلين والتتابع؛ كان كل تعديل موصوفًا انطلاقًا من الحالة الأولى على حدة. تطبيق أحدهما بعد الآخر ليس الفرض الذي أعطيناه، وإن كانت كل عبارة تعديل تبدو معقولة عند قراءتها دون سياق الفرع.

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

إذا طلب تمرين جديد «أقل عدد خانات نغيرها لجعل الصفر مع ب يوافق»، فالفرعان أعطيا حلين بتغيير خانة واحدة. لا نعلن حلًا وحيدًا ما دام السؤال لم يشترط حفظ أحد الطرفين. وإذا اشترط حفظ الإصدار، انحصر الاختيار في تعديل النوع وفق ربطنا. أضاف الشرط الجديد معلومة للطلب، ولذلك تغيرت مجموعة أجوبته دون أن تتغير قاعدة المصدر.

المطابقة وحدها لا تكفي لصحة عنوان بكل شروطه. [1] نحن لم ننفذها على عنوان فعلي، ولم نقدم بياناتها؛ لذلك لا تجعل علامة وافق في جدولنا حكمًا بأن سلسلة مجهولة عنوان صحيح بكل الشروط. يعزل تمريننا شرطًا لازمًا في النطاق المختار، لا بديلًا عن تنفيذ جميع الخطوات.

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

نستطيع عرض حالات البوابتين المعلومتين: نعم مع نعم توافق الشرط المشترك، ونعم مع لا لا توافقه، ولا مع نعم لا توافقه. لكن نعم مع مجهول ليست صفًا مكتمل المعلومات للحكم الإجمالي. لا نعيد تسمية المجهول لا، ولا نعم، ثم نقدم جدولًا كاملًا ظاهريًا. يحفظ هذا الفصل الفرق بين ما تستطيع البيانات إثباته وما تركته دون دليل.

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

نمنح قائمتين أصليتين مستقلتين: الأولى ثلاثة صفوف موافقة وواحدة مخالفة، والثانية اثنتان موافقتان وواحدة مخالفة. إذا طلب التمرين مجموع النتائج على صفوف هاتين القائمتين، أعاد خمس موافقات ومخالفتين من سبعة. النسبة خمسة على سبعة تحت هذا التعريف. لم نثبت أن القائمة تمثل عناوين فريدة أو مستخدمين أو عمليات دفع؛ المعدود نتائج صفوف أعطيناها فقط.

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

إذا قدم تقرير خمس موافقات دون إجمالي الصفوف، لا نحسب منه نسبة كاملة. ربما كان إجماليها سبعة أو عشرة في مثال آخر. وفي المقابل معرفة الإجمالي وحده لا تعين عدد الموافقات. نحتاج المعلومتين ونطاق العد، كما احتجنا طرفي الزوج في الفحص الأصلي. هذا تشابه منطقي بين مسائل معطاة، لا ادعاء أن العدد الإجمالي يدخل خوارزمية الترميز أو يغير نتيجة أي صف.

ولا نساوي نسبة خمس على سبعة معدل صحة عناوين في المجتمع أو كفاءة خدمة؛ اخترنا الأمثلة ولم نأخذ عينة بحثية من استخدام فعلي. تصف النسبة هذه القائمة المحددة فقط. يمكن أن يساعدها الرسم في عرض الخمس والمخالفتين، بشرط أن يبقى عنوانه مطابقًا للمعدود ولا يمحو النطاق. لا تتحول أرقام مؤلفة إلى إحصاء سوق لأنها كتبت بجوار اسم عملة.

الصفان الأول والرابع في الرسم مثالان مختلفان لهما حكم الموافقة نفسه. [1] لذلك لا يختار الحكم أحدهما وحده. وعند تقييد أحد الحقول تقل البدائل؛ يمكن أن يصبح الاختيار واحدًا أو تبقى عدة خيارات، بحسب القيد الجديد. لا يعيد الملخص حقلًا لم يحتفظ به لمجرد أن صفًا مألوفًا يوافقه.

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

الفائدة للقارئ أن يسأل عما تعنيه رسالة نجاح قبل اعتمادها: أي نوع تحقق، وما الإصدار الذي قرئ، وهل فحص الربط بينهما، وما الذي لم ينفذ بعد؟ أمثلتنا تبين لماذا لا يحل جواب أحد هذه الأسئلة محل بقية الأجوبة. ولأننا لم نقدم عنوانًا أو دفعًا، تظل المقارنات تفسيرًا لقاعدة محددة، لا طلبًا لتعديل بيانات حقيقية أو ضمانًا يتعلق باستعمالها.