Object and scope

and scope{ This paper proves an exact input-substitution and positive-scale reduction theorem for the marked insertion defined here. The gravitational and coordinate weights are identically one; the matter-interaction switch remains a separate function.

The comparison with supplied manuscripts is documentary and formula-level. It is not an independent verification of their parent sources and does not identify their observables with this one. The characteristic raw-limit question remains open.}