انتقل للمحتوىBlockAssay

نطاق التحقيق والفرضيات

P10-L01 · P10 · P10-M01

عرّف سؤالًا قابلًا للدحض ونطاقًا محدودًا للشبكة والزمن

ILLUSTRATIVE · needs_review

المتطلبات السابقة: P08-L08 · P09-L08

أهداف التعلم

  • عرّف سؤالًا قابلًا للدحض ونطاقًا محدودًا للشبكة والزمن
  • اكتب اختبارًا ناقضًا قبل فحص رسم.

أهمية الموضوع

يجمع سؤال مبهم مثل «من وراء هذا الرمز؟» التمويل والتحكم التقني والهوية والدافع خفية. يسمح سؤال محدود لمحلل ثانٍ بالاختلاف باستخدام السجلات نفسها بدل رواية منافسة.

الشرح

ابدأ بادعاء يمكن أن يفشل. سمّ الشبكة ومعرّف الأصل الدقيق وفترة الكتل وشرط الحدث. افصل الرصد المطلوب عن الفرضية الممكن إسنادها. «هل موّل المخرج ⁦X⁩ المدخل ⁦Y⁩؟» سؤال سجل؛ يحتاج «هل يتحكم الشخص نفسه بكليهما؟» جسر أدلة مختلفًا.

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

احفظ لكل ادعاء أربعة حقول: سجل ⁦OBSERVED⁩ وتفسير ⁦INFERRED⁩ مع بدائل وحقيقة ⁦UNKNOWN⁩ وهل تكفي الأدلة المتاحة للنتيجة المقترحة. تصف ⁦UNKNOWN⁩ حقيقة مفقودة؛ تصف ⁦INSUFFICIENT EVIDENCE⁩ قرارًا بشأن ادعاء. قد يرصد تقرير تحويلًا ويرفض نتيجة ملكية.

المصطلحات الأساسية

النطاق: الشبكة والأصل والفترة والشرط.

الناقض: سجل يناقض الاختبار المعلن.

جسر الإسناد: دليل يصل علاقة تقنية بالمتحكم المقترح.

مثال تاريخي

⁦ILLUSTRATIVE:⁩ يستقبل المحلل ⁦R⁩ صورة تدعي أن الأصل الخيالي ⁦T⁩ على الشبكة ⁦N⁩ موّله الفاعل ⁦H.⁩ تظهر الصفوف المفترضة ⁦A → B⁩ عند الكتلة ⁦100⁩ و⁦C → B⁩ عند الكتلة ⁦102⁩؛ لا دليل هوية. النطاق المقترح ⁦N⁩ والكتل ⁦99–103⁩ والأصل الدقيق ⁦T.⁩ ليست التسميات عناوين حقيقية. يسأل شرط السجل هل موّل ⁦A⁩ الحساب ⁦B⁩ خلال الفترة؛ يبقى ادعاء المتحكم البشري المنفصل غير مختبر.

مواصفات العناصر البصرية

لوحة أدلة بعمودين: شرط السجل وشرط الهوية. اعرض ⁦A → B⁩ و⁦C → B⁩ رابطين مفترضين؛ لا ترسم دائرة مالك مشترك. أضف بوابة تغطية ومربع توقف.

التعليق: تحقيق خيالي محدود؛ لا تحدد روابط التمويل إنسانًا.

⁦SPECIFICATION_ONLY⁩ — لم يُنتج الرسم المعروض أو يُراجع مستقلًا.

ما تثبته الأدلة

تُحدد علاقتا تمويل ضمن البيانات المفترضة ويمكن الإجابة عن السؤال المحدود. تجعل الخطة معايير الجمع والرفض قابلة للمراجعة.

ما لا تثبته الأدلة

لا يثبت حدث سلسلة فعليًا أو هوية أو ملكية أو نية أو تاريخ تمويل عالميًا. لا تصير نتيجة صغيرة محدودة اتهامًا.

الأخطاء الشائعة

البدء بالشخص المشتبه فيه؛ اعتبار الوجهة المشتركة ⁦B⁩ تحكمًا مشتركًا؛ توسيع الفترة خفية؛ تفسير صفوف مزود مفقودة إثباتًا لعدم معاملة.

تمرين عملي

اكتب سؤال سجل قابلًا للدحض بجملة وسؤال ملكية منفصلًا. حدّد الفترة وناقضًا وشرط تغطية وشرط توقف. صنّف الرابطين الواردين وادعاء الفاعل ⁦H.⁩

عرض التصحيح المشروح

سؤال السجل: «هل يستقبل ⁦B⁩ تحويلًا من ⁦A⁩ للأصل ⁦T⁩ ضمن كتل ⁦N⁩ البالغة ⁦99–103⁩؟» الناقض: سجلات مفكوكة كاملة للفترة تظهر أصلًا أو وجهة مختلفين. شرط التغطية: تتاح كل الكتل وأنواع الأحداث المعنية. ⁦A → B⁩ و⁦C → B⁩ هما ⁦OBSERVED⁩ فقط ضمن البيانات الخيالية. تحكم الإنسان نفسه ⁦UNKNOWN⁩، والدليل ⁦INSUFFICIENT⁩ لإسناد الفاعل ⁦H.⁩ توقف عند تعذر الحصول على الفترة اللازمة أو جسر الإسناد.

قائمة التحقق

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

الملخص

يبدأ تحقيق قابل للتكرار بادعاء يمكن أن يفشل ونطاق يمكن فحصه.

الملخص

  • حدّد السؤال قبل تفسير الرسم.
  • تحتاج علاقة التمويل وإسناد الملكية أدلة مختلفة.
  • قد تمنع التغطية المفقودة النتيجة.

الدرس التالي

P10-L02

الأدوات

استخدم أداة ⁦BlockAssay⁩ المسماة سياقًا لقراءة الأدلة فقط. لا ينشئ الدرس ناتج أداة أو جلسة حساب أو استحقاقًا. تمرين دون اتصال؛ لا توقّع أو تنشر أو توافق أو تموّل شيئًا.

المصادر وحدود الادعاءات

  • BTC: دليل مطوري ⁦Bitcoin⁩ — المعاملات — تحدد مراجع المدخلات مخرجات معاملات سابقة؛ لا تحدد النصوص البرمجية إنسانًا. الحد: توثيق آلية فقط؛ القيم التوضيحية الأصلية مفترضة، لا أرصاد. للسجلات التاريخية مصدر مجمد منفصل وفجوات جمع صريحة.
  • API: مواصفات واجهة ⁦Esplora⁩ العامة — مسارات ⁦GET⁩ وساتوشيات صحيحة وحقول تأكيد/إنفاق مخرجات مفهرسة. الحد: توثيق آلية فقط؛ القيم التوضيحية الأصلية مفترضة، لا أرصاد. للسجلات التاريخية مصدر مجمد منفصل وفجوات جمع صريحة.

تصنيفات الأدلة

⁦ILLUSTRATIVE⁩ — مدخلات خيالية تمامًا دون اتصال؛ لا رصد حاليًا.

تاريخ الرصد

⁦null⁩ — لا رصد حقيقيًا

إصدار المحتوى

1

تاريخ المراجعة

null

حالة المراجعة

needs_review

مواصفات العناصر البصرية

P10-L01-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

عرّف سؤالًا قابلًا للدحض ونطاقًا محدودًا للشبكة والزمن

تحقيق خيالي محدود؛ لا تحدد روابط التمويل إنسانًا.

لوحة أدلة بعمودين: شرط السجل وشرط الهوية. اعرض ⁦A → B⁩ و⁦C → B⁩ رابطين مفترضين؛ لا ترسم دائرة مالك مشترك. أضف بوابة تغطية ومربع توقف.

لوحة أدلة بعمودين: شرط السجل وشرط الهوية. اعرض ⁦A → B⁩ و⁦C → B⁩ رابطين مفترضين؛ لا ترسم دائرة مالك مشترك. أضف بوابة تغطية ومربع توقف.

رصّ الأرصاد والافتراضات والفجوات والنتيجة عند ⁦390⁩ ⁦px⁩؛ احفظ المعرّفات كاملة ومكافئًا نصيًا كاملًا. يتمرر أي جدول عريض محليًا.

يمكن أن يتبع النثر ⁦RTL⁩؛ تبقى المعرّفات والكميات ومحاور الوقت ⁦LTR.⁩ احفظ اتجاه الاعتماد.

P10-L01-ILLUSTRATIVE-v1

المصادر وحدود الادعاءات

BTC · PRIMARY_DOCUMENTATION

دليل مطوري ⁦Bitcoin⁩ — المعاملات

الادعاء المدعوم
تحدد مراجع المدخلات مخرجات معاملات سابقة؛ لا تحدد النصوص البرمجية إنسانًا.
حدود التحقق
توثيق آلية فقط؛ القيم التوضيحية الأصلية مفترضة، لا أرصاد. للسجلات التاريخية مصدر مجمد منفصل وفجوات جمع صريحة.
تاريخ التحقق
2026-10-02
فتح المصدر الأساسي
https://developer.bitcoin.org/devguide/transactions.html

API · PRIMARY_DOCUMENTATION

مواصفات واجهة ⁦Esplora⁩ العامة

الادعاء المدعوم
مسارات ⁦GET⁩ وساتوشيات صحيحة وحقول تأكيد/إنفاق مخرجات مفهرسة.
حدود التحقق
توثيق آلية فقط؛ القيم التوضيحية الأصلية مفترضة، لا أرصاد. للسجلات التاريخية مصدر مجمد منفصل وفجوات جمع صريحة.
تاريخ التحقق
2026-10-02
فتح المصدر الأساسي
https://github.com/Blockstream/esplora/blob/master/API.md

منشأ مجموعة البيانات

id: P10-L01-ILLUSTRATIVE-v1

dataStatus: ILLUSTRATIVE

observedAt: null

source: Original offline scenario in realOrHistoricalExample

scope: Fictional stipulated labels and values. No wallet, deployment, transaction, token launch or production observation.

اختبر تعليلك

P10-L01-Q1 · يرسل ⁦A⁩ و⁦C⁩ إلى ⁦B.⁩ أي نتيجة تالية قابلة للدفاع؟
P10-L01-Q2 · تُسقط ⁦API⁩ الكتلة ⁦101.⁩ ماذا يفعل التقرير؟
P10-L01-Q3 · أي اختبار يستطيع فعلًا دحض ادعاء التمويل المحدود؟
P10-L01-Q4 · لماذا يفصل التقرير الهوية عن التمويل؟
P10-L01-Q5 · يتعذر الحصول على إيصال لازم. أي نتيجة توقف سليمة؟