Composer依赖解析本质是SAT逻辑求解：将所有约束转为布尔表达式交由求解器判断是否存在满足全部条件的版本赋值；失败即数学上无解，lock文件是已验证的精确解。
Composer依赖解析本质是逻辑求解，不是“试装”
Composer的依赖解析不是按顺序一个个下载包、再检查冲突的贪心过程，而是一次性把所有require、conflict、版本约束（如"^6.0"）、平台限制（如php >=8.1）全部翻译成布尔逻辑表达式，交给一个SAT求解器去判断：是否存在一组版本赋值，让所有条件同时为真。
这意味着：
• composer update失败时，不是“没找到合适版本”，而是数学上证明无解；
• composer install极快，因为它直接读取composer.lock里已验证的可行解，跳过整个求解过程；
• 你看到的Your requirements could not be resolved...错误，背后是SAT求解器完成了完备搜索并返回UNSAT。
为什么composer update有时卡住或爆内存
SAT求解本身是NP完全问题，搜索空间随包数量和版本数指数增长。Composer虽做了大量优化（如CDCL风格冲突学习、单元传播、版本区间合并），但以下情况仍会显著拖慢甚至OOM：
- 项目中存在大量宽泛约束，比如
"monolog/monolog": "*"或"^1.0 || ^2.0 || ^3.0"，导致可选变量爆炸 - 多个包互相
conflict且未明确排除，求解器需反复回溯验证冲突路径 - 启用了
--with-all-dependencies却没加--no-dev，把require-dev里的测试工具也纳入全局求解 - PHP内存限制过低（
memory_limit），尤其在CI环境常见
实操建议：
• 用composer update --dry-run -v观察求解器实际尝试了哪些包；
• 把宽泛约束收紧，例如改"*"为"^2.9"；
• 大型更新前先rm composer.lock再composer install，避免旧锁文件引入隐性约束。
composer.lock不是快照，是已验证的SAT解
composer.lock文件里packages和packages-dev字段记录的不是“当时装了什么”，而是SAT求解器输出的一个满足全部逻辑约束的精确变量赋值——每个包选哪个版本、哈希校验、安装路径，全都是这个解的一部分。
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
所以：
• 同一composer.json + 不同时间 + 不同机器，只要composer.lock存在，install结果必然一致；
• 删除composer.lock后install等价于update，会重新触发完整求解；
• 手动修改composer.lock中的版本号，大概率导致后续update失败，因为该赋值可能已被证明不满足新加入的约束。
依赖冲突报错里藏着真实矛盾点
当报错显示Root composer.json requires symfony/console ^6.0, found symfony/console[5.4.x-dev, 6.1.x-dev] but these were not loaded，这不是版本没匹配上，而是SAT求解器发现：要满足你所有其他依赖（比如某个包只兼容symfony/console:5.4），就不得不放弃^6.0；但你要它必须选^6.0，两者逻辑矛盾。
查冲突最有效的方式：
• 运行composer why-not symfony/console:^6.0，它会列出阻止该版本被选中的**直接原因**；
• 结合composer show --tree看谁在传递依赖旧版；
• 注意conflict字段常被忽略——某个包可能在composer.json里写了"conflict": {"symfony/console": ">=6.0"}，但你根本没注意到。
真正难处理的，从来不是报错本身，而是那些没出现在composer.json里、却通过间接依赖悄悄带进来的conflict规则和版本锁死链。
