ov-add-paper

ov-add-paper

目标

将研究论文转换为适用于 OpenViking 的结构化资源，然后使用 ov add-resource 完成摄取。只有在生成的产物目录经过验证并提交到 OpenViking 后，任务才算完成。

输入

• 必需：论文来源，通常是本地 PDF 路径或论文 URL。
• 可选：输出目录、OpenViking 目标 URI、领域说明、相关仓库／源文件，以及是否等待 OV 处理。
• 如果论文来源缺失或无法访问，请先索取来源，再开始操作。

工作流

1. 通读整篇论文，包括附录和所有编号的图表。
2. 使用 references/ara-compiler-profile.md 编译 ARA 风格的产物目录。
3. 使用 scripts/validate_ara.py 验证产物。
4. 修复验证失败项，除非用户明确接受这些问题。
5. 直接使用 ov add-resource 摄取已验证的产物目录。
6. 使用 ov stat／ov tree 确认目标，并返回产物路径、OV 目标／根 URI、验证结果、摄取结果以及任何未解决的问题。

输出约定

生成的产物必须包含：

• PAPER.md
• logic/problem.md、logic/claims.md、logic/concepts.md、logic/experiments.md、logic/related_work.md
• logic/solution/constraints.md
• src/environment.md
• trace/exploration_tree.yaml
• evidence/README.md
• 每个已归档的编号表格和图，均需提供 Markdown 文件及 PNG 证据文件

最终回复必须包含 ov add-resource 命令结果；如果 --wait 出错，则提供证明目标已写入的恢复检查结果；如果无法摄取，则说明确切的阻碍原因。

验证

从此技能目录运行，或使用验证器的绝对路径：

python3 scripts/validate_ara.py <artifact-dir>

然后使用 OV CLI 摄取：

ov add-resource <artifact-dir> --to viking://resources/papers/<slug> --wait

摄取前，使用 ov -o json stat <target-uri> 检查目标是否已存在。摄取后，使用 ov -o json stat <target-uri> 和 ov tree <target-uri> 验证。

权限

• 用户要求添加或摄取论文时，允许创建新的 OpenViking 资源。
• 如果有意复用可能覆盖或替换现有资源的目标 URI，请先征求用户同意。
• 仅当用户明确接受列出的验证错误时，才可使用 --skip-validation。

边界

• 不要使用 ov add-skill；此技能创建的是论文资源，而不是 OV 技能。
• 不要静默跳过 ov add-resource；如果摄取失败，请报告命令、错误和恢复途径。
• 如果 ov add-resource --wait 在创建目标后因连接错误退出，不要立即对同一 URI 重试。运行 ov stat、ov wait、ov observer queue 和 ov tree，以确定摄取是否已完成。
• 不要编造主张、证据、源引用、代码、数字或研究历史。
• 除非用户明确要求使用指定的现有 OV 目标，否则不要覆盖该目标。
• 将不受支持或无法读取的内容标记为不可用，而不是自行补全。

运行时资源

• 编译产物前，加载 references/ara-compiler-profile.md。
• 执行 OV 摄取或排查摄取失败前，加载 references/openviking-ingest.md。
• 使用 scripts/validate_ara.py 执行确定性检查。