Refereed work
Long-form arguments: the methods, the proofs, and the corrections, refereed.
The campaign-one paper: the enumeration method, the exactness lemmas, the minimality theorems, the census, and the autopsy of the counts it corrects. Submitted to the Journal of Integer Sequences.
The methods paper: cavity-aware pruning with proven exactness, measured 13–20× over the direct approach, with sizes 19–20 as the demonstration. Design validated; computation scheduled.
Ten lemmas and a computer enumeration settle every marking on at most eight corners, and then the smallest nonplanar one at fourteen. The parity of corners on the line where two faces meet is the engine of the proof.