---
name: cve-audit
description: Audit exact npm dependency versions against OSV through Runx native HTTP and emit replay-verified evidence with no unverified findings.
runx:
  category: security
  tags:
    - cve
    - dependencies
    - osv
links:
  source: https://github.com/jaasieldelgado131/runx-exact-cve-audit
  registry: https://runx.ai/x/jaasieldelgado131/cve-audit
  advisory_source: https://osv.dev
---

# Exact CVE Audit

Audit exact npm versions from an immutable `package-lock.json` against OSV.
Runx owns every network request, response bound, retry, host admission, and
receipt. Package code owns only lockfile inventory and OSV result semantics.

The audit is read-only. It does not install dependencies, execute target code,
repair packages, publish advisories, or treat missing OSV data as proof of
safety.

## When to use it

Use `cve-audit` when a reviewer needs reproducible evidence for the advisories
affecting exact npm versions in a public immutable lockfile. It is appropriate
for dependency review, release triage, and the evidence stage before
`vuln-triage`. Exact-version matching matters: package-name or loose-range scans
can turn possible exposure into false findings.

Do not use it for mutable branch URLs, private repositories without a declared
reader, non-npm ecosystems, exploit development, or coverage claims broader
than the selected dependency scope.

## Inputs

- `target_name`: human-readable project name.
- `target_repo`: public `https://github.com/...` repository URL.
- `target_commit`: full 40-character Git commit.
- `lockfile_url`: `raw.githubusercontent.com` package-lock URL containing that
  commit in its path.
- `dependency_scope`: `direct-production` by default, or `all-installed`.

Private repositories, credentials, mutable branch URLs, abbreviated commits,
and non-npm lockfiles are outside this runner.

## Execution contract

1. Validate the immutable GitHub target before any network call.
2. Read the pinned lockfile with native `http.read`, retaining its transport
   digest and refusing truncation.
3. Extract exact installed versions from package-lock versions 2 or 3. The
   inventory is capped at 10,000 entries.
4. Query OSV in batches of 500 with native `http.query`. This is a POST-only,
   read-only query boundary; it is not a mutation lane.
5. Refuse the audit if any OSV query result carries a page token. A partial
   provider result must never be reported as complete.
6. Read each returned advisory with native `http.read`, validate advisory
   identity, and exclude withdrawn advisories. The verified advisory set is
   capped at 50; a larger set stops instead of being truncated.
7. Assemble the audit, report, and evidence from the exact inventory and full
   advisory records.
8. Repeat the OSV query and advisory reads in separate graph steps. Compare
   dependency path, exact version, advisory id, and withdrawal state. Finalize
   only when the two complete sets match.

Native HTTP admits only the declared exact hosts, rejects credentials in URLs,
blocks private-network resolution, limits each response to 8 MiB or less, and
limits total batch output. The skill has no private HTTP client and no networked
JavaScript sandbox.

## Outputs

- `audit_result` (`runx.security.exact_cve_audit.v1`): immutable target,
  selected inventory, findings, and counts.
- `report` (`runx.security.exact_cve_report.v1`): Markdown report bound by
  digest.
- `evidence` (`runx.security.exact_cve_evidence.v1`): exact queries and
  returned non-withdrawn advisory ids.
- `verification` (`runx.security.exact_cve_verification.v1`): independent
  replay comparison, including false, missing, changed, and withdrawn counts.
- `delivery` (`runx.security.exact_cve_delivery.v1`): digests of every final
  packet, emitted only after successful verification.

The sealed graph receipt records both native provider passes and every derived
packet. Checked-in example artifacts are illustrative prior evidence, not live
provider proof for a new run.

## Stop conditions

- Target or lockfile URL is mutable, unpinned, non-HTTPS, or outside the
  declared GitHub hosts.
- Lockfile version or shape cannot produce an exact inventory.
- Inventory, advisory count, response size, or batch output exceeds a declared
  bound.
- OSV returns an error, malformed shape, identity mismatch, truncated body, or
  a pagination token the graph cannot complete.
- The replay observes any added, removed, changed, or newly withdrawn finding.

The selected dependency scope is always carried into the output. A
`direct-production` result makes no claim about transitive or development
dependencies.

## Example

For a lockfile pinned to one full Git commit, the skill inventories the exact
installed production versions, queries OSV, reads every returned advisory, and
then repeats the provider pass. It seals only if both complete finding sets
match. The same request pointed at `main/package-lock.json` stops before the
network boundary because the target is mutable; a clean finding set still means
“OSV returned no matching advisory for this scope,” not “the project is safe.”