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. Three layers, over a machine-checked generative signature space (the 390625 -> 50000 -> 8 eight-tick enumeration): (1) Optimal monitor-type selection over the exhaustively enumerated catalogue, minimising diagnostic ambiguity and opener sensitivity, with the finest timing-error resolution among the minimisers and an analytic stability radius. (2) A closed self-tuning loop recovering timing phase by classical symbol-synchronisation machinery (early-late gate, Gardner, Mueller-Mueller detectors). The proven result is almost-sure LOCAL convergence to the true phase within a basin of attraction; global convergence of the band-counting detector is CONJECTURED and witnessed only on a finite simulation prefix. (3) A causal-coherence penalty forbidding convergence to an epistemically invalid operating point -- the physical boundary that keeps tuning from manufacturing truth. Preprint; a version has been prepared for submission. Theory companion: "Observation-Relative Monitorability of Bounded Temporal Implication" (co-deposited).