feat: 30s Remotion launch video

A six-scene 1920x1080/30fps composition under video/: the integrity-gap
hook, the brand thesis, the real pwm-tui recording (2.25x) with the
load-bearing numbers, the Freivalds check as the hero formula, the
forged-matmul REJECT stamp, and the don't-trust-verify CTA. Assets sync
from the committed docs files into a gitignored public dir; npm run
render writes docs/videos/provable-world-model-launch.mp4 (committed,
4.3 MB). Local agent tooling state (.agents/, skills-lock.json) is now
gitignored so the docs link gate skips it.

Author: AbdelStark

.gitignore

@@ -25,3 +25,7 @@ lean/.lake/
 /public-demo.html
 /demo.html
 uv.lock
+
+# Local agent tooling state (not project content).
+.agents/
+skills-lock.json

docs/videos/provable-world-model-launch.mp4

@@ -0,0 +1,4 @@
+node_modules/
+public/
+out/
+.remotion/

video/.gitignore

@@ -0,0 +1,32 @@
+# Launch video
+
+A 30 second [Remotion](https://www.remotion.dev/) composition (1920x1080, 30 fps,
+900 frames) that renders the project launch video to
+`docs/videos/provable-world-model-launch.mp4`.
+
+Six scenes:
+
+1. **Hook**: the integrity gap in one typed question.
+2. **Brand**: ProvableWorldModel and the thesis line, word by word.
+3. **Demo**: the real `pwm-tui` recording (sped up 2.25x) with the load-bearing
+   numbers (10.27 MiB int8, 2,437 ops, 32.4 M MACs, CPU only).
+4. **Proof**: the Freivalds check `v.x == r.z` as the hero, with the commit,
+   recompute, and soundness lines.
+5. **Tamper**: the forged matmul slammed with `REJECT FreivaldsCheckFailed`.
+6. **CTA**: "Don't trust. Verify." and the repository.
+
+## Render
+
+```bash
+cd video
+npm install
+npm run assets   # copies the committed docs assets into public/ (gitignored)
+npm run render   # writes docs/videos/provable-world-model-launch.mp4
+npm run dev      # Remotion studio for live editing
+```
+
+`public/`, `node_modules/`, and render output are gitignored; the committed
+inputs live under `docs/videos/` and `docs/images/screenshots/`.
+
+There is no music track by default. To add one, drop a licensed audio file into
+`public/` and add an `<Audio>` element with fade in/out in `src/Launch.tsx`.