Solution for the exact-source challenge #
The substantive development proves the exact fixed-source theorem on the same
RingQuot presentation of the Weyl algebra
(Stafford38.universalFixedSourceStatement). The transport module identifies
the challenge's intrinsic ordered-word filtration and its least-level degree
with the development's checked PBW normal-form filtration and degree, and the
two linear symplectic coordinate predicates are definitionally equal. This
file only combines those facts; it adds no hypothesis and supplies no degree
or normal-form datum.