כתבה
arXiv cs.AI ·
בדיקות עצמאיות לא עצמאיות: מקרה ספציפי של כשל תמונה-משותף בפיפליין של קטלוג חלל
Independent Verification Paths Are Not Independent: A Case Study of Common-Mode Failure in a Satellite Catalogue Pipeline
כשל תמונה-משותף בפיפליין של קטלוג חלל. נמצאו שלושה שגיאות ואחת מהן הייתה יותר מארבע פעמים גדולה מהאמת. שני הדרכים ששימשו לבדיקה נגעו לאותו קבוע, שהכיל שגיאה בפרשנות של ווקבולריות. הבדיקה נכשלה גם כשנסתייע בקורקטור. הפיפליין נבדק עם שלושה דגמים קבועים וכלי ניבוי חסומים.
תקציר מקורי באנגליתarXiv:2609.37603v1 Announce Type: cross Abstract: A common safeguard for a data pipeline is redundant computation: derive each published number by two routes built on different technology and refuse to exit when they disagree. We report one such gate failing, in a cross-catalogue integrity study of two open registers of Earth-orbiting objects. A gate comparing a set-based Python path with SPARQL queries over the emitted RDF graph printed ALL CROSS-CHECKS AGREE on seven counts. Three were wrong, one overstated more than fourfold (932 against 220). Both paths imported the same constants, which encoded a misreading of the source's status vocabulary, so the error was common-mode and the gate could not see it. We give the mechanism, an object-level ledger reconciling every figure, and three che
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית