«هل ستبلغ الحرارة 30 درجة؟» يترك مجالاً لصفقات مختلفة. قد يختلف توقع تطبيق طقس مقرّب عن قياس محطة وعن تقرير رسمي لاحق. يجب أن تحدد السوق أيها يقرر الدفع قبل أن يشتري أحد YES أو NO.
يحوّل المقال السادس من آلية عمل Polymarket وKuest السؤال إلى قاعدة قابلة للاختبار، ثم يتتبّع أدلتها عبر طبقات النظام المنفصلة. تثبت الصفحة المقروءة وبايتات الحسم المثبتة ووثيقة البيانات الوصفية المتاحة أشياء مختلفة.
أعد صياغة السؤال حتى يصل قارئان إلى الإجابة نفسها
نحتفظ بالمرصد A والمدينة B والتاريخ C الخيالية. يجب أن تحدد عبارة «عند 12:00» هل تعني وقت الرصد أم مهلة النشر؛ فهما حدثان مختلفان. أعد صياغة العنوان: «هل سيكون رصد المرصد A للمدينة B عند 12:00 UTC في التاريخ C مساوياً لـ30.0°C أو أعلى؟» ثم حدد الدليل:
استخدم ملف CSV الرسمي للرصد اليومي للمرصد A، والمحطة B-01، للتاريخ C. اقرأ حقل حرارة الهواء بالدرجات المئوية للسجل ذي الطابع الزمني 12:00:00 UTC. استخدم أحدث مراجعة رسمية متاحة بحلول 13:00:00 UTC في التاريخ C، بما فيها مراجعة منشورة عند تلك المهلة تماماً. قارن القيمة الرقمية المنشورة مباشرة بـ30.0 ولا تقرّبها مرة أخرى. تعني القيمة الصالحة 30.0 أو أعلى YES، والقيمة الصالحة الأدنى NO. تجاهل التوقعات والمحطات الأخرى والمراجعات اللاحقة. إذا كان السجل قد سُحب عند المهلة، أو تعارضت سجلات دون ترتيب مراجعات معتمد، أو لم يتوفر سجل صالح، فاستخدم نتيجة تعذّر البيانات المحددة.
في السوق الحقيقية، استبدل كل اسم وتاريخ خياليين برابط مصدر دقيق ومعرّف محطة وتاريخ تقويمي وتعريف للحقل. عبارة «الموقع الرسمي» وحدها تترك للقارئ الاختيار بين صفحات ونسخ ومراجعات. يحتاج المصدر البديل أولوية معلنة أيضاً، وإلا أضاف اختياراً جديداً بعد معرفة النتيجة.
هنا تعني 29.96 نتيجة NO حتى لو عرض تطبيق 30.0. والتصحيح من 29.9 إلى 30.1 قبل المهلة يعني YES؛ التصحيح نفسه بعدها لا يغير الرصد المختار. المساواة YES صراحةً، فلا يبقى تعادل غامض عند العتبة.
وقت الرصد يختار السجل، والمهلة تختار مراجعته، وسياسة الدفع تعالج غياب الدليل.
يجب أن توافق نتيجة تعذّر البيانات مسار العقد المختار. نفترض في هذا المثال التعليمي مهايئاً ثنائياً قياسياً يدعم UNKNOWN: تدفع YES وحدة ضمان وNO صفراً لنتيجة YES، والعكس لـNO، ويدفع كل منهما نصفاً لـUNKNOWN. هذا افتراض صريح للنموذج، لا قاعدة إلغاء عامة ولا سياسة دفع لـNegRisk.
نصف وحدة للرمز ليس ردّاً لسعر شرائه. من دفع 0.80 مقابل YES يتلقى 0.50 في النتيجة المفترضة. تحدد آليات التقسيم والاسترداد الدفع، وتحدد القواعد أي نتيجة مدعومة ينبغي الإبلاغ عنها.
لمهلة المصدر ونهاية التداول ووقت الحسم وظائف مختلفة. الأولى تختار الدليل، والثانية تضبط قبول الأوامر، والثالثة تسجل النتيجة. قد يتوقف قبول الأوامر مثلاً عند 11:55 UTC مع بقاء المراجعات المؤهلة حتى 13:00، ثم يأتي الحسم لاحقاً. يجب على المشغّل ضبط التداول منفصلاً، ولا تمدد معاملة متأخرة مهلة الأدلة.
تتبّع نوعين من الأدلة
تحتاج السوق سؤال حسم محدداً ومعلومات داعمة مقروءة. تعني البيانات الإضافية، ancillary data، بايتات السؤال الزائدة المستخدمة في تكامل أوراكل معين؛ وقد تشمل البيانات الوصفية صوراً وتسميات وروابط. تختلف أغراضهما ولا يصح التعامل معهما كالتزامين قابلين للتبادل.
يمثل مهايئ Polymarket CTF العام مثالاً لبيانات سؤال مسجلة بترميز محدد. تحتاج إعادة حساب الالتزام ذلك الترميز بالضبط، لا فقرة تشبهه بصرياً. افحص الواجهة المنشورة للنشر المختار بدلاً من تعميم المثال على عائلات المهايئات.
يدعم التزام السؤال والوثيقة الخارجية فحصين مختلفين؛ المرجع وحده لا يثبت سلامة المحتوى أو إتاحته.
يسجل عقد Conditional Tokens في Kuest ذي الشفرة المتحقق منها علناً منشئاً ومرجع بيانات وصفية خارجياً. يحدد المرجع موقع المعلومات، لكنه لا يثبت إتاحة الوثيقة أو ثباتها أو تطابقها مع التزام الحسم الأصلي. اجلب الوثائق وقارنها بأدلة السؤال المسجلة.
تصف وثائق إنشاء الأسواق العامة في Kuest واجهة المنتج المدعومة. رفع وثيقة وإعداد شرط وإدراج سوق قابلة للتداول ملاحظات منفصلة. أكد السجلات المعنية بدلاً من استنتاج الثلاثة من شاشة نجاح واحدة.
للمعرّفات المتشابهة وظائف مختلفة
يحدد slug موقع صفحة. ويحدد معرّف السؤال سؤالاً وفق مخطط مهايئه. ويجمع معرّف الشرط الأوراكل ومعرّف السؤال وعدد النتائج في بناء CTF العام. المدخلات الدقيقة مهمة؛ تشابه نص الصفحة لا يثبت تطابق الشروط.
يحدد معرّف المركز الأصل المحفوظ والمتداول. في CTF، يعتمد اشتقاقه أيضاً على الضمان والمجموعة التي تمثل مجموعة النتائج. لا يثبت تطابق العناوين أو slugs تطابق الأصول. يسجل عنوان المنشئ النسبة وبعض الصلاحيات، ويحدد معرّف البيانات الوصفية الخارجية موقع المحتوى الوصفي. لا يستبدل أي منهما معرّف الشرط أو المركز.
حتى «معرّف السؤال» ليس ترميزاً عاماً. في NegRiskIdLib المحدد لدى Polymarket، يشترك السؤال مع معرّف سوقه في أول 31 بايتاً، ويستخدم البايت الأخير لفهرس السؤال. طبّق القاعدة على عائلة المهايئ هذه فقط، لا كل سؤال أوراكل.
حقل metadata في أمر تداول موقّع كائن آخر. مثلاً، يتضمن تعريف CTF Exchange V2 العام حقل bytes32 metadata على مستوى الأمر. وجوده لا يثبت التزام التوقيع بالوثيقة المعروضة للسوق.
التحديث القابل للتتبّع يظل تحديثاً
يسجل امتداد Conditional Tokens في Kuest منشئ الشرط ومرجع البيانات الوصفية الخارجية الحالي. يستطيع المنشئ أو مسؤول CTF استبداله. يزيد كل استدعاء ناجح عدّاداً وتصدر معرّف الشرط والمرجع القديم والجديد وعنوان المحدّث.
لا تجمّد الدالة المفحوصة التحديث عند الحسم، ولا تتحقق من أن النص البديل يشير إلى محتوى متاح وغير فارغ. لذلك لا يعني ثبات معرّف الشرط أن الوصف المعروض حالياً لم يتغير قط. قد يضيف تحديث مرجعاً داعماً أو يصحح صورة؛ قارن الوثائق الفعلية قبل الحكم على تغيّر الفرضية.
قد يثري تحديث المرجع الوثيقة أو يغير وصفها. يكشف الحدث من غيّر المؤشر؛ قارن المحتوى.
تغيير المؤشر لا يعيد كتابة بايتات السؤال الأصلية ولا يمنح حقاً جديداً للإبلاغ عن الدفع. تشتق دالة الإبلاغ في CTF الشرط باستخدام المتصل بوصفه الأوراكل. يضبط المهايئ ومسار الحسم المعدّ له وصول النتيجة إلى الدالة؛ وصلاحية تحرير البيانات الوصفية سلطة منفصلة.
لنفترض أن النسخة A تقول 30.0°C والنسخة B تقول 31.0°C. يُظهر حدث السجل الاستبدال، لكنه لا يثبت أن 31.0 صارت العتبة المشروعة. قارن كليهما بالبايتات الإضافية الأصلية وسياسة التوضيح المعمول بها قبل تفسير التغيير.
تحتاج التوضيحات مؤلفاً وسياسة
لدى Polymarket التزامات سؤال على السلسلة بالفعل. يجزّئ مهايئ UMA CTF بإصداره المثبّت البيانات الإضافية الموسعة ويخزنها، بينما تسجل لوحة الإعلانات تحديثات منسوبة لأصحابها. هذه آليات مهايئ CTF محددة، لا ادعاء ABI لكل مسار Polymarket حالي.
يحتاج التوضيح أيضاً مؤلفاً معروفاً وسياسة قابلة للتطبيق. في مثال Polymarket العام، لا يعيد منشور منسوب إلى صاحبه كتابة البيانات الإضافية الأصلية. لا تعتبر أي تصريح عابر يذكر السؤال تعديلاً رسمياً.
تقول وثائق الحسم الحالية في Polymarket إن سياق التوضيح ينبغي أن يحافظ على القصد الأساسي. تحديد عمود CSV تغير اسمه قد يوضح الدليل، أما استبدال عتبة 30.0 بـ31.0 فيغيّر الفرضية. يثبت الطابع الزمني وقت تسجيل التصريح، لا مشروعية سلطته.
تحقق من المسار بين المرجع والشاشة
تتبع المراجعة العملية الأدلة بالترتيب:
- حدد النشر. سجّل الشبكة وعناوين العقود وعائلة المهايئ ومرجع كتلة. احصل على إيصال الإنشاء وبايتات السؤال الأصلية وهوية الأوراكل والمنشئ ومعرّف الشرط.
- أعد حساب المعرّفات المناسبة. استخدم ترميز ذلك التنفيذ ومعالجة التهيئة وعدد النتائج. افحص معرّفات المراكز مقابل الضمان الفعلي وربط النتائج.
- تتبّع تاريخ البيانات الوصفية. اقرأ مرجع الإعداد والمرجع الحالي والعدّاد وسجلات التحديث. اجلب الوثائق الأصلية والبديلة وقارن التغييرات وعناوين المحدّثين.
- افحص سلامة المحتوى والإتاحة منفصلتين. تحقق من المحتوى باستخدام مخطط المعاملة أو الالتزام الفعلي لنظام التخزين. احتفظ بالبايتات المجلوبة الدقيقة ومصدرها؛ المرجع المسجل لا يقدم وثيقة يتعذر على الجميع جلبها.
- قارن ما يراه المشاركون. طابق المصدر والتواريخ والقواعد وتسميات النتائج المعروضة مع بيانات الحسم الأصلية والسياق المخوّل. الواجهة المقروءة ليست فحصاً مستقلاً لسلامة المحتوى.
الوثيقة المتاحة والمصدر الصحيح والعرض المتطابق فحوص منفصلة. لا يثبت أي منها وحده صحة الحسم.
للمشغّل ذي العلامة، إضافة Kuest المحددة هي مراجع بيانات وصفية مرتبطة بالمنشئ وسجل تحديث ظاهر بجوار بيانات الحسم الأصلية. تدعم قائمة قابلة للمراجعة وعملية نشر منسوبة لأصحابها، لكنها لا تضع كل معلومات السوق على السلسلة ولا تضمن إتاحة الوثائق ولا تحسم خلافاً حول المعنى.
أطلق سوق توقعات خاصاً بك عبر Kuest ومعك جمهور وولايات قضائية محددة، وورقة قواعد مجرّبة، وسياسات المصادر والتصحيح، ومسار حسم مدعوم، وخطة للاحتفاظ بأدلة متاحة. اختبر هذه المدخلات بحالات ملتبسة قبل قبول التداول.