abcd update's foreign refusal, for a PATH entry that is a symlink, reads: the entry at X leads to Y, which is not ... a regular file abcd can verify. But Y is a regular file (the classifier Lstat'd the entry, not Y), so the person is told something false about the link's target. The negatives belong to the entry.

abcd update's foreign refusal, for a PATH entry that is a symlink, reads: the entry at X leads to Y, which is not ... a regular file abcd can verify. But Y is a regular file (the classifier Lstat'd the entry, not Y), so the person is told something false about the link's target. The negatives belong to the entry.

Grounds

• pursued: the sentence is true of a link whose target is a regular file; TestPlanForeignRefusalJudgesTheLinkNotItsTarget would fail if the negatives were attached to the resolved path again