@zoisythe/codex-codeintel 0.10.0 → 0.10.1

package/skills/code-intelligence/SKILL.md

@@ -9,13 +9,24 @@ Use check for project CLI checks; diagnostics for explicit paths or turn/session
 
 Use status for configuration, local tools, capabilities and failures without starting servers. Refresh after repairs. For installation/configuration requests use [setupLSP](../setup-lsp/SKILL.md) ($setup-lsp); during ordinary coding report missing capabilities once and continue.
 
-Use navigate for atomic queries. symbols shows a top-level outline; symbol expands a node, query searches the workspace. Use inspect operation=symbol for a compact overview, source=true only when source is needed; operation=impact finds callers and candidate tests. Test association is not runtime coverage, and zero references is not proof of safe deletion.
+Use warmup for explicit initialization of installed local servers, independent of automatic feedback. Pass path/paths or omit them for two representative languages. Follow next when paged. Warmup does not collect diagnostic baselines or download tools; status remains passive. The CLI is codeintel, including codeintel check and codeintel warmup.
+
+Use navigate for atomic queries. Set `operation="symbols"` for a top-level outline. Keep `operation="symbols"` and add the `symbol` parameter to expand a node, or add `query` to search workspace symbols.
+
+| Goal | Tool and arguments, alongside workspace/path |
+| --- | --- |
+| Expand a class's members | `navigate(operation="symbols", symbol="CatalogScreen")` |
+| Read a compact symbol overview | `inspect(operation="symbol", symbol="CatalogScreen", source=false)` |
+
+Pass `source` only to inspect; set `source=true` when source text is needed. Use inspect with `operation="impact"` for callers and candidate tests. Test association is not runtime coverage, and zero references is not proof of safe deletion.
 
 Use actions operation=list/explain/preview for lint/LSP fixes. Batch preview selects only vendor-safe actions; select ids explicitly for unsafe/unknown/suggestions. Command/resource actions are unsupported. Never infer safety from fixable alone.
 
-rename and format only produce a plan and diff. apply is the only source writer. After an authorized edit, preview then apply without adding a manual approval step. Keep applies sequential; plans are consumed and cannot be replayed. On cancellation/failure, read every modifiedPaths page before doing anything else. Follow-up diagnostic failure does not undo writes.
+rename and format only produce a plan and diff. apply is the only source writer. After an authorized edit, preview then apply without adding a manual approval step. Keep applies sequential; plans are consumed and cannot be replayed. Plans expire after 30 minutes without renewal and may disappear earlier on eviction, refresh or restart; use planFailure to decide when to generate a fresh preview. On cancellation/failure, read every modifiedPaths page before doing anything else. Follow-up diagnostic failure does not undo writes.
+
+Previews validate with configured local ty/Ruff, TypeScript/checked JavaScript, Biome/ESLint, gopls and clangd. Use validationPaths for up to 20 explicit unchanged callers/dependents; it does not discover all affected files. Inspect each validation.checks entry for provider, scope and completeness. Partial aggregate counts are null; successful providers retain their findings/counts. Counts can overlap between providers, and netDelta=0 is not a safety verdict. validate=false skips simulation. Biome/clangd use bounded temporary project copies and clean them up; other type checks use isolated processes/overlays. Validation never blocks an otherwise authorized apply or changes Hook baselines.
 
-All nine tools are check, diagnostics, status, navigate, rename, format, inspect, actions, apply. Old underscore names are removed.
+All ten tools are check, diagnostics, status, warmup, navigate, rename, format, inspect, actions, apply. Old underscore names are removed.
 
 Automatic feedback defaults off and requires a current Codex host with native async Hooks and Interrupt. PostToolUse feedback is informational; its asynchronous process does not replace the tool result. Subagents receive independent feedback and never request continuation. Only the main Stop may use the explicit global gate for one repair pass per turn, with confirmed fresh introduced errors. Missing checker baselines never prevent editing; unknown findings remain unattributed. Stop/SubagentStop UI summaries do not prove model receipt.
 

package/skills/setup-lsp/references/configuration.md

@@ -1,6 +1,6 @@
 # CodeIntel configuration
 
-Read `$CODEX_HOME/lsp-client.json` (or `~/.codex/lsp-client.json`) and `<workspace>/.codex/lsp-client.json`. Built-in defaults < global < project. Objects merge by field/language; arrays replace wholesale. Both files use `schemaVersion: 1`. Do not overwrite unrelated entries or user-off settings. A malformed existing file needs repair from its existing intent, not replacement with a default file.
+Read `$CODEX_HOME/lsp-client.json` (or `~/.codex/lsp-client.json`) and `<workspace>/.codex/lsp-client.json`. Built-in defaults < global < project. Settings merge by field/language; each language's LSP entry and all arrays replace wholesale. Both files use `schemaVersion: 1`. Preserve unrelated entries and user-off settings. Repair a malformed file according to its existing intent.
 
 A new project feedback configuration can start with:
 
@@ -14,9 +14,11 @@ A new project feedback configuration can start with:
 }
 ```
 
-Limit language additions to the project and preserve existing choices. No configuration means automatic feedback is off while all nine MCP tools remain explicitly callable. `automaticDiagnostics.stop="errors"` is feedback only. Ending gates require a separately authorized **global** `stopGate="introduced-errors"`; setup never enables it automatically. An existing global choice is preserved. Project `stopGate` is ignored. No plugin trust field or environment variable is required.
+Limit language additions to the project and preserve existing choices. No configuration means automatic feedback is off while all ten MCP tools remain explicitly callable. `automaticDiagnostics.stop="errors"` is feedback only. Ending gates require a separately authorized **global** `stopGate="introduced-errors"`; setup never enables it automatically. An existing global choice is preserved. Project `stopGate` is ignored. No plugin trust field or environment variable is required.
 
-LSP entries are a built-in name, `false`, or `{command: [program, ...args], extensions: [".ext"], env?: {KEY: "value"}, initialization?: {...}}`. Use `.py/.pyi`, `.ts/.tsx/.mts/.cts/.js/.jsx/.mjs/.cjs`, `.c/.h/.cpp/.hpp` and `.rs` as appropriate for custom servers; do not conflict with enabled built-in extensions. Explicit relative commands resolve from the workspace and never fall back. Built-ins resolve the nearest project environment, then PATH; automatic work never downloads missing tools.
+LSP entries are a built-in name, `false`, or `{command: [program, ...args], extensions: [".ext"], env?: {KEY: "value"}, initialization?: {...}, settings?: {...}, languageId?: "language"}`. Use `.py/.pyi`, `.ts/.tsx/.mts/.cts/.js/.jsx/.mjs/.cjs`, `.c/.h/.cpp/.hpp` and `.rs` as appropriate for custom servers; do not conflict with enabled built-in extensions. Explicit relative commands resolve from the workspace and never fall back. Built-ins resolve the nearest project environment, then PATH; automatic work never downloads missing tools.
+
+`settings` supplies section-keyed workspace configuration and configuration-change notifications. `languageId` overrides the extension-derived document language for that server. For MATLAB `.m` setup and real-tool validation, read [local LSP acceptance](../../../docs/testing/local-lsp.md).
 
 `lint.python` accepts `auto/ruff/off`; `lint.javascript` accepts `auto/biome/eslint/off`. Lint-off does not disable explicitly requested formatting. `formatting` accepts `tabSize` (1–16) and `insertSpaces`. `exclude` is an array of relative forward-slash globs, without `..`, absolute paths or negation.