tools/symphony-validator) एक स्वतंत्र, नियतात्मक, केवल-पठन C++26 रिपॉज़िटरी चेकर है। यह रिपॉज़िटरी और उसके कॉन्ट्रैक्ट की वर्तमान स्थिति के बारे में अपरिवर्तनीय साक्ष्य तैयार करता है। यह कुछ भी ठीक या प्रकाशित नहीं कर सकता।
Validator क्या जाँचता है
- कॉन्ट्रैक्ट आकार: आवश्यक Contract Quad एंकर और संरचना
- SKVI-अनुक्रमित सतहों में वर्तमान स्रोत क्लोज़र
knowledge/INVARIANTS.mdऔर इनवेरिएंट रजिस्ट्री के अनुसार इनवेरिएंट स्वामित्व- SSFV द्वारा रिपोर्ट की गई फ़ीचर प्रशासन अपेक्षाएँ
- SODV द्वारा रिपोर्ट किए गए रिलीज़ रिकॉर्ड
- रिपॉज़िटरी README में मशीन-स्वामित्व वाला रूट सारांश
Validator क्या नहीं करता
- रिपॉज़िटरी पर कोई दुष्प्रभाव नहीं
- कोई नेटवर्क पहुँच नहीं
- qxctl की संरक्षित चेतावनी नीति के बाहर कोई चेतावनी दमन नहीं
qxctl इंटीग्रेशन
संरक्षित चेतावनी नीति लागू करने से पहले qxctl, validator की सटीक रसीद और संरचित डाइजेस्ट का सत्यापन करता है। नौ संरक्षित चेतावनी-लाइफ़साइकल qxctl लीफ़ कमांड और सटीक रसीद-समर्थित रूट-सारांश मार्ग कच्चे डिटेक्टर साक्ष्य को बदले बिना सत्यापन प्रशासन उपलब्ध कराते हैं।संबंधित सतहें
qxctl validate
संरक्षित चेतावनी नीति, बेसलाइन और डिस्प्ले व्याकरण।
SSFV
Validator द्वारा जाँची जाने वाली फ़ीचर प्रशासन अपेक्षाएँ।
SODV
रिलीज़ रिकॉर्ड जिनका validator निरीक्षण करता है।
SKV अवलोकन
वह समग्र फ़्रेमवर्क जिसके कॉन्ट्रैक्ट की validator जाँच करता है।