Manuscript XIV-D@1 · XIV-D.tex · section · 1a7f173d

A full fiber-tensor check for B 6

D2: the full joint-symbol test › A full fiber-tensor check for B 6 · lines 1177–1183

This proof performs the fiber sum for this leading $B_{6}$ numerator. It does not evaluate an undefined graph product. It does not determine the contributions of $K_{4}, K_{5}, K_{7}, K_{8}, K_{9}$ , their common microlocal orders, or their lower-order terms.

Nearby in this section

section: A full fiber-tensor check for B 6
proposition: Proposition: Full B 6 leading fiber numerator
corollary: Corollary: No full cancellation verdict follows
theorem: Theorem: D2 verdict