AI ported WinQuake to C#, with per-frame hashes proving bit-exactness

Edict is a C# port of the WinQuake engine written mostly by an AI coding agent. It proves correctness by comparing XXH64 state hashes against a pinned C reference build frame by frame; mutation testing of 451 mutants left 34 documented blind spots.

• The port matches reference hashes across 150,000+ renderer presents and 172,765 sound frames
• 34 of 451 mutants survived, each with a documented reason
• Two real bugs surfaced in id's code: an out-of-bounds sound read and an IP ban hitting all clients on 64-bit Linux
• The reference build carries 12 patches, including 64-bit fixes and measurement hooks