perf: optimize generated demo GIF for README

Author: Videirafo

.github/workflows/demo-assets.yml

@@ -61,16 +61,19 @@ jobs:
           sudo apt-get update
           sudo apt-get install -y ffmpeg
 
-      - name: Convert recorded interaction to GIF
+      - name: Convert recorded interaction to optimized GIF
         run: |
           video_path="$(find assets/demo-video -type f -name '*.webm' | head -n 1)"
           test -n "$video_path"
           ffmpeg -y -i "$video_path" \
-            -vf "fps=8,scale=960:-1:flags=lanczos,split[s0][s1];[s0]palettegen=max_colors=128[p];[s1][p]paletteuse=dither=bayer" \
+            -vf "fps=5,scale=640:-1:flags=lanczos,split[s0][s1];[s0]palettegen=max_colors=56[p];[s1][p]paletteuse=dither=bayer:bayer_scale=3" \
             assets/demo/safe-agent-demo.gif
           test -s assets/demo/safe-agent-playground.png
           test -s assets/demo/safe-agent-demo.gif
 
+      - name: Report asset sizes
+        run: ls -lh assets/demo/safe-agent-playground.png assets/demo/safe-agent-demo.gif
+
       - name: Upload verified assets
         uses: actions/upload-artifact@v4
         with: