What ``complete the plan'' means here

The plan expressly calls for an audit without importing the external capacity theorem and for one subsequent finite certificate. Accordingly, completion has the following meaning:

1. the external claims and their quantifiers are frozen;

2. their five mathematical interfaces are audited separately;

3. comparison manuscripts are used only in their stated roles;

4. a concrete optimizer and a certified value interval are supplied;

5. unverified multi-use and partner-channel assertions remain external claims, rather than being relabelled as local theorems.

This is a completed certificate manuscript, not an assertion that a finite numerical instance verifies an all-parameter capacity theorem.