Internal source locators used in this paper

The following locators are documentary references, not imported proofs:

• Hawk01-A, version 1: thm:source, thm:completion, thm:complement.

• Em03-A, version 1: thm:main.

• Em03-E, version 1: thm:complement.

• Em03-F, version 1: thm:unitary, thm:fieldchannel, and its switching-work ledger.

• Em05-A, version 1: cor:separation.

• Em05-B, version 1: thm:constantComplement.

• Em06-B, version 1: thm:input-stability.

• En02-E, version 2: thm:gaussian, thm:cutoff.

• Psy02-B, version 2: thm:process.

• En03-A, version 1: thm:obstruction.

• XIV-H, version 1: thm:H2, prop:K5exact.

• XIV-I, version 1: thm:I2, thm:I3, prop:canonical, thm:release.

• XIV-J, version 1: prop:descent, lem:null, thm:reference, thm:conditionalextension, thm:J2, cor:noadmission.

• XV-B, version 1: thm:lifting, cited as a separate downstream interface.

• XVI-L and XVI-M, version 1: their stated graph, scale, matching, and non-claim boundaries.

• XVI-N, version r12: thm:massless-obstruction.

• XVI-O, version o70-sync: the three-verdict front-matter boundary.