Heilbronn's Problem in the Unit Triangle: Computational Optimality Certificates for $n \le 8$

We study Heilbronn's triangle problem in the unit right triangle, where $n$ points are placed to maximize the smallest of the $\binom{n}{3}$ triangle areas they span. We prove a boundary-structure result: unless all three vertices are occupied, some optimal configuration with $n \ge 5$ has at least