Yves Gugger
30a0461dcb
Compression (#1286 — the real root causes, two independent bugs): - exec path prefixed EVERY command with the zsh preamble (setopt nonomatch noequals;) BEFORE classification, so no starts_with-based pattern matcher (ls, find, curl, ...) ever fired on macOS/zsh — pattern compression silently degraded to the generic terse fallback. The preamble now applies at spawn time only. Measured: ls -la 6% -> 71% saved, entries preserved. - the terse stage displaced a smaller pattern result on quality_passed alone; it now only wins when actually smaller. Regression test added. - side effect: git log --oneline is now correctly owned by the VCS compressor (full history verbatim) instead of the lossy generic pass. Hooks/steering: - #1288: UserPromptSubmit emits a one-line tool-precedence additionalContext (config prompt_reinject = auto|on|off; auto = only under shadow_mode), so the ctx_* mandate always post-dates session-level harness instructions. - #1285: rewrite-hook passthrough now writes a native_shell_passthrough metering entry (synchronous append — hooks have no Tokio reactor), making native-tool leakage visible in the per-tool dashboard table. - #1289: legacy versioned-marker rule files (rules-v9 era) are recognized as lean-ctx-owned by rules dedup when wholly lean-ctx-written; user-extended copies keep the report-only treatment. Test added. Metric honesty: - #1284: stats headline scoped to "of metered lean-ctx volume". - #1287: the "re-reads ~13 tokens" claim is scoped to unchanged full/auto re-reads across all rule templates (RULES_VERSION 8 -> 9; artifacts regenerated); signatures/map variant stubs remain open by design. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
LeanCTX local Runtime reference
This reference describes the local Runtime. Its public boundary is governed by the internal canonical entry point and Product Architecture.
LeanCTX is the Context SDK for existing agents. The agent, model, task logic, and retry policy remain the integrator's responsibility.
Current paths
| Area | Use it for | Status |
|---|---|---|
| Setup & onboarding | Local CLI and coding-agent setup | Available |
| Daily use | Context-aware reads, search, and shell output | Available |
| Memory & knowledge | Local project/session context | Available, within documented limits |
| Code intelligence | Structural views and impact exploration | Available |
| Advanced integrations | Local proxy, providers, and plugin substrate | Available only where the individual contract says so |
| Lifecycle | Install, diagnose, update, and remove | Available |
| Context engineering | Local context decisions and verification primitives | Available / Preview by feature |
| Customization & governance | Local configuration and safety rules | Available |
Status-qualified records
These files are retained to make the repository auditable. They are not navigation to an additional public product.
| Record | Status | Boundary |
|---|---|---|
| Multi-agent collaboration | Historical / Research | LeanCTX is not a multi-agent platform or orchestration product. |
| Team, Cloud & CI | Historical / Research | No hosted/team/cloud service is publicly available from this repository. |
| Analytics | Available local observations | Local counters are not universal savings or business-outcome proof. |
| Proof & audit | Available local primitives | Integrity evidence is not a standalone savings claim. |
| Adaptive learning | Research | LeanCTX does not offer AutoTune or autonomous promotion. |
| Hermes context engine | Preview reference integration | Not a general agent framework or stable Embed contract. |
Generated inventories
Generated inventories enumerate implementation surfaces; they do not promote a surface to a stable public API. Check the status map before depending on one.