安全模型
AGT 把正式寫入、真實輸入與正式切換視為受保護動作。
目前狀態
閘門
目前 beta 不把自己呈現為可正式寫入版本。
真實輸入需要通過操作員實機證據。
授權
註冊與反註冊都是使用者明確執行的動作。
發佈紀律
正式放行應以已接受的證據包判斷,不只看原始碼是否已修改。