每个任务都是完整 agent 循环，不是单次推理。两个模型各有强项。K3 在符号数学和开发工具链上更强，终端任务里拿了 11 个 solo win（Fable 7 个），安全加密类集群里表现突出。
4 6.82 0.35x 10K行 (2.0MB) Native C libdeflate L1 919.
八、在线安装链路与失败回滚 DefaultPf4jPluginService 用一把 ReentrantLock 串行化 list、install、start、stop、unload 和 uninstall，避免同一 JVM 内多个管理操作并发修改 PF4J 状态。
3 第三步：解决 readiness check 的同名重复问题 "When you view the readiness check results for an Azure Local instance via the Azure Update Manager, there might be multiple readiness checks with the same name.