pi micro-extension: route bash through lean-ctx with hardcoded exclusions (git diff/show/log, cymbal, test runners). Zero MCP tools, zero prompt pollution.