The First-Manifestation Problem: From Rational Closure to the Minimal Primitive Cuboid

Defines canonical primitive solutions (a < b < c, gcd = 1), the default height g, and conditional theorems A–E (uniqueness of the primitive representative, well-ordering gives a first solution if one exists, strict a < b < c, existence certificate versus minimality certificate).