Manuscript XI-E@1 · XI-E.tex · section · 46e55514
The actual fixed-width kernels
Route 1: membership, change of product data, and the loop stop › The actual fixed-width kernels · lines 912–921
For compact kernel stages with a fixed allowed wavefront cone, we use the normal distribution topology. The operations just used satisfy the applicable continuity or hypocontinuity statements of BDH. In -normal coordinates admission is the kernel inclusion followed by the on-shell quotient. This supplies fixed-width kernel-limit continuity on those stages. It is not VII-C's sharp-admission package.