HIPnosis: Verified CUDA to ROCm Ports

There are billions of dollars of CUDA code locked to one vendor. AMD's MI300X offers 192 GB of HBM3 at a fraction of the cost of an H100, but the migration path is where teams give up: hipify translates most of the syntax and stops exactly where the problems begin. The port does not compile, nobody fixes it, and nobody proves it still computes the same numbers. HIPnosis is an autonomous porting agent that finishes the job and shows its work. Paste a CUDA repo URL and it scans the code, translates it with hipify, adapts the build system, and then enters a deterministic loop on a real MI300X: compile, parse every error, classify it against a 14-class taxonomy, propose a fix by rule table when possible and by LLM when not, apply it as an atomic git commit, and repeat until the build is green. It then runs the ported binary and verifies numerical parity against the reference with rtol/atol tolerances. The output is a branch, a pull request, and a port certificate listing what was fixed, by whom, and what still needs a human. Every number in the certificate comes from code, never from a model. Two things set it apart. First, a static wave64 audit that catches silent correctness bugs (warp size 32 vs 64 assumptions) that compile cleanly and ship wrong numbers; textual translators miss these entirely. Second, architecture: the LLM decides content, the orchestrator decides control. Success is judged only by compilers, tests, and a numerical comparator, never by asking a model if the result looks right. Fixes are routed to a locally hosted Gemma 3 27B on the MI300X via vLLM, at zero API cost. The whole system is containerized, and a replay profile lets anyone rerun our recorded MI300X pipeline on a laptop with one docker compose command.