hidden-contract-investigator

从现有代码、现有函数和现有模块中提取隐式契约的技能。 通过检查返回类型、副作用、异常、前置条件、边界条件以及环境依赖行为， 在复用前将风险可视化。不依赖名称或注释，而是从实际行为中读取契约， 对不一致之处进行分类，并判断是否可复用。 适用于：复用遗留代码、验证现有函数的实际行为、 或在实现前提取隐式契约等场景。 涵盖范围：隐藏契约、隐式契约、复用风险、遗留行为、暗黙契約、既存资产调查。 分析内容包括：返回类型、副作用、异常、前置条件、边界条件及环境依赖行为。

存档时间线

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

下载存档内容副本