Aegis 任务携带实现层面的义务，包括固定宽度算术、显式失败、生成的循环、类型转换以及函数化的可变状态。