Lane E: the joint characteristic-extension track

The reported analytic path is

It does not run through XIV-A, XIV-B, XIII-D, or XIII-E. This path records declared continuation, not automatic import of all earlier theorems record.

The coverage account reports the following inherited freeze: XII-C's cubic action and inverse coefficient $-1$; both completion legs from XII-D and XII-E; XII-E's insertion coefficient $-1$; the full observable including the scalar-sourced slot; XII-A's full-shell carrier; and XIII-C's partial-diagonal ambiguity class. The complete formulas defining those data are not supplied. Their signs are therefore recorded as inherited signs, not derived here, and the frozen class is not expanded.

The direct excerpts establish the narrower chain of source outcomes used below:

The first box is a historical stop, not the current first missing gate after XIV-I has supplied its named amplitude.