拿 Codex app-server 的真实 main 入口练手:看懂参数结构体、arg0 分发与 Tokio 运行时的衔接,再拆开 move |...| async move、泛型约束和属性写法。