一个重要的防护模式是强制不变式：已打开的span必须在追踪层关闭。当宿主在turn结束时调用trace.end()，任何仍开放的span都是生命周期违规。