आप सत्यापित नहीं कर सकते कि आपके AI का आउटपुट सही, पूर्ण या सुरक्षित है।
LeanCTX प्रमाण-वाहक आउटपुट उत्पन्न करता है। नीति अपरिवर्तनीय Lean4 में 82 मशीन-जाँचित प्रमेयों के साथ औपचारिक रूप से सत्यापित हैं। हर संदर्भ निर्णय पाइपलाइन मेट्रिक्स और प्रोवेनेंस चेन के साथ एक ऑडिट योग्य ट्रेल उत्पन्न करता है। आउटपुट वैध पथों, सही पहचानकर्ताओं और संरचनात्मक अखंडता के लिए जाँचे जाते हैं। दावा-आधारित सत्यापन प्रमाणों को परमाणु, सत्यापन योग्य इकाइयों में विभाजित करता है, गुणवत्ता स्तर 0–4 के साथ।
अनिरीक्षित AI कार्य शिपिंग
AI एजेंट काल्पनिक फ़ाइल पथ बनाते हैं, टूटे इम्पोर्ट जनरेट करते हैं, आउटपुट में सीक्रेट लीक करते हैं, और ऐसे बदलाव करते हैं जिन्हें कोई ट्रेस नहीं कर सकता।
ctx_verify हर आउटपुट में काल्पनिक पथों, टूटे इम्पोर्ट और सीक्रेट लीक की जाँच करता है। ctx_proof दावा-स्तरीय सत्यापन और Lean4-समर्थित औपचारिक गारंटी के साथ ContextProofV2 रिपोर्ट उत्पन्न करता है।
8 टूल्स
Lean4 औपचारिक प्रमाण
3 डोमेन में 82 मशीन-जाँचित प्रमेय: नीति अपरिवर्तनीय, संपीड़न संरक्षण और एजेंट हैंडऑफ सुरक्षा — सभी Lean4 में शून्य sorry के साथ सत्यापित।
दावा-आधारित सत्यापन
ContextProofV2 सत्यापन को परमाणु दावों में विभाजित करता है। हर दावा उपयुक्त सत्यापक को भेजा जाता है — निश्चित जाँच से लेकर Lean4 प्रमाण तक।
गुणवत्ता स्तर 0–4
पाँच आश्वासन स्तर: उत्पत्ति (Q0), निश्चित (Q1), परीक्षित (Q2), नीति प्रमाणित (Q3), औपचारिक रूप से सत्यापित (Q4)। हर आउटपुट अपना सटीक विश्वास स्तर लेकर आता है।
प्रमाण आर्टिफैक्ट
JSON और HTML प्रमाण रिपोर्ट, पाइपलाइन मेट्रिक्स, SLO स्नैपशॉट और प्रोवेनेंस चेन के साथ।
आउटपुट जाँच
पथ सत्यापन, पहचानकर्ता जाँच, संरचना सत्यापन, WARN/FAIL सिमेंटिक्स के साथ।
संपीड़न अपरिवर्तनीय
औपचारिक रूप से प्रमाणित: signatures मोड सभी एक्सपोर्ट संरक्षित करता है, map मोड इम्पोर्ट संरक्षित करता है, aggressive मोड शून्य सीक्रेट लीक करता है।
रीप्ले योग्यता
निश्चित सत्र, रीप्ले हैश, CI गेट और रिग्रेशन डिटेक्शन के साथ।
एजेंट हैंडऑफ सुरक्षा
Lean4 में औपचारिक रूप से सत्यापित स्टेट मशीन। टर्मिनल स्टेट सिंक हैं, लाइफसाइकल ऑर्डरिंग मोनोटोनिक है, अमान्य एनवेलप अस्वीकार किए जाते हैं।
इसे कार्रवाई में देखें
LeanCTX प्रमाण-वाहक आउटपुट उत्पन्न करता है। नीति अपरिवर्तनीय Lean4 में 82 मशीन-जाँचित प्रमेयों के साथ औपचारिक रूप से सत्यापित हैं। हर संदर्भ निर्णय पाइपलाइन मेट्रिक्स और प्रोवेनेंस चेन के साथ एक ऑडिट योग्य ट्रेल उत्पन्न करता है। आउटपुट वैध पथों, सही पहचानकर्ताओं और संरचनात्मक अखंडता के लिए जाँचे जाते हैं। दावा-आधारित सत्यापन प्रमाणों को परमाणु, सत्यापन योग्य इकाइयों में विभाजित करता है, गुणवत्ता स्तर 0–4 के साथ।
7 MCP टूल्स
LeanCTX प्रमाण-वाहक आउटपुट उत्पन्न करता है। नीति अपरिवर्तनीय Lean4 में 82 मशीन-जाँचित प्रमेयों के साथ औपचारिक रूप से सत्यापित हैं। हर संदर्भ निर्णय पाइपलाइन मेट्रिक्स और प्रोवेनेंस चेन के साथ एक ऑडिट योग्य ट्रेल उत्पन्न करता है। आउटपुट वैध पथों, सही पहचानकर्ताओं और संरचनात्मक अखंडता के लिए जाँचे जाते हैं। दावा-आधारित सत्यापन प्रमाणों को परमाणु, सत्यापन योग्य इकाइयों में विभाजित करता है, गुणवत्ता स्तर 0–4 के साथ।
ctx_verify Verification observability snapshot. Action stats returns versioned JSON or compact summary (no raw content).
ctx_proof Export a machine-readable ContextProofV1 (Verifier + SLO + Pipeline + Provenance). Writes to .lean-ctx/proofs/ by default.
ctx_artifacts Context artifact registry + BM25 index. Actions: list|status|index|reindex|search|remove.
ctx_gain Gain report (includes Wrapped via action=wrapped).
ctx_heatmap File access heatmap (local-first). Actions: status|directory|cold|json.
ctx_metrics Session token stats, cache rates, per-tool savings.
ctx_cache Cache ops: status|clear|invalidate.
हर आउटपुट प्रमाण के साथ आता है
LeanCTX हर सत्र के लिए प्रमाण आर्टिफैक्ट उत्पन्न करता है: कौन सी फ़ाइलें पढ़ी गईं, क्या संपीड़ित किया गया, कौन सी जाँचें पास हुईं और टोकन कैसे खर्च हुए। यह AI कार्य को ऑडिट योग्य, रीप्ले योग्य और विश्वसनीय बनाता है।
सत्यापन टूल्स देखें
LeanCTX प्रमाण-वाहक आउटपुट उत्पन्न करता है। नीति अपरिवर्तनीय Lean4 में 82 मशीन-जाँचित प्रमेयों के साथ औपचारिक रूप से सत्यापित हैं। हर संदर्भ निर्णय पाइपलाइन मेट्रिक्स और प्रोवेनेंस चेन के साथ एक ऑडिट योग्य ट्रेल उत्पन्न करता है। आउटपुट वैध पथों, सही पहचानकर्ताओं और संरचनात्मक अखंडता के लिए जाँचे जाते हैं। दावा-आधारित सत्यापन प्रमाणों को परमाणु, सत्यापन योग्य इकाइयों में विभाजित करता है, गुणवत्ता स्तर 0–4 के साथ।