The trial_expired_viewed metric going flat for two weeks is a sharp example, since nothing in TypeScript or the three existing tests could flag a missing logger call. Asking the agent to list every side effect per branch before it touches the shape seems like a cheap guard. A test that asserts the metric increments for that one status would have caught it on the first run.