पुनरुत्पादनीयता
एजेंट रन को पुनरुत्पादनीय कैसे बनाएं: स्थिर इनपुट, स्पष्ट पॉलिसी, सत्र स्थायीकरण और सत्यापन गेट।
क्या स्थिर रहना चाहिए
पुनरुत्पादनीयता स्थिर इनपुट से शुरू होती है - टूल ग्राफ़ उतना ही निर्धारणवादी है जितना वातावरण।
- वही प्रोजेक्ट रूट + अनुमत पथ
- वही कॉन्फ़िगरेशन और मेमोरी पॉलिसी
- वही कोड + डिपेंडेंसी (lockfiles)
अनुबंध के रूप में पॉलिसी
मेमोरी और सत्यापन सेटिंग्स परिभाषित करती हैं कि क्या संरक्षित होता है और कौन सी जांच लागू होनी चाहिए।
# ~/.lean-ctx/config.toml
[memory]
policy = "balanced"
[verification]
enabled = true सुझाव: पॉलिसी परिवर्तनों को वर्शन कंट्रोल करें और रिव्यू करें।
सत्र आर्टिफैक्ट
सत्र रिकॉर्ड करते हैं क्या हुआ: टूल कॉल, मेमोरी राइट, रिलेशन और आउटपुट।
# Start a server with a fixed project root
lean-ctx serve --host 127.0.0.1 --port 8080 --project-root /path/to/repo # Example tool calls that leave an audit trail
ctx_session("load", { id: "..." })
ctx_knowledge("remember", { category: "...", key: "...", value: "..." }) CI गेट
clippy/टेस्ट + सत्यापन जांच को अपरिहार्य गुणवत्ता गेट मानें।
# CI gates / local checks
cd rust
cargo fmt -- --check
cargo clippy --all-features -- -D warnings
# SSOT drift gate (manifest must be up-to-date)
cargo run -q --bin gen_mcp_manifest
git diff --exit-code ../website/generated/mcp-tools.json
# Core tests (deterministic + bounded)
cargo test --all-features -- --test-threads=1
# Lightweight regression checks (stable thresholds)
cargo test -q --test savings_verification
# Proof artifact (machine-readable attestation, no secrets)
cargo run -q --bin lean-ctx -- proof --summary --no-write Cookbook: एंड-टू-एंड उदाहरण
चल रहे सर्वर के खिलाफ वास्तविक इंटीग्रेशन चलाएं (कोई नकली डेटा नहीं)।
cd cookbook
npm ci
npm run memory-playground
npm run graph-explorer