合约

icpg 通过 ReasonNodes、正式契约和漂移检测，为代码理解增加一层“为什么”。当你在改代码前需要先弄清意图、归属和风险背景时，可用于代码评审、重构和任务前分析。