wehub-resource-sync
26382a7ac6
CI / Clippy (push) Failing after 15m13s
CI / Test (ubuntu-latest) (push) Failing after 16m1s
CI / Test (macos-latest) (push) Has been cancelled
CI / Test (windows-latest) (push) Has been cancelled
CI / Build (no embeddings / no ORT) (push) Has been cancelled
CI / Format (push) Has been cancelled
CI / Cookbook (Node) (push) Has been cancelled
CI / Pi Extension (Node) (push) Has been cancelled
CI / Rust SDK (lean-ctx-client) (push) Has been cancelled
CI / Embed SDK (lean-ctx-sdk) (push) Has been cancelled
CI / Python SDK (leanctx) (push) Has been cancelled
CI / Hermes Plugin (Python) (push) Has been cancelled
CI / SDK Conformance Matrix (push) Has been cancelled
CI / Coverage (push) Has been cancelled
CI / cargo-deny (push) Has been cancelled
CI / Adversarial Safety (push) Has been cancelled
CI / Benchmarks (push) Has been cancelled
CI / Output-Quality Gate (eval A/B) (push) Has been cancelled
CI / Documentation (push) Has been cancelled
CI / CI Green (push) Has been cancelled
JetBrains Plugin / Actionlint (push) Has been cancelled
CodeQL / Analyze (actions) (push) Has been cancelled
CodeQL / Analyze (javascript-typescript) (push) Has been cancelled
CodeQL / Analyze (rust) (push) Has been cancelled
JetBrains Plugin / Validation (push) Has been cancelled
JetBrains Plugin / Build (push) Has been cancelled
JetBrains Plugin / Test (push) Has been cancelled
Security Check / Security Scan (push) Has been cancelled
1.6 KiB
1.6 KiB
Context IR v1 (ContextIrV1)
GitLab: #2308
LeanCTX produces many kinds of context (read/search/shell/provider). Context IR v1 is the stable, versioned intermediate representation that captures:
- Content (bounded excerpt)
- Tokens (input/output + saved)
- Provenance (tool + optional path/command/pattern, redaction-safe)
- Safety (redaction applied + boundary-mode hint)
- Verification (content checksum)
- Latency / metrics (duration + compression ratio)
Stability & versioning
- Payload includes
schema_version(SSOT:rust/src/core/contracts.rs). - Additive changes must remain backwards-compatible for readers.
Bounds / DoS safety
Context IR is an observability artifact. It is intentionally bounded:
- Max items per store:
128 - Max excerpt per item:
4096chars - Max total excerpt chars across items:
65536chars
Older items are pruned first when limits are exceeded.
Redaction / secrets
- Stored fields are redacted using
rust/src/core/redaction.rsand are safe to persist. - Provenance fields (
command,pattern) are redacted and bounded via excerpt limits.
Storage & proof export
- Runtime store (local):
~/.lean-ctx/context_ir_v1.json - Proof export:
project/.lean-ctx/proofs/context-ir-v1_<timestamp>.json(written bylean-ctx proof)
Relevant code
- Schema + store:
rust/src/core/context_ir.rs - Collection points:
rust/src/server/dispatch/read_tools.rs(ctx_read)rust/src/server/dispatch/shell_tools.rs(ctx_shell,ctx_search)
- Proof export:
rust/src/tools/ctx_proof.rs