আপনি যাচাই করতে পারেন না আপনার AI-এর আউটপুট সঠিক, সম্পূর্ণ বা নিরাপদ কিনা।
LeanCTX প্রমাণ-বহনকারী আউটপুট তৈরি করে। পলিসি ইনভ্যারিয়েন্ট Lean4-এ ৮২টি মেশিন-চেকড থিওরেম দিয়ে আনুষ্ঠানিকভাবে যাচাই করা হয়েছে। প্রতিটি কনটেক্সট সিদ্ধান্ত পাইপলাইন মেট্রিক্স ও প্রোভেন্যান্স চেইন সহ একটি অডিটযোগ্য ট্রেইল তৈরি করে। আউটপুট বৈধ পাথ, সঠিক আইডেন্টিফায়ার এবং স্ট্রাকচারাল ইন্টেগ্রিটির জন্য পরীক্ষা করা হয়। ক্লেইম-ভিত্তিক ভেরিফিকেশন প্রমাণকে পরমাণু, যাচাইযোগ্য ইউনিটে বিভক্ত করে Quality Levels 0–4 সহ।
অনিরীক্ষিত AI কাজ শিপিং
AI এজেন্ট কাল্পনিক ফাইল পাথ তৈরি করে, ভাঙা ইমপোর্ট জেনারেট করে, আউটপুটে সিক্রেট লিক করে এবং এমন পরিবর্তন তৈরি করে যা কেউ ট্রেস করতে পারে না।
ctx_verify প্রতিটি আউটপুটে কাল্পনিক পাথ, ভাঙা ইমপোর্ট এবং সিক্রেট লিক পরীক্ষা করে। ctx_proof ক্লেইম-লেভেল ভেরিফিকেশন এবং Lean4-সমর্থিত ফর্মাল গ্যারান্টি সহ ContextProofV2 রিপোর্ট তৈরি করে।
8 টুলস
Lean4 ফর্মাল প্রুফ
৩টি ডোমেইনে ৮২টি মেশিন-চেকড থিওরেম: পলিসি ইনভ্যারিয়েন্ট, কম্প্রেশন প্রিজার্ভেশন এবং এজেন্ট হ্যান্ডঅফ সেফটি — সবই Lean4-এ শূন্য sorry দিয়ে যাচাই করা।
ক্লেইম-ভিত্তিক ভেরিফিকেশন
ContextProofV2 ভেরিফিকেশনকে পরমাণু ক্লেইমে বিভক্ত করে। প্রতিটি ক্লেইম উপযুক্ত ভেরিফায়ারে পাঠানো হয় — নির্ধারিত চেক থেকে Lean4 প্রুফ পর্যন্ত।
Quality Levels 0–4
পাঁচটি নিশ্চয়তা স্তর: Provenance (Q0), Deterministic (Q1), Tested (Q2), Policy Proved (Q3), Formally Verified (Q4)। প্রতিটি আউটপুট তার সঠিক বিশ্বাস স্তর বহন করে।
প্রমাণ আর্টিফ্যাক্ট
পাইপলাইন মেট্রিক্স, SLO স্ন্যাপশট এবং প্রোভেন্যান্স চেইন সহ JSON ও HTML প্রমাণ রিপোর্ট।
আউটপুট চেক
WARN/FAIL সেমান্টিক্স সহ পাথ ভ্যালিডেশন, আইডেন্টিফায়ার চেক, স্ট্রাকচার ভেরিফিকেশন।
কম্প্রেশন ইনভ্যারিয়েন্ট
আনুষ্ঠানিকভাবে প্রমাণিত: signatures মোড সমস্ত এক্সপোর্ট সংরক্ষণ করে, map মোড ইমপোর্ট সংরক্ষণ করে, aggressive মোড শূন্য সিক্রেট লিক করে।
রিপ্লেযোগ্যতা
রিপ্লে হ্যাশ, CI গেট এবং রিগ্রেশন ডিটেকশন সহ নির্ধারিত সেশন।
এজেন্ট হ্যান্ডঅফ সেফটি
Lean4-এ আনুষ্ঠানিকভাবে যাচাইকৃত স্টেট মেশিন। টার্মিনাল স্টেট সিঙ্ক, লাইফসাইকেল অর্ডারিং মনোটনিক, অবৈধ এনভেলপ প্রত্যাখ্যান করা হয়।
কার্যরত অবস্থায় দেখুন
LeanCTX প্রমাণ-বহনকারী আউটপুট তৈরি করে। পলিসি ইনভ্যারিয়েন্ট Lean4-এ ৮২টি মেশিন-চেকড থিওরেম দিয়ে আনুষ্ঠানিকভাবে যাচাই করা হয়েছে। প্রতিটি কনটেক্সট সিদ্ধান্ত পাইপলাইন মেট্রিক্স ও প্রোভেন্যান্স চেইন সহ একটি অডিটযোগ্য ট্রেইল তৈরি করে। আউটপুট বৈধ পাথ, সঠিক আইডেন্টিফায়ার এবং স্ট্রাকচারাল ইন্টেগ্রিটির জন্য পরীক্ষা করা হয়। ক্লেইম-ভিত্তিক ভেরিফিকেশন প্রমাণকে পরমাণু, যাচাইযোগ্য ইউনিটে বিভক্ত করে Quality Levels 0–4 সহ।
7 MCP টুলস
LeanCTX প্রমাণ-বহনকারী আউটপুট তৈরি করে। পলিসি ইনভ্যারিয়েন্ট Lean4-এ ৮২টি মেশিন-চেকড থিওরেম দিয়ে আনুষ্ঠানিকভাবে যাচাই করা হয়েছে। প্রতিটি কনটেক্সট সিদ্ধান্ত পাইপলাইন মেট্রিক্স ও প্রোভেন্যান্স চেইন সহ একটি অডিটযোগ্য ট্রেইল তৈরি করে। আউটপুট বৈধ পাথ, সঠিক আইডেন্টিফায়ার এবং স্ট্রাকচারাল ইন্টেগ্রিটির জন্য পরীক্ষা করা হয়। ক্লেইম-ভিত্তিক ভেরিফিকেশন প্রমাণকে পরমাণু, যাচাইযোগ্য ইউনিটে বিভক্ত করে Quality Levels 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-এ ৮২টি মেশিন-চেকড থিওরেম দিয়ে আনুষ্ঠানিকভাবে যাচাই করা হয়েছে। প্রতিটি কনটেক্সট সিদ্ধান্ত পাইপলাইন মেট্রিক্স ও প্রোভেন্যান্স চেইন সহ একটি অডিটযোগ্য ট্রেইল তৈরি করে। আউটপুট বৈধ পাথ, সঠিক আইডেন্টিফায়ার এবং স্ট্রাকচারাল ইন্টেগ্রিটির জন্য পরীক্ষা করা হয়। ক্লেইম-ভিত্তিক ভেরিফিকেশন প্রমাণকে পরমাণু, যাচাইযোগ্য ইউনিটে বিভক্ত করে Quality Levels 0–4 সহ।