ov-add-paper
Goal
Turn a research paper into an OpenViking-ready structured resource, then complete ingestion with ov add-resource. The job is not done until the generated artifact directory has been validated and submitted to OpenViking.
Inputs
- Required: a paper source, usually a local PDF path or paper URL.
- Optional: output directory, OpenViking target URI, domain notes, related repo/source files, and whether to wait for OV processing.
- If the paper source is missing or inaccessible, ask for it before starting.
Workflow
- Read the paper completely, including appendices and all numbered figures/tables.
- Compile an ARA-style artifact directory using
references/ara-compiler-profile.md. - Validate the artifact with
scripts/validate_ara.py. - Fix validation failures unless the user explicitly accepts them.
- Ingest the validated artifact directory with
ov add-resourcedirectly. - Confirm the target with
ov stat/ov treeand return the artifact path, OV target/root URI, validation result, ingest result, and any unresolved gaps.
Output Contract
The generated artifact must include:
PAPER.mdlogic/problem.md,logic/claims.md, `logic/…