No new cone

The non-global-hyperbolicity diagnosis and the chart contract are retained from X-A-ST. No conical geometry is reconstructed. The worldsheet is not replaced by a worldline, and no global conical inverse is introduced.

For a laboratory test $f$, define

The supported calculations below use only $D_f$, or a fixed slightly larger retained shadow when neighbourhood seminorms are needed.