E.4.PFR:4.4 - Genuine overlap conflict

A named automated replay receiver whose contract requires acceptance and witness has two exact, accepted, witnessed, independently sufficient bases for the same subject, use, scope, and time cell, and their consequences conflict. Lane 1 can state the conflict but cannot give that receiver a stable closed family-plus-pairwise result. The basis analysis retains both alternatives, records the exact pairwise conflict, returns established-conflict, and leaves unrelated work available. It selects no winner, grants no permission, and changes no actual-use fact.