Module lint 

Contract quality gate: validate + audit + score in one pass.

Runs three sequential gates across all contracts in a directory:

1. validate — schema completeness (SCHEMA-001..013, PROVABILITY-001)
2. audit — traceability chain (paper→equation→obligation→test→proof)
3. score — 5-dimension quality score vs threshold

Extended with SARIF output, rule catalog, config file, and findings. Spec: docs/specifications/sub/lint.md

Modules

cache

Content-addressable lint cache.

config

.pv.toml configuration file for pv lint.

diff

Diff-aware lint: only lint contracts changed since a base ref.

finding

Lint findings — individual diagnostics emitted by pv lint gates.

rules

Lint rule catalog — every pv lint rule has an ID, default severity, and description.

sarif

SARIF v2.1.0 output for pv lint.

trend

Quality trend tracking — record and display lint snapshots over time.

Structs

GateResult

Result of a single gate execution.

LintConfig

Configuration for pv lint.

LintReport

Overall lint report.

Enums

GateDetail

Gate-specific detail payload.

Functions

run_lint

Run all lint gates across a contract directory.