Composer不存在“最小集”，它用SAT求解器寻找唯一可行解；所谓“最小版本”实为其他依赖约束导致的解空间压缩，非主动选择。
Composer 的“最小集”根本不存在，它只找唯一解
Composer 从不计算“满足要求的最小版本集合”，它用 SAT 求解器暴力搜索一个能同时满足所有约束的完整版本组合——要么有唯一解，要么无解。所谓“最小”，是误读：当你看到安装了 monolog/monolog: 2.1.1 而不是 2.10.2，不是 Composer 主动选小，而是其他依赖（比如 symfony/console: ^5.4）把整个解的空间压扁到了 2.1.x 区间。
常见错误现象：Your requirements could not be resolved 报错后手动把某个包降级到旧版，结果整棵树跟着回退一大截——这不是 Composer “妥协了”，而是旧版引入的新约束（如 ext-json ）让更高版本的候选解全部失效。
-
composer update --dry-run -v会打印出求解器尝试的每一条路径，末尾带Conflict的行就是被剪掉的分支 - 求解器优先尝试高版本，但一旦某条路径触发冲突，就会回溯并尝试更低版本，直到找到第一条通路
- 没有“最小集”选项，
--with-dependencies或--only-dependencies也改不了这个逻辑，它们只控制更新范围，不干预求解策略
为什么 ~2.8 和 ^2.8 导致的解空间差一个数量级
~2.8 等价于 >=2.8.0 ，而 <code>^2.8 等价于 >=2.8.0 。这两个范围在数学上相差整整一个次版本维度：前者只允许 <code>2.8.x，后者放行所有 2.x.x（包括 2.99.999）。写错一位，解空间就被砍掉 90% 以上。
典型坑点：你写了 "laravel/framework": "~10.0"，本意是“守住 10.x”，结果它死死卡在 10.49.9；而换成 "laravel/framework": "^10.0"，就能顺利升到 10.50.0——只要后者没被其他包的 conflict 字段拦住。
-
~2.7.4和~2.7行为一致，但前者更明确，推荐始终补全 patch 位（即写~2.7.0而非~2.7） -
^0.x阶段（如^0.8.2）和~0.8.2效果相同，都只允许0.8.x，但语义不同：^表示“守向后兼容”，~表示“我就要这个次版本” - 运行
composer show --all vendor/package可确认远程是否真发布了你写的那个 tag（比如写了~1.2.3，但它只发了1.2.2和1.3.0，那就永远匹配不到）
composer install 不解析、不选版本，只校验锁文件
composer install 的行为与依赖分析器完全无关。它只做 O(n) 比对：逐行检查 composer.lock 中记录的每个包版本，是否仍满足 composer.json 中当前声明的约束。只要锁文件存在且未被篡改，就原样还原，不触发任何求解逻辑。
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
删掉 composer.lock 再跑 install，等价于执行 update——会重新启动 SAT 求解器，耗时可能达数分钟，尤其在大型项目中。
-
composer.lock不是缓存，是上一次成功求解的完整快照，含 SHA256、源类型、依赖映射 - CI 流水线若没提交
composer.lock，或被.gitignore忽略，每次构建都会得到不可控结果 - 看到旧版本不是因为“没选新”，而是
composer.json约束太窄，或已有依赖把你拖住了
定位谁在卡脖子：why-not 比 depends 更准
报错 Conclusion: don't install laravel/framework:^11.0 时，别猜哪个包在拦，直接跑 composer why-not laravel/framework:11.0.0（必须带完整版本号）。输出是一条阻断链，末尾带 (for xxx) 的那行，才是真实拦路包。
例如：
myapp/myproject dev-main requires spatie/laravel-backup (^7.2) spatie/laravel-backup v7.2.0 requires symfony/console (^5.4) laravel/framework 11.0.0 requires symfony/console (^6.4)
最后一行是你想装的目标，往上每一行末尾的 (for spatie/laravel-backup v7.2.0) 就是真正需要调整的包——它不一定是你写的，很可能是 require-dev 里的测试工具悄悄拉进来的。
-
composer depends vendor/package查谁依赖了它，但无法反映冲突路径 - 如果
why-not输出为空，说明冲突不在已安装包，而是require-dev中某个包在解析时引入了不兼容约束 - 看到
conflict with foo/bar (>=2.0)，说明那个包自己写了conflict字段，这是硬拦截，不是 Composer 主动拒绝
