Introduction, attribution, and the Enter interface

discipline. The carrier, covariance, old product, and parent finite part are the explicit inputs in Section sec:inputs. Their cited proofs are not independently certified here. In contrast, the presentation injectivity, graph-specific leaf arguments, local charge witness, and algebraic gluing are proved on the supported chart below. A documentary separation is not a theorem premise.

boundary. The main algebraic mechanism is attributed to Cheung's IX-C, IX-Free, and IX-Free-2. This manuscript does not claim priority for those results. Its contribution is a sequential, supported adaptation with a common host contract and a complete certificate interface. The latter does not strengthen a partial product into an interacting field theory.