प्रलेखन

पुनरुत्पादनीयता - LeanCTX

पुनरुत्पादनीयता

एजेंट रन को पुनरुत्पादनीय कैसे बनाएं: स्थिर इनपुट, स्पष्ट पॉलिसी, सत्र स्थायीकरण और सत्यापन गेट।

क्या स्थिर रहना चाहिए

पुनरुत्पादनीयता स्थिर इनपुट से शुरू होती है - टूल ग्राफ़ उतना ही निर्धारणवादी है जितना वातावरण।

  • वही प्रोजेक्ट रूट + अनुमत पथ
  • वही कॉन्फ़िगरेशन और मेमोरी पॉलिसी
  • वही कोड + डिपेंडेंसी (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