SoK: Decentralized Agent Economic Infrastructure
The research investigates why complex, multi-step agent workflows fail to deliver correct results despite individual protocol correctness. The study introduces 'guarantee closure' to test if initial security and economic guarantees hold across all dependent stages of a task. It reveals that recorded approvals are insufficient; true security requires enforcing constraints derived from underlying economic assumptions like penalty enforcement and error modeling.