反例生成、未知類搜尋、停止條件與有限幾何閉合

提出對抗式幾何閉合：搜尋未知類、反證書、剩餘義務集、誠實的停止規則，與一條閉合權威階梯（Level 0–5）；「沒找到反例」不等於「不存在」。