Nada te impide declarar propiedades sobre la instancia que no están explícitamente declaradas, pero te estarías buscando problemas. 

Anecdóticamente tu clase declara la propiedad en el constructor y por eso no se nota, así que vamos a hacer una clase que lo deje más en evidencia:

    class TarjetaDeCredito 
    {
        private string $cvv;
        
        public $deuda;
    
        public function __construct(string $cvv)
        {
            $this->cvv = $cvv;
        }
    
        public function autorizarCompra(int $monto, string $cvv): bool
        {
            if ($cvv !== $this->cvv) {
                throw new InvalidArgumentException('Clave incorrecta! Abort');
            }
            $this->deuda += $monto;
            return  true;
        }

    }


En esa clase ocurren varias cosas. 

**Primero**, fíjate que hay una propiedad `$deuda`. Si yo instancio mi tarjeta de crédito y quiero ver la deuda:

      $tarjeta = new TarjetaDeCredito('123');
      var_dump($tarjeta->deuda);
      // imprime null

La deuda no está definida, pero como es una propiedad de la instancia no hay problema: puedo accesarla de todos modos. Por el contrario, si intento hacer lo mismo con una variable no declarada:

      var_dump($tarjeta->color);
      
      PHP Notice:  Undefined property: TarjetaDeCredito::$color in...

No es un error fatal y dependiendo de tu nivel de reporte de errores hasta se puede suprimir... sólo para ocupar las siguientes semanas intentando debuggear el problema.

**Corolario**: declarar la propiedad permite garantizar que existirá y podré   acceder a ella desde todos los métodos de la instancia.

----------

**Segundo**, pensemos que la tarjeta se usa para hacer una compra por internet. La tienda requiere que yo tenga una tarjeta asociada a mi perfil

    class Perfil {

      public $tarjeta;

      public function configurarTarjeta(TarjetaDeCredito $tarjeta) {
          $this->tarjeta=tarjeta;
      }

    }

Cuando yo quiera hacer una compra, la tienda (que ya tiene mi tarjeta) me pedirá confirmar el monto e ingresar el CVV. Con eso invocará el método `autorizarCompra` en mi tarjeta. Si el CVV no corresponde ocurrirá un error y la compra será rechazada.

        public function autorizarCompra(int $monto, string $cvv): bool
        {
            if ($cvv !== $this->cvv) {
                throw new InvalidArgumentException('Clave incorrecta! Abort');
            }
            $this->deuda = ($this->deuda ?? 0) + $monto;
            return  true;
        }

¿Qué pasaría ahí si no estuviera declarada la propiedad CVV? A simple vista se está asignando en el constructor así que me consta que nunca será indefinida aunque no esté explícitamente declarada:

    public function __construct(string $cvv) {
        $this->cvv = $cvv;
    }

Pero el comercio podría redeclararla y hacer una transacción sin tu autorización.

    $tarjeta->cvv = '000';
    $tarjeta->autorizar_compra(10000000,'000');

Lo cual no hubiera pasado si fuese una propiedad declarada explícitamente y con visibilidad privada como es ahora, porque sería secreta salvo para el que instanció esa tarjeta, e intentar asignarla arrojaría un error:

       PHP Fatal error:  Uncaught Error: Cannot access private property TarjetaDeCredito::$cvv

**Corolario**: declarar la propiedad te permite controlar no sólo su existencia sino su visibilidad.


----------
**Tercero**: la tienda quiere permitir que reasignes tu tarjeta sin usar el método `configurarTarjeta`, o sea 


      $perfil->tarjeta = $tarjeta;

   

pero si no pasas por ese método, ¿Cómo podría la tienda estar segura de que pusiste una tarjeta y no la licencia de conducir? Bueno, podría hacerlo en la declaración de la variable, aunque esto es una adición que apareció hace no muchos años en PHP:

    class Perfil {
       public TarjetaDeCredito $tarjeta;
    }

Si yo intentase
 
    $perfil->tarjeta = $licencia_de_conducir;

Saltaría un error:

     PHP Fatal error:  Uncaught TypeError: Typed property Perfil::$tarjeta must be an instance of TarjetaDeCredito, xxx used

El cual hubiese pasado desapercibido si `tarjeta` no hubiese estado declarada.

**Corolario**: en versiones recientes de PHP, declarar la propiedad te permite definir también su tipo.

**PEEERO**: por mucho que esté declarada y sea pública, acceder a ella sin haberla definido igual es un error:

    $perfil = new Perfil();
    var_dump($perfil->tarjeta);
    
    PHP Fatal error:  Uncaught Error: Typed property Perfil::$tarjeta must not be accessed before initialization

Esto se puede prevenir haciendo el tipo nulleable, pero apareció en la versión 7.4 apenas.

     public ?TarjetaDeCredito $tarjeta;

Que te daría `null` en vez de un error.


----------
**Finalmente...** ¿Por qué PHP no te impide de plano asignar al vuelo propiedades no declaradas? Bueno, es porque sí tiene una utilidad, mediante el uso de los métodos mágicos `__set` y `__get`, que serán invocados cuando definas o intentes acceder a propiedades privadas, protegidas o no definidas.

Pensemos que la tarjeta te permite ingresar datos opcionales libremente, y gracias al método mágico `__set` éstas se almacenan en un array de llaves y valores

     class TarjetaDeCredito {
       private $data = [];

       public function __set($key, $value) {
            $this->data[$key]=$value;
       }
       public function getData() {
          return $this->data;
       }    
     }

Esta implementación te permite hacer:

    $tarjeta = new TarjetaDeCredito('1234');
    $tarjeta->nombre = 'lorenzo';
    $tarjeta->marca = 'VISA';

    var_dump($tarjeta->getData());

    array(2) {
      ["nombre"]=>
      string(7) "lorenzo"
      ["marca"]=>
      string(4) "VISA"
    }

Sin el uso de esta implementación, ni yo mismo podría saber en otro lugar del código qué corchos le puse a esa tarjeta. Con esta técnica en cambio pude aprovechar la permisividad de PHP para interceptar esa asignación y guiarla a una variable útil.
 
Junto con `__set` y `__get` hay otros métodos mágicos. En especial `__call` y `__callStatic` son una poderosa herramienta de metaprogramación y le dan una suerte de overloading que -a diferencia de Java o C#- no existe formalmente en el lenguaje.

Laravel hace uso intensivo y extensivo de estas técnicas para permitir Macros y Mixins declarados al vuelo, en el booteo del contenedor de dependencias. Pero, si esta permisividad de PHP se usa mal, lo que se logra no es comodidad sino fragilidad.

Los IDEs como PHPStorm, o VSCode con la extensión Intelephense, pueden detectar errores antes de que corras el código, apoyándose en las restricciones de visibilidad y tipo si es que te das el trabajo de ponerlos. Misma cosa ocurre con las herramientas de análisis estático como Psalm y PHPStan. Mientras más completo y explícito sea tu código, más te podrán ayudar a no pasar el 90% del proyecto odiando el código.