Port Mortem 2026 — Rewrite Real Software. Prove It Still Works. The software industry is entering a new era. AI can now rewrite thousands of lines of code across programming languages in minutes. Companies are investing heavily in AI-assisted migrations—from C/C++ to Rust, TypeScript to Go, Python to Rust, and beyond. But there's a major problem. Generating a port is easy. Proving that the rewritten software behaves exactly like the original is hard. That's precisely what P...