composer依赖解析本质是sat求解：将版本约束转为布尔变量与逻辑子句，数学证明有解则输出composer.lock中的确定性解，无解则明确报错。
版本约束不是“匹配字符串”，而是生成布尔变量集合
Composer 解析 ^2.0 或 ~1.2.3 时，根本不会做正则匹配或模糊比较。它会把每个可选版本（如 monolog/monolog:2.0.0、2.1.0、2.9.9）都当作一个独立的布尔变量，再把约束展开成逻辑子句。例如：
-
^2.0→ 等价于 “monolog/monolog:2.0.0∨2.1.0∨ … ∨2.9.9”，但显式排除所有3.0.0及以上版本变量 -
~1.2.3→ 仅允许1.2.3到1.2.99，连1.3.0都被设为false
这意味着：看似微小的改动（比如把 ^2.0 改成 ^2.1）会直接砍掉几十个旧版本变量，从而绕过某个 SAT 求解器卡住的冲突路径。
常见错误现象：composer update 卡住十几分钟没反应，不是网络问题，而是 SAT 求解器在庞大变量空间里反复回溯；加个 --profile 就能看到耗时集中在 Solver::solve()。
require 和 conflict 是同时生效的硬性条件，没有先后顺序
Composer 不按 composer.json 里 require 和 conflict 的书写顺序执行，也不“先装再踢”。所有约束被统一建模进同一个逻辑公式：
-
"monolog/monolog": "^2.0"生成一组“可选”变量 -
"conflict": {"monolog/monolog": "2.9.0"}对应一条子句：“monolog/monolog:2.9.0必须为 false” - 最终选出的版本必须同时满足：属于
^2.0范围，且不能是2.9.0
使用场景：你想禁止某个有 bug 的 patch 版本，不要删包、不要降级，直接加 conflict —— 它和 require 具同等效力，且不改变依赖图结构。
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
- 验证是否生效：运行
composer prohibits monolog/monolog:2.9.0，有输出说明冲突规则已载入求解器 - 注意：如果
conflict的版本不在当前任何require范围内（比如你只写了^1.0，却conflict2.9.0），这条规则实际不参与求解——SAT 求解器只会处理“可能被选中”的变量
间接依赖的约束和你写的 require 地位完全一样
laravel/framework 的 composer.json 里写了 "php": ">=8.2"，那它就是一条全局约束，和你自己在根项目写 "php": ">=8.1" 并列参与 SAT 求解。Composer 不区分“谁声明的”，只看“哪些变量和子句存在”。
常见错误现象：本地 PHP 是 8.3，composer install 却失败，报错指向 symfony/polyfill-mbstring —— 这个包你根本没在 require 里写，但它被 guzzlehttp/guzzle 拉进来，而它的 conflict 规则和你的 PHP 版本不兼容。
- 查根源用：
composer why-not php:8.3或composer depends --tree symfony/polyfill-mbstring - 性能影响：间接依赖越多、它们的
conflict和provide越复杂，SAT 求解器构建的 CNF 公式越大，内存占用越高，Composer 2.9.6 虽优化了剪枝，但无法消除本质复杂度 - 关键点：你改不了别人的
composer.json，但可以通过config.platform.php假装自己运行在更高 PHP 版本下（慎用，可能掩盖真实兼容问题）
composer.lock 不是缓存，是 SAT 求解器输出的唯一可行解
composer install 根本不跑 SAT 求解器，它只读 composer.lock，逐字还原里面记录的每个包的精确版本、校验值、依赖树。这个文件是上一次 composer update 成功时，SAT 求解器给出的、数学上可验证的唯一解。
所以：composer.json 里把 "monolog/monolog": "^2.0" 改成 "^3.0"，只要不跑 update，install 依然装 2.x —— 因为 lock 文件没变。
- 团队协作中，
composer.lock必须提交，且禁止手动编辑；它不是中间产物，是环境一致性的契约 - CI 构建失败但本地正常？先
cat composer.lock | grep php，确认 lock 里记录的 platform 要求和 CI 环境匹配 - 如果你看到
composer install报Your requirements could not be resolved，说明 lock 文件损坏或缺失，它已退化为update行为 —— 此时真正在求解，不是 install 的错
真正容易被忽略的是：SAT 求解器的输出（即 composer.lock）依赖于 Composer 自身版本。同一份 composer.json，用 Composer 2.4.3 和 2.9.6 执行 update，可能得到不同的 symfony/console 版本 —— 因为求解策略、剪枝逻辑、默认稳定性偏好都有调整。锁定 Composer 版本（如用 composer self-update 2.9.6）比锁定 PHP 版本还关键。
