value)->toBe($value); })->with([13, 1, 9999]); it('rejects zero or negative brand codes', function (int $invalid): void { // GIVEN / WHEN / THEN expect(fn () => new BrandCode($invalid)) ->toThrow(\DomainException::class); })->with([0, -1, -9999]); });