Remove won't fix from Laravel todo

Author: AJenbo

docs/todo.md

@@ -180,8 +180,6 @@ unlikely to move the needle for most users.
 | L9  | Higher-order collection proxies                                                                                                                              | Low-Medium | Medium-High |
 | L10 | `View::withX()` / `RedirectResponse::withX()` dynamic methods                                                                                                | Low        | Low         |
 | L11 | `$appends` array                                                                                                                                             | Low        | Low         |
-| L12 | [`auth()` helper return type](todo/laravel.md#l12-auth-helper-return-type)                                                                                   | Low-Medium | Low         |
-| L13 | [`app()->make()` container return type](todo/laravel.md#l13-appmake-container-return-type)                                                                   | Low        | Medium      |
 |     | **[External Stubs](todo/external-stubs.md)**                                                                                                                 |            |             |
 | E2  | Project-level stubs as type resolution source                                                                                                                | Medium     | Medium      |
 | E3  | IDE-provided and `.phpantom.toml` stub paths                                                                                                                 | Low-Medium | Low         |

docs/todo/laravel.md

@@ -463,53 +463,3 @@ accessors, so in most cases the accessor method itself already produces
 the virtual property. Parsing `$appends` would only help when the
 accessor is defined in an unloaded parent class.
 
-#### L12. `auth()` helper return type
-
-**Impact: Low-Medium · Effort: Low**
-
-**Status: Needs investigation.**
-
-The `auth()` helper returns `Illuminate\Contracts\Auth\Factory` (the
-contract interface). Most code immediately calls `->user()`, which is
-defined on `Illuminate\Contracts\Auth\Guard`, not on `Factory`. This
-produces "Method 'user' not found on class 'Factory'" diagnostics.
-
-**Observed:** 2 diagnostics in `shared` (in `GetMarketTrait` and
-another file).
-
-**Before implementing, investigate how Larastan handles this.** It may
-be probing the application at runtime (booting the container to
-discover which guard is configured) rather than using a static rule.
-If so, this is borderline for our no-boot philosophy. Also check
-whether the auth user model type comes from `config/auth.php`, which
-we can't access from a library package like `shared`.
-
-The idiomatic fix for library code is to avoid `auth()->user()` and
-instead accept the user type as a parameter or call a project-specific
-`getCustomer()` method. These diagnostics may be nudging developers
-toward better patterns rather than exposing a PHPantom gap.
-
-#### L13. `app()->make()` container return type
-
-**Impact: Low · Effort: Medium**
-
-**Status: Needs investigation.**
-
-`app()->make(Foo::class)` returns `Foo` at runtime, but PHPantom
-resolves the return type of `make()` from the `Application` contract,
-which declares `make(string $abstract): mixed`. This produces
-"Method 'X' not found on class 'Application'" when the resolved
-`mixed` type is used in a chain.
-
-**Observed:** 1 diagnostic in `shared` where
-`app()->make(PCNService::class)->getPurchaseOrderDetails()` fails
-because `make()` returns `mixed`.
-
-**Before implementing, investigate how Larastan handles this.** It may
-be using a `DynamicReturnTypeExtension` that resolves `make($class)`
-to the concrete type, or it may be doing something that requires
-container bindings at runtime. If the latter, this falls under "out of
-scope" per our philosophy. The `class-string` argument form
-(`make(Foo::class)` returning `Foo`) could be handled statically, but
-confirm Larastan's actual approach first.
-