Proposition: Exact status of Patch G

Patch G reproduces the common-space and residual-testing statements. It defines a parameterized species-bundle codomain. It does not identify the frozen output fiber, and it does not enter G3–G5 or any of XV-F's analytic gates.

Proof. Equations (eq:W)–(eq:Goperator) reproduce the supplied common-space and testing interface. Equations (eq:Eres)–(eq:vectorD) define a family for a specified parameter. No supplied statement identifies that parameter with an output fiber. The source's unresolved ending is retained in Input statement input:G; none of the definitions here adds a composition or wavefront theorem.