⚖️ कोड पढ़कर और harden चरण के दर्ज किए गए रिकॉर्ड से उसका मिलान करके साबित करें कि लागू किया गया हर सुधार कारगर है, फिर जो कारगर हैं उन्हें निपटाएँ।

इस्तेमाल कैसे करें

सब कुछ जाँचें

/lagune-verify

पाथ बताएँ

/lagune-verify src/routes/upload.ts

प्राथमिकता के हिसाब से

/lagune-verify Critical और High

यह कैसे काम करता है

harden चरण ने जिस-जिस जगह को दर्ज किया है, यह वहाँ का कोड पढ़ता है और पुष्टि करता है कि वह सच में दावे से मेल खाता है। यही मिलान, यानी कोड को रिकॉर्ड के सामने रखकर परखना, प्रमाण है। हर नियंत्रण को तीन में से एक फ़ैसला मिलता है:

फ़ैसला	मतलब
✅ Risk closed	कोड ठीक वही करता है जिसका दावा रिकॉर्ड में है।
❌ Risk not closed	नियंत्रण अभी भी खुला है। verify चरण आपको harden चरण पर वापस भेजता है।
❓ Cannot tell from the code	सबूत सिर्फ़ कोड में दिखाई नहीं देता।

जिस जोखिम का बंद होना साबित हो जाता है, उसे आपकी पुष्टि के साथ पूरी चेन से बंद कर दिया जाता है। उदाहरण के लिए:

• फ़ाइल अपलोड (फ़ैसला: ✅ Risk closed)
  • कैसे साबित हुआ: अपलोड हैंडलर पढ़ा और देखा कि वह फ़ाइल का असली प्रकार उसकी सामग्री से पहचानता है, साइज़ की सीमा लागू करता है, और बाक़ी सब कुछ अस्वीकार करता है, ठीक वैसे ही जैसा रिकॉर्ड में दावा है।
  • सबूत: handleUpload फ़ंक्शन, जो सामग्री से फ़ाइल का असली प्रकार पहचानता है।

अगर जोखिम बंद नहीं हुआ है, तो verify चरण यह साफ़-साफ़ बताता है और आपको /lagune-harden कमांड पर वापस भेजता है, क्योंकि सुधार अभी भी खुला है।

tip

• यह पूरी तरह हार्डनिंग रिकॉर्ड पर आधारित है।
• यह आपके कोड को सिर्फ़ परखने के लिए पढ़ता है, और कोई फ़ैसला पास करवाने के लिए कभी किसी नियंत्रण को कमज़ोर नहीं करता, न ही कोड दोबारा लिखता है।
• इसे दोबारा चलाने पर फ़ैसले मौजूदा स्थिति से मिलाकर अपडेट होते हैं: पुराने फ़ैसले हट जाते हैं, और जो जोखिम अब बंद नहीं है, उसे फिर से पकड़ा जाता है।
• जब किसी जोखिम का बंद होना साबित हो जाता है, तो यह एक बार पूछता है, फिर उस निष्कर्ष को पूरी चेन (detect, plan, harden और ट्रैकिंग) से हटा देता है।
• यह अपनी कोई अलग रिपोर्ट नहीं लिखता: हर फ़ैसला .lagune/memory/harden.md फ़ाइल में अपने नियंत्रण वाले ब्लॉक में दर्ज होता है, जहाँ harden चरण अगली बार चलने पर उसे पढ़ता है।

harden चरण पर निर्भर

verify चरण /lagune-harden कमांड के नतीजे पर आधारित है।

चक्र पूरा होता है

जब दायरे में आने वाला सब कुछ बंद हो जाता है, तो चक्र स्थिर हो जाता है। यह तभी दोबारा खुलता है जब कोड बदलता है। सुरक्षा बंद हो सकने वाली चीज़ है, इसलिए इस फ़्लो का एक अंत है, यह कभी न ख़त्म होने वाला लूप नहीं है।

अक्सर पूछे जाने वाले सवाल

/lagune-verify कोड पढ़ता है और harden चरण के दर्ज किए गए रिकॉर्ड से उसका मिलान करता है, फिर तीन में से एक फ़ैसला देता है: Risk closed (जोखिम बंद), Risk not closed (जोखिम बंद नहीं) या Cannot tell from the code (सिर्फ़ कोड से तय नहीं हो सकता)।

जब verify चरण साबित कर देता है कि कोई जोखिम बंद हो गया है, तो उस निष्कर्ष को बंद कर दिया जाता है: आपकी पुष्टि के साथ उसे पूरी चेन से हटा दिया जाता है, ताकि उस पर दोबारा काम न हो।

हाँ। SDH में सुरक्षा बंद हो सकने वाली चीज़ है: जिस निष्कर्ष का बंद होना साबित हो जाता है, उसे बंद कर दिया जाता है, इसलिए इस फ़्लो का एक अंत है, यह कभी न ख़त्म होने वाला लूप नहीं है।