pi-lean-ctx 3.8.5 → 3.8.7

package/extensions/config.ts

@@ -15,6 +15,15 @@ import { resolve } from "node:path";
 export interface PiLeanCtxFileConfig {
   /** Tool exposure: "additive" (Pi builtins + ctx_*) or "replace" (ctx_* only). */
   mode?: string;
+  /**
+   * Suppress only the native `bash` builtin (keep the other Pi builtins) so all
+   * shell runs through `ctx_shell`. In `additive` mode both `bash` and
+   * `ctx_shell` are active and agents tend to pick the uncompressed native
+   * `bash` (the R1 finding: 102 bash / 0 ctx_shell), so build/test output never
+   * gets compressed or metered. Default `false`; `replace` mode already implies
+   * it. Equivalent to `LEAN_CTX_PI_ROUTE_SHELL=1`.
+   */
+  routeShell?: boolean;
   /**
    * Start the embedded MCP bridge (the persistent session cache). Default
    * `true`; set `false` (or `LEAN_CTX_PI_ENABLE_MCP=0`) to force the one-shot
@@ -53,6 +62,8 @@ export type PiMode = "additive" | "replace";
 /** Fully resolved configuration after merging file, env vars and defaults. */
 export interface ResolvedPiConfig {
   mode: PiMode;
+  /** Force shell through `ctx_shell` by suppressing the native `bash` builtin. */
+  routeShell: boolean;
   enableMcp: boolean;
   /** Binary path from the file; `LEAN_CTX_BIN` still takes precedence at use time. */
   binaryOverride?: string;
@@ -107,6 +118,20 @@ function resolveMode(fileMode: string | undefined): PiMode {
   return raw === "replace" ? "replace" : "additive";
 }
 
+/**
+ * Whether the native `bash` builtin should be suppressed so shell runs through
+ * `ctx_shell`. `replace` mode already hides every builtin, so it implies this;
+ * otherwise the env var wins over the file flag, defaulting off (non-regressive
+ * — `additive` users keep native `bash` unless they opt in).
+ */
+export function resolveRouteShell(mode: PiMode, fileRouteShell: unknown): boolean {
+  if (mode === "replace") return true;
+  if (process.env.LEAN_CTX_PI_ROUTE_SHELL !== undefined) {
+    return envFlag("LEAN_CTX_PI_ROUTE_SHELL");
+  }
+  return fileRouteShell === true;
+}
+
 /** Split a comma/whitespace-separated tool list into trimmed, non-empty names. */
 function parseToolList(raw: string | undefined): string[] {
   if (!raw) return [];
@@ -174,8 +199,11 @@ export function loadPiConfig(): ResolvedPiConfig {
   const binaryOverride =
     typeof cfg.binary === "string" && cfg.binary.length > 0 ? cfg.binary : undefined;
 
+  const mode = resolveMode(cfg.mode);
+
   return {
-    mode: resolveMode(cfg.mode),
+    mode,
+    routeShell: resolveRouteShell(mode, cfg.routeShell),
     enableMcp,
     binaryOverride,
     forwardedEnv,

package/extensions/index.ts

@@ -333,12 +333,25 @@ export default async function (pi: ExtensionAPI) {
   process.env.LEAN_CTX_COMPRESS = "1";
   process.env.LEAN_CTX_SAVINGS_FOOTER ??= "always";
 
-  // Defer setActiveTools to session_start — runtime actions aren't available during extension load
-  // In "replace" mode, disable Pi builtins and only expose ctx_* tools.
-  // In "additive" mode (default), keep Pi builtins alongside ctx_* tools.
-  if (PI_MODE === "replace") {
+  // Defer setActiveTools to session_start — runtime actions aren't available
+  // during extension load. Which Pi builtins to suppress:
+  //   - "replace" mode → all five (read/bash/ls/find/grep): expose only ctx_*.
+  //   - "additive" + routeShell → just `bash`: route shell through ctx_shell so
+  //     build/test output is compressed and metered, while the read/list/search
+  //     builtins stay available next to ctx_*. Without this, an agent offered
+  //     both `bash` and `ctx_shell` picks the uncompressed native `bash` (the R1
+  //     finding: 102 bash / 0 ctx_shell), so the heaviest addressable surface in
+  //     a fix task — make/reproducer/test logs — never reaches the compressor.
+  //   - "additive" without routeShell → suppress nothing (keep Pi builtins).
+  const suppressedBuiltins = PI_MODE === "replace"
+    ? DISABLED_BUILTIN_TOOLS
+    : PI_CONFIG.routeShell
+      ? new Set(["bash"])
+      : new Set<string>();
+
+  if (suppressedBuiltins.size > 0) {
     pi.on("session_start", () => {
-      const activeTools = pi.getActiveTools().filter((name) => !DISABLED_BUILTIN_TOOLS.has(name));
+      const activeTools = pi.getActiveTools().filter((name) => !suppressedBuiltins.has(name));
       pi.setActiveTools(activeTools);
     });
   }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-lean-ctx",
-  "version": "3.8.5",
+  "version": "3.8.7",
   "description": "Pi Coding Agent extension — routes bash/read/grep/find/ls through lean-ctx for strong token savings. The embedded MCP bridge (on by default) adds a persistent session cache so unchanged re-reads cost ~13 tokens.",
   "keywords": [
     "pi-package",