用途：把本地论文目录 paper/ 与 Overleaf 项目打通，使协作者可在 Overleaf 网页端编辑，而 ARIS 在本地读取改动、运行审计（/paper-claim-audit、/citation-audit、/auto-paper-improvement-loop）并把修复推回。基于官方 Overleaf Git 桥接（Premium 功能）。
主要能力：paper-overleaf/ 是 Overleaf 项目的 git clone，paper/ 是 ARIS 工作副本，两者用 rsync 同步。提供 setup、pull、push、status 子命令。setup 为一次性操作，需用户在自己的终端运行 bash <ARIS_REPO>/tools/overleaf_setup.sh <project-id-or-url>，脚本要求交互式 TTY、隐藏提示读取令牌、克隆后立即从远端 URL 剥离令牌、写入系统钥匙串，并自动安装 pre-commit 钩子拦截含 olp_[A-Za-z0-9]{20,} 的提交。pull 先 git pull --ff-only 再按 hunk 判断：纯编辑改进可直接同步，数字或论断改动需重跑 /paper-claim-audit，新增 \cite{...} 需重跑 /citation-audit，半句或明显笔误标记给用户不自动同步，新章节或重构需先询问。push 先 pull 检查远端漂移，再用 rsync 同步（排除 .git、.DS_Store、.aux、.log、.bbl、.blg、.fls、.fdb_latexmk、.out、.synctex.gz、*.toc），提交信息需注明产生改动的 ARIS 技能，推送前必须展示 git diff --stat 并等待确认。status 做三方状态评估：远端领先、本地领先、干净或分叉。
限制与注意：令牌绝不写入磁盘、环境变量或聊天，只存系统钥匙串；401 时提示用户重跑 setup 而非索取新令牌。出现真实分叉时不得自动合并，也不得 reset --hard 或 push --force，需用户逐文件决定。双向同步最大风险是两边同时编辑，需遵守互斥规则：Overleaf 编辑期间 ARIS 只读 paper/，ARIS 循环运行期间用户暂停 Overleaf 编辑。Overleaf 云端独立编译，本地用 /paper-compile。Git 桥接文档见 https://www.overleaf.com/learn/how-to/Using_Git_and_GitHub。