Composer update卡在“Resolving dependencies through SAT”是本地SAT求解器暴力回溯所致，非网络问题；应优先用composer why-not定位冲突链，清缓存、验证镜像生效、缩小更新范围或临时移除conflict字段辅助诊断。
Composer update卡在Resolving dependencies超过5分钟，基本可以确定是依赖冲突引发的SAT求解器暴力回溯，不是网络慢，也不是服务器卡顿。
卡在“Resolving dependencies through SAT”怎么确认和应对
运行composer update -vvv --profile，如果日志末尾反复出现Resolving dependencies through SAT并长时间停住，说明Composer正在穷举版本组合，试图满足所有require、conflict、replace约束——一旦逻辑不可满足，它不会报错退出，而是持续尝试直到超时或内存耗尽。
- 别急着删
vendor/或composer.lock，先定位阻断点 - 用
composer why-not vendor/package:version（例如composer why-not laravel/framework:^11.0）直接查看谁在阻止该版本安装，输出会逐层列出冲突链：A要求B^2.0 → B require C 1.5 → C conflict D >=3.0 → 你项目里又写了D:^4.0 - 若
why-not返回空，说明目标版本根本不在可用范围内，改用composer show vendor/package看它实际发布的tag列表
缩小搜索空间：只更新关键包，避免全量解析
全量composer update会让SAT求解器处理整个依赖图，复杂度指数级上升。尤其当项目有30+包、含conflict字段或多个私有源时，解析时间可能从秒级跳到小时级。
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
- 用
composer update vendorA/pkgA vendorB/pkgB --with-dependencies，只动明确需要升级的路径，其余依赖保持锁文件原有版本 - 升级框架大版本（如Laravel 9→10）时，先删
composer.lock，再用composer require laravel/framework:^10.0单步推进，比update更可控 - 临时移除
composer.json里的"conflict"字段仅用于诊断（完事立刻还原），可快速验证是否为硬性互斥导致卡死
镜像与缓存失效导致“假卡住”
看起来卡在解析，实则卡在元数据拉取——比如镜像配置错误、缓存未刷新、或repositories字段覆盖了全局镜像，让Composer悄悄 fallback到packagist.org慢速回溯。
- 验证镜像是否生效：
composer config -g repo.packagist必须输出完整URL（如https://mirrors.aliyun.com/composer/），末尾带/，且含composer类型 - 执行
composer clear-cache后，进缓存目录手动确认downloads/和files/为空；再跑composer install -v，日志中应出现Downloading而非Using cache - 只要
composer.json里存在"repositories"字段（哪怕空数组{}），全局镜像就会被静默丢弃——这是最常被忽略的配置陷阱
为什么--dry-run和--minimal-changes有时没用
--dry-run只是预演，不改变状态，但它仍会完整走一遍SAT解析流程，卡住时照样卡；--minimal-changes依赖已有composer.lock的稳定性，在冲突已存在时可能无解——它不会绕过冲突，只会拒绝更新。
-
--dry-run -v真正价值在于看日志里是否频繁出现Trying+Rolling back，这是SAT暴力回溯的明确信号 -
--minimal-changes适合日常小版本迭代，但对major升级或已存在conflict的项目，它往往直接退出并提示No lock file found. Unable to read lock file.或Could not resolve packages - 真正要绕过SAT瓶颈，得靠
--with（Composer 2.4+）显式注入可信版本路径，例如composer update --with=monolog/monolog:^3.0，把求解范围收窄到已知可行分支
最易被忽略的一点：冲突可能来自你没直接require的包——只要某个已安装包在它的composer.json里写了conflict，而你项目里又间接拉入了触发条件的版本，Composer就会卡住。这种隐式约束无法通过扫自己项目的composer.json发现，必须靠why-not层层下钻。
