A precise raw causal-product obstruction

The quantifier includes all local quadratic symbols, as does the proposed microcausal extension. It does not exclude an abstract extension preserving the linear causal commutators. The Hadamard construction below is precisely such an extension.

The example also shows why disjoint endpoint supports are not a universal multiplication theorem: distinct null-related points already exhibit the problem.