Controlling the Observation Class of a Runtime Monitor: Selection, Self-Tuning, and Physical Grounding

Engineering companion establishing that a runtime monitor's observation class is a controlled quantity. Where prior runtime verification fixes the observation class, this paper steers it, for a bounded-eventuality temporal implication, over a machine-checked generative signature space (390625 -> 50000 -> 8). Three layers: (1) optimal monitor-type selection over the exhaustively enumerated catalogue, minimising diagnostic ambiguity and opener sensitivity; (2) a closed self-tuning loop recovering timing phase by classical symbol-synchronisation machinery, with almost-sure LOCAL convergence within a basin (global convergence conjectured, witnessed on a finite prefix); and (3) a causal-coherence penalty forbidding convergence to an epistemically invalid operating point -- the physical boundary that keeps tuning from manufacturing truth.