composer/semver 解析版本约束完全离线进行，通过内存计算生成数学区间（如 ^2.8.0 → >=2.8.0 且
composer/semver 解析约束时不联网，也不查镜像
版本约束（比如 ^2.8.0 或 ~1.2.3）的解析完全在本地完成，不依赖网络、不读取镜像源、不访问 packagist.org。它由 composer/semver 库在内存里直接计算出数学区间，例如：^2.8.0 → >=2.8.0 且 ；<code>~1.2.3 → >=1.2.3 且 。
常见错误现象：
- 改了镜像源后
composer update拿不到新版本，误以为是镜像问题——其实是镜像没同步到那个 tag，而本地约束本身没变 - 删了
composer.lock再install，结果装的版本和之前一样——说明约束区间内只有那些版本可选，不是镜像“没更新”，是真实可用版本就那么多
实操建议：
- 用
composer show -t查当前已解析的约束区间，确认是否符合预期 - 调试时加
-v看Resolving dependencies...阶段输出的 “found X versions matching Y” —— 这里的 X 是镜像返回的候选集，Y 是本地算出的区间 - 别在 CI 中靠换镜像来“强制升版本”，得先确认目标版本是否真落在你写的约束区间内
^ 和 ~ 的锚点根本不在同一维度
^ 锚定主版本号（MAJOR），~ 锚定你写到的最左侧非零段。这不是“松紧程度不同”，是坐标系错位。
举例说明：
-
^2.8.0允许2.9.0、2.15.3，但拒绝3.0.0 -
~2.8.0允许2.8.1、2.8.99，但拒绝2.9.0（哪怕只是次版本+1） -
~2.8等价于~2.8.0，不是>=2.8.0；漏写第三位容易误判范围 -
^0.5.1实际只接受0.5.x，0.6.0被视为破坏性变更，直接排除
容易踩的坑：
- 把
^2当成“只要 2.x 就行”，结果它真会装2.99.99，而你没测过 - 对 0.x 包用
^以为能自动更新，其实它比~更窄，甚至接近锁定 - 看到包发了
2.9.0就以为^2.8.0能升，却忘了对方可能没打 Git tag 或没 push 到镜像
composer install 不解约束，只校验 lock 文件
composer install 完全跳过约束解析和依赖求解，它只做一件事：逐行比对 composer.lock 里的每个包版本，是否仍满足 composer.json 中当前声明的约束。这个过程是 O(n) 的快速字符串比对，所以秒出。
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
这意味着：
- 即使你把
monolog/monolog改成"^3.0"，只要composer.lock里还记着2.10.0，install就只会装2.10.0 -
composer show monolog/monolog显示的版本，是 lock 文件记录的版本，不是约束能匹配的最大版本 - 团队中有人删了 lock 文件再重装，其他人
install出来的版本就可能不一致
实操建议：
- CI 流水线里不要删
composer.lock后再install，除非你明确想重算整个依赖图 - 想局部更新某包？用
composer update vendor/package，它会重新求解并更新 lock - 发现版本不一致？先
cat composer.lock | grep package-name，再对比composer.json里的约束是否真能覆盖那个版本
dev-main 和 * 不走 SemVer，也不进约束解析
dev-main、dev-develop、dev-feature/x 这类分支引用，以及 *（Composer 中实际非法），完全绕过 composer/semver 的所有逻辑。它们不生成数学区间，不参与 SAT 求解，也不被 Constraint 类处理。
后果很直接：
-
"monolog/monolog": "dev-main"+"phpunit/phpunit": "^9.6"可能冲突，因为前者要求 unstable 版本，后者默认只接受 stable - 写
"package": "*"会报错：Invalid version string "*"，不是语法糖，是根本不支持 -
dev-main的每次更新都可能引入破坏性变更，Composer 不拦，也不告警
关键点：
- 这类写法只在开发阶段临时使用，上线前必须换成语义化版本约束
- CI 中若用了
dev-main，要配config.minimum-stability: dev，否则会被直接跳过 - 永远别在
composer.lock里留dev-引用——它记录的是 commit hash，不是版本号，无法复现
实际约束生效，永远取决于三件事：你写的字符串、包作者打的 tag、镜像源同步的及时性。其中只有第一件你能控制，后两者都可能出错。
