Update roadmap

Author: AJenbo

docs/todo.md

@@ -40,7 +40,6 @@ within the same impact tier.
 |     | Clear [refactoring gate](todo/refactor.md)                                                                            | —          | —      |
 | A35 | [Convert to arrow function](todo/actions.md#a35-convert-to-arrow-function) (only non-void single-expression closures) | Low-Medium | Low    |
 | C2  | [`#[ArrayShape]` return shapes on stub functions](todo/completion.md#c2-arrayshape-return-shapes-on-stub-functions)   | Medium     | Medium |
-| T7  | [`key-of<T>` and `value-of<T>` resolution](todo/type-inference.md#t7-key-oft-and-value-oft-resolution)                | Medium     | Medium |
 | A3  | Switch → match conversion                                                                                             | Low-Medium | Medium |
 | A10 | [Generate interface from class](todo/actions.md#a10-generate-interface-from-class)                                    | Low-Medium | Medium |
 
@@ -105,14 +104,12 @@ unlikely to move the needle for most users.
 | T10 | [Ternary expression as RHS of list destructuring](todo/type-inference.md#t10-ternary-expression-as-rhs-of-list-destructuring)                                               | Low         | Low-Medium  |
 | T11 | [Nested list destructuring](todo/type-inference.md#t11-nested-list-destructuring)                                                                                           | Low         | Low-Medium  |
 |     | **[Diagnostics](todo/diagnostics.md)**                                                                                                                                      |             |             |
-| D5  | Diagnostic suppression intelligence                                                                                                                                         | Medium      | Medium      |
+| D5  | [External tool diagnostic suppression actions](todo/diagnostics.md#d5-external-tool-diagnostic-suppression-actions)                                                    | Low         | Low         |
 | D6  | [Unreachable code diagnostic](todo/diagnostics.md#d6-unreachable-code-diagnostic)                                                                                           | Low-Medium  | Low         |
 |     | **[Bug Fixes](todo/bugs.md)**                                                                                                                                               |             |             |
 |     | **[Code Actions](todo/actions.md)**                                                                                                                                         |             |             |
 | A40 | [Generate method from call](todo/actions.md#a40-generate-method-from-call)                                                                                                  | Medium-High | Medium      |
 | A41 | [Create class from non-existing name](todo/actions.md#a41-create-class-from-non-existing-name)                                                                              | Medium      | Medium      |
-| A42 | [Replace qualifier with import](todo/actions.md#a42-replace-qualifier-with-import)                                                                                          | Medium      | Low         |
-| A8  | [Update docblock to match signature](todo/actions.md#a8-update-docblock-to-match-signature)                                                                                 | Medium      | Medium      |
 | A16 | [Snippet placeholder for extracted method name](todo/actions.md#a16-snippet-placeholder-for-extracted-method-name) (lets the user type over the generated name immediately) | Medium      | Low-Medium  |
 | A25 | [`strpos` → `str_contains`](todo/actions.md#a25-strpos--str_contains-php-80) (PHP 8.0+)                                                                                     | Medium      | Low         |
 | A28 | [Explicit nullable parameter type](todo/actions.md#a28-explicit-nullable-parameter-type-php-84-deprecation) (PHP 8.4 deprecation)                                           | Medium      | Low         |
@@ -156,7 +153,6 @@ unlikely to move the needle for most users.
 | S5  | Language construct signature help and hover                                                                                                                                 | Low         | Low         |
 |     | **[Laravel](todo/laravel.md)**                                                                                                                                              |             |             |
 | L4  | Custom Eloquent builders (`HasBuilder` / `#[UseEloquentBuilder]`)                                                                                                           | Medium      | Medium      |
-| L2  | [`morphedByMany` missing from relationship method map](todo/laravel.md#l2-morphedbymany-missing-from-relationship-method-map)                                               | Low-Medium  | Low         |
 | L3  | `$dates` array (deprecated)                                                                                                                                                 | Low-Medium  | Low         |
 | L6  | Factory `has*`/`for*` relationship methods                                                                                                                                  | Low-Medium  | Medium      |
 | L7  | `$pivot` property on BelongsToMany                                                                                                                                          | Medium      | Medium-High |
@@ -196,4 +192,3 @@ unlikely to move the needle for most users.
 | N1  | Template engine (type-aware snippets)                                                                                                                                       | Medium      | High        |
 | N2  | N-gram prediction from PHP corpus                                                                                                                                           | Medium      | Very High   |
 | N3  | Fine-tuned GGUF sidecar model                                                                                                                                               | Medium      | Very High   |
-

docs/todo/actions.md

@@ -95,77 +95,6 @@ but bounded in scope.
 
 
 
-## A8. Update Docblock to Match Signature
-
-**Impact: Medium · Effort: Medium**
-
-When a function or method signature changes (parameters added, removed,
-reordered, or type hints updated), the docblock often falls out of sync.
-This code action regenerates or patches the `@param`, `@return`, and
-`@throws` tags to match the current signature.
-
-### Behaviour
-
-- **Trigger:** Cursor is on a function/method declaration that has an
-  existing docblock. The code action appears when the docblock's `@param`
-  tags don't match the signature's parameters (by name, count, or order),
-  or when the `@return` tag contradicts the return type hint.
-- **Code action kind:** `quickfix` (when tags are clearly wrong) or
-  `source.fixAll.docblock` for a broader sweep.
-
-### What gets updated
-
-1. **`@param` tags:**
-   - Add missing `@param` for parameters present in the signature but
-     absent from the docblock.
-   - Remove `@param` for parameters no longer in the signature.
-   - Reorder `@param` tags to match signature order.
-   - Update the type if the signature has a type hint and the docblock
-     type contradicts it (e.g. docblock says `string`, signature says
-     `int`). If the docblock type is _more specific_ than the signature
-     (e.g. docblock says `non-empty-string`, signature says `string`),
-     keep the docblock type (it's a refinement, not a contradiction).
-   - Preserve existing descriptions after the type and variable name.
-
-2. **`@return` tag:**
-   - If the signature has a return type hint and the docblock `@return`
-     contradicts it, update the type. Same refinement rule: keep the
-     docblock type if it's more specific.
-   - If the signature has a return type but no `@return` tag exists,
-     do not add one (the type hint is sufficient). Only update or
-     remove existing tags.
-   - Remove `@return void` if redundant with a `: void` return type.
-
-3. **Preserve other tags:** `@throws`, `@template`, `@deprecated`,
-   `@see`, and any other tags are left untouched.
-
-### Edge cases
-
-- **Promoted constructor parameters:** Treat the same as regular
-  parameters for `@param` purposes.
-- **Variadic parameters:** `...$args` matches `@param type ...$args`.
-- **No existing docblock:** This action only patches existing docblocks.
-  PHPDoc generation on `/**` (F1) handles creating new ones.
-
-### Implementation
-
-- Parse the function signature to extract parameter names, types, and
-  order, plus the return type.
-- Parse the existing docblock to extract `@param` and `@return` tags
-  with their positions, types, variable names, and descriptions.
-- Diff the two lists to determine additions, removals, reorderings,
-  and type updates.
-- Build a `WorkspaceEdit` with targeted `TextEdit`s that modify only
-  the changed lines within the docblock, preserving formatting,
-  indentation, and unchanged tags.
-
-### Prerequisites
-
-| Feature                                   | What it contributes                                                 |
-| ----------------------------------------- | ------------------------------------------------------------------- |
-| Docblock tag parsing (`docblock/tags.rs`) | Extracts existing `@param`/`@return` tags with positions            |
-| Parser (`parser/functions.rs`)            | Extracts parameter names, types, and return type from the signature |
-
 ---
 
 ## A10. Generate Interface from Class
@@ -647,25 +576,6 @@ Phpactor has this.
 
 ---
 
-### A42. Replace qualifier with import
-
-**Impact: Medium · Effort: Low**
-
-Convert an inline fully-qualified name like `\Foo\Bar\Baz` to a
-`use` import plus the short name. A standalone code action
-(auto-import on completion already exists but this covers existing
-code). Phpactor has this.
-
-- Detect any fully-qualified class reference under the cursor.
-- Add a `use Foo\Bar\Baz;` statement to the file's import block.
-- Replace the inline FQN with the short name `Baz`.
-- Handle alias conflicts: if `Baz` is already imported with a
-  different FQN, prompt for an alias or skip.
-
-**Code action kind:** `refactor.rewrite`.
-
----
-
 ### A43. Update docblock generics
 
 **Impact: Medium · Effort: Medium**

docs/todo/diagnostics.md

@@ -50,32 +50,21 @@ The following have been verified and are covered by tests:
 
 ---
 
-## D5. Diagnostic suppression intelligence
+## D5. External tool diagnostic suppression actions
 
-**Impact: Medium · Effort: Medium**
+**Impact: Low · Effort: Low (per tool, after proxy exists)**
 
-When PHPantom proxies diagnostics from external tools, users need a way
-to suppress specific warnings. Rather than forcing them to install a
-separate extension or memorise each tool's suppression syntax, PHPantom
-can offer **code actions to insert the correct suppression comment** for
-the tool that produced the diagnostic.
-
-PHPStan suppression is implemented: "Ignore PHPStan error" adds
-`// @phpstan-ignore <identifier>` (appending to existing ignores when
-present), and "Remove unnecessary @phpstan-ignore" cleans up unmatched
-ignores reported by PHPStan. What remains:
-
-### Remaining tools
+PHPantom's own inline suppression (`// @phpantom-ignore code`) has
+shipped. PHPStan suppression is also implemented ("Ignore PHPStan
+error" / "Remove unnecessary @phpstan-ignore"). What remains is
+wiring up suppression actions for additional external tool proxies:
 
 - PHPCS: `// phpcs:ignore [Sniff.Name]` or `// phpcs:disable` /
   `// phpcs:enable` blocks.
 - PHPMD (3.0): `#[SuppressWarnings(RuleName::class)]` as a PHP attribute.
-- For PHPantom's own diagnostics: support `@suppress phpantom.*`
-  in docblocks (matching PHP Tools' convention) and a config flag
-  `phpantom.diagnostics.enabled: bool` (default `true`).
 
-**Prerequisites:** Each tool needs a diagnostic proxy before its
-suppression actions can be wired up.
+Each tool needs its diagnostic proxy before its suppression action
+can be wired up (D10 for PHPMD; PHPCS proxy is not yet filed).
 
 ---
 
@@ -136,7 +125,7 @@ with `command`, `timeout`, and tool-specific options mirroring the
 
 - PHPMD 3.0 must be released. Current 2.x output formats and rule
   naming may change.
-- The diagnostic suppression code action (D5) should support PHPMD's
+- The diagnostic suppression code action (D5) can add PHPMD's
   `@SuppressWarnings(PHPMD.[RuleName])` syntax once the proxy exists.
 
 ### Implementation
@@ -258,14 +247,11 @@ narrowed before this call."
 
 Flag function and method parameters that are never read inside the
 body. This was intentionally excluded from D4 (unused variable
-diagnostic) because without suppression support (D5), false positives
-are unavoidable: callbacks, interface implementations, and framework
-conventions (e.g. Laravel event listeners) often require specific
-parameter signatures even when not all parameters are used.
-
-**Prerequisite:** D5 (diagnostic suppression intelligence) must ship
-first so users can silence false positives with `// @phpantom-ignore`
-or a configuration-level exclusion.
+diagnostic) because false positives are common for callbacks, interface
+implementations, and framework conventions (e.g. Laravel event
+listeners) that require specific parameter signatures even when not
+all parameters are used. Users can now silence false positives with
+`// @phpantom-ignore unused_parameter`.
 
 ### Scope
 

docs/todo/laravel.md

@@ -238,27 +238,6 @@ today and what is still missing.
 
 ---
 
-#### L2. `morphedByMany` missing from relationship method map
-
-**Impact: Low-Medium · Effort: Low**
-
-Any model using `morphedByMany` (the inverse of a polymorphic
-many-to-many) gets no virtual property or `_count` property for that
-relationship. One-line addition to `RELATIONSHIP_METHOD_MAP`.
-
-`morphedByMany` is the inverse side of a polymorphic many-to-many
-relationship. It returns a `MorphToMany` instance (the same class as
-`morphToMany`), but the method name is not listed in
-`RELATIONSHIP_METHOD_MAP`. This means body inference
-(`infer_relationship_from_body`) does not recognise
-`$this->morphedByMany(Tag::class)` calls, so no virtual property or
-`_count` property is synthesized.
-
-**Where to change:** Add `("morphedByMany", "MorphToMany")` to
-`RELATIONSHIP_METHOD_MAP` in `src/virtual_members/laravel.rs`.
-No other changes needed since `MorphToMany` is already in
-`COLLECTION_RELATIONSHIPS`.
-
 #### L4. Custom Eloquent builders (`HasBuilder` / `#[UseEloquentBuilder]`)
 
 **Impact: High · Effort: Medium**

docs/todo/type-inference.md

@@ -211,44 +211,6 @@ See `ClosureBindDynamicReturnTypeExtension` and
 
 ---
 
-## T7. `key-of<T>` and `value-of<T>` resolution
-**Impact: Medium · Effort: Medium**
-
-PHPantom already parses `key-of<T>` and `value-of<T>` as type keywords
-but does not resolve them to concrete types. When `T` is bound to a
-concrete array type, these utility types should resolve:
-
-- `value-of<array{a: string, b: int}>` → `string|int`
-- `key-of<array{a: string, b: int}>` → `'a'|'b'`
-- `value-of<array<string, User>>` → `User`
-- `key-of<array<string, User>>` → `string`
-
-These types commonly appear in PHPStan-typed libraries and in
-`@template` constraints. For example:
-
-```php
-/**
- * @template T of array
- * @param T $array
- * @return value-of<T>
- */
-function first(array $array): mixed;
-```
-
-**Implementation:** plug into the generic substitution pipeline in
-`inheritance.rs` / `completion/types/resolution.rs`. After template
-parameters are substituted with concrete types, detect `key-of<...>`
-and `value-of<...>` wrappers and resolve them by inspecting the inner
-type:
-
-- If the inner type is an `array{...}` shape, collect the key or value
-  types from the shape fields.
-- If the inner type is `array<K, V>`, extract `K` or `V` directly.
-- If the inner type is still an unresolved template parameter, leave
-  it as-is (it may resolve later in the chain).
-
----
-
 
 
 ## T9. Dead-code elimination after `never`-returning calls