Dini limits, singular primitives, and uniqueness

The scalar regularity hypothesis is essential: an almost-everywhere derivative identity alone does not justify the integral identity used in the proof.

The finite part has the anchor formula

understood in scalar pairings with the proved compact-local bounds. Therefore two derivative calculations must also use the same anchor before comparing finite parts.