一组工程事实，两条阅读路径。

中间是必须理解的概念；左边把它讲给初学者，右边把它压缩成 Agent 可以取回的工程契约。