Finite futures and fixed-source targets

This is the obstruction retained in XXII-D CheungXXIID (thm:anchored-obstruction). An extension or moving-source comparison must be substantive and proved. A restricted nonempty set of represented null pairs is a different, potentially weaker target.