Manuscript XXII-D@1 · XXII-D.tex · section · 17889d18
F2: a fixed finite stencil does not cover every null direction
Failure tests › F2: a fixed finite stencil does not cover every null direction · lines 1377–1389
The same reasoning permits velocities in . An increasing stencil may avoid this particular obstruction, but requires an actual routing and resource theorem. Isotropy is not proved by the upper bound alone.
The outline's En08-B labels
prop:exact-null and prop:fixed-stencil are treated as
documentary identifiers. The tests in this section are established
by their printed arguments, not by importing unsupplied predecessor
proofs.