Example. An omitted feasibility constraint [ftip-00GC]
Example. An omitted feasibility constraint [ftip-00GC]
Two research records can share every summary score while one contains a withdrawn lemma and the other contains a feasible proof plan. A summary-only selector therefore chooses identically, although the correct next action differs. This is a finite witness to information loss, not a claim about a particular model.