This repository contains the explicit counterexample to the Hessian conjecture in five variables (HC₅), together with complete verification scripts in exact rational arithmetic and a detailed ...