SwingSet 把智能对象装进一个个 vat，由内核统一转发消息、排队执行并按 computron 计量计算量：每条消息触发一个 crank，超限的 vat 会被终止；内核承诺表管住跨对象调用的先后顺序，让图灵完备的 JavaScript 合约能安全跑在共识机器上。本文依据 Agoric SDK 官方仓库文档做机制拆解。