composer prohibits 单独使用易误判，因它仅扫描 composer.lock 中已解析的依赖快照，不参与实时 sat 求解；若目标包未被显式 require（如刚 require 失败），可能返回空，但冲突实际存在——必须配合 composer update --dry-run -v 查 because 链和 composer show --tree 验证真实依赖现场。
直接用 composer prohibits 查不准，必须配合 composer update --dry-run -v 和 composer show --tree 才能定位真实冲突点。
为什么 composer prohibits 单独用容易误判
它只扫描当前 composer.lock 里已解析出的依赖快照，不参与实时 SAT 求解；如果目标包根本没被任何已安装包显式 require（比如你刚执行 composer require 失败），prohibits 可能返回空，但冲突实际存在。
- 命令必须带完整版本号，例如
composer prohibits monolog/monolog:2.10.0，写^2.10或2.10都会报[InvalidArgumentException] Package not found - 输出中带
(for spatie/laravel-backup v7.2.0)的行才是真源头，不是建议升级对象，而是必须先处理的约束源 - 它不检查
php版本、platform配置或conflict字段——这些得靠composer why-not补全
怎样用 composer prohibits 锁定两个包的交集断点
假设你想确认 laravel/framework:11.0.0 和 symfony/console 是否冲突，不能只跑 prohibits laravel/framework:11.0.0 就停手：
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
- 先执行
composer prohibits laravel/framework:11.0.0，看是否出现symfony/console ^5.4这类约束（末尾括号标出来源包） - 再对称执行
composer prohibits symfony/console:6.4.0，确认是否有包在拉低它（比如某个旧版测试工具锁死^5.4） - 若两边都指向同一个中间包（如
orchestra/testbench），那它就是交集断点，不是 Laravel 或 Symfony 本身的问题
composer update --dry-run -v 才暴露真实 Because 链
prohibits 给的是“谁写了禁止语句”，而 --dry-run -v 展示的是 Composer 求解器实际卡在哪一步：
- 重点盯日志末尾的
Because链，例如：Because laravel/framework v11.0.0 requires symfony/console ^6.4, and mypkg v2.3 requires symfony/console ^5.4——这就是无交集的铁证 -
Root requirements段落告诉你哪条"vendor/name": "^x.y"是整场冲突的起点，常是你自己写的约束 -
Found conflicting requirements下列出的具体包名和范围（如guzzlehttp/guzzle: ^7.0 vs ^8.0）才是你要动手调的对象
别跳过 composer show --tree 验证真实现场
prohibits 看的是“谁声明了排斥”，但 show --tree 揭示的是“谁已经悄悄把冲突包拉进来了”：
- 运行
composer show --tree symfony/console，观察树中是否出现(locked to 5.4.44)——说明该版本已被composer.lock硬性固定，哪怕你改了composer.json也动不了 - 如果树里某分支下出现了
your-project-name，说明是composer.json的require或conflict字段在起作用，不是第三方包的问题 - 特别注意
require-dev里的工具链包（如phpunit/phpunit），它们常因测试兼容性滞后于主框架，却是最常卡死升级的“隐形人”
真正难处理的不是报错信息本身，而是 prohibits 输出为空时——这时冲突往往藏在 platform 配置、PHP 小版本差异，或者 minimum-stability 导致的候选包过滤里，得切到 why-not 加 --verbose 才能挖出来。
