J3: joint section and complete remainder, not entered

The selected exit remains the joint-section exit. Because J2 is Unresolved, J3 is not entered as a construction.

A successful theorem would have to control:

1. lower terms of every numerical line;

2. internal vertices and their actual kernel maps;

3. attachment-diagonal derivatives;

4. the two defect directions as geometric constraints, not integration fibers;

5. every coefficient of the actual source;

6. both terms of the scalar root;

7. the grouped cross-line difference;

8. the complete tensor and branch summation;

9. independence from internal null presentations.

The copied internal frequency remainder is not this theorem. The exact normal-jet reference formula is not this theorem.

Neither a zero section nor a nonzero section is assumed. The branch numerator $Q\lambda$ supplies no section of the complete sum.