D02 thresholds lock (Cycle 5) Criteria: existential confirmation only with reachable disconfirming configuration empirical lane and formal lane evaluated separately no class collapse across evidence lanes