Descent: the global criterion and the local information

The criterion itself is not merely local. It is a global algebraic equivalence for a candidate global value. The source's limitation concerns what canonical agreement verifies. This correction avoids a second ambiguity in the proposed patch: “descent is local” is too imprecise, whereas “the available agreement checks descent only after restriction” is exact.

A local null relation is not coverage of the complete common kernel. Even if a candidate annihilated the presentation (eq:Jnull), it would still have to annihilate every other relation in the complete presentation space, including possible relations between placements and operational entries.