[Koukyosyumei]

Summary

• Extend the demo to 80 seconds with larger Rust and Lean editors and an automatic Rust-to-Lean extraction animation.
• Show recorded Lean theorem dependencies and remove the mutation segment.
• Clarify that Development Infrastructure runs end-to-end tests, with red-teaming as one part of that workflow.
• Update demo documentation and generated site metadata.

Verification

• h5i app check examples/app/board — 109 theorems gated
• python3 docs/build-content.py
• git diff --check
• Rendered stills and an 80-second local preview

The HTTP read-route sequence is identified as an illustrative scenario.