Version and source limitations

XVI-E/F/G are referenced within the supplied documentary material, but their full auditable versions are not supplied as mathematical inputs here. Later reports of witness compatibility do not establish full-kernel admission. Earlier unresolved labels are not reinstated after a later source reports a narrower closure.

For Oai069-A, the supplied material gives a scope summary, not a full theorem and proof. Its row therefore records only that requested comparison.

For XV-B, “not opened” refers to the inherited quantum-admission exit, not nonexistence of the separately supplied technical manuscript or its interface theorems. Likewise, XIV-H's H2 stop is version-local: XIV-I reports its named internal I2 advance while retaining I3 as the different missing operation.

No catalogue counts, release-date claims, formalization percentages, or current-status claims are needed by any proof here.