Anaximander 的两个设备名，为什么未必是两份 ONNX 会话？

通过固定源码与两项有边界的控制流测试，区分设备计划、Python对象和ONNX会话，解释为什么两个设备名字不能直接作为双GPU容量的依据。