Safety-Critical Systems

CAAF 這篇論文真正重要的，不是多 agent 編排本身，而是把 domain invariant 資產化成可驗證的 harness，透過 UAI、context firewall 與 state locking，讓高風險場景下的 agent workflow 從會說服人，走向可被機械驗證地收斂。