الخلاصة

  • يحدد RFC 9581 الوسوم 1001 و1002 و1003 للوقت الممتد والمدة والفترة، مع حقول للمقياس الزمني وفئة الساعة ودقتها وتباينها وعدم اليقين والضمان المعلن.
  • دقة التمثيل ليست دقة القياس. ومن دون هوية المصدر وحالة المزامنة وفترة العمل الحر وربط الساعة الرتيبة، لا يثبت الطابع ترتيباً سببياً أو موعداً محققاً أو نتيجة تطبيقية.

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

يعالج RFC 9581 مشكلة حقيقية في تبادل الزمن. يخصص الوسم 1001 لوقت ممتد، و1002 لمدة، و1003 لفترة. وتثبت صفحة RFC Editor وDatatracker وسجل الوثيقة وصفحة التصويبات أصل المعيار وحالته، لا حالة ساعة بعينها.

البنية الصحيحة لا تستعيد تاريخ القياس

تتطلب خريطة الوسم 1001 مفتاح وقت أساسي غير موقعاً واحداً بالضبط. يحمل المفتاح 1 ثواني شبيهة بـPOSIX، ويتيح 4 و5 الكسور العشرية أو الأعداد العائمة الكبيرة. وتضيف المفاتيح السالبة كسوراً من المللي ثانية حتى الأتوثانية ومعلومات مكملة.

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

يوضح RFC 9581 الفارق بمثال يحمل ميكروثواني ويعلن عدم يقين مقداره مللي ثانية. عدد الخانات خاصية للوعاء، وليس شهادة على معرفة لحظة الحدث.

حقل الضمان يسجل ادعاء الضمان

تميّز مفاتيح المقياس بين UTC بعصر POSIX وTAI بعصر PTP. ويعني غيابها UTC. المفتاح 13 حرج، بينما النظائر السالبة اختيارية. قد يحتفظ المستهلك بالعدد ويفقد سياقاً لم يفهمه.

تستعير فئة الساعة والدقة والتباين مفاهيم PTP الواردة في RFC 8575. يحمل -7 عدم يقين موسعاً عند k=2، ويحمل -8 أقصى انحراف مضمون معلن. ويقول RFC صراحة إن ضماناً كهذا غير ممكن نظرياً، لكنه يتيح تمثيله لأن نظماً مثل RFC 3161 تحتاج إليه.

التمثيل ليس سند الضمان. لا تحدد الخريطة صاحب الالتزام أو المعايرة أو الساعة الرئيسية أو تأخر المسار أو آخر مزامنة أو حالة العمل الحر والإنذار. يصف RFC 5905 NTP، وتعرض خدمة NIST للوقت مصدراً تشغيلياً خارج الحمولة، وتشرح منشورات BIPM/JCGM عدم يقين القياس. وجود -7 لا يثبت تطبيق هذه السلسلة.

المنطقة الزمنية ليست موقع الجهاز

يحمل -10 و10 تلميح المنطقة، ويحمل -11 و11 معلومات لاحقة وفق RFC 9557. تفيد هذه البيانات في العرض والتفسير، ولا تثبت الموقع المادي أو الولاية أو منشأ الحدث. وقد يضيع فرق UTC الرقمي الأصلي عند التحويل إلى قيمة POSIX.

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

الفترة السليمة ليست إيصال إنجاز

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

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

تمنع طبقات الواقع لدى Heng Lu الرمز من استعارة سلطة الآلة. وتفصل أولوية الشيفرة العاملة بين التوافق والحقيقة التشغيلية. ويطلب سبب وجود BTW Media إظهار الحلقة الناقصة بدلاً من بيع مظهر الدقة.

المصادر