Composer 是项目级依赖求解工具，用 SAT 求解器在版本约束空间中寻找数学可行解；composer.lock 是该解的确定性快照，vendor 仅为可重建产物。
Composer 不是包管理器，而是项目级依赖解析与安装工具；它的核心不是“下载”，而是“求解”——用回溯式 SAT 求解器在版本约束空间里找一个数学上可行的解。
Composer 为什么总卡在 update 阶段或报 “could not be resolved”
这不是网络慢或服务器问题，是求解器已穷尽所有版本组合并证明无解。错误信息 Your requirements could not be resolved to an installable set of packages 是数学结论，不是临时失败。
- 每个
vendor/package:1.2.3被建模为一个布尔变量，require、conflict、provide全部转为逻辑子句，构成一个隐式 CNF 公式 - Composer 2+ 的
BacktrackingSolver类执行tryToSolve()，冲突时触发backtrack()，不是随机试错 - 常见诱因：某间接依赖同时 require
guzzlehttp/guzzle:^7.0和^8.0，而你又锁死monolog/monolog:2.9.0，导致求解路径被反复剪枝又回退 -
composer update --with-all-dependencies会重解整个依赖树，比--with-dependencies更易爆内存
composer.lock 文件不是缓存，是可验证的可行解快照
composer.lock 是上一次成功求解出的精确版本组合，包含所有包名、版本号、完整哈希、自动加载映射和依赖树结构。它不是建议，也不是中间产物。
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
-
composer install完全跳过求解过程，只按lock文件逐条下载安装，保证构建一致性 - 一旦手动修改
composer.json或删掉lock，下次install就会退化为update行为，重新触发求解 -
lock文件中packages-dev区块独立存在，意味着开发依赖不参与生产环境求解，但影响本地 install 结果
autoload.php 怎么做到“写一次，自动加载”
生成 vendor/autoload.php 不是简单拼文件，而是根据 composer.json 中的 autoload 字段（如 psr-4、classmap）构建映射表，并最终调用 spl_autoload_register() 注册加载器。
- PSR-4 映射会被编译成前缀 → 路径数组，例如
"Monolog\": "src/"→ 加载MonologLogger时自动拼出src/Logger.php -
classmap是扫描后生成的全量类名 → 文件路径数组，适合无命名空间的传统库 - 所有映射最终由
ComposerAutoloadClassLoader实例管理，autoload.php只是返回并注册这个实例 - 修改
autoload后必须运行composer dump-autoload，否则新增类不会被识别
为什么 vendor 目录不能直接 git commit，但 lock 文件必须提交
vendor 是求解结果的产物，可随时重建；composer.lock 是求解过程的唯一确定性锚点。两者角色完全相反。
-
vendor包含二进制、扩展、生成代码，体积大且平台相关（如 ext-* 扩展），不同机器install出的文件可能有细微差异 -
lock文件确保所有协作者和 CI 环境运行同一组版本组合，哪怕 packagist.org 上某个版本已被撤回或篡改，只要 lock 存在，install仍能复现 - 私有仓库或 fork 的包若未在
repositories中显式声明 URL，lock里记录的 dist URL 可能失效，这时需同步更新repositories配置
真正难的从来不是命令怎么敲，而是理解 composer.json 是约束声明、composer.lock 是解的存在性证明、vendor 只是临时落盘——三者不在同一抽象层级，混用就会失控。
