Summary
Provide the first end-user command that scans repository OpenAPI files through the shared PROOF core.
Scope
- Implement
proof scan for one or more repository-relative specification paths.
- Support config path, output path, fail threshold, rule-pack identity, git ref, policy ref, and evaluation time inputs.
- Map pass or advisory, blocked, input or config error, and internal error to exit codes 0, 1, 2, and 3.
- Keep command execution non-interactive and deterministic.
Acceptance criteria
Dependencies
Priority gate and claiming
Keep status:blocked until every open priority:p0 issue is closed
and every explicit dependency above is closed. Only then replace it
with status:ready and add help wanted.
To claim a ready issue, assign yourself, replace status:ready with
status:in-progress, and comment with a short implementation plan.
Non-goals
- GitHub App, HTTP URL inputs, interactive prompts, or automatic fixes.
- Markdown, SARIF, or baseline output.
Summary
Provide the first end-user command that scans repository OpenAPI files through the shared PROOF core.
Scope
proof scanfor one or more repository-relative specification paths.Acceptance criteria
Dependencies
Priority gate and claiming
Keep
status:blockeduntil every openpriority:p0issue is closedand every explicit dependency above is closed. Only then replace it
with
status:readyand addhelp wanted.To claim a ready issue, assign yourself, replace
status:readywithstatus:in-progress, and comment with a short implementation plan.Non-goals