@herbertgao/pi-extensions 2026.8.6 → 2026.8.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +5 -5
- package/node_modules/@herbertgao/pi-cc-extensions/README.en.md +1 -1
- package/node_modules/@herbertgao/pi-cc-extensions/README.md +1 -1
- package/node_modules/@herbertgao/pi-cc-extensions/extensions/config/config.ts +19 -7
- package/node_modules/@herbertgao/pi-cc-extensions/extensions/config/panel.ts +30 -9
- package/node_modules/@herbertgao/pi-cc-extensions/extensions/feature/compact-thinking.ts +272 -22
- package/node_modules/@herbertgao/pi-cc-extensions/extensions/renderer/compact-mode.ts +94 -77
- package/node_modules/@herbertgao/pi-cc-extensions/extensions/renderer/message-display.ts +1 -1
- package/node_modules/@herbertgao/pi-cc-extensions/extensions/renderer/mouse/hover.ts +14 -0
- package/node_modules/@herbertgao/pi-cc-extensions/extensions/renderer/mouse/interaction.ts +55 -17
- package/node_modules/@herbertgao/pi-cc-extensions/extensions/renderer/mouse/layout.ts +41 -2
- package/node_modules/@herbertgao/pi-cc-extensions/extensions/renderer/tool/diff/diff-renderer.ts +75 -6
- package/node_modules/@herbertgao/pi-cc-extensions/extensions/renderer/tool/diff/types.ts +7 -3
- package/node_modules/@herbertgao/pi-cc-extensions/extensions/renderer/tool/grouping.ts +64 -1
- package/node_modules/@herbertgao/pi-cc-extensions/package.json +3 -3
- package/node_modules/@herbertgao/pi-subagents/CHANGELOG.md +6 -0
- package/node_modules/@herbertgao/pi-subagents/README.md +30 -22
- package/node_modules/@herbertgao/pi-subagents/examples/agent-tool-description.md +5 -5
- package/node_modules/@herbertgao/pi-subagents/package.json +7 -7
- package/node_modules/@herbertgao/pi-subagents/src/agent-file-toggle.ts +7 -1
- package/node_modules/@herbertgao/pi-subagents/src/agent-manager.ts +48 -19
- package/node_modules/@herbertgao/pi-subagents/src/agent-runner.ts +17 -13
- package/node_modules/@herbertgao/pi-subagents/src/custom-agents.ts +26 -2
- package/node_modules/@herbertgao/pi-subagents/src/index.ts +219 -40
- package/node_modules/@herbertgao/pi-subagents/src/invocation-config.ts +101 -3
- package/node_modules/@herbertgao/pi-subagents/src/nested-tools.ts +18 -4
- package/node_modules/@herbertgao/pi-subagents/src/settings.ts +99 -0
- package/node_modules/@herbertgao/pi-subagents/src/types.ts +22 -3
- package/node_modules/@herbertgao/pi-subagents/src/ui/agent-widget.ts +51 -3
- package/node_modules/@herbertgao/pi-subagents/src/ui/conversation-viewer.ts +20 -2
- package/node_modules/@herbertgao/pi-subagents/src/ui/fleet-list.ts +21 -6
- package/node_modules/@herbertgao/pi-subagents/src/usage.ts +129 -1
- package/node_modules/@herbertgao/pi-subagents/src/worktree.ts +20 -0
- package/node_modules/@juicesharp/rpiv-ask-user-question/README.md +1 -0
- package/node_modules/@juicesharp/rpiv-ask-user-question/ask-user-question.ts +26 -10
- package/node_modules/@juicesharp/rpiv-ask-user-question/config.ts +25 -0
- package/node_modules/@juicesharp/rpiv-ask-user-question/docs/configuration.md +13 -4
- package/node_modules/@juicesharp/rpiv-ask-user-question/docs/hosts.md +2 -1
- package/node_modules/@juicesharp/rpiv-ask-user-question/docs/localization.md +3 -1
- package/node_modules/@juicesharp/rpiv-ask-user-question/locales/en.json +2 -2
- package/node_modules/@juicesharp/rpiv-ask-user-question/locales/zh.json +2 -2
- package/node_modules/@juicesharp/rpiv-ask-user-question/package.json +3 -2
- package/node_modules/@juicesharp/rpiv-ask-user-question/state/build-questionnaire.ts +10 -0
- package/node_modules/@juicesharp/rpiv-ask-user-question/state/key-router.ts +3 -1
- package/node_modules/@juicesharp/rpiv-ask-user-question/state/questionnaire-session.ts +30 -7
- package/node_modules/@juicesharp/rpiv-ask-user-question/state/state.ts +14 -6
- package/node_modules/@juicesharp/rpiv-ask-user-question/view/dialog-builder.ts +30 -4
- package/node_modules/@juicesharp/rpiv-ask-user-question/view/tab-content-strategy.ts +26 -5
- package/node_modules/@narumitw/pi-btw/README.md +120 -111
- package/node_modules/@narumitw/pi-btw/dist/index.ts +2898 -0
- package/node_modules/@narumitw/pi-btw/dist/index.ts.map +7 -0
- package/node_modules/@narumitw/pi-btw/package.json +10 -6
- package/node_modules/@narumitw/pi-btw/src/btw.ts +36 -40
- package/node_modules/@narumitw/pi-btw/src/fullscreen-ui.ts +55 -10
- package/node_modules/@narumitw/pi-btw/src/main-tree-picker.ts +390 -0
- package/node_modules/@narumitw/pi-btw/src/menu.ts +45 -2
- package/node_modules/@narumitw/pi-btw/src/transcript-pager.ts +136 -45
- package/node_modules/pi-lens/CHANGELOG.md +909 -0
- package/node_modules/pi-lens/README.md +11 -3
- package/node_modules/pi-lens/config/ruff/core.toml +42 -0
- package/node_modules/pi-lens/dist/clients/actionable-warnings.js +130 -27
- package/node_modules/pi-lens/dist/clients/advisory-provenance.js +126 -13
- package/node_modules/pi-lens/dist/clients/agent-nudge.js +67 -11
- package/node_modules/pi-lens/dist/clients/ast-grep-client.js +9 -3
- package/node_modules/pi-lens/dist/clients/atomic-write.js +9 -3
- package/node_modules/pi-lens/dist/clients/bash-file-access.js +285 -8
- package/node_modules/pi-lens/dist/clients/biome-client.js +61 -30
- package/node_modules/pi-lens/dist/clients/blocker-freshness.js +428 -0
- package/node_modules/pi-lens/dist/clients/blocker-past-eof.js +119 -0
- package/node_modules/pi-lens/dist/clients/bootstrap.js +12 -1
- package/node_modules/pi-lens/dist/clients/bounded-pid-file-lock.js +12 -3
- package/node_modules/pi-lens/dist/clients/bounded-telemetry.js +192 -0
- package/node_modules/pi-lens/dist/clients/cascade-budget.js +196 -0
- package/node_modules/pi-lens/dist/clients/cascade-format.js +20 -1
- package/node_modules/pi-lens/dist/clients/cascade-types.js +9 -1
- package/node_modules/pi-lens/dist/clients/child-unref.js +54 -6
- package/node_modules/pi-lens/dist/clients/code-quality-warnings.js +76 -24
- package/node_modules/pi-lens/dist/clients/dead-code-client.js +123 -31
- package/node_modules/pi-lens/dist/clients/deadline-utils.js +8 -1
- package/node_modules/pi-lens/dist/clients/debug-handles.js +5 -0
- package/node_modules/pi-lens/dist/clients/degradation-ledger.js +62 -13
- package/node_modules/pi-lens/dist/clients/dependency-checker.js +25 -3
- package/node_modules/pi-lens/dist/clients/diagnostic-dispositions.js +147 -33
- package/node_modules/pi-lens/dist/clients/diagnostic-line-freshness.js +298 -0
- package/node_modules/pi-lens/dist/clients/dispatch/dispatcher.js +52 -2
- package/node_modules/pi-lens/dist/clients/dispatch/integration.js +256 -88
- package/node_modules/pi-lens/dist/clients/dispatch/lazy.js +7 -4
- package/node_modules/pi-lens/dist/clients/dispatch/plan.js +5 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/ast-grep-napi.js +234 -18
- package/node_modules/pi-lens/dist/clients/dispatch/runners/biome-check.js +187 -19
- package/node_modules/pi-lens/dist/clients/dispatch/runners/cpp-check.js +6 -3
- package/node_modules/pi-lens/dist/clients/dispatch/runners/credo.js +11 -9
- package/node_modules/pi-lens/dist/clients/dispatch/runners/cue-vet.js +398 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/elixir-check.js +11 -3
- package/node_modules/pi-lens/dist/clients/dispatch/runners/eslint.js +12 -7
- package/node_modules/pi-lens/dist/clients/dispatch/runners/go-vet.js +18 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/helm-render.js +895 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/index.js +4 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/javac.js +16 -3
- package/node_modules/pi-lens/dist/clients/dispatch/runners/lsp.js +60 -53
- package/node_modules/pi-lens/dist/clients/dispatch/runners/markdownlint.js +16 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/mypy.js +23 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/psscriptanalyzer.js +331 -55
- package/node_modules/pi-lens/dist/clients/dispatch/runners/pyright.js +38 -5
- package/node_modules/pi-lens/dist/clients/dispatch/runners/rust-clippy.js +97 -19
- package/node_modules/pi-lens/dist/clients/dispatch/runners/spellcheck.js +14 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/sqlfluff.js +20 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/stylelint.js +22 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/swiftlint.js +10 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/taplo.js +18 -6
- package/node_modules/pi-lens/dist/clients/dispatch/runners/trivy-config.js +73 -12
- package/node_modules/pi-lens/dist/clients/dispatch/runners/utils/availability-policy.js +275 -13
- package/node_modules/pi-lens/dist/clients/dispatch/runners/utils/candidate-probe.js +21 -6
- package/node_modules/pi-lens/dist/clients/dispatch/runners/utils/lazy-installer.js +260 -27
- package/node_modules/pi-lens/dist/clients/dispatch/runners/utils/runner-helpers.js +734 -64
- package/node_modules/pi-lens/dist/clients/dispatch/runners/utils/spawn-outcome.js +86 -11
- package/node_modules/pi-lens/dist/clients/dispatch/runners/utils/tool-failure.js +72 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/utils/toolchain-availability.js +9 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/vale.js +9 -0
- package/node_modules/pi-lens/dist/clients/dispatch/runners/yamllint.js +18 -1
- package/node_modules/pi-lens/dist/clients/dispatch/runners/zig-check.js +4 -2
- package/node_modules/pi-lens/dist/clients/event-loop-monitor.js +28 -5
- package/node_modules/pi-lens/dist/clients/extension-log.js +22 -1
- package/node_modules/pi-lens/dist/clients/file-kinds.js +8 -2
- package/node_modules/pi-lens/dist/clients/finding-delivery-gate.js +294 -0
- package/node_modules/pi-lens/dist/clients/finding-identity.js +88 -0
- package/node_modules/pi-lens/dist/clients/formatters-lazy.js +3 -2
- package/node_modules/pi-lens/dist/clients/formatters.js +500 -115
- package/node_modules/pi-lens/dist/clients/generation-guard.js +216 -0
- package/node_modules/pi-lens/dist/clients/git-guard.js +31 -0
- package/node_modules/pi-lens/dist/clients/gitleaks-client.js +181 -8
- package/node_modules/pi-lens/dist/clients/govulncheck-client.js +109 -9
- package/node_modules/pi-lens/dist/clients/grammar-source.js +333 -10
- package/node_modules/pi-lens/dist/clients/host-ports.js +8 -0
- package/node_modules/pi-lens/dist/clients/installer/index.js +1114 -100
- package/node_modules/pi-lens/dist/clients/installer/managed-tool-refresh-session.js +58 -0
- package/node_modules/pi-lens/dist/clients/installer/managed-tool-refresh.js +715 -0
- package/node_modules/pi-lens/dist/clients/instance-reaper.js +643 -97
- package/node_modules/pi-lens/dist/clients/instance-registry.js +87 -17
- package/node_modules/pi-lens/dist/clients/jscpd-client.js +82 -6
- package/node_modules/pi-lens/dist/clients/knip-client.js +310 -10
- package/node_modules/pi-lens/dist/clients/language-policy.js +8 -2
- package/node_modules/pi-lens/dist/clients/language-profile.js +2 -0
- package/node_modules/pi-lens/dist/clients/latency-logger.js +440 -11
- package/node_modules/pi-lens/dist/clients/lazy-import.js +21 -0
- package/node_modules/pi-lens/dist/clients/ledger-bounds.js +21 -0
- package/node_modules/pi-lens/dist/clients/lens-flag-registry.js +8 -0
- package/node_modules/pi-lens/dist/clients/lsp/cascade-tier.js +102 -7
- package/node_modules/pi-lens/dist/clients/lsp/client.js +1516 -159
- package/node_modules/pi-lens/dist/clients/lsp/diagnostic-binding.js +83 -1
- package/node_modules/pi-lens/dist/clients/lsp/document-drift.js +389 -0
- package/node_modules/pi-lens/dist/clients/lsp/index.js +2274 -147
- package/node_modules/pi-lens/dist/clients/lsp/inferred-project.js +215 -0
- package/node_modules/pi-lens/dist/clients/lsp/jvm-runtime.js +146 -14
- package/node_modules/pi-lens/dist/clients/lsp/language.js +48 -4
- package/node_modules/pi-lens/dist/clients/lsp/server.js +277 -16
- package/node_modules/pi-lens/dist/clients/lsp/spawn-history.js +22 -0
- package/node_modules/pi-lens/dist/clients/lsp/sync-kind.js +43 -0
- package/node_modules/pi-lens/dist/clients/lsp/tsserver-sync.js +79 -3
- package/node_modules/pi-lens/dist/clients/lsp/wait-policy/strategies.js +43 -0
- package/node_modules/pi-lens/dist/clients/lsp/workspace-diagnostics-cache.js +422 -28
- package/node_modules/pi-lens/dist/clients/lsp/workspace-diagnostics-session.js +30 -0
- package/node_modules/pi-lens/dist/clients/lsp/workspace-sweep-hold.js +175 -0
- package/node_modules/pi-lens/dist/clients/lsp-lazy.js +3 -2
- package/node_modules/pi-lens/dist/clients/mcp/session.js +10 -2
- package/node_modules/pi-lens/dist/clients/module-report.js +8 -0
- package/node_modules/pi-lens/dist/clients/opengrep-client.js +15 -1
- package/node_modules/pi-lens/dist/clients/package-manager.js +170 -14
- package/node_modules/pi-lens/dist/clients/path-attribution-telemetry.js +27 -0
- package/node_modules/pi-lens/dist/clients/path-utils.js +160 -0
- package/node_modules/pi-lens/dist/clients/pipeline.js +154 -33
- package/node_modules/pi-lens/dist/clients/post-autofix-notice.js +37 -0
- package/node_modules/pi-lens/dist/clients/project-diagnostics/cache.js +17 -3
- package/node_modules/pi-lens/dist/clients/project-diagnostics/extractors.js +89 -22
- package/node_modules/pi-lens/dist/clients/project-diagnostics/fresh-fetch.js +84 -14
- package/node_modules/pi-lens/dist/clients/project-diagnostics/runner-adapters/gitleaks.js +15 -3
- package/node_modules/pi-lens/dist/clients/project-diagnostics/runner-adapters/trivy.js +50 -2
- package/node_modules/pi-lens/dist/clients/project-diagnostics/scanner.js +5 -0
- package/node_modules/pi-lens/dist/clients/project-lens-config.js +3 -0
- package/node_modules/pi-lens/dist/clients/project-snapshot.js +299 -0
- package/node_modules/pi-lens/dist/clients/quiet-window-config.js +47 -0
- package/node_modules/pi-lens/dist/clients/quiet-window.js +11 -25
- package/node_modules/pi-lens/dist/clients/read-guard-logger.js +1 -1
- package/node_modules/pi-lens/dist/clients/read-guard.js +184 -10
- package/node_modules/pi-lens/dist/clients/resource-sampler.js +49 -17
- package/node_modules/pi-lens/dist/clients/reverse-deps.js +50 -11
- package/node_modules/pi-lens/dist/clients/review-graph/query.js +52 -4
- package/node_modules/pi-lens/dist/clients/runtime-agent-end.js +96 -7
- package/node_modules/pi-lens/dist/clients/runtime-context.js +8 -1
- package/node_modules/pi-lens/dist/clients/runtime-coordinator.js +308 -45
- package/node_modules/pi-lens/dist/clients/runtime-session.js +332 -9
- package/node_modules/pi-lens/dist/clients/runtime-tool-call.js +217 -22
- package/node_modules/pi-lens/dist/clients/runtime-tool-result.js +212 -79
- package/node_modules/pi-lens/dist/clients/runtime-turn.js +575 -67
- package/node_modules/pi-lens/dist/clients/safe-spawn.js +220 -7
- package/node_modules/pi-lens/dist/clients/scratch-tree-policy.js +161 -0
- package/node_modules/pi-lens/dist/clients/search-read-registration.js +34 -6
- package/node_modules/pi-lens/dist/clients/security-scan-client.js +157 -24
- package/node_modules/pi-lens/dist/clients/sg-runner.js +116 -22
- package/node_modules/pi-lens/dist/clients/single-flight.js +158 -0
- package/node_modules/pi-lens/dist/clients/stale-marker.js +17 -0
- package/node_modules/pi-lens/dist/clients/startup-timing.js +19 -1
- package/node_modules/pi-lens/dist/clients/test-runner-client.js +151 -16
- package/node_modules/pi-lens/dist/clients/tool-event.js +56 -5
- package/node_modules/pi-lens/dist/clients/tool-policy.js +125 -20
- package/node_modules/pi-lens/dist/clients/tree-sitter-cache.js +75 -1
- package/node_modules/pi-lens/dist/clients/tree-sitter-client.js +769 -64
- package/node_modules/pi-lens/dist/clients/tree-sitter-shared.js +11 -0
- package/node_modules/pi-lens/dist/clients/tree-sitter-symbol-extractor.js +90 -0
- package/node_modules/pi-lens/dist/clients/trivy-client.js +19 -1
- package/node_modules/pi-lens/dist/clients/widget-state.js +336 -36
- package/node_modules/pi-lens/dist/clients/zizmor-config.js +214 -14
- package/node_modules/pi-lens/dist/index.js +67738 -55739
- package/node_modules/pi-lens/dist/tools/lens-diagnostics.js +466 -54
- package/node_modules/pi-lens/dist/tools/lsp-diagnostics.js +132 -43
- package/node_modules/pi-lens/dist/tools/lsp-navigation.js +46 -7
- package/node_modules/pi-lens/docs/agent-guide.md +6 -1
- package/node_modules/pi-lens/docs/ast-grep_rules_catalog.md +515 -506
- package/node_modules/pi-lens/docs/dispositions.md +21 -0
- package/node_modules/pi-lens/docs/features.md +19 -5
- package/node_modules/pi-lens/docs/globalconfig.md +3 -0
- package/node_modules/pi-lens/docs/language-coverage.md +71 -5
- package/node_modules/pi-lens/docs/mcp.md +2 -2
- package/node_modules/pi-lens/docs/servercapabilities.md +4 -1
- package/node_modules/pi-lens/docs/settings.md +19 -1
- package/node_modules/pi-lens/docs/usage.md +1 -0
- package/node_modules/pi-lens/package.json +10 -6
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/__snapshots__/no-reflect-get-js-snapshot.yml +23 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/__snapshots__/no-reflect-get-snapshot.yml +23 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/__snapshots__/ts-void-zero-snapshot.yml +23 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-bare-object-param-test.yml +16 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-chained-type-assertions-test.yml +15 -1
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-compile-call-test.yml +29 -1
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-dupe-class-members-test.yml +33 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-inner-html-js-test.yml +7 -1
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-inner-html-test.yml +7 -1
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-known-value-widening-test.yml +9 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-non-null-assertion-test.yml +216 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-reflect-apply-js-test.yml +2 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-reflect-apply-test.yml +2 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-reflect-get-js-test.yml +2 -1
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-reflect-get-test.yml +2 -1
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-return-value-in-generator-test.yml +12 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-runtime-typeof-test.yml +33 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-server-bind-wildcard-test.yml +9 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-shape-in-symbol-names-test.yml +13 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-sql-in-code-js-test.yml +5 -1
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-sql-in-code-test.yml +5 -1
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-unknown-parameters-test.yml +12 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-unknown-returns-test.yml +16 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-unsafe-dictionary-any-test.yml +10 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/no-unsafe-dictionary-unknown-test.yml +8 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/redundant-unsafe-function-test.yml +35 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/require-safety-comment-for-as-unknown-as-test.yml +177 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rule-tests/ts-void-zero-test.yml +1 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-await-expression-member-js.yml +13 -2
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-await-expression-member.yml +13 -2
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-bare-host-path-in-win32-branch.yml +2 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-bare-object-param.yml +60 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-chained-type-assertions.yml +57 -12
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-compile-call.yml +63 -5
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-dupe-class-members.yml +52 -8
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-inner-html-js.yml +27 -2
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-inner-html.yml +27 -2
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-known-value-widening.yml +71 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-non-null-assertion.yml +316 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-raw-json-store-write.yml +7 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-reflect-apply-js.yml +22 -2
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-reflect-apply.yml +23 -2
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-reflect-get-js.yml +33 -5
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-reflect-get.yml +34 -8
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-return-value-in-generator.yml +22 -5
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-runtime-typeof.yml +121 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-server-bind-wildcard.yml +23 -7
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-shape-in-symbol-names.yml +68 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-sql-in-code-js.yml +41 -2
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-sql-in-code.yml +41 -2
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-unknown-laundering.yml +6 -1
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-unknown-parameters.yml +67 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-unknown-returns.yml +106 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-unsafe-dictionary-any.yml +50 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-unsafe-dictionary-unknown.yml +56 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/no-win32-isabsolute-for-qualification.yml +2 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/redundant-unsafe-function.yml +32 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/require-safety-comment-for-as-unknown-as.yml +184 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/rules/ts-void-zero.yml +5 -0
- package/node_modules/pi-lens/rules/ast-grep-rules/self-scan-baseline.json +5 -0
- package/node_modules/pi-lens/scripts/analyze-pi-lens-logs.mjs +53 -1
- package/node_modules/pi-lens/scripts/download-grammars.js +25 -0
- package/node_modules/pi-lens/scripts/grammars.lock.json +9 -0
- package/node_modules/pi-lens/skills/pi-lens-ast-grep/SKILL.md +2 -0
- package/node_modules/pi-lens/skills/pi-lens-write-ast-grep-rule/SKILL.md +80 -3
- package/node_modules/pi-lens/skills/pi-lens-write-ast-grep-rule/reference.md +41 -0
- package/node_modules/pi-lens/vendor/grammars/tree-sitter-cue.wasm +0 -0
- package/node_modules/pi-mcp-adapter/CHANGELOG.md +36 -0
- package/node_modules/pi-mcp-adapter/README.md +47 -5
- package/node_modules/pi-mcp-adapter/cli.js +163 -1
- package/node_modules/pi-mcp-adapter/commands.ts +128 -22
- package/node_modules/pi-mcp-adapter/config.ts +25 -7
- package/node_modules/pi-mcp-adapter/direct-tools.ts +5 -4
- package/node_modules/pi-mcp-adapter/index.ts +219 -32
- package/node_modules/pi-mcp-adapter/init.ts +36 -4
- package/node_modules/pi-mcp-adapter/lifecycle.ts +315 -24
- package/node_modules/pi-mcp-adapter/mcp-auth-flow.ts +39 -6
- package/node_modules/pi-mcp-adapter/mcp-bearer-store.ts +387 -0
- package/node_modules/pi-mcp-adapter/mcp-callback-server.ts +27 -3
- package/node_modules/pi-mcp-adapter/mcp-code.ts +4 -0
- package/node_modules/pi-mcp-adapter/mcp-panel.ts +42 -13
- package/node_modules/pi-mcp-adapter/metadata-cache.ts +32 -21
- package/node_modules/pi-mcp-adapter/package-mcp-loader.ts +168 -0
- package/node_modules/pi-mcp-adapter/package.json +3 -1
- package/node_modules/pi-mcp-adapter/proxy-modes.ts +5 -4
- package/node_modules/pi-mcp-adapter/request-headers-command.ts +31 -37
- package/node_modules/pi-mcp-adapter/search-ranking.ts +92 -22
- package/node_modules/pi-mcp-adapter/server-manager.ts +140 -2
- package/node_modules/pi-mcp-adapter/session-recovery.ts +7 -0
- package/node_modules/pi-mcp-adapter/tool-approval.ts +15 -2
- package/node_modules/pi-mcp-adapter/tool-result-renderer.ts +44 -4
- package/node_modules/pi-mcp-adapter/types.ts +2 -0
- package/node_modules/pi-mcp-adapter/ui-server.ts +18 -16
- package/node_modules/pi-mcp-adapter/utils.ts +70 -0
- package/node_modules/pi-web-access/CHANGELOG.md +23 -0
- package/node_modules/pi-web-access/README.md +27 -9
- package/node_modules/pi-web-access/anysearch.ts +4 -2
- package/node_modules/pi-web-access/brave.ts +16 -4
- package/node_modules/pi-web-access/curator-page.ts +6 -3
- package/node_modules/pi-web-access/curator-server.ts +4 -1
- package/node_modules/pi-web-access/exa.ts +18 -7
- package/node_modules/pi-web-access/extract.ts +28 -3
- package/node_modules/pi-web-access/gemini-search.ts +16 -4
- package/node_modules/pi-web-access/index.ts +41 -57
- package/node_modules/pi-web-access/package.json +1 -1
- package/node_modules/pi-web-access/page-query.ts +4 -2
- package/node_modules/pi-web-access/parallel-mcp.ts +249 -0
- package/node_modules/pi-web-access/parallel.ts +2 -2
- package/node_modules/pi-web-access/query-rewrite.ts +51 -0
- package/node_modules/pi-web-access/serper.ts +211 -0
- package/node_modules/pi-web-access/summary-model-scope.ts +12 -4
- package/node_modules/pi-web-access/summary-review.ts +44 -22
- package/node_modules/pi-web-access/tavily.ts +16 -4
- package/node_modules/pi-web-access/utils.ts +87 -0
- package/node_modules/pi-web-access/valyu.ts +199 -0
- package/package.json +13 -13
|
@@ -12,34 +12,73 @@
|
|
|
12
12
|
*
|
|
13
13
|
* Refs: #130, #131, #132
|
|
14
14
|
*/
|
|
15
|
+
import * as path from "node:path";
|
|
15
16
|
import { createSubsystemLogger } from "./extension-log.js";
|
|
16
17
|
import { safeSpawnAsync } from "./safe-spawn.js";
|
|
17
|
-
import { classifyProbeFailure, createAvailabilityLatch, logAvailabilityDecision, startHostStallSampler, } from "./dispatch/runners/utils/availability-policy.js";
|
|
18
|
+
import { classifyProbeFailure, createAvailabilityLatch, describeInstallAttempt, describeProbeEvidence, logAvailabilityDecision, startHostStallSampler, } from "./dispatch/runners/utils/availability-policy.js";
|
|
18
19
|
export class SecurityScanClient {
|
|
19
20
|
toolName;
|
|
20
21
|
/**
|
|
21
22
|
* Availability memo, backed by the shared transient-aware latch (#1467).
|
|
22
23
|
*
|
|
23
24
|
* Assigning `false` still means "durable: this machine does not have the
|
|
24
|
-
* tool" — every existing subclass write keeps its meaning. A
|
|
25
|
-
*
|
|
26
|
-
*
|
|
25
|
+
* tool" — every existing subclass write keeps its meaning. A transient
|
|
26
|
+
* failure must expire instead: `probeVersion` latches its own transient
|
|
27
|
+
* verdicts (#1501), and any other transient failure (a scan or install
|
|
28
|
+
* timeout) goes through `markTransientlyUnavailable`, so the tool can come
|
|
29
|
+
* back without a host restart.
|
|
27
30
|
*/
|
|
28
31
|
availabilityLatch = createAvailabilityLatch();
|
|
29
32
|
get available() {
|
|
30
33
|
return this.availabilityLatch.read();
|
|
31
34
|
}
|
|
32
35
|
set available(value) {
|
|
33
|
-
if (value === true)
|
|
36
|
+
if (value === true) {
|
|
34
37
|
this.availabilityLatch.noteAvailable();
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
+
return;
|
|
39
|
+
}
|
|
40
|
+
if (value !== false) {
|
|
38
41
|
this.availabilityLatch.reset();
|
|
42
|
+
return;
|
|
43
|
+
}
|
|
44
|
+
this.availabilityLatch.noteUnavailable("missing", "not-found");
|
|
45
|
+
this.logDurableAbsence();
|
|
46
|
+
}
|
|
47
|
+
/**
|
|
48
|
+
* Latch a durable absence WITH the facts behind it. Prefer this over
|
|
49
|
+
* `available = false` wherever the call site knows what actually failed — a
|
|
50
|
+
* `missing` row carrying `install: "failed"` is a retry candidate, one
|
|
51
|
+
* carrying `install: "not-attempted"` is a policy decision, and a bare one is
|
|
52
|
+
* a plain absence. Only the record can tell them apart.
|
|
53
|
+
*/
|
|
54
|
+
noteDurableAbsence(evidence, options = {}) {
|
|
55
|
+
this.availabilityLatch.noteUnavailable("missing", "not-found");
|
|
56
|
+
this.logDurableAbsence(evidence, options.elapsedMs);
|
|
39
57
|
}
|
|
40
|
-
/**
|
|
58
|
+
/**
|
|
59
|
+
* One record per durable-absence ASSERTION, whether or not the call site had
|
|
60
|
+
* evidence. Before this, `available = false` after a failed install was a
|
|
61
|
+
* silent latch: the tool went quiet for the session with nothing in
|
|
62
|
+
* latency.log to audit (#1500). Bounded — the verdict latches, so at most one
|
|
63
|
+
* row per client per session.
|
|
64
|
+
*
|
|
65
|
+
* `elapsedMs` is whatever the caller measured (an install attempt's duration);
|
|
66
|
+
* there is no probe here, so it is 0 unless the caller has something real.
|
|
67
|
+
*/
|
|
68
|
+
logDurableAbsence(evidence, elapsedMs = 0) {
|
|
69
|
+
logAvailabilityDecision({
|
|
70
|
+
tool: this.toolName,
|
|
71
|
+
verdict: "unavailable",
|
|
72
|
+
outcome: "missing",
|
|
73
|
+
cause: "not-found",
|
|
74
|
+
elapsedMs,
|
|
75
|
+
latched: true,
|
|
76
|
+
classifiedBy: "caller",
|
|
77
|
+
...(evidence !== undefined && { evidence }),
|
|
78
|
+
});
|
|
79
|
+
}
|
|
80
|
+
/** Outcome of the most recent `probeVersion` call. */
|
|
41
81
|
lastProbeOutcome = null;
|
|
42
|
-
lastProbeCause = null;
|
|
43
82
|
ensureInFlight = null;
|
|
44
83
|
inFlight = new Map();
|
|
45
84
|
binaryPath = null;
|
|
@@ -74,10 +113,17 @@ export class SecurityScanClient {
|
|
|
74
113
|
}
|
|
75
114
|
/**
|
|
76
115
|
* Spawn `toolName <versionArgs>` and report whether it answered cleanly.
|
|
77
|
-
*
|
|
78
|
-
*
|
|
79
|
-
*
|
|
80
|
-
*
|
|
116
|
+
* Classifies the failure (`lastProbeOutcome`) and emits one
|
|
117
|
+
* availability-decision record, so a probe that keeps timing out is visible
|
|
118
|
+
* in latency.log rather than inferred from silence (#1467).
|
|
119
|
+
*
|
|
120
|
+
* Latch ownership is split by outcome: success and durable failures leave
|
|
121
|
+
* `this.available` to the caller (a missing binary may still be
|
|
122
|
+
* auto-installed), while a TRANSIENT failure is latched by the seam itself
|
|
123
|
+
* with its cooldown — the retry schedule only exists once the latch owns
|
|
124
|
+
* the verdict, and the record is incomplete without it (#1501). Callers
|
|
125
|
+
* must not re-mark a probe transient (a second noteUnavailable would
|
|
126
|
+
* double-escalate the cooldown).
|
|
81
127
|
*/
|
|
82
128
|
async probeVersion(versionArgs) {
|
|
83
129
|
const sampler = startHostStallSampler();
|
|
@@ -95,7 +141,6 @@ export class SecurityScanClient {
|
|
|
95
141
|
const elapsedMs = Date.now() - startedAt;
|
|
96
142
|
if (!probe.error && probe.status === 0) {
|
|
97
143
|
this.lastProbeOutcome = "success";
|
|
98
|
-
this.lastProbeCause = "ok";
|
|
99
144
|
this.log(`${this.toolName} found: ${probe.stdout.trim().split("\n")[0]}`);
|
|
100
145
|
logAvailabilityDecision({
|
|
101
146
|
tool: this.toolName,
|
|
@@ -106,12 +151,22 @@ export class SecurityScanClient {
|
|
|
106
151
|
latched: true,
|
|
107
152
|
hostStallMs,
|
|
108
153
|
budgetMs: 5000,
|
|
154
|
+
classifiedBy: "probe",
|
|
155
|
+
evidence: describeProbeEvidence(probe),
|
|
109
156
|
});
|
|
110
157
|
return true;
|
|
111
158
|
}
|
|
112
|
-
const { outcome, cause } = classifyProbeFailure(probe, {
|
|
159
|
+
const { outcome, cause, evidence } = classifyProbeFailure(probe, {
|
|
160
|
+
hostStallMs,
|
|
161
|
+
});
|
|
113
162
|
this.lastProbeOutcome = outcome;
|
|
114
|
-
|
|
163
|
+
// A transient verdict's record is incomplete without the retry schedule,
|
|
164
|
+
// and the schedule only exists once the latch owns the verdict — so the
|
|
165
|
+
// seam writes the expiring verdict itself, at log time (#1501). Durable
|
|
166
|
+
// outcomes stay caller-owned (a missing binary may still be installed).
|
|
167
|
+
const retryAfterMs = outcome === "transient"
|
|
168
|
+
? this.availabilityLatch.noteUnavailable("transient", cause)
|
|
169
|
+
: 0;
|
|
115
170
|
logAvailabilityDecision({
|
|
116
171
|
tool: this.toolName,
|
|
117
172
|
verdict: "unavailable",
|
|
@@ -120,7 +175,10 @@ export class SecurityScanClient {
|
|
|
120
175
|
elapsedMs,
|
|
121
176
|
latched: outcome !== "transient",
|
|
122
177
|
hostStallMs,
|
|
178
|
+
...(retryAfterMs > 0 && { retryAfterMs }),
|
|
123
179
|
budgetMs: 5000,
|
|
180
|
+
classifiedBy: "probe",
|
|
181
|
+
evidence,
|
|
124
182
|
});
|
|
125
183
|
return false;
|
|
126
184
|
}
|
|
@@ -135,9 +193,47 @@ export class SecurityScanClient {
|
|
|
135
193
|
* Returns that cooldown in ms so the caller can put it in its decision
|
|
136
194
|
* record. A latch you can read in `latency.log` without the retry schedule
|
|
137
195
|
* beside it only tells you the tool is off, not when it comes back.
|
|
196
|
+
*
|
|
197
|
+
* For NON-probe transient failures only (scan/install timeouts):
|
|
198
|
+
* `probeVersion` latches and logs its own transient verdicts (#1501), so
|
|
199
|
+
* re-marking one here would double-escalate the cooldown.
|
|
200
|
+
*
|
|
201
|
+
* Pass `opts.operationClass: "install"` when the failed operation was a
|
|
202
|
+
* network install/compile rather than a cheap probe (#1497): the retry
|
|
203
|
+
* escalates on the install-class schedule, on its OWN cooldown slot (a
|
|
204
|
+
* cheap probe failure can never shorten it), and latches for the session at
|
|
205
|
+
* the attempt ceiling, in which case the return is 0 (latched).
|
|
206
|
+
*/
|
|
207
|
+
markTransientlyUnavailable(cause = "probe-timeout", opts) {
|
|
208
|
+
return this.availabilityLatch.noteUnavailable("transient", cause, opts);
|
|
209
|
+
}
|
|
210
|
+
/**
|
|
211
|
+
* The cause the LATCH settled on, which is not always the cause the caller
|
|
212
|
+
* passed in: at the install-class ceiling the latch rewrites it to
|
|
213
|
+
* `install-retry-exhausted` (#1497). A decision record built from the
|
|
214
|
+
* caller's own cause would say `probe-timeout` for a verdict that is no
|
|
215
|
+
* longer being retried, so the record reads it back from here.
|
|
138
216
|
*/
|
|
139
|
-
|
|
140
|
-
return this.availabilityLatch.
|
|
217
|
+
latchedCause() {
|
|
218
|
+
return this.availabilityLatch.getCause();
|
|
219
|
+
}
|
|
220
|
+
/**
|
|
221
|
+
* #1623: public window onto the availability verdict for callers OUTSIDE
|
|
222
|
+
* the dispatch graph (mode=full's fresh-fetch) that need to say WHY
|
|
223
|
+
* `ensureAvailable()` most recently returned false — using the SAME
|
|
224
|
+
* `AvailabilityOutcome`/`AvailabilityCause` taxonomy every dispatch-side
|
|
225
|
+
* message is built from, rather than a re-guessed "binary unavailable"
|
|
226
|
+
* that can't tell a transient retry-cooldown probe from a durable absence.
|
|
227
|
+
* `latchedCause()`/`lastProbeOutcome` above stay `protected` for
|
|
228
|
+
* dispatch-internal callers; this is the one public seam for everyone
|
|
229
|
+
* else.
|
|
230
|
+
*/
|
|
231
|
+
getAvailabilityVerdict() {
|
|
232
|
+
return {
|
|
233
|
+
outcome: this.availabilityLatch.getOutcome(),
|
|
234
|
+
cause: this.availabilityLatch.getCause(),
|
|
235
|
+
retryAtMs: this.availabilityLatch.getRetryAtMs(),
|
|
236
|
+
};
|
|
141
237
|
}
|
|
142
238
|
/**
|
|
143
239
|
* Standard availability path for the GitHub-release tools (gitleaks, trivy):
|
|
@@ -151,22 +247,59 @@ export class SecurityScanClient {
|
|
|
151
247
|
}
|
|
152
248
|
if (this.probeWasTransient()) {
|
|
153
249
|
// A timed-out probe is not evidence the tool is absent, so it must not
|
|
154
|
-
// trigger an install NOR latch a permanent `false`.
|
|
250
|
+
// trigger an install NOR latch a permanent `false`. probeVersion has
|
|
251
|
+
// already recorded the expiring verdict and its retry schedule
|
|
252
|
+
// (#1501) — re-marking it here would double-escalate the cooldown.
|
|
155
253
|
this.log(`${this.toolName} availability probe timed out; not installing, will retry`);
|
|
156
|
-
this.markTransientlyUnavailable(this.lastProbeCause ?? "probe-timeout");
|
|
157
254
|
return false;
|
|
158
255
|
}
|
|
159
256
|
this.log(`${this.toolName} not found, attempting auto-install`);
|
|
160
|
-
const { ensureTool } = await import("./installer/index.js");
|
|
257
|
+
const { ensureTool, getInstallAttempt } = await import("./installer/index.js");
|
|
258
|
+
const installStartedAt = Date.now();
|
|
161
259
|
const installed = await ensureTool(this.toolName);
|
|
162
260
|
if (!installed) {
|
|
163
|
-
this.
|
|
164
|
-
|
|
261
|
+
// #1500: this classification is ASSERTED, not derived. It is justified —
|
|
262
|
+
// the probe already classified a genuine absence, and a failed repair
|
|
263
|
+
// leaves the tool absent — but the install failure has no taxonomy of
|
|
264
|
+
// its own, so a network blip and a permanently unavailable release look
|
|
265
|
+
// identical from here. Record what happened rather than only the verdict.
|
|
266
|
+
//
|
|
267
|
+
// `ensureTool` answers the same empty result whether it TRIED and failed
|
|
268
|
+
// or declined to try (auto-install off, project trust denied), so the
|
|
269
|
+
// attempt is read from the reason it records rather than assumed — the
|
|
270
|
+
// review found `install: "failed"` being written for attempts that never
|
|
271
|
+
// happened.
|
|
272
|
+
const attempt = getInstallAttempt(this.toolName);
|
|
273
|
+
this.log(attempt?.outcome === "failed"
|
|
274
|
+
? `${this.toolName} auto-install failed: ${attempt.reason ?? "unknown reason"}`
|
|
275
|
+
: `${this.toolName} auto-install did not run: ${attempt?.reason ?? "no attempt recorded"}`);
|
|
276
|
+
this.noteDurableAbsence(describeInstallAttempt(attempt), {
|
|
277
|
+
elapsedMs: Date.now() - installStartedAt,
|
|
278
|
+
});
|
|
165
279
|
return false;
|
|
166
280
|
}
|
|
167
281
|
this.binaryPath = installed;
|
|
168
282
|
this.available = true;
|
|
169
283
|
this.log(`${this.toolName} auto-installed at ${installed}`);
|
|
284
|
+
// The probe already wrote a latched `unavailable` row (#1500's durable
|
|
285
|
+
// assertion doesn't fire here — install SUCCEEDED — but probeVersion's
|
|
286
|
+
// verdict still did, before this call ever ran). Without a compensating
|
|
287
|
+
// row, the durable record says the lane is off when it just came back
|
|
288
|
+
// on: the exact defect #1606 was filed over.
|
|
289
|
+
logAvailabilityDecision({
|
|
290
|
+
tool: this.toolName,
|
|
291
|
+
verdict: "available",
|
|
292
|
+
outcome: "success",
|
|
293
|
+
cause: "ok",
|
|
294
|
+
elapsedMs: Date.now() - installStartedAt,
|
|
295
|
+
latched: true,
|
|
296
|
+
classifiedBy: "caller",
|
|
297
|
+
evidence: {
|
|
298
|
+
install: "succeeded",
|
|
299
|
+
binary: path.basename(installed),
|
|
300
|
+
source: "managed-dir",
|
|
301
|
+
},
|
|
302
|
+
});
|
|
170
303
|
return true;
|
|
171
304
|
}
|
|
172
305
|
/**
|
|
@@ -12,7 +12,8 @@ import { getSgCommand, resolveManagedToolClient, } from "./dispatch/runners/util
|
|
|
12
12
|
import { getProjectIgnoreGlobs } from "./file-utils.js";
|
|
13
13
|
import { findGlobalBinary } from "./package-manager.js";
|
|
14
14
|
import { safeSpawnAsync } from "./safe-spawn.js";
|
|
15
|
-
import {
|
|
15
|
+
import { createSingleFlight } from "./single-flight.js";
|
|
16
|
+
import { classifyProbeFailure, describeInstallAttempt, createAvailabilityLatch, logAvailabilityDecision, startHostStallSampler, } from "./dispatch/runners/utils/availability-policy.js";
|
|
16
17
|
/**
|
|
17
18
|
* Build the `bash -c` argv that runs `cmd` with `allArgs` as POSITIONAL
|
|
18
19
|
* parameters. The script is the constant `"$0" "$@"`, so bash re-emits the
|
|
@@ -106,7 +107,11 @@ export class SgRunner {
|
|
|
106
107
|
* restart and paid for an install nobody needed.
|
|
107
108
|
*/
|
|
108
109
|
availabilityLatch = createAvailabilityLatch();
|
|
109
|
-
|
|
110
|
+
/**
|
|
111
|
+
* At-most-one sweep in flight, via the shared primitive (#1753). One
|
|
112
|
+
* instance owns one question, so the key is a constant.
|
|
113
|
+
*/
|
|
114
|
+
ensureFlight = createSingleFlight();
|
|
110
115
|
/**
|
|
111
116
|
* Whether a DIRECT candidate — one that would have been ast-grep itself —
|
|
112
117
|
* failed for a transient reason in the current sweep. Only these block the
|
|
@@ -117,11 +122,34 @@ export class SgRunner {
|
|
|
117
122
|
*/
|
|
118
123
|
sweepSawTransient = false;
|
|
119
124
|
sweepTransientCause = "probe-timeout";
|
|
125
|
+
/**
|
|
126
|
+
* The DIRECT candidates that were unreachable, in ask order (#1568).
|
|
127
|
+
*
|
|
128
|
+
* The sweep returns at the first candidate that answers, so at the moment of
|
|
129
|
+
* a win this is exactly the set of preferred tiers the winner did not beat on
|
|
130
|
+
* the merits. Fallbacks are excluded on purpose: `npx` is asked before the
|
|
131
|
+
* global-bin and platform-package tiers, and a slow `npx` says nothing about
|
|
132
|
+
* a winner that is a real binary.
|
|
133
|
+
*
|
|
134
|
+
* Basenames, because a candidate can be an absolute global-bin or
|
|
135
|
+
* platform-package path and this list is written to latency.log (#1568
|
|
136
|
+
* review F3).
|
|
137
|
+
*/
|
|
138
|
+
sweepUnreachable = [];
|
|
120
139
|
/** A transient on the npx fallback: not evidence, but not nothing either. */
|
|
121
140
|
sweepFallbackTransient = false;
|
|
122
141
|
sweepFallbackCause = "probe-timeout";
|
|
123
142
|
/** Host stall summed over every probe of the current sweep, ms. */
|
|
124
143
|
sweepHostStallMs = 0;
|
|
144
|
+
/**
|
|
145
|
+
* Candidates — direct or fallback — that this sweep probed and found
|
|
146
|
+
* DURABLY missing (real ENOENT/non-installable, not a stall) (#1593). The
|
|
147
|
+
* retained-arm fallback below only sees whether SOME candidate stalled; this
|
|
148
|
+
* list lets it also check whether the memoized winner itself is one of the
|
|
149
|
+
* candidates this very sweep just disproved, rather than re-serving a
|
|
150
|
+
* command that ENOENTed a moment ago because an unrelated sibling stalled.
|
|
151
|
+
*/
|
|
152
|
+
sweepDurablyMissing = [];
|
|
125
153
|
constructor(verbose = false) {
|
|
126
154
|
this.log = verbose
|
|
127
155
|
? createSubsystemLogger("sg-runner")
|
|
@@ -130,10 +158,12 @@ export class SgRunner {
|
|
|
130
158
|
/**
|
|
131
159
|
* Check if ast-grep CLI is available, auto-install if not.
|
|
132
160
|
*
|
|
133
|
-
* Re-entrancy safe: concurrent first-time callers share
|
|
134
|
-
*
|
|
135
|
-
*
|
|
136
|
-
*
|
|
161
|
+
* Re-entrancy safe: concurrent first-time callers share one flight, so
|
|
162
|
+
* probing/auto-install isn't duplicated across session-start tasks. The
|
|
163
|
+
* share and the clear-in-finally belong to `singleFlight` (#1753); this
|
|
164
|
+
* method owns only the latch short-circuit above it. The sweep-local
|
|
165
|
+
* bookkeeping `doEnsureAvailable` resets on entry is untouched — it is
|
|
166
|
+
* per-sweep state, not concurrency state.
|
|
137
167
|
*/
|
|
138
168
|
async ensureAvailable() {
|
|
139
169
|
// Fast path: already decided. `read()` returns null when the last verdict
|
|
@@ -141,23 +171,17 @@ export class SgRunner {
|
|
|
141
171
|
const memo = this.availabilityLatch.read();
|
|
142
172
|
if (memo !== null)
|
|
143
173
|
return memo;
|
|
144
|
-
|
|
145
|
-
return this.ensureInFlight;
|
|
146
|
-
this.ensureInFlight = this.doEnsureAvailable();
|
|
147
|
-
try {
|
|
148
|
-
return await this.ensureInFlight;
|
|
149
|
-
}
|
|
150
|
-
finally {
|
|
151
|
-
this.ensureInFlight = null;
|
|
152
|
-
}
|
|
174
|
+
return this.ensureFlight.run("ast-grep", () => this.doEnsureAvailable());
|
|
153
175
|
}
|
|
154
176
|
async doEnsureAvailable() {
|
|
155
177
|
const startedAt = Date.now();
|
|
156
178
|
this.sweepSawTransient = false;
|
|
157
179
|
this.sweepTransientCause = "probe-timeout";
|
|
180
|
+
this.sweepUnreachable = [];
|
|
158
181
|
this.sweepFallbackTransient = false;
|
|
159
182
|
this.sweepFallbackCause = "probe-timeout";
|
|
160
183
|
this.sweepHostStallMs = 0;
|
|
184
|
+
this.sweepDurablyMissing = [];
|
|
161
185
|
// Step 1: PATH — canonical binary names + npx fallback.
|
|
162
186
|
// Prefer ast-grep over sg on Linux: /usr/bin/sg is util-linux, not ast-grep.
|
|
163
187
|
const pathCommand = await this.probeCommandCandidates([
|
|
@@ -218,6 +242,19 @@ export class SgRunner {
|
|
|
218
242
|
// install below was never reached and the slow npx was re-spawned on each
|
|
219
243
|
// escalating retry instead — worse than the latch it replaced.
|
|
220
244
|
if (this.sweepSawTransient) {
|
|
245
|
+
// Nothing answered, transiently, while we are still holding a command a
|
|
246
|
+
// previous provisional sweep proved working. Discarding it here would
|
|
247
|
+
// run #1476 backwards — a timeout erasing a positive result — and it
|
|
248
|
+
// would send the sweep on to Step 4 to install a tool that is already
|
|
249
|
+
// runnable. Keep the winner and re-arm the cooldown (#1568 review F1).
|
|
250
|
+
// #1593: a sibling tier stalling this sweep is not license to re-serve
|
|
251
|
+
// a winner that THIS SAME sweep just proved durably missing.
|
|
252
|
+
if (this.availabilityLatch.isProvisional() &&
|
|
253
|
+
this.sgPath &&
|
|
254
|
+
!this.sweepDurablyMissing.includes(this.sgPath)) {
|
|
255
|
+
this.noteAvailable(startedAt, `ast-grep re-probe stalled; keeping ${this.sgPath}`, { retained: true });
|
|
256
|
+
return true;
|
|
257
|
+
}
|
|
221
258
|
this.log("ast-grep availability probe timed out; will retry (not installing)");
|
|
222
259
|
return this.noteUnavailable(startedAt, "transient", this.sweepTransientCause);
|
|
223
260
|
}
|
|
@@ -240,21 +277,61 @@ export class SgRunner {
|
|
|
240
277
|
if (this.sweepFallbackTransient) {
|
|
241
278
|
return this.noteUnavailable(startedAt, "transient", this.sweepFallbackCause);
|
|
242
279
|
}
|
|
243
|
-
|
|
280
|
+
// #1500: ASSERTED, not derived — and justified, because every candidate
|
|
281
|
+
// probe answered "not found", so the absence is real. What the install did
|
|
282
|
+
// is recorded as evidence rather than folded into the verdict: it is the one
|
|
283
|
+
// fact separating "never installable here" from "the download failed", and
|
|
284
|
+
// from "no install was attempted at all" (auto-install off, trust denied,
|
|
285
|
+
// or an attempt already suppressed this session).
|
|
286
|
+
const { getInstallAttempt } = await import("./installer/index.js");
|
|
287
|
+
return this.noteUnavailable(startedAt, "missing", "not-found", describeInstallAttempt(getInstallAttempt("ast-grep"), {
|
|
288
|
+
installedButRejected: installed.outcome === "non-installable",
|
|
289
|
+
}), "caller");
|
|
244
290
|
}
|
|
245
|
-
/**
|
|
246
|
-
|
|
247
|
-
|
|
291
|
+
/**
|
|
292
|
+
* Record a successful sweep, with one decision record.
|
|
293
|
+
*
|
|
294
|
+
* The win is latched for the session UNLESS a direct candidate ahead of it
|
|
295
|
+
* was unreachable (#1568). `sweepSawTransient` is set only by candidates the
|
|
296
|
+
* sweep already asked, and the sweep returns at the first one that answers,
|
|
297
|
+
* so at this point the flag means "a tier the winner is supposed to lose to
|
|
298
|
+
* never got a fair hearing". Latching that pinned the session to
|
|
299
|
+
* `npx --no -- ast-grep` — a Node start per invocation — over a healthy
|
|
300
|
+
* ast-grep on PATH, until the next restart. Provisional instead: served now,
|
|
301
|
+
* re-swept once the stalled tier's cooldown expires.
|
|
302
|
+
*
|
|
303
|
+
* The install arm cannot reach here provisionally: `doEnsureAvailable`
|
|
304
|
+
* returns before Step 4 whenever `sweepSawTransient` is set.
|
|
305
|
+
*
|
|
306
|
+
* `retained` marks the other provisional case (#1568 review F1): no candidate
|
|
307
|
+
* answered at all, and the winner being reported is the one the previous
|
|
308
|
+
* sweep found, kept rather than discarded on a timeout.
|
|
309
|
+
*/
|
|
310
|
+
noteAvailable(startedAt, message, opts = {}) {
|
|
311
|
+
const provisional = this.sweepSawTransient;
|
|
312
|
+
let retryAfterMs = 0;
|
|
313
|
+
if (provisional) {
|
|
314
|
+
retryAfterMs = this.availabilityLatch.noteProvisionallyAvailable(this.sweepTransientCause);
|
|
315
|
+
}
|
|
316
|
+
else {
|
|
317
|
+
this.availabilityLatch.noteAvailable();
|
|
318
|
+
}
|
|
248
319
|
this.log(message);
|
|
249
320
|
logAvailabilityDecision({
|
|
250
321
|
tool: "ast-grep",
|
|
251
322
|
verdict: "available",
|
|
252
323
|
outcome: "success",
|
|
253
|
-
cause: "ok",
|
|
324
|
+
cause: provisional ? this.sweepTransientCause : "ok",
|
|
254
325
|
elapsedMs: Date.now() - startedAt,
|
|
255
|
-
latched:
|
|
326
|
+
latched: !provisional,
|
|
256
327
|
hostStallMs: this.sweepHostStallMs,
|
|
257
328
|
budgetMs: PROBE_TIMEOUT_MS,
|
|
329
|
+
...(provisional && {
|
|
330
|
+
provisional: true,
|
|
331
|
+
unreachablePreferred: [...this.sweepUnreachable],
|
|
332
|
+
...(opts.retained === true && { retained: true }),
|
|
333
|
+
...(retryAfterMs > 0 && { retryAfterMs }),
|
|
334
|
+
}),
|
|
258
335
|
});
|
|
259
336
|
}
|
|
260
337
|
/**
|
|
@@ -264,7 +341,15 @@ export class SgRunner {
|
|
|
264
341
|
* about the sweep rather than any single candidate — reporting zero here
|
|
265
342
|
* would erase the evidence that cracked #1467.
|
|
266
343
|
*/
|
|
267
|
-
noteUnavailable(startedAt, outcome, cause
|
|
344
|
+
noteUnavailable(startedAt, outcome, cause, evidence,
|
|
345
|
+
/**
|
|
346
|
+
* How this arm reached its verdict. Per arm on purpose (#1500 review): the
|
|
347
|
+
* sweep's own transient/missing conclusions ARE derived from candidate
|
|
348
|
+
* probes, but the post-install assertion is not, and hardcoding `"probe"`
|
|
349
|
+
* here labelled an assertion as a derivation — the exact confusion the
|
|
350
|
+
* field was added to remove.
|
|
351
|
+
*/
|
|
352
|
+
classifiedBy = "probe") {
|
|
268
353
|
const retryAfterMs = this.availabilityLatch.noteUnavailable(outcome, cause);
|
|
269
354
|
logAvailabilityDecision({
|
|
270
355
|
tool: "ast-grep",
|
|
@@ -276,6 +361,8 @@ export class SgRunner {
|
|
|
276
361
|
hostStallMs: this.sweepHostStallMs,
|
|
277
362
|
...(retryAfterMs > 0 && { retryAfterMs }),
|
|
278
363
|
budgetMs: PROBE_TIMEOUT_MS,
|
|
364
|
+
classifiedBy,
|
|
365
|
+
...(evidence !== undefined && { evidence }),
|
|
279
366
|
});
|
|
280
367
|
return false;
|
|
281
368
|
}
|
|
@@ -392,8 +479,15 @@ export class SgRunner {
|
|
|
392
479
|
else {
|
|
393
480
|
this.sweepSawTransient = true;
|
|
394
481
|
this.sweepTransientCause = cause;
|
|
482
|
+
const name = path.basename(cmd);
|
|
483
|
+
if (!this.sweepUnreachable.includes(name)) {
|
|
484
|
+
this.sweepUnreachable.push(name);
|
|
485
|
+
}
|
|
395
486
|
}
|
|
396
487
|
}
|
|
488
|
+
else if (!this.sweepDurablyMissing.includes(cmd)) {
|
|
489
|
+
this.sweepDurablyMissing.push(cmd);
|
|
490
|
+
}
|
|
397
491
|
return false;
|
|
398
492
|
}
|
|
399
493
|
async probeCommandCandidates(candidates) {
|
|
@@ -0,0 +1,158 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* `singleFlight` — at most one execution per key, clear owned by the primitive.
|
|
3
|
+
*
|
|
4
|
+
* Ten sites hand-roll the same five lines: look up a key in a promise map,
|
|
5
|
+
* return the existing promise if there is one, otherwise start the work and
|
|
6
|
+
* delete the key in a `finally`. The class has a measured bug yield, and every
|
|
7
|
+
* bug is in the part the call site wrote rather than the part it meant:
|
|
8
|
+
*
|
|
9
|
+
* - #1690: the `finally`-clear was never exercised, so its regression test
|
|
10
|
+
* passed with the clear deleted. A memo short-circuit above the in-flight
|
|
11
|
+
* check meant the second call never reached it.
|
|
12
|
+
* - #1674: the `finally` deleted the key unconditionally, so a probe settling
|
|
13
|
+
* after a session reset evicted the REPLACEMENT probe a new session had
|
|
14
|
+
* already started for the same key.
|
|
15
|
+
* - #1687: the trailing-rerun bit shipped unpinned — the test asserted "at most
|
|
16
|
+
* two passes" one-sidedly, which a coalescer that dropped the rerun entirely
|
|
17
|
+
* also satisfies.
|
|
18
|
+
* - #1722: an inner latch was vacuous and its own mutation matrix deleted it.
|
|
19
|
+
*
|
|
20
|
+
* This module owns those four guards once. The API is the INTERSECTION of the
|
|
21
|
+
* ten sites, not a superset: share, clear-in-finally, optional trailing-rerun
|
|
22
|
+
* coalescing, optional generation check. Anything a single site needs stays at
|
|
23
|
+
* that site.
|
|
24
|
+
*
|
|
25
|
+
* LIFECYCLE: the primitive owns no module state. `createSingleFlight` returns
|
|
26
|
+
* a closure, so each registry's lifetime is its OWNER's — an instance field
|
|
27
|
+
* lives as long as the instance, a module-level const as long as the process.
|
|
28
|
+
* That keeps the session-state question where it belongs, at the owner, and
|
|
29
|
+
* `clear()` is the seam an owner's reset calls. The two converted sites hold
|
|
30
|
+
* instance fields, exactly as their `ensureInFlight` fields did, so neither
|
|
31
|
+
* one's session-state answer changes.
|
|
32
|
+
*
|
|
33
|
+
* Teardown of a flight that never settles is the owner's question, and neither
|
|
34
|
+
* converted site answers it today: a wedged probe holds its key until the
|
|
35
|
+
* process ends, exactly as its `ensureInFlight` field did on master. This
|
|
36
|
+
* primitive does not make that worse and does not fix it; an owner that needs a
|
|
37
|
+
* deadline wraps `fn` in one before handing it over.
|
|
38
|
+
*
|
|
39
|
+
* The generation hook is deliberately thin — a `() => number` the primitive
|
|
40
|
+
* reads at start and again at completion. The standalone generation-guard
|
|
41
|
+
* primitive is #1754's; when it lands, this stays a callback and composes with
|
|
42
|
+
* it rather than absorbing it.
|
|
43
|
+
*/
|
|
44
|
+
/**
|
|
45
|
+
* Create a keyed single-flight registry.
|
|
46
|
+
*
|
|
47
|
+
* Sites with only one thing to dedupe pass a constant key; the map costs one
|
|
48
|
+
* entry and buys the same four guards a single slot would have to re-derive.
|
|
49
|
+
*/
|
|
50
|
+
export function createSingleFlight(options = {}) {
|
|
51
|
+
const { generation: readGeneration, coalesceTrailing = false } = options;
|
|
52
|
+
const flights = new Map();
|
|
53
|
+
const currentGeneration = () => readGeneration?.() ?? 0;
|
|
54
|
+
/**
|
|
55
|
+
* Release `key`, but ONLY if this exact flight still owns it.
|
|
56
|
+
*
|
|
57
|
+
* This is the #1674 eviction direction: a flight that settles late must not
|
|
58
|
+
* delete the entry a SUCCESSOR already installed under the same key. The
|
|
59
|
+
* successor may exist because a reset cleared the map and a new caller
|
|
60
|
+
* arrived, or because the generation moved and `run` superseded the stale
|
|
61
|
+
* flight. Identity answers both, so identity is the only check here.
|
|
62
|
+
*
|
|
63
|
+
* `runner-helpers.ts:1058` writes this as a generation check AND an identity
|
|
64
|
+
* check. The mutation matrix says the generation half of that pair kills no
|
|
65
|
+
* test: whenever it would fire, identity has already returned. The pair is
|
|
66
|
+
* harmless there and not worth churning; it is not worth copying either.
|
|
67
|
+
*/
|
|
68
|
+
const release = (key, flight) => {
|
|
69
|
+
if (flights.get(key) !== flight)
|
|
70
|
+
return;
|
|
71
|
+
flights.delete(key);
|
|
72
|
+
};
|
|
73
|
+
const run = (key, fn) => {
|
|
74
|
+
const existing = flights.get(key);
|
|
75
|
+
// Sharing requires BOTH a running flight and a matching generation. A
|
|
76
|
+
// flight from an earlier generation answers a question a session reset
|
|
77
|
+
// already invalidated, so this caller falls through and starts a fresh
|
|
78
|
+
// one; the `flights.set` below replaces the stale entry outright, and the
|
|
79
|
+
// stale flight's own `release` then finds a foreign entry and leaves it
|
|
80
|
+
// alone. There is deliberately no explicit delete for the superseded
|
|
81
|
+
// entry: nothing reads the map between here and that `set`, so a delete
|
|
82
|
+
// would be a dead statement dressed as a guard.
|
|
83
|
+
if (existing && existing.generation === currentGeneration()) {
|
|
84
|
+
// A mid-flight request in the SAME generation. With coalescing it earns
|
|
85
|
+
// exactly one trailing pass no matter how many such requests arrive;
|
|
86
|
+
// without it, it shares the running pass. Either way it never starts a
|
|
87
|
+
// second flight.
|
|
88
|
+
if (coalesceTrailing)
|
|
89
|
+
existing.rerunRequested = true;
|
|
90
|
+
return existing.promise;
|
|
91
|
+
}
|
|
92
|
+
// The shared handle is built BEFORE `fn` runs and BEFORE the map entry is
|
|
93
|
+
// published, so the entry a reentrant caller finds always carries a real
|
|
94
|
+
// pending promise. The hand-rolled sites all publish the entry after
|
|
95
|
+
// starting the work, which leaves a synchronous window where a reentrant
|
|
96
|
+
// call starts a second flight for the same key.
|
|
97
|
+
let settle;
|
|
98
|
+
let fail;
|
|
99
|
+
const promise = new Promise((resolve, reject) => {
|
|
100
|
+
settle = resolve;
|
|
101
|
+
fail = reject;
|
|
102
|
+
});
|
|
103
|
+
const flight = {
|
|
104
|
+
promise,
|
|
105
|
+
generation: currentGeneration(),
|
|
106
|
+
rerunRequested: false,
|
|
107
|
+
};
|
|
108
|
+
const chain = async () => {
|
|
109
|
+
let result = await fn();
|
|
110
|
+
// KNOWN INTERACTION, `coalesceTrailing` + `generation`: a flight that
|
|
111
|
+
// gets superseded mid-pass with its rerun bit already set still runs
|
|
112
|
+
// that one trailing pass, because the bit lives on the flight and no
|
|
113
|
+
// caller can reach in to clear it. So a reset can cost ONE extra pass
|
|
114
|
+
// of pre-reset work, whose result nothing reads — the superseded
|
|
115
|
+
// promise has no callers left that a live caller depends on.
|
|
116
|
+
//
|
|
117
|
+
// Left as-is rather than fixed blind: no site uses both options today,
|
|
118
|
+
// so any fix would be untested guesswork about which behavior a real
|
|
119
|
+
// caller wants. A reset arguably SHOULD abandon the pending rerun; it
|
|
120
|
+
// arguably should also let a pass that is already half-done finish.
|
|
121
|
+
// The third site to turn this combination on decides, and adds the
|
|
122
|
+
// test that pins whichever answer it picks.
|
|
123
|
+
//
|
|
124
|
+
// Only reruns requested WHILE a pass was running count. Clearing the bit
|
|
125
|
+
// before each pass — never after — is what pins the coalescing to "at
|
|
126
|
+
// most one trailing rerun": a request that arrives during pass 2 sets
|
|
127
|
+
// the bit again and gets pass 3, which is still one trailing pass per
|
|
128
|
+
// burst-that-overlaps-a-pass, not one per request.
|
|
129
|
+
while (flight.rerunRequested) {
|
|
130
|
+
flight.rerunRequested = false;
|
|
131
|
+
result = await fn();
|
|
132
|
+
}
|
|
133
|
+
return result;
|
|
134
|
+
};
|
|
135
|
+
flights.set(key, flight);
|
|
136
|
+
// Release runs on BOTH settlements — a rejected `fn` must not wedge the
|
|
137
|
+
// key, which is #1690's leak. Release and settle happen in the same
|
|
138
|
+
// synchronous step, so their order relative to each other is not
|
|
139
|
+
// observable; what matters is that both run before any awaiting caller's
|
|
140
|
+
// continuation. A rejection also abandons a pending rerun: re-running
|
|
141
|
+
// work that just threw is a retry policy, and a retry policy belongs to
|
|
142
|
+
// the caller that knows what the work was.
|
|
143
|
+
chain().then((value) => {
|
|
144
|
+
release(key, flight);
|
|
145
|
+
settle(value);
|
|
146
|
+
}, (error) => {
|
|
147
|
+
release(key, flight);
|
|
148
|
+
fail(error);
|
|
149
|
+
});
|
|
150
|
+
return flight.promise;
|
|
151
|
+
};
|
|
152
|
+
return {
|
|
153
|
+
run,
|
|
154
|
+
has: (key) => flights.has(key),
|
|
155
|
+
size: () => flights.size,
|
|
156
|
+
clear: () => flights.clear(),
|
|
157
|
+
};
|
|
158
|
+
}
|