Да, вы можете создать JSON-файл для использования в библиотеке lottie-react из SVG-визуализации. Для этого вы можете использовать инструменты, такие как Bodymovin или Adobe After Effects.
Чтобы анимировать красную линию, чтобы она плавно загружалась слева направо при загрузке страницы, вам нужно определить начальные и конечные точки линии, а также настроить ключевые кадры в анимационной программе.
Затем вы экспортируете анимацию в формате JSON с помощью инструмента Bodymovin или плагина Lottie для After Effects.
Вот пример JSON-файла, который может быть сгенерирован из вашего SVG-кода для анимированной красной линии:
```
{"v":"5.5.0","fr":24,"ip":0,"op":48,"w":1000,"h":1000,"nm":"Untitled","ddd":0,"assets":[],"layers":[{"ddd":0,"ind":1,"ty":4,"nm":"Shape Layer 1","sr":1,"ks":{"o":{"a":0,"k":100},"r":{"a":0,"k":0},"p":{"a":0,"k":[500,500,0]},"a":{"a":0,"k":[0,0,0]},"s":{"a":0,"k":[100,100,100]}},"ao":0,"shapes":[{"ty":"gr","it":[{"ty":"st","c":{"a":0,"k":[1,0,0,1]},"o":{"a":0,"k":100},"w":{"a":0,"k":10},"lc":1,"lj":1,"ml":4,"bm":0,"d":[{"n":"d","nm":"dash","v":{"a":1,"k":[{"i":{"x":[0.667],"y":[0.667]},"o":{"x":[0.333],"y":[0.333]},"t":0,"s":[10]}],"ix":1}}],"nm":"Stroke 1","mn":"ADBE Vector Graphic - Stroke"}],"nm":"Path 1","np":1,"cix":2,"cv":1,"bm":0,"ix":1,"mn":"ADBE Vector Group"}],"ip":0,"op":48,"st":0,"bm":0}]}
```
После сгенерирования JSON-файла, вы можете использовать его в lottie-react для отображения анимации на странице.