تحديد الموقع دون GNSS · مستودع خاص · 9 حزم
تحديد موقع يعرف إلى أي حد قد يكون مخطئًا.
كل طريقة ملاحة لا تعتمد على الأقمار الصناعية لها نمط الإخفاق نفسه: تُنتج رقمًا واثقًا لكنه خاطئ، ولا شيء في المراحل اللاحقة يستطيع كشف ذلك. pnt-stack تسع حزم مبنية على القاعدة المعاكسة: كل طبقة تمرّر عدم اليقين الخاص بها إلى الأعلى، وترفض تأكيد موقع لا تستطيع دعمه.
الفكرة
الرفض مُخرَج من الدرجة الأولى.
قراءة العمق التي تصل دون مرجعها ليست رقمًا يُستخدم بحذر. إنها رفض يسمّي ما هو ناقص. يتكرر هذا الشكل في كل طبقة، وهو ما يتيح لقمة الحزمة أن تقول ACT أو CAUTION أو REFUSE وتعني ذلك.
عدم اليقين ينتقل إلى الأعلى
`celnav` يُرجع موقعًا ومصفوفة تغاير وقطعًا ناقصًا للخطأ ومستوى حماية. تحديد الموقع بلا حدّ ليس تحديدًا للموقع.
مصادر تفشل بطرق مختلفة
أخطاء الرصد الفلكي والمغناطيسي وقياس الأعماق غير مترابطة، لذا يستطيع `pntfuse` مقارنتها ببعضها واستبعاد المعطوب منها بدلًا من إدخاله في المتوسط.
مدعوم ≠ آمن للثقة به
توجد حالة `CAUTION` لأن الموقع قد يكون مدعومًا جيدًا بالأدلة ومع ذلك يكون التصرّف بناءً عليه خطأً.
تسع حزم · 12,725 سطرًا · 3,923 سطرًا من الاختبارات
السلسلة، من البداية إلى النهاية.
استشعار
المدخلات بصيغة NMEA 0183. كل كمية تحمل عمرها، ومرجعها الجيوديسي، والسبب الذي يمنع الوثوق بها.
celnav
اختزال الأرصاد الفلكية، والمربعات الصغرى الموزونة، وقطع ناقص للخطأ، ومستوى الحماية، واكتشاف الأعطال بمربع كاي.
magnav
التعويض المغناطيسي الجوي والملاحة بمساعدة التضاريس، كلاهما على بيانات طيران حقيقية.
pntfuse
مراقبة السلامة عبر المصادر واستبعاد الأعطال، بالجمع بين مصادر تفشل بطرق مختلفة.
الغلاف
أغلفة صلاحيات مُعتمدة مسبقًا، وسجل قرارات مقاوم للعبث ومتسلسل بالتجزئة، موقّع بـ Ed25519.
قيد التنفيذ
نوبة المراقبة التي تعمل لأسبوع عبر إعادة التشغيل، وتكتب سجلًا يصمد أمام انقطاع التيار.
helm
ACT / CAUTION / REFUSE. اختباراته الـ 26 قواعد صدق، لا تخطيط.
السلامة
عُيِّر ليعطي 4.915% مقابل قيمة حقيقية قدرها 5% قبل أن يُسمح له بقياس أي شيء.
bridge
الحدّ الفاصل بين المُقدِّرات والشيء الذي عليه أن يقرر.
skymaths هي وحدة فرعية (submodule)، لا نسخة. تبقى مرجعية في مستودعها العام الخاص لأن TerraFirma وStarwheel يعتمدان عليها أيضًا. تضمين نسخة منها داخل المشروع هو ما جعل TerraFirma منحرفًا بأحد عشر بكسلًا لمدة عام.
الجزء الذي تُغفله معظم المشاريع
ما يُقاس، وما هو مكتوب فقط.
هذا الجدول منسوخ من ملف SYSTEM.md الخاص بالمشروع، والذي وُجد تحديدًا للفصل بين الاثنين. الصفوف غير المُجمِّلة هي بيت القصيد.
| الطبقة | الحالة | الأدلة |
|---|---|---|
تعويض magnav | مُقاس | 22.8× عبر الرحلات على بيانات طيران حقيقية من DAF-MIT |
التنقّل عبر magnav | مُقاس | 6.64 m DRMS بعد المعالجة / ~28.5 m بشكل سببي، أربع رحلات طيران، واحدة محجوزة للاختبار |
skymaths | مُقاس | الشمس 0.01 ميل بحري، القمر 0.17، الكواكب 0.02 مقارنةً بأمثلة Meeus المحلولة |
integrity | معايَر | 4.915% مقابل 5% حقيقية، قبل أن يُسمح له بقياس أي شيء |
| مُطابِق قياس الأعماق | تم التحقق مقابل التوأم | قمم متطابقة على 30 مقطعًا مشتركًا من المخطط الحقيقي، والرفض 1:1، وDRMS تساوي 12.76 m في الجانبين |
pntfuse | المنطق مُختبَر | 55 اختبارًا؛ نموذج الخطأ المغناطيسي حقيقي، أما تحديد الموقع فمُولَّد اصطناعيًا |
envelope | المنطق مُختبَر | 24 اختبارًا، Ed25519، بسلسلة تجزئة |
sense | لم يلتقِ بأي ناقل (bus) قط | 48 اختبارًا؛ رُفض 7 من 9 أعطال مُحقَنة، وتبيّن أن 2 منها غير قابلين للكشف. كل جملة اصطناعية |
underway | لم يلتقِ بقارب قط | 39 اختبارًا؛ لم يُفتح أي منفذ تسلسلي |
celnav | لم يرَ أي رصد قط | رياضيات صحيحة، وصفر معالم مرئية |
| المرجع العمودي | بلا أي عتاد على الإطلاق | وهو يطغى على كل تحديد موقع فلكي |
الوضع بصدق: لا شيء في هذه الحزمة لامس الواقع. النتائج المغناطيسية قياسات حقيقية على بيانات طيران لشخص آخر باستخدام خرائط شخص آخر. كل ما هو فلكي رياضيات صحيحة لم ترَ رصدًا واحدًا قط. الفجوة الأهم تكلّف نحو £25 لسدّها.
القاعدة نفسها كما في كل شيء آخر هنا.
يرفض PANTHEON أن يسمح لوكيل بالتصرف دون صلاحية. وهذا يرفض أن يؤكد موقعًا لا يستطيع دعمه. إنها الغريزة نفسها: النظام الذي يمتنع أكثر فائدة من نظام يخمّن، مطبّقةً على مشكلة بلا عملاء ولا موعد نهائي.
اسأل عن هذا المشروع: ما الذي يُقاس، وما الذي هو مكتوب فقط.
- ما الذي يُقاس فعلًا هنا؟
- ما الذي لم يُختبر قط؟