feat(stubs): default convention props to fix PropertyNotSetInConstructor

Nova base classes declare display/attribute props via a `@var` docblock
with no default (`$name`, `$attribute`, `$resource` on Field; `$name` on
Action/Metric/Filter; `$prefix`/`$suffix`/`$format` on TrendResult), so
every concrete subclass that omits its own copy is flagged with
PropertyNotSetInConstructor.

Declare each prop WITH a default on the base-class stub. addStubFile
merges (the stub member wins, real members are kept), so the default
flips `has_default` and the initialization check is skipped for every
subclass that inherits it.

Two constraints drive the shape of these stubs:

- `$name` on Action/Metric/Filter is declared UNTYPED (type in `@var`
  only). Subclasses conventionally write `public $name = 'Label'`
  untyped; a native signature type on the parent makes each of those
  NonInvariantPropertyType. Field's `$name`/`$attribute` have no such
  untyped redeclarers, so a native `string` is safe there.

- The new Filter/Metric/TrendResult stubs restate the full real
  hierarchy (extends/implements/use). addStubFile replaces the class
  signature, so omitting `implements FilterContract` would strip it and
  make every `Resource::filters()` raise ImplementedReturnTypeMismatch.

A Lens stub is intentionally not added: it surfaces a MethodSignatureMismatch
on subclasses that widen the `query()` builder param (PHP-legal
contravariance that Psalm only enforces against stub parents, not vendor
parents), which is not worth the few fixes it would provide.

Net on the consuming project: -37 PropertyNotSetInConstructor, no new issues.

Author: alies-dev

src/Plugin.php

@@ -32,8 +32,11 @@ public function __invoke(RegistrationInterface $registration, ?\SimpleXMLElement
         $stubsDir = __DIR__.'/../stubs/Nova';
         $registration->addStubFile($stubsDir.'/Actions/Action.phpstub');
         $registration->addStubFile($stubsDir.'/Fields/Field.phpstub');
+        $registration->addStubFile($stubsDir.'/Filters/Filter.phpstub');
         $registration->addStubFile($stubsDir.'/Element.phpstub');
+        $registration->addStubFile($stubsDir.'/Metrics/Metric.phpstub');
         $registration->addStubFile($stubsDir.'/Metrics/PartitionResult.phpstub');
+        $registration->addStubFile($stubsDir.'/Metrics/TrendResult.phpstub');
         $registration->addStubFile($stubsDir.'/Panel.phpstub');
         $registration->addStubFile($stubsDir.'/Resource.phpstub');
     }

stubs/Nova/Actions/Action.phpstub

@@ -15,6 +15,15 @@ class Action implements \JsonSerializable
     use \Illuminate\Support\Traits\Tappable;
     use \Laravel\Nova\WithComponent;
 
+    /**
+     * Untyped (no native signature type) so subclasses declaring the display name as
+     * `public $name = '…'` (Nova's convention, untyped) stay invariant. The default value
+     * is what satisfies PropertyNotSetInConstructor on subclasses that omit their own `$name`.
+     *
+     * @var \Stringable|string
+     */
+    public $name = '';
+
     /**
      * Get the fields displayed by the resource.
      *

stubs/Nova/Fields/Field.phpstub

@@ -23,4 +23,9 @@ abstract class Field extends \Laravel\Nova\Fields\FieldElement implements \JsonS
     use \Laravel\Nova\Fields\PreviewableFields;
     use \Laravel\Nova\Fields\SupportsFullWidthFields;
     use \Illuminate\Support\Traits\Tappable;
+
+    public string $name = '';
+    public string $attribute = '';
+    public object | array $resource = [];
+    protected ?bool $dependentShouldEmitChangesEvent = null;
 }

stubs/Nova/Filters/Filter.phpstub

@@ -0,0 +1,28 @@
+<?php
+
+namespace Laravel\Nova\Filters;
+
+/**
+ * Full hierarchy restated (interfaces + traits): addStubFile replaces the class signature,
+ * so omitting `implements FilterContract` would strip it and every Resource::filters()
+ * returning concrete filters would raise ImplementedReturnTypeMismatch.
+ */
+abstract class Filter implements \Laravel\Nova\Contracts\Filter, \JsonSerializable
+{
+    use \Laravel\Nova\AuthorizedToSee;
+    use \Illuminate\Support\Traits\Macroable;
+    use \Laravel\Nova\Makeable;
+    use \Laravel\Nova\Metable;
+    use \Laravel\Nova\ProxiesCanSeeToGate;
+    use \Laravel\Nova\Filters\Searchable;
+    use \Laravel\Nova\WithComponent;
+
+    /**
+     * Untyped (no native signature type) so subclasses declaring the display name as
+     * `public $name = '…'` (Nova's convention, untyped) stay invariant. The default value
+     * is what satisfies PropertyNotSetInConstructor on subclasses that omit their own `$name`.
+     *
+     * @var string
+     */
+    public $name = '';
+}

stubs/Nova/Metrics/Metric.phpstub

@@ -0,0 +1,22 @@
+<?php
+
+namespace Laravel\Nova\Metrics;
+
+/**
+ * Full hierarchy restated (parent + traits): addStubFile replaces the class signature,
+ * so omitting `extends Card` would strip Card from every metric's ancestry.
+ */
+abstract class Metric extends \Laravel\Nova\Card
+{
+    use \Laravel\Nova\Metrics\HasHelpText;
+    use \Laravel\Nova\ResolvesFilters;
+
+    /**
+     * Untyped (no native signature type) so subclasses declaring the display name as
+     * `public $name = '…'` (Nova's convention, untyped) stay invariant. The default value
+     * is what satisfies PropertyNotSetInConstructor on subclasses that omit their own `$name`.
+     *
+     * @var \Stringable|string
+     */
+    public $name = '';
+}

stubs/Nova/Metrics/TrendResult.phpstub

@@ -0,0 +1,17 @@
+<?php
+
+namespace Laravel\Nova\Metrics;
+
+/**
+ * Full hierarchy restated (interface + trait): addStubFile replaces the class signature.
+ * The `@var string` convention properties are set by Nova internals, not a constructor,
+ * so each needs a default to satisfy PropertyNotSetInConstructor on subclasses.
+ */
+class TrendResult implements \JsonSerializable
+{
+    use \Laravel\Nova\Metrics\TransformsResults;
+
+    public string $prefix = '';
+    public string $suffix = '';
+    public string $format = '';
+}