Animation source and evidence

The Lean certificate covers each run's synthetic points, links, origins, claims,
wave halves and meetings. It does not cover the browser's canvas drawing.

Requirements: Lean 4.35.0 with lake and Python 3.

From this directory:
  cd graphics/verification
  lake build
  python3 -B check.py --source-only

The source-only check validates the render sources against the run data and builds
the Lean project. The full check also needs the website's dist pages beside graphics.
graphics/home-video.js draws a run's template on canvas at four times the schedule pace.
Individual flattened files from the animation page are inspection copies.
25 runs, seeds 7001-7025 (field) and 9001-9025 (origins).
