Atlas 账本

Atlas 契约的配套技能。由最终审计在捕获偏移时自动调用；也可在发布评审后或用户请求记录错误时使用。将偏移提炼为 WHEN/DON'T/INSTEAD 条款，经确认后写入 Atlas.md。