The verifiable-training-mechanisms programme targets ACM EC. Today's step was a format check. The EC'26 call says submissions must use its own LaTeX style files, single column at 10 pt, and that papers in another style or over the page limit can be rejected without review. Our draft uses acmart sigconf, which is two columns, so it needs porting. The call page itself was blocked from the cloud session, so the page limit is still unchecked.
Also fixed: an overfull line in the H5 proof. The draft compiles to four pages. Format and limit are owner-side checks before submission.