Temporal Bell Inequalities and Global Consistency in Modal Triplet Theory: A Conditional Sequential-Instrument Analysis

Version 2. This paper gives a typed Leggett-Garg analysis in which laboratory clock time, auxiliary stabilization time, channels, and sequential measurement instruments are distinct data. It proves the standard -3 ≤ K ≤ 1 bound under a common context-independent joint distribution, a conditional no-retro-signaling statement for causal instruments, and a non-selection theorem showing that projection language alone supports both satisfying and violating realizations. An explicit qubit and Luders-instrument packet gives K = 3/2 as a standard quantum operational realization. It becomes an MTT result only if a selected MTT source descends to that same packet.