Add Eloquent relation and column string completion

- Typing inside string arguments to Eloquent methods like with(),
  load(),
  whereHas(), and where() now offers completions for relationship method
  names (with dot-notation traversal) and column/attribute names.
- Recognize Larastan's model-property<T> pseudo-type as a string
  subtype.
- Remove completed L11 from todo files and add demos to
  examples/laravel/app/Demo.php.

Author: AJenbo

docs/CHANGELOG.md

@@ -15,6 +15,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - **Extract interface.** A new `refactor.extract` code action generates an interface from a concrete class. All public method signatures (excluding the constructor) are extracted into a new `{ClassName}Interface.php` file in the same directory, and the class is updated with `implements {ClassName}Interface`. Class-level and method-level `@template` tags are preserved when referenced by extracted methods.
 - **`@template` on `@method` tags.** Virtual methods declared via `@method` PHPDoc tags can now define their own template parameters using the `<T of Bound>` syntax (e.g. `@method TVal get<TVal of mixed>(TVal $default)`). Template inference at call sites works the same as for real methods.
 - **Laravel custom Eloquent builder support.** Models using the `#[UseEloquentBuilder]` attribute now have their custom builder's methods forwarded as static methods on the model. `query()`, `newQuery()`, and `newModelQuery()` return the custom builder type with correct generic model substitution. Contributed by @MingJen in https://github.com/AJenbo/phpantom_lsp/pull/118.
+- **Eloquent relation and column string completion.** Typing inside string arguments to `with()`, `load()`, `whereHas()`, and other Eloquent methods that accept relation names now offers relationship method names as completions, with dot-notation traversal for nested relations. Similarly, `where()`, `orderBy()`, `select()`, `pluck()`, and other column-accepting methods offer model column names (from `$casts`, `$fillable`, `@property` tags, timestamps, etc.).
+- **`model-property<T>` pseudo-type recognition.** The Larastan `model-property<Model>` type no longer triggers "unknown class" diagnostics. It is treated as a string subtype.
 
 ### Fixed
 

docs/todo.md

@@ -25,6 +25,9 @@ within the same impact tier.
 
 | #   | Item                                                                                                                  | Impact     | Effort |
 | --- | --------------------------------------------------------------------------------------------------------------------- | ---------- | ------ |
+| X4  | [Full background indexing](todo/indexing.md#x4-full-background-indexing) (workspace symbols, fast find-references)                                              | Medium      | High        |
+| X1  | [Staleness detection and auto-refresh](todo/indexing.md#x1-staleness-detection-and-auto-refresh)                                                                | Medium      | Medium      |
+| L1  | [Facade completion](todo/laravel.md#l1-facade-completion)                                                                                                       | High        | High        |
 | D10 | [PHPMD diagnostic proxy](todo/diagnostics.md#d10-phpmd-diagnostic-proxy)                                              | Low        | Medium |
 
 ## Sprint 7 — 1.0 release & IDE extensions
@@ -33,14 +36,10 @@ within the same impact tier.
 | --- | --------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- | ----------- |
 |     | Clear [refactoring gate](todo/refactor.md)                                                                                                                      | —           | —           |
 | E5  | [Extension stub coverage audit](todo/external-stubs.md#e5-extension-stub-selection-stubs-extensions)                                                            | Medium      | Low         |
-| X1  | [Staleness detection and auto-refresh](todo/indexing.md#x1-staleness-detection-and-auto-refresh)                                                                | Medium      | Medium      |
 | E1  | [External stub packages (ide-helper, etc.)](todo/external-stubs.md#e1-project-level-phpstorm-stubs-for-gtd)                                                     | Medium-High | Medium      |
 | E2  | [Project-level stubs as type resolution source](todo/external-stubs.md#e2-project-level-stubs-as-resolution-source) (depends on E1)                             | Medium      | Medium      |
 | E3  | [IDE-provided and `.phpantom.toml` stub paths](todo/external-stubs.md#e3-ide-provided-and-phpantomtoml-stub-paths) (depends on E2)                              | Low-Medium  | Low         |
 | E4  | [Stub version alignment with target PHP](todo/external-stubs.md#e4-embedded-stub-override-with-external-stubs) (depends on E1)                                  | Medium      | Medium      |
-| L11 | [Relation dot-notation string and column name string completion](todo/laravel.md#l11-relation-dot-notation-string-completion-and-column-name-string-completion) | Medium-High | Medium-High |
-| X4  | [Full background indexing](todo/indexing.md#x4-full-background-indexing) (workspace symbols, fast find-references)                                              | Medium      | High        |
-| L1  | [Facade completion](todo/laravel.md#l1-facade-completion)                                                                                                       | High        | High        |
 |     | **Release 1.0.0 + IDE extensions**                                                                                                                              |             |             |
 
 ## Sprint 8 — Blade support

docs/todo/laravel.md

@@ -461,171 +461,6 @@ methods, or document this as a known limitation.
 
 ---
 
-#### L11. Relation dot-notation string completion and column name string completion
-
-**Impact: Medium-High · Effort: Medium-High**
-
-Many Eloquent methods accept string arguments that refer to
-**relationship names** (with dot-notation for nested eager loads) or
-**column/attribute names**. PHPantom should offer completion inside
-these string literals.
-
-##### Relation string completion
-
-Eloquent methods like `with()`, `load()`, `has()`, `whereHas()`,
-`doesntHave()`, `whereDoesntHave()`, `withCount()`, `loadCount()`,
-`loadMissing()`, and `loadMorph()` accept relationship names as
-string arguments. These names correspond to public methods on the model
-that return a relationship instance (`HasMany`, `BelongsTo`, etc.).
-
-Dot-notation chains traverse nested relationships:
-
-```php
-// Eager-load: User → mother() → sister() → son()
-$users = User::with(['mother.sister.son'])->get();
-
-// Constrained eager load:
-User::with(['posts' => function ($q) { ... }])->get();
-
-// Nested with counts:
-User::withCount(['posts', 'comments.replies'])->get();
-```
-
-**Implementation:**
-
-1. Detect when the cursor is inside a string argument to one of the
-   target methods (listed above) where the receiver is an Eloquent
-   model or Builder.
-2. Resolve the model class from the receiver type (e.g. `User` from
-   `User::with(...)` or from the Builder's generic parameter).
-3. Scan the model for public methods whose return type extends one of
-   the relationship base classes (`HasOne`, `HasMany`, `BelongsTo`,
-   `BelongsToMany`, `HasOneThrough`, `HasManyThrough`,
-   `MorphOne`, `MorphMany`, `MorphTo`, `MorphToMany`,
-   `MorphedByMany`).
-4. Offer those method names as completions.
-5. When the string already contains a dot (e.g. `'mother.si|'`),
-   resolve the chain segment-by-segment: `mother()` returns
-   `BelongsTo<Person>`, so look up `Person`'s relationship methods
-   for the next segment.
-6. Inside array literals (`['posts', 'comments.|']`), trigger on each
-   element independently. Also handle the `=>` closure form where the
-   key is the relation string.
-
-**Target methods (non-exhaustive):**
-
-| Method | Where | Notes |
-|--------|-------|-------|
-| `with()` | Builder, Model | Eager loading |
-| `without()` | Builder | Remove eager load |
-| `load()` | Model | Lazy eager load |
-| `loadMissing()` | Model | Load if not loaded |
-| `loadCount()` | Model | Lazy count load |
-| `loadMorph()` | Model | Morph relation load |
-| `has()` | Builder | Existence query |
-| `orHas()` | Builder | OR existence |
-| `doesntHave()` | Builder | Non-existence |
-| `orDoesntHave()` | Builder | OR non-existence |
-| `whereHas()` | Builder | Constrained existence |
-| `orWhereHas()` | Builder | OR constrained |
-| `whereDoesntHave()` | Builder | Constrained non-existence |
-| `withCount()` | Builder | Count sub-select |
-| `withSum()` | Builder | Aggregate |
-| `withAvg()` | Builder | Aggregate |
-| `withMin()` | Builder | Aggregate |
-| `withMax()` | Builder | Aggregate |
-| `withExists()` | Builder | Existence flag |
-
-##### Column name string completion
-
-Several Eloquent and Query Builder methods accept column name strings.
-PHPantom already synthesizes `where{PropertyName}()` dynamic methods
-from model properties, but the same property names should also be
-offered as string completions inside methods that take column
-arguments:
-
-```php
-// Column name as string:
-User::where('middle_name', 'like', '%foo%');
-User::whereIn('status', ['active', 'pending']);
-User::orderBy('created_at');
-User::select(['id', 'name', 'email']);
-User::pluck('email');
-
-// Also in update/insert arrays (keys are column names):
-$user->update(['middle_name' => 'Jane']);
-```
-
-**Implementation:**
-
-1. Detect when the cursor is inside a string argument to a method on
-   a Builder or Model where the parameter represents a column name.
-   The parameter name or position in the known method signatures
-   identifies column-position arguments (e.g. the first argument to
-   `where()`, `whereIn()`, `orderBy()`, `groupBy()`, `select()`,
-   `pluck()`, `value()`, `increment()`, `decrement()`, etc.).
-2. Resolve the model class from the Builder's generic parameter.
-3. Collect all known property names from the model: `$casts`,
-   `$fillable`, `$guarded`, `$hidden`, `$visible`, `$attributes`
-   defaults, `@property` annotations, accessor methods, and
-   timestamp columns.
-4. Offer those names as string completions.
-
-**Target methods (non-exhaustive):**
-
-| Method | Column parameter position |
-|--------|--------------------------|
-| `where()` | 1st argument |
-| `orWhere()` | 1st argument |
-| `whereIn()` | 1st argument |
-| `whereNotIn()` | 1st argument |
-| `whereBetween()` | 1st argument |
-| `whereNull()` | 1st argument |
-| `whereNotNull()` | 1st argument |
-| `orderBy()` | 1st argument |
-| `orderByDesc()` | 1st argument |
-| `groupBy()` | all arguments |
-| `having()` | 1st argument |
-| `select()` | all arguments |
-| `addSelect()` | all arguments |
-| `pluck()` | 1st argument |
-| `value()` | 1st argument |
-| `increment()` | 1st argument |
-| `decrement()` | 1st argument |
-| `latest()` | 1st argument |
-| `oldest()` | 1st argument |
-
-##### `model-property<T>` type resolution
-
-Larastan defines a `model-property<Model>` pseudo-type that represents
-the union of column/attribute names on a given Eloquent model as string
-literals. PHPantom currently does not recognize this type, which
-produces false "unknown class" diagnostics when it appears in
-docblocks (see [#33](https://github.com/AJenbo/phpantom_lsp/issues/33)).
-
-```php
-/** @return array{process: array<model-property<Process>, mixed>} */
-public function broadcastWith(): array { return []; }
-```
-
-This should be handled as part of L11 since the column name knowledge
-is the same data:
-
-1. **Minimum viable:** Recognize `model-property<T>` as a `string`
-   subtype so it never triggers an "unknown class" diagnostic.
-2. **Full resolution:** When the generic argument resolves to an
-   Eloquent model, expand `model-property<Process>` to the concrete
-   union of known property names (from `$casts`, `$fillable`,
-   `@property`, accessors, timestamps, etc.). This enables type
-   checking at call sites and connects directly to the column name
-   list that L11's string completion already builds.
-
-**Relationship with L1 (Facade completion):** This feature is
-independent and can be implemented before or after L1. The column
-name source (model property list) is the same data that
-`LaravelModelProvider` already collects for virtual property
-synthesis and `where{PropertyName}()` dynamic methods.
-
 #### L12. `HasUuids` / `HasUlids` trait — `$id` typed as `string`
 
 **Impact: Low-Medium · Effort: Low**

examples/laravel/app/Demo.php

@@ -232,6 +232,23 @@ public function phpdocVirtualMembers(): void
     }
 
 
+    // ── Eloquent Relation & Column String Completion ────────────────────────
+    // Trigger completion inside the string arguments below.
+
+    public function eloquentStringCompletion(): void
+    {
+        // Relation string completion in with(), load(), has(), etc.
+        BlogAuthor::with('');            // offers: posts, profile, …
+        BlogPost::with('');              // offers: author, comments, …
+        BlogAuthor::with('posts.');      // dot-notation: offers nested relations on BlogPost
+
+        // Column name completion in where(), orderBy(), select(), etc.
+        BlogAuthor::where('');           // offers: name, email, active, genre, …
+        BlogPost::orderBy('');           // offers: title, published, author_id, …
+        Bakery::select('');              // offers: flour, apricot, kitchen_id, …
+    }
+
+
     // ── Laravel Config (definition & references) ────────────────────────
 
     public function laravelConfig(): void