Proofline Check 是 grove/proofline 项目提供的 Agent 指令，定位为“现有编码代理完成改动之后的检查环节”。安装边界需要明确：执行 npx skills@latest add grove/proofline 只安装该 Agent 指令，并不安装 Proofline Python 运行时。在调用 check 或 run 之前，必须先在受支持的 macOS 主机上定位一个完整本地检出，其中包含 proofline.py 和 checks/，并使用其真实的绝对脚本路径；若运行时或原生沙箱前置条件缺失，应如实报告该限制，不能因为技能已安装就声称检查已运行。
用途与主要能力：check 命令面向已有代理工作，零模型调度，用于把调用方选定的可执行检查运行在一个冻结、只读的候选副本上，并将源、所选文件、命令数组和独立主机回执绑定到报告中。它不会重置、暂存或提交源仓库，源仓库的索引、脏工作区和未跟踪工作保持不动；只有其隔离副本会获得 Git 身份。输出必须是源仓库之外的新目录（默认为系统临时目录 proofline-check/<唯一 ID>），需保留以便后续证据回读。可选 run 命令用于在干净源仓库上进行一次受管单代理编码尝试，需要认证；--correct-once 仅用于 run，在满足失败检查、原生证据完整且为 Python AssertionError 诊断等条件时，恢复绑定的原始实现线程一次，用未改动的完整源和精确原生观察进行修正，然后重新运行全部所选检查。
使用方式：先使用最简形式，将用户原始请求逐字放入 --request，或通过 --request-stdin 传入精确 UTF-8 字节（含终端换行），并为每个相关检查提供一个显式的项目原生 --command。每个 --command 是 POSIX 引用的 argv，不是 shell 调用，不执行扩展、通配符、管道或命令替换；需提供绝对可执行路径并准确引用参数，复杂 argv 可用 --checks JSON。源与检查输入形式各自互斥。资料给出的示例为：/opt/homebrew/bin/python3.14 -B /absolute/path/to/proofline/proofline.py check --repo /absolute/path/to/product --request 'Reject whitespace-only usernames; preserve Unicode and CLI behavior.' --command '/opt/homebrew/bin/python3.14 -B -m unittest discover -s tests'。run 使用相同直接输入，并加 --stage-seconds 600。捕获期间应暂停编辑，两次读取之间检测到变化会使快照失效；被忽略的未跟踪文件、Git 元数据和空目录不包含在内；子模块、嵌套仓库、FIFO、套接字和设备等没有受支持的观察路径，不支持时没有不受保护的兜底。
可选功能：--failure-details 可附加调用方已知的预期/观察案例，观察文本必须出现在主机捕获的失败检查输出中；--promises 仅用于 check，提供带 source_sha256 的承诺映射，未关联的 R 行记为 NOT DEMONSTRATED；可选 review 提供咨询性提案，不执行、不编造引用。status 命令可重新验证冻结输入与回执，status RECORD --show-source 可显示全部原始请求文本。Intentline 导出与链接可作为可选咨询数据，不导入其 Python 包、不运行导出脚本。报告应使用精确候选、实际命名的检查结果和未覆盖需求；CHECKS PASSED 仅表示所列命令成功退出，需区分 CHECKS FAILED、CHECKS UNAVAILABLE、EXECUTION UNAVAILABLE 和 STALE CHECKS，不得称为完整承诺认证或声称发生了 PR/合并。
适用场景与限制：适合已有编码代理完成改动后，对冻结候选做可重复的命令级检查并保留证据；也适合在干净源上做一次受管编码和可选单次修正。限制包括：仅支持 macOS 原生环境，Linux 离线 CI 不能建立原生 macOS 资格；无网络访问、无依赖安装、无 AI 审查/证明、无发布、合并或部署；所有时间计入 episode 预算；修正或中断不重置预算；不支持历史 deliver 与 resume；控制器恢复不支持，不得静默开始新 episode。