pi-lens 4.4.3 → 4.4.4

package/docs/pi-lens-merge-policy.md

@@ -30,7 +30,9 @@ moved lines; include only structural views that changed.
 1. **Review.** Spawn `pi-lens-reviewer` (worktree isolation) with the PR
    number, a one-paragraph summary of the claim, and any PR-specific attack
    angles. Self-authored and small PRs get reviewed too — the depth follows
-   the review tier below, never the priority label.
+   the review tier below, never the priority label. Bots review the PR as well:
+   every bot thread (Greptile and others) gets a disposition reply, `fixed in
+   <sha>`, `accepted and disclosed`, or `rejected because <reason>`.
 2. **Fix rounds.** Send findings back to the PR's original author agent when
    its worktree survives (SendMessage — cheapest context); otherwise spawn
    `pi-lens-fixer` on the branch with the findings inlined.
@@ -75,7 +77,8 @@ moved lines; include only structural views that changed.
    sweeps is not green — run the sweep on the merge before merging. Apply
    AGENTS.md's one mutation layer (#4005): new-guard proof and demonstrated
    correctness gaps gate the merge. `ci-verdict` prints no mutation line, and
-   the nightly Stryker report is not a merge input.
+   the nightly Stryker report is not a merge input. Every bot review thread
+   carries its disposition reply and is resolved before the merge.
 5. **Merge.** `gh pr merge <N> --merge` (merge commit, repo convention).
    If "not up to date", `gh api -X PUT .../pulls/<N>/update-branch`, wait for
    CI, re-gate, merge. On GitHub 503s: retry with backoff, never switch to
@@ -160,6 +163,18 @@ blocks dispatch above the thresholds (no hand-written fallback;
 every refill; state them in the lane ledger. Standing rule from
 2026-09-03, lifted only when the maintainer says so.
 
+## Host capacity (orchestrator)
+
+The maintainer may cap how many subagents run at once, for example when RAM is
+shared with a local model. This is a machine-load cap, separate from
+`PI_LENS_TEST_MAX_WORKERS` and from Git authority. A lane counts by what it
+runs, not by its role or brief wording: any agent that runs a build, Vitest, a
+language server or a probe counts, including an investigator that reproduces
+through a probe and a Git-read-only reviewer. Agents that only read files and
+call `gh`, grep or Explore never count and run in parallel with the capped
+lanes; their brief says "no builds, no tests, no language servers, no probes"
+(maintainer, 2026-10-14).
+
 ## Brief contract (orchestrator)
 
 Before dispatching any issue that adds a shared helper or seam: grep for
@@ -191,8 +206,27 @@ exactly one `priority:p1|p2|p3` (AGENTS.md #1676 rubric). The priority labels
 were found deleted from the repo on 2026-09-03 and recreated (#2553); an
 issue filed without one is a triage defect, not a shortcut.
 
-Every reviewer **follow-up issue** generalization verdict is filed and assigned
-to a seam group on the tracking queue in the same turn. At each regroup, scan
+**Merge bar (user, 2026-10-18).** A PR merges when no HIGH finding is open and
+every gating check is green on the exact head. Each MEDIUM or LOW finding
+either folds into the same PR or becomes an accepted residual: the PR body
+lists it under `## Accepted residuals`, named `p3` with its severity and live
+population (for example `p3 (MEDIUM, live 0): <the gap>`), so the gap keeps a
+priority without an issue.
+A residual never becomes a follow-up issue. File an issue only for p2 or
+higher work that cannot ride the PR: a HIGH outside the PR's scope, or a
+MEDIUM with a live population. Before a final round, the brief says "final
+round" and names what it fixes; a residual of MEDIUM or below after it does not
+reopen the round.
+
+**Known gaps (user, 2026-10-19).** An open p3 issue is an accepted known gap,
+not backlog. The orchestrator closes it as not planned with the `known-gap`
+label and lists it under its seam on the pinned tracker #4626. When a PR
+merges, its `## Accepted residuals` lines join the same tracker under their
+seam. A known gap reopens as p2 when it turns material: a live wrong result,
+data loss, a hang, or a leak with no bound.
+
+Every reviewer **follow-up issue** generalization verdict that meets that bar is
+filed and assigned to a seam group on the tracking queue in the same turn. At each regroup, scan
 merged PRs for subset-shaped changes that lack a generalization verdict.
 
 Before filing a review follow-up, apply the standing fold rule: fold same-seam
@@ -202,6 +236,13 @@ re-verification; small code folds carry a red-first test and return to the same
 reviewer. File only different-seam, blocked, decision-dependent, untouched
 pre-existing, or risk-class-changing items, as one consolidated issue per PR.
 
+A brief carries the lane's facts and the task, and points at the role
+contract for everything else. Lane facts are the worktree, branch, base,
+TMPDIR, test-worker cap, Git grant, and deliverable path. It never restates
+contract rules such as hooks, trailers, stash, PR-body lint or summary
+shape, because the role wrapper loads them. `bin/claude-lane.sh` prints
+exactly the lane facts.
+
 ## Round-count rail (orchestrator)
 
 When a verify round reports that a fix round introduced a NEW defect on the
@@ -334,7 +375,16 @@ operator's private notes, so a different orchestrator can run the same train.
   round 1.** Their correctness lives in parsing edge cases, exactly where the
   smaller model loses: #2693 took two Sonnet rounds (~720k tokens) on a text
   scanner before the rail sent round 3 to Opus, which rewrote it on the AST
-  and closed in two rounds.
+  and closed in two rounds. The rule covers checks that scan source text or
+  its AST. A plain assertion over config or workflow data (two pins match, a
+  key exists) goes to Sonnet, or to Haiku when mechanical (#4350).
+- **Haiku 5.5 is the orchestrator's cheap lane.** The orchestrator uses it
+  without asking for read-only locate and premise-pointer passes, CI-red and
+  nightly investigations (`pi-lens-investigator`), and mechanical lanes
+  through `pi-lens-fixer-light`. Mechanical lanes include trailing folds,
+  dependabot pin and allowlist moves, and reviewer-prescribed test rows. It
+  never authors detectors or governance sweeps (the Opus rule above), and
+  never takes lifecycle or identity seams or reviews of runtime diffs.
 - **Brief shape for a fixer.** Issue/PR number and head; the checked-out
   branch; the exact findings with file:line, the reviewer's probe to reproduce
   FIRST, and the remedy shape the maintainer chose; what to fold (net-count)
@@ -501,8 +551,18 @@ operator's private notes, so a different orchestrator can run the same train.
   layer SHOULD have caught it earlier and at what cost. The accepted layer
   words are the `DETECTION_LAYERS` list exported by `scripts/check-pr-body.mjs`,
   which the `## Detection` body check reads; the prose does not restate them.
+  `nightly` may carry its workflow as `nightly:<workflow>`, and a bug-closing
+  PR is refused when `Caught by:`, `Should have been caught by:`, the reason
+  after `Gap: none:`, the `Shape: new:` name or the `Enforcer: none:` reason is
+  a placeholder (starts with `unknown`, or is exactly `n/a`, `tbd` or `?`)
+  (#4519: 139 of 363 closed bugs read unknown in the 2026-10-16 retro).
   If that layer does not exist, file it as an issue with the bug as
-  its named recurrence — the same standard shapes are held to. The ledger
+  its named recurrence — the same standard shapes are held to. The lesson
+  names the defect SHAPE and its tree-wide enforcer, not only a test for the
+  instance: the Gap names the `AGENTS.md` catalog shape (or a new shape) and
+  either a test that scans the whole population, an issue to build one, or
+  `judgment-only` with the reason. A one-bug test is the fix's regression
+  test, not the closed gap (lint half: #4439). The ledger
   carries a `caught by / should have been caught by` column. Record: #2587's
   manifest entry escaped the package for four releases; a second registration
   path masked it, so the shipped defect was foreign-tree adoption, not absence
@@ -722,8 +782,10 @@ Each row cost a lane at least once; the prose above carries the record.
 | Diagnosing a red from the first `##[error]` line | #4054's shard-5 red was called "npm registry unreachable"; that line came from a passing stubbed test, and the real failure was a 5 s timeout in check-pr-body.test.ts (#4088, 2026-10-07). Read the FAIL lines; treat annotation lines from stubbed tests as noise |
 | Triggering CI on a bot PR before checking whether a run already exists | land.sh closed and reopened #4084 30 s after an update-branch, before the new run registered, which cancelled the run, and the cancelled aggregate read red (2026-10-07). Reopen only when no run exists for the head after a real wait |
 | Writing a closing keyword where GitHub does not honour it, or by accident | #4121's title said `closes #3873`, which fails the close-keyword check (titles are never honoured); #4094's body said "then fixed #4080", an accidental closing keyword (2026-10-07). Put closing keywords in the body only, and reread the body for `fix(es\|ed) #N` prose |
+| Quoting a closing keyword in a commit message | #4375's commit f40ac6c28 quoted `not fixed: #4346` and `Whether this closes #1513` as lint examples; GitHub acts on commit-message keywords that reach the default branch, so the merge closed both (2026-10-14). `closingIssuesReferences` omits them. Commit messages get the same keyword rules as the body; quote examples as `#N` without the keyword |
+| Merging a contract-doc edit on an orchestrator read alone | #4379's seven-line host-cap section used "read-only" for the opposite of its meaning in `docs/pi-lens-subagent.md`, and left probe-running investigators unclassified; a scoped review caught both (2026-10-14). An edit to `docs/pi-lens-*.md` or AGENTS.md gets one scoped reviewer pass |
 | Seeding a group list from the active queue instead of the tracker | The orchestrator's session group held 3 issues while `area:session` had 8 more open p2s, so "is the session group done?" was answered from an incomplete list (2026-10-08). Build a group from the label and the tracker, then subtract what is out of scope |
-| Filing every LOW review finding as an issue | Each review spawned about one follow-up, so the CI group stayed at about 36 open after 16 closures (2026-10-07). Fold or drop LOW findings; file only MEDIUM and above or a reproduced sibling, and give each group a "done when" |
+| Filing every LOW review finding as an issue | Each review spawned about one follow-up, so the CI group stayed at about 36 open after 16 closures (2026-10-07). Fold or drop LOW findings; file only what the merge bar admits (p2 or higher that cannot ride the PR), and give each group a "done when" |
 | No cleanup when lanes end | 78 GB of finished lane trees and a 22 GB leaking test TMPDIR filled the root disk twice; two reviewers lost probe runs and one fixer's test file was truncated (2026-10-07). Remove a lane's trees and TMPDIR when its PR merges, and keep a disk alarm |
 | Deriving the next round from a stale brief or a stale premise | #3871's brief asked for a selection fix #3903 had already shipped, and #3813's assumed every producer was unfixed; both fixers correctly refused to rebuild merged work (2026-10-07). Re-check the premise on current master when a lane starts, not when the issue was filed |
 | Calling a PR-owned hygiene leak pre-existing because the same files fail on a later run | The PR's own CI run exposed the leak, but the reviewer classified it as a flake and fixed an unreachable injected path; the PR review and red-on-base comparison should have owned the finding. The hygiene check now treats a new leak on a green-master PR as CAUSED-BY-PR until red-on-base proves otherwise, and harness children receive a private `TMPDIR` (#4133, #4128). |
@@ -747,3 +809,31 @@ Each row cost a lane at least once; the prose above carries the record.
 | Adapting repository fixtures to a Plegma guard failure | Verify caught the harness-specific workaround; the fixture lane should have reported the environment block without changing repository tests. Plegma-guard fixture failures are now reported as environmental. |
 | Reading a piped command's exit status instead of its outcome record | A pending chain was reported as successful because `tail` returned zero; the landing check should have read the chain's own result. `land.sh` now prints `LAND-RESULT #N: <state> (rc=N)`, which callers must read. |
 | Routing a same-seam new defect to a weaker fixer after a prior round | The next verify found the same-seam defect after a Luna-high assignment; round routing should have selected Opus from the seam and round count. Rule: a new same-seam defect after two rounds goes to Opus (cloud fixer when the subscription is short) with the state table and model step first. |
+| Asking the maintainer whether to build or file a missing detection layer | The orchestrator owns the detection retrospective: it files the layer issue, or folds it into the same-seam PR, the same day, and tells the maintainer (maintainer, 2026-10-13). |
+| Sending a detector or governance-test round to a cheap model | The #4341 npx-pin scanner went to a Haiku round before the Opus-from-round-1 rule was re-read; check the routing bullets before every detector brief. |
+| Routing on the word "governance" instead of the risk | #4350 (a CodeQL pin-equality test) went to Opus as "governance authoring"; the Opus rule is for source-scanning detectors only. |
+| Leaving the `dist/` precondition undeclared | At least 5 lanes (#4417, #4418, the #4422 verify, the #4410 r1 review, the #4423 review F5) each ruled out the same 3 census reds that need `npm run build:dist` (2026-10-14). Mechanical: fail fast when a selected test needs `dist/` and it is missing or stale (#4436); `CLAUDE.md` names `npm run build:dist` for those files meanwhile |
+| A wait helper with a fixed wall-clock budget | `interleaving-kit` `waitFor` ran out at 3000 ms under CI load (run 38618401454, `tests/clients/fix-run-restore.test.ts:378`); the file passed alone and under 3 shuffle seeds, so the red read as a flake. Mechanical, filed as #4437 |
+| Briefing a worker to "report the size first" before a large migration | A worker cannot wait for a reply, so the #4432 fixer did the migration anyway (2026-10-14). A brief authorizes the conditional branch with its bound, or tells the worker to stop and hand back; `AGENTS.md` "Orchestration and delegated work" |
+| Naming a file by basename in a brief | "index.ts" meant `clients/lsp/index.ts`; a Haiku measurement pass searched the root `index.ts` and reported the #2052 comment missing (2026-10-14). Name every file by its repo path |
+| Sending a lane that must find its own failure space to Haiku | #4342 rounds 1 and 2 left three review findings (a wall-clock bound, a wrong offline premise, a 13-vs-20 population); a fresh Opus round with a state table passed verify first time (#4410 round 3). Haiku folds with a prescribed remedy (#4340, #4341, #4345, #4356, #4368, #4372, #4374, #4417) landed first try. Haiku takes only a prescribed change; `AGENTS.md` "Orchestration and delegated work" |
+| Listing a blast radius without the changed result's callers | #4411 round 3 changed `touchFile`'s result and the body omitted the cascade neighbour caller (`clients/dispatch/integration.ts:2139`), which then printed an uncaused "inconclusive" line every turn (review N2). `AGENTS.md` already requires `module_report` with `blastRadius: true` before and after; run it for the changed result and quote every caller, then read each one |
+| Leaving a ledger row reading as a remainder after a PR flips from `refs` to `closes` | The orchestrator's closes-check refused two lands (#4422, #4409) because the row still named a remainder after verify confirmed every criterion (2026-10-14). Mechanical, orchestrator tooling outside this repo: to be fixed in the orchestrator's land tooling, not by a repo check |
+| Linting the PR body only at the end of a round | #4423's advisory `PR body` check went red on 5 consecutive pushes in round 2 with the same passive-voice findings (2026-10-14); a push does not change the body, so the check re-read the unfixed one each time. Lint the body with `--lint-local` before the first push of a round (`docs/pi-lens-fixer.md` "Fix rounds") |
+| Concluding "no existing seam does this" from a search of your own call names | #4528 searched `notifyExternalFileChange\(` and missed six freshness modules in `clients/`; five detectors ended up wiring their own consumers (#4535). Search by primitive (`docs/pi-lens-fixer.md` "Before code"); the reviewer widens the query (`docs/pi-lens-reviewer.md`, #4536) |
+| Importing `dist/` from a script a workflow runs before any build | #4525's `scripts/assert-evaluated.mjs` reached `dist/` through `lib/clean-signal.mjs`, so `tool-smoke-prs` would fail on every refresh PR. #4531 pins the import graph with a test and plants |
+| Pinning workflow step shell as text instead of running it | #4531 r1: four mutations of the Swift, APFS and handshake shell survived, including deleting `set +e`. Run the extracted step shell against stubs in a test |
+| Filing gap after gap on one mechanism without an audit | Eleven freshness gaps went into #4532 before anyone asked why there were eleven; the cause was one missing fan-out (#4535). Three issues on one mechanism open a consolidation audit (`AGENTS.md` "Orchestration and delegated work") |
+| Landing with an unresolved bot review thread | #4548 and #4558 merged with open Greptile threads (2026-10-17); each one's disposition arrived or never did, and nothing held the land. Every bot thread gets a disposition reply and is resolved before the merge (step 1 and step 4 of "The loop, per PR") |
+| Pushing a worker tree on a stale "failed" settlement | The #4575 r5 settlement read as failed while its resumed turn was live and about to push (plegma #752). The orchestrator's push-verify now refuses a tree with a live agent process, and its wait loop takes a `turnId`. |
+| Settling a fix round with unpushed commits | #4582 r1 settled with the commits still local and nobody noticed (plegma #753). The settlement hook now prints `UNPUSHED` or `DIRTY` for the tree it just settled. |
+| Switching `closes` to `refs` through a raw `gh pr edit` body edit | The #4581 land was refused because commit `d068be947` still closed #4488. `pr-body.sh` now refuses a body that drops a commit's close keyword, and the orchestrator guard denies raw body edits. |
+| Reading an empty DeepSeek turn as a worker stall and resuming it | Four resumes on one backend exhausted the balance (plegma #751). Two empty turns on one backend mean check the backend or the quota before any resume. |
+| Proving a workflow floor with a test that matched the step's shell text | The step's exit code was never checked, and the body claimed a shared helper had not landed (#4584 review F1/F3). The reviewer caught both under the existing tautological-test and reuse-the-seam rules, and the round moves the case to `tests/scripts/floor-steps-executed.test.ts`. |
+| Taking a local `vitest --shard=3/5` soak as CI's shard 3 | The shard never contained the target file, so four runs were wasted (#4488). The soak now asserts the target is in the set it recovered from CI's own job log before it runs. |
+| Trusting fixers and reviewers to read the bot threads on their own | Greptile threads and code-scanning alerts reached a round only when the orchestrator relayed them (#4566, #4575). The role contracts now carry a conditional read-and-dispose rule; a missing bot review is never evidence, and the reviewer's own pass stands alone. |
+| Leaving the PR watcher down after a context compaction | #4594 sat conflicting with nobody told (2026-10-18). An orchestrator hook now marks a compacted or resumed session and denies tool calls until the watcher runs again. |
+| Resuming a review or fix round without `passthrough: ["gh"]` | A workspace override drops the inherited passthrough (plegma #762), so the #4593 verifier ran with `gh` unauthenticated and could not read CI or threads. The orchestrator's delegate guard refuses such a round. |
+| Pushing to a PR branch while a fix round is queued against its old head | Merging master into #4594 staled the queued round's lease; the worker pushed a diverged copy to its handle branch (plegma #723). The orchestrator's push-verify refuses while a round still publishes to that branch. |
+| Resuming a reviewer without naming the deliverable | The resumed verifies of #4575 and #4593 inherited report names that did not match the brief, so the hand-back missed the report. Every resumed round names its `deliverables` explicitly. |
+| Calling an issue "blocked on a release" without reproducing it on master | #4554 waited on a release; 58 runs on master did not reproduce it, and it closed crediting #4563. Reproduce on master before naming a blocker. |

package/docs/pi-lens-monitor.md

@@ -76,7 +76,11 @@ snapshots; no additional telemetry sink is created.
    re-activates and uses them. MCP remains connection-scoped and owns the
    terminal latch.
 6. **Backlogs**: `lsp_document_drift` rows by disposition, files affected,
-   `driftAgeMs` p50/p95/max; `agent_end_deferred_mutation_drain` durations and
+   `driftAgeMs` p50/p95/max; `lsp_document_drift_cap` rows (at most one per
+   session) with `tracked` and `cap` when the tracked-document set stands above
+   `DRIFT_TRACK_CAP` because every record belongs to a document a live server
+   still holds (#4503) — `tracked - cap` is the excess at the first crossing,
+   not the held-document count or later growth; `agent_end_deferred_mutation_drain` durations and
    coalesced path counts; `deferred_format_file` runs with `changed:true`
    versus total. A formatter that never settles is visible only as an
    anti-join (#3828): a `deferred_format_post_exit_resync` row with
@@ -109,7 +113,9 @@ snapshots; no additional telemetry sink is created.
    displaced is another; a subagent beside a live primary writes none)
    transitions,
    `session_end_fence_rollup` (one per primary shutdown: `sources[]` with
-   `guarded` and `dropped`, plus totals). Read `read_guard_branch_retained` with
+   `guarded` and `dropped`, plus totals), `lsp_created_import_scan_rollup`
+   (one per primary shutdown when the created-module producer ran: `calls`,
+   `importers`, `targets`, `capped`, `oversized`, `totalMs`, `maxMs`). Read `read_guard_branch_retained` with
    `payloadReads`: `kept 0, dropped 0` is a missing payload when `payloadReads`
    is `null`, an empty read set at `0`, and an ignored payload when it is above
    0 beside a `payloadVersion` that is not the current one.

package/docs/pi-lens-retro.md

@@ -62,7 +62,10 @@ is involved. Every finding cites the source it came from.
    is filed as an issue naming the incident as its recurrence, not merged.
 4. **Judgement candidates become one line in the right place.** A defect shape
    goes into the `AGENTS.md` catalog as a lean screen, and its issues, PRs and
-   examples go to `HISTORY.md`; a reviewer duty goes
+   examples go to `HISTORY.md`, under a heading that names the shape, such as
+   `## 2026-10-14 - title (shape N)`: a lean entry cites no issue, and
+   `tests/config/shape-history-governance.test.ts` finds the record by that
+   heading or by one of the entry's own issue numbers. A reviewer duty goes
    into `docs/pi-lens-reviewer.md`; a fixer duty goes into `docs/pi-lens-fixer.md`
    only when the fixer is the sole actor who can honour it. Standards are
    enforced by the reviewer, whose context pressure is lowest; fixers get

package/docs/pi-lens-reviewer.md

@@ -50,6 +50,53 @@ a brief supplies only `lane=<name>`, scope, and the grant.
 7. Clean up: revert mutations, delete probes, and leave
    `git status --porcelain` empty.
 
+## Compliance pass
+
+Run this over the merge-base diff at step 2, before the adversarial probes in
+step 4. Each row is a rule a bot can decide from what the diff touches; the
+probes still prove behaviour. Quote the named evidence in the review, and name
+the anchor in the finding so the fixer can route it. A row with no recurrence
+does not ship.
+
+| Diff touches | Check | Evidence to quote | Recurrence |
+| --- | --- | --- | --- |
+| A new `it(` or `test(` title, or a case added to a table test | Red first: the case fails on the pre-fix source, with the failure the defect names (principles §2 "Red first") | The pre-fix transcript, with its `Tests N failed` line naming the new titles | #4577 (Greptile, 2026-10-17: round-4 cases shipped with no red) |
+| A new guard, branch, filter, cap or fallback | Mutation red on that predicate, both directions, in a compile-valid change (principles §2 "Mutation output is quoted") | The `scripts/mutate.mjs` transcript and its `RED` status line, with the one test it reds | #4575 (Greptile r4304045025: no mutation red for the saveOnly rule) |
+| A file under `clients/lsp/`, `formal/`, or any path `formal/switch-pins.json` names | The model moves with the code: a `.tla`/`.cfg` hunk and its TLC verdict, or a `TLA+ unaffected:` line; a flipped constant flips its config and its pin (AGENTS shape 68) | The line, or the model diff plus the verdict, and the pin's test name for a flipped constant | #4575 (Greptile r4304045020: the model did not move with the code), #4387, #4393 |
+| A spawn, shell or path seam: `clients/package-manager.ts`, `clients/lsp/launch.ts`, `clients/path-utils.ts`, `clients/safe-spawn.ts`, or any `trySpawn` caller | Read the Windows lane, and keep a shim cell that asserts the platform command (AGENTS "Test requirements"; "Dispatch, runners, formatters, and installers") | The `Unit tests Windows` row on the head, or the shim cell's platform assertion | #4566 (Greptile r4304149666: the `.cmd` cells), #4356, #4263 |
+| A rung that can execute project code | Judge the rung by the resolved target under every trust state, never by the name it was called with (AGENTS "LSP, trust, and process execution") | The target table: each spelling, its resolved path, and the verdict under trusted, unknown and denied | #4566 (an empty `PATH` and a global link each ran project code), #4530 |
+| A new shared helper | Net-count rule: delete a same-shape sibling in this change (principles §1 "Net-count rule for shared helpers") | The deleted sibling in `Change outline`, or the unsafe-to-fold reason with its follow-up link | #2585 r1, #2617 r1 (an existing override and scan set bypassed or recopied), #3064, #3065, #3066, #3068 (a fold's newly sole predicate left untested) |
+| A second writer, reader or mirror of one shared record | Design shared state once, with a reason or kind discriminator per writer (principles §1 "Design shared state once"; AGENTS shape 24) | The writers-by-axis table, and the discriminator each writer carries | #1631/#1641 (the `stale` collision that was green alone), #1633, #1703 |
+| A durable record whose shape changes, or a new version of one | Keep the fixture corpus: every version that produced the record still parses (principles §2 "Keep fixture corpora") | The fixture path and the parser test that replays it | #3594 R2-F1 (AGENTS shape 57) |
+| A cache or memo key | Key every input the value depends on, trust scope and install state included (AGENTS shape 6) | The key's input list beside the value's dependencies, and the mutation that changes one input | #4562 (a large update left a cached answer), #4566 (a trust change left tools missing) |
+| A test-side source scan, census, ratchet or detector | Detectors match code, not prose, and fail closed on an unlisted spelling (principles §2 "Detectors match code"; AGENTS shape 69) | The blanked-source read, and three plants the author did not design for: an alias, an indirect call, a value through another binding | #2693 (a ratchet counted four sites where six existed), #4439 |
+| A workflow, action or job | The edited lane runs on a pull request, or a branch run is quoted with its run id (AGENTS "Commands and gates") | `gh workflow run <file> --ref <branch>` with its run id, or the PR-eligible cell's name | #3043, #3085 |
+| A `continue-on-error` producer or a nightly floor | The producer reports to `scripts/assert-evaluated.mjs`, and its floor reds below the measured count (AGENTS "LSP, trust, and process execution") | The floor value beside the run's evaluated count | #4518 |
+| A path a host tool was given (a `~`, an `@` prefix, a `file://` URL), or a path re-resolved after it left disk | Resolve by provenance, one seam per provenance; a generated or recovered path is never re-resolved (AGENTS shape 74) | The resolver the caller uses, and the path form it accepts, before and after | #4576, #4577 (a bash operand resolved on the host-argument ladder, then an absolute spelling rewritten) |
+| A path recovered from disk, a synthetic write event, or a path pi-lens generates | The path carries its provenance, host argument, shell token, recovered or generated, and nothing re-derives it (AGENTS shape 58) | The provenance the caller states at the injection point, and the resolver it therefore skips | #4577 (a recovered name was re-folded), #4558 |
+| A path-keyed map, normalizer or path comparison | Normalize on write, read, delete and rehydrate, and test Windows separators and casing (AGENTS shape 1) | The writer and reader table, with the normalizer each one calls | #3178 (four rounds, two inverted arms, one unmeasured swap) |
+| A session, lifecycle, generation or turn-end seam | Capture the generation before the await, and key the state by the session that owns it (AGENTS shapes 21 and 22; "Session, telemetry, and delivery") | The captured scope or generation the write checks, and the test that races it | #4258 (a stale activation rebinding a held bridge), #4154 |
+| A lifecycle, ownership or queue-ordering change | Name a cell and a mutation per axis: owner and identity, last leave, and queue ordering (principles §1 "Identity and lifecycle rules"; AGENTS shapes 21 and 22) | The state table with one row per axis, and the mutation transcript for each cell | #4563 (seven lifecycle findings), #4575 (a slow send overwrote a newer edit), #4562 |
+| A lifecycle change | The TLA+ model moves with the code, and `docs/pi-lens-monitor.md` gains the row for a new store or hand-off branch (AGENTS shape 68; "Session, telemetry, and delivery") | The model diff or `TLA+ unaffected:` line, and the monitor-doc row | #4563, #4569 (held documents undercounted), #4575 |
+| A delivery surface, or a bound on findings that reach the model | A bound discloses its truncation on the rendered surface, and a skipped or unavailable result is not clean (AGENTS shape 10) | The rendered truncation line, or the skip reason from `RUNNER_SKIP_REASONS` | #3166 r2 (an 80-finding input bound zeroed a neighbour's errors) |
+| A relaxed or rewritten existing assertion | Mutate the behaviour the test is named for; a rewrite that stays green is a deleted test (AGENTS "Issue and PR design contract"; principles §2) | The red on the new assertion, with that behaviour broken | #4390 (the eviction smoke's rewrite passed with root re-registration broken) |
+| A new decision branch on a session, lifecycle or delivery seam | Name its record, sink plus kind, and read it back through the real seam (AGENTS "Session, telemetry, and delivery"; shape 31) | The record literal, and the test that reads it back | #3873 (a fix that could not be shown to fire live), #3875 |
+| A new failure path, catch or silent return | One bounded record per distinct event, in a stream a monitor reads without asking (principles §1 "Every new failure path gets bounded observability"; shape 31) | The record literal and its sink, or `none:` with its reason | #4562 (a failed log write stayed silent), #4575 (a failed save left no trace) |
+| Every diff, every changed file, tests included | Read the whole diff file by file. Check each PR-body claim against the diff, and look in the body for proof before calling it missing (principles §3 "Reviewing and delegating") | The body line or transcript quoted beside a claim the diff cannot show, or the finding names the body line that lacks it | #4574 F2, #4582 F1; 3 of Greptile's 4 false positives were a transcript already in the body (#4572, #4573, #4577) |
+
+Rows 1, 2 and 4 are mechanical from #4585: `scripts/check-pr-body.mjs`
+(`lintDiffCompliance`, wired into both entry points) reds a body that omits
+their evidence, and it keys each item to the diff: a red belongs to the title
+its table names and to the file whose path it spells, and a Windows read
+belongs to the seam file it names or to a diff with exactly one seam file.
+Row 1 is file-level: a changed test file owes one fenced red-first transcript
+that names it and shows a failure from it, or a Controls row naming it with a
+reason. The lint does not read a title, a table row or a suite chain, so a red
+from the file proves the file whatever the new case is called (#4605). Row 3
+stays a reviewer judgement row; the lint never decides what a model means. Confirm the lint passed on the head, then spend
+this pass on the rest — a quoted mutation-table red is not a red-first
+transcript, and a body that names the right file is still yours to judge.
+
 ## Verification
 
 For each new or changed `vi.mock` or hand-built double of a `clients/` module,
@@ -61,10 +108,20 @@ real seam. Check that every gate the diff adds is exercised through that path.
   a lifecycle, dispatch, or ownership seam, run EVERY suite that exercises the
   behaviour the seam governs and name the list; a curated file set cannot
   clear what it omits (#3622).
+- **Challenge the population query.** Re-run the fixer's sibling search with
+  a wider query of your own, by primitive or mechanism instead of the fixer's
+  call names. Report what the fixer's query missed; a population that a wider
+  query extends is a finding (#4536).
+- **Severity and live population.** Every finding carries HIGH, MEDIUM or LOW
+  and its live population (how many sites in the tree hit it today). The
+  verdict follows the merge bar in `docs/pi-lens-merge-policy.md` "Filing
+  issues": no HIGH plus green gating checks is merge-ready, and a MEDIUM or
+  LOW names whether it folds or stays an accepted residual.
 - **Generalization verdict.** When a mechanism, policy, guard, or optimisation
   targets N of M members (registry entries, servers, tools, languages,
   stores), name M, why the others are excluded, and their default, and end
-  with *widen in this PR*, *follow-up issue* (with its seam group), or *stay
+  with *widen in this PR*, *accepted residual* (named `p3`, with its live population),
+  *follow-up issue* (p2 or higher only, with its seam group), or *stay
   specific* (with the reason). A missing verdict is a finding (#3622; the
   optional ast-grep assist is #3684).
 - Review the pre-push self-scan with `npm run astgrep:self-scan`; `pr-preflight`
@@ -76,13 +133,20 @@ real seam. Check that every gate the diff adds is exercised through that path.
   fixer's hand mutations. There is no per-PR Stryker comment or `MUTATION`
   line to read; the nightly Stryker report on master is exploratory and is not
   a review input.
+- For every relaxed or rewritten existing assertion, mutate the behaviour the
+  test is named for; a rewrite that stays green is a finding (#4390). This is
+  the exception to the one-spot-check cap above.
 - Repeat the pattern and population sweeps. Check blast radius, bounded
   observability, changelog, commit, and PR-body requirements.
 - Re-run the PR's `## Class sweep` search yourself and widen it when the
   named shape is broader than the touched seam (#4273, #4268).
 - On a bug-closing PR, check the `## Detection` lesson: the layer named under
   `Should have been caught by:` must be one that would actually have caught
-  the bug, and `Gap:` must be a real issue, test, or reason (#4288).
+  the bug, and `Gap:` must be a real issue, test, or reason (#4288). Judge
+  `Shape:` and `Enforcer:` too: the lint checks the catalog number and that the
+  path is on the base and named by the entry, not that the test scans the
+  shape's whole population, so open the enforcer and decide whether it does
+  (#4439).
 - For LSP, dispatch, cache, runner, or tool changes, test one non-TypeScript
   registry entry through the same seam.
 - On a net-count fold, mutate every predicate the deleted sibling used to
@@ -95,6 +159,9 @@ real seam. Check that every gate the diff adds is exercised through that path.
 ## Standing probes
 
 Run every probe the diff can trip and say which ran and what each returned.
+For LSP diagnostics, the formatter, the review graph and `rename_file`, start
+from the `verify-pi-lens` skill (`.claude/skills/verify-pi-lens/SKILL.md`)
+instead of rebuilding the probe.
 
 - **Ladder and deletion sweep.** Every ask names the ladder rung it serves. An
   ask that adds a guard names its recurrence; an ask that deletes a defensive
@@ -114,6 +181,12 @@ Run every probe the diff can trip and say which ran and what each returned.
   except `index.ts`, which gates on the lifecycle hook handler a hunk lands in.
   A green `TLA+ models` run over an unchanged model proves nothing about the
   new code.
+  For a `TLA+ unaffected` line, read the family's as-built config constants:
+  a diff that changes a behaviour one of them encodes refutes the line and is
+  a finding (#4387: #4235 changed read-guard authorship while the as-built
+  switches kept the old behaviour). `formal/switch-pins.json` names each
+  pinned constant's test (#4393); a changed behaviour with no flipped value
+  and pin is the same finding.
 - **Red-proof audit.** A claimed red without its quoted transcript is a finding
   of its own; reproduce it (step 3).
 - **Quoted-evidence audit.** Diff every CI line the body quotes against the job
@@ -151,6 +224,26 @@ Run every probe the diff can trip and say which ran and what each returned.
   `// flake-shape: <detector> — <reason>` header and `wallClockBudgetInclude`
   membership (#2547). A pinned file whose count falls below its pin needs its
   baseline tightened; a stale ceiling re-admits regrowth.
+- **Hot-path timing.** When the diff touches dispatch, `session_start`, LSP
+  diagnostics, a cache lookup or turn-end, re-run the body's before/after
+  timing on the real path, at a small and a large input (file size, file
+  count). A regression the body does not name and justify is a finding (#4344
+  r1: replay went from 6 ms to 321 ms; #4368 r1: import extraction took 190 ms
+  at 1.6k lines and 9.2 s at 12k). Read the `Hot-path latency (advisory)` job
+  summary on the head (#4363) first; it covers `session_start`, dispatch and
+  replay, and a red there is a finding unless the body justifies it. Green
+  means no regression of 1.25x and 5 ms; a "slower, below threshold" row is
+  still a number to read.
+- **Shutdown-path parity.** When the diff moves or rewraps code that stops a
+  child (a server, a client, a spawned tool), compare the stop path before and
+  after: does the child still get its graceful signal (stdin end, shutdown
+  request) before any kill, and do its exit-time records and files still
+  appear? Count them over a few runs on both heads. A green suite proves
+  nothing here (#4366 r2: a shared-client fold swapped stdin end for SIGTERM;
+  the shutdown record went from 3/3 to 0/12 and 11 sockets leaked).
+- **Windows path shapes.** A new test or runtime comparison of paths goes
+  through `toPosix` or `path.win32` (`AGENTS.md`). A host-default separator is
+  a finding even when Linux CI is green (#4356: Windows advisory red).
 - **Platform skips and session-start resets.** Apply the `AGENTS.md` test
   screens and the `SessionStartClassification` invariant.
 
@@ -198,8 +291,10 @@ the rate they remove them.
 
 ## Findings and verdict
 
-Classify every finding as **fold** or **file** with a one-word reason
-(`docs/pi-lens-subagent.md` "Follow-ups"). Order findings `CRITICAL`, `HIGH`,
+Classify every finding as **fold**, **accepted residual** (named `p3`) or
+**file** with a one-word reason and its live population (`docs/pi-lens-subagent.md`
+"Follow-ups"; the merge bar is in `docs/pi-lens-merge-policy.md` "Filing
+issues"). Order findings `CRITICAL`, `HIGH`,
 `MEDIUM`, `LOW`, `NITPICK`. Each carries a stable id, a file or symbol anchor,
 the reproduction command or probe output, expected and observed behaviour, the
 root cause, cost, and a concrete remedy, and whether it is an
@@ -218,6 +313,19 @@ merge-order interactions with other open PRs, plus:
 - `Disposition table`: each prior finding as `fixed`, `not fixed`,
   `new defect`, or `withdrawn (reason)`.
 - Cleared categories (one compact list) and exact-head identity.
+- **Bot threads and code-scanning alerts.** When bot threads or code-scanning
+  alerts exist, read and dispose of each one: list every unresolved review
+  thread on the PR (`reviewThreads`, `isResolved == false`) and every open
+  code-scanning alert on the branch, both read at the exact head with the
+  commands in `docs/pi-lens-fixer.md` "Fix rounds". Rate each one as a
+  finding with its probe, or `refuted` with the probe that refutes it, so an
+  item nobody probed cannot read as cleared. A missing bot review is never
+  evidence of anything: never wait for one, never read its absence as a clear
+  signal, and let your own pass stand alone. No `merge-ready` verdict while
+  any thread or alert stays undisposed; the merge condition is
+  `docs/pi-lens-merge-policy.md` "The loop, per PR" step 1 and step 4
+  (`:34`, `:81`). Recurrence: #4566 and #4575 (2026-10-17), where the threads
+  outlived the rounds that should have read them.
 
 Use short, active, plain prose.
 

package/docs/pi-lens-subagent.md

@@ -58,9 +58,11 @@ explicit orchestrator authorization for
 `--force-with-lease=<branch>:<sha>`.
 
 Push forms are in "Orchestrator lane mechanics". Before `gh pr create` or `gh pr edit`, lint the body with
-`node scripts/check-pr-body.mjs --lint-local <body-file> "<title>"`. Multiline
-text (bodies, commit messages, comments) goes through a file (`--body-file`,
-`git commit -F`); re-read what GitHub stored and check the newlines survived.
+`node scripts/check-pr-body.mjs --lint-local <body-file> "<title>"`. Read the
+lint's exit code directly, never through a pipe, before `gh pr create` or
+`gh pr edit`: a piped status is the last command's, and a failing lint opened a
+PR (#4348). Multiline text (bodies, commit messages, comments) goes through a
+file (`--body-file`, `git commit -F`); re-read what GitHub stored and check the newlines survived.
 
 ## Orchestrator lane mechanics
 
@@ -130,8 +132,11 @@ the brief gives.
     ("Worktree and Git"). A reviewer is always `none` and read-only.
   GitHub comments and issue edits are separate: only a brief that grants them
   allows them.
-- **Deliverable.** The report opens with an `ORCHESTRATOR SUMMARY` of at most
-  30 lines: the PR (or branch), the head SHA, the change or verdict in a few
+- **Deliverable.** The report opens with an `ORCHESTRATOR SUMMARY`. Its cap
+  follows the lane kind: at most 6 lines for a mechanical lane (trailing fold,
+  pin or allowlist move, merge-and-resolve), 20 for a locate or investigation
+  pass, and 30 for a fix or review round. The summary carries the PR (or
+  branch), the head SHA, the change or verdict in a few
   lines, red and green evidence as counts with the quoted transcript below it,
   every skipped check or environment block, and what the orchestrator must
   decide. The RETURNED message (the agent's final reply, or the plegma answer)
@@ -169,8 +174,9 @@ sets the exit code and only `clean` exits 0:
   file is tracked.
 - `unproven` (3): a step failed or a red could not be attributed (the build, a
   run with no named failing file, an `INCONCLUSIVE` red-on-base verdict, a
-  failed lint or format check, a selection over the 25-file cap where only
-  governance suites ran). That is not evidence of unrelated: report it and
+  failed lint or format check, a selection over the 25-file cap, where the
+  change's own tests, the governance suites and the best 25 import matches ran
+  and the rest did not). That is not evidence of unrelated: report it and
   stop, or fix the cause. The summary prints `selection: selected S, matched
   M, capped C`.
 - `2`: usage error (`--body <path>` or `--body=<path>` missing, unknown, or the
@@ -193,9 +199,9 @@ change adds or removes a pinned use, run it on the head and on the merge of
 
 Each pre-push head has a durable result record at
 `$(git rev-parse --git-common-dir)/pi-lens-prepush/<sha>.json`. It contains the
-head/base, timestamp, selected test files and their `import`, `history`, or
-`governance` reason, plus passed/failed/skipped counts, the Vitest exit code,
-and wall time. Re-pushes overwrite that head's record; writes prune records
+head/base, timestamp, selected test files and their `changed`, `mirror`,
+`import`, `history`, or `governance` reason, plus passed/failed/skipped
+counts, the Vitest exit code, and wall time. Re-pushes overwrite that head's record; writes prune records
 older than fourteen days. The provisional record is written before build and
 self-scan work with outcome `tests-not-started`; preparation failures update it
 to `build-failed` or `self-scan-failed`. The write uses a same-directory
@@ -234,10 +240,12 @@ of fixture tests, and a real red hidden among them reaches CI (#4308).
 Fold a review follow-up into the same PR when it shares the seam or files, is
 about one commit, and needs no maintainer decision. Contract-only folds (body,
 comments, wording) are trailing commits; small code folds carry a red-first
-test and are routed per principles §3 "Round routing". File only
-different-seam, blocked, decision-dependent, untouched pre-existing, or
-risk-class-changing residuals (for example lifecycle work on a tooling PR), as
-one consolidated issue per PR.
+test and are routed per principles §3 "Round routing". A MEDIUM or LOW that
+does not fold is an accepted residual: list it under `## Accepted residuals`,
+named `p3` with its severity and live population, and file nothing. File only p2 or
+higher work that cannot ride the PR (a HIGH outside its scope, or a MEDIUM
+with a live population), as one consolidated issue per PR. The merge bar is in
+`docs/pi-lens-merge-policy.md` "Filing issues".
 
 ## Evidence and reporting
 

package/docs/release-qa-baseline.md

@@ -161,7 +161,7 @@ admitted lines explicitly.
 
 ### Verified hosts
 
-The certified policy is `>=0.80.10 <1.2.0`. Each listed minor line has a
+The certified policy is `>=0.80.10 <1.4.0`. Each listed minor line has a
 release-QA witness; the workflow ceiling and `tests/packaging.test.ts` list are
 updated together.
 
@@ -172,6 +172,8 @@ updated together.
 | 0.99.2 | 2026-10-08 | 08abd60e193e5a17ea28dd4fbf3603cc9a0cdbe0 | 15 pass / 1 skipped (git-install-loads) |
 | 1.0.4 | 2026-10-08 | 08abd60e193e5a17ea28dd4fbf3603cc9a0cdbe0 | 15 pass / 1 skipped (git-install-loads) |
 | 1.1.0 | 2026-10-08 | 2fda17a53d62267cd9035fa04380bbf0e2de4318 | 15 pass / 1 skipped (git-install-loads) |
+| 1.2.0 | 2026-10-16 | 9400454891d5a1beb0a4d2d9452dece276e22e71 | 15 pass / 1 skipped (git-install-loads) |
+| 1.3.0 | 2026-10-16 | 9400454891d5a1beb0a4d2d9452dece276e22e71 | 15 pass / 1 skipped (git-install-loads) |
 
 Re-run any row with `node scripts/release-qa.mjs --pi <host>` at the listed commit.
 

package/docs/servercapabilities.md

@@ -6,7 +6,7 @@ server's `initialize` handshake. Generated by `node scripts/server-capabilities.
 absent on the generating host are listed under *Unavailable* — run in a
 provisioned environment (the nightly) to capture those rows.
 
-_Last generated: 2026-10-10 on linux; 29 servers captured, 19 unavailable._
+_Last generated: 2026-10-18 on linux; 41 servers captured, 9 unavailable._
 
 ## Diagnostic mode + navigation/edit operations
 
@@ -16,7 +16,7 @@ Legend: ✓ advertised, · not. **mode** = document diagnostics (`pull` = `textD
 |---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
 | ast-grep | push-only | · | · | · | · | · | · | ✓ | · | · | · | ✓ | · | · | · | 1 |
 | bash | push-only | · | · | ✓ | · | · | ✓ | ✓ | · | ✓ | ✓ | ✓ | ✓ | · | · | 0 |
-| clojure | push-only | · | save+text | ✓ | · | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | 62 |
+| clojure | push-only | · | save+text | ✓ | · | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | 64 |
 | cmake | push-only | · | save | · | · | · | · | ✓ | · | · | · | · | · | · | · | 0 |
 | cpp | push-only | · | save | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | 3 |
 | csharp | pull | ✓ | save+text | ✓ | ✓ | · | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | 0 |
@@ -31,7 +31,7 @@ Legend: ✓ advertised, · not. **mode** = document diagnostics (`pull` = `textD
 | fish | push-only | · | save+text | ✓ | · | · | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | · | 23 |
 | fsharp | push-only | · | save+text | ✓ | ✓ | · | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | 0 |
 | gleam | push-only | · | save | ✓ | ✓ | · | ✓ | ✓ | ✓ | ✓ | · | ✓ | ✓ | · | · | 0 |
-| go | push-only | · | save | ✓ | ✓ | · | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | 47 |
+| go | push-only | · | save | ✓ | ✓ | · | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | 50 |
 | html | pull | · | · | ✓ | · | · | ✓ | ✓ | ✓ | ✓ | · | · | ✓ | · | · | 0 |
 | json | pull | · | · | · | · | · | · | ✓ | · | ✓ | · | ✓ | · | · | · | 0 |
 | kotlin | push-only | · | · | ✓ | · | · | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | · | · | 1 |
@@ -58,6 +58,9 @@ Legend: ✓ advertised, · not. **mode** = document diagnostics (`pull` = `textD
 
 ## Raw advertised capability keys
 
+Top-level keys of each server's `ServerCapabilities` — the full advertised
+surface, including providers pi-lens does not yet consume.
+
 - **ast-grep**: codeActionProvider, executeCommandProvider, hoverProvider, textDocumentSync
 - **bash**: codeActionProvider, completionProvider, definitionProvider, documentFormattingProvider, documentHighlightProvider, documentSymbolProvider, hoverProvider, referencesProvider, renameProvider, textDocumentSync, workspaceSymbolProvider
 - **clojure**: callHierarchyProvider, codeActionProvider, codeLensProvider, completionProvider, declarationProvider, definitionProvider, documentFormattingProvider, documentHighlightProvider, documentRangeFormattingProvider, documentSymbolProvider, executeCommandProvider, experimental, foldingRangeProvider, hoverProvider, implementationProvider, linkedEditingRangeProvider, referencesProvider, renameProvider, selectionRangeProvider, semanticTokensProvider, signatureHelpProvider, textDocumentSync, workspace, workspaceSymbolProvider
@@ -99,14 +102,11 @@ Legend: ✓ advertised, · not. **mode** = document diagnostics (`pull` = `textD
 - **yaml**: codeActionProvider, codeLensProvider, completionProvider, definitionProvider, documentFormattingProvider, documentLinkProvider, documentOnTypeFormattingProvider, documentRangeFormattingProvider, documentSymbolProvider, executeCommandProvider, foldingRangeProvider, hoverProvider, renameProvider, selectionRangeProvider, textDocumentSync, workspace
 - **zig**: codeActionProvider, colorProvider, completionProvider, declarationProvider, definitionProvider, documentFormattingProvider, documentHighlightProvider, documentRangeFormattingProvider, documentSymbolProvider, foldingRangeProvider, hoverProvider, implementationProvider, inlayHintProvider, positionEncoding, referencesProvider, renameProvider, selectionRangeProvider, semanticTokensProvider, signatureHelpProvider, textDocumentSync, typeDefinitionProvider, workspace, workspaceSymbolProvider
 - **zizmor**: textDocumentSync
-Top-level keys of each server's `ServerCapabilities` — the full advertised
-surface, including providers pi-lens does not yet consume.
-
 
 ## Advertised executeCommand allowlists
 
 - **ast-grep** (1): ast-grep.applyAllFixes
-- **clojure** (62): add-import-to-namespace, add-missing-import, add-missing-libspec, add-require-suggestion, as-to-refer, backward, backward-barf, backward-select, backward-slurp, change-coll, clean-ns, cond->if-refactor, create-function, create-test, cursor-info, cycle-coll, cycle-keyword-auto-resolve, cycle-privacy, demote-fn, destructure-keys, drag-backward, drag-forward, drag-param-backward, drag-param-forward, expand-let, extract-function, extract-to-def, forward, forward-barf, forward-select, forward-slurp, get-in-all, get-in-less, get-in-more, get-in-none, if->cond-refactor, inline-function, inline-symbol, introduce-let, kill-sexp, …
+- **clojure** (64): add-import-to-namespace, add-missing-import, add-missing-libspec, add-require-suggestion, as-to-refer, backward, backward-barf, backward-select, backward-slurp, change-coll, clean-ns, cond->if-refactor, create-function, create-test, cursor-info, cycle-coll, cycle-keyword-auto-resolve, cycle-namespaced-map, cycle-privacy, demote-fn, destructure-keys, drag-backward, drag-forward, drag-param-backward, drag-param-forward, expand-let, extract-function, extract-to-def, forward, forward-barf, forward-select, forward-slurp, get-in-all, get-in-less, get-in-more, get-in-none, if->cond-refactor, inline-function, inline-symbol, introduce-let, …
 - **cpp** (3): clangd.applyFix, clangd.applyRename, clangd.applyTweak
 - **cue** (1): cuelsp.externalvalidate
 - **dart** (18): dart.edit.codeAction.apply, dart.edit.fixAll, dart.edit.fixAllInWorkspace, dart.edit.fixAllInWorkspace.preview, dart.edit.organizeImports, dart.edit.sendWorkspaceEdit, dart.edit.sortMembers, dart.logAction, dart.refactor.add_constructor_name, dart.refactor.convert_all_formal_parameters_to_named, dart.refactor.convert_selected_formal_parameters_to_named, dart.refactor.move_selected_formal_parameters_left, dart.refactor.move_top_level_to_file, dart.refactor.remove_constructor_name, dart.refactor.remove_import_prefix, dart.refactor_add.import_prefix, refactor.perform, refactor.validate
@@ -115,7 +115,7 @@ surface, including providers pi-lens does not yet consume.
 - **emmylua** (4): fake.applyEdit, fake.applyEditDeferred, fake.doThing, fake.releaseDeferredApplyEdit
 - **expert** (2): Reindex, connectionDetails
 - **fish** (23): fish-lsp.checkHealth, fish-lsp.createTheme, fish-lsp.execute, fish-lsp.executeBuffer, fish-lsp.executeLine, fish-lsp.executeRange, fish-lsp.fixAll, fish-lsp.generateEnvVariables, fish-lsp.selectQuickFixPosition, fish-lsp.showEnvVariables, fish-lsp.showInfo, fish-lsp.showReferences, fish-lsp.showStatusDocs, fish-lsp.showWorkspaceMessage, fish-lsp.toggleSingleWorkspaceSupport, fish-lsp.updateWorkspace, quickfix.delete, quickfix.disable, quickfix.fix, quickfix.fixAll, refactor.extract, refactor.rewrite, source.rename
-- **go** (47): gopls.add_dependency, gopls.add_import, gopls.add_telemetry_counters, gopls.add_test, gopls.apply_fix, gopls.assembly, gopls.change_signature, gopls.check_upgrades, gopls.client_open_url, gopls.diagnose_files, gopls.doc, gopls.edit_go_directive, gopls.extract_to_new_file, gopls.fetch_vulncheck_result, gopls.free_symbols, gopls.gc_details, gopls.generate, gopls.go_get_package, gopls.implement_interface, gopls.list_imports, gopls.list_known_packages, gopls.lsp, gopls.maybe_prompt_for_telemetry, gopls.mem_stats, gopls.modify_tags, gopls.modules, gopls.move_type, gopls.package_symbols, gopls.packages, gopls.regenerate_cgo, gopls.remove_dependency, gopls.reset_go_mod_diagnostics, gopls.run_go_work_command, gopls.run_govulncheck, gopls.run_tests, gopls.scan_imports, gopls.split_package, gopls.start_debugging, gopls.start_profile, gopls.stop_profile, …
+- **go** (50): gopls.add_dependency, gopls.add_import, gopls.add_telemetry_counters, gopls.add_test, gopls.apply_fix, gopls.assembly, gopls.change_signature, gopls.check_upgrades, gopls.client_open_url, gopls.diagnose_files, gopls.doc, gopls.dragon_slayer, gopls.edit_go_directive, gopls.extract_to_new_file, gopls.fetch_vulncheck_result, gopls.free_symbols, gopls.gc_details, gopls.generate, gopls.go_get_package, gopls.implement_interface, gopls.list_imports, gopls.list_known_packages, gopls.lsp, gopls.maybe_prompt_for_telemetry, gopls.mem_stats, gopls.modify_tags, gopls.modules, gopls.move_declaration, gopls.move_type, gopls.package_symbols, gopls.packages, gopls.regenerate_cgo, gopls.remove_dependency, gopls.reset_go_mod_diagnostics, gopls.resolve_target, gopls.run_go_work_command, gopls.run_govulncheck, gopls.run_tests, gopls.scan_imports, gopls.split_package, …
 - **kotlin** (1): convertJavaToKotlin
 - **lua** (6): lua.autoRequire, lua.getConfig, lua.jsonToLua, lua.removeSpace, lua.setConfig, lua.solve
 - **opengrep** (2): semgrep/autofix, semgrep/ignore
@@ -130,22 +130,12 @@ surface, including providers pi-lens does not yet consume.
 Toolchain/binary not installed here, so capabilities weren't captured
 (many are the toolchain-gated family tracked in #241):
 
-- @prisma/language-server
-- @vue/language-server
-- bash-language-server
 - elixir-ls
-- fake custom lua server
-- fish-lsp
 - haskell-language-server
-- intelephense
 - jdtls
 - jdtls + lombok javaagent
+- lake serve (Lean 4)
 - nixd
 - ocamllsp
-- pyright
 - shuck
 - sourcekit-lsp
-- svelte-language-server
-- vscode-css-language-server
-- vscode-html-language-server
-- yaml-language-server