Significance without priority inflation

The principal identity and three-tree mechanism belong to Cheung's X-F XF. The supported transfer adds an explicit local implementation of that proof and audits the places where a stronger conclusion would otherwise be inferred.

The most useful distinction is

Here retarded solvability, the specific polynomial admission, and the direct tree background identity are proved. A general variational identification is not. That separation gives a successor a precise baseline rather than an overstated completion.