Function warmup_postcondition_failed 

pub fn warmup_postcondition_failed(ep: EpSelection, engine_count: usize) -> bool

Decides whether the warmup-only postcondition is violated.

The postcondition is: when BGE_M3_EP=tensorrt is set and the warmup-only path has run to completion, at least one .engine file must exist in the engine cache directory. A true return value should produce an ERROR log and a non-zero exit so deployments fail loudly instead of silently looking healthy with a perpetually-cold cache.

Non-TensorRT EPs are exempt — they do not produce engine plan files at all, so an empty engine cache directory is the expected steady state.